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: 330439 / 353720 = 93.42% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11843654 / 13141652 = 90.1% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4655485 / 5634875 = 82.6% (72724/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: 11843218 / 13081451 = 90.5%)

FLEET REAL substantive : 328584 (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 : 23274 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	2342	1748	0	2342	2403	97.5%
ov_SC01_001	2349	1749	0	2351	2466	95.3%
ov_SC01_004	2340	1740	0	2341	2414	97.0%
ov_SC01_005	2371	1763	0	2371	2503	94.7%
ov_SC01_006	2371	1763	0	2371	2503	94.7%
ov_SC01_008	2340	1740	0	2342	2426	96.5%
ov_SC01_009	2365	1741	0	2366	2507	94.4%
ov_SC01_074	2346	1741	0	2348	2425	96.8%
ov_SC01_077	2505	1707	0	2507	2585	97.0%
ov_SC01_080	2380	1744	0	2380	2512	94.7%
ov_SC01_084	2401	1749	0	2406	2579	93.3%
ov_SC02_000	2457	1788	0	2457	2683	91.6%
ov_SC02_003	2456	1788	0	2456	2683	91.5%
ov_SC02_004	2345	1744	0	2345	2401	97.7%
ov_SC02_005	2482	1740	0	2492	2927	85.1%
ov_SC02_011	2493	1747	0	2504	2893	86.6%
ov_SC02_015	2351	1746	0	2351	2414	97.4%
ov_SC02_016	2394	1746	0	2397	2545	94.2%
ov_SC02_017	2453	1746	0	2461	2732	90.1%
ov_SC02_021	2355	1746	0	2355	2437	96.6%
ov_SC02_026	2382	1744	0	2388	2572	92.8%
ov_SC02_027	2409	1744	0	2418	2692	89.8%
ov_SC02_028	2406	1744	0	2416	2701	89.4%
ov_SC02_031	2393	1745	0	2398	2562	93.6%
ov_SC02_035	2367	1744	0	2370	2520	94.0%
ov_SC02_039	2344	1744	0	2344	2416	97.0%
ov_SC02_041	2394	1744	0	2397	2561	93.6%
ov_SC03_001	2496	1745	0	2513	2869	87.6%
ov_SC03_002	2407	1749	0	2422	2631	92.1%
ov_SC03_003	2352	1744	0	2353	2423	97.1%
ov_SC03_006	2437	1750	0	2446	2767	88.4%
ov_SC03_007	2405	1744	0	2409	2623	91.8%
ov_SC03_010	2363	1744	0	2363	2471	95.6%
ov_SC03_011	2368	1744	0	2374	2527	93.9%
ov_SC03_012	2342	1744	0	2343	2406	97.4%
ov_SC03_013	2369	1744	0	2369	2493	95.0%
ov_SC03_014	2457	1772	0	2457	2685	91.5%
ov_SC03_015	2445	1772	0	2445	2685	91.1%
ov_SC03_023	2353	1744	0	2354	2435	96.7%
ov_SC03_024	2419	1749	0	2426	2641	91.9%
ov_SC03_028	2389	1744	0	2393	2664	89.8%
ov_SC03_029	2406	1746	0	2416	2644	91.4%
ov_SC03_030	2365	1749	0	2367	2495	94.9%
ov_SC03_031	2365	1744	0	2368	2514	94.2%
ov_SC03_089	2390	1749	0	2397	2581	92.9%
ov_SC03_090	2393	1749	0	2401	2625	91.5%
ov_SC03_091	2390	1744	0	2398	2640	90.8%
ov_SC03_092	2413	1749	0	2425	2587	93.7%
ov_SC03_093	2378	1744	0	2382	2563	92.9%
ov_SC03_094	2369	1744	0	2375	2577	92.2%
ov_SC03_095	2357	1744	0	2360	2474	95.4%
ov_SC03_096	2358	1744	0	2361	2465	95.8%
ov_SC03_097	2400	1744	0	2407	2603	92.5%
ov_SC03_098	2369	1744	0	2372	2541	93.3%
ov_SC03_099	2359	1744	0	2362	2504	94.3%
ov_SC03_100	2373	1744	0	2377	2539	93.6%
ov_SC03_101	2381	1749	0	2385	2528	94.3%
ov_SC03_102	2359	1744	0	2362	2492	94.8%
ov_SC03_103	2365	1746	0	2368	2510	94.3%
ov_SC03_104	2399	1749	0	2406	2616	92.0%
ov_SC03_105	2379	1744	0	2386	2597	91.9%
ov_SC03_108	2347	1744	0	2347	2443	96.1%
ov_SC03_109	2350	1744	0	2352	2424	97.0%
ov_SC03_110	2355	1744	0	2355	2468	95.4%
ov_SC03_111	2371	1744	0	2374	2510	94.6%
ov_SC03_112	2365	1746	0	2367	2526	93.7%
ov_SC03_113	2354	1746	0	2357	2468	95.5%
ov_SC03_114	2340	1744	0	2342	2415	97.0%
ov_SC03_115	2362	1744	0	2364	2472	95.6%
ov_SC03_116	2348	1744	0	2351	2438	96.4%
ov_SC03_117	2386	1744	0	2392	2557	93.5%
ov_SC03_118	2436	1768	0	2437	2685	90.8%
ov_SC03_119	2432	1768	0	2433	2685	90.6%
ov_SC03_121	2356	1744	0	2359	2459	95.9%
ov_SC03_124	2451	1740	0	2471	2741	90.1%
ov_SC03_125	2394	1744	0	2406	2588	93.0%
ov_SC03_126	2353	1746	0	2353	2423	97.1%
ov_SC04_000	2380	1748	0	2389	2546	93.8%
ov_SC04_002	2404	1744	0	2408	2636	91.4%
ov_SC04_003	2368	1744	0	2372	2502	94.8%
ov_SC04_004	2382	1744	0	2384	2558	93.2%
ov_SC04_005	2393	1744	0	2399	2612	91.8%
ov_SC04_006	2357	1744	0	2359	2454	96.1%
ov_SC04_007	2387	1744	0	2391	2569	93.1%
ov_SC04_008	2347	1744	0	2347	2415	97.2%
ov_SC04_009	2361	1744	0	2364	2441	96.8%
ov_SC04_010	2349	1744	0	2350	2419	97.1%
ov_SC04_011	2425	1749	0	2431	2803	86.7%
ov_SC04_012	2348	1744	0	2349	2420	97.1%
ov_SC04_015	2420	1745	0	2431	2611	93.1%
ov_SC04_016	2349	1744	0	2351	2440	96.4%
ov_SC04_018	2502	1780	0	2502	2857	87.6%
ov_SC04_019	2498	1780	0	2498	2857	87.4%
ov_SC04_020	2382	1744	0	2394	2567	93.3%
ov_SC04_021	2353	1746	0	2353	2423	97.1%
ov_SC05_000	2351	1748	0	2354	2422	97.2%
ov_SC05_001	2383	1744	0	2388	2574	92.8%
ov_SC05_002	2359	1744	0	2362	2442	96.7%
ov_SC05_003	2355	1744	0	2356	2481	95.0%
ov_SC05_004	2351	1744	0	2353	2464	95.5%
ov_SC05_005	2366	1749	0	2367	2491	95.0%
ov_SC05_006	2351	1744	0	2351	2430	96.7%
ov_SC05_007	2360	1744	0	2365	2482	95.3%
ov_SC05_008	2379	1744	0	2381	2543	93.6%
ov_SC05_009	2355	1744	0	2359	2438	96.8%
ov_SC05_010	2385	1744	0	2389	2588	92.3%
ov_SC05_011	2348	1744	0	2349	2409	97.5%
ov_SC05_017	2480	1741	0	2491	2842	87.6%
ov_SC05_018	2413	1744	0	2426	2673	90.8%
ov_SC05_019	2353	1746	0	2353	2423	97.1%
ov_SC06_000	2439	1753	0	2442	2691	90.7%
ov_SC06_006	2372	1744	0	2373	2511	94.5%
ov_SC06_008	2397	1746	0	2403	2542	94.5%
ov_SC06_010	2378	1744	0	2383	2517	94.7%
ov_SC06_011	2357	1744	0	2361	2468	95.7%
ov_SC06_013	2351	1744	0	2352	2425	97.0%
ov_SC06_014	2358	1744	0	2360	2453	96.2%
ov_SC06_015	2356	1744	0	2356	2421	97.3%
ov_SC06_016	2373	1744	0	2375	2549	93.2%
ov_SC06_018	2402	1746	0	2409	2665	90.4%
ov_SC06_020	2368	1746	0	2369	2518	94.1%
ov_SC06_022	2393	1744	0	2401	2642	90.9%
ov_SC06_024	2404	1744	0	2410	2667	90.4%
ov_SC06_025	2383	1744	0	2388	2572	92.8%
ov_SC06_027	2343	1744	0	2344	2408	97.3%
ov_SC06_029	2408	1744	0	2420	2662	90.9%
ov_SC06_030	2356	1744	0	2356	2456	95.9%
ov_SC06_032	2390	1745	0	2397	2658	90.2%
ov_SC06_033	2390	1745	0	2397	2631	91.1%
ov_SC07_000	2369	1748	0	2371	2521	94.0%
ov_SC07_001	2356	1744	0	2358	2454	96.1%
ov_SC07_002	2383	1744	0	2387	2579	92.6%
ov_SC07_006	2246	1560	0	2326	2456	94.7%
ov_SC07_007	2266	1592	0	2350	2613	89.9%
ov_SC07_008	2337	1744	0	2337	2386	97.9%
ov_SC07_009	2348	1744	0	2350	2430	96.7%
ov_SC07_010	2257	1614	0	2340	2524	92.7%
ov_SC07_011	2266	1591	0	2346	2449	95.8%