Files
BFM-decomp/docs/progress.fleet.md
T
Drew T f7c6d2eb2f feat(phase-29): T89/T90 — 0x80161c98 138/138 via the flag off-diagonal (§119) + a T84 correction
- CORRECTION (R14/P9): T84's '137 banked = all of 0x80161c98' is WRONG and committed wrong in
  commit:1193. The 137 were func_80146750 (a byte-identical straggler), banked 1-per-overlay in
  <ov>_after.c; 0x80161c98's members were still stubs. I assigned a count to the family I had
  been looking at without deriving it — third instance today of that error class. The
  --fix-def-sig-is-harmful finding itself stands (it unblocked func_80146750 x137).
- THE REAL BLOCKER was a flag OFF-DIAGONAL, not a defect. 0x80161c98's byte truth is (int,u32)
  -> sltiu; engine_core.h says (s32,s32); and an in-TU decl disagrees with the def. The levers
  pull opposite ways: --fix-def-sig bends the DEFINITION to the header; --normalize-self-decls
  bends the DECLARATIONS to the definition. both-on -> slti DIFF (T79). both-off -> correct
  sltiu but 'conflicting types' (T84/T88). NSD-only -> 138/138 (T89). Three sweeps across three
  sessions tested only the diagonal of the 2x2. Cookbook §119.
- T90 blast radius: 23 more (NSD-only) across the remaining still-zero families — targeted, not
  general; recorded so it is not over-projected.
- GATES: R22 clean-fleet 140/140; dedup 1886/0; 0 NON_MATCHING (G4).
- METRICS: fn-count 91.84 -> 91.88% (+161, exact) · distinct-code 69,593 -> 69,744 (+151).
2026-07-30 10:54:06 -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: 325006 / 353720 = 91.88% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11478683 / 13141652 = 87.3% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4395820 / 5634875 = 78.0% (69744/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: 11478247 / 13081451 = 87.7%)

FLEET REAL substantive : 323151 (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 : 28707 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 2309 1742 0 2309 2403 96.1%
ov_SC01_001 2315 1743 0 2317 2466 94.0%
ov_SC01_004 2306 1734 0 2307 2414 95.6%
ov_SC01_005 2337 1757 0 2337 2503 93.4%
ov_SC01_006 2337 1757 0 2337 2503 93.4%
ov_SC01_008 2306 1734 0 2308 2426 95.1%
ov_SC01_009 2331 1735 0 2332 2507 93.0%
ov_SC01_074 2312 1735 0 2314 2425 95.4%
ov_SC01_077 2480 1702 0 2482 2585 96.0%
ov_SC01_080 2346 1738 0 2346 2512 93.4%
ov_SC01_084 2355 1738 0 2360 2579 91.5%
ov_SC02_000 2409 1773 0 2409 2683 89.8%
ov_SC02_003 2409 1773 0 2409 2683 89.8%
ov_SC02_004 2311 1738 0 2311 2401 96.3%
ov_SC02_005 2434 1734 0 2444 2927 83.5%
ov_SC02_011 2442 1741 0 2453 2893 84.8%
ov_SC02_015 2316 1740 0 2316 2414 95.9%
ov_SC02_016 2354 1740 0 2357 2545 92.6%
ov_SC02_017 2403 1740 0 2411 2732 88.3%
ov_SC02_021 2321 1740 0 2321 2437 95.2%
ov_SC02_026 2336 1738 0 2342 2572 91.1%
ov_SC02_027 2360 1738 0 2369 2692 88.0%
ov_SC02_028 2362 1738 0 2372 2701 87.8%
ov_SC02_031 2349 1739 0 2354 2562 91.9%
ov_SC02_035 2322 1738 0 2325 2520 92.3%
ov_SC02_039 2307 1738 0 2307 2416 95.5%
ov_SC02_041 2350 1738 0 2353 2561 91.9%
ov_SC03_001 2451 1739 0 2468 2869 86.0%
ov_SC03_002 2369 1743 0 2384 2631 90.6%
ov_SC03_003 2317 1738 0 2318 2423 95.7%
ov_SC03_006 2391 1744 0 2400 2767 86.7%
ov_SC03_007 2368 1738 0 2372 2623 90.4%
ov_SC03_010 2326 1738 0 2326 2471 94.1%
ov_SC03_011 2333 1738 0 2339 2527 92.6%
ov_SC03_012 2308 1738 0 2309 2406 96.0%
ov_SC03_013 2332 1738 0 2332 2493 93.5%
ov_SC03_014 2393 1763 0 2393 2685 89.1%
ov_SC03_015 2395 1763 0 2395 2685 89.2%
ov_SC03_023 2319 1738 0 2320 2435 95.3%
ov_SC03_024 2384 1743 0 2391 2641 90.5%
ov_SC03_028 2353 1738 0 2357 2664 88.5%
ov_SC03_029 2364 1740 0 2374 2644 89.8%
ov_SC03_030 2330 1743 0 2332 2495 93.5%
ov_SC03_031 2326 1738 0 2329 2514 92.6%
ov_SC03_089 2342 1738 0 2349 2581 91.0%
ov_SC03_090 2345 1738 0 2353 2625 89.6%
ov_SC03_091 2347 1738 0 2355 2640 89.2%
ov_SC03_092 2363 1738 0 2375 2587 91.8%
ov_SC03_093 2334 1738 0 2338 2563 91.2%
ov_SC03_094 2329 1738 0 2335 2577 90.6%
ov_SC03_095 2318 1738 0 2321 2474 93.8%
ov_SC03_096 2319 1738 0 2322 2465 94.2%
ov_SC03_097 2355 1738 0 2362 2603 90.7%
ov_SC03_098 2326 1738 0 2329 2541 91.7%
ov_SC03_099 2319 1738 0 2322 2504 92.7%
ov_SC03_100 2329 1738 0 2333 2539 91.9%
ov_SC03_101 2332 1738 0 2336 2528 92.4%
ov_SC03_102 2320 1738 0 2323 2492 93.2%
ov_SC03_103 2325 1740 0 2328 2510 92.7%
ov_SC03_104 2349 1738 0 2356 2616 90.1%
ov_SC03_105 2344 1738 0 2351 2597 90.5%
ov_SC03_108 2310 1738 0 2310 2443 94.6%
ov_SC03_109 2315 1738 0 2317 2424 95.6%
ov_SC03_110 2317 1738 0 2317 2468 93.9%
ov_SC03_111 2328 1738 0 2331 2510 92.9%
ov_SC03_112 2325 1740 0 2327 2526 92.1%
ov_SC03_113 2318 1740 0 2321 2468 94.0%
ov_SC03_114 2306 1738 0 2308 2415 95.6%
ov_SC03_115 2325 1738 0 2327 2472 94.1%
ov_SC03_116 2314 1738 0 2317 2438 95.0%
ov_SC03_117 2348 1738 0 2354 2557 92.1%
ov_SC03_118 2396 1762 0 2397 2685 89.3%
ov_SC03_119 2392 1762 0 2393 2685 89.1%
ov_SC03_121 2322 1738 0 2325 2459 94.6%
ov_SC03_124 2413 1734 0 2433 2741 88.8%
ov_SC03_125 2356 1738 0 2368 2588 91.5%
ov_SC03_126 2319 1740 0 2319 2423 95.7%
ov_SC04_000 2339 1742 0 2348 2546 92.2%
ov_SC04_002 2361 1738 0 2365 2636 89.7%
ov_SC04_003 2332 1738 0 2336 2502 93.4%
ov_SC04_004 2341 1738 0 2343 2558 91.6%
ov_SC04_005 2351 1738 0 2357 2612 90.2%
ov_SC04_006 2318 1738 0 2320 2454 94.5%
ov_SC04_007 2345 1738 0 2349 2569 91.4%
ov_SC04_008 2311 1738 0 2311 2415 95.7%
ov_SC04_009 2325 1738 0 2328 2441 95.4%
ov_SC04_010 2315 1738 0 2316 2419 95.7%
ov_SC04_011 2374 1738 0 2380 2803 84.9%
ov_SC04_012 2313 1738 0 2314 2420 95.6%
ov_SC04_015 2383 1739 0 2394 2611 91.7%
ov_SC04_016 2315 1738 0 2317 2440 95.0%
ov_SC04_018 2449 1773 0 2449 2857 85.7%
ov_SC04_019 2449 1773 0 2449 2857 85.7%
ov_SC04_020 2344 1738 0 2356 2567 91.8%
ov_SC04_021 2319 1740 0 2319 2423 95.7%
ov_SC05_000 2317 1742 0 2320 2422 95.8%
ov_SC05_001 2339 1738 0 2344 2574 91.1%
ov_SC05_002 2323 1738 0 2326 2442 95.2%
ov_SC05_003 2319 1738 0 2320 2481 93.5%
ov_SC05_004 2315 1738 0 2317 2464 94.0%
ov_SC05_005 2319 1738 0 2320 2491 93.1%
ov_SC05_006 2313 1738 0 2313 2430 95.2%
ov_SC05_007 2323 1738 0 2328 2482 93.8%
ov_SC05_008 2344 1738 0 2346 2543 92.3%
ov_SC05_009 2318 1738 0 2322 2438 95.2%
ov_SC05_010 2346 1738 0 2350 2588 90.8%
ov_SC05_011 2314 1738 0 2315 2409 96.1%
ov_SC05_017 2436 1735 0 2447 2842 86.1%
ov_SC05_018 2375 1738 0 2388 2673 89.3%
ov_SC05_019 2319 1740 0 2319 2423 95.7%
ov_SC06_000 2395 1747 0 2398 2691 89.1%
ov_SC06_006 2338 1738 0 2339 2511 93.2%
ov_SC06_008 2359 1740 0 2365 2542 93.0%
ov_SC06_010 2338 1738 0 2343 2517 93.1%
ov_SC06_011 2323 1738 0 2327 2468 94.3%
ov_SC06_013 2317 1738 0 2318 2425 95.6%
ov_SC06_014 2324 1738 0 2326 2453 94.8%
ov_SC06_015 2322 1738 0 2322 2421 95.9%
ov_SC06_016 2338 1738 0 2340 2549 91.8%
ov_SC06_018 2352 1740 0 2359 2665 88.5%
ov_SC06_020 2327 1740 0 2328 2518 92.5%
ov_SC06_022 2352 1738 0 2360 2642 89.3%
ov_SC06_024 2360 1738 0 2366 2667 88.7%
ov_SC06_025 2346 1738 0 2351 2572 91.4%
ov_SC06_027 2306 1738 0 2307 2408 95.8%
ov_SC06_029 2367 1738 0 2379 2662 89.4%
ov_SC06_030 2321 1738 0 2321 2456 94.5%
ov_SC06_032 2347 1739 0 2354 2658 88.6%
ov_SC06_033 2348 1739 0 2355 2631 89.5%
ov_SC07_000 2334 1742 0 2336 2521 92.7%
ov_SC07_001 2318 1738 0 2320 2454 94.5%
ov_SC07_002 2345 1738 0 2349 2579 91.1%
ov_SC07_006 2209 1555 0 2289 2456 93.2%
ov_SC07_007 2227 1586 0 2311 2613 88.4%
ov_SC07_008 2303 1738 0 2303 2386 96.5%
ov_SC07_009 2313 1738 0 2315 2430 95.3%
ov_SC07_010 2230 1608 0 2313 2524 91.6%
ov_SC07_011 2227 1585 0 2307 2449 94.2%