← back to paper

Review history

arxiv: 2608.03836 · 3 revisions

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

1. 2026-08-11 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 7.0
   152856 ms 41365 in 17643 out 2026-08-11T04:14:28.119342+00:00
2. 2026-08-08 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 7.0
   121952 ms 43513 in 13641 out 2026-08-08T00:40:49.049447+00:00
3. 2026-08-05 CONDITIONAL MODERATE v1.4.0-daily-deepseek-medium novelty 7.0
   92595 ms 43340 in 8840 out 2026-08-05T11:21:54.608425+00:00