BFM-decomp/docs/progress.fleet.md

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: 341364 / 353717 = 96.51% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 12419161 / 13141652 = 94.5% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5029454 / 5634875 = 89.3% (77973/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: 12418725 / 13081451 = 94.9%)

FLEET REAL substantive : 339509 (of which dedup-shared 241433 via 1917 groups / 241507 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 12346 FLEET matchable : 353717

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	2387	1755	0	2387	2403	99.3%
ov_SC01_001	2394	1756	0	2396	2466	97.2%
ov_SC01_004	2391	1747	0	2392	2414	99.1%
ov_SC01_005	2423	1770	0	2423	2503	96.8%
ov_SC01_006	2423	1770	0	2423	2503	96.8%
ov_SC01_008	2391	1747	0	2393	2426	98.6%
ov_SC01_009	2417	1748	0	2418	2507	96.4%
ov_SC01_074	2393	1748	0	2395	2425	98.8%
ov_SC01_077	2552	1713	0	2554	2586	98.8%
ov_SC01_080	2421	1751	0	2421	2512	96.4%
ov_SC01_084	2446	1756	0	2451	2579	95.0%
ov_SC02_000	2517	1795	0	2517	2683	93.8%
ov_SC02_003	2517	1795	0	2517	2683	93.8%
ov_SC02_004	2386	1751	0	2386	2401	99.4%
ov_SC02_005	2536	1747	0	2546	2927	87.0%
ov_SC02_011	2622	1754	0	2633	2893	91.0%
ov_SC02_015	2397	1753	0	2397	2414	99.3%
ov_SC02_016	2478	1753	0	2481	2545	97.5%
ov_SC02_017	2548	1753	0	2556	2732	93.6%
ov_SC02_021	2402	1753	0	2402	2437	98.6%
ov_SC02_026	2498	1751	0	2504	2572	97.4%
ov_SC02_027	2556	1751	0	2565	2692	95.3%
ov_SC02_028	2561	1751	0	2571	2701	95.2%
ov_SC02_031	2491	1752	0	2496	2562	97.4%
ov_SC02_035	2483	1751	0	2486	2520	98.7%
ov_SC02_039	2392	1751	0	2392	2416	99.0%
ov_SC02_041	2470	1751	0	2473	2561	96.6%
ov_SC03_001	2662	1752	0	2679	2869	93.4%
ov_SC03_002	2536	1756	0	2551	2631	97.0%
ov_SC03_003	2395	1751	0	2396	2423	98.9%
ov_SC03_006	2551	1757	0	2560	2767	92.5%
ov_SC03_007	2459	1751	0	2463	2623	93.9%
ov_SC03_010	2412	1751	0	2412	2471	97.6%
ov_SC03_011	2413	1751	0	2419	2527	95.7%
ov_SC03_012	2385	1751	0	2386	2406	99.2%
ov_SC03_013	2418	1751	0	2418	2493	97.0%
ov_SC03_014	2570	1781	0	2570	2685	95.7%
ov_SC03_015	2570	1781	0	2570	2685	95.7%
ov_SC03_023	2397	1751	0	2398	2435	98.5%
ov_SC03_024	2514	1756	0	2521	2641	95.5%
ov_SC03_028	2457	1752	0	2461	2664	92.4%
ov_SC03_029	2497	1753	0	2507	2644	94.8%
ov_SC03_030	2415	1756	0	2417	2495	96.9%
ov_SC03_031	2444	1751	0	2447	2514	97.3%
ov_SC03_089	2509	1756	0	2516	2581	97.5%
ov_SC03_090	2522	1756	0	2530	2625	96.4%
ov_SC03_091	2536	1751	0	2544	2640	96.4%
ov_SC03_092	2502	1756	0	2514	2587	97.2%
ov_SC03_093	2513	1751	0	2517	2563	98.2%
ov_SC03_094	2500	1751	0	2506	2577	97.2%
ov_SC03_095	2429	1751	0	2432	2474	98.3%
ov_SC03_096	2426	1751	0	2429	2465	98.5%
ov_SC03_097	2523	1751	0	2530	2603	97.2%
ov_SC03_098	2505	1751	0	2508	2541	98.7%
ov_SC03_099	2483	1751	0	2486	2504	99.3%
ov_SC03_100	2518	1751	0	2522	2539	99.3%
ov_SC03_101	2480	1756	0	2484	2528	98.3%
ov_SC03_102	2467	1751	0	2470	2492	99.1%
ov_SC03_103	2491	1753	0	2494	2510	99.4%
ov_SC03_104	2537	1756	0	2544	2616	97.2%
ov_SC03_105	2445	1752	0	2452	2597	94.4%
ov_SC03_108	2397	1751	0	2397	2443	98.1%
ov_SC03_109	2404	1751	0	2406	2424	99.3%
ov_SC03_110	2438	1751	0	2438	2468	98.8%
ov_SC03_111	2469	1751	0	2472	2510	98.5%
ov_SC03_112	2434	1753	0	2436	2526	96.4%
ov_SC03_113	2432	1753	0	2435	2468	98.7%
ov_SC03_114	2387	1751	0	2389	2415	98.9%
ov_SC03_115	2428	1751	0	2430	2472	98.3%
ov_SC03_116	2397	1751	0	2400	2438	98.4%
ov_SC03_117	2465	1751	0	2471	2557	96.6%
ov_SC03_118	2540	1776	0	2541	2685	94.6%
ov_SC03_119	2537	1776	0	2538	2685	94.5%
ov_SC03_121	2400	1751	0	2403	2459	97.7%
ov_SC03_124	2570	1747	0	2590	2741	94.5%
ov_SC03_125	2522	1751	0	2534	2588	97.9%
ov_SC03_126	2396	1753	0	2396	2423	98.9%
ov_SC04_000	2470	1755	0	2479	2546	97.4%
ov_SC04_002	2498	1751	0	2502	2636	94.9%
ov_SC04_003	2435	1751	0	2439	2502	97.5%
ov_SC04_004	2467	1751	0	2469	2558	96.5%
ov_SC04_005	2493	1751	0	2499	2612	95.7%
ov_SC04_006	2427	1751	0	2429	2454	99.0%
ov_SC04_007	2487	1751	0	2491	2569	97.0%
ov_SC04_008	2397	1751	0	2397	2415	99.3%
ov_SC04_009	2423	1751	0	2426	2441	99.4%
ov_SC04_010	2399	1751	0	2400	2419	99.2%
ov_SC04_011	2512	1756	0	2518	2803	89.8%
ov_SC04_012	2394	1751	0	2395	2420	99.0%
ov_SC04_015	2527	1752	0	2538	2611	97.2%
ov_SC04_016	2398	1751	0	2400	2440	98.4%
ov_SC04_018	2668	1788	0	2668	2857	93.4%
ov_SC04_019	2666	1788	0	2666	2857	93.3%
ov_SC04_020	2508	1751	0	2520	2567	98.2%
ov_SC04_021	2396	1753	0	2396	2423	98.9%
ov_SC05_000	2403	1755	0	2406	2422	99.3%
ov_SC05_001	2475	1751	0	2480	2574	96.3%
ov_SC05_002	2427	1751	0	2430	2442	99.5%
ov_SC05_003	2409	1751	0	2410	2481	97.1%
ov_SC05_004	2420	1751	0	2422	2464	98.3%
ov_SC05_005	2434	1756	0	2435	2491	97.8%
ov_SC05_006	2419	1751	0	2419	2430	99.5%
ov_SC05_007	2428	1751	0	2433	2482	98.0%
ov_SC05_008	2439	1751	0	2441	2543	96.0%
ov_SC05_009	2405	1751	0	2409	2438	98.8%
ov_SC05_010	2445	1752	0	2449	2588	94.6%
ov_SC05_011	2393	1751	0	2394	2409	99.4%
ov_SC05_017	2642	1748	0	2653	2842	93.3%
ov_SC05_018	2540	1751	0	2553	2673	95.5%
ov_SC05_019	2396	1753	0	2396	2423	98.9%
ov_SC06_000	2525	1760	0	2528	2691	93.9%
ov_SC06_006	2420	1751	0	2421	2511	96.4%
ov_SC06_008	2480	1753	0	2486	2542	97.8%
ov_SC06_010	2454	1751	0	2459	2517	97.7%
ov_SC06_011	2412	1751	0	2416	2468	97.9%
ov_SC06_013	2402	1751	0	2403	2425	99.1%
ov_SC06_014	2413	1751	0	2415	2453	98.5%
ov_SC06_015	2407	1751	0	2407	2421	99.4%
ov_SC06_016	2449	1752	0	2451	2549	96.2%
ov_SC06_018	2489	1753	0	2496	2665	93.7%
ov_SC06_020	2440	1753	0	2441	2518	96.9%
ov_SC06_022	2472	1751	0	2480	2642	93.9%
ov_SC06_024	2491	1751	0	2497	2667	93.6%
ov_SC06_025	2448	1751	0	2453	2572	95.4%
ov_SC06_027	2388	1751	0	2389	2408	99.2%
ov_SC06_029	2472	1752	0	2484	2662	93.3%
ov_SC06_030	2410	1752	0	2410	2456	98.1%
ov_SC06_032	2482	1752	0	2489	2658	93.6%
ov_SC06_033	2477	1752	0	2484	2631	94.4%
ov_SC07_000	2429	1755	0	2431	2521	96.4%
ov_SC07_001	2401	1751	0	2403	2454	97.9%
ov_SC07_002	2456	1752	0	2460	2579	95.4%
ov_SC07_006	2317	1575	0	2397	2455	97.6%
ov_SC07_007	2334	1607	0	2418	2612	92.6%
ov_SC07_008	2382	1751	0	2382	2386	99.8%
ov_SC07_009	2394	1751	0	2396	2430	98.6%
ov_SC07_010	2317	1628	0	2400	2523	95.1%
ov_SC07_011	2336	1606	0	2416	2448	98.7%