067-a-short-id-names-the-same-spec-at-every-verb

A short id names the same spec at every verb

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Six arguments take a spec id, and they disagree about what one is. `verify` and `compile --spec` accept the short form spec 015 defines; `registry show`, `registry relationships` and `attest --spec` refuse it at exit 1; and `verify-attestation --spec` fails at exit 3 reading a file named after the raw argument. Specs 043 3.2 and 056 3.1 each state the cross-verb rule as already true elsewhere, and nothing enforces it. The policy itself exists in four private copies, two strict ones for arguments and two lenient ones for frontmatter references, and the two strict ones test the exact case by joining the argument onto a path, so `verify ../specs/<id>` resolves and `compile --spec ./<id>` reports a false `V-001` on a valid spec. This spec puts the policy in one module that every argument and both reference resolvers call. Each verb resolves against the ids it already reads, and every value derived from the id after resolution uses the resolved id, which is what keeps `relationships` from computing incoming edges against the raw argument and `attest` from naming its output file after it. A census over the CLI's argument tree fails when a seventh id argument appears outside the matrix. It amends 016 2, whose mirror becomes a shared call. The implementation changes no committed shard: the lenient adapters return what the mirrors returned.

Read the full pinned specification ↗

Relationships

depends on

amends

015-short-id-resolution

amended by

Claimed units

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-core/src/spec_id.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-core/tests/spec_id.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/spec-spine-cli/tests/spec_id.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-core/src/compile.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "004-codebase-index",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/index.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "043-verify-declared-acceptance",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/verify.rs"
  }
}

extends

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

extends

{
  "nature": "additive",
  "spec": "021-ledger-seal",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/attest.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "021-ledger-seal",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_attest.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "021-ledger-seal",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/verify_attestation.rs"
  }
}

extends

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

extends

{
  "nature": "additive",
  "spec": "002-registry-query",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/cmd_registry.rs"
  }
}

Source headings

067: A short id names the same spec at every verb
1. Purpose
1.1 Four copies of one policy
1.2 The exact case joins the argument onto a path
1.3 The obvious fix is wrong twice
2. Territory
3. Behavior
3.1 The six arguments accept the short form, under one policy
3.2 Each verb resolves against the ids it already reads
3.3 Resolve once, then use only the resolved id
3.4 One implementation
3.5 The rule is enforced, not asserted
3.6 What must keep working
4. Out of scope
5. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.