Pollard：用于框架无关 AI 代理控制与重放的受治理语义执行树

代理框架可以持久化检查点、跟踪工具调用并限制资源使用，但这些功能通常会为执行、治理和重放分别分配不同的标识。我们提出了 Pollard，一种基于受治理语义执行树的框架无关运行时。步骤标识绑定规范化输入、类型、尝试次数和父标识；同一棵树记录完成、拒绝、资源结算和分支历史。严格重放会返回经验证的已存储结果，而不会调用被封装的操作；事务性存储则协调并发工作器之间的资源预留。在签名的确定性冻结条件下，两个状态模型副本分别执行了评估转换，且未违反任何不变量；针对保留租约的 PostgreSQL 集群测试了精确限制，严格重放避免了外部调用，并检测出所有语义变更，同时在控制项上没有误报。一个多对框架矩阵保持了参考行为并验证了这些树。另一项具有成本上限的托管研究测试了实时提供商路径，每次已完成的 Pollard 试验都生成了一棵经过验证的树。总体而言，这些研究在明确的租约、边界和密封保管假设下，支持了其核心机制。