FlowDrop Workflow Specification 1.0-draft

Resolving an interrupt resumes only a paused run

Answering a question must never restart a run that is already moving. The reset and the resume are two steps in that order, which is what keeps two executors off the same run.

The rule

Normative: this is the rule
  1. Resolving an interrupt locates the job it interrupted by the job identifier stamped on the interrupt, and returns that job to pending unconditionally.
  2. Only then, and only if the run is paused, is the run resumed, through the engine the run declares (ORC-13), never a different one.
  3. A run that is not paused is left strictly alone and must not be re-entered.
  4. A stateless run has nothing to resume, and resolution is a no-op for it.
Rule identifiers are permanent and are never renumbered. Each implementation publishes its own standing against these rules; this specification does not.spec 1.0-draft · INT-3 · changed in spec 1.0