Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 32de37fff4 feat(phase-29): propagate func_80177940 x137 — 138 overlays byte-identical, R22 140/140
- Targeted `dedup_propagate --addr 0x80177940 --recover` (NEVER --auto-from; --check-only first
  confirmed the plan held exactly this one address, so the de-macroize hazard could not apply).
- 138 overlays rebuilt byte-identical; 0 stubs remain for the address; 1 new dedup group registered.
- R22 clean-fleet: check-all 140 passed, 0 failed of 140.
- Fleet: fn-count 88.86 -> 88.90%, instr-weighted 79.6 -> 79.7% (+13,938 ins = 101 x 138),
  distinct-code 64,874 -> 64,875 unique fns.
2026-07-24 16:41:44 -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: 314451 / 353717 = 88.90% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10475122 / 13141652 = 79.7% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3813214 / 5634875 = 67.7% (64875/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: 10474686 / 13081451 = 80.1%)

FLEET REAL substantive : 312596 (of which dedup-shared 238548 via 1880 groups / 238622 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 39259 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 2243 1737 0 2243 2403 93.3%
ov_SC01_001 2244 1736 0 2246 2466 91.1%
ov_SC01_004 2235 1727 0 2236 2414 92.6%
ov_SC01_005 2265 1750 0 2265 2503 90.5%
ov_SC01_006 2265 1750 0 2265 2503 90.5%
ov_SC01_008 2235 1727 0 2237 2426 92.2%
ov_SC01_009 2261 1728 0 2262 2507 90.2%
ov_SC01_074 2239 1728 0 2241 2425 92.4%
ov_SC01_077 2423 1697 0 2425 2585 93.8%
ov_SC01_080 2277 1731 0 2277 2512 90.6%
ov_SC01_084 2284 1731 0 2289 2579 88.8%
ov_SC02_000 2337 1766 0 2337 2683 87.1%
ov_SC02_003 2337 1766 0 2337 2683 87.1%
ov_SC02_004 2243 1731 0 2243 2401 93.4%
ov_SC02_005 2351 1727 0 2361 2927 80.7%
ov_SC02_011 2363 1734 0 2374 2893 82.1%
ov_SC02_015 2244 1733 0 2244 2414 93.0%
ov_SC02_016 2277 1733 0 2280 2545 89.6%
ov_SC02_017 2321 1733 0 2329 2732 85.2%
ov_SC02_021 2250 1733 0 2250 2437 92.3%
ov_SC02_026 2266 1731 0 2272 2572 88.3%
ov_SC02_027 2289 1731 0 2298 2692 85.4%
ov_SC02_028 2291 1731 0 2301 2701 85.2%
ov_SC02_031 2276 1732 0 2281 2562 89.0%
ov_SC02_035 2252 1731 0 2255 2520 89.5%
ov_SC02_039 2236 1731 0 2236 2416 92.5%
ov_SC02_041 2273 1731 0 2276 2561 88.9%
ov_SC03_001 2372 1732 0 2389 2869 83.3%
ov_SC03_002 2298 1736 0 2313 2631 87.9%
ov_SC03_003 2246 1731 0 2247 2423 92.7%
ov_SC03_006 2311 1737 0 2320 2767 83.8%
ov_SC03_007 2291 1731 0 2295 2623 87.5%
ov_SC03_010 2252 1731 0 2252 2470 91.2%
ov_SC03_011 2260 1731 0 2266 2527 89.7%
ov_SC03_012 2238 1731 0 2239 2406 93.1%
ov_SC03_013 2257 1731 0 2257 2492 90.6%
ov_SC03_014 2317 1756 0 2317 2685 86.3%
ov_SC03_015 2317 1756 0 2317 2685 86.3%
ov_SC03_023 2245 1731 0 2246 2435 92.2%
ov_SC03_024 2305 1736 0 2312 2641 87.5%
ov_SC03_028 2285 1731 0 2289 2664 85.9%
ov_SC03_029 2286 1733 0 2296 2644 86.8%
ov_SC03_030 2259 1736 0 2261 2495 90.6%
ov_SC03_031 2256 1731 0 2259 2514 89.9%
ov_SC03_089 2272 1731 0 2279 2581 88.3%
ov_SC03_090 2273 1731 0 2281 2625 86.9%
ov_SC03_091 2276 1731 0 2284 2640 86.5%
ov_SC03_092 2287 1731 0 2299 2587 88.9%
ov_SC03_093 2263 1731 0 2267 2563 88.5%
ov_SC03_094 2258 1731 0 2264 2577 87.9%
ov_SC03_095 2248 1731 0 2251 2474 91.0%
ov_SC03_096 2248 1731 0 2251 2465 91.3%
ov_SC03_097 2278 1731 0 2285 2603 87.8%
ov_SC03_098 2256 1731 0 2259 2541 88.9%
ov_SC03_099 2249 1731 0 2252 2504 89.9%
ov_SC03_100 2259 1731 0 2263 2539 89.1%
ov_SC03_101 2259 1731 0 2263 2528 89.5%
ov_SC03_102 2251 1731 0 2254 2492 90.4%
ov_SC03_103 2254 1733 0 2257 2510 89.9%
ov_SC03_104 2280 1731 0 2287 2616 87.4%
ov_SC03_105 2273 1731 0 2280 2597 87.8%
ov_SC03_108 2240 1731 0 2240 2443 91.7%
ov_SC03_109 2243 1731 0 2245 2424 92.6%
ov_SC03_110 2247 1731 0 2247 2468 91.0%
ov_SC03_111 2258 1731 0 2261 2510 90.1%
ov_SC03_112 2252 1733 0 2254 2526 89.2%
ov_SC03_113 2245 1733 0 2248 2468 91.1%
ov_SC03_114 2235 1731 0 2237 2415 92.6%
ov_SC03_115 2252 1731 0 2254 2472 91.2%
ov_SC03_116 2242 1731 0 2245 2438 92.1%
ov_SC03_117 2270 1731 0 2276 2557 89.0%
ov_SC03_118 2316 1755 0 2317 2685 86.3%
ov_SC03_119 2315 1755 0 2316 2685 86.3%
ov_SC03_121 2250 1731 0 2253 2459 91.6%
ov_SC03_124 2329 1727 0 2349 2741 85.7%
ov_SC03_125 2285 1731 0 2297 2588 88.8%
ov_SC03_126 2247 1733 0 2247 2423 92.7%
ov_SC04_000 2263 1735 0 2272 2546 89.2%
ov_SC04_002 2281 1731 0 2285 2636 86.7%
ov_SC04_003 2258 1731 0 2262 2502 90.4%
ov_SC04_004 2267 1731 0 2269 2558 88.7%
ov_SC04_005 2276 1731 0 2282 2612 87.4%
ov_SC04_006 2247 1731 0 2249 2454 91.6%
ov_SC04_007 2270 1731 0 2274 2569 88.5%
ov_SC04_008 2239 1731 0 2239 2415 92.7%
ov_SC04_009 2254 1731 0 2257 2441 92.5%
ov_SC04_010 2244 1731 0 2245 2419 92.8%
ov_SC04_011 2302 1731 0 2308 2803 82.3%
ov_SC04_012 2241 1731 0 2242 2420 92.6%
ov_SC04_015 2307 1732 0 2318 2611 88.8%
ov_SC04_016 2244 1731 0 2246 2440 92.0%
ov_SC04_018 2355 1766 0 2355 2857 82.4%
ov_SC04_019 2361 1766 0 2361 2857 82.6%
ov_SC04_020 2272 1731 0 2284 2567 89.0%
ov_SC04_021 2248 1733 0 2248 2423 92.8%
ov_SC05_000 2245 1735 0 2248 2422 92.8%
ov_SC05_001 2267 1731 0 2272 2574 88.3%
ov_SC05_002 2250 1731 0 2253 2442 92.3%
ov_SC05_003 2247 1731 0 2248 2481 90.6%
ov_SC05_004 2243 1731 0 2245 2464 91.1%
ov_SC05_005 2248 1731 0 2249 2491 90.3%
ov_SC05_006 2241 1731 0 2241 2430 92.2%
ov_SC05_007 2251 1731 0 2256 2482 90.9%
ov_SC05_008 2268 1731 0 2270 2543 89.3%
ov_SC05_009 2247 1731 0 2251 2438 92.3%
ov_SC05_010 2274 1731 0 2278 2588 88.0%
ov_SC05_011 2243 1731 0 2244 2409 93.2%
ov_SC05_017 2351 1728 0 2362 2842 83.1%
ov_SC05_018 2298 1731 0 2311 2673 86.5%
ov_SC05_019 2248 1733 0 2248 2423 92.8%
ov_SC06_000 2312 1740 0 2315 2691 86.0%
ov_SC06_006 2264 1731 0 2265 2511 90.2%
ov_SC06_008 2281 1733 0 2287 2542 90.0%
ov_SC06_010 2263 1731 0 2268 2517 90.1%
ov_SC06_011 2253 1731 0 2257 2468 91.5%
ov_SC06_013 2246 1731 0 2247 2425 92.7%
ov_SC06_014 2252 1731 0 2254 2453 91.9%
ov_SC06_015 2249 1731 0 2249 2421 92.9%
ov_SC06_016 2267 1731 0 2269 2549 89.0%
ov_SC06_018 2280 1734 0 2287 2665 85.8%
ov_SC06_020 2256 1733 0 2257 2518 89.6%
ov_SC06_022 2275 1731 0 2283 2642 86.4%
ov_SC06_024 2284 1731 0 2290 2667 85.9%
ov_SC06_025 2268 1731 0 2273 2572 88.4%
ov_SC06_027 2234 1731 0 2235 2408 92.8%
ov_SC06_029 2293 1731 0 2305 2662 86.6%
ov_SC06_030 2248 1731 0 2248 2456 91.5%
ov_SC06_032 2268 1732 0 2275 2658 85.6%
ov_SC06_033 2270 1732 0 2277 2631 86.5%
ov_SC07_000 2264 1735 0 2266 2521 89.9%
ov_SC07_001 2247 1731 0 2249 2454 91.6%
ov_SC07_002 2275 1731 0 2279 2579 88.4%
ov_SC07_006 2046 1549 0 2126 2455 86.6%
ov_SC07_007 2035 1579 0 2119 2613 81.1%
ov_SC07_008 2232 1731 0 2232 2386 93.5%
ov_SC07_009 2241 1731 0 2243 2430 92.3%
ov_SC07_010 2044 1579 0 2127 2524 84.3%
ov_SC07_011 2034 1578 0 2114 2449 86.3%