Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers

• 类型：arxiv
• 标识：2608.03836
• 链接：https://arxiv.org/abs/2608.03836
• 主分类：agent
• 形态：application
• 被引：0
• 被引来源：Semantic Scholar
• S2被引：0
• 影响力被引：0
• TLDR：A framework that persists execution state so a run can be interrupted, survive a crash, and continue must decide what a resume means for effects that already fired. Five widely deployed agent workflow frameworks answer differently, none exposes a machine-checkable contract, and behavior violates even the fragments they state. The RESUME CONTRACT states six properties over the persistence API (prefix continuation, effect exactly-once, fork determinism, checkpoint validity, consume-once, recovery determinism), plus fork-intent and liveness obligations. A TLA+ model checks a reference semantics e
• 待LLM分类：否
• 标题中文：Resume 即 Resume：工作流持久化层中检查点、中断与恢复语义的可机器验证一致性契约
• TLDR中文：一个持久化执行状态、使运行可被中断、能在崩溃后存活并继续的框架，必须为已经触发的副作用界定"恢复"的含义。五种广泛部署的 Agent 工作流框架给出了不同答案，且均未公开可机器验证的契约，其行为甚至违背了它们自己声明的片段。RESUME CONTRACT 针对持久化 API 陈述了六项性质（前缀延续、副作用恰好一次、分支确定性、检查点有效性、消费一次、恢复确定性），并附加分支意图与活性义务。TLA+ 模型对参考语义进行了检验……
• 来源文件：
• /inbox/tom/_candidates/2026-08-07-agent-rag-longcontext-candidates.json
• [S2 enrich]