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: 330252 / 353720 = 93.37% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11806451 / 13141652 = 89.8% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4619938 / 5634875 = 82.0% (72546/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: 11806015 / 13081451 = 90.3%)

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