mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-10-01 15:43:06 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
e1b0cd9acd9feab95bc5c12b9f2265ee2cb7809c
BFM-decomp/docs/progress.fleet.md
T
Drew T b5362c7b7f feat(phase-30): the -O0 cluster HARVEST — 1,364 banks for ZERO agent tokens; fleet 92.71->93.09% fn / 88.3->88.6% instr / 78.7->79.3% distinct 
The payoff of routing the cluster to -O0 (commit:1270). These functions were ALREADY
CRACKED in ov_SC01_077 and could not be banked anywhere else purely because every
destination file compiled -O2. With the destinations now -O0, they template in
deterministically -- no drafting, no agents.

  dedup_propagate --recover  0x8013C360 (h_exact x138)  -> 137 overlays byte-identical
  family_sweep --hseq        10 variant families         -> 1,227 banked / 133 failed (90%)
                                                            1360 staged across 136 groups
  ------------------------------------------------------------------------------------
  1,364 new banks

FLEET: fn-count 92.71 -> 93.09% · instr 88.3 -> 88.6% · distinct-code 78.7 -> 79.3%
(71,756 / 87,459 unique fns; +1,162 unique). dedup 1904 -> 1905 groups, 0 failed;
C1 coverage 240496/240496. 0 NON_MATCHING in any default build (G4).
R22 CLEAN-FLEET: extract-all 139/139 (+main); check-all 140 passed, 0 failed of 140.

--recover WAS LOAD-BEARING (SS75): without it dedup_propagate took its historical
all-or-nothing branch -- one failing overlay (the SOURCE, ov_SC01_077) dropped the whole
function and it printed "all candidates dropped", which reads exactly like a wall. Reading
the exclusion code instead of believing the message showed the remedy: --recover excludes
only that overlay (kept x1 with its own inline match) and propagates to the other 137.

The two has_mid_jr families in the cluster were REFUSED BY DESIGN, not attempted (SS53
interlock): 0x8013C0F8 (154 ins) and 0x8013C414 (329 ins), ~137 members each = ~466
members queued behind the jtbl carve path they actually need, rather than a fake 0% from
the wrong tool.

REMAINING in the cluster: the 133 sweep failures + the 2 jr families + the 3 addresses
never cracked anywhere (0x8013B83C, 0x8013BD74, 0x8013C08C) -- the last are genuine
drafting work, now finally possible since their TU is -O0.
2026-07-31 11:00:42 -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: 329282 / 353720 = 93.09% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 11642166 / 13141652 = 88.6% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 4467496 / 5634875 = 79.3% (71756/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: 11641730 / 13081451 = 89.0%)
FLEET REAL substantive : 327427 (of which dedup-shared 240422 via 1905 groups / 240496 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 24431
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 | 2334 | 1748 | 0 | 2334 | 2403 | 97.1% |
| ov_SC01_001 | 2341 | 1749 | 0 | 2343 | 2466 | 95.0% |
| ov_SC01_004 | 2332 | 1740 | 0 | 2333 | 2414 | 96.6% |
| ov_SC01_005 | 2363 | 1763 | 0 | 2363 | 2503 | 94.4% |
| ov_SC01_006 | 2363 | 1763 | 0 | 2363 | 2503 | 94.4% |
| ov_SC01_008 | 2332 | 1740 | 0 | 2334 | 2426 | 96.2% |
| ov_SC01_009 | 2357 | 1741 | 0 | 2358 | 2507 | 94.1% |
| ov_SC01_074 | 2338 | 1741 | 0 | 2340 | 2425 | 96.5% |
| ov_SC01_077 | 2501 | 1707 | 0 | 2503 | 2585 | 96.8% |
| ov_SC01_080 | 2372 | 1744 | 0 | 2372 | 2512 | 94.4% |
| ov_SC01_084 | 2393 | 1749 | 0 | 2398 | 2579 | 93.0% |
| ov_SC02_000 | 2449 | 1788 | 0 | 2449 | 2683 | 91.3% |
| ov_SC02_003 | 2448 | 1788 | 0 | 2448 | 2683 | 91.2% |
| ov_SC02_004 | 2337 | 1744 | 0 | 2337 | 2401 | 97.3% |
| ov_SC02_005 | 2474 | 1740 | 0 | 2484 | 2927 | 84.9% |
| ov_SC02_011 | 2485 | 1747 | 0 | 2496 | 2893 | 86.3% |
| ov_SC02_015 | 2342 | 1746 | 0 | 2342 | 2414 | 97.0% |
| ov_SC02_016 | 2386 | 1746 | 0 | 2389 | 2545 | 93.9% |
| ov_SC02_017 | 2445 | 1746 | 0 | 2453 | 2732 | 89.8% |
| ov_SC02_021 | 2347 | 1746 | 0 | 2347 | 2437 | 96.3% |
| ov_SC02_026 | 2374 | 1744 | 0 | 2380 | 2572 | 92.5% |
| ov_SC02_027 | 2401 | 1744 | 0 | 2410 | 2692 | 89.5% |
| ov_SC02_028 | 2398 | 1744 | 0 | 2408 | 2701 | 89.2% |
| ov_SC02_031 | 2385 | 1745 | 0 | 2390 | 2562 | 93.3% |
| ov_SC02_035 | 2359 | 1744 | 0 | 2362 | 2520 | 93.7% |
| ov_SC02_039 | 2336 | 1744 | 0 | 2336 | 2416 | 96.7% |
| ov_SC02_041 | 2386 | 1744 | 0 | 2389 | 2561 | 93.3% |
| ov_SC03_001 | 2487 | 1745 | 0 | 2504 | 2869 | 87.3% |
| ov_SC03_002 | 2399 | 1749 | 0 | 2414 | 2631 | 91.8% |
| ov_SC03_003 | 2343 | 1744 | 0 | 2344 | 2423 | 96.7% |
| ov_SC03_006 | 2429 | 1750 | 0 | 2438 | 2767 | 88.1% |
| ov_SC03_007 | 2397 | 1744 | 0 | 2401 | 2623 | 91.5% |
| ov_SC03_010 | 2355 | 1744 | 0 | 2355 | 2471 | 95.3% |
| ov_SC03_011 | 2359 | 1744 | 0 | 2365 | 2527 | 93.6% |
| ov_SC03_012 | 2334 | 1744 | 0 | 2335 | 2406 | 97.0% |
| ov_SC03_013 | 2361 | 1744 | 0 | 2361 | 2493 | 94.7% |
| ov_SC03_014 | 2438 | 1772 | 0 | 2438 | 2685 | 90.8% |
| ov_SC03_015 | 2437 | 1772 | 0 | 2437 | 2685 | 90.8% |
| ov_SC03_023 | 2345 | 1744 | 0 | 2346 | 2435 | 96.3% |
| ov_SC03_024 | 2411 | 1749 | 0 | 2418 | 2641 | 91.6% |
| ov_SC03_028 | 2381 | 1744 | 0 | 2385 | 2664 | 89.5% |
| ov_SC03_029 | 2398 | 1746 | 0 | 2408 | 2644 | 91.1% |
| ov_SC03_030 | 2356 | 1749 | 0 | 2358 | 2495 | 94.5% |
| ov_SC03_031 | 2357 | 1744 | 0 | 2360 | 2514 | 93.9% |
| ov_SC03_089 | 2382 | 1749 | 0 | 2389 | 2581 | 92.6% |
| ov_SC03_090 | 2385 | 1749 | 0 | 2393 | 2625 | 91.2% |
| ov_SC03_091 | 2382 | 1744 | 0 | 2390 | 2640 | 90.5% |
| ov_SC03_092 | 2405 | 1749 | 0 | 2417 | 2587 | 93.4% |
| ov_SC03_093 | 2370 | 1744 | 0 | 2374 | 2563 | 92.6% |
| ov_SC03_094 | 2361 | 1744 | 0 | 2367 | 2577 | 91.9% |
| ov_SC03_095 | 2349 | 1744 | 0 | 2352 | 2474 | 95.1% |
| ov_SC03_096 | 2350 | 1744 | 0 | 2353 | 2465 | 95.5% |
| ov_SC03_097 | 2392 | 1744 | 0 | 2399 | 2603 | 92.2% |
| ov_SC03_098 | 2361 | 1744 | 0 | 2364 | 2541 | 93.0% |
| ov_SC03_099 | 2351 | 1744 | 0 | 2354 | 2504 | 94.0% |
| ov_SC03_100 | 2365 | 1744 | 0 | 2369 | 2539 | 93.3% |
| ov_SC03_101 | 2373 | 1749 | 0 | 2377 | 2528 | 94.0% |
| ov_SC03_102 | 2351 | 1744 | 0 | 2354 | 2492 | 94.5% |
| ov_SC03_103 | 2356 | 1746 | 0 | 2359 | 2510 | 94.0% |
| ov_SC03_104 | 2391 | 1749 | 0 | 2398 | 2616 | 91.7% |
| ov_SC03_105 | 2371 | 1744 | 0 | 2378 | 2597 | 91.6% |
| ov_SC03_108 | 2339 | 1744 | 0 | 2339 | 2443 | 95.7% |
| ov_SC03_109 | 2342 | 1744 | 0 | 2344 | 2424 | 96.7% |
| ov_SC03_110 | 2347 | 1744 | 0 | 2347 | 2468 | 95.1% |
| ov_SC03_111 | 2363 | 1744 | 0 | 2366 | 2510 | 94.3% |
| ov_SC03_112 | 2357 | 1746 | 0 | 2359 | 2526 | 93.4% |
| ov_SC03_113 | 2346 | 1746 | 0 | 2349 | 2468 | 95.2% |
| ov_SC03_114 | 2332 | 1744 | 0 | 2334 | 2415 | 96.6% |
| ov_SC03_115 | 2354 | 1744 | 0 | 2356 | 2472 | 95.3% |
| ov_SC03_116 | 2340 | 1744 | 0 | 2343 | 2438 | 96.1% |
| ov_SC03_117 | 2378 | 1744 | 0 | 2384 | 2557 | 93.2% |
| ov_SC03_118 | 2428 | 1768 | 0 | 2429 | 2685 | 90.5% |
| ov_SC03_119 | 2424 | 1768 | 0 | 2425 | 2685 | 90.3% |
| ov_SC03_121 | 2348 | 1744 | 0 | 2351 | 2459 | 95.6% |
| ov_SC03_124 | 2442 | 1740 | 0 | 2462 | 2741 | 89.8% |
| ov_SC03_125 | 2386 | 1744 | 0 | 2398 | 2588 | 92.7% |
| ov_SC03_126 | 2345 | 1746 | 0 | 2345 | 2423 | 96.8% |
| ov_SC04_000 | 2372 | 1748 | 0 | 2381 | 2546 | 93.5% |
| ov_SC04_002 | 2396 | 1744 | 0 | 2400 | 2636 | 91.0% |
| ov_SC04_003 | 2360 | 1744 | 0 | 2364 | 2502 | 94.5% |
| ov_SC04_004 | 2373 | 1744 | 0 | 2375 | 2558 | 92.8% |
| ov_SC04_005 | 2385 | 1744 | 0 | 2391 | 2612 | 91.5% |
| ov_SC04_006 | 2349 | 1744 | 0 | 2351 | 2454 | 95.8% |
| ov_SC04_007 | 2379 | 1744 | 0 | 2383 | 2569 | 92.8% |
| ov_SC04_008 | 2337 | 1744 | 0 | 2337 | 2415 | 96.8% |
| ov_SC04_009 | 2353 | 1744 | 0 | 2356 | 2441 | 96.5% |
| ov_SC04_010 | 2341 | 1744 | 0 | 2342 | 2419 | 96.8% |
| ov_SC04_011 | 2416 | 1749 | 0 | 2422 | 2803 | 86.4% |
| ov_SC04_012 | 2339 | 1744 | 0 | 2340 | 2420 | 96.7% |
| ov_SC04_015 | 2411 | 1745 | 0 | 2422 | 2611 | 92.8% |
| ov_SC04_016 | 2341 | 1744 | 0 | 2343 | 2440 | 96.0% |
| ov_SC04_018 | 2493 | 1780 | 0 | 2493 | 2857 | 87.3% |
| ov_SC04_019 | 2489 | 1780 | 0 | 2489 | 2857 | 87.1% |
| ov_SC04_020 | 2374 | 1744 | 0 | 2386 | 2567 | 92.9% |
| ov_SC04_021 | 2345 | 1746 | 0 | 2345 | 2423 | 96.8% |
| ov_SC05_000 | 2343 | 1748 | 0 | 2346 | 2422 | 96.9% |
| ov_SC05_001 | 2375 | 1744 | 0 | 2380 | 2574 | 92.5% |
| ov_SC05_002 | 2351 | 1744 | 0 | 2354 | 2442 | 96.4% |
| ov_SC05_003 | 2347 | 1744 | 0 | 2348 | 2481 | 94.6% |
| ov_SC05_004 | 2342 | 1744 | 0 | 2344 | 2464 | 95.1% |
| ov_SC05_005 | 2358 | 1749 | 0 | 2359 | 2491 | 94.7% |
| ov_SC05_006 | 2343 | 1744 | 0 | 2343 | 2430 | 96.4% |
| ov_SC05_007 | 2352 | 1744 | 0 | 2357 | 2482 | 95.0% |
| ov_SC05_008 | 2370 | 1744 | 0 | 2372 | 2543 | 93.3% |
| ov_SC05_009 | 2345 | 1744 | 0 | 2349 | 2438 | 96.3% |
| ov_SC05_010 | 2377 | 1744 | 0 | 2381 | 2588 | 92.0% |
| ov_SC05_011 | 2340 | 1744 | 0 | 2341 | 2409 | 97.2% |
| ov_SC05_017 | 2471 | 1741 | 0 | 2482 | 2842 | 87.3% |
| ov_SC05_018 | 2405 | 1744 | 0 | 2418 | 2673 | 90.5% |
| ov_SC05_019 | 2345 | 1746 | 0 | 2345 | 2423 | 96.8% |
| ov_SC06_000 | 2430 | 1753 | 0 | 2433 | 2691 | 90.4% |
| ov_SC06_006 | 2364 | 1744 | 0 | 2365 | 2511 | 94.2% |
| ov_SC06_008 | 2389 | 1746 | 0 | 2395 | 2542 | 94.2% |
| ov_SC06_010 | 2368 | 1744 | 0 | 2373 | 2517 | 94.3% |
| ov_SC06_011 | 2349 | 1744 | 0 | 2353 | 2468 | 95.3% |
| ov_SC06_013 | 2343 | 1744 | 0 | 2344 | 2425 | 96.7% |
| ov_SC06_014 | 2350 | 1744 | 0 | 2352 | 2453 | 95.9% |
| ov_SC06_015 | 2348 | 1744 | 0 | 2348 | 2421 | 97.0% |
| ov_SC06_016 | 2365 | 1744 | 0 | 2367 | 2549 | 92.9% |
| ov_SC06_018 | 2392 | 1746 | 0 | 2399 | 2665 | 90.0% |
| ov_SC06_020 | 2360 | 1746 | 0 | 2361 | 2518 | 93.8% |
| ov_SC06_022 | 2385 | 1744 | 0 | 2393 | 2642 | 90.6% |
| ov_SC06_024 | 2396 | 1744 | 0 | 2402 | 2667 | 90.1% |
| ov_SC06_025 | 2375 | 1744 | 0 | 2380 | 2572 | 92.5% |
| ov_SC06_027 | 2335 | 1744 | 0 | 2336 | 2408 | 97.0% |
| ov_SC06_029 | 2400 | 1744 | 0 | 2412 | 2662 | 90.6% |
| ov_SC06_030 | 2348 | 1744 | 0 | 2348 | 2456 | 95.6% |
| ov_SC06_032 | 2382 | 1745 | 0 | 2389 | 2658 | 89.9% |
| ov_SC06_033 | 2382 | 1745 | 0 | 2389 | 2631 | 90.8% |
| ov_SC07_000 | 2361 | 1748 | 0 | 2363 | 2521 | 93.7% |
| ov_SC07_001 | 2347 | 1744 | 0 | 2349 | 2454 | 95.7% |
| ov_SC07_002 | 2375 | 1744 | 0 | 2379 | 2579 | 92.2% |
| ov_SC07_006 | 2233 | 1560 | 0 | 2313 | 2456 | 94.2% |
| ov_SC07_007 | 2253 | 1592 | 0 | 2337 | 2613 | 89.4% |
| ov_SC07_008 | 2329 | 1744 | 0 | 2329 | 2386 | 97.6% |
| ov_SC07_009 | 2339 | 1744 | 0 | 2341 | 2430 | 96.3% |
| ov_SC07_010 | 2245 | 1614 | 0 | 2328 | 2524 | 92.2% |
| ov_SC07_011 | 2253 | 1591 | 0 | 2333 | 2449 | 95.3% |
Reference in New Issue View Git Blame Copy Permalink