Pollard：可治理语义执行树的Agent运行时

2026年10月14日，arXiv Artificial Intelligence 刊出 Muntaser Syed 与 Marius C. Silaghi 的论文，提出 Pollard——一个框架无关的运行时，基于可治理语义执行树，让执行、治理与回放共享同一步骤身份，该身份绑定规范输入、类型、尝试次数与父身份。论文称，严格回放可在不调用被包装操作的情况下返回已验证的存储结果，事务存储则协调并发工作者的预留。在签名确定性冻结下，两个状态模型副本执行评估转换均未违反不变量，严格回放避免了外部调用，所有语义变更均被检出且对照组无误报。上述内容均来自该论文的自我报告，尚未见后续独立跟进报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。