这篇论文关注的是一个在真实生产系统中愈发常见、却常被忽视的问题:当AI代理已经具备调用工具、执行具有外部后果的操作能力之后,如果一次执行在途中被打断,而代理的授权状态在此期间发生了变化,同时外部世界究竟发生了什么仍然不明,那么它应当如何决定是否重试。作者Deekshith Marla等人把这一问题从语言模型的行为中剥离出来,专门作为执行期的可靠性问题来研究,而不是把它当作提示工程或模型能力问题。
论文的核心主张是,一个持久化代理若要安全地恢复一项有后果的操作,必须把若干被混为一谈的职责明确区分开来:检查点状态记录了什么、是否拥有派发该操作的许可、是否存在外部效果已经发生的证据,以及是否拥有对该效果进行对账的许可。这四项义务各自独立,任何一项被错误地合并或省略,都可能导致重复执行、越权执行,或在效果未明时草率收尾。作者认为,安全性、完成度与未解决义务应当被分别报告,而不是压缩成单一的“成功率”。
为检验这些义务,作者设计了一项有限一致性研究:用历史记录对照一个对恢复方隐藏的提供方效果账本来评分,从而判断代理的恢复决策是否正确。实验采用事先冻结的方案,在原生LangGraph和Temporal两类主机上执行了336条历史,交叉覆盖14种调度、三种提供方契约和四种相匹配的应用策略。在168个配对主机单元中,两者给出的受检结果完全一致,这说明结论并非某一框架的偶然产物。
就恢复策略而言,结果差异明显。按主机统计,保留账本对账在全部42条历史中通过,其中包括21次受检完成、15次拒绝,以及6次结果未知但保留预留的情形。相比之下,缓存重试通过30条,重试前重新验证通过36条,稳定键重试通过31条。作者指出,这些差异揭示了当前授权、提供方契约和保留观测在恢复过程中各自扮演的角色。
此外,论文还包含一项针对企业AI平台InfinityOS的16例组件研究,在仓库伪造件之上运行导出的授权、工作线程、恢复与结算代码,用以补充主实验。全文共7页,含2幅图和3张表,作者同时公开了组件结果、历史结果、策略结果以及替换工作线程时间等数据文件。