Resume Means Resume: A Machine-Checked Conformance Contract for Checkpoint, Interrupt, and Resume Semantics in Workflow Persistence Layers
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…