082-an-amended-acceptance-is-the-one-that-runs

An amended acceptance is the one that runs

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Spec 074's `## Verification` line 13 asserts `d["next"]["id"]` on `registry plan --next`, which is a claim about the corpus rather than about the code: it holds only while something is ready to build. The corpus finished, `next` became `null`, and `spec-spine verify 093` has been red ever since, failing an assertion that contradicts 074 §3.3's own requirement that an absent answer be a present `null` member. The line is wrong and 093 is approved, so correcting it is an amendment. Spec 037 forbids editing the amended file and `verify` executes that file, so until now an amendment could not reach an acceptance block at all. This spec gives it a route: a spec that `amends` another may declare that its own `## Verification` block replaces the amended spec's, and `verify` runs the replacement and says whose it ran.

Read the full pinned specification ↗

Relationships

depends on

depended on by

amends

074-a-governed-read-names-its-version

amended by

171-exact-test-counts-for-082

Claimed units

extends

{
  "nature": "additive",
  "spec": "000-spec-spine-bootstrap",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/frontmatter.rs"
  }
}

extends

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

extends

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

extends

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

extends

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

extends

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

extends

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

extends

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

extends

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

extends

{
  "nature": "additive",
  "spec": "009-registry-query-projection-flags",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/tests/cli.rs"
  }
}

Source headings

082: An amended acceptance is the one that runs
1. Purpose
1.1 An acceptance line that asserted a fact about the calendar
1.2 An amendment with nowhere to land
1.3 Why a mechanism rather than one exception
2. Territory
3. Behavior
3.1 `amends_verification` declares the replacement
3.2 `verify` runs the replacement
3.3 An ambiguous replacement is refused, not guessed
3.4 The substitution is stated, never silent
3.5 What spec 074's acceptance now is
3.6 The acceptance
4. Out of scope
5. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.