#tla+

Paper tests resume semantics in agent workflow frameworks

The RESUME CONTRACT uses TLA+ and a deterministic harness to check persistence behavior.