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

FLEET REAL substantive : 339355 (of which dedup-shared 241142 via 1910 groups / 241216 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 12500 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	1753	0	2387	2403	99.3%
ov_SC01_001	2393	1754	0	2395	2466	97.1%
ov_SC01_004	2390	1745	0	2391	2414	99.0%
ov_SC01_005	2422	1768	0	2422	2503	96.8%
ov_SC01_006	2422	1768	0	2422	2503	96.8%
ov_SC01_008	2390	1745	0	2392	2426	98.6%
ov_SC01_009	2416	1746	0	2417	2507	96.4%
ov_SC01_074	2392	1746	0	2394	2425	98.7%
ov_SC01_077	2551	1711	0	2553	2586	98.7%
ov_SC01_080	2420	1749	0	2420	2512	96.3%
ov_SC01_084	2445	1754	0	2450	2579	95.0%
ov_SC02_000	2513	1793	0	2513	2683	93.7%
ov_SC02_003	2513	1793	0	2513	2683	93.7%
ov_SC02_004	2385	1749	0	2385	2401	99.3%
ov_SC02_005	2535	1745	0	2545	2927	86.9%
ov_SC02_011	2621	1752	0	2632	2893	91.0%
ov_SC02_015	2396	1751	0	2396	2414	99.3%
ov_SC02_016	2477	1751	0	2480	2545	97.4%
ov_SC02_017	2547	1751	0	2555	2732	93.5%
ov_SC02_021	2401	1751	0	2401	2437	98.5%
ov_SC02_026	2497	1749	0	2503	2572	97.3%
ov_SC02_027	2555	1749	0	2564	2692	95.2%
ov_SC02_028	2560	1749	0	2570	2701	95.1%
ov_SC02_031	2490	1750	0	2495	2562	97.4%
ov_SC02_035	2482	1749	0	2485	2520	98.6%
ov_SC02_039	2391	1749	0	2391	2416	99.0%
ov_SC02_041	2469	1749	0	2472	2561	96.5%
ov_SC03_001	2661	1750	0	2678	2869	93.3%
ov_SC03_002	2535	1754	0	2550	2631	96.9%
ov_SC03_003	2394	1749	0	2395	2423	98.8%
ov_SC03_006	2550	1755	0	2559	2767	92.5%
ov_SC03_007	2458	1749	0	2462	2623	93.9%
ov_SC03_010	2411	1749	0	2411	2471	97.6%
ov_SC03_011	2412	1749	0	2418	2527	95.7%
ov_SC03_012	2384	1749	0	2385	2406	99.1%
ov_SC03_013	2417	1749	0	2417	2493	97.0%
ov_SC03_014	2567	1777	0	2567	2685	95.6%
ov_SC03_015	2569	1777	0	2569	2685	95.7%
ov_SC03_023	2396	1749	0	2397	2435	98.4%
ov_SC03_024	2513	1754	0	2520	2641	95.4%
ov_SC03_028	2456	1749	0	2460	2664	92.3%
ov_SC03_029	2496	1751	0	2506	2644	94.8%
ov_SC03_030	2414	1754	0	2416	2495	96.8%
ov_SC03_031	2443	1749	0	2446	2514	97.3%
ov_SC03_089	2508	1754	0	2515	2581	97.4%
ov_SC03_090	2521	1754	0	2529	2625	96.3%
ov_SC03_091	2535	1749	0	2543	2640	96.3%
ov_SC03_092	2501	1754	0	2513	2587	97.1%
ov_SC03_093	2512	1749	0	2516	2563	98.2%
ov_SC03_094	2499	1749	0	2505	2577	97.2%
ov_SC03_095	2428	1749	0	2431	2474	98.3%
ov_SC03_096	2425	1749	0	2428	2465	98.5%
ov_SC03_097	2522	1749	0	2529	2603	97.2%
ov_SC03_098	2504	1749	0	2507	2541	98.7%
ov_SC03_099	2482	1749	0	2485	2504	99.2%
ov_SC03_100	2517	1749	0	2521	2539	99.3%
ov_SC03_101	2479	1754	0	2483	2528	98.2%
ov_SC03_102	2466	1749	0	2469	2492	99.1%
ov_SC03_103	2490	1751	0	2493	2510	99.3%
ov_SC03_104	2536	1754	0	2543	2616	97.2%
ov_SC03_105	2443	1749	0	2450	2597	94.3%
ov_SC03_108	2396	1749	0	2396	2443	98.1%
ov_SC03_109	2403	1749	0	2405	2424	99.2%
ov_SC03_110	2437	1749	0	2437	2468	98.7%
ov_SC03_111	2468	1749	0	2471	2510	98.4%
ov_SC03_112	2433	1751	0	2435	2526	96.4%
ov_SC03_113	2431	1751	0	2434	2468	98.6%
ov_SC03_114	2386	1749	0	2388	2415	98.9%
ov_SC03_115	2427	1749	0	2429	2472	98.3%
ov_SC03_116	2396	1749	0	2399	2438	98.4%
ov_SC03_117	2464	1749	0	2470	2557	96.6%
ov_SC03_118	2539	1773	0	2540	2685	94.6%
ov_SC03_119	2535	1773	0	2536	2685	94.5%
ov_SC03_121	2399	1749	0	2402	2459	97.7%
ov_SC03_124	2569	1745	0	2589	2741	94.5%
ov_SC03_125	2521	1749	0	2533	2588	97.9%
ov_SC03_126	2395	1751	0	2395	2423	98.8%
ov_SC04_000	2469	1753	0	2478	2546	97.3%
ov_SC04_002	2497	1749	0	2501	2636	94.9%
ov_SC04_003	2434	1749	0	2438	2502	97.4%
ov_SC04_004	2466	1749	0	2468	2558	96.5%
ov_SC04_005	2492	1749	0	2498	2612	95.6%
ov_SC04_006	2426	1749	0	2428	2454	98.9%
ov_SC04_007	2486	1749	0	2490	2569	96.9%
ov_SC04_008	2396	1749	0	2396	2415	99.2%
ov_SC04_009	2422	1749	0	2425	2441	99.3%
ov_SC04_010	2398	1749	0	2399	2419	99.2%
ov_SC04_011	2511	1754	0	2517	2803	89.8%
ov_SC04_012	2393	1749	0	2394	2420	98.9%
ov_SC04_015	2526	1750	0	2537	2611	97.2%
ov_SC04_016	2397	1749	0	2399	2440	98.3%
ov_SC04_018	2667	1785	0	2667	2857	93.3%
ov_SC04_019	2664	1785	0	2664	2857	93.2%
ov_SC04_020	2507	1749	0	2519	2567	98.1%
ov_SC04_021	2395	1751	0	2395	2423	98.8%
ov_SC05_000	2402	1753	0	2405	2422	99.3%
ov_SC05_001	2474	1749	0	2479	2574	96.3%
ov_SC05_002	2426	1749	0	2429	2442	99.5%
ov_SC05_003	2408	1749	0	2409	2481	97.1%
ov_SC05_004	2419	1749	0	2421	2464	98.3%
ov_SC05_005	2433	1754	0	2434	2491	97.7%
ov_SC05_006	2418	1749	0	2418	2430	99.5%
ov_SC05_007	2427	1749	0	2432	2482	98.0%
ov_SC05_008	2438	1749	0	2440	2543	95.9%
ov_SC05_009	2404	1749	0	2408	2438	98.8%
ov_SC05_010	2443	1749	0	2447	2588	94.6%
ov_SC05_011	2392	1749	0	2393	2409	99.3%
ov_SC05_017	2641	1746	0	2652	2842	93.3%
ov_SC05_018	2539	1749	0	2552	2673	95.5%
ov_SC05_019	2395	1751	0	2395	2423	98.8%
ov_SC06_000	2524	1758	0	2527	2691	93.9%
ov_SC06_006	2419	1749	0	2420	2511	96.4%
ov_SC06_008	2479	1751	0	2485	2542	97.8%
ov_SC06_010	2453	1749	0	2458	2517	97.7%
ov_SC06_011	2411	1749	0	2415	2468	97.9%
ov_SC06_013	2401	1749	0	2402	2425	99.1%
ov_SC06_014	2412	1749	0	2414	2453	98.4%
ov_SC06_015	2406	1749	0	2406	2421	99.4%
ov_SC06_016	2447	1749	0	2449	2549	96.1%
ov_SC06_018	2488	1751	0	2495	2665	93.6%
ov_SC06_020	2439	1751	0	2440	2518	96.9%
ov_SC06_022	2471	1749	0	2479	2642	93.8%
ov_SC06_024	2490	1749	0	2496	2667	93.6%
ov_SC06_025	2447	1749	0	2452	2572	95.3%
ov_SC06_027	2387	1749	0	2388	2408	99.2%
ov_SC06_029	2470	1749	0	2482	2662	93.2%
ov_SC06_030	2408	1749	0	2408	2456	98.0%
ov_SC06_032	2481	1750	0	2488	2658	93.6%
ov_SC06_033	2476	1750	0	2483	2631	94.4%
ov_SC07_000	2428	1753	0	2430	2521	96.4%
ov_SC07_001	2400	1749	0	2402	2454	97.9%
ov_SC07_002	2454	1749	0	2458	2579	95.3%
ov_SC07_006	2315	1573	0	2395	2455	97.6%
ov_SC07_007	2333	1605	0	2417	2612	92.5%
ov_SC07_008	2381	1749	0	2381	2386	99.8%
ov_SC07_009	2393	1749	0	2395	2430	98.6%
ov_SC07_010	2316	1626	0	2399	2523	95.1%
ov_SC07_011	2335	1604	0	2415	2448	98.7%