Files
BFM-decomp/docs
Drew T 09d96b1531 feat(phase-30 S7): wave 4a — 23 heads + 251 members banked ×N; cookbook §136 (the local-variable lever)
- WAVE 4a (T6, the 33 high-value B-shape families, 61-120 ins / >=10 members):
  33 targets, 46 agents, 4.44M tokens, 29 min -> 29 claimed match_one MATCH.
  Whole-binary gate BANKED 23/33 (70%); family_sweep --hseq --band all propagated
  251 member-matches across 69 overlays (13 failed, 4 STRUCT skipped by design).
  Total 274 function-instances from 33 drafted targets.
- R22 clean-fleet: make clean + extract-all + check-all -> 140 passed, 0 failed of 140.
  make report: fn-count 95.49% / instr 92.6% / distinct 85.9% (76,180 unique fns);
  dedup 1905 validated / 0 failed; 0 NON_MATCHING in any default build (G4).
- COOKBOOK §136 (R30, distilled in-session from 25 banked functions' index-gap reports):
  the wave's finding is that in the 60-120-ins band most "regalloc residuals" are decided
  by HOW MANY C LOCALS AND AT WHAT SCOPE, not by register pins (local-alloc.c:472 promotes
  any pseudo with REG_N_DEATHS>1 to a global allocno). 19 byte-verified idioms: 6 splitting/
  merging rules, 6 type-form rules, 5 scheduling rules refining §135-2/§135-4, 2 declaration-
  surface rules. One case explicitly REFUTES the pin as the lever for a redundant copy.
  cookbook-index regenerated 364 -> 370 sections, --check green.
- TWO SELF-CORRECTIONS (R37/R14), both caught before they could mislead sizing:
  (1) I wrote the tier split from the workflow's by_tier, which counts CLAIMED matches (29)
      not banks (23). Derived per-function: Opus-direct 10/14, Haiku-direct 3/8, Opus
      escalation-after-Haiku-miss 10/11. The operative number is the 10-of-11 rescue rate;
      on this band Haiku is triage, not a substitute (it is == Opus only at <=50 ins).
  (2) The gate printed "1/1 banked FAILED: func_X" on single-draft groups (the known
      double-list artifact) -> bank set DERIVED from corpus.stubs instead. Totals agreed.
- TOOLING: the wave scripts now parse args-as-string and assert Array.isArray, so the
  roadmap's standing "args must be an array" gotcha cannot silently kill a future wave
  (it killed wave 4a's first launch in 60ms with 0 agents).
- tools-health green + fail-closed before matching (corpus+resident 0 PHANTOM/0 TRUNCATED,
  audit-binaries 140/140 citizens, cdecl, report/lint/dedup).
2026-08-03 08:57:16 -06:00
..