From ce1e2f83fbba4d6b3a7a1e361c20bc9bf30b8711 Mon Sep 17 00:00:00 2001 From: Christopher Williams Date: Thu, 24 Sep 2026 01:58:05 -0400 Subject: [PATCH] =?UTF-8?q?phase9:=20ledger=20=E2=80=94=20cycle-4=20352=20?= =?UTF-8?q?bodies,=20F22/F23=20findings?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- phase-ends/CURRENT_PHASE.md | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index b8e1be9..6cd7c4e 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -449,3 +449,21 @@ cluster addresses as the class's strongest members. D_ name. The C-name-must-equal-registry-name rule now includes the caution that a local symbol superset can hide a wrong spelling. - Registry: 358 / 349. All gates green; SHA-1 stable; 229 tests. + +## Cycle 4 (continued) — 352 bodies, F22/F23 findings + +| Cycle | New bodies | Total bodies | New regions | Total regions | Result | +|---|---|---|---|---|---| +| c4 (to date) | +53 | **352** | +53 | **361** | green merges | + +- Worker C: 3 more (0x800129C8, 0x80031F2C — closing a coordinator negative + via F23 struct-assignment, second confirmation — and 0x8009132C via F22). + F22: unsigned char destination local re-masks an already-zero-extended + lbu (width-of-DESTINATION trigger, F2 cluster). C's link-error finding: + 'small-data section too large' on a region that built fine = a duplicate + gp symbol (name mismatch), NOT a -G problem — loud failure, wrong-axis + impression, worth a cookbook line. +- Coordinator's stale 0x80031F2C negative removed (C matched it). The + negatives index now holds only genuinely-open rows. +- Queue: worklist 1,426 (excluded_recorded_negative=82), partitions + regenerated, all gates green, SHA-1 stable, 229 tests.