mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-27 22:45:39 -04:00
724c688591
search: 25 of 337 exemplars matched lever-free in 1.39 h (25 of 337 bodies behind them; 57,838 compiles) — NO-MATCH 307 · MATCH 25 · UNSTRIPPABLE 4 · UNSCORED 1 - the draw asked for 1,200 and the ledger could offer 337: s5 had taken the easy half and the never-attempted pool is now empty — every remaining residue class has been offered at least one shape. The yield falling from 36% to 7% on exactly the bodies s5's ordering left for last is what an exhausted pool looks like, not a broken instrument. - check-all: 218 passed, 0 failed of 218 lever_census --check: 29,148 pin/asm sites, 29,148 marked !FAKE, 0 UNMARKED — OK - what is left and what it costs (R41): 9,010 bodies in ~1,300 classes, every one already refuted at beam 3 x depth 2 x cap 48. The next zero-token lever is a wider re-draw over the NO-MATCH population (--include-done, beam 4 x depth 3-4), the same move that took g1's 1-of-16 to g3's 13-of-64 in S101. The head's 57 classes remain the agents'. - snapshot row 16.