Files
BFM-decomp/docs/progress.fleet.md
T
Drew T a884d5f5d6 feat(phase-29): func_80175AB8 swept 133/137 via --allow-pins — a STALE GUARD was skipping them
The first sweep returned "banked 0 / skipped {'pinned-exemplar': 137}" — a SKIP, not a failure. The
§42e guard refuses pinned exemplars to avoid a cc1 SIGABRT, but Phase 27 BYTE-PROVED that crash was
extract_unit dropping file-scope macros (a TOOL bug, fixed by _carry_macros), not a compiler limit.
Re-run with --allow-pins: 133/137 BANKED. R22 clean-fleet 140 passed / 0 failed of 140.

MEASURED: fn-count 318,585 -> 318,720 (+135); instr 84.0 -> 84.2% (+25,423 ins); distinct-code
73.4 -> 73.9% (+127 unique fns).

THE GUARD IS NOW COSTING BANKS — the same shape as sweep_parallel being opt-in: a protection that was
correct when written, whose cause was later removed, still defaults ON. Measured cost on ONE family:
137 skipped, 133 bank fine. Phase 27's roadmap delta already said the PINS class was back on the
table; nothing changed the default. Flipping it is a one-line change, deliberately deferred to a
fresh session — that is exactly how family_sweep got broken twice today.

SC07 QUARTET, third occurrence today, now named: ov_SC07_006/007/010/011 refused again (same four as
func_80176218). NOT broken — func_8014CF04, func_8015D1B8 and func_801789AC all swept them cleanly.
The correlation is the sibling TU (_jr_8016AE5C.c, a different carve layout; these 4 were onboarded
in Phase 27 with code at PAC entry 1). §59: read ONE sibling's real gate result before concluding.

func_80175DA8 0/137 is the §94 TYPE-CARRY signature (local typedef Sp_80175DA8 templated as a body
but not as a type) — the same shape that took func_8016B6BC 0/137 -> 137/137 today. Named next step,
31,878 templated instructions.
2026-07-27 21:35:11 -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: 318720 / 353720 = 90.11% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11059696 / 13141652 = 84.2% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4161471 / 5634875 = 73.9% (66630/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: 11059260 / 13081451 = 84.5%)

FLEET REAL substantive : 316865 (of which dedup-shared 239530 via 1886 groups / 239604 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 34993 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 2270 1742 0 2270 2403 94.5%
ov_SC01_001 2275 1743 0 2277 2466 92.3%
ov_SC01_004 2265 1734 0 2266 2414 93.9%
ov_SC01_005 2295 1757 0 2295 2503 91.7%
ov_SC01_006 2295 1757 0 2295 2503 91.7%
ov_SC01_008 2265 1734 0 2267 2426 93.4%
ov_SC01_009 2291 1735 0 2292 2507 91.4%
ov_SC01_074 2269 1735 0 2271 2425 93.6%
ov_SC01_077 2449 1702 0 2451 2585 94.8%
ov_SC01_080 2307 1738 0 2307 2512 91.8%
ov_SC01_084 2314 1738 0 2319 2579 89.9%
ov_SC02_000 2367 1773 0 2367 2683 88.2%
ov_SC02_003 2367 1773 0 2367 2683 88.2%
ov_SC02_004 2273 1738 0 2273 2401 94.7%
ov_SC02_005 2381 1734 0 2391 2927 81.7%
ov_SC02_011 2394 1741 0 2405 2893 83.1%
ov_SC02_015 2275 1740 0 2275 2414 94.2%
ov_SC02_016 2309 1740 0 2312 2545 90.8%
ov_SC02_017 2352 1740 0 2360 2732 86.4%
ov_SC02_021 2281 1740 0 2281 2437 93.6%
ov_SC02_026 2296 1738 0 2302 2572 89.5%
ov_SC02_027 2319 1738 0 2328 2692 86.5%
ov_SC02_028 2321 1738 0 2331 2701 86.3%
ov_SC02_031 2307 1739 0 2312 2562 90.2%
ov_SC02_035 2282 1738 0 2285 2520 90.7%
ov_SC02_039 2266 1738 0 2266 2416 93.8%
ov_SC02_041 2304 1738 0 2307 2561 90.1%
ov_SC03_001 2401 1739 0 2418 2869 84.3%
ov_SC03_002 2327 1743 0 2342 2631 89.0%
ov_SC03_003 2276 1738 0 2277 2423 94.0%
ov_SC03_006 2343 1744 0 2352 2767 85.0%
ov_SC03_007 2321 1738 0 2325 2623 88.6%
ov_SC03_010 2284 1738 0 2284 2471 92.4%
ov_SC03_011 2290 1738 0 2296 2527 90.9%
ov_SC03_012 2268 1738 0 2269 2406 94.3%
ov_SC03_013 2289 1738 0 2289 2493 91.8%
ov_SC03_014 2347 1763 0 2347 2685 87.4%
ov_SC03_015 2347 1763 0 2347 2685 87.4%
ov_SC03_023 2275 1738 0 2276 2435 93.5%
ov_SC03_024 2335 1743 0 2342 2641 88.7%
ov_SC03_028 2315 1738 0 2319 2664 87.0%
ov_SC03_029 2317 1740 0 2327 2644 88.0%
ov_SC03_030 2290 1743 0 2292 2495 91.9%
ov_SC03_031 2286 1738 0 2289 2514 91.1%
ov_SC03_089 2303 1738 0 2310 2581 89.5%
ov_SC03_090 2304 1738 0 2312 2625 88.1%
ov_SC03_091 2307 1738 0 2315 2640 87.7%
ov_SC03_092 2317 1738 0 2329 2587 90.0%
ov_SC03_093 2293 1738 0 2297 2563 89.6%
ov_SC03_094 2288 1738 0 2294 2577 89.0%
ov_SC03_095 2278 1738 0 2281 2474 92.2%
ov_SC03_096 2278 1738 0 2281 2465 92.5%
ov_SC03_097 2308 1738 0 2315 2603 88.9%
ov_SC03_098 2286 1738 0 2289 2541 90.1%
ov_SC03_099 2279 1738 0 2282 2504 91.1%
ov_SC03_100 2289 1738 0 2293 2539 90.3%
ov_SC03_101 2289 1738 0 2293 2528 90.7%
ov_SC03_102 2282 1738 0 2285 2492 91.7%
ov_SC03_103 2285 1740 0 2288 2510 91.2%
ov_SC03_104 2311 1738 0 2318 2616 88.6%
ov_SC03_105 2302 1738 0 2309 2597 88.9%
ov_SC03_108 2269 1738 0 2269 2443 92.9%
ov_SC03_109 2273 1738 0 2275 2424 93.9%
ov_SC03_110 2277 1738 0 2277 2468 92.3%
ov_SC03_111 2288 1738 0 2291 2510 91.3%
ov_SC03_112 2284 1740 0 2286 2526 90.5%
ov_SC03_113 2277 1740 0 2280 2468 92.4%
ov_SC03_114 2266 1738 0 2268 2415 93.9%
ov_SC03_115 2283 1738 0 2285 2472 92.4%
ov_SC03_116 2274 1738 0 2277 2438 93.4%
ov_SC03_117 2301 1738 0 2307 2557 90.2%
ov_SC03_118 2347 1762 0 2348 2685 87.4%
ov_SC03_119 2346 1762 0 2347 2685 87.4%
ov_SC03_121 2281 1738 0 2284 2459 92.9%
ov_SC03_124 2359 1734 0 2379 2741 86.8%
ov_SC03_125 2315 1738 0 2327 2588 89.9%
ov_SC03_126 2278 1740 0 2278 2423 94.0%
ov_SC04_000 2294 1742 0 2303 2546 90.5%
ov_SC04_002 2313 1738 0 2317 2636 87.9%
ov_SC04_003 2289 1738 0 2293 2502 91.6%
ov_SC04_004 2298 1738 0 2300 2558 89.9%
ov_SC04_005 2308 1738 0 2314 2612 88.6%
ov_SC04_006 2278 1738 0 2280 2454 92.9%
ov_SC04_007 2302 1738 0 2306 2569 89.8%
ov_SC04_008 2270 1738 0 2270 2415 94.0%
ov_SC04_009 2285 1738 0 2288 2441 93.7%
ov_SC04_010 2275 1738 0 2276 2419 94.1%
ov_SC04_011 2333 1738 0 2339 2803 83.4%
ov_SC04_012 2272 1738 0 2273 2420 93.9%
ov_SC04_015 2337 1739 0 2348 2611 89.9%
ov_SC04_016 2275 1738 0 2277 2440 93.3%
ov_SC04_018 2385 1773 0 2385 2857 83.5%
ov_SC04_019 2391 1773 0 2391 2857 83.7%
ov_SC04_020 2302 1738 0 2314 2567 90.1%
ov_SC04_021 2279 1740 0 2279 2423 94.1%
ov_SC05_000 2276 1742 0 2279 2422 94.1%
ov_SC05_001 2298 1738 0 2303 2574 89.5%
ov_SC05_002 2281 1738 0 2284 2442 93.5%
ov_SC05_003 2278 1738 0 2279 2481 91.9%
ov_SC05_004 2274 1738 0 2276 2464 92.4%
ov_SC05_005 2279 1738 0 2280 2491 91.5%
ov_SC05_006 2272 1738 0 2272 2430 93.5%
ov_SC05_007 2282 1738 0 2287 2482 92.1%
ov_SC05_008 2299 1738 0 2301 2543 90.5%
ov_SC05_009 2278 1738 0 2282 2438 93.6%
ov_SC05_010 2305 1738 0 2309 2588 89.2%
ov_SC05_011 2274 1738 0 2275 2409 94.4%
ov_SC05_017 2381 1735 0 2392 2842 84.2%
ov_SC05_018 2328 1738 0 2341 2673 87.6%
ov_SC05_019 2279 1740 0 2279 2423 94.1%
ov_SC06_000 2343 1747 0 2346 2691 87.2%
ov_SC06_006 2295 1738 0 2296 2511 91.4%
ov_SC06_008 2315 1740 0 2321 2542 91.3%
ov_SC06_010 2295 1738 0 2300 2517 91.4%
ov_SC06_011 2283 1738 0 2287 2468 92.7%
ov_SC06_013 2277 1738 0 2278 2425 93.9%
ov_SC06_014 2283 1738 0 2285 2453 93.2%
ov_SC06_015 2280 1738 0 2280 2421 94.2%
ov_SC06_016 2298 1738 0 2300 2549 90.2%
ov_SC06_018 2309 1740 0 2316 2665 86.9%
ov_SC06_020 2287 1740 0 2288 2518 90.9%
ov_SC06_022 2306 1738 0 2314 2642 87.6%
ov_SC06_024 2316 1738 0 2322 2667 87.1%
ov_SC06_025 2300 1738 0 2305 2572 89.6%
ov_SC06_027 2265 1738 0 2266 2408 94.1%
ov_SC06_029 2326 1738 0 2338 2662 87.8%
ov_SC06_030 2279 1738 0 2279 2456 92.8%
ov_SC06_032 2301 1739 0 2308 2658 86.8%
ov_SC06_033 2303 1739 0 2310 2631 87.8%
ov_SC07_000 2294 1742 0 2296 2521 91.1%
ov_SC07_001 2278 1738 0 2280 2454 92.9%
ov_SC07_002 2306 1738 0 2310 2579 89.6%
ov_SC07_006 2076 1555 0 2156 2456 87.8%
ov_SC07_007 2071 1586 0 2155 2613 82.5%
ov_SC07_008 2263 1738 0 2263 2386 94.8%
ov_SC07_009 2272 1738 0 2274 2430 93.6%
ov_SC07_010 2103 1608 0 2186 2524 86.6%
ov_SC07_011 2071 1585 0 2151 2449 87.8%