mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 23:00:29 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
0aae4b2ce50184aa29bf987020dcbb50d7240fe7
BFM-decomp/docs/progress.fleet.md
T
Drew T 57af7ea889 feat(phase-29): ov_SC06_018 non-jtbl wave batch-1 (8 x1 + 30 swept = 38 instances) + fix gate_stage arity-undo revert bug 
- batch-1 wave: 25 non-jtbl ov_SC06_018 targets (reach 3-14 modal), 13/25 match_one
  MATCH; whole-binary banked 8 (4 plain + 4 via gate_stage --src-file), swept 4 families
  -> 30 members across 13 overlays. 5 matches deferred (missing-sym/s58/deeper plumbing);
  12 nears are permuter fuel (several close=2/3/4).
- KEY: non-jtbl fns in a jr-split file need gate_stage --src-file <the jr TU> (the default-
  TU reconcile misses them -- same class as the jtbl --src-file fix).
- BUG FIX (R33): gate_stage's arity-undo snapshotted src/<bin>/*.c BEFORE _gate1 splices
  the banks there, so an unbanked draft in the batch triggered a snapshot-restore that
  SILENTLY REVERTED the banks (measured: a 9-draft run banked 4, the 5 unbanked reverted
  all 4 to INCLUDE_ASM). Fix: restore ONLY src/shared/ (the fleet hazard the snapshot
  exists for); the binary's own TU arity edits are local + byte-neutral. GATE_NO_ARITY=1
  was the interim workaround. s61's law from below (undo scope must not EXCEED write scope).
- incremental check-all 140/140 (concurrent with batch-2 drafting; full R22 after batch 2).
  fleet distinct 67.5->67.6% (+38 unique fns), instr 78.6% steady.
2026-07-22 21:48:17 -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: 312012 / 353722 = 88.21% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10332238 / 13141652 = 78.6% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3807355 / 5634875 = 67.6% (64798/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: 10331802 / 13081451 = 79.0%)
FLEET REAL substantive : 310157 (of which dedup-shared 234571 via 1849 groups / 234615 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 41703
FLEET matchable : 353722
| 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 | 2227 | 1707 | 0 | 2227 | 2403 | 92.7% |
| ov_SC01_001 | 2227 | 1707 | 0 | 2229 | 2466 | 90.4% |
| ov_SC01_004 | 2218 | 1698 | 0 | 2219 | 2414 | 91.9% |
| ov_SC01_005 | 2247 | 1720 | 0 | 2247 | 2503 | 89.8% |
| ov_SC01_006 | 2247 | 1720 | 0 | 2247 | 2503 | 89.8% |
| ov_SC01_008 | 2218 | 1698 | 0 | 2220 | 2426 | 91.5% |
| ov_SC01_009 | 2243 | 1699 | 0 | 2244 | 2507 | 89.5% |
| ov_SC01_074 | 2222 | 1699 | 0 | 2224 | 2425 | 91.7% |
| ov_SC01_077 | 2411 | 1667 | 0 | 2413 | 2585 | 93.3% |
| ov_SC01_080 | 2260 | 1702 | 0 | 2260 | 2512 | 90.0% |
| ov_SC01_084 | 2267 | 1702 | 0 | 2272 | 2579 | 88.1% |
| ov_SC02_000 | 2320 | 1737 | 0 | 2320 | 2683 | 86.5% |
| ov_SC02_003 | 2320 | 1737 | 0 | 2320 | 2683 | 86.5% |
| ov_SC02_004 | 2226 | 1702 | 0 | 2226 | 2401 | 92.7% |
| ov_SC02_005 | 2333 | 1698 | 0 | 2343 | 2927 | 80.0% |
| ov_SC02_011 | 2344 | 1705 | 0 | 2355 | 2893 | 81.4% |
| ov_SC02_015 | 2227 | 1704 | 0 | 2227 | 2414 | 92.3% |
| ov_SC02_016 | 2260 | 1704 | 0 | 2263 | 2545 | 88.9% |
| ov_SC02_017 | 2304 | 1704 | 0 | 2312 | 2732 | 84.6% |
| ov_SC02_021 | 2233 | 1704 | 0 | 2233 | 2437 | 91.6% |
| ov_SC02_026 | 2249 | 1702 | 0 | 2255 | 2572 | 87.7% |
| ov_SC02_027 | 2272 | 1702 | 0 | 2281 | 2692 | 84.7% |
| ov_SC02_028 | 2273 | 1702 | 0 | 2283 | 2701 | 84.5% |
| ov_SC02_031 | 2258 | 1703 | 0 | 2263 | 2562 | 88.3% |
| ov_SC02_035 | 2235 | 1702 | 0 | 2238 | 2520 | 88.8% |
| ov_SC02_039 | 2219 | 1702 | 0 | 2219 | 2416 | 91.8% |
| ov_SC02_041 | 2256 | 1702 | 0 | 2259 | 2561 | 88.2% |
| ov_SC03_001 | 2355 | 1703 | 0 | 2372 | 2869 | 82.7% |
| ov_SC03_002 | 2281 | 1707 | 0 | 2296 | 2631 | 87.3% |
| ov_SC03_003 | 2229 | 1702 | 0 | 2230 | 2423 | 92.0% |
| ov_SC03_006 | 2294 | 1708 | 0 | 2303 | 2767 | 83.2% |
| ov_SC03_007 | 2274 | 1702 | 0 | 2278 | 2623 | 86.8% |
| ov_SC03_010 | 2235 | 1702 | 0 | 2235 | 2470 | 90.5% |
| ov_SC03_011 | 2243 | 1702 | 0 | 2249 | 2527 | 89.0% |
| ov_SC03_012 | 2221 | 1702 | 0 | 2222 | 2406 | 92.4% |
| ov_SC03_013 | 2240 | 1702 | 0 | 2240 | 2492 | 89.9% |
| ov_SC03_014 | 2300 | 1727 | 0 | 2300 | 2685 | 85.7% |
| ov_SC03_015 | 2300 | 1727 | 0 | 2300 | 2685 | 85.7% |
| ov_SC03_023 | 2227 | 1702 | 0 | 2228 | 2435 | 91.5% |
| ov_SC03_024 | 2287 | 1707 | 0 | 2294 | 2641 | 86.9% |
| ov_SC03_028 | 2268 | 1702 | 0 | 2272 | 2664 | 85.3% |
| ov_SC03_029 | 2269 | 1704 | 0 | 2279 | 2644 | 86.2% |
| ov_SC03_030 | 2242 | 1707 | 0 | 2244 | 2495 | 89.9% |
| ov_SC03_031 | 2239 | 1702 | 0 | 2242 | 2514 | 89.2% |
| ov_SC03_089 | 2254 | 1702 | 0 | 2261 | 2581 | 87.6% |
| ov_SC03_090 | 2256 | 1702 | 0 | 2264 | 2625 | 86.2% |
| ov_SC03_091 | 2259 | 1702 | 0 | 2267 | 2640 | 85.9% |
| ov_SC03_092 | 2269 | 1702 | 0 | 2281 | 2587 | 88.2% |
| ov_SC03_093 | 2246 | 1702 | 0 | 2250 | 2563 | 87.8% |
| ov_SC03_094 | 2241 | 1702 | 0 | 2247 | 2577 | 87.2% |
| ov_SC03_095 | 2231 | 1702 | 0 | 2234 | 2474 | 90.3% |
| ov_SC03_096 | 2231 | 1702 | 0 | 2234 | 2465 | 90.6% |
| ov_SC03_097 | 2260 | 1702 | 0 | 2267 | 2603 | 87.1% |
| ov_SC03_098 | 2239 | 1702 | 0 | 2242 | 2541 | 88.2% |
| ov_SC03_099 | 2232 | 1702 | 0 | 2235 | 2504 | 89.3% |
| ov_SC03_100 | 2242 | 1702 | 0 | 2246 | 2539 | 88.5% |
| ov_SC03_101 | 2242 | 1702 | 0 | 2246 | 2528 | 88.8% |
| ov_SC03_102 | 2234 | 1702 | 0 | 2237 | 2492 | 89.8% |
| ov_SC03_103 | 2237 | 1704 | 0 | 2240 | 2510 | 89.2% |
| ov_SC03_104 | 2262 | 1702 | 0 | 2269 | 2616 | 86.7% |
| ov_SC03_105 | 2256 | 1702 | 0 | 2263 | 2597 | 87.1% |
| ov_SC03_108 | 2223 | 1702 | 0 | 2223 | 2443 | 91.0% |
| ov_SC03_109 | 2225 | 1702 | 0 | 2227 | 2424 | 91.9% |
| ov_SC03_110 | 2230 | 1702 | 0 | 2230 | 2468 | 90.4% |
| ov_SC03_111 | 2241 | 1702 | 0 | 2244 | 2510 | 89.4% |
| ov_SC03_112 | 2234 | 1704 | 0 | 2236 | 2526 | 88.5% |
| ov_SC03_113 | 2228 | 1704 | 0 | 2231 | 2468 | 90.4% |
| ov_SC03_114 | 2217 | 1702 | 0 | 2219 | 2415 | 91.9% |
| ov_SC03_115 | 2235 | 1702 | 0 | 2237 | 2472 | 90.5% |
| ov_SC03_116 | 2225 | 1702 | 0 | 2228 | 2438 | 91.4% |
| ov_SC03_117 | 2253 | 1702 | 0 | 2259 | 2557 | 88.3% |
| ov_SC03_118 | 2299 | 1726 | 0 | 2300 | 2685 | 85.7% |
| ov_SC03_119 | 2298 | 1726 | 0 | 2299 | 2685 | 85.6% |
| ov_SC03_121 | 2232 | 1702 | 0 | 2235 | 2459 | 90.9% |
| ov_SC03_124 | 2311 | 1698 | 0 | 2331 | 2741 | 85.0% |
| ov_SC03_125 | 2268 | 1702 | 0 | 2280 | 2588 | 88.1% |
| ov_SC03_126 | 2230 | 1704 | 0 | 2230 | 2423 | 92.0% |
| ov_SC04_000 | 2246 | 1706 | 0 | 2255 | 2546 | 88.6% |
| ov_SC04_002 | 2264 | 1702 | 0 | 2268 | 2636 | 86.0% |
| ov_SC04_003 | 2241 | 1702 | 0 | 2245 | 2502 | 89.7% |
| ov_SC04_004 | 2250 | 1702 | 0 | 2252 | 2558 | 88.0% |
| ov_SC04_005 | 2259 | 1702 | 0 | 2265 | 2612 | 86.7% |
| ov_SC04_006 | 2230 | 1702 | 0 | 2232 | 2454 | 91.0% |
| ov_SC04_007 | 2252 | 1702 | 0 | 2256 | 2569 | 87.8% |
| ov_SC04_008 | 2221 | 1702 | 0 | 2221 | 2415 | 92.0% |
| ov_SC04_009 | 2237 | 1702 | 0 | 2240 | 2441 | 91.8% |
| ov_SC04_010 | 2227 | 1702 | 0 | 2228 | 2419 | 92.1% |
| ov_SC04_011 | 2283 | 1702 | 0 | 2289 | 2803 | 81.7% |
| ov_SC04_012 | 2224 | 1702 | 0 | 2225 | 2420 | 91.9% |
| ov_SC04_015 | 2288 | 1703 | 0 | 2299 | 2611 | 88.1% |
| ov_SC04_016 | 2226 | 1702 | 0 | 2228 | 2440 | 91.3% |
| ov_SC04_018 | 2338 | 1737 | 0 | 2338 | 2857 | 81.8% |
| ov_SC04_019 | 2344 | 1737 | 0 | 2344 | 2857 | 82.0% |
| ov_SC04_020 | 2255 | 1702 | 0 | 2267 | 2567 | 88.3% |
| ov_SC04_021 | 2231 | 1704 | 0 | 2231 | 2423 | 92.1% |
| ov_SC05_000 | 2228 | 1706 | 0 | 2231 | 2422 | 92.1% |
| ov_SC05_001 | 2250 | 1702 | 0 | 2255 | 2574 | 87.6% |
| ov_SC05_002 | 2233 | 1702 | 0 | 2236 | 2442 | 91.6% |
| ov_SC05_003 | 2230 | 1702 | 0 | 2231 | 2481 | 89.9% |
| ov_SC05_004 | 2225 | 1702 | 0 | 2227 | 2464 | 90.4% |
| ov_SC05_005 | 2231 | 1702 | 0 | 2232 | 2491 | 89.6% |
| ov_SC05_006 | 2224 | 1702 | 0 | 2224 | 2430 | 91.5% |
| ov_SC05_007 | 2234 | 1702 | 0 | 2239 | 2482 | 90.2% |
| ov_SC05_008 | 2251 | 1702 | 0 | 2253 | 2543 | 88.6% |
| ov_SC05_009 | 2229 | 1702 | 0 | 2233 | 2438 | 91.6% |
| ov_SC05_010 | 2255 | 1702 | 0 | 2259 | 2588 | 87.3% |
| ov_SC05_011 | 2226 | 1702 | 0 | 2227 | 2409 | 92.4% |
| ov_SC05_017 | 2334 | 1699 | 0 | 2345 | 2842 | 82.5% |
| ov_SC05_018 | 2281 | 1702 | 0 | 2294 | 2673 | 85.8% |
| ov_SC05_019 | 2231 | 1704 | 0 | 2231 | 2423 | 92.1% |
| ov_SC06_000 | 2293 | 1711 | 0 | 2296 | 2691 | 85.3% |
| ov_SC06_006 | 2246 | 1702 | 0 | 2247 | 2511 | 89.5% |
| ov_SC06_008 | 2261 | 1704 | 0 | 2267 | 2542 | 89.2% |
| ov_SC06_010 | 2244 | 1702 | 0 | 2249 | 2517 | 89.4% |
| ov_SC06_011 | 2236 | 1702 | 0 | 2240 | 2468 | 90.8% |
| ov_SC06_013 | 2229 | 1702 | 0 | 2230 | 2425 | 92.0% |
| ov_SC06_014 | 2235 | 1702 | 0 | 2237 | 2453 | 91.2% |
| ov_SC06_015 | 2232 | 1702 | 0 | 2232 | 2421 | 92.2% |
| ov_SC06_016 | 2250 | 1702 | 0 | 2252 | 2549 | 88.3% |
| ov_SC06_018 | 2258 | 1705 | 0 | 2265 | 2665 | 85.0% |
| ov_SC06_020 | 2239 | 1704 | 0 | 2240 | 2518 | 89.0% |
| ov_SC06_022 | 2256 | 1702 | 0 | 2264 | 2642 | 85.7% |
| ov_SC06_024 | 2263 | 1702 | 0 | 2269 | 2667 | 85.1% |
| ov_SC06_025 | 2251 | 1702 | 0 | 2256 | 2572 | 87.7% |
| ov_SC06_027 | 2217 | 1702 | 0 | 2218 | 2408 | 92.1% |
| ov_SC06_029 | 2276 | 1702 | 0 | 2288 | 2662 | 86.0% |
| ov_SC06_030 | 2231 | 1702 | 0 | 2231 | 2456 | 90.8% |
| ov_SC06_032 | 2247 | 1703 | 0 | 2254 | 2658 | 84.8% |
| ov_SC06_033 | 2250 | 1703 | 0 | 2257 | 2631 | 85.8% |
| ov_SC07_000 | 2246 | 1706 | 0 | 2248 | 2521 | 89.2% |
| ov_SC07_001 | 2230 | 1702 | 0 | 2232 | 2454 | 91.0% |
| ov_SC07_002 | 2257 | 1702 | 0 | 2261 | 2579 | 87.7% |
| ov_SC07_006 | 1997 | 1549 | 0 | 2077 | 2456 | 84.6% |
| ov_SC07_007 | 2014 | 1550 | 0 | 2098 | 2614 | 80.3% |
| ov_SC07_008 | 2215 | 1702 | 0 | 2215 | 2386 | 92.8% |
| ov_SC07_009 | 2224 | 1702 | 0 | 2226 | 2430 | 91.6% |
| ov_SC07_010 | 2026 | 1550 | 0 | 2109 | 2526 | 83.5% |
| ov_SC07_011 | 2013 | 1549 | 0 | 2093 | 2450 | 85.4% |
Reference in New Issue View Git Blame Copy Permalink