Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers
工作流持久层恢复语义的机器检验一致性契约
🧭 Agent 工作流中断恢复语义规范与验证
针对五个 Agent 工作流框架的 checkpoint/resume 行为，提出可机器检验的六项一致性契约并测量实际严重违规
📌 工作参考价值（4 点）
- 框架选型前自测恢复语义：参考论文的确定性无 LLM 测量套件，对 LangGraph、CrewAI 等候选框架注入真实 SIGKILL，观察持久化状态是否正确、effect 是否重放，避免线上事故。
- 为业务工作流定义契约：将 RESUME CONTRACT 的六个属性（前缀延续、effect 精确一次、fork 确定性、checkpoint 有效性、consume-once、恢复确定性）落地为内部工作流引擎的回归测试项。
- 关注并发恢复竞态：论文揭示 k 个并发 resume 会导致 effect 重复执行 k 次，饱和率 1.0。若业务中有多实例同时尝试恢复同一任务，必须引入分布式消费锁（如 REMIT 的读侧 gate），否则商品状态变更、消息推送可能重复触发。
- 检查点 Schema 校验：LangGraph 会静默持久化与 schema 不一致的状态，导致恢复后行为异常。在自研工作流引擎中，应当在 checkpoint 写入时强制校验状态 schema，避免线上污染。