050-local-halt
A local halt record that run consults before launch, and denies when it cannot read
Lifecycle approvedImplementation completeVerification unknownQualification unknown
Adds an operator-written halt record in the product home, per registered repository, with three independently halted scopes: run admission, tool effects and dispatch. run reads it before launch and refuses a halted scope with a closed reason; a halt record it cannot read or verify denies with its own reason rather than admitting. Halting with a live attempt records stop requested; stop confirmed is recorded only when that attempt's cancelled outcome is durable. The hosted tenant halt fact is not defined here; it is consumed once its own spec merges.
Read the full pinned specification ↗Relationships
Claimed units
- extends
{ "nature": "additive", "spec": "003-work-and-run-semantics", "unit": { "kind": "directory", "path": "crates/statecraft-run/" } } - extends
{ "nature": "additive", "spec": "006-command-surface", "unit": { "kind": "directory", "path": "crates/statecraft-cli/" } } - extends
{ "nature": "additive", "spec": "004-execution-adapter", "unit": { "kind": "directory", "path": "crates/statecraft-adapter/" } }
Source headings
- 050: Local halt
- 1. Purpose
- 2. Territory
- 3. Behavior
- 3.1 The halt record
- 3.2 Scopes
- 3.3 Run consults before launch
- 3.4 Stop requested and stop confirmed
- 3.5 Resume
- 4. Out of scope
- 5. Resolved decisions
- Verification
Frozen anchors
No frozen anchors declared.