Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 80d570195c feat(phase-29): add main to the weighted denominators (roadmap §1 metrics contract)
The contract requires all three headline metrics to include the main EXE. Since
Phase-27 T10 main was reported as a SEPARATE provisional line, so the headline
silently measured 139 of 140 binaries — and flattered itself by omitting the
LEAST-decompiled one.

RESTATED CAVEAT (the old "stale, PROVISIONAL" wording was misleading): main's sig
is Ghidra's (2026-06-14), but function BOUNDARIES derive from the original bytes
and do not change, and matched-vs-stub comes from the LIVE corpus.stubs — so the
numbers do NOT drift. The real limitation is R34: sig_image cannot independently
validate a PS-X EXE's boundaries, so main has no SECOND, DISAGREEING oracle for the
PHANTOM/TRUNCATED class. The sig also excludes the LINKED PsyQ objects, which is
exactly right for a GAME-CODE contract.

EFFECT — the headline DROPS, which is the point:
  instr-weighted  78.7% -> 78.4%   (10,299,493 / 13,141,652)
  distinct-code   67.9% -> 67.1%   (3,782,990 / 5,634,875)
A continuity line reports the ex-main figure so pre-2026-07-22 readings stay
comparable, and the binary-count label is corrected to "main + resident + 138
overlays" (it read "resident+139 overlays").

Metrics-only change; no build impact (ov_SC06_018 re-verified BYTE-IDENTICAL).
2026-07-22 15:43:48 -06:00

9.1 KiB
Raw Blame History

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: 311769 / 353722 = 88.14% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10299493 / 13141652 = 78.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3782990 / 5634875 = 67.1% (64633/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: 10299057 / 13081451 = 78.7%)

FLEET REAL substantive : 309914 (of which dedup-shared 234571 via 1849 groups / 234615 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 41946 FLEET matchable : 353722

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 2225 1707 0 2225 2403 92.6%
ov_SC01_001 2225 1707 0 2227 2466 90.3%
ov_SC01_004 2217 1698 0 2218 2414 91.9%
ov_SC01_005 2246 1720 0 2246 2503 89.7%
ov_SC01_006 2246 1720 0 2246 2503 89.7%
ov_SC01_008 2217 1698 0 2219 2426 91.5%
ov_SC01_009 2242 1699 0 2243 2507 89.5%
ov_SC01_074 2220 1699 0 2222 2425 91.6%
ov_SC01_077 2411 1667 0 2413 2585 93.3%
ov_SC01_080 2259 1702 0 2259 2512 89.9%
ov_SC01_084 2266 1702 0 2271 2579 88.1%
ov_SC02_000 2319 1737 0 2319 2683 86.4%
ov_SC02_003 2319 1737 0 2319 2683 86.4%
ov_SC02_004 2225 1702 0 2225 2401 92.7%
ov_SC02_005 2332 1698 0 2342 2927 80.0%
ov_SC02_011 2343 1705 0 2354 2893 81.4%
ov_SC02_015 2226 1704 0 2226 2414 92.2%
ov_SC02_016 2257 1704 0 2260 2545 88.8%
ov_SC02_017 2303 1704 0 2311 2732 84.6%
ov_SC02_021 2232 1704 0 2232 2437 91.6%
ov_SC02_026 2247 1702 0 2253 2572 87.6%
ov_SC02_027 2270 1702 0 2279 2692 84.7%
ov_SC02_028 2271 1702 0 2281 2701 84.5%
ov_SC02_031 2257 1703 0 2262 2562 88.3%
ov_SC02_035 2233 1702 0 2236 2520 88.7%
ov_SC02_039 2218 1702 0 2218 2416 91.8%
ov_SC02_041 2253 1702 0 2256 2561 88.1%
ov_SC03_001 2354 1703 0 2371 2869 82.6%
ov_SC03_002 2280 1707 0 2295 2631 87.2%
ov_SC03_003 2228 1702 0 2229 2423 92.0%
ov_SC03_006 2293 1708 0 2302 2767 83.2%
ov_SC03_007 2273 1702 0 2277 2623 86.8%
ov_SC03_010 2234 1702 0 2234 2470 90.4%
ov_SC03_011 2242 1702 0 2248 2527 89.0%
ov_SC03_012 2220 1702 0 2221 2406 92.3%
ov_SC03_013 2239 1702 0 2239 2492 89.8%
ov_SC03_014 2298 1727 0 2298 2685 85.6%
ov_SC03_015 2298 1727 0 2298 2685 85.6%
ov_SC03_023 2226 1702 0 2227 2435 91.5%
ov_SC03_024 2285 1707 0 2292 2641 86.8%
ov_SC03_028 2266 1702 0 2270 2664 85.2%
ov_SC03_029 2268 1704 0 2278 2644 86.2%
ov_SC03_030 2241 1707 0 2243 2495 89.9%
ov_SC03_031 2238 1702 0 2241 2514 89.1%
ov_SC03_089 2252 1702 0 2259 2581 87.5%
ov_SC03_090 2254 1702 0 2262 2625 86.2%
ov_SC03_091 2257 1702 0 2265 2640 85.8%
ov_SC03_092 2268 1702 0 2280 2587 88.1%
ov_SC03_093 2244 1702 0 2248 2563 87.7%
ov_SC03_094 2239 1702 0 2245 2577 87.1%
ov_SC03_095 2229 1702 0 2232 2474 90.2%
ov_SC03_096 2229 1702 0 2232 2465 90.5%
ov_SC03_097 2258 1702 0 2265 2603 87.0%
ov_SC03_098 2237 1702 0 2240 2541 88.2%
ov_SC03_099 2230 1702 0 2233 2504 89.2%
ov_SC03_100 2240 1702 0 2244 2539 88.4%
ov_SC03_101 2240 1702 0 2244 2528 88.8%
ov_SC03_102 2232 1702 0 2235 2492 89.7%
ov_SC03_103 2235 1704 0 2238 2510 89.2%
ov_SC03_104 2260 1702 0 2267 2616 86.7%
ov_SC03_105 2254 1702 0 2261 2597 87.1%
ov_SC03_108 2222 1702 0 2222 2443 91.0%
ov_SC03_109 2223 1702 0 2225 2424 91.8%
ov_SC03_110 2228 1702 0 2228 2468 90.3%
ov_SC03_111 2240 1702 0 2243 2510 89.4%
ov_SC03_112 2233 1704 0 2235 2526 88.5%
ov_SC03_113 2226 1704 0 2229 2468 90.3%
ov_SC03_114 2216 1702 0 2218 2415 91.8%
ov_SC03_115 2233 1702 0 2235 2472 90.4%
ov_SC03_116 2223 1702 0 2226 2438 91.3%
ov_SC03_117 2251 1702 0 2257 2557 88.3%
ov_SC03_118 2298 1726 0 2299 2685 85.6%
ov_SC03_119 2297 1726 0 2298 2685 85.6%
ov_SC03_121 2230 1702 0 2233 2459 90.8%
ov_SC03_124 2310 1698 0 2330 2741 85.0%
ov_SC03_125 2267 1702 0 2279 2588 88.1%
ov_SC03_126 2229 1704 0 2229 2423 92.0%
ov_SC04_000 2245 1706 0 2254 2546 88.5%
ov_SC04_002 2261 1702 0 2265 2636 85.9%
ov_SC04_003 2239 1702 0 2243 2502 89.6%
ov_SC04_004 2248 1702 0 2250 2558 88.0%
ov_SC04_005 2256 1702 0 2262 2612 86.6%
ov_SC04_006 2229 1702 0 2231 2454 90.9%
ov_SC04_007 2249 1702 0 2253 2569 87.7%
ov_SC04_008 2219 1702 0 2219 2415 91.9%
ov_SC04_009 2235 1702 0 2238 2441 91.7%
ov_SC04_010 2226 1702 0 2227 2419 92.1%
ov_SC04_011 2282 1702 0 2288 2803 81.6%
ov_SC04_012 2222 1702 0 2223 2420 91.9%
ov_SC04_015 2287 1703 0 2298 2611 88.0%
ov_SC04_016 2225 1702 0 2227 2440 91.3%
ov_SC04_018 2337 1737 0 2337 2857 81.8%
ov_SC04_019 2343 1737 0 2343 2857 82.0%
ov_SC04_020 2254 1702 0 2266 2567 88.3%
ov_SC04_021 2230 1704 0 2230 2423 92.0%
ov_SC05_000 2226 1706 0 2229 2422 92.0%
ov_SC05_001 2249 1702 0 2254 2574 87.6%
ov_SC05_002 2231 1702 0 2234 2442 91.5%
ov_SC05_003 2228 1702 0 2229 2481 89.8%
ov_SC05_004 2223 1702 0 2225 2464 90.3%
ov_SC05_005 2230 1702 0 2231 2491 89.6%
ov_SC05_006 2222 1702 0 2222 2430 91.4%
ov_SC05_007 2232 1702 0 2237 2482 90.1%
ov_SC05_008 2249 1702 0 2251 2543 88.5%
ov_SC05_009 2227 1702 0 2231 2438 91.5%
ov_SC05_010 2253 1702 0 2257 2588 87.2%
ov_SC05_011 2225 1702 0 2226 2409 92.4%
ov_SC05_017 2333 1699 0 2344 2842 82.5%
ov_SC05_018 2280 1702 0 2293 2673 85.8%
ov_SC05_019 2230 1704 0 2230 2423 92.0%
ov_SC06_000 2292 1711 0 2295 2691 85.3%
ov_SC06_006 2245 1702 0 2246 2511 89.4%
ov_SC06_008 2255 1704 0 2261 2542 88.9%
ov_SC06_010 2238 1702 0 2243 2517 89.1%
ov_SC06_011 2234 1702 0 2238 2468 90.7%
ov_SC06_013 2227 1702 0 2228 2425 91.9%
ov_SC06_014 2233 1702 0 2235 2453 91.1%
ov_SC06_015 2230 1702 0 2230 2421 92.1%
ov_SC06_016 2248 1702 0 2250 2549 88.3%
ov_SC06_018 2247 1705 0 2254 2665 84.6%
ov_SC06_020 2237 1704 0 2238 2518 88.9%
ov_SC06_022 2251 1702 0 2259 2642 85.5%
ov_SC06_024 2257 1702 0 2263 2667 84.9%
ov_SC06_025 2248 1702 0 2253 2572 87.6%
ov_SC06_027 2216 1702 0 2217 2408 92.1%
ov_SC06_029 2274 1702 0 2286 2662 85.9%
ov_SC06_030 2229 1702 0 2229 2456 90.8%
ov_SC06_032 2241 1703 0 2248 2658 84.6%
ov_SC06_033 2244 1703 0 2251 2631 85.6%
ov_SC07_000 2244 1706 0 2246 2521 89.1%
ov_SC07_001 2229 1702 0 2231 2454 90.9%
ov_SC07_002 2256 1702 0 2260 2579 87.6%
ov_SC07_006 1997 1549 0 2077 2456 84.6%
ov_SC07_007 2014 1550 0 2098 2614 80.3%
ov_SC07_008 2213 1702 0 2213 2386 92.7%
ov_SC07_009 2223 1702 0 2225 2430 91.6%
ov_SC07_010 2025 1550 0 2108 2526 83.5%
ov_SC07_011 2013 1549 0 2093 2450 85.4%