Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 21ccb171ac feat(phase-30 UC): wave-2 propagation — 2,192 members, fleet 91.4% instr (R22 140/140)
19/19 wave-2 heads banked and propagated: 2,192 member-matches / 411 stage-but-DIFF residue
(each individually gate-rejected and reverted). FLEET 94.43% fn / 91.4% instr / 84.0% distinct;
dedup 1905/0; 0 NON_MATCHING (G4).

Session arc: 93.25->94.43 fn / 89.2->91.4 instr / 80.5->84.0 distinct.
Phase arc:   92.00->94.43 fn / 87.5->91.4 instr / 78.0->84.0 distinct.
2026-08-01 12:11:23 -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: 334031 / 353721 = 94.43% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12010894 / 13141652 = 91.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4735984 / 5634875 = 84.0% (73787/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: 12010458 / 13081451 = 91.8%)

FLEET REAL substantive : 332176 (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 : 19683 FLEET matchable : 353721

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 2368 1748 0 2368 2403 98.5%
ov_SC01_001 2375 1749 0 2377 2466 96.4%
ov_SC01_004 2366 1740 0 2367 2414 98.1%
ov_SC01_005 2397 1763 0 2397 2503 95.8%
ov_SC01_006 2397 1763 0 2397 2503 95.8%
ov_SC01_008 2366 1740 0 2368 2426 97.6%
ov_SC01_009 2391 1741 0 2392 2507 95.4%
ov_SC01_074 2372 1741 0 2374 2425 97.9%
ov_SC01_077 2535 1707 0 2537 2586 98.1%
ov_SC01_080 2406 1744 0 2406 2512 95.8%
ov_SC01_084 2427 1749 0 2432 2579 94.3%
ov_SC02_000 2483 1788 0 2483 2683 92.5%
ov_SC02_003 2482 1788 0 2482 2683 92.5%
ov_SC02_004 2371 1744 0 2371 2401 98.8%
ov_SC02_005 2508 1740 0 2518 2927 86.0%
ov_SC02_011 2519 1747 0 2530 2893 87.5%
ov_SC02_015 2377 1746 0 2377 2414 98.5%
ov_SC02_016 2420 1746 0 2423 2545 95.2%
ov_SC02_017 2479 1746 0 2487 2732 91.0%
ov_SC02_021 2381 1746 0 2381 2437 97.7%
ov_SC02_026 2408 1744 0 2414 2572 93.9%
ov_SC02_027 2435 1744 0 2444 2692 90.8%
ov_SC02_028 2432 1744 0 2442 2701 90.4%
ov_SC02_031 2419 1745 0 2424 2562 94.6%
ov_SC02_035 2393 1744 0 2396 2520 95.1%
ov_SC02_039 2370 1744 0 2370 2416 98.1%
ov_SC02_041 2420 1744 0 2423 2561 94.6%
ov_SC03_001 2522 1745 0 2539 2869 88.5%
ov_SC03_002 2433 1749 0 2448 2631 93.0%
ov_SC03_003 2378 1744 0 2379 2423 98.2%
ov_SC03_006 2463 1750 0 2472 2767 89.3%
ov_SC03_007 2431 1744 0 2435 2623 92.8%
ov_SC03_010 2389 1744 0 2389 2471 96.7%
ov_SC03_011 2394 1744 0 2400 2527 95.0%
ov_SC03_012 2368 1744 0 2369 2406 98.5%
ov_SC03_013 2395 1744 0 2395 2493 96.1%
ov_SC03_014 2483 1772 0 2483 2685 92.5%
ov_SC03_015 2471 1772 0 2471 2685 92.0%
ov_SC03_023 2379 1744 0 2380 2435 97.7%
ov_SC03_024 2445 1749 0 2452 2641 92.8%
ov_SC03_028 2415 1744 0 2419 2664 90.8%
ov_SC03_029 2432 1746 0 2442 2644 92.4%
ov_SC03_030 2391 1749 0 2393 2495 95.9%
ov_SC03_031 2391 1744 0 2394 2514 95.2%
ov_SC03_089 2416 1749 0 2423 2581 93.9%
ov_SC03_090 2419 1749 0 2427 2625 92.5%
ov_SC03_091 2416 1744 0 2424 2640 91.8%
ov_SC03_092 2439 1749 0 2451 2587 94.7%
ov_SC03_093 2404 1744 0 2408 2563 94.0%
ov_SC03_094 2395 1744 0 2401 2577 93.2%
ov_SC03_095 2383 1744 0 2386 2474 96.4%
ov_SC03_096 2384 1744 0 2387 2465 96.8%
ov_SC03_097 2426 1744 0 2433 2603 93.5%
ov_SC03_098 2395 1744 0 2398 2541 94.4%
ov_SC03_099 2385 1744 0 2388 2504 95.4%
ov_SC03_100 2399 1744 0 2403 2539 94.6%
ov_SC03_101 2407 1749 0 2411 2528 95.4%
ov_SC03_102 2385 1744 0 2388 2492 95.8%
ov_SC03_103 2391 1746 0 2394 2510 95.4%
ov_SC03_104 2425 1749 0 2432 2616 93.0%
ov_SC03_105 2405 1744 0 2412 2597 92.9%
ov_SC03_108 2373 1744 0 2373 2443 97.1%
ov_SC03_109 2376 1744 0 2378 2424 98.1%
ov_SC03_110 2381 1744 0 2381 2468 96.5%
ov_SC03_111 2397 1744 0 2400 2510 95.6%
ov_SC03_112 2391 1746 0 2393 2526 94.7%
ov_SC03_113 2380 1746 0 2383 2468 96.6%
ov_SC03_114 2366 1744 0 2368 2415 98.1%
ov_SC03_115 2388 1744 0 2390 2472 96.7%
ov_SC03_116 2374 1744 0 2377 2438 97.5%
ov_SC03_117 2412 1744 0 2418 2557 94.6%
ov_SC03_118 2462 1768 0 2463 2685 91.7%
ov_SC03_119 2458 1768 0 2459 2685 91.6%
ov_SC03_121 2382 1744 0 2385 2459 97.0%
ov_SC03_124 2477 1740 0 2497 2741 91.1%
ov_SC03_125 2420 1744 0 2432 2588 94.0%
ov_SC03_126 2379 1746 0 2379 2423 98.2%
ov_SC04_000 2406 1748 0 2415 2546 94.9%
ov_SC04_002 2430 1744 0 2434 2636 92.3%
ov_SC04_003 2394 1744 0 2398 2502 95.8%
ov_SC04_004 2408 1744 0 2410 2558 94.2%
ov_SC04_005 2419 1744 0 2425 2612 92.8%
ov_SC04_006 2383 1744 0 2385 2454 97.2%
ov_SC04_007 2413 1744 0 2417 2569 94.1%
ov_SC04_008 2373 1744 0 2373 2415 98.3%
ov_SC04_009 2387 1744 0 2390 2441 97.9%
ov_SC04_010 2375 1744 0 2376 2419 98.2%
ov_SC04_011 2451 1749 0 2457 2803 87.7%
ov_SC04_012 2374 1744 0 2375 2420 98.1%
ov_SC04_015 2446 1745 0 2457 2611 94.1%
ov_SC04_016 2375 1744 0 2377 2440 97.4%
ov_SC04_018 2528 1780 0 2528 2857 88.5%
ov_SC04_019 2524 1780 0 2524 2857 88.3%
ov_SC04_020 2408 1744 0 2420 2567 94.3%
ov_SC04_021 2379 1746 0 2379 2423 98.2%
ov_SC05_000 2377 1748 0 2380 2422 98.3%
ov_SC05_001 2409 1744 0 2414 2574 93.8%
ov_SC05_002 2385 1744 0 2388 2442 97.8%
ov_SC05_003 2381 1744 0 2382 2481 96.0%
ov_SC05_004 2377 1744 0 2379 2464 96.6%
ov_SC05_005 2392 1749 0 2393 2491 96.1%
ov_SC05_006 2377 1744 0 2377 2430 97.8%
ov_SC05_007 2386 1744 0 2391 2482 96.3%
ov_SC05_008 2405 1744 0 2407 2543 94.7%
ov_SC05_009 2381 1744 0 2385 2438 97.8%
ov_SC05_010 2411 1744 0 2415 2588 93.3%
ov_SC05_011 2374 1744 0 2375 2409 98.6%
ov_SC05_017 2506 1741 0 2517 2842 88.6%
ov_SC05_018 2439 1744 0 2452 2673 91.7%
ov_SC05_019 2379 1746 0 2379 2423 98.2%
ov_SC06_000 2465 1753 0 2468 2691 91.7%
ov_SC06_006 2398 1744 0 2399 2511 95.5%
ov_SC06_008 2423 1746 0 2429 2542 95.6%
ov_SC06_010 2404 1744 0 2409 2517 95.7%
ov_SC06_011 2383 1744 0 2387 2468 96.7%
ov_SC06_013 2377 1744 0 2378 2425 98.1%
ov_SC06_014 2384 1744 0 2386 2453 97.3%
ov_SC06_015 2382 1744 0 2382 2421 98.4%
ov_SC06_016 2399 1744 0 2401 2549 94.2%
ov_SC06_018 2428 1746 0 2435 2665 91.4%
ov_SC06_020 2394 1746 0 2395 2518 95.1%
ov_SC06_022 2419 1744 0 2427 2642 91.9%
ov_SC06_024 2430 1744 0 2436 2667 91.3%
ov_SC06_025 2409 1744 0 2414 2572 93.9%
ov_SC06_027 2369 1744 0 2370 2408 98.4%
ov_SC06_029 2434 1744 0 2446 2662 91.9%
ov_SC06_030 2382 1744 0 2382 2456 97.0%
ov_SC06_032 2416 1745 0 2423 2658 91.2%
ov_SC06_033 2416 1745 0 2423 2631 92.1%
ov_SC07_000 2395 1748 0 2397 2521 95.1%
ov_SC07_001 2382 1744 0 2384 2454 97.1%
ov_SC07_002 2409 1744 0 2413 2579 93.6%
ov_SC07_006 2272 1560 0 2352 2456 95.8%
ov_SC07_007 2292 1592 0 2376 2613 90.9%
ov_SC07_008 2363 1744 0 2363 2386 99.0%
ov_SC07_009 2374 1744 0 2376 2430 97.8%
ov_SC07_010 2283 1614 0 2366 2524 93.7%
ov_SC07_011 2292 1591 0 2372 2449 96.9%