mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-10-03 16:16:50 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
fa6d9c88e6953e2cf1c55e9abd32c20e2d39e5d2
BFM-decomp/docs/progress.fleet.md
T
Drew T 2d7694ba2d feat(phase-29): T58 — 8-family batch: 1 of 6 banked (func_8012A1BC 137/137, +10,686 ins) 
Ran the batch with the T57 recipe (--band all --normalize-self-decls, live stubs derived from src/
not the stale map). 6 of 8 selected (two still filtered — selection line read this time).

  821 candidate members across 6 families
  BANKED 137 — func_8012A1BC (78 ins) 137/137
  failed 684 — the other FIVE families banked 0 each

Attribution from git diff (137 x func_8012A1BC), not the per-group log lines whose split-name field
my first aggregation mangled.

THE SHAPE OF THE REMAINING FRONTIER — the finding. Across T56->T58 the per-family outcome is BINARY
and near-total: a family banks ~137/137 or ~0/137, nothing in between. And each 0/N so far has had
its OWN distinct cause — DATA decl scope (T56), FUNCTION decl scope (T57), jtbl table-count drift
(func_8014032C), plus five more undiagnosed here. The mechanical lever is done pulling by itself:
from here each family costs one diagnosis. A batch is now a DIAGNOSIS QUEUE, not a harvest, and the
next phase of this work should be planned on that economics.

GATES: R22 clean-fleet 140 passed, 0 failed of 140; tools-health OK (corpus 0 PHANTOM + 0 TRUNCATED,
cdecl, audit-binaries, dedup 1886/0); 0 NON_MATCHING (G4).

METRICS: instr 86.0% (11297091 -> 11307777 = +10,686 ins); fn-count 90.73% -> 90.77% (+137);
distinct-code 76.7% -> 76.7% (+0).
The distinct-code anomaly now has FOUR data points and still no explanation: T52 +125, T57 +125,
T56 +0, T58 +0. All four families are PURE; the exemplar overlay does not separate them either (T56
and T57 both templated from ov_SC01_077 and disagree). Two behaviours, no identified variable.
Still not guessed at — it stays the queued probe.
2026-07-28 20:55:35 -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: 321061 / 353720 = 90.77% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 11307777 / 13141652 = 86.0% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 4322517 / 5634875 = 76.7% (67937/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: 11307341 / 13081451 = 86.4%)
FLEET REAL substantive : 319206 (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 : 32652
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 | 2287 | 1742 | 0 | 2287 | 2403 | 95.2% |
| ov_SC01_001 | 2292 | 1743 | 0 | 2294 | 2466 | 93.0% |
| ov_SC01_004 | 2282 | 1734 | 0 | 2283 | 2414 | 94.6% |
| ov_SC01_005 | 2312 | 1757 | 0 | 2312 | 2503 | 92.4% |
| ov_SC01_006 | 2312 | 1757 | 0 | 2312 | 2503 | 92.4% |
| ov_SC01_008 | 2282 | 1734 | 0 | 2284 | 2426 | 94.1% |
| ov_SC01_009 | 2308 | 1735 | 0 | 2309 | 2507 | 92.1% |
| ov_SC01_074 | 2286 | 1735 | 0 | 2288 | 2425 | 94.4% |
| ov_SC01_077 | 2465 | 1702 | 0 | 2467 | 2585 | 95.4% |
| ov_SC01_080 | 2324 | 1738 | 0 | 2324 | 2512 | 92.5% |
| ov_SC01_084 | 2331 | 1738 | 0 | 2336 | 2579 | 90.6% |
| ov_SC02_000 | 2384 | 1773 | 0 | 2384 | 2683 | 88.9% |
| ov_SC02_003 | 2384 | 1773 | 0 | 2384 | 2683 | 88.9% |
| ov_SC02_004 | 2290 | 1738 | 0 | 2290 | 2401 | 95.4% |
| ov_SC02_005 | 2398 | 1734 | 0 | 2408 | 2927 | 82.3% |
| ov_SC02_011 | 2411 | 1741 | 0 | 2422 | 2893 | 83.7% |
| ov_SC02_015 | 2292 | 1740 | 0 | 2292 | 2414 | 94.9% |
| ov_SC02_016 | 2326 | 1740 | 0 | 2329 | 2545 | 91.5% |
| ov_SC02_017 | 2370 | 1740 | 0 | 2378 | 2732 | 87.0% |
| ov_SC02_021 | 2298 | 1740 | 0 | 2298 | 2437 | 94.3% |
| ov_SC02_026 | 2313 | 1738 | 0 | 2319 | 2572 | 90.2% |
| ov_SC02_027 | 2336 | 1738 | 0 | 2345 | 2692 | 87.1% |
| ov_SC02_028 | 2338 | 1738 | 0 | 2348 | 2701 | 86.9% |
| ov_SC02_031 | 2324 | 1739 | 0 | 2329 | 2562 | 90.9% |
| ov_SC02_035 | 2299 | 1738 | 0 | 2302 | 2520 | 91.3% |
| ov_SC02_039 | 2283 | 1738 | 0 | 2283 | 2416 | 94.5% |
| ov_SC02_041 | 2321 | 1738 | 0 | 2324 | 2561 | 90.7% |
| ov_SC03_001 | 2418 | 1739 | 0 | 2435 | 2869 | 84.9% |
| ov_SC03_002 | 2344 | 1743 | 0 | 2359 | 2631 | 89.7% |
| ov_SC03_003 | 2293 | 1738 | 0 | 2294 | 2423 | 94.7% |
| ov_SC03_006 | 2361 | 1744 | 0 | 2370 | 2767 | 85.7% |
| ov_SC03_007 | 2338 | 1738 | 0 | 2342 | 2623 | 89.3% |
| ov_SC03_010 | 2301 | 1738 | 0 | 2301 | 2471 | 93.1% |
| ov_SC03_011 | 2307 | 1738 | 0 | 2313 | 2527 | 91.5% |
| ov_SC03_012 | 2285 | 1738 | 0 | 2286 | 2406 | 95.0% |
| ov_SC03_013 | 2306 | 1738 | 0 | 2306 | 2493 | 92.5% |
| ov_SC03_014 | 2364 | 1763 | 0 | 2364 | 2685 | 88.0% |
| ov_SC03_015 | 2364 | 1763 | 0 | 2364 | 2685 | 88.0% |
| ov_SC03_023 | 2292 | 1738 | 0 | 2293 | 2435 | 94.2% |
| ov_SC03_024 | 2352 | 1743 | 0 | 2359 | 2641 | 89.3% |
| ov_SC03_028 | 2332 | 1738 | 0 | 2336 | 2664 | 87.7% |
| ov_SC03_029 | 2334 | 1740 | 0 | 2344 | 2644 | 88.7% |
| ov_SC03_030 | 2307 | 1743 | 0 | 2309 | 2495 | 92.5% |
| ov_SC03_031 | 2303 | 1738 | 0 | 2306 | 2514 | 91.7% |
| ov_SC03_089 | 2320 | 1738 | 0 | 2327 | 2581 | 90.2% |
| ov_SC03_090 | 2321 | 1738 | 0 | 2329 | 2625 | 88.7% |
| ov_SC03_091 | 2324 | 1738 | 0 | 2332 | 2640 | 88.3% |
| ov_SC03_092 | 2334 | 1738 | 0 | 2346 | 2587 | 90.7% |
| ov_SC03_093 | 2310 | 1738 | 0 | 2314 | 2563 | 90.3% |
| ov_SC03_094 | 2305 | 1738 | 0 | 2311 | 2577 | 89.7% |
| ov_SC03_095 | 2295 | 1738 | 0 | 2298 | 2474 | 92.9% |
| ov_SC03_096 | 2295 | 1738 | 0 | 2298 | 2465 | 93.2% |
| ov_SC03_097 | 2325 | 1738 | 0 | 2332 | 2603 | 89.6% |
| ov_SC03_098 | 2303 | 1738 | 0 | 2306 | 2541 | 90.8% |
| ov_SC03_099 | 2296 | 1738 | 0 | 2299 | 2504 | 91.8% |
| ov_SC03_100 | 2306 | 1738 | 0 | 2310 | 2539 | 91.0% |
| ov_SC03_101 | 2306 | 1738 | 0 | 2310 | 2528 | 91.4% |
| ov_SC03_102 | 2299 | 1738 | 0 | 2302 | 2492 | 92.4% |
| ov_SC03_103 | 2302 | 1740 | 0 | 2305 | 2510 | 91.8% |
| ov_SC03_104 | 2328 | 1738 | 0 | 2335 | 2616 | 89.3% |
| ov_SC03_105 | 2319 | 1738 | 0 | 2326 | 2597 | 89.6% |
| ov_SC03_108 | 2286 | 1738 | 0 | 2286 | 2443 | 93.6% |
| ov_SC03_109 | 2290 | 1738 | 0 | 2292 | 2424 | 94.6% |
| ov_SC03_110 | 2294 | 1738 | 0 | 2294 | 2468 | 92.9% |
| ov_SC03_111 | 2305 | 1738 | 0 | 2308 | 2510 | 92.0% |
| ov_SC03_112 | 2301 | 1740 | 0 | 2303 | 2526 | 91.2% |
| ov_SC03_113 | 2294 | 1740 | 0 | 2297 | 2468 | 93.1% |
| ov_SC03_114 | 2283 | 1738 | 0 | 2285 | 2415 | 94.6% |
| ov_SC03_115 | 2300 | 1738 | 0 | 2302 | 2472 | 93.1% |
| ov_SC03_116 | 2291 | 1738 | 0 | 2294 | 2438 | 94.1% |
| ov_SC03_117 | 2318 | 1738 | 0 | 2324 | 2557 | 90.9% |
| ov_SC03_118 | 2364 | 1762 | 0 | 2365 | 2685 | 88.1% |
| ov_SC03_119 | 2363 | 1762 | 0 | 2364 | 2685 | 88.0% |
| ov_SC03_121 | 2298 | 1738 | 0 | 2301 | 2459 | 93.6% |
| ov_SC03_124 | 2376 | 1734 | 0 | 2396 | 2741 | 87.4% |
| ov_SC03_125 | 2332 | 1738 | 0 | 2344 | 2588 | 90.6% |
| ov_SC03_126 | 2295 | 1740 | 0 | 2295 | 2423 | 94.7% |
| ov_SC04_000 | 2311 | 1742 | 0 | 2320 | 2546 | 91.1% |
| ov_SC04_002 | 2330 | 1738 | 0 | 2334 | 2636 | 88.5% |
| ov_SC04_003 | 2306 | 1738 | 0 | 2310 | 2502 | 92.3% |
| ov_SC04_004 | 2315 | 1738 | 0 | 2317 | 2558 | 90.6% |
| ov_SC04_005 | 2325 | 1738 | 0 | 2331 | 2612 | 89.2% |
| ov_SC04_006 | 2295 | 1738 | 0 | 2297 | 2454 | 93.6% |
| ov_SC04_007 | 2319 | 1738 | 0 | 2323 | 2569 | 90.4% |
| ov_SC04_008 | 2287 | 1738 | 0 | 2287 | 2415 | 94.7% |
| ov_SC04_009 | 2302 | 1738 | 0 | 2305 | 2441 | 94.4% |
| ov_SC04_010 | 2292 | 1738 | 0 | 2293 | 2419 | 94.8% |
| ov_SC04_011 | 2350 | 1738 | 0 | 2356 | 2803 | 84.1% |
| ov_SC04_012 | 2289 | 1738 | 0 | 2290 | 2420 | 94.6% |
| ov_SC04_015 | 2354 | 1739 | 0 | 2365 | 2611 | 90.6% |
| ov_SC04_016 | 2292 | 1738 | 0 | 2294 | 2440 | 94.0% |
| ov_SC04_018 | 2402 | 1773 | 0 | 2402 | 2857 | 84.1% |
| ov_SC04_019 | 2408 | 1773 | 0 | 2408 | 2857 | 84.3% |
| ov_SC04_020 | 2319 | 1738 | 0 | 2331 | 2567 | 90.8% |
| ov_SC04_021 | 2296 | 1740 | 0 | 2296 | 2423 | 94.8% |
| ov_SC05_000 | 2293 | 1742 | 0 | 2296 | 2422 | 94.8% |
| ov_SC05_001 | 2315 | 1738 | 0 | 2320 | 2574 | 90.1% |
| ov_SC05_002 | 2298 | 1738 | 0 | 2301 | 2442 | 94.2% |
| ov_SC05_003 | 2295 | 1738 | 0 | 2296 | 2481 | 92.5% |
| ov_SC05_004 | 2291 | 1738 | 0 | 2293 | 2464 | 93.1% |
| ov_SC05_005 | 2296 | 1738 | 0 | 2297 | 2491 | 92.2% |
| ov_SC05_006 | 2289 | 1738 | 0 | 2289 | 2430 | 94.2% |
| ov_SC05_007 | 2299 | 1738 | 0 | 2304 | 2482 | 92.8% |
| ov_SC05_008 | 2316 | 1738 | 0 | 2318 | 2543 | 91.2% |
| ov_SC05_009 | 2295 | 1738 | 0 | 2299 | 2438 | 94.3% |
| ov_SC05_010 | 2322 | 1738 | 0 | 2326 | 2588 | 89.9% |
| ov_SC05_011 | 2291 | 1738 | 0 | 2292 | 2409 | 95.1% |
| ov_SC05_017 | 2398 | 1735 | 0 | 2409 | 2842 | 84.8% |
| ov_SC05_018 | 2345 | 1738 | 0 | 2358 | 2673 | 88.2% |
| ov_SC05_019 | 2296 | 1740 | 0 | 2296 | 2423 | 94.8% |
| ov_SC06_000 | 2360 | 1747 | 0 | 2363 | 2691 | 87.8% |
| ov_SC06_006 | 2312 | 1738 | 0 | 2313 | 2511 | 92.1% |
| ov_SC06_008 | 2332 | 1740 | 0 | 2338 | 2542 | 92.0% |
| ov_SC06_010 | 2312 | 1738 | 0 | 2317 | 2517 | 92.1% |
| ov_SC06_011 | 2300 | 1738 | 0 | 2304 | 2468 | 93.4% |
| ov_SC06_013 | 2294 | 1738 | 0 | 2295 | 2425 | 94.6% |
| ov_SC06_014 | 2300 | 1738 | 0 | 2302 | 2453 | 93.8% |
| ov_SC06_015 | 2297 | 1738 | 0 | 2297 | 2421 | 94.9% |
| ov_SC06_016 | 2315 | 1738 | 0 | 2317 | 2549 | 90.9% |
| ov_SC06_018 | 2324 | 1740 | 0 | 2331 | 2665 | 87.5% |
| ov_SC06_020 | 2304 | 1740 | 0 | 2305 | 2518 | 91.5% |
| ov_SC06_022 | 2323 | 1738 | 0 | 2331 | 2642 | 88.2% |
| ov_SC06_024 | 2333 | 1738 | 0 | 2339 | 2667 | 87.7% |
| ov_SC06_025 | 2317 | 1738 | 0 | 2322 | 2572 | 90.3% |
| ov_SC06_027 | 2282 | 1738 | 0 | 2283 | 2408 | 94.8% |
| ov_SC06_029 | 2343 | 1738 | 0 | 2355 | 2662 | 88.5% |
| ov_SC06_030 | 2296 | 1738 | 0 | 2296 | 2456 | 93.5% |
| ov_SC06_032 | 2318 | 1739 | 0 | 2325 | 2658 | 87.5% |
| ov_SC06_033 | 2320 | 1739 | 0 | 2327 | 2631 | 88.4% |
| ov_SC07_000 | 2311 | 1742 | 0 | 2313 | 2521 | 91.7% |
| ov_SC07_001 | 2295 | 1738 | 0 | 2297 | 2454 | 93.6% |
| ov_SC07_002 | 2323 | 1738 | 0 | 2327 | 2579 | 90.2% |
| ov_SC07_006 | 2091 | 1555 | 0 | 2171 | 2456 | 88.4% |
| ov_SC07_007 | 2087 | 1586 | 0 | 2171 | 2613 | 83.1% |
| ov_SC07_008 | 2280 | 1738 | 0 | 2280 | 2386 | 95.6% |
| ov_SC07_009 | 2289 | 1738 | 0 | 2291 | 2430 | 94.3% |
| ov_SC07_010 | 2120 | 1608 | 0 | 2203 | 2524 | 87.3% |
| ov_SC07_011 | 2087 | 1585 | 0 | 2167 | 2449 | 88.5% |
Reference in New Issue View Git Blame Copy Permalink