statecraft.
Catalog/spec-spine

097-a-path-leaves-the-corpus-the-way-a-spec-does

A path leaves the corpus the way a spec does

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Spec 096 mechanizes one retirement: a spec id leaving the corpus. On 2026-09-20 a different one was done by hand, `.claude/rules/` leaving this repository for a section of `AGENTS.md`, and it touched 81 references in 46 files, three frontmatter units, one hashed-input glob, one hook path pattern, six acceptance lines, three Rust tests and 122 derived shards. None of that is reachable by `compact`: its three reference forms are all spelled `NNN-slug`, and a path is spelled six other ways. This spec adds the second half of the same verb, a `retire` plan naming paths rather than specs, with the reference grammar a path actually has and, more importantly, the exclusions: eleven of those 81 occurrences had to survive, because a sentence recording that a path USED to exist is not a citation of it.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-core/tests/retire.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "096-compaction-is-a-verb-not-a-session",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/compact.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "096-compaction-is-a-verb-not-a-session",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_compact.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "096-compaction-is-a-verb-not-a-session",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/compact.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/lib.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/main.rs"
  }
}

Source headings

  1. 097: A path leaves the corpus the way a spec does
  2. 1. Purpose
  3. 1.1 The same operation, a different spelling
  4. 1.2 Why this is not simply a rename
  5. 1.3 The exclusions are the hard part
  6. 2. Territory
  7. 3. Behavior
  8. 3.1 The plan gains `retire`
  9. 3.2 The six forms
  10. 3.3 A withdrawn unit is named, never inferred
  11. 3.4 The hashed inputs follow the claim
  12. 3.5 An absence is not a citation
  13. 3.6 Idempotent, and green is not enough
  14. 3.7 What it refuses
  15. 4. Out of scope
  16. 5. Resolved decisions
  17. Verification

Frozen anchors

No frozen anchors declared.