当有效工具调用改变含义时：LLM Agent的编队一致调度

支持工具的Agent从模型可见的接口形成调用，而主机稍后选择其实现。标准调度省略了描述符-处理程序关系。因此，未更改且架构有效的调用可以在rollout、重新连接或延迟批准期间获得不同的安全效果。我们将这种故障称为模式时代漂移。我们提出了阵型一致调度（FCD），它将实现分析与执行权限联系起来。经审查的概况对官方来源所声明的范围内影响产生出处限制的过度近似。在封闭目标批准策略下，验证者将每个形成的调用应用于摘要，并仅当其效果符合调用的安全契约时才捕获后继者。原子准入和最后一跳栅栏保留了此决定的效果。确切的源保留优先级，捕获的后继者仅在源退役后才符合资格。库存发布和部署更改重现了失败。四个配置文件涵盖了 32 个正式版本：29 个版本不需要特定于版本的更改，另外三个版本需要升级。冻结的 16 个版本扩展与单独的源预言机相匹配。在预先登记的股票比较中，FCD 完成了所有三个未决的电话会议，其效果仍然是私人的，并阻止了所有三个其遗漏被公开的电话会议。确切的固定和发布范围内的拒绝阻止了所有六个调用，而发布范围内的批准完成了所有六个调用，但产生了三个公共效果。一个单独的生命周期实验在源报废期间携带了地层捕获证书。后来安装的相同安全证书可以管理新的编队，而不会扩大待处理呼叫的权限。