Control deterministic state transitions using persisted evidence and reject unsupported PASS transitions. Use when work moves between planned, executed, verified, evaluated, gated, or blocked states.
