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: 312598 / 353717 = 88.38% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10381262 / 13141652 = 79.0% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3811442 / 5634875 = 67.6% (64832/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: 10380826 / 13081451 = 79.4%)

FLEET REAL substantive : 310743 (of which dedup-shared 235126 via 1854 groups / 235170 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 41112 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	2231	1712	0	2231	2403	92.8%
ov_SC01_001	2231	1711	0	2233	2466	90.6%
ov_SC01_004	2222	1702	0	2223	2414	92.1%
ov_SC01_005	2251	1724	0	2251	2503	89.9%
ov_SC01_006	2251	1724	0	2251	2503	89.9%
ov_SC01_008	2222	1702	0	2224	2426	91.7%
ov_SC01_009	2247	1703	0	2248	2507	89.7%
ov_SC01_074	2226	1703	0	2228	2425	91.9%
ov_SC01_077	2415	1672	0	2417	2585	93.5%
ov_SC01_080	2264	1706	0	2264	2512	90.1%
ov_SC01_084	2271	1706	0	2276	2579	88.3%
ov_SC02_000	2324	1741	0	2324	2683	86.6%
ov_SC02_003	2324	1741	0	2324	2683	86.6%
ov_SC02_004	2230	1706	0	2230	2401	92.9%
ov_SC02_005	2337	1702	0	2347	2927	80.2%
ov_SC02_011	2348	1709	0	2359	2893	81.5%
ov_SC02_015	2231	1708	0	2231	2414	92.4%
ov_SC02_016	2264	1708	0	2267	2545	89.1%
ov_SC02_017	2308	1708	0	2316	2732	84.8%
ov_SC02_021	2237	1708	0	2237	2437	91.8%
ov_SC02_026	2253	1706	0	2259	2572	87.8%
ov_SC02_027	2276	1706	0	2285	2692	84.9%
ov_SC02_028	2277	1706	0	2287	2701	84.7%
ov_SC02_031	2262	1707	0	2267	2562	88.5%
ov_SC02_035	2239	1706	0	2242	2520	89.0%
ov_SC02_039	2223	1706	0	2223	2416	92.0%
ov_SC02_041	2260	1706	0	2263	2561	88.4%
ov_SC03_001	2359	1707	0	2376	2869	82.8%
ov_SC03_002	2285	1711	0	2300	2631	87.4%
ov_SC03_003	2233	1706	0	2234	2423	92.2%
ov_SC03_006	2298	1712	0	2307	2767	83.4%
ov_SC03_007	2278	1706	0	2282	2623	87.0%
ov_SC03_010	2239	1706	0	2239	2470	90.6%
ov_SC03_011	2247	1706	0	2253	2527	89.2%
ov_SC03_012	2225	1706	0	2226	2406	92.5%
ov_SC03_013	2244	1706	0	2244	2492	90.0%
ov_SC03_014	2304	1731	0	2304	2685	85.8%
ov_SC03_015	2304	1731	0	2304	2685	85.8%
ov_SC03_023	2231	1706	0	2232	2435	91.7%
ov_SC03_024	2291	1711	0	2298	2641	87.0%
ov_SC03_028	2272	1706	0	2276	2664	85.4%
ov_SC03_029	2273	1708	0	2283	2644	86.3%
ov_SC03_030	2246	1711	0	2248	2495	90.1%
ov_SC03_031	2243	1706	0	2246	2514	89.3%
ov_SC03_089	2258	1706	0	2265	2581	87.8%
ov_SC03_090	2260	1706	0	2268	2625	86.4%
ov_SC03_091	2263	1706	0	2271	2640	86.0%
ov_SC03_092	2273	1706	0	2285	2587	88.3%
ov_SC03_093	2250	1706	0	2254	2563	87.9%
ov_SC03_094	2245	1706	0	2251	2577	87.3%
ov_SC03_095	2235	1706	0	2238	2474	90.5%
ov_SC03_096	2235	1706	0	2238	2465	90.8%
ov_SC03_097	2264	1706	0	2271	2603	87.2%
ov_SC03_098	2243	1706	0	2246	2541	88.4%
ov_SC03_099	2236	1706	0	2239	2504	89.4%
ov_SC03_100	2246	1706	0	2250	2539	88.6%
ov_SC03_101	2246	1706	0	2250	2528	89.0%
ov_SC03_102	2238	1706	0	2241	2492	89.9%
ov_SC03_103	2241	1708	0	2244	2510	89.4%
ov_SC03_104	2266	1706	0	2273	2616	86.9%
ov_SC03_105	2260	1706	0	2267	2597	87.3%
ov_SC03_108	2227	1706	0	2227	2443	91.2%
ov_SC03_109	2229	1706	0	2231	2424	92.0%
ov_SC03_110	2234	1706	0	2234	2468	90.5%
ov_SC03_111	2245	1706	0	2248	2510	89.6%
ov_SC03_112	2238	1708	0	2240	2526	88.7%
ov_SC03_113	2232	1708	0	2235	2468	90.6%
ov_SC03_114	2222	1706	0	2224	2415	92.1%
ov_SC03_115	2239	1706	0	2241	2472	90.7%
ov_SC03_116	2229	1706	0	2232	2438	91.6%
ov_SC03_117	2257	1706	0	2263	2557	88.5%
ov_SC03_118	2303	1730	0	2304	2685	85.8%
ov_SC03_119	2302	1730	0	2303	2685	85.8%
ov_SC03_121	2236	1706	0	2239	2459	91.1%
ov_SC03_124	2315	1702	0	2335	2741	85.2%
ov_SC03_125	2272	1706	0	2284	2588	88.3%
ov_SC03_126	2234	1708	0	2234	2423	92.2%
ov_SC04_000	2250	1710	0	2259	2546	88.7%
ov_SC04_002	2268	1706	0	2272	2636	86.2%
ov_SC04_003	2245	1706	0	2249	2502	89.9%
ov_SC04_004	2254	1706	0	2256	2558	88.2%
ov_SC04_005	2263	1706	0	2269	2612	86.9%
ov_SC04_006	2234	1706	0	2236	2454	91.1%
ov_SC04_007	2256	1706	0	2260	2569	88.0%
ov_SC04_008	2225	1706	0	2225	2415	92.1%
ov_SC04_009	2241	1706	0	2244	2441	91.9%
ov_SC04_010	2231	1706	0	2232	2419	92.3%
ov_SC04_011	2288	1706	0	2294	2803	81.8%
ov_SC04_012	2228	1706	0	2229	2420	92.1%
ov_SC04_015	2292	1707	0	2303	2611	88.2%
ov_SC04_016	2231	1706	0	2233	2440	91.5%
ov_SC04_018	2342	1741	0	2342	2857	82.0%
ov_SC04_019	2348	1741	0	2348	2857	82.2%
ov_SC04_020	2259	1706	0	2271	2567	88.5%
ov_SC04_021	2235	1708	0	2235	2423	92.2%
ov_SC05_000	2232	1710	0	2235	2422	92.3%
ov_SC05_001	2254	1706	0	2259	2574	87.8%
ov_SC05_002	2237	1706	0	2240	2442	91.7%
ov_SC05_003	2234	1706	0	2235	2481	90.1%
ov_SC05_004	2229	1706	0	2231	2464	90.5%
ov_SC05_005	2235	1706	0	2236	2491	89.8%
ov_SC05_006	2228	1706	0	2228	2430	91.7%
ov_SC05_007	2238	1706	0	2243	2482	90.4%
ov_SC05_008	2255	1706	0	2257	2543	88.8%
ov_SC05_009	2233	1706	0	2237	2438	91.8%
ov_SC05_010	2259	1706	0	2263	2588	87.4%
ov_SC05_011	2230	1706	0	2231	2409	92.6%
ov_SC05_017	2338	1703	0	2349	2842	82.7%
ov_SC05_018	2285	1706	0	2298	2673	86.0%
ov_SC05_019	2235	1708	0	2235	2423	92.2%
ov_SC06_000	2298	1715	0	2301	2691	85.5%
ov_SC06_006	2251	1706	0	2252	2511	89.7%
ov_SC06_008	2267	1708	0	2273	2542	89.4%
ov_SC06_010	2250	1706	0	2255	2517	89.6%
ov_SC06_011	2240	1706	0	2244	2468	90.9%
ov_SC06_013	2233	1706	0	2234	2425	92.1%
ov_SC06_014	2239	1706	0	2241	2453	91.4%
ov_SC06_015	2236	1706	0	2236	2421	92.4%
ov_SC06_016	2254	1706	0	2256	2549	88.5%
ov_SC06_018	2267	1709	0	2274	2665	85.3%
ov_SC06_020	2243	1708	0	2244	2518	89.1%
ov_SC06_022	2262	1706	0	2270	2642	85.9%
ov_SC06_024	2270	1706	0	2276	2667	85.3%
ov_SC06_025	2255	1706	0	2260	2572	87.9%
ov_SC06_027	2221	1706	0	2222	2408	92.3%
ov_SC06_029	2280	1706	0	2292	2662	86.1%
ov_SC06_030	2235	1706	0	2235	2456	91.0%
ov_SC06_032	2255	1707	0	2262	2658	85.1%
ov_SC06_033	2257	1707	0	2264	2631	86.1%
ov_SC07_000	2250	1710	0	2252	2521	89.3%
ov_SC07_001	2234	1706	0	2236	2454	91.1%
ov_SC07_002	2261	1706	0	2265	2579	87.8%
ov_SC07_006	2010	1554	0	2090	2455	85.1%
ov_SC07_007	2018	1554	0	2102	2613	80.4%
ov_SC07_008	2219	1706	0	2219	2386	93.0%
ov_SC07_009	2228	1706	0	2230	2430	91.8%
ov_SC07_010	2029	1554	0	2112	2524	83.7%
ov_SC07_011	2017	1553	0	2097	2449	85.6%