From 67c76026e6d1bd9e46aa18b56b84ea7f6a55df58 Mon Sep 17 00:00:00 2001 From: Erik Date: Fri, 4 Sep 2026 14:32:59 +0200 Subject: [PATCH] docs(overhaul): correct c3a mutation evidence 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 --- ...-09-01-campaign-overhaul-world-solidity.md | 2 +- .../s4-depth-alpha-packet.md | 20 +++++++++++++++++-- 2 files changed, 19 insertions(+), 3 deletions(-) diff --git a/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md b/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md index 1df288f3..0b655236 100644 --- a/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md +++ b/docs/plans/2026-09-01-campaign-overhaul-world-solidity.md @@ -678,7 +678,7 @@ Update immediately when a slice changes state. Chat is not the ledger. | S4-c2 stop | **STOPPED UNLANDED 2026-09-04** — lead final-round contract `ac74fbd84`; evidence commit `c4cbc1d0d` in `s4-c2-impl` on `cc8e5677a`/`048d5b12f`; campaign renderer remains S4-c1 `766f9e749` | G3/G4 UNPASSED | Both sequential final lenses FAIL, so the required repair is the forbidden THIRD round. EnvCell transparent/ClipMap batches still draw in the opaque pass before FIFO submission and then redraw; CLIP/detail-immediate replay binds StraightAlpha with depth-write off rather than retail clip-test/depth-writing state; tests omit the preceding opaque call and pipeline descriptors. Source-owned EnvCell lists are unbounded under queue rejection, the claimed scan/filter/RHI 0-B evidence bypasses those paths, and AP-238/AP-240/result truth is false. Full file:line and gate record: S4 packet §13. No chunk cherry-pick, graphical gate, or soak. Resume only on explicit owner process change. | | S4-c2 owner repair | **STOPPED UNLANDED 2026-09-04** — owner-authorized implementation `a094bf2b7` is clean in `s4-c2-impl`; packet §15 is the review record | G3/G4 UNPASSED | The repaired renderer behavior passed the retail lens: exact whole-leaf pass membership, `0x08`/`0x09` CLIP, row-3 override, blend/reference/depth state, sentinel separation, detail state, rollback, allocation, AP-238/AP-240. The lens still returned FAIL: commit body omitted the required per-mutation first failures, packet mutation 5 names the wrong first assertion/address, and four source/test comments are stale. Sequential production lens therefore did not run. Correcting those items is a post-review fourth repair, which §14 does not authorize. Nothing landed or graphically gated; resume only by explicit owner process decision. | | S4-c2 attempts 1–5 | **ATTEMPT 1/5 CONSUMED; ATTEMPT 2/5 PASSED AND LANDED 2026-09-04** — reviewed implementation `daaeab0ba`; campaign stack `89f1e2676` → `9ccb61a8e` → `0aa166aa0` → `252886e84`; packet §17 | G3/G4 UNPASSED | Sequential retail/evidence then production/gate-honesty PASS. Fresh: Release 0W/0E; shader 32/32; affected 37/37; real allocation 2/2 at 0 B; production 239/239. Official no-retry hermetic 16,734/1: sole unchanged global `Console.Out` capture race, exact theory 2/2 isolated. InstalledDat 255/10 documented/1. Validation routes `selfgate-20260904-115818-s4c2-landed-route` and `selfgate-20260904-120025-s4c2-landed-g3b` PASS provisional. First soak failed on known #461/#462; retry and S4-c1 control both 9/9 graceful; stationary averages CPU p95 −0.01 ms, GPU p95 +0.16 ms, alloc p50 +1.2 KiB, update p95 −0.12 ms. Three attempts remain unused. | -| S4-c3a | **§19 RETAIL RE-REVIEW FAIL; §20 FINAL FIX ROUND 2 IMPLEMENTED — FINAL REVIEW PENDING.** Candidate `eea5793d2` replaced every successfully decoded zero-Surface GfxObj with `ParticleGfxInfo.Default`, discarding authored SortCenter, AABB visual center, axes, and degrade mode. The §20 repair preserves decoded metadata and conditions only texture acquisition; a production-path synthetic no-Surface GfxObj proves distance² 40, object/particle merge order, visual center, and the untextured slot. Installed September 2013 exposure remains zero. Final F2 source audit found no additional defect. Return gates: target 1/1; unchanged focused baseline 95/95; AP pin 1/1; real allocation 2/2 at 0 B; shader/manifest 32/32; Release 0W/0E; one discriminating mutation recorded in packet §20.4. | G3/G4 UNPASSED | Final retail review of the no-Surface branch and wording, then sequential production/gate-honesty review of the complete c3a stack. Any further code, test, register, or evidence finding is a third fix round and stops c3a; c3b remains locked. | +| S4-c3a | **§21 EVIDENCE EXCEPTION CORRECTED — NARROW REVIEW PENDING.** The §20 final renderer and production reviews found no other correction-worthy item, but §18.7 mutation 9 misstated its first failure. The owner-authorized evidence-only correction now records the actual AP-table-boundary `Assert.True` (`rowIndex=-1`); the later `Assert.Single` is not reached. The AP-241 row was restored exactly and the isolated pin passed 1/1. Renderer implementation, prior gates, AP rows/count, and G3/G4 status are unchanged. | G3/G4 UNPASSED | One independent narrow gate-honesty review of the packet/plan-only exception diff. Narrow PASS unlocks landing the already-reviewed c3a stack; narrow FAIL returns to STOPPED UNLANDED. c3b remains locked until landing. | | S5 | — | G4 | fill | --- diff --git a/docs/research/2026-09-01-overhaul/s4-depth-alpha-packet.md b/docs/research/2026-09-01-overhaul/s4-depth-alpha-packet.md index aa355f3b..61860e34 100644 --- a/docs/research/2026-09-01-overhaul/s4-depth-alpha-packet.md +++ b/docs/research/2026-09-01-overhaul/s4-depth-alpha-packet.md @@ -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.