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

  1. 050: Local halt
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 The halt record
  6. 3.2 Scopes
  7. 3.3 Run consults before launch
  8. 3.4 Stop requested and stop confirmed
  9. 3.5 Resume
  10. 4. Out of scope
  11. 5. Resolved decisions
  12. Verification

Frozen anchors

No frozen anchors declared.