RT-INT
20 rules. Part II of the specification.
- INT-1An interrupt pauses the run and reports itself in full
- INT-2The interrupt a run reports is the persisted one
- INT-3Resolving an interrupt resumes only a paused run
- INT-4A node resumes only when all four ownership conditions hold
- INT-5Cancel and pause signals are observed between job iterations
- INT-6What a run snapshot contains, and that it never fails the run
- INT-7The workflow version is a structural digest
- INT-8Snapshot validation reports named errors and non-fatal warnings
- INT-9One execution has at most one stored snapshot
- INT-10A queued run seeded from a snapshot performs only the remaining work
- INT-13A checkpoint round-trip preserves cancellation
- INT-14A terminal snapshot is not resumable
- INT-15An engine that cannot use a snapshot refuses it, never restarts
- INT-16A refused signal says why in a code a client can act on
- INT-17A terminal outcome reaps the signals it never observed
- INT-18An expired outward interrupt ends the run it was holding open
- INT-19A machine answers an outbound wait through its own route
- INT-20Call-and-wait creates the interrupt before it makes the call
- INT-22An interrupt is published as 24 keys, every one always present
- INT-23No expiry is a sentinel, and the two expiry paths differ on purpose