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: 329556 / 353720 = 93.17% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11708337 / 13141652 = 89.1% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4530286 / 5634875 = 80.4% (72016/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: 11707901 / 13081451 = 89.5%)

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