Files
BFM-decomp/docs/progress.fleet.md
T
Drew T f1fd8993bf feat(phase-29): permuter overnight harvest — 29 fresh cores banked + distinct-code 64837->64854
The grinder ran the targeted permuter sweep to EXHAUSTION (all 75 permuter-shaped candidates;
correctly skipped 1575 redraft/structural/integration). It banked 29 distinct functions autonomously
(gate_stage commit=True, byte-gated, fail-closed, §55b un-propagated), 39% conversion.

- All 29 are LOW-REACH (1-5) overlay-unique code in the 0x8017-0x8018 range — confirming the map's
  finding that the permuter-admissible set is the low-leverage tail (the high-reach near-misses like
  func_8014F3E8 close=1 reach=134 are redraft/structural, NOT permuter-shaped).
- Propagation of the 22 reach>1 banks filled only 1 (0x80180710 ×2); the rest are genuinely
  overlay-unique (siblings byte-diverge) — as predicted.
- R22 clean-fleet 140/140 (the 27 overnight per-binary-gated commits verified fleet-wide, §61).
- distinct-code 64837 -> 64854 (+17 unique fns); session total +22 unique (wave +5, permuter +17) —
  the first real distinct-code progress in many sessions. instr 79.4%, fn-count 88.66%, dedup 1874/0.
2026-07-24 09:39:07 -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: 313608 / 353717 = 88.66% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10429806 / 13141652 = 79.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3812012 / 5634875 = 67.7% (64854/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: 10429370 / 13081451 = 79.7%)

FLEET REAL substantive : 311753 (of which dedup-shared 237750 via 1874 groups / 237794 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 40102 FLEET matchable : 353717

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 2237 1731 0 2237 2403 93.1%
ov_SC01_001 2238 1730 0 2240 2466 90.8%
ov_SC01_004 2229 1721 0 2230 2414 92.4%
ov_SC01_005 2259 1744 0 2259 2503 90.3%
ov_SC01_006 2259 1744 0 2259 2503 90.3%
ov_SC01_008 2229 1721 0 2231 2426 92.0%
ov_SC01_009 2255 1722 0 2256 2507 90.0%
ov_SC01_074 2233 1722 0 2235 2425 92.2%
ov_SC01_077 2417 1691 0 2419 2585 93.6%
ov_SC01_080 2271 1725 0 2271 2512 90.4%
ov_SC01_084 2278 1725 0 2283 2579 88.5%
ov_SC02_000 2331 1760 0 2331 2683 86.9%
ov_SC02_003 2331 1760 0 2331 2683 86.9%
ov_SC02_004 2237 1725 0 2237 2401 93.2%
ov_SC02_005 2345 1721 0 2355 2927 80.5%
ov_SC02_011 2357 1728 0 2368 2893 81.9%
ov_SC02_015 2238 1727 0 2238 2414 92.7%
ov_SC02_016 2271 1727 0 2274 2545 89.4%
ov_SC02_017 2315 1727 0 2323 2732 85.0%
ov_SC02_021 2244 1727 0 2244 2437 92.1%
ov_SC02_026 2260 1725 0 2266 2572 88.1%
ov_SC02_027 2283 1725 0 2292 2692 85.1%
ov_SC02_028 2285 1725 0 2295 2701 85.0%
ov_SC02_031 2270 1726 0 2275 2562 88.8%
ov_SC02_035 2246 1725 0 2249 2520 89.2%
ov_SC02_039 2230 1725 0 2230 2416 92.3%
ov_SC02_041 2267 1725 0 2270 2561 88.6%
ov_SC03_001 2366 1726 0 2383 2869 83.1%
ov_SC03_002 2292 1730 0 2307 2631 87.7%
ov_SC03_003 2240 1725 0 2241 2423 92.5%
ov_SC03_006 2305 1731 0 2314 2767 83.6%
ov_SC03_007 2285 1725 0 2289 2623 87.3%
ov_SC03_010 2246 1725 0 2246 2470 90.9%
ov_SC03_011 2254 1725 0 2260 2527 89.4%
ov_SC03_012 2232 1725 0 2233 2406 92.8%
ov_SC03_013 2251 1725 0 2251 2492 90.3%
ov_SC03_014 2311 1750 0 2311 2685 86.1%
ov_SC03_015 2311 1750 0 2311 2685 86.1%
ov_SC03_023 2239 1725 0 2240 2435 92.0%
ov_SC03_024 2299 1730 0 2306 2641 87.3%
ov_SC03_028 2279 1725 0 2283 2664 85.7%
ov_SC03_029 2280 1727 0 2290 2644 86.6%
ov_SC03_030 2253 1730 0 2255 2495 90.4%
ov_SC03_031 2250 1725 0 2253 2514 89.6%
ov_SC03_089 2266 1725 0 2273 2581 88.1%
ov_SC03_090 2267 1725 0 2275 2625 86.7%
ov_SC03_091 2270 1725 0 2278 2640 86.3%
ov_SC03_092 2281 1725 0 2293 2587 88.6%
ov_SC03_093 2257 1725 0 2261 2563 88.2%
ov_SC03_094 2252 1725 0 2258 2577 87.6%
ov_SC03_095 2242 1725 0 2245 2474 90.7%
ov_SC03_096 2242 1725 0 2245 2465 91.1%
ov_SC03_097 2272 1725 0 2279 2603 87.6%
ov_SC03_098 2250 1725 0 2253 2541 88.7%
ov_SC03_099 2243 1725 0 2246 2504 89.7%
ov_SC03_100 2253 1725 0 2257 2539 88.9%
ov_SC03_101 2253 1725 0 2257 2528 89.3%
ov_SC03_102 2245 1725 0 2248 2492 90.2%
ov_SC03_103 2248 1727 0 2251 2510 89.7%
ov_SC03_104 2274 1725 0 2281 2616 87.2%
ov_SC03_105 2267 1725 0 2274 2597 87.6%
ov_SC03_108 2234 1725 0 2234 2443 91.4%
ov_SC03_109 2237 1725 0 2239 2424 92.4%
ov_SC03_110 2241 1725 0 2241 2468 90.8%
ov_SC03_111 2252 1725 0 2255 2510 89.8%
ov_SC03_112 2246 1727 0 2248 2526 89.0%
ov_SC03_113 2239 1727 0 2242 2468 90.8%
ov_SC03_114 2229 1725 0 2231 2415 92.4%
ov_SC03_115 2246 1725 0 2248 2472 90.9%
ov_SC03_116 2236 1725 0 2239 2438 91.8%
ov_SC03_117 2264 1725 0 2270 2557 88.8%
ov_SC03_118 2310 1749 0 2311 2685 86.1%
ov_SC03_119 2309 1749 0 2310 2685 86.0%
ov_SC03_121 2244 1725 0 2247 2459 91.4%
ov_SC03_124 2323 1721 0 2343 2741 85.5%
ov_SC03_125 2279 1725 0 2291 2588 88.5%
ov_SC03_126 2241 1727 0 2241 2423 92.5%
ov_SC04_000 2257 1729 0 2266 2546 89.0%
ov_SC04_002 2275 1725 0 2279 2636 86.5%
ov_SC04_003 2252 1725 0 2256 2502 90.2%
ov_SC04_004 2261 1725 0 2263 2558 88.5%
ov_SC04_005 2270 1725 0 2276 2612 87.1%
ov_SC04_006 2241 1725 0 2243 2454 91.4%
ov_SC04_007 2264 1725 0 2268 2569 88.3%
ov_SC04_008 2233 1725 0 2233 2415 92.5%
ov_SC04_009 2248 1725 0 2251 2441 92.2%
ov_SC04_010 2238 1725 0 2239 2419 92.6%
ov_SC04_011 2296 1725 0 2302 2803 82.1%
ov_SC04_012 2235 1725 0 2236 2420 92.4%
ov_SC04_015 2301 1726 0 2312 2611 88.5%
ov_SC04_016 2238 1725 0 2240 2440 91.8%
ov_SC04_018 2349 1760 0 2349 2857 82.2%
ov_SC04_019 2355 1760 0 2355 2857 82.4%
ov_SC04_020 2266 1725 0 2278 2567 88.7%
ov_SC04_021 2242 1727 0 2242 2423 92.5%
ov_SC05_000 2239 1729 0 2242 2422 92.6%
ov_SC05_001 2261 1725 0 2266 2574 88.0%
ov_SC05_002 2244 1725 0 2247 2442 92.0%
ov_SC05_003 2241 1725 0 2242 2481 90.4%
ov_SC05_004 2237 1725 0 2239 2464 90.9%
ov_SC05_005 2242 1725 0 2243 2491 90.0%
ov_SC05_006 2235 1725 0 2235 2430 92.0%
ov_SC05_007 2245 1725 0 2250 2482 90.7%
ov_SC05_008 2262 1725 0 2264 2543 89.0%
ov_SC05_009 2241 1725 0 2245 2438 92.1%
ov_SC05_010 2268 1725 0 2272 2588 87.8%
ov_SC05_011 2237 1725 0 2238 2409 92.9%
ov_SC05_017 2345 1722 0 2356 2842 82.9%
ov_SC05_018 2292 1725 0 2305 2673 86.2%
ov_SC05_019 2242 1727 0 2242 2423 92.5%
ov_SC06_000 2306 1734 0 2309 2691 85.8%
ov_SC06_006 2258 1725 0 2259 2511 90.0%
ov_SC06_008 2275 1727 0 2281 2542 89.7%
ov_SC06_010 2257 1725 0 2262 2517 89.9%
ov_SC06_011 2247 1725 0 2251 2468 91.2%
ov_SC06_013 2240 1725 0 2241 2425 92.4%
ov_SC06_014 2246 1725 0 2248 2453 91.6%
ov_SC06_015 2243 1725 0 2243 2421 92.6%
ov_SC06_016 2261 1725 0 2263 2549 88.8%
ov_SC06_018 2274 1728 0 2281 2665 85.6%
ov_SC06_020 2250 1727 0 2251 2518 89.4%
ov_SC06_022 2269 1725 0 2277 2642 86.2%
ov_SC06_024 2278 1725 0 2284 2667 85.6%
ov_SC06_025 2262 1725 0 2267 2572 88.1%
ov_SC06_027 2228 1725 0 2229 2408 92.6%
ov_SC06_029 2287 1725 0 2299 2662 86.4%
ov_SC06_030 2242 1725 0 2242 2456 91.3%
ov_SC06_032 2262 1726 0 2269 2658 85.4%
ov_SC06_033 2264 1726 0 2271 2631 86.3%
ov_SC07_000 2258 1729 0 2260 2521 89.6%
ov_SC07_001 2241 1725 0 2243 2454 91.4%
ov_SC07_002 2269 1725 0 2273 2579 88.1%
ov_SC07_006 2025 1573 0 2105 2455 85.7%
ov_SC07_007 2029 1573 0 2113 2613 80.9%
ov_SC07_008 2226 1725 0 2226 2386 93.3%
ov_SC07_009 2235 1725 0 2237 2430 92.1%
ov_SC07_010 2038 1573 0 2121 2524 84.0%
ov_SC07_011 2028 1572 0 2108 2449 86.1%