100-a-deleted-path-is-judged-where-it-lived

A deleted path is judged where it lived

Lifecycle approvedImplementation completeVerification unknownQualification unknown

The coupling gate resolves a deleted path's owners from the head index, where the claim the same change withdrew no longer exists, so a correct removal is refused as C-001 against a package floor that has nothing to say about it. A deleted path is judged against the snapshot that precedes the segment its deletion belongs to, reconstructed from that snapshot's own source bytes, and a snapshot the gate cannot reconstruct is an explicit non-success rather than a head-only pass.

Read the full pinned specification ↗

Relationships

depends on

depended on by

amends

Claimed units

extends

{
  "nature": "additive",
  "spec": "005-coupling-gate",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/couple.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "005-coupling-gate",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_couple.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "005-coupling-gate",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/couple.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "005-coupling-gate",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/couple.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "034-machine-readable-verdicts",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/version.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "034-machine-readable-verdicts",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/cli.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "034-machine-readable-verdicts",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/tests/dtos.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/api.md"
  }
}

extends

{
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/schema-versioning.md"
  }
}

extends

{
  "nature": "additive",
  "spec": "071-a-change-is-classified-under-the-bases-rules",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_delta.rs"
  }
}

Source headings

100: A deleted path is judged where it lived
1. Purpose
1.1 Reproduced, not predicted
1.2 The refusal's own advice does not work here
2. Territory
3. Behavior
3.1 Two snapshots, and which one answers
3.2 A prior snapshot is reconstructed from source, not read from a ledger
3.3 What the snapshot read does not change
3.4 A prior snapshot is built only when a deletion needs one
3.5 Required prior evidence that cannot be obtained is a refusal
3.6 Renames stay two facts
3.7 The report records which snapshot answered
3.8 Compatibility is preserved, and is not the corrected behavior
3.9 Combined histories
4. Out of scope
5. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.