statecraft.
Catalog/statecraft-cli

029-one-resolved-judge

One resolved judge: every spec-spine call this product makes runs the executable one resolution selected

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Every spec-spine invocation this product makes, in every verb and in every hook it delivers, runs the executable that one resolution selected for that operation, and records which one. No call site names a bare `spec-spine` and lets PATH decide. The resolution's sources are, in order, the supervisor's path in a managed session, an operator override, the project's declared engine as spec-spine's own launcher resolves it when that launcher is present, the repository-local install named by the active setup profile, the repository's own build and then PATH; every candidate except the supervisor's already-resolved path is put to the pin, and each passed over is named. `doctor` reports the resolved executable, never a separate PATH probe. Where the resolved engine carries `check --json`, the check is read from its envelope instead of from its wording. Amends spec 008 section 3.23 contracts 2, 4 and 5.

Read the full pinned specification ↗

Relationships

Claimed units

  • extends
    {
  "nature": "corrective",
  "spec": "002-environment-lifecycle",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-home/"
  }
}
  • extends
    {
  "nature": "corrective",
  "spec": "002-environment-lifecycle",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-environment/"
  }
}
  • extends
    {
  "nature": "corrective",
  "spec": "003-work-and-run-semantics",
  "unit": {
    "kind": "directory",
    "path": "crates/statecraft-run/"
  }
}
  • extends
    {
  "nature": "corrective",
  "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/"
  }
}

Source headings

  1. 029: One resolved judge
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 One judge per operation
  6. 3.2 The resolution
  7. 3.3 What is recorded and reported
  8. 3.4 Reading `check`
  9. 3.5 Resolution never acquires
  10. 3.6 Observable negative cases
  11. 4. Out of scope
  12. 5. Resolved decisions
  13. Verification

Frozen anchors

No frozen anchors declared.