phase9: ledger — cycle-4 352 bodies, F22/F23 findings

2026-09-24 01:58:05 -04:00
parent 612fbd11bd
commit ce1e2f83fb
1 changed files with 18 additions and 0 deletions
@@ -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.