Files
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

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: 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%