mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-30 07:31:59 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
f59ae302b8cb34fdb6347fd276aedc33f070071b
BFM-decomp/docs/progress.fleet.md
T
Drew T f59ae302b8 feat(phase-29): T68 — 6 header corrections sweep 685 members (+33,565 ins); fleet 86.5% instr 
The audit was the right precondition: THREE of the six corrected functions were families already
queued for the item-3 sweep, and each would have failed 0/137 exactly the way five families did
earlier today.

SWEEP: 6 corrected functions, all non-jr families with 137 live stubs -> 685 BANKED / 137 failed.
Five families landed 137/137; func_80146750 failed on its own residual (undiagnosed).

GATES: R22 clean-fleet 140 passed, 0 failed of 140 — after the header batch alone AND after the
banks; tools-health OK (corpus 0 PHANTOM + 0 TRUNCATED, cdecl, audit-binaries, dedup 1886/0);
0 NON_MATCHING (G4).

METRICS: instr 86.3% -> 86.5% (11338739 -> 11372304 = +33,565 ins); fn-count 90.88% -> 91.08%
(321472 -> 322157 = +685); distinct-code 76.9% -> 76.9% (+0).

§111 GOT ITS FIRST PREDICTIVE TEST AND PASSED: all six families have a single h_exact class, so the
model predicted +0 distinct BEFORE the sweep ran, and +0 is what happened. The metric is modelled,
not mysterious.
2026-07-28 23:16:08 -06:00

161 lines
9.1 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# 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: 322157 / 353720 = 91.08% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 11372304 / 13141652 = 86.5% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 4332063 / 5634875 = 76.9% (68066/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: 11371868 / 13081451 = 86.9%)
FLEET REAL substantive : 320302 (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 : 31556
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 | 2295 | 1742 | 0 | 2295 | 2403 | 95.5% |
| ov_SC01_001 | 2300 | 1743 | 0 | 2302 | 2466 | 93.3% |
| ov_SC01_004 | 2290 | 1734 | 0 | 2291 | 2414 | 94.9% |
| ov_SC01_005 | 2320 | 1757 | 0 | 2320 | 2503 | 92.7% |
| ov_SC01_006 | 2320 | 1757 | 0 | 2320 | 2503 | 92.7% |
| ov_SC01_008 | 2290 | 1734 | 0 | 2292 | 2426 | 94.5% |
| ov_SC01_009 | 2316 | 1735 | 0 | 2317 | 2507 | 92.4% |
| ov_SC01_074 | 2294 | 1735 | 0 | 2296 | 2425 | 94.7% |
| ov_SC01_077 | 2472 | 1702 | 0 | 2474 | 2585 | 95.7% |
| ov_SC01_080 | 2332 | 1738 | 0 | 2332 | 2512 | 92.8% |
| ov_SC01_084 | 2339 | 1738 | 0 | 2344 | 2579 | 90.9% |
| ov_SC02_000 | 2392 | 1773 | 0 | 2392 | 2683 | 89.2% |
| ov_SC02_003 | 2392 | 1773 | 0 | 2392 | 2683 | 89.2% |
| ov_SC02_004 | 2298 | 1738 | 0 | 2298 | 2401 | 95.7% |
| ov_SC02_005 | 2406 | 1734 | 0 | 2416 | 2927 | 82.5% |
| ov_SC02_011 | 2419 | 1741 | 0 | 2430 | 2893 | 84.0% |
| ov_SC02_015 | 2300 | 1740 | 0 | 2300 | 2414 | 95.3% |
| ov_SC02_016 | 2334 | 1740 | 0 | 2337 | 2545 | 91.8% |
| ov_SC02_017 | 2378 | 1740 | 0 | 2386 | 2732 | 87.3% |
| ov_SC02_021 | 2306 | 1740 | 0 | 2306 | 2437 | 94.6% |
| ov_SC02_026 | 2321 | 1738 | 0 | 2327 | 2572 | 90.5% |
| ov_SC02_027 | 2344 | 1738 | 0 | 2353 | 2692 | 87.4% |
| ov_SC02_028 | 2346 | 1738 | 0 | 2356 | 2701 | 87.2% |
| ov_SC02_031 | 2332 | 1739 | 0 | 2337 | 2562 | 91.2% |
| ov_SC02_035 | 2307 | 1738 | 0 | 2310 | 2520 | 91.7% |
| ov_SC02_039 | 2291 | 1738 | 0 | 2291 | 2416 | 94.8% |
| ov_SC02_041 | 2329 | 1738 | 0 | 2332 | 2561 | 91.1% |
| ov_SC03_001 | 2426 | 1739 | 0 | 2443 | 2869 | 85.2% |
| ov_SC03_002 | 2352 | 1743 | 0 | 2367 | 2631 | 90.0% |
| ov_SC03_003 | 2301 | 1738 | 0 | 2302 | 2423 | 95.0% |
| ov_SC03_006 | 2369 | 1744 | 0 | 2378 | 2767 | 85.9% |
| ov_SC03_007 | 2346 | 1738 | 0 | 2350 | 2623 | 89.6% |
| ov_SC03_010 | 2309 | 1738 | 0 | 2309 | 2471 | 93.4% |
| ov_SC03_011 | 2315 | 1738 | 0 | 2321 | 2527 | 91.8% |
| ov_SC03_012 | 2293 | 1738 | 0 | 2294 | 2406 | 95.3% |
| ov_SC03_013 | 2314 | 1738 | 0 | 2314 | 2493 | 92.8% |
| ov_SC03_014 | 2372 | 1763 | 0 | 2372 | 2685 | 88.3% |
| ov_SC03_015 | 2372 | 1763 | 0 | 2372 | 2685 | 88.3% |
| ov_SC03_023 | 2300 | 1738 | 0 | 2301 | 2435 | 94.5% |
| ov_SC03_024 | 2360 | 1743 | 0 | 2367 | 2641 | 89.6% |
| ov_SC03_028 | 2340 | 1738 | 0 | 2344 | 2664 | 88.0% |
| ov_SC03_029 | 2342 | 1740 | 0 | 2352 | 2644 | 89.0% |
| ov_SC03_030 | 2315 | 1743 | 0 | 2317 | 2495 | 92.9% |
| ov_SC03_031 | 2311 | 1738 | 0 | 2314 | 2514 | 92.0% |
| ov_SC03_089 | 2328 | 1738 | 0 | 2335 | 2581 | 90.5% |
| ov_SC03_090 | 2329 | 1738 | 0 | 2337 | 2625 | 89.0% |
| ov_SC03_091 | 2332 | 1738 | 0 | 2340 | 2640 | 88.6% |
| ov_SC03_092 | 2342 | 1738 | 0 | 2354 | 2587 | 91.0% |
| ov_SC03_093 | 2318 | 1738 | 0 | 2322 | 2563 | 90.6% |
| ov_SC03_094 | 2313 | 1738 | 0 | 2319 | 2577 | 90.0% |
| ov_SC03_095 | 2303 | 1738 | 0 | 2306 | 2474 | 93.2% |
| ov_SC03_096 | 2303 | 1738 | 0 | 2306 | 2465 | 93.5% |
| ov_SC03_097 | 2333 | 1738 | 0 | 2340 | 2603 | 89.9% |
| ov_SC03_098 | 2311 | 1738 | 0 | 2314 | 2541 | 91.1% |
| ov_SC03_099 | 2304 | 1738 | 0 | 2307 | 2504 | 92.1% |
| ov_SC03_100 | 2314 | 1738 | 0 | 2318 | 2539 | 91.3% |
| ov_SC03_101 | 2314 | 1738 | 0 | 2318 | 2528 | 91.7% |
| ov_SC03_102 | 2307 | 1738 | 0 | 2310 | 2492 | 92.7% |
| ov_SC03_103 | 2310 | 1740 | 0 | 2313 | 2510 | 92.2% |
| ov_SC03_104 | 2336 | 1738 | 0 | 2343 | 2616 | 89.6% |
| ov_SC03_105 | 2327 | 1738 | 0 | 2334 | 2597 | 89.9% |
| ov_SC03_108 | 2294 | 1738 | 0 | 2294 | 2443 | 93.9% |
| ov_SC03_109 | 2298 | 1738 | 0 | 2300 | 2424 | 94.9% |
| ov_SC03_110 | 2302 | 1738 | 0 | 2302 | 2468 | 93.3% |
| ov_SC03_111 | 2313 | 1738 | 0 | 2316 | 2510 | 92.3% |
| ov_SC03_112 | 2309 | 1740 | 0 | 2311 | 2526 | 91.5% |
| ov_SC03_113 | 2302 | 1740 | 0 | 2305 | 2468 | 93.4% |
| ov_SC03_114 | 2291 | 1738 | 0 | 2293 | 2415 | 94.9% |
| ov_SC03_115 | 2308 | 1738 | 0 | 2310 | 2472 | 93.4% |
| ov_SC03_116 | 2299 | 1738 | 0 | 2302 | 2438 | 94.4% |
| ov_SC03_117 | 2326 | 1738 | 0 | 2332 | 2557 | 91.2% |
| ov_SC03_118 | 2372 | 1762 | 0 | 2373 | 2685 | 88.4% |
| ov_SC03_119 | 2371 | 1762 | 0 | 2372 | 2685 | 88.3% |
| ov_SC03_121 | 2306 | 1738 | 0 | 2309 | 2459 | 93.9% |
| ov_SC03_124 | 2384 | 1734 | 0 | 2404 | 2741 | 87.7% |
| ov_SC03_125 | 2340 | 1738 | 0 | 2352 | 2588 | 90.9% |
| ov_SC03_126 | 2303 | 1740 | 0 | 2303 | 2423 | 95.0% |
| ov_SC04_000 | 2319 | 1742 | 0 | 2328 | 2546 | 91.4% |
| ov_SC04_002 | 2338 | 1738 | 0 | 2342 | 2636 | 88.8% |
| ov_SC04_003 | 2314 | 1738 | 0 | 2318 | 2502 | 92.6% |
| ov_SC04_004 | 2323 | 1738 | 0 | 2325 | 2558 | 90.9% |
| ov_SC04_005 | 2333 | 1738 | 0 | 2339 | 2612 | 89.5% |
| ov_SC04_006 | 2303 | 1738 | 0 | 2305 | 2454 | 93.9% |
| ov_SC04_007 | 2327 | 1738 | 0 | 2331 | 2569 | 90.7% |
| ov_SC04_008 | 2295 | 1738 | 0 | 2295 | 2415 | 95.0% |
| ov_SC04_009 | 2310 | 1738 | 0 | 2313 | 2441 | 94.8% |
| ov_SC04_010 | 2300 | 1738 | 0 | 2301 | 2419 | 95.1% |
| ov_SC04_011 | 2358 | 1738 | 0 | 2364 | 2803 | 84.3% |
| ov_SC04_012 | 2297 | 1738 | 0 | 2298 | 2420 | 95.0% |
| ov_SC04_015 | 2362 | 1739 | 0 | 2373 | 2611 | 90.9% |
| ov_SC04_016 | 2300 | 1738 | 0 | 2302 | 2440 | 94.3% |
| ov_SC04_018 | 2410 | 1773 | 0 | 2410 | 2857 | 84.4% |
| ov_SC04_019 | 2416 | 1773 | 0 | 2416 | 2857 | 84.6% |
| ov_SC04_020 | 2327 | 1738 | 0 | 2339 | 2567 | 91.1% |
| ov_SC04_021 | 2304 | 1740 | 0 | 2304 | 2423 | 95.1% |
| ov_SC05_000 | 2301 | 1742 | 0 | 2304 | 2422 | 95.1% |
| ov_SC05_001 | 2323 | 1738 | 0 | 2328 | 2574 | 90.4% |
| ov_SC05_002 | 2306 | 1738 | 0 | 2309 | 2442 | 94.6% |
| ov_SC05_003 | 2303 | 1738 | 0 | 2304 | 2481 | 92.9% |
| ov_SC05_004 | 2299 | 1738 | 0 | 2301 | 2464 | 93.4% |
| ov_SC05_005 | 2304 | 1738 | 0 | 2305 | 2491 | 92.5% |
| ov_SC05_006 | 2297 | 1738 | 0 | 2297 | 2430 | 94.5% |
| ov_SC05_007 | 2307 | 1738 | 0 | 2312 | 2482 | 93.2% |
| ov_SC05_008 | 2324 | 1738 | 0 | 2326 | 2543 | 91.5% |
| ov_SC05_009 | 2303 | 1738 | 0 | 2307 | 2438 | 94.6% |
| ov_SC05_010 | 2330 | 1738 | 0 | 2334 | 2588 | 90.2% |
| ov_SC05_011 | 2299 | 1738 | 0 | 2300 | 2409 | 95.5% |
| ov_SC05_017 | 2406 | 1735 | 0 | 2417 | 2842 | 85.0% |
| ov_SC05_018 | 2353 | 1738 | 0 | 2366 | 2673 | 88.5% |
| ov_SC05_019 | 2304 | 1740 | 0 | 2304 | 2423 | 95.1% |
| ov_SC06_000 | 2368 | 1747 | 0 | 2371 | 2691 | 88.1% |
| ov_SC06_006 | 2320 | 1738 | 0 | 2321 | 2511 | 92.4% |
| ov_SC06_008 | 2340 | 1740 | 0 | 2346 | 2542 | 92.3% |
| ov_SC06_010 | 2320 | 1738 | 0 | 2325 | 2517 | 92.4% |
| ov_SC06_011 | 2308 | 1738 | 0 | 2312 | 2468 | 93.7% |
| ov_SC06_013 | 2302 | 1738 | 0 | 2303 | 2425 | 95.0% |
| ov_SC06_014 | 2308 | 1738 | 0 | 2310 | 2453 | 94.2% |
| ov_SC06_015 | 2305 | 1738 | 0 | 2305 | 2421 | 95.2% |
| ov_SC06_016 | 2323 | 1738 | 0 | 2325 | 2549 | 91.2% |
| ov_SC06_018 | 2332 | 1740 | 0 | 2339 | 2665 | 87.8% |
| ov_SC06_020 | 2312 | 1740 | 0 | 2313 | 2518 | 91.9% |
| ov_SC06_022 | 2331 | 1738 | 0 | 2339 | 2642 | 88.5% |
| ov_SC06_024 | 2341 | 1738 | 0 | 2347 | 2667 | 88.0% |
| ov_SC06_025 | 2325 | 1738 | 0 | 2330 | 2572 | 90.6% |
| ov_SC06_027 | 2290 | 1738 | 0 | 2291 | 2408 | 95.1% |
| ov_SC06_029 | 2351 | 1738 | 0 | 2363 | 2662 | 88.8% |
| ov_SC06_030 | 2304 | 1738 | 0 | 2304 | 2456 | 93.8% |
| ov_SC06_032 | 2326 | 1739 | 0 | 2333 | 2658 | 87.8% |
| ov_SC06_033 | 2328 | 1739 | 0 | 2335 | 2631 | 88.7% |
| ov_SC07_000 | 2319 | 1742 | 0 | 2321 | 2521 | 92.1% |
| ov_SC07_001 | 2303 | 1738 | 0 | 2305 | 2454 | 93.9% |
| ov_SC07_002 | 2331 | 1738 | 0 | 2335 | 2579 | 90.5% |
| ov_SC07_006 | 2092 | 1555 | 0 | 2172 | 2456 | 88.4% |
| ov_SC07_007 | 2095 | 1586 | 0 | 2179 | 2613 | 83.4% |
| ov_SC07_008 | 2288 | 1738 | 0 | 2288 | 2386 | 95.9% |
| ov_SC07_009 | 2297 | 1738 | 0 | 2299 | 2430 | 94.6% |
| ov_SC07_010 | 2128 | 1608 | 0 | 2211 | 2524 | 87.6% |
| ov_SC07_011 | 2095 | 1585 | 0 | 2175 | 2449 | 88.8% |
Reference in New Issue View Git Blame Copy Permalink