erik/acdream
1
0
Fork 0
Code Issues Pull requests Projects Releases 6 Packages Wiki Activity Actions

docs(overhaul): correct c3a mutation evidence

Browse source 
Correct packet section 18.7 mutation 9: renaming AP-241 first fails the earlier AP-table-boundary Assert.True with rowIndex=-1; the later Assert.Single is not reached. Advance only the S4-c3a ledger row to the owner-authorized evidence-exception review.

This commit explicitly supersedes the false mutation-9 sentence recorded in historical candidate commit 44e2bc227b without rewriting or amending that commit. It changes no other c3a evidence or renderer behavior.

Narrow mutation: AP-241 rename first failed at line 329 with 'AP-241 row must be inside the AP table before the TS section; rowIndex=-1, AP=[275116,751256).'. The register row was restored byte-identically and the same isolated test passed 1/1. Diff-check passed; only packet and plan changed; no graphical client.

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
This commit is contained in:
Erik 2026-09-04 14:32:59 +02:00
parent 316193043d
commit 67c76026e6
2 changed files with 19 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

20
docs/research/2026-09-01-overhaul/s4-depth-alpha-packet.md
View file

@ -1427,8 +1427,9 @@ before the return matrix):
8. Reinsert “distance-sorts one shared queue” into the inventory:
`WorldAlphaCyptDocumentationAndRegister_PinPerCellTruthAndThreeResiduals`
first failed `Assert.DoesNotContain` on that exact phrase.
9. Rename AP-241 away: that same truth pin first failed `Assert.Single`
because no AP-241 row matched.
9. Rename AP-241 away: that same truth pin first failed the earlier AP-table-
boundary `Assert.True` because `rowIndex=-1`; the later `Assert.Single` was
not reached.
10. Allocate one object in the real cell-merge path:
`ProductionCellObjectParticleMerge_WarmedPathAllocatesZeroBytes` first
expected 0, actual 3,072 managed bytes.
@ -1799,3 +1800,18 @@ No full renderer rerun is required: the final retail and production lenses
already found no other correction-worthy item and the correction cannot affect
compiled source or tests. A narrow PASS unlocks landing the already-reviewed
c3a stack; a narrow FAIL returns to STOPPED UNLANDED.
### 21.1 Evidence-exception implementation result (Sonnet, 2026-09-04)
**CORRECTED — NARROW REVIEW PENDING.** Temporarily renaming the AP-241 row and
running only
`WorldAlphaCyptDocumentationAndRegister_PinPerCellTruthAndThreeResiduals`
first failed the boundary assertion at line 329 with the actual message:
`AP-241 row must be inside the AP table before the TS section; rowIndex=-1,
AP=[275116,751256).` The later `Assert.Single` was not reached. The register row
was restored exactly and the same isolated test then passed 1/1. `git diff
--check` passed, and exact inspection found only this packet and the S4-c3a
plan-ledger row changed. No production, test, register, shader, manifest, or
package file remains modified; no graphical client was launched. This text
supersedes only §18.7 mutation 9 and the corresponding historical claim in
candidate `44e2bc227b`; it changes no other c3a evidence.