Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 687d761bde feat(phase-29): wave22 families swept 548/548 (R22 140/140) — parallel gating proven at scale
4 families x 137 members: BANKED 548 / 0 failed. R22 clean-fleet 140 passed / 0 failed of 140.
MEASURED: fn-count 318,859 -> 319,412 (+553); instr-weighted 84.4 -> 84.7% (+36,640 ins);
distinct-code 74.4 -> 74.5% (+134 unique fns).

TODAY'S PARALLEL GATE WIRING PROVED AT SCALE: this run reported `gating 411 group(s) across distinct
binaries, -j12`. When I shipped it earlier I could only smoke-test 4 fail-fast groups and said
explicitly that the 1.5x measured there was NOT the 8-16x claim; 411 full build-and-gate cycles is
the shape the claim was about.

A PERFECT 548/548 also says the wave's exemplars were right for the right reasons — a body that
templates across 137 byte-variant siblings with zero rejections is not a marginal match.

BAND NOTE: the first sweep attempt used --band substantial and staged NOTHING; these exemplars are
60-76 ins, i.e. the MID band (substantial is >=80). The tool reported that honestly
("0 matched-exemplar families (band=substantial); 0 candidate members") rather than returning a
clean-looking 0 banked — the skip-vs-result distinction this session kept running into.
2026-07-28 00:22:00 -06:00

9.1 KiB
Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

140 binaries: main + resident + 138 location overlays. DETERMINISTIC,

source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: make check-all;

cross-binary collapsible-byte leverage: docs/duplicates.cross.md.

THREE progress metrics (all matter — see the labels):

FLEET fn-count byte-ident: 319412 / 353720 = 90.30% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11128007 / 13141652 = 84.7% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4200272 / 5634875 = 74.5% (66895/87459 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift) (fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 11127571 / 13081451 = 85.1%)

FLEET REAL substantive : 317557 (of which dedup-shared 239530 via 1886 groups / 239604 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 34301 FLEET matchable : 353720

binary REAL shared LINKED byte-ident matchable byte-ident %
main 54 2 959 1055 2096 50.3%
resident 129 0 0 131 145 90.3%
ov_SC01_000 2275 1742 0 2275 2403 94.7%
ov_SC01_001 2280 1743 0 2282 2466 92.5%
ov_SC01_004 2270 1734 0 2271 2414 94.1%
ov_SC01_005 2300 1757 0 2300 2503 91.9%
ov_SC01_006 2300 1757 0 2300 2503 91.9%
ov_SC01_008 2270 1734 0 2272 2426 93.7%
ov_SC01_009 2296 1735 0 2297 2507 91.6%
ov_SC01_074 2274 1735 0 2276 2425 93.9%
ov_SC01_077 2454 1702 0 2456 2585 95.0%
ov_SC01_080 2312 1738 0 2312 2512 92.0%
ov_SC01_084 2319 1738 0 2324 2579 90.1%
ov_SC02_000 2372 1773 0 2372 2683 88.4%
ov_SC02_003 2372 1773 0 2372 2683 88.4%
ov_SC02_004 2278 1738 0 2278 2401 94.9%
ov_SC02_005 2386 1734 0 2396 2927 81.9%
ov_SC02_011 2399 1741 0 2410 2893 83.3%
ov_SC02_015 2280 1740 0 2280 2414 94.4%
ov_SC02_016 2314 1740 0 2317 2545 91.0%
ov_SC02_017 2358 1740 0 2366 2732 86.6%
ov_SC02_021 2286 1740 0 2286 2437 93.8%
ov_SC02_026 2301 1738 0 2307 2572 89.7%
ov_SC02_027 2324 1738 0 2333 2692 86.7%
ov_SC02_028 2326 1738 0 2336 2701 86.5%
ov_SC02_031 2312 1739 0 2317 2562 90.4%
ov_SC02_035 2287 1738 0 2290 2520 90.9%
ov_SC02_039 2271 1738 0 2271 2416 94.0%
ov_SC02_041 2309 1738 0 2312 2561 90.3%
ov_SC03_001 2406 1739 0 2423 2869 84.5%
ov_SC03_002 2332 1743 0 2347 2631 89.2%
ov_SC03_003 2281 1738 0 2282 2423 94.2%
ov_SC03_006 2349 1744 0 2358 2767 85.2%
ov_SC03_007 2326 1738 0 2330 2623 88.8%
ov_SC03_010 2289 1738 0 2289 2471 92.6%
ov_SC03_011 2295 1738 0 2301 2527 91.1%
ov_SC03_012 2273 1738 0 2274 2406 94.5%
ov_SC03_013 2294 1738 0 2294 2493 92.0%
ov_SC03_014 2352 1763 0 2352 2685 87.6%
ov_SC03_015 2352 1763 0 2352 2685 87.6%
ov_SC03_023 2280 1738 0 2281 2435 93.7%
ov_SC03_024 2340 1743 0 2347 2641 88.9%
ov_SC03_028 2320 1738 0 2324 2664 87.2%
ov_SC03_029 2322 1740 0 2332 2644 88.2%
ov_SC03_030 2295 1743 0 2297 2495 92.1%
ov_SC03_031 2291 1738 0 2294 2514 91.2%
ov_SC03_089 2308 1738 0 2315 2581 89.7%
ov_SC03_090 2309 1738 0 2317 2625 88.3%
ov_SC03_091 2312 1738 0 2320 2640 87.9%
ov_SC03_092 2322 1738 0 2334 2587 90.2%
ov_SC03_093 2298 1738 0 2302 2563 89.8%
ov_SC03_094 2293 1738 0 2299 2577 89.2%
ov_SC03_095 2283 1738 0 2286 2474 92.4%
ov_SC03_096 2283 1738 0 2286 2465 92.7%
ov_SC03_097 2313 1738 0 2320 2603 89.1%
ov_SC03_098 2291 1738 0 2294 2541 90.3%
ov_SC03_099 2284 1738 0 2287 2504 91.3%
ov_SC03_100 2294 1738 0 2298 2539 90.5%
ov_SC03_101 2294 1738 0 2298 2528 90.9%
ov_SC03_102 2287 1738 0 2290 2492 91.9%
ov_SC03_103 2290 1740 0 2293 2510 91.4%
ov_SC03_104 2316 1738 0 2323 2616 88.8%
ov_SC03_105 2307 1738 0 2314 2597 89.1%
ov_SC03_108 2274 1738 0 2274 2443 93.1%
ov_SC03_109 2278 1738 0 2280 2424 94.1%
ov_SC03_110 2282 1738 0 2282 2468 92.5%
ov_SC03_111 2293 1738 0 2296 2510 91.5%
ov_SC03_112 2289 1740 0 2291 2526 90.7%
ov_SC03_113 2282 1740 0 2285 2468 92.6%
ov_SC03_114 2271 1738 0 2273 2415 94.1%
ov_SC03_115 2288 1738 0 2290 2472 92.6%
ov_SC03_116 2279 1738 0 2282 2438 93.6%
ov_SC03_117 2306 1738 0 2312 2557 90.4%
ov_SC03_118 2352 1762 0 2353 2685 87.6%
ov_SC03_119 2351 1762 0 2352 2685 87.6%
ov_SC03_121 2286 1738 0 2289 2459 93.1%
ov_SC03_124 2364 1734 0 2384 2741 87.0%
ov_SC03_125 2320 1738 0 2332 2588 90.1%
ov_SC03_126 2283 1740 0 2283 2423 94.2%
ov_SC04_000 2299 1742 0 2308 2546 90.7%
ov_SC04_002 2318 1738 0 2322 2636 88.1%
ov_SC04_003 2294 1738 0 2298 2502 91.8%
ov_SC04_004 2303 1738 0 2305 2558 90.1%
ov_SC04_005 2313 1738 0 2319 2612 88.8%
ov_SC04_006 2283 1738 0 2285 2454 93.1%
ov_SC04_007 2307 1738 0 2311 2569 90.0%
ov_SC04_008 2275 1738 0 2275 2415 94.2%
ov_SC04_009 2290 1738 0 2293 2441 93.9%
ov_SC04_010 2280 1738 0 2281 2419 94.3%
ov_SC04_011 2338 1738 0 2344 2803 83.6%
ov_SC04_012 2277 1738 0 2278 2420 94.1%
ov_SC04_015 2342 1739 0 2353 2611 90.1%
ov_SC04_016 2280 1738 0 2282 2440 93.5%
ov_SC04_018 2390 1773 0 2390 2857 83.7%
ov_SC04_019 2396 1773 0 2396 2857 83.9%
ov_SC04_020 2307 1738 0 2319 2567 90.3%
ov_SC04_021 2284 1740 0 2284 2423 94.3%
ov_SC05_000 2281 1742 0 2284 2422 94.3%
ov_SC05_001 2303 1738 0 2308 2574 89.7%
ov_SC05_002 2286 1738 0 2289 2442 93.7%
ov_SC05_003 2283 1738 0 2284 2481 92.1%
ov_SC05_004 2279 1738 0 2281 2464 92.6%
ov_SC05_005 2284 1738 0 2285 2491 91.7%
ov_SC05_006 2277 1738 0 2277 2430 93.7%
ov_SC05_007 2287 1738 0 2292 2482 92.3%
ov_SC05_008 2304 1738 0 2306 2543 90.7%
ov_SC05_009 2283 1738 0 2287 2438 93.8%
ov_SC05_010 2310 1738 0 2314 2588 89.4%
ov_SC05_011 2279 1738 0 2280 2409 94.6%
ov_SC05_017 2386 1735 0 2397 2842 84.3%
ov_SC05_018 2333 1738 0 2346 2673 87.8%
ov_SC05_019 2284 1740 0 2284 2423 94.3%
ov_SC06_000 2348 1747 0 2351 2691 87.4%
ov_SC06_006 2300 1738 0 2301 2511 91.6%
ov_SC06_008 2320 1740 0 2326 2542 91.5%
ov_SC06_010 2300 1738 0 2305 2517 91.6%
ov_SC06_011 2288 1738 0 2292 2468 92.9%
ov_SC06_013 2282 1738 0 2283 2425 94.1%
ov_SC06_014 2288 1738 0 2290 2453 93.4%
ov_SC06_015 2285 1738 0 2285 2421 94.4%
ov_SC06_016 2303 1738 0 2305 2549 90.4%
ov_SC06_018 2314 1740 0 2321 2665 87.1%
ov_SC06_020 2292 1740 0 2293 2518 91.1%
ov_SC06_022 2311 1738 0 2319 2642 87.8%
ov_SC06_024 2321 1738 0 2327 2667 87.3%
ov_SC06_025 2305 1738 0 2310 2572 89.8%
ov_SC06_027 2270 1738 0 2271 2408 94.3%
ov_SC06_029 2331 1738 0 2343 2662 88.0%
ov_SC06_030 2284 1738 0 2284 2456 93.0%
ov_SC06_032 2306 1739 0 2313 2658 87.0%
ov_SC06_033 2308 1739 0 2315 2631 88.0%
ov_SC07_000 2299 1742 0 2301 2521 91.3%
ov_SC07_001 2283 1738 0 2285 2454 93.1%
ov_SC07_002 2311 1738 0 2315 2579 89.8%
ov_SC07_006 2081 1555 0 2161 2456 88.0%
ov_SC07_007 2076 1586 0 2160 2613 82.7%
ov_SC07_008 2268 1738 0 2268 2386 95.1%
ov_SC07_009 2277 1738 0 2279 2430 93.8%
ov_SC07_010 2108 1608 0 2191 2524 86.8%
ov_SC07_011 2076 1585 0 2156 2449 88.0%