From 4405bb7e68bd0dec889acd65f699aa9df12c8b67 Mon Sep 17 00:00:00 2001 From: Christopher Williams Date: Thu, 24 Sep 2026 02:45:14 -0400 Subject: [PATCH] =?UTF-8?q?phase9:=20ledger=20=E2=80=94=20cycle-4=20390=20?= =?UTF-8?q?bodies,=20family=20scan=203rd=20payoff?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- phase-ends/CURRENT_PHASE.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 9720ca2..a1a8af8 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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.