phase9: ledger — cycle-4 390 bodies, family scan 3rd payoff

This commit is contained in:
Christopher Williams
2026-09-24 02:45:14 -04:00
parent 94356d6a31
commit 4405bb7e68
+13
View File
@@ -683,3 +683,16 @@ makes the team structure work.
differing only in li a1,4 vs li a1,16). Reproducible outgoing-argument-
area arithmetic (six words at 16-36(sp), ra at 40).
- Registry: 398 / 389 — 11 short of the 400 checkpoint. All gates green.
## Cycle 4 — 390 bodies (10 short of 400)
| Cycle | New bodies | Total bodies | New regions | Total regions | Result |
|---|---|---|---|---|---|
| c4 (to date) | +91 | **390** | +91 | **399** | green merges |
- B: 37 new this cycle. Family-target scan 3rd payoff (0x80057B84, the
family's 4th member). Branch-vs-branchless discriminator (number of
distinct selected values decides the spelling). Inverted named-locals
lever (repeated expression correct, local is the mistake). Two negatives
(0x800179E0 guard polarity, 0x800C1E54 dead local).
- Registry: 399 / 390 — 10 short of the 400 milestone. All gates green.