The independent review of amendment 6 returned two findings; the sweep found
a third. Three findings, all blocking. All three are failures of the
invariant amendment 5 introduced and amendment 6 refined.
1. The invariant contradicted five older standing instructions. It says only
the most recent amendment needs a pass, while amendments 1-5 each still
ended "this amendment needs another independent pass" -- five live
commands, all false -- plus amendment 2's order to re-run gates 4 and 4a,
already carried out twice.
All closers rewritten as dated records: "Status when written (CLOSED) ...
its pass closed as execution review N." The invariant now states outright
that the amendment blocks carry no live status and none may be added.
2. The invariant's locator could not identify the pending amendment. It said
read "the last row" of the history table, but the literal last row is
Total, and the last review row names "execution review 6" -- an event,
not an amendment. The rule could not be followed to an answer.
Fixed: the last execution review row, immediately above Total, and the
amendment it produced carries the same number -- review N produced
amendment N, one per row, by construction.
3. Sweep: amendment 6's own closer had the same defect. The review named
amendments 1-5; amendment 6's said "amendment 6 needs the next
independent pass" -- true when written, false the moment amendment 7
existed. Fixing only the five would have rebuilt the contradiction on
this commit. Six closers, not five.
Finding 1 is the failure mode at its clearest. Amendment 5 removed a count
and wrote an invariant to own it; amendment 6 refined the invariant; neither
swept the five places already answering the question the invariant claimed to
own. A single source of truth is not created by declaring one -- it is
created by deleting the others. That has now had to be learned three times:
for counts, for figures in general claims, and now for instructions.
Finding 3 generalises the review's own scope gap: a correction that fixes
every currently-false instance of a claim but leaves the one instance that is
currently true has scheduled its own recurrence, because the true one goes
false on the next event. Correct by class, not by current truth value.
Amendment 7 touches no pin, gate, test, mutation, touch row or staged file --
a scope claim, not an inferred gate result. Implementation still staged,
still not accepted.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x
Levi Neuwirth
480a299438