Scenarios scripted from the code paths; versions and numbers are examples
Launch sequence click any station for what it does, which file does it, and what it prints
Locks what stops a change, and when
Traffic Delivery port · status.sh
stdout one line per gate: GO or NO-GO
Invariants
- No agent holds production credentials, at any level.
- The canary decision is numeric. The model explains afterwards; it does not decide.
- Exit 0 with an empty artefact is a failure, not a success.
- Every gate prints one line. No colour when stdout is not a TTY.
- A threshold without a declared provenance is not a threshold.
- Every handoff is a versioned artefact, never a conversation.