论文提出面向工作流恢复的一致性契约
RESUME CONTRACT 为智能体工作流框架定义了可机器检查的持久化语义。
为什么重要
智能体系统越来越依赖持久化工作流，但不一致的恢复语义可能导致效果重复、状态无效或恢复行为分歧。可检查的契约可以为框架用户和维护者测试可靠性声明提供更清晰的依据。
核心要点
- 1.RESUME CONTRACT 规定了六项持久化 API 属性。
- 2.TLA+ 模型检查了 740 万个状态。
- 3.测试发现五个框架的恢复行为不一致。
一篇新的 arXiv 论文提出了 RESUME CONTRACT，这是一种可机器检查的契约，用于约束工作流持久化层中的 checkpoint、中断与恢复行为。该契约定义了六项持久化 API 属性，以及 fork-intent 和 liveness 义务；作者还用覆盖 740 万个状态的 TLA+ 模型检查了参考语义。论文在固定版本上使用确定性、无 LLM 的测试框架后报告称，五个广泛部署的智能体工作流框架在恢复行为上存在差异，有时还不一致。
⚡ 今天就能用
在生产环境依赖恢复能力之前，应审计你使用的任何智能体工作流框架的 checkpoint、崩溃恢复和效果重放行为。
来源与原始报道
本简报汇总并链接到以下媒体的报道。
- arXiv cs.LGResume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence LayersAug 5, 12:00 PM↗
- HF Daily PapersResume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence LayersAug 4, 4:00 AM↗
觉得这篇简报有用？下一篇直接送到你的邮箱。