Files
BFM-decomp/docs/progress.fleet.md
T
Drew T dcbeebaf49 feat(phase-29): T84/T85 — 0x80161c98 137/138 + func_801457A4 133/133 (+270 members)
- T84 (item 1): the top still-zero family's whole diff was ONE instruction — slti (signed) vs the
  target's sltiu. --fix-def-sig was conforming a byte-correct draft to engine_core.h's
  signedness-wrong decl (extern void func_80161D20(s32,s32)) while the exemplar's own def is
  (int, u32). Re-swept the 92 still-zero families WITHOUT the flag: 137 banked (all of
  0x80161c98), other 91 unmoved => family-specific, NOT a second §117. Recorded as such.
- T85 (item 2): rewrote tools/rollout_801457a4_o0.py as the two-file ATOMIC driver §116 called for
  (remapped body -> <ov>_o0b.c AND drop the INCLUDE_ASM from <ov>_after.c in one edit; build vs
  config/check.<ov>.sha; restore BOTH files on mismatch, §61). Validated on 3, then 130/130.
  No splat change — the Arm-A re-carve wall never touched.
- Item 4 PRICED AND DROPPED: STRUCT residue = 34 families / 166 members / 0.02pp.
- R14: my new_distinct estimator over-projects ~2x (priced 259, measured 125) — it counts classes
  unmatched at run time, so concurrent sweeps double-count. Ranks correctly, overstates absolutely.
- GATES: R22 clean-fleet 140/140; dedup 1886/0; 0 NON_MATCHING (G4).
- METRICS: fn-count 91.72 -> 91.79% (+270, exact) · instr 87.2 -> 87.3% (+16,946) ·
  distinct-code 69,325 -> 69,450 (+125).
2026-07-30 09:51:02 -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: 324687 / 353720 = 91.79% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11473808 / 13141652 = 87.3% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4391262 / 5634875 = 77.9% (69450/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: 11473372 / 13081451 = 87.7%)

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