statecraft.
Catalog/spec-spine

117-the-gate-resolves-the-binary-it-documents

The gate resolves the binary it documents

Lifecycle approvedImplementation completeVerification unknownQualification unknown

The root Makefile's header documents a binary-resolution order preferring the binary this checkout builds, and its assignment implements none of it: `SPEC_SPINE ?= spec-spine` is the PATH fallback and nothing else, so `make gate` on a machine with an installed CLI governs with whatever that CLI is. Measured here at three releases behind the checkout. The assignment is corrected to the order the header states, an unusable explicit override is refused rather than silently replaced, and the resolved binary and its version are announced before the chain runs.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-core/tests/gate_binary.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "094-one-gate-and-the-boundaries-it-holds",
  "unit": {
    "kind": "file",
    "path": "Makefile"
  }
}

Source headings

  1. 117: The gate resolves the binary it documents
  2. 1. Purpose
  3. 1.1 What it cost, measured
  4. 1.2 Why this is its own spec
  5. 2. Territory
  6. 3. Behavior
  7. 3.1 The documented order is the implemented order
  8. 3.2 An unusable explicit override is refused, never substituted
  9. 3.3 The gate announces the binary it resolved, and its version
  10. 3.4 What does not change
  11. 3.5 The selection is tested by executing distinguishable binaries
  12. 4. Out of scope
  13. 5. Resolved decisions
  14. Verification

Frozen anchors

No frozen anchors declared.