mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 21:36:06 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
52e6522f1b9af1363196031924831990570959cd
BFM-decomp/docs/progress.fleet.md
T
Drew T 52e6522f1b feat(phase-29): T0.5 — FREE-subset sweep, 3 families fully banked (389 members, +37,713 ins) 
Re-derived the T0.1 decomposition post-harvest (it was stale by 395 banked members):
  zero-crack pool 76 fams / 347,892 ins  ->  73 fams / 290,850 ins   (the harvest came out of it)
  FREE (sweepable, non-jr, non-O0)       ->  58 fams / 167,368 ins

Swept the top FREE families through the gate_stage ladder (sample 8/8 first, then the rest):
389 banked; func_801463A0 / func_8017B490 / func_80156670 now stubbed in ZERO overlays.
R22 clean-fleet 140/140 BYTE-IDENTICAL; tools-health OK; dedup 1886/0; 0 NON_MATCHING (G4).
Fleet: instr 81.0 -> 81.3% (10,645,711 -> 10,683,424) · distinct-code 68.8 -> 69.0% ·
fn-count 89.30 -> 89.41%.

THE BLOCKER HAS MOVED — it is now OUR OWN PIN GUARD, not gcc and not declarations. Of the 1,083
candidate members in the top 8 FREE families, 680 (63%) were refused by the §42e pinned-exemplar
guard BEFORE any gate ran; only 403 reached staging. Two pieces of evidence say the guard may now be
over-conservative: SESSION-19 banked func_8017A4AC x134 WITH pins once the byte-gate arbitrated, and
Phase 27 dissolved the cc1 SIGABRT that motivated it (it was the extract_unit macro-drop, not a
compiler limit). Next probe: --allow-pins on a sample of 8, byte-gated.

MY OWN SCRIPT BUG, fixed + negative-controlled: the sweep loop globbed `.run/sweep/*/`, which also
matches gate_stage's INTERMEDIATE ladder dirs (-cn, -cn-cast, -cn-cast-rc, -s2in, -s2in-uni). Those
were called as if they were binaries -> 24 phantom "PARTIAL 0/1" lines inflating notbanked to 56 when
the true failure count was ZERO (stub counts 0/0/0 are the ground truth). Fixed by requiring
config/splat.<ov>.yaml to exist; negative control confirms phantoms are skipped and real binaries kept.
2026-07-26 18:32:09 -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: 316267 / 353719 = 89.41% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10683424 / 13141652 = 81.3% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3886524 / 5634875 = 69.0% (65152/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: 10682988 / 13081451 = 81.7%)

FLEET REAL substantive : 314412 (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 : 37445 FLEET matchable : 353719

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 2254 1742 0 2254 2403 93.8%
ov_SC01_001 2257 1743 0 2259 2466 91.6%
ov_SC01_004 2248 1734 0 2249 2414 93.2%
ov_SC01_005 2278 1757 0 2278 2503 91.0%
ov_SC01_006 2278 1757 0 2278 2503 91.0%
ov_SC01_008 2248 1734 0 2250 2426 92.7%
ov_SC01_009 2274 1735 0 2275 2507 90.7%
ov_SC01_074 2252 1735 0 2254 2425 92.9%
ov_SC01_077 2432 1702 0 2434 2585 94.2%
ov_SC01_080 2290 1738 0 2290 2512 91.2%
ov_SC01_084 2297 1738 0 2302 2579 89.3%
ov_SC02_000 2350 1773 0 2350 2683 87.6%
ov_SC02_003 2350 1773 0 2350 2683 87.6%
ov_SC02_004 2256 1738 0 2256 2401 94.0%
ov_SC02_005 2364 1734 0 2374 2927 81.1%
ov_SC02_011 2376 1741 0 2387 2893 82.5%
ov_SC02_015 2257 1740 0 2257 2414 93.5%
ov_SC02_016 2291 1740 0 2294 2545 90.1%
ov_SC02_017 2334 1740 0 2342 2732 85.7%
ov_SC02_021 2263 1740 0 2263 2437 92.9%
ov_SC02_026 2279 1738 0 2285 2572 88.8%
ov_SC02_027 2302 1738 0 2311 2692 85.8%
ov_SC02_028 2304 1738 0 2314 2701 85.7%
ov_SC02_031 2290 1739 0 2295 2562 89.6%
ov_SC02_035 2265 1738 0 2268 2520 90.0%
ov_SC02_039 2249 1738 0 2249 2416 93.1%
ov_SC02_041 2287 1738 0 2290 2561 89.4%
ov_SC03_001 2384 1739 0 2401 2869 83.7%
ov_SC03_002 2310 1743 0 2325 2631 88.4%
ov_SC03_003 2259 1738 0 2260 2423 93.3%
ov_SC03_006 2325 1744 0 2334 2767 84.4%
ov_SC03_007 2304 1738 0 2308 2623 88.0%
ov_SC03_010 2267 1738 0 2267 2471 91.7%
ov_SC03_011 2273 1738 0 2279 2527 90.2%
ov_SC03_012 2251 1738 0 2252 2406 93.6%
ov_SC03_013 2272 1738 0 2272 2493 91.1%
ov_SC03_014 2330 1763 0 2330 2685 86.8%
ov_SC03_015 2330 1763 0 2330 2685 86.8%
ov_SC03_023 2258 1738 0 2259 2435 92.8%
ov_SC03_024 2318 1743 0 2325 2641 88.0%
ov_SC03_028 2298 1738 0 2302 2664 86.4%
ov_SC03_029 2299 1740 0 2309 2644 87.3%
ov_SC03_030 2272 1743 0 2274 2495 91.1%
ov_SC03_031 2269 1738 0 2272 2514 90.4%
ov_SC03_089 2286 1738 0 2293 2581 88.8%
ov_SC03_090 2287 1738 0 2295 2625 87.4%
ov_SC03_091 2290 1738 0 2298 2640 87.0%
ov_SC03_092 2300 1738 0 2312 2587 89.4%
ov_SC03_093 2276 1738 0 2280 2563 89.0%
ov_SC03_094 2271 1738 0 2277 2577 88.4%
ov_SC03_095 2261 1738 0 2264 2474 91.5%
ov_SC03_096 2261 1738 0 2264 2465 91.8%
ov_SC03_097 2291 1738 0 2298 2603 88.3%
ov_SC03_098 2269 1738 0 2272 2541 89.4%
ov_SC03_099 2262 1738 0 2265 2504 90.5%
ov_SC03_100 2272 1738 0 2276 2539 89.6%
ov_SC03_101 2272 1738 0 2276 2528 90.0%
ov_SC03_102 2265 1738 0 2268 2492 91.0%
ov_SC03_103 2267 1740 0 2270 2510 90.4%
ov_SC03_104 2294 1738 0 2301 2616 88.0%
ov_SC03_105 2285 1738 0 2292 2597 88.3%
ov_SC03_108 2253 1738 0 2253 2443 92.2%
ov_SC03_109 2256 1738 0 2258 2424 93.2%
ov_SC03_110 2260 1738 0 2260 2468 91.6%
ov_SC03_111 2271 1738 0 2274 2510 90.6%
ov_SC03_112 2265 1740 0 2267 2526 89.7%
ov_SC03_113 2258 1740 0 2261 2468 91.6%
ov_SC03_114 2248 1738 0 2250 2415 93.2%
ov_SC03_115 2265 1738 0 2267 2472 91.7%
ov_SC03_116 2256 1738 0 2259 2438 92.7%
ov_SC03_117 2283 1738 0 2289 2557 89.5%
ov_SC03_118 2329 1762 0 2330 2685 86.8%
ov_SC03_119 2328 1762 0 2329 2685 86.7%
ov_SC03_121 2263 1738 0 2266 2459 92.2%
ov_SC03_124 2341 1734 0 2361 2741 86.1%
ov_SC03_125 2297 1738 0 2309 2588 89.2%
ov_SC03_126 2260 1740 0 2260 2423 93.3%
ov_SC04_000 2276 1742 0 2285 2546 89.7%
ov_SC04_002 2295 1738 0 2299 2636 87.2%
ov_SC04_003 2271 1738 0 2275 2502 90.9%
ov_SC04_004 2280 1738 0 2282 2558 89.2%
ov_SC04_005 2290 1738 0 2296 2612 87.9%
ov_SC04_006 2260 1738 0 2262 2454 92.2%
ov_SC04_007 2284 1738 0 2288 2569 89.1%
ov_SC04_008 2252 1738 0 2252 2415 93.3%
ov_SC04_009 2267 1738 0 2270 2441 93.0%
ov_SC04_010 2257 1738 0 2258 2419 93.3%
ov_SC04_011 2315 1738 0 2321 2803 82.8%
ov_SC04_012 2254 1738 0 2255 2420 93.2%
ov_SC04_015 2319 1739 0 2330 2611 89.2%
ov_SC04_016 2257 1738 0 2259 2440 92.6%
ov_SC04_018 2367 1773 0 2367 2857 82.8%
ov_SC04_019 2373 1773 0 2373 2857 83.1%
ov_SC04_020 2284 1738 0 2296 2567 89.4%
ov_SC04_021 2261 1740 0 2261 2423 93.3%
ov_SC05_000 2258 1742 0 2261 2422 93.4%
ov_SC05_001 2280 1738 0 2285 2574 88.8%
ov_SC05_002 2263 1738 0 2266 2442 92.8%
ov_SC05_003 2260 1738 0 2261 2481 91.1%
ov_SC05_004 2256 1738 0 2258 2464 91.6%
ov_SC05_005 2261 1738 0 2262 2491 90.8%
ov_SC05_006 2254 1738 0 2254 2430 92.8%
ov_SC05_007 2264 1738 0 2269 2482 91.4%
ov_SC05_008 2281 1738 0 2283 2543 89.8%
ov_SC05_009 2260 1738 0 2264 2438 92.9%
ov_SC05_010 2287 1738 0 2291 2588 88.5%
ov_SC05_011 2256 1738 0 2257 2409 93.7%
ov_SC05_017 2363 1735 0 2374 2842 83.5%
ov_SC05_018 2310 1738 0 2323 2673 86.9%
ov_SC05_019 2261 1740 0 2261 2423 93.3%
ov_SC06_000 2325 1747 0 2328 2691 86.5%
ov_SC06_006 2277 1738 0 2278 2511 90.7%
ov_SC06_008 2296 1740 0 2302 2542 90.6%
ov_SC06_010 2277 1738 0 2282 2517 90.7%
ov_SC06_011 2265 1738 0 2269 2468 91.9%
ov_SC06_013 2259 1738 0 2260 2425 93.2%
ov_SC06_014 2265 1738 0 2267 2453 92.4%
ov_SC06_015 2262 1738 0 2262 2421 93.4%
ov_SC06_016 2280 1738 0 2282 2549 89.5%
ov_SC06_018 2292 1740 0 2299 2665 86.3%
ov_SC06_020 2269 1740 0 2270 2518 90.2%
ov_SC06_022 2288 1738 0 2296 2642 86.9%
ov_SC06_024 2298 1738 0 2304 2667 86.4%
ov_SC06_025 2282 1738 0 2287 2572 88.9%
ov_SC06_027 2247 1738 0 2248 2408 93.4%
ov_SC06_029 2308 1738 0 2320 2662 87.2%
ov_SC06_030 2261 1738 0 2261 2456 92.1%
ov_SC06_032 2283 1739 0 2290 2658 86.2%
ov_SC06_033 2285 1739 0 2292 2631 87.1%
ov_SC07_000 2276 1742 0 2278 2521 90.4%
ov_SC07_001 2260 1738 0 2262 2454 92.2%
ov_SC07_002 2288 1738 0 2292 2579 88.9%
ov_SC07_006 2052 1555 0 2132 2455 86.8%
ov_SC07_007 2047 1586 0 2131 2613 81.6%
ov_SC07_008 2245 1738 0 2245 2386 94.1%
ov_SC07_009 2254 1738 0 2256 2430 92.8%
ov_SC07_010 2079 1608 0 2162 2524 85.7%
ov_SC07_011 2047 1585 0 2127 2449 86.9%
Reference in New Issue View Git Blame Copy Permalink