BFM-decomp/docs/progress.fleet.md

# BFM FLEET matching progress  (generated by tools/progress.py --fleet — authoritative)
# 213 binaries: main + resident + 211 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: 360022 / 363040 = 99.17%   (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted     : 13287109 / 13523865 = 98.2%   (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5638811 / 5851972 = 96.4%   (88730/90929 unique fns; the DISTINCT-RE number)
MAIN game-code weighted  :   26969 / 79510 = 33.9%   (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; 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: 13260140 / 13444355 = 98.6%)

FLEET REAL substantive   : 357852   (of which dedup-shared 254655 via 2165 groups / 254731 instances)
FLEET LINKED PsyQ objs   :    959
FLEET NON_MATCHING       :      3   (0 in any default build — G4)
FLEET INCLUDE_ASM stubs  :   3015
FLEET matchable          : 363040

| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|---|---:|---:|---:|---:|---:|---:|
| main | 673 | 2 | 959 | 1674 | 1979 | 84.6% |
| resident | 135 | 0 | 0 | 137 | 145 | 94.5% |
| md_MAIN_001 | 10 | 0 | 0 | 10 | 11 | 90.9% |
| md_MAIN_003 | 35 | 0 | 0 | 35 | 58 | 60.3% |
| md_MAIN_008 | 6 | 0 | 0 | 6 | 6 | 100.0% |
| md_MAIN_011 | 3 | 0 | 0 | 3 | 21 | 14.3% |
| md_MAIN_013 | 9 | 0 | 0 | 9 | 16 | 56.2% |
| md_MAIN_014 | 11 | 0 | 0 | 12 | 13 | 92.3% |
| md_MAIN_015 | 18 | 0 | 0 | 18 | 20 | 90.0% |
| md_MAIN_016 | 8 | 0 | 0 | 9 | 13 | 69.2% |
| md_MAIN_017 | 6 | 0 | 0 | 6 | 10 | 60.0% |
| md_MAIN_018 | 7 | 0 | 0 | 8 | 11 | 72.7% |
| md_MAIN_019 | 21 | 0 | 0 | 21 | 22 | 95.5% |
| md_MAIN_020 | 10 | 0 | 0 | 11 | 14 | 78.6% |
| md_MAIN_021 | 7 | 0 | 0 | 8 | 11 | 72.7% |
| md_MAIN_022 | 31 | 0 | 0 | 33 | 33 | 100.0% |
| md_MAIN_023 | 4 | 0 | 0 | 5 | 6 | 83.3% |
| md_MAIN_024 | 4 | 0 | 0 | 6 | 6 | 100.0% |
| md_MAIN_025 | 26 | 0 | 0 | 26 | 30 | 86.7% |
| md_MAIN_026 | 20 | 0 | 0 | 20 | 24 | 83.3% |
| md_MAIN_027 | 23 | 0 | 0 | 25 | 29 | 86.2% |
| md_MAIN_028 | 18 | 0 | 0 | 18 | 22 | 81.8% |
| md_MAIN_029 | 6 | 0 | 0 | 7 | 11 | 63.6% |
| md_MAIN_030 | 7 | 0 | 0 | 7 | 10 | 70.0% |
| md_MAIN_031 | 14 | 0 | 0 | 14 | 18 | 77.8% |
| md_MAIN_032 | 8 | 0 | 0 | 8 | 10 | 80.0% |
| md_MAIN_033 | 16 | 0 | 0 | 16 | 19 | 84.2% |
| md_MAIN_034 | 24 | 0 | 0 | 25 | 28 | 89.3% |
| md_MAIN_035 | 13 | 0 | 0 | 14 | 16 | 87.5% |
| md_MAIN_036 | 23 | 0 | 0 | 24 | 28 | 85.7% |
| md_MAIN_037 | 15 | 0 | 0 | 15 | 17 | 88.2% |
| md_MAIN_038 | 17 | 0 | 0 | 17 | 20 | 85.0% |
| md_MAIN_039 | 24 | 0 | 0 | 24 | 26 | 92.3% |
| md_MAIN_040 | 16 | 0 | 0 | 16 | 19 | 84.2% |
| md_MAIN_041 | 11 | 0 | 0 | 11 | 15 | 73.3% |
| md_MAIN_042 | 4 | 0 | 0 | 4 | 4 | 100.0% |
| md_MAIN_043 | 18 | 0 | 0 | 19 | 23 | 82.6% |
| md_MAIN_044 | 35 | 0 | 0 | 36 | 44 | 81.8% |
| md_MAIN_045 | 17 | 0 | 0 | 18 | 21 | 85.7% |
| md_MAIN_046 | 34 | 0 | 0 | 35 | 39 | 89.7% |
| md_MAIN_047 | 8 | 0 | 0 | 9 | 12 | 75.0% |
| md_SC02_009 | 38 | 0 | 0 | 38 | 40 | 95.0% |
| md_SC03_073 | 27 | 10 | 0 | 27 | 28 | 96.4% |
| md_SC03_074 | 29 | 10 | 0 | 29 | 29 | 100.0% |
| md_SC03_075 | 40 | 10 | 0 | 40 | 41 | 97.6% |
| md_SC03_076 | 58 | 0 | 0 | 60 | 66 | 90.9% |
| md_SC03_077 | 32 | 0 | 0 | 34 | 35 | 97.1% |
| md_SC03_078 | 27 | 9 | 0 | 27 | 27 | 100.0% |
| md_SC03_079 | 26 | 0 | 0 | 28 | 29 | 96.6% |
| md_SC03_132 | 25 | 0 | 0 | 27 | 28 | 96.4% |
| md_SC03_133 | 25 | 1 | 0 | 27 | 29 | 93.1% |
| md_SC03_134 | 38 | 1 | 0 | 40 | 41 | 97.6% |
| md_SC03_135 | 58 | 0 | 0 | 60 | 66 | 90.9% |
| md_SC03_136 | 32 | 0 | 0 | 34 | 35 | 97.1% |
| md_SC03_137 | 24 | 1 | 0 | 26 | 27 | 96.3% |
| md_SC03_138 | 32 | 1 | 0 | 36 | 37 | 97.3% |
| md_SC04_024 | 25 | 0 | 0 | 27 | 28 | 96.4% |
| md_SC04_025 | 25 | 0 | 0 | 27 | 29 | 93.1% |
| md_SC04_026 | 38 | 0 | 0 | 40 | 41 | 97.6% |
| md_SC04_027 | 57 | 0 | 0 | 59 | 66 | 89.4% |
| md_SC04_028 | 31 | 0 | 0 | 33 | 35 | 94.3% |
| md_SC04_029 | 24 | 0 | 0 | 26 | 27 | 96.3% |
| md_SC04_030 | 26 | 0 | 0 | 30 | 31 | 96.8% |
| md_SC05_023 | 24 | 0 | 0 | 26 | 28 | 92.9% |
| md_SC05_024 | 25 | 0 | 0 | 27 | 29 | 93.1% |
| md_SC05_025 | 37 | 0 | 0 | 39 | 41 | 95.1% |
| md_SC05_026 | 58 | 0 | 0 | 60 | 66 | 90.9% |
| md_SC05_027 | 32 | 0 | 0 | 34 | 35 | 97.1% |
| md_SC05_028 | 24 | 0 | 0 | 26 | 27 | 96.3% |
| md_SC05_029 | 26 | 0 | 0 | 30 | 31 | 96.8% |
| md_SC07_003 | 87 | 0 | 0 | 87 | 100 | 87.0% |
| md_SC07_004 | 288 | 0 | 0 | 288 | 316 | 91.1% |
| ov_MAIN_012 | 2292 | 1689 | 0 | 2371 | 2403 | 98.7% |
| ov_SC01_000 | 2397 | 1809 | 0 | 2397 | 2403 | 99.8% |
| ov_SC01_001 | 2440 | 1811 | 0 | 2442 | 2465 | 99.1% |
| ov_SC01_004 | 2410 | 1802 | 0 | 2411 | 2414 | 99.9% |
| ov_SC01_005 | 2469 | 1833 | 0 | 2469 | 2503 | 98.6% |
| ov_SC01_006 | 2448 | 1833 | 0 | 2448 | 2503 | 97.8% |
| ov_SC01_008 | 2413 | 1803 | 0 | 2415 | 2426 | 99.5% |
| ov_SC01_009 | 2474 | 1803 | 0 | 2475 | 2507 | 98.7% |
| ov_SC01_074 | 2420 | 1803 | 0 | 2422 | 2426 | 99.8% |
| ov_SC01_077 | 2574 | 1764 | 0 | 2576 | 2586 | 99.6% |
| ov_SC01_080 | 2481 | 1806 | 0 | 2481 | 2512 | 98.8% |
| ov_SC01_084 | 2540 | 1811 | 0 | 2545 | 2579 | 98.7% |
| ov_SC02_000 | 2658 | 1889 | 0 | 2658 | 2683 | 99.1% |
| ov_SC02_003 | 2633 | 1889 | 0 | 2633 | 2683 | 98.1% |
| ov_SC02_004 | 2397 | 1806 | 0 | 2397 | 2401 | 99.8% |
| ov_SC02_005 | 2862 | 1802 | 0 | 2872 | 2926 | 98.2% |
| ov_SC02_011 | 2850 | 1810 | 0 | 2860 | 2893 | 98.9% |
| ov_SC02_015 | 2410 | 1808 | 0 | 2410 | 2414 | 99.8% |
| ov_SC02_016 | 2529 | 1810 | 0 | 2532 | 2545 | 99.5% |
| ov_SC02_017 | 2692 | 1810 | 0 | 2700 | 2732 | 98.8% |
| ov_SC02_021 | 2428 | 1808 | 0 | 2428 | 2437 | 99.6% |
| ov_SC02_026 | 2555 | 1807 | 0 | 2561 | 2572 | 99.6% |
| ov_SC02_027 | 2660 | 1828 | 0 | 2669 | 2692 | 99.1% |
| ov_SC02_028 | 2680 | 1827 | 0 | 2690 | 2701 | 99.6% |
| ov_SC02_031 | 2537 | 1809 | 0 | 2542 | 2562 | 99.2% |
| ov_SC02_035 | 2510 | 1806 | 0 | 2513 | 2520 | 99.7% |
| ov_SC02_037 | 2395 | 1704 | 0 | 2477 | 2516 | 98.4% |
| ov_SC02_039 | 2410 | 1807 | 0 | 2410 | 2416 | 99.8% |
| ov_SC02_041 | 2553 | 1806 | 0 | 2556 | 2561 | 99.8% |
| ov_SC03_001 | 2816 | 1807 | 0 | 2833 | 2869 | 98.7% |
| ov_SC03_002 | 2598 | 1815 | 0 | 2613 | 2631 | 99.3% |
| ov_SC03_003 | 2418 | 1806 | 0 | 2419 | 2423 | 99.8% |
| ov_SC03_006 | 2736 | 1814 | 0 | 2745 | 2767 | 99.2% |
| ov_SC03_007 | 2598 | 1806 | 0 | 2602 | 2623 | 99.2% |
| ov_SC03_010 | 2459 | 1807 | 0 | 2459 | 2471 | 99.5% |
| ov_SC03_011 | 2497 | 1807 | 0 | 2503 | 2527 | 99.1% |
| ov_SC03_012 | 2401 | 1806 | 0 | 2402 | 2406 | 99.8% |
| ov_SC03_013 | 2476 | 1807 | 0 | 2476 | 2493 | 99.3% |
| ov_SC03_014 | 2665 | 1855 | 0 | 2665 | 2685 | 99.3% |
| ov_SC03_015 | 2436 | 1855 | 0 | 2436 | 2468 | 98.7% |
| ov_SC03_023 | 2431 | 1806 | 0 | 2432 | 2435 | 99.9% |
| ov_SC03_024 | 2602 | 1813 | 0 | 2609 | 2641 | 98.8% |
| ov_SC03_028 | 2626 | 1807 | 0 | 2630 | 2664 | 98.7% |
| ov_SC03_029 | 2613 | 1810 | 0 | 2623 | 2644 | 99.2% |
| ov_SC03_030 | 2475 | 1811 | 0 | 2477 | 2495 | 99.3% |
| ov_SC03_031 | 2499 | 1808 | 0 | 2502 | 2514 | 99.5% |
| ov_SC03_089 | 2561 | 1811 | 0 | 2568 | 2581 | 99.5% |
| ov_SC03_090 | 2608 | 1811 | 0 | 2616 | 2625 | 99.7% |
| ov_SC03_091 | 2620 | 1828 | 0 | 2628 | 2640 | 99.5% |
| ov_SC03_092 | 2555 | 1811 | 0 | 2567 | 2588 | 99.2% |
| ov_SC03_093 | 2553 | 1828 | 0 | 2557 | 2563 | 99.8% |
| ov_SC03_094 | 2564 | 1806 | 0 | 2570 | 2577 | 99.7% |
| ov_SC03_095 | 2466 | 1806 | 0 | 2469 | 2474 | 99.8% |
| ov_SC03_096 | 2453 | 1806 | 0 | 2456 | 2465 | 99.6% |
| ov_SC03_097 | 2582 | 1827 | 0 | 2589 | 2603 | 99.5% |
| ov_SC03_098 | 2535 | 1828 | 0 | 2538 | 2541 | 99.9% |
| ov_SC03_099 | 2499 | 1806 | 0 | 2502 | 2504 | 99.9% |
| ov_SC03_100 | 2534 | 1828 | 0 | 2538 | 2539 | 100.0% |
| ov_SC03_101 | 2516 | 1811 | 0 | 2520 | 2528 | 99.7% |
| ov_SC03_102 | 2483 | 1806 | 0 | 2486 | 2492 | 99.8% |
| ov_SC03_103 | 2504 | 1808 | 0 | 2507 | 2510 | 99.9% |
| ov_SC03_104 | 2598 | 1811 | 0 | 2605 | 2616 | 99.6% |
| ov_SC03_105 | 2542 | 1807 | 0 | 2549 | 2596 | 98.2% |
| ov_SC03_107 | 2371 | 1689 | 0 | 2454 | 2496 | 98.3% |
| ov_SC03_108 | 2424 | 1807 | 0 | 2424 | 2443 | 99.2% |
| ov_SC03_109 | 2416 | 1807 | 0 | 2418 | 2424 | 99.8% |
| ov_SC03_110 | 2460 | 1830 | 0 | 2460 | 2468 | 99.7% |
| ov_SC03_111 | 2498 | 1806 | 0 | 2501 | 2510 | 99.6% |
| ov_SC03_112 | 2506 | 1808 | 0 | 2508 | 2526 | 99.3% |
| ov_SC03_113 | 2461 | 1808 | 0 | 2464 | 2468 | 99.8% |
| ov_SC03_114 | 2408 | 1806 | 0 | 2410 | 2415 | 99.8% |
| ov_SC03_115 | 2461 | 1806 | 0 | 2463 | 2472 | 99.6% |
| ov_SC03_116 | 2423 | 1806 | 0 | 2426 | 2438 | 99.5% |
| ov_SC03_117 | 2535 | 1806 | 0 | 2541 | 2557 | 99.4% |
| ov_SC03_118 | 2644 | 1845 | 0 | 2645 | 2684 | 98.5% |
| ov_SC03_119 | 2645 | 1845 | 0 | 2646 | 2685 | 98.5% |
| ov_SC03_121 | 2442 | 1807 | 0 | 2444 | 2459 | 99.4% |
| ov_SC03_124 | 2685 | 1802 | 0 | 2705 | 2741 | 98.7% |
| ov_SC03_125 | 2566 | 1815 | 0 | 2578 | 2588 | 99.6% |
| ov_SC03_126 | 2415 | 1810 | 0 | 2415 | 2423 | 99.7% |
| ov_SC04_000 | 2526 | 1811 | 0 | 2535 | 2546 | 99.6% |
| ov_SC04_002 | 2623 | 1806 | 0 | 2627 | 2636 | 99.7% |
| ov_SC04_003 | 2494 | 1813 | 0 | 2497 | 2502 | 99.8% |
| ov_SC04_004 | 2546 | 1807 | 0 | 2548 | 2558 | 99.6% |
| ov_SC04_005 | 2593 | 1806 | 0 | 2599 | 2612 | 99.5% |
| ov_SC04_006 | 2447 | 1812 | 0 | 2449 | 2454 | 99.8% |
| ov_SC04_007 | 2558 | 1807 | 0 | 2562 | 2569 | 99.7% |
| ov_SC04_008 | 2409 | 1806 | 0 | 2409 | 2415 | 99.8% |
| ov_SC04_009 | 2437 | 1806 | 0 | 2440 | 2441 | 100.0% |
| ov_SC04_010 | 2415 | 1806 | 0 | 2416 | 2419 | 99.9% |
| ov_SC04_011 | 2755 | 1811 | 0 | 2761 | 2803 | 98.5% |
| ov_SC04_012 | 2413 | 1806 | 0 | 2414 | 2420 | 99.8% |
| ov_SC04_015 | 2584 | 1807 | 0 | 2595 | 2611 | 99.4% |
| ov_SC04_016 | 2420 | 1806 | 0 | 2422 | 2440 | 99.3% |
| ov_SC04_018 | 2763 | 1892 | 0 | 2763 | 2857 | 96.7% |
| ov_SC04_019 | 2810 | 1892 | 0 | 2810 | 2857 | 98.4% |
| ov_SC04_020 | 2546 | 1815 | 0 | 2558 | 2567 | 99.6% |
| ov_SC04_021 | 2414 | 1810 | 0 | 2414 | 2423 | 99.6% |
| ov_SC05_000 | 2415 | 1810 | 0 | 2418 | 2422 | 99.8% |
| ov_SC05_001 | 2555 | 1808 | 0 | 2560 | 2574 | 99.5% |
| ov_SC05_002 | 2437 | 1806 | 0 | 2440 | 2442 | 99.9% |
| ov_SC05_003 | 2468 | 1806 | 0 | 2469 | 2481 | 99.5% |
| ov_SC05_004 | 2447 | 1806 | 0 | 2449 | 2464 | 99.4% |
| ov_SC05_005 | 2481 | 1812 | 0 | 2482 | 2491 | 99.6% |
| ov_SC05_006 | 2429 | 1808 | 0 | 2429 | 2430 | 100.0% |
| ov_SC05_007 | 2473 | 1806 | 0 | 2478 | 2482 | 99.8% |
| ov_SC05_008 | 2507 | 1806 | 0 | 2509 | 2543 | 98.7% |
| ov_SC05_009 | 2432 | 1806 | 0 | 2436 | 2438 | 99.9% |
| ov_SC05_010 | 2540 | 1807 | 0 | 2544 | 2588 | 98.3% |
| ov_SC05_011 | 2402 | 1806 | 0 | 2403 | 2409 | 99.8% |
| ov_SC05_017 | 2805 | 1806 | 0 | 2816 | 2842 | 99.1% |
| ov_SC05_018 | 2636 | 1814 | 0 | 2649 | 2673 | 99.1% |
| ov_SC05_019 | 2414 | 1810 | 0 | 2414 | 2423 | 99.6% |
| ov_SC06_000 | 2656 | 1817 | 0 | 2659 | 2691 | 98.8% |
| ov_SC06_006 | 2495 | 1807 | 0 | 2496 | 2511 | 99.4% |
| ov_SC06_008 | 2532 | 1808 | 0 | 2538 | 2542 | 99.8% |
| ov_SC06_010 | 2500 | 1806 | 0 | 2505 | 2516 | 99.6% |
| ov_SC06_011 | 2459 | 1806 | 0 | 2463 | 2468 | 99.8% |
| ov_SC06_013 | 2420 | 1806 | 0 | 2421 | 2425 | 99.8% |
| ov_SC06_014 | 2440 | 1806 | 0 | 2442 | 2453 | 99.6% |
| ov_SC06_015 | 2419 | 1806 | 0 | 2419 | 2421 | 99.9% |
| ov_SC06_016 | 2525 | 1807 | 0 | 2527 | 2549 | 99.1% |
| ov_SC06_018 | 2640 | 1807 | 0 | 2647 | 2665 | 99.3% |
| ov_SC06_020 | 2504 | 1808 | 0 | 2505 | 2518 | 99.5% |
| ov_SC06_022 | 2601 | 1806 | 0 | 2609 | 2642 | 98.8% |
| ov_SC06_024 | 2636 | 1806 | 0 | 2642 | 2667 | 99.1% |
| ov_SC06_025 | 2530 | 1806 | 0 | 2535 | 2572 | 98.6% |
| ov_SC06_027 | 2402 | 1806 | 0 | 2403 | 2408 | 99.8% |
| ov_SC06_029 | 2615 | 1807 | 0 | 2627 | 2662 | 98.7% |
| ov_SC06_030 | 2443 | 1807 | 0 | 2443 | 2456 | 99.5% |
| ov_SC06_032 | 2617 | 1807 | 0 | 2624 | 2658 | 98.7% |
| ov_SC06_033 | 2601 | 1807 | 0 | 2608 | 2631 | 99.1% |
| ov_SC07_000 | 2491 | 1811 | 0 | 2493 | 2521 | 98.9% |
| ov_SC07_001 | 2439 | 1807 | 0 | 2441 | 2454 | 99.5% |
| ov_SC07_002 | 2548 | 1807 | 0 | 2552 | 2578 | 99.0% |
| ov_SC07_006 | 2355 | 1625 | 0 | 2435 | 2457 | 99.1% |
| ov_SC07_007 | 2494 | 1660 | 0 | 2578 | 2612 | 98.7% |
| ov_SC07_008 | 2386 | 1806 | 0 | 2386 | 2386 | 100.0% |
| ov_SC07_009 | 2421 | 1806 | 0 | 2423 | 2430 | 99.7% |
| ov_SC07_010 | 2406 | 1682 | 0 | 2488 | 2523 | 98.6% |
| ov_SC07_011 | 2354 | 1659 | 0 | 2434 | 2448 | 99.4% |