论文实测五大 Agent 框架：崩溃恢复均存在严重语义缺陷
Sajjad Khan · hf · 2026-08-06
本论文提出了 RESUME CONTRACT，这是一种用于检查 Agent 工作流持久层“中断与恢复”语义的机器可验证契约。它定义了六项核心属性（如效果精确执行一次、分叉确定性、检查点有效性等），并使用 TLA+ 模型进行了详尽的验证。
作者对五个广泛部署的 Agent 框架进行了确定性测试，发现它们在恢复语义上存在严重缺陷且各不相同：
- LangGraph 1.2.9：在真实崩溃后会重新执行已记录的工作，违反了精确一次的语义。
- CrewAI 1.15.2：会重新执行已完成的带效果方法，与其声明相悖。
- pydantic-graph 1.x：在节点中间崩溃后完全无法恢复。
此外，测试发现并发恢复问题严重，多个进程恢复同一个中断会导致效果被多次触发。为此，作者推出了经过验证的参考序列器 REMIT，成功修复了相关故障。
「编程与Agent」频道最新
- 为Agent接入浏览器：Cloudflare Kitesurf MCP配置指南 — dinasaur_404 · 2026-08-06
- Cloudflare Kitesurf MCP 实测：为智能体装上浏览器 — dinasaur_404 · 2026-08-06
- 云智能体优于本地执行？开发者热议云端并行优势 — rseroter · 2026-08-06
- OmniRoute 开源网关聚合 290+ AI 服务，告别编码额度焦虑 — alex_verem · 2026-08-06
- AI Agent 权限控制：系统提示词不足以保障安全 — TheOyinbooke · 2026-08-06
- AI Agent 框架怎么选？三大分类与选型指南 — goyalshaliniuk · 2026-08-06