neuwirth
/
epiphany
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

P13-S27: record execution review 8 (CLEAN) and the invariant's terminating case 

Execution review 8 returned zero findings against 480a299 -- the first clean
round since execution, and the second in the document's history.

This is a RECORD, not an amendment. It changes no pin, gate, test, mutation,
touch row or staged file. It appends a history row, marks the last
ratification-time bullet satisfied, and adds two things a clean round is the
only way to reach:

1. The invariant's terminating case. The locator amendment 7 fixed assumed
   every review produces an amendment -- review N produced amendment N. A
   clean review produces none, so a reader following the rule would look for
   an "amendment 8" that does not exist. Now: if the last execution review
   row shows 0 findings, no amendment followed and no pass is outstanding;
   the chain has closed. Same class as the Total-row locator defect, and
   reachable only once a round came back clean.

2. The history preamble's "every amendment is a row ... the amendment count
   IS the number of rows" was already false when written. The converse does
   not hold: round 19 returned zero findings and produced no amendment, so
   the identity broke the moment that row was added. Rows are events;
   0-finding rows produced no amendment. Corrected in the preamble and in
   the Total row's note.

What the clean round establishes and does not: it is round 11's criterion --
convergence evidenced, not findings exhausted -- and it is the stronger of
the document's two clean rounds, because what it reviewed had been executed,
gated and measured rather than only argued. It is not proof of correctness.
It reviewed amendment 7; no round has ever re-derived the whole document.

Established as of this record: the implementation is unchanged since
amendment 1's comment correction; gates 1-3 re-run cold against that exact
tree under amendment 4 (1577 passed / 0 failed / 0 ignored, 42 suites; clippy
and fmt clean on pinned 1.95.0); gates 4, 4a and §2 rules A/B re-run under
amendments 2 and 4; M7 ran with its three observations and control, examined
by three independent reviews with nothing returned against it; and every
finding across all eight reviews was in this contract, not in the 21 staged
files.

What remains is the owner's acceptance decision. This document does not make
it. Round 1's ratification was claimed by the author after a single round and
withdrawn; that precedent is why this record stops at the evidence.

Implementation still staged, still not accepted.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x
This commit is contained in:
Levi Neuwirth 2026-08-09 14:40:49 +02:00
parent 480a299438
commit 83df0a01be
No known key found for this signature in database
1 changed files with 75 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

90
spec/CONTRACT_P13S27_REDUCTION_AUTHORITY.md
View File

@ -40,6 +40,17 @@ deliberately: a tally of tally-staleness would be one more thing to keep current
> five of them already false. They are now dated records of what closed. **This > five of them already false. They are now dated records of what closed. **This
> paragraph is the only place in the document that says which pass is outstanding.** > paragraph is the only place in the document that says which pass is outstanding.**
> >
> **TERMINATING CASE — added with the record of execution review 8.** The rule above
> assumed every review produces an amendment. **A clean review produces none**, so if
> the last `execution review` row shows **0 findings**, there is no amendment of that
> number and **no pass is outstanding**: the chain this invariant tracks has closed.
> **That is the state as of execution review 8.** What remains is not another pass — it
> is the **owner's acceptance decision**, which this document does not make on their
> behalf. *(Without this case the locator sends a reader looking for an "amendment 8"
> that does not exist — the same class of defect as the `Total`-row locator amendment 7
> fixed, and reachable only by a clean round, which is why neither earlier version
> caught it.)*
>
> **And the rule for WHICH figures in this document are allowed to look stale, because > **And the rule for WHICH figures in this document are allowed to look stale, because
> execution reviews 5 and 6 each had to rediscover it — amendment 6.** A figure recording > execution reviews 5 and 6 each had to rediscover it — amendment 6.** A figure recording
> **what a given round found or did** is *historical*: correct as of its dated block, > **what a given round found or did** is *historical*: correct as of its dated block,
@ -116,12 +127,14 @@ thing a reader met was a claim that nothing had run.
evidential. **They have now been run and reported.** Gates 1–3 were additionally evidential. **They have now been run and reported.** Gates 1–3 were additionally
**re-run cold** under amendment 4; gates 4, 4a and §2's rules A/B under amendments 2 **re-run cold** under amendment 4; gates 4, 4a and §2's rules A/B under amendments 2
and 4. and 4.
- **STILL OPEN — the only one of the three that is, and it has not weakened:** the - **SATISFIED as of execution review 8** — the last of the three to close. The execution
execution report **and every amendment to it** are **subject to independent review report **and every amendment to it** were **subject to independent review before
before completion is accepted** — required by the owner at dispatch, and specifically completion is accepted**, required by the owner at dispatch and specifically covering
covering **M7's three observations and its control**. The document's quality came from **M7's three observations and its control**. The document's quality came from the
the independent rounds; the report gets the same treatment. **Which reviews of it have independent rounds; the report got the same treatment. **Which reviews closed is the
closed is the history table below**, not a figure stated here. history table below**, not a figure stated here, and whether any pass remains
outstanding is **the invariant above**. **Acceptance itself is the owner's decision
and is not recorded as satisfied by this bullet.**
### One narrow, explicit exception to "no execution work" — granted 2026-08-08 ### One narrow, explicit exception to "no execution work" — granted 2026-08-08
@ -261,11 +274,20 @@ none.**
> rule this contract has recorded since round 1, applied to markers instead of counts. > rule this contract has recorded since round 1, applied to markers instead of counts.
**History — the running tally, which has now gone stale three times and been **History — the running tally, which has now gone stale three times and been
restructured twice to stop it.** Every amendment is a row. **There is no separate restructured twice to stop it.** **Each row is an EVENT** — an amendment, a review
amendment count, deliberately**: round 5 turned the review totals into a table round, or the scratch probe. **There is no separate amendment count, deliberately**:
and left the amendment tally as prose immediately above it, which went stale in round 5 turned the review totals into a table and left the amendment tally as prose
the same edit that fixed its neighbour. The amendment count **is** the number of immediately above it, which went stale in the same edit that fixed its neighbour. Read
rows — read it off, do not restate it. the rows; do not restate a count.
> **"Every amendment is a row … the amendment count IS the number of rows" — CORRECTED
> with the record of execution review 8, and it was already false when written.** The
> converse does not hold: a row is not always an amendment. **Round 19 returned zero
> findings and produced no amendment**, so the identity was broken from the moment that
> row was added, and execution review 8 is the second such row. **A row showing 0
> findings produced no amendment**; `pin 10`'s row is an amendment whose findings
> predate the tally and shows `—`. Neither is an exception to be remembered — they are
> why the count is not stated.
| Amendment | Findings | Blocking | Independent review? | | Amendment | Findings | Blocking | Independent review? |
|---|---|---|---| |---|---|---|---|
@ -297,7 +319,8 @@ rows — read it off, do not restate it.
| execution review 5 | 5 | 4 | **yes — 3 of 5; two from the sweep** | | execution review 5 | 5 | 4 | **yes — 3 of 5; two from the sweep** |
| execution review 6 | 3 | 1 | **yes — 2 of 3; the third from the sweep** | | execution review 6 | 3 | 1 | **yes — 2 of 3; the third from the sweep** |
| execution review 7 | 3 | 3 | **yes — 2 of 3; the third from the sweep** | | execution review 7 | 3 | 3 | **yes — 2 of 3; the third from the sweep** |
| **Total** | **95** | **70** | one amendment per row | | **execution review 8** | **0** | **0** | **yes — CLEAN; no amendment followed** |
| **Total** | **95** | **70** | one **event** per row; `0`-finding rows produced no amendment |
**This block previously read "amended three times … fifteen findings so far, **This block previously read "amended three times … fifteen findings so far,
eight of them blocking"** — the round-2 figures, left standing through rounds 3 eight of them blocking"** — the round-2 figures, left standing through rounds 3
@ -986,9 +1009,46 @@ correction that fixes every *currently false* instance of a claim, but leaves th
instance that is *currently true*, has scheduled its own recurrence. The true one goes instance that is *currently true*, has scheduled its own recurrence. The true one goes
false on the next event. **Correct by class, not by current truth value.** false on the next event. **Correct by class, not by current truth value.**
**Status when written:** amendment 7 touched **no pin, gate, test, mutation, touch row **Status when written (CLOSED):** amendment 7 touched **no pin, gate, test, mutation,
or staged file** — a scope claim, not an inferred gate result. Which pass is now touch row or staged file** — a scope claim, not an inferred gate result. **Its pass
outstanding is the **invariant at the top**, and this block deliberately does not say. closed as execution review 8, CLEAN.**
**Record of execution review 8 — 2026-08-09, independent, against `480a299`. ZERO
FINDINGS.** It confirmed the top block is the sole live pass-status authority, that the
historical blocks are explicitly closed, that the locator resolves execution review 7 to
amendment 7, and that the totals reconcile at **95 findings / 70 blocking**.
**This is a RECORD, not an amendment.** It appends a history row, marks the
ratification-time bullet satisfied, and adds the invariant's **terminating case** — which
no earlier version could have specified, because only a clean round reaches it. **It
changes no pin, gate, test, mutation, touch row or staged file.** Its own text is
unreviewed, and it is deliberately this short for that reason.
**What the clean round establishes, and what it does not — the same distinction round 19
drew, and it has not weakened.** It is the criterion named at round 11: *treat
dispatchable as a claim requiring evidence of convergence, not a status reached by
running out of findings.* Two clean rounds now exist in this document — round 19 before
execution, and this one after — and **the second is the stronger of the two**, because
what it reviewed had been executed, gated and measured rather than only argued.
**It is still not proof of correctness.** Execution review 8 reviewed amendment 7; it did
not re-derive the whole document, and **no round ever has**. The defect record is the
history table, and it shows that every independent round before this one found something.
**What is now established, stated plainly so acceptance is not read as inference:**
- **The implementation is unchanged since amendment 1's comment correction**, and gates
1–3 were **re-run cold against that exact tree** under amendment 4 — 1577 passed / 0
failed / 0 ignored across 42 suites; clippy and fmt clean on pinned **1.95.0**.
- **Gates 4, 4a and §2's rules A and B** were re-run under amendments 2 and 4.
- **M7 ran**, returning its three observations and its control, and **three independent
reviews examined it and returned nothing against it.**
- **Every finding since execution has been in this contract, not in the 21 staged
files** — across all eight reviews.
**What remains is the owner's acceptance decision.** This document does not make it.
Round 1's ratification was claimed by the author after a single round and withdrawn;
**that precedent is why this block records the evidence and stops.**
**Review round 19 — 2026-08-08, independent, against the round-17/18 working **Review round 19 — 2026-08-08, independent, against the round-17/18 working
tree. ZERO FINDINGS. The first clean round in nineteen.** tree. ZERO FINDINGS. The first clean round in nineteen.**