statecraft.
Catalog/statecraft-cli

003-work-and-run-semantics

Work selection, workspace preparation, the run record, and recovery after interruption

Lifecycle approvedImplementation in-progressVerification unknownQualification unknown

The core loop's semantics. How a unit of work is identified by reading spec-spine's structured report rather than re-deriving it; how an isolated workspace is prepared so the operator's checkout is never edited; the append-only hash-linked run record with intent written before an effect and outcome after it; the closed outcome set (completed, failed, refused, interrupted, cancelled) and the rule that a retry appends an attempt rather than replacing history; supervisor-owned refusal accounting a supervised process cannot erase; and reconciliation of an ambiguous effect before any retry, with no exactly-once promise.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "directory",
  "path": "crates/statecraft-run/"
}
  • extends
    {
  "nature": "additive",
  "spec": "005-acceptance-and-evidence",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-acceptance/"
  }
}
  • extends
    {
  "nature": "corrective",
  "spec": "006-command-surface",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-cli/"
  }
}
  • extends
    {
  "nature": "corrective",
  "spec": "002-environment-lifecycle",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-environment/"
  }
}

Source headings

  1. 003: Work selection, workspace preparation, the run record, and recovery
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 A unit of work
  6. 3.1.1 Ready is not ratified
  7. 3.1.2 Two reports that both carry status, read from one state
  8. 3.1.3 The contract an attempt is bound to
  9. 3.1.4 The operator override, as an operation this product performs
  10. 3.1.5 The journal's current state, and an authority the journal cannot roll back
  11. 3.2 Workspace preparation
  12. 3.3 The run record
  13. 3.3.1 Effect identity and one-to-one closing
  14. 3.4 The closed outcome set
  15. 3.5 Refusal accounting belongs to the supervisor
  16. 3.5.1 What records an attempted write to the record, and what does not
  17. 3.6 Recovery and reconciliation
  18. 3.6.1 Reconciling an unresolved attempt, as an operator's act
  19. 3.7 Concurrency bounds for the first slice
  20. 3.8 Observable negative cases
  21. 4. Out of scope
  22. 5. Resolved decisions
  23. Verification

Frozen anchors

No frozen anchors declared.