Files
BFM-decomp/docs/progress.fleet.md
T
Drew T b5362c7b7f feat(phase-30): the -O0 cluster HARVEST — 1,364 banks for ZERO agent tokens; fleet 92.71->93.09% fn / 88.3->88.6% instr / 78.7->79.3% distinct
The payoff of routing the cluster to -O0 (commit:1270). These functions were ALREADY
CRACKED in ov_SC01_077 and could not be banked anywhere else purely because every
destination file compiled -O2. With the destinations now -O0, they template in
deterministically -- no drafting, no agents.

  dedup_propagate --recover  0x8013C360 (h_exact x138)  -> 137 overlays byte-identical
  family_sweep --hseq        10 variant families         -> 1,227 banked / 133 failed (90%)
                                                            1360 staged across 136 groups
  ------------------------------------------------------------------------------------
  1,364 new banks

FLEET: fn-count 92.71 -> 93.09% · instr 88.3 -> 88.6% · distinct-code 78.7 -> 79.3%
(71,756 / 87,459 unique fns; +1,162 unique). dedup 1904 -> 1905 groups, 0 failed;
C1 coverage 240496/240496. 0 NON_MATCHING in any default build (G4).
R22 CLEAN-FLEET: extract-all 139/139 (+main); check-all 140 passed, 0 failed of 140.

--recover WAS LOAD-BEARING (SS75): without it dedup_propagate took its historical
all-or-nothing branch -- one failing overlay (the SOURCE, ov_SC01_077) dropped the whole
function and it printed "all candidates dropped", which reads exactly like a wall. Reading
the exclusion code instead of believing the message showed the remedy: --recover excludes
only that overlay (kept x1 with its own inline match) and propagates to the other 137.

The two has_mid_jr families in the cluster were REFUSED BY DESIGN, not attempted (SS53
interlock): 0x8013C0F8 (154 ins) and 0x8013C414 (329 ins), ~137 members each = ~466
members queued behind the jtbl carve path they actually need, rather than a fake 0% from
the wrong tool.

REMAINING in the cluster: the 133 sweep failures + the 2 jr families + the 3 addresses
never cracked anywhere (0x8013B83C, 0x8013BD74, 0x8013C08C) -- the last are genuine
drafting work, now finally possible since their TU is -O0.
2026-07-31 11:00:42 -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: 329282 / 353720 = 93.09% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11642166 / 13141652 = 88.6% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4467496 / 5634875 = 79.3% (71756/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: 11641730 / 13081451 = 89.0%)

FLEET REAL substantive : 327427 (of which dedup-shared 240422 via 1905 groups / 240496 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 24431 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 2334 1748 0 2334 2403 97.1%
ov_SC01_001 2341 1749 0 2343 2466 95.0%
ov_SC01_004 2332 1740 0 2333 2414 96.6%
ov_SC01_005 2363 1763 0 2363 2503 94.4%
ov_SC01_006 2363 1763 0 2363 2503 94.4%
ov_SC01_008 2332 1740 0 2334 2426 96.2%
ov_SC01_009 2357 1741 0 2358 2507 94.1%
ov_SC01_074 2338 1741 0 2340 2425 96.5%
ov_SC01_077 2501 1707 0 2503 2585 96.8%
ov_SC01_080 2372 1744 0 2372 2512 94.4%
ov_SC01_084 2393 1749 0 2398 2579 93.0%
ov_SC02_000 2449 1788 0 2449 2683 91.3%
ov_SC02_003 2448 1788 0 2448 2683 91.2%
ov_SC02_004 2337 1744 0 2337 2401 97.3%
ov_SC02_005 2474 1740 0 2484 2927 84.9%
ov_SC02_011 2485 1747 0 2496 2893 86.3%
ov_SC02_015 2342 1746 0 2342 2414 97.0%
ov_SC02_016 2386 1746 0 2389 2545 93.9%
ov_SC02_017 2445 1746 0 2453 2732 89.8%
ov_SC02_021 2347 1746 0 2347 2437 96.3%
ov_SC02_026 2374 1744 0 2380 2572 92.5%
ov_SC02_027 2401 1744 0 2410 2692 89.5%
ov_SC02_028 2398 1744 0 2408 2701 89.2%
ov_SC02_031 2385 1745 0 2390 2562 93.3%
ov_SC02_035 2359 1744 0 2362 2520 93.7%
ov_SC02_039 2336 1744 0 2336 2416 96.7%
ov_SC02_041 2386 1744 0 2389 2561 93.3%
ov_SC03_001 2487 1745 0 2504 2869 87.3%
ov_SC03_002 2399 1749 0 2414 2631 91.8%
ov_SC03_003 2343 1744 0 2344 2423 96.7%
ov_SC03_006 2429 1750 0 2438 2767 88.1%
ov_SC03_007 2397 1744 0 2401 2623 91.5%
ov_SC03_010 2355 1744 0 2355 2471 95.3%
ov_SC03_011 2359 1744 0 2365 2527 93.6%
ov_SC03_012 2334 1744 0 2335 2406 97.0%
ov_SC03_013 2361 1744 0 2361 2493 94.7%
ov_SC03_014 2438 1772 0 2438 2685 90.8%
ov_SC03_015 2437 1772 0 2437 2685 90.8%
ov_SC03_023 2345 1744 0 2346 2435 96.3%
ov_SC03_024 2411 1749 0 2418 2641 91.6%
ov_SC03_028 2381 1744 0 2385 2664 89.5%
ov_SC03_029 2398 1746 0 2408 2644 91.1%
ov_SC03_030 2356 1749 0 2358 2495 94.5%
ov_SC03_031 2357 1744 0 2360 2514 93.9%
ov_SC03_089 2382 1749 0 2389 2581 92.6%
ov_SC03_090 2385 1749 0 2393 2625 91.2%
ov_SC03_091 2382 1744 0 2390 2640 90.5%
ov_SC03_092 2405 1749 0 2417 2587 93.4%
ov_SC03_093 2370 1744 0 2374 2563 92.6%
ov_SC03_094 2361 1744 0 2367 2577 91.9%
ov_SC03_095 2349 1744 0 2352 2474 95.1%
ov_SC03_096 2350 1744 0 2353 2465 95.5%
ov_SC03_097 2392 1744 0 2399 2603 92.2%
ov_SC03_098 2361 1744 0 2364 2541 93.0%
ov_SC03_099 2351 1744 0 2354 2504 94.0%
ov_SC03_100 2365 1744 0 2369 2539 93.3%
ov_SC03_101 2373 1749 0 2377 2528 94.0%
ov_SC03_102 2351 1744 0 2354 2492 94.5%
ov_SC03_103 2356 1746 0 2359 2510 94.0%
ov_SC03_104 2391 1749 0 2398 2616 91.7%
ov_SC03_105 2371 1744 0 2378 2597 91.6%
ov_SC03_108 2339 1744 0 2339 2443 95.7%
ov_SC03_109 2342 1744 0 2344 2424 96.7%
ov_SC03_110 2347 1744 0 2347 2468 95.1%
ov_SC03_111 2363 1744 0 2366 2510 94.3%
ov_SC03_112 2357 1746 0 2359 2526 93.4%
ov_SC03_113 2346 1746 0 2349 2468 95.2%
ov_SC03_114 2332 1744 0 2334 2415 96.6%
ov_SC03_115 2354 1744 0 2356 2472 95.3%
ov_SC03_116 2340 1744 0 2343 2438 96.1%
ov_SC03_117 2378 1744 0 2384 2557 93.2%
ov_SC03_118 2428 1768 0 2429 2685 90.5%
ov_SC03_119 2424 1768 0 2425 2685 90.3%
ov_SC03_121 2348 1744 0 2351 2459 95.6%
ov_SC03_124 2442 1740 0 2462 2741 89.8%
ov_SC03_125 2386 1744 0 2398 2588 92.7%
ov_SC03_126 2345 1746 0 2345 2423 96.8%
ov_SC04_000 2372 1748 0 2381 2546 93.5%
ov_SC04_002 2396 1744 0 2400 2636 91.0%
ov_SC04_003 2360 1744 0 2364 2502 94.5%
ov_SC04_004 2373 1744 0 2375 2558 92.8%
ov_SC04_005 2385 1744 0 2391 2612 91.5%
ov_SC04_006 2349 1744 0 2351 2454 95.8%
ov_SC04_007 2379 1744 0 2383 2569 92.8%
ov_SC04_008 2337 1744 0 2337 2415 96.8%
ov_SC04_009 2353 1744 0 2356 2441 96.5%
ov_SC04_010 2341 1744 0 2342 2419 96.8%
ov_SC04_011 2416 1749 0 2422 2803 86.4%
ov_SC04_012 2339 1744 0 2340 2420 96.7%
ov_SC04_015 2411 1745 0 2422 2611 92.8%
ov_SC04_016 2341 1744 0 2343 2440 96.0%
ov_SC04_018 2493 1780 0 2493 2857 87.3%
ov_SC04_019 2489 1780 0 2489 2857 87.1%
ov_SC04_020 2374 1744 0 2386 2567 92.9%
ov_SC04_021 2345 1746 0 2345 2423 96.8%
ov_SC05_000 2343 1748 0 2346 2422 96.9%
ov_SC05_001 2375 1744 0 2380 2574 92.5%
ov_SC05_002 2351 1744 0 2354 2442 96.4%
ov_SC05_003 2347 1744 0 2348 2481 94.6%
ov_SC05_004 2342 1744 0 2344 2464 95.1%
ov_SC05_005 2358 1749 0 2359 2491 94.7%
ov_SC05_006 2343 1744 0 2343 2430 96.4%
ov_SC05_007 2352 1744 0 2357 2482 95.0%
ov_SC05_008 2370 1744 0 2372 2543 93.3%
ov_SC05_009 2345 1744 0 2349 2438 96.3%
ov_SC05_010 2377 1744 0 2381 2588 92.0%
ov_SC05_011 2340 1744 0 2341 2409 97.2%
ov_SC05_017 2471 1741 0 2482 2842 87.3%
ov_SC05_018 2405 1744 0 2418 2673 90.5%
ov_SC05_019 2345 1746 0 2345 2423 96.8%
ov_SC06_000 2430 1753 0 2433 2691 90.4%
ov_SC06_006 2364 1744 0 2365 2511 94.2%
ov_SC06_008 2389 1746 0 2395 2542 94.2%
ov_SC06_010 2368 1744 0 2373 2517 94.3%
ov_SC06_011 2349 1744 0 2353 2468 95.3%
ov_SC06_013 2343 1744 0 2344 2425 96.7%
ov_SC06_014 2350 1744 0 2352 2453 95.9%
ov_SC06_015 2348 1744 0 2348 2421 97.0%
ov_SC06_016 2365 1744 0 2367 2549 92.9%
ov_SC06_018 2392 1746 0 2399 2665 90.0%
ov_SC06_020 2360 1746 0 2361 2518 93.8%
ov_SC06_022 2385 1744 0 2393 2642 90.6%
ov_SC06_024 2396 1744 0 2402 2667 90.1%
ov_SC06_025 2375 1744 0 2380 2572 92.5%
ov_SC06_027 2335 1744 0 2336 2408 97.0%
ov_SC06_029 2400 1744 0 2412 2662 90.6%
ov_SC06_030 2348 1744 0 2348 2456 95.6%
ov_SC06_032 2382 1745 0 2389 2658 89.9%
ov_SC06_033 2382 1745 0 2389 2631 90.8%
ov_SC07_000 2361 1748 0 2363 2521 93.7%
ov_SC07_001 2347 1744 0 2349 2454 95.7%
ov_SC07_002 2375 1744 0 2379 2579 92.2%
ov_SC07_006 2233 1560 0 2313 2456 94.2%
ov_SC07_007 2253 1592 0 2337 2613 89.4%
ov_SC07_008 2329 1744 0 2329 2386 97.6%
ov_SC07_009 2339 1744 0 2341 2430 96.3%
ov_SC07_010 2245 1614 0 2328 2524 92.2%
ov_SC07_011 2253 1591 0 2333 2449 95.3%