Pollard：面向框架无关 AI 智能体控制与回放的可治理语义执行树

Pollard 是一个框架无关的运行时，基于可治理语义执行树，让执行、治理与回放共享同一步骤身份，该身份绑定规范输入、类型、尝试次数与父身份。严格回放可在不调用被包装操作的情况下返回已验证的存储结果，事务存储则协调并发工作者的预留。在签名确定性冻结下，两个状态模型副本执行评估转换均未违反不变量，严格回放避免了外部调用，所有语义变更均被检出且对照组无误报。