1 briefs tagged #workflow.
The RESUME CONTRACT uses TLA+ and a deterministic harness to check persistence behavior.