约束解码让边缘小模型遵循工具计划

PTC-Decoder以免训练的计划与工具约束解码，提升离线小模型执行多步任务的可靠性。

推荐理由：实验指出弱小模型几乎会忽略提示中的计划，说明纯提示约束在边缘设备上失效；PTC-Decoder把计划和工具规则下沉至解码阶段，为离线代理提供硬执行保障。