083-an-amendment-carries-the-acceptance-it-replaces
An amendment carries the acceptance it replaces
Spec 080 amended spec 079 so that an unresolved claim exits 1 rather than 2, and migrated the four assertions that live in Rust. Spec 079's own `## Verification` block was left as it was ratified, and five of its assertions still require the pre-amendment code, so `spec-spine verify 098` has been red since 101 merged. A sixth line is red for an unrelated reason: 079's AC-9 compares two `settings.json` files against a fixed commit to prove 098 did not edit them, which specs 093 and 104 then legitimately did. Spec 082 built the route an amendment needs to reach an acceptance block and landed after 101, naming the audit of the remaining blocks as its own work. This is that work for 098: this spec declares 079's acceptance replaced and carries the corrected block, without editing 079's file.
Read the full pinned specification ↗Relationships
depends on
depended on by
Claimed units
No ownership claims exported.
Source headings
- 083: An amendment carries the acceptance it replaces
- 1. Purpose
- 1.1 Two defects in one block, neither reachable by the gate
- 1.2 Why spec 080 did not fix this
- 1.3 Why this is 082's named follow-on
- 2. Territory
- 3. Behavior
- 3.1 What spec 079's acceptance now is
- 3.2 The stale-only assertion is not migrated
- 3.3 AC-9 keeps the half that can still be true
- 3.4 No code changes
- 3.5 The acceptance
- 4. Out of scope
- 5. Resolved decisions
- Verification
Frozen anchors
No frozen anchors declared.