mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-28 06:49:47 -04:00
Drew T
74d7f93c8a
First Ultracode wave against the population the -O0 routing made draftable. 30 agents (15 drafters + 15 adversarial verifiers), 1.33M tokens, 8.8 min. Every drafter self-checked with match_one --o0 AND rtu_match --o0; every MATCH claim was then re-run from scratch by an independent skeptic instructed to default to REFUTED. Result: 15/15 confirmed, 0 disputed. WHOLE-BINARY GATE (the sole arbiter, G3/P9): **12 banked / 3 failed** — a textbook SS52b outcome (an rtu MATCH is a CANDIDATE, not a bank). All three failures are NAMED INTEGRATION classes, none a compiler wall: func_8013BD74 CARVE-REFUSED — it is a jr function; needs the SS81 carve chain (reach 138) func_8013B83C CC1-FAIL — real-TU compile, error not yet read (reach 138) func_80184058 PLUMBING — recovery ladder BANKED: func_8013C08C + the 11 fourth-region fns (func_80183CF0/D50/F28, func_80184028/264/ 2E0/354/474/538, func_801847EC, func_80184868). Bank truth read from the SOURCE (INCLUDE_ASM absence), never the gate report (SS55b trap 4). R22 CLEAN-FLEET: extract-all 139/139 (+main); check-all 140 passed, 0 failed of 140. PROPAGATION OF func_8013C08C (reach 138) IS NOT DONE: the first sweep returned "0 families" because the family map still listed it as a stub — regenerated it (the documented crack-wave-sweep-map-regen path), after which the sweep found 137 candidates and banked **0/137**. Per SS94 a family 0/N is a TYPE-CARRY failure until proven otherwise, and this body carries a SS100 body-scoped typedef, so that is the first hypothesis to test. Recorded as open, NOT as a wall. FLYWHEEL FEEDBACK (R16), the honest read: the cookbook index fired on only 3/15 targets. Agents independently re-derived the SAME undocumented idiom — the -O0 CONSTANT-OFFSET FOLD (`p->f` folds to `lbu 3(r)`; `p[i]` does NOT, it emits `addiu; lw 0(r)`) — and two found their decisive levers in a SOURCE HEADER COMMENT in ov_SC01_077_o0.c rather than in the cookbook. The -O0 regime is under-documented relative to how much of the frontier now lives in -O0 TUs. SS71 also generalises to -O0: several agents cracked their target off an already-banked sibling in the same TU (func_80184868 came straight off the shape banked earlier today).