mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 05:56:00 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
ee55bd5caecda68411224655fd40d7725f585162
BFM-decomp/docs/progress.fleet.md
T
Drew T e47d68c075 feat(phase-29): func_80135EB0 family banked 137/137 via jtbl_family_bank (R22 140/140) 
The largest single family on the census: 137 siblings x 289 ins. Per sibling — jtbl_carve -> make
extract -> remap_hseq + canon_sig_reconcile -> whole-binary gate, revert-on-fail. 137/137 BANKED,
0 failed. R22 clean-fleet 140 passed / 0 failed of 140; report fail-closed green (dedup 1886/0,
C1 coverage 239604/239604, 0 NON_MATCHING).

MEASURED: fn-count 318,171 -> 318,309 (+138); instr-weighted 83.4 -> 83.8% (+39,882 ins);
distinct-code 72.5 -> 73.2% (+131 unique fns).

TWO TOOL REFUSALS MADE THIS BANK POSSIBLE, and both deserve recording:
- family_sweep REFUSED the family (has_mid_jr): §53's carve law says a carve-less sweep there returns
  "a 0% that is a TOOL artifact, not a wall". Overriding with --allow-jr would have yielded 0/137 and
  plausibly filed the highest-value family on the board as a wall.
- jtbl_family_bank REFUSED a dirty tree: its per-sibling revert restores from HEAD, so the
  uncommitted 414-file decl axis would have been destroyed. H4 enforced in code.
This is the inverse of the session's earlier failures, which all came from tools that ANSWERED
instead of refusing.

SESSION-22 TOTAL: 5 exemplars + 543 members = 548 functions.
Fleet: 82.9 -> 83.8% instr, 71.5 -> 73.2% distinct-code.
2026-07-27 18:59:58 -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: 318309 / 353720 = 89.99% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 11006535 / 13141652 = 83.8% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 4125521 / 5634875 = 73.2% (66371/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: 11006099 / 13081451 = 84.1%)

FLEET REAL substantive : 316454 (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 : 35404 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 2267 1742 0 2267 2403 94.3%
ov_SC01_001 2272 1743 0 2274 2466 92.2%
ov_SC01_004 2262 1734 0 2263 2414 93.7%
ov_SC01_005 2292 1757 0 2292 2503 91.6%
ov_SC01_006 2292 1757 0 2292 2503 91.6%
ov_SC01_008 2262 1734 0 2264 2426 93.3%
ov_SC01_009 2288 1735 0 2289 2507 91.3%
ov_SC01_074 2266 1735 0 2268 2425 93.5%
ov_SC01_077 2445 1702 0 2447 2585 94.7%
ov_SC01_080 2304 1738 0 2304 2512 91.7%
ov_SC01_084 2311 1738 0 2316 2579 89.8%
ov_SC02_000 2364 1773 0 2364 2683 88.1%
ov_SC02_003 2364 1773 0 2364 2683 88.1%
ov_SC02_004 2270 1738 0 2270 2401 94.5%
ov_SC02_005 2378 1734 0 2388 2927 81.6%
ov_SC02_011 2391 1741 0 2402 2893 83.0%
ov_SC02_015 2272 1740 0 2272 2414 94.1%
ov_SC02_016 2306 1740 0 2309 2545 90.7%
ov_SC02_017 2349 1740 0 2357 2732 86.3%
ov_SC02_021 2278 1740 0 2278 2437 93.5%
ov_SC02_026 2293 1738 0 2299 2572 89.4%
ov_SC02_027 2316 1738 0 2325 2692 86.4%
ov_SC02_028 2318 1738 0 2328 2701 86.2%
ov_SC02_031 2304 1739 0 2309 2562 90.1%
ov_SC02_035 2279 1738 0 2282 2520 90.6%
ov_SC02_039 2263 1738 0 2263 2416 93.7%
ov_SC02_041 2301 1738 0 2304 2561 90.0%
ov_SC03_001 2398 1739 0 2415 2869 84.2%
ov_SC03_002 2324 1743 0 2339 2631 88.9%
ov_SC03_003 2273 1738 0 2274 2423 93.9%
ov_SC03_006 2340 1744 0 2349 2767 84.9%
ov_SC03_007 2318 1738 0 2322 2623 88.5%
ov_SC03_010 2281 1738 0 2281 2471 92.3%
ov_SC03_011 2287 1738 0 2293 2527 90.7%
ov_SC03_012 2265 1738 0 2266 2406 94.2%
ov_SC03_013 2286 1738 0 2286 2493 91.7%
ov_SC03_014 2344 1763 0 2344 2685 87.3%
ov_SC03_015 2344 1763 0 2344 2685 87.3%
ov_SC03_023 2272 1738 0 2273 2435 93.3%
ov_SC03_024 2332 1743 0 2339 2641 88.6%
ov_SC03_028 2312 1738 0 2316 2664 86.9%
ov_SC03_029 2314 1740 0 2324 2644 87.9%
ov_SC03_030 2287 1743 0 2289 2495 91.7%
ov_SC03_031 2283 1738 0 2286 2514 90.9%
ov_SC03_089 2300 1738 0 2307 2581 89.4%
ov_SC03_090 2301 1738 0 2309 2625 88.0%
ov_SC03_091 2304 1738 0 2312 2640 87.6%
ov_SC03_092 2314 1738 0 2326 2587 89.9%
ov_SC03_093 2290 1738 0 2294 2563 89.5%
ov_SC03_094 2285 1738 0 2291 2577 88.9%
ov_SC03_095 2275 1738 0 2278 2474 92.1%
ov_SC03_096 2275 1738 0 2278 2465 92.4%
ov_SC03_097 2305 1738 0 2312 2603 88.8%
ov_SC03_098 2283 1738 0 2286 2541 90.0%
ov_SC03_099 2276 1738 0 2279 2504 91.0%
ov_SC03_100 2286 1738 0 2290 2539 90.2%
ov_SC03_101 2286 1738 0 2290 2528 90.6%
ov_SC03_102 2279 1738 0 2282 2492 91.6%
ov_SC03_103 2282 1740 0 2285 2510 91.0%
ov_SC03_104 2308 1738 0 2315 2616 88.5%
ov_SC03_105 2299 1738 0 2306 2597 88.8%
ov_SC03_108 2266 1738 0 2266 2443 92.8%
ov_SC03_109 2270 1738 0 2272 2424 93.7%
ov_SC03_110 2274 1738 0 2274 2468 92.1%
ov_SC03_111 2285 1738 0 2288 2510 91.2%
ov_SC03_112 2281 1740 0 2283 2526 90.4%
ov_SC03_113 2274 1740 0 2277 2468 92.3%
ov_SC03_114 2263 1738 0 2265 2415 93.8%
ov_SC03_115 2280 1738 0 2282 2472 92.3%
ov_SC03_116 2271 1738 0 2274 2438 93.3%
ov_SC03_117 2298 1738 0 2304 2557 90.1%
ov_SC03_118 2344 1762 0 2345 2685 87.3%
ov_SC03_119 2343 1762 0 2344 2685 87.3%
ov_SC03_121 2278 1738 0 2281 2459 92.8%
ov_SC03_124 2356 1734 0 2376 2741 86.7%
ov_SC03_125 2312 1738 0 2324 2588 89.8%
ov_SC03_126 2275 1740 0 2275 2423 93.9%
ov_SC04_000 2291 1742 0 2300 2546 90.3%
ov_SC04_002 2310 1738 0 2314 2636 87.8%
ov_SC04_003 2286 1738 0 2290 2502 91.5%
ov_SC04_004 2295 1738 0 2297 2558 89.8%
ov_SC04_005 2305 1738 0 2311 2612 88.5%
ov_SC04_006 2275 1738 0 2277 2454 92.8%
ov_SC04_007 2299 1738 0 2303 2569 89.6%
ov_SC04_008 2267 1738 0 2267 2415 93.9%
ov_SC04_009 2282 1738 0 2285 2441 93.6%
ov_SC04_010 2272 1738 0 2273 2419 94.0%
ov_SC04_011 2330 1738 0 2336 2803 83.3%
ov_SC04_012 2269 1738 0 2270 2420 93.8%
ov_SC04_015 2334 1739 0 2345 2611 89.8%
ov_SC04_016 2272 1738 0 2274 2440 93.2%
ov_SC04_018 2382 1773 0 2382 2857 83.4%
ov_SC04_019 2388 1773 0 2388 2857 83.6%
ov_SC04_020 2299 1738 0 2311 2567 90.0%
ov_SC04_021 2276 1740 0 2276 2423 93.9%
ov_SC05_000 2273 1742 0 2276 2422 94.0%
ov_SC05_001 2295 1738 0 2300 2574 89.4%
ov_SC05_002 2278 1738 0 2281 2442 93.4%
ov_SC05_003 2275 1738 0 2276 2481 91.7%
ov_SC05_004 2271 1738 0 2273 2464 92.2%
ov_SC05_005 2276 1738 0 2277 2491 91.4%
ov_SC05_006 2269 1738 0 2269 2430 93.4%
ov_SC05_007 2279 1738 0 2284 2482 92.0%
ov_SC05_008 2296 1738 0 2298 2543 90.4%
ov_SC05_009 2275 1738 0 2279 2438 93.5%
ov_SC05_010 2302 1738 0 2306 2588 89.1%
ov_SC05_011 2271 1738 0 2272 2409 94.3%
ov_SC05_017 2378 1735 0 2389 2842 84.1%
ov_SC05_018 2325 1738 0 2338 2673 87.5%
ov_SC05_019 2276 1740 0 2276 2423 93.9%
ov_SC06_000 2340 1747 0 2343 2691 87.1%
ov_SC06_006 2292 1738 0 2293 2511 91.3%
ov_SC06_008 2312 1740 0 2318 2542 91.2%
ov_SC06_010 2292 1738 0 2297 2517 91.3%
ov_SC06_011 2280 1738 0 2284 2468 92.5%
ov_SC06_013 2274 1738 0 2275 2425 93.8%
ov_SC06_014 2280 1738 0 2282 2453 93.0%
ov_SC06_015 2277 1738 0 2277 2421 94.1%
ov_SC06_016 2295 1738 0 2297 2549 90.1%
ov_SC06_018 2306 1740 0 2313 2665 86.8%
ov_SC06_020 2284 1740 0 2285 2518 90.7%
ov_SC06_022 2303 1738 0 2311 2642 87.5%
ov_SC06_024 2313 1738 0 2319 2667 87.0%
ov_SC06_025 2297 1738 0 2302 2572 89.5%
ov_SC06_027 2262 1738 0 2263 2408 94.0%
ov_SC06_029 2323 1738 0 2335 2662 87.7%
ov_SC06_030 2276 1738 0 2276 2456 92.7%
ov_SC06_032 2298 1739 0 2305 2658 86.7%
ov_SC06_033 2300 1739 0 2307 2631 87.7%
ov_SC07_000 2291 1742 0 2293 2521 91.0%
ov_SC07_001 2275 1738 0 2277 2454 92.8%
ov_SC07_002 2303 1738 0 2307 2579 89.5%
ov_SC07_006 2074 1555 0 2154 2456 87.7%
ov_SC07_007 2069 1586 0 2153 2613 82.4%
ov_SC07_008 2260 1738 0 2260 2386 94.7%
ov_SC07_009 2269 1738 0 2271 2430 93.5%
ov_SC07_010 2101 1608 0 2184 2524 86.5%
ov_SC07_011 2069 1585 0 2149 2449 87.8%
Reference in New Issue View Git Blame Copy Permalink