mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-28 23:00:29 -04:00
e0229af908
Three gaps found by auditing instead of asserting. §462 and §463 were MISSING from the cookbook although their commits are ancestors of HEAD and added 37 and 34 lines. Same silent loss as §464, which I caught only because I happened to re-check the three sections I had just written. Both restored from their own commits; all of §460-§476 now verified present one by one. SETUP.md had no record of either new tool (R21). Added gate_main_parallel and sync_tu_decls, plus the oracle corrections a reader needs in order to re-judge older verdicts: the REORDER_TUS routing in match_one/rtu_match, the draw_waves --main no-op, the verbatim-draft refusals at three points, and the §179-C conversion guard. The playbook had nothing on what to do when a gate banks far less than it staged — which is exactly what happened this session. Added the triage step: probe first (CC1-FAIL 16 / DIFF 18 / MATCH 6 on main's 40), sync declarations for the plumbing class, hand self_decl_tu to cast_self_callers, and expect a cascade because every bank changes the declaration environment for the drafts that follow it.