phase9: ledger — cycle-4 389 bodies, family-as-a-set lever

2026-09-24 02:42:42 -04:00
parent b70f504b9c
commit 1d3a307ea8
1 changed files with 13 additions and 0 deletions
@@ -670,3 +670,16 @@ makes the team structure work.
  conditional lever (ternary-zero vs if/else). negu evidence set 3rd row.
  Sibling 0x8005789C handed with 11th-arg note.
 - Registry: 394 / 385 — 15 short of the 400 checkpoint. All gates green.
+
+## Cycle 4 — family-as-a-set lever; 389 bodies
+
+| Cycle | New bodies | Total bodies | New regions | Total regions | Result |
+|---|---|---|---|---|---|
+| c4 (to date) | +90 | **389** | +90 | **398** | green merges |
+
+- B: 36 new this cycle. Family-as-a-set lever (scan for rows calling the
+  same target; argument map paid once) — 4-for-4 first attempt this batch
+  across two sibling families. Selector-constant proof (byte-identical pair
+  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.