diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index d8e6a7d..9720ca2 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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.