Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 514383de6a chore(phase-29 crack-wave): log wave2+fable+type-lift outcome (fleet 74.6% instr) + preserve drafts
Session-total 72.1->74.6% instr (+2.5pp). 8 exemplars + ~815 members banked; 3 Fable source-read cracks
(cse.c address-CSE, post-reload sched, reorg j-slot). Follow-ups: 801670e4/8016cbc0 per-sibling decl-norm,
8013d53c caller-thread, 801412a8 §29 wall, 4 permuter near-misses. All drafts preserved (R20).
2026-07-18 12:33:39 -06:00

9.0 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: 307463 / 353722 = 86.92% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 9760499 / 13081451 = 74.6% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3313721 / 5574674 = 59.4% (61074/87459 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 436 / 60201 = 0.7% (Phase-27 T10; SEPARATE — LINKED-excluding Ghidra sig dated 2026-06-14, PROVISIONAL until a fresh/complete main sig; NOT folded into the fleet number)

FLEET REAL substantive : 305608 (of which dedup-shared 234161 via 1846 groups / 234205 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 46252 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 2188 1704 0 2188 2403 91.1%
ov_SC01_001 2193 1704 0 2195 2466 89.0%
ov_SC01_004 2186 1695 0 2187 2414 90.6%
ov_SC01_005 2215 1717 0 2215 2503 88.5%
ov_SC01_006 2215 1717 0 2215 2503 88.5%
ov_SC01_008 2186 1695 0 2188 2426 90.2%
ov_SC01_009 2211 1696 0 2212 2507 88.2%
ov_SC01_074 2189 1696 0 2191 2425 90.4%
ov_SC01_077 2384 1664 0 2386 2585 92.3%
ov_SC01_080 2227 1699 0 2227 2512 88.7%
ov_SC01_084 2235 1699 0 2240 2579 86.9%
ov_SC02_000 2286 1734 0 2286 2683 85.2%
ov_SC02_003 2286 1734 0 2286 2683 85.2%
ov_SC02_004 2194 1699 0 2194 2401 91.4%
ov_SC02_005 2301 1695 0 2311 2927 79.0%
ov_SC02_011 2310 1702 0 2321 2893 80.2%
ov_SC02_015 2195 1701 0 2195 2414 90.9%
ov_SC02_016 2225 1701 0 2228 2545 87.5%
ov_SC02_017 2271 1701 0 2279 2732 83.4%
ov_SC02_021 2201 1701 0 2201 2437 90.3%
ov_SC02_026 2216 1699 0 2222 2572 86.4%
ov_SC02_027 2239 1699 0 2248 2692 83.5%
ov_SC02_028 2240 1699 0 2250 2701 83.3%
ov_SC02_031 2226 1700 0 2231 2562 87.1%
ov_SC02_035 2202 1699 0 2205 2520 87.5%
ov_SC02_039 2187 1699 0 2187 2416 90.5%
ov_SC02_041 2222 1699 0 2225 2561 86.9%
ov_SC03_001 2321 1700 0 2338 2869 81.5%
ov_SC03_002 2248 1704 0 2263 2631 86.0%
ov_SC03_003 2197 1699 0 2198 2423 90.7%
ov_SC03_006 2260 1705 0 2269 2767 82.0%
ov_SC03_007 2241 1699 0 2245 2623 85.6%
ov_SC03_010 2203 1699 0 2203 2470 89.2%
ov_SC03_011 2211 1699 0 2217 2527 87.7%
ov_SC03_012 2189 1699 0 2190 2406 91.0%
ov_SC03_013 2208 1699 0 2208 2492 88.6%
ov_SC03_014 2266 1724 0 2266 2685 84.4%
ov_SC03_015 2267 1724 0 2267 2685 84.4%
ov_SC03_023 2195 1699 0 2196 2435 90.2%
ov_SC03_024 2253 1704 0 2260 2641 85.6%
ov_SC03_028 2235 1699 0 2239 2664 84.0%
ov_SC03_029 2237 1701 0 2247 2644 85.0%
ov_SC03_030 2209 1704 0 2211 2495 88.6%
ov_SC03_031 2207 1699 0 2210 2514 87.9%
ov_SC03_089 2221 1699 0 2228 2581 86.3%
ov_SC03_090 2223 1699 0 2231 2625 85.0%
ov_SC03_091 2226 1699 0 2234 2640 84.6%
ov_SC03_092 2237 1699 0 2249 2587 86.9%
ov_SC03_093 2213 1699 0 2217 2563 86.5%
ov_SC03_094 2208 1699 0 2214 2577 85.9%
ov_SC03_095 2198 1699 0 2201 2474 89.0%
ov_SC03_096 2198 1699 0 2201 2465 89.3%
ov_SC03_097 2227 1699 0 2234 2603 85.8%
ov_SC03_098 2206 1699 0 2209 2541 86.9%
ov_SC03_099 2199 1699 0 2202 2504 87.9%
ov_SC03_100 2209 1699 0 2213 2539 87.2%
ov_SC03_101 2209 1699 0 2213 2528 87.5%
ov_SC03_102 2201 1699 0 2204 2492 88.4%
ov_SC03_103 2204 1701 0 2207 2510 87.9%
ov_SC03_104 2229 1699 0 2236 2616 85.5%
ov_SC03_105 2222 1699 0 2229 2597 85.8%
ov_SC03_108 2191 1699 0 2191 2443 89.7%
ov_SC03_109 2192 1699 0 2194 2424 90.5%
ov_SC03_110 2197 1699 0 2197 2468 89.0%
ov_SC03_111 2209 1699 0 2212 2510 88.1%
ov_SC03_112 2202 1701 0 2204 2526 87.3%
ov_SC03_113 2195 1701 0 2198 2468 89.1%
ov_SC03_114 2185 1699 0 2187 2415 90.6%
ov_SC03_115 2202 1699 0 2204 2472 89.2%
ov_SC03_116 2192 1699 0 2195 2438 90.0%
ov_SC03_117 2220 1699 0 2226 2557 87.1%
ov_SC03_118 2267 1723 0 2268 2685 84.5%
ov_SC03_119 2265 1723 0 2266 2685 84.4%
ov_SC03_121 2199 1699 0 2202 2459 89.5%
ov_SC03_124 2278 1695 0 2298 2741 83.8%
ov_SC03_125 2235 1699 0 2247 2588 86.8%
ov_SC03_126 2198 1701 0 2198 2423 90.7%
ov_SC04_000 2214 1703 0 2223 2546 87.3%
ov_SC04_002 2230 1699 0 2234 2636 84.7%
ov_SC04_003 2208 1699 0 2212 2502 88.4%
ov_SC04_004 2217 1699 0 2219 2558 86.7%
ov_SC04_005 2225 1699 0 2231 2612 85.4%
ov_SC04_006 2198 1699 0 2200 2454 89.6%
ov_SC04_007 2218 1699 0 2222 2569 86.5%
ov_SC04_008 2188 1699 0 2188 2415 90.6%
ov_SC04_009 2204 1699 0 2207 2441 90.4%
ov_SC04_010 2195 1699 0 2196 2419 90.8%
ov_SC04_011 2251 1699 0 2257 2803 80.5%
ov_SC04_012 2191 1699 0 2192 2420 90.6%
ov_SC04_015 2254 1700 0 2265 2611 86.7%
ov_SC04_016 2194 1699 0 2196 2440 90.0%
ov_SC04_018 2305 1734 0 2305 2857 80.7%
ov_SC04_019 2310 1734 0 2310 2857 80.9%
ov_SC04_020 2222 1699 0 2234 2567 87.0%
ov_SC04_021 2199 1701 0 2199 2423 90.8%
ov_SC05_000 2195 1703 0 2198 2422 90.8%
ov_SC05_001 2218 1699 0 2223 2574 86.4%
ov_SC05_002 2200 1699 0 2203 2442 90.2%
ov_SC05_003 2197 1699 0 2198 2481 88.6%
ov_SC05_004 2192 1699 0 2194 2464 89.0%
ov_SC05_005 2199 1699 0 2200 2491 88.3%
ov_SC05_006 2191 1699 0 2191 2430 90.2%
ov_SC05_007 2201 1699 0 2206 2482 88.9%
ov_SC05_008 2218 1699 0 2220 2543 87.3%
ov_SC05_009 2196 1699 0 2200 2438 90.2%
ov_SC05_010 2222 1699 0 2226 2588 86.0%
ov_SC05_011 2194 1699 0 2195 2409 91.1%
ov_SC05_017 2301 1696 0 2312 2842 81.4%
ov_SC05_018 2248 1699 0 2261 2673 84.6%
ov_SC05_019 2199 1701 0 2199 2423 90.8%
ov_SC06_000 2259 1708 0 2262 2691 84.1%
ov_SC06_006 2214 1699 0 2215 2511 88.2%
ov_SC06_008 2224 1701 0 2230 2542 87.7%
ov_SC06_010 2208 1699 0 2213 2517 87.9%
ov_SC06_011 2202 1699 0 2206 2468 89.4%
ov_SC06_013 2196 1699 0 2197 2425 90.6%
ov_SC06_014 2202 1699 0 2204 2453 89.8%
ov_SC06_015 2199 1699 0 2199 2421 90.8%
ov_SC06_016 2216 1699 0 2218 2549 87.0%
ov_SC06_018 2213 1702 0 2220 2665 83.3%
ov_SC06_020 2206 1701 0 2207 2518 87.6%
ov_SC06_022 2220 1699 0 2228 2642 84.3%
ov_SC06_024 2225 1699 0 2231 2667 83.7%
ov_SC06_025 2217 1699 0 2222 2572 86.4%
ov_SC06_027 2185 1699 0 2186 2408 90.8%
ov_SC06_029 2243 1699 0 2255 2662 84.7%
ov_SC06_030 2198 1699 0 2198 2456 89.5%
ov_SC06_032 2210 1700 0 2217 2658 83.4%
ov_SC06_033 2213 1700 0 2220 2631 84.4%
ov_SC07_000 2212 1703 0 2214 2521 87.8%
ov_SC07_001 2198 1699 0 2200 2454 89.6%
ov_SC07_002 2225 1699 0 2229 2579 86.4%
ov_SC07_006 1969 1547 0 2049 2456 83.4%
ov_SC07_007 1985 1548 0 2069 2614 79.2%
ov_SC07_008 2182 1699 0 2182 2386 91.5%
ov_SC07_009 2192 1699 0 2194 2430 90.3%
ov_SC07_010 1999 1548 0 2082 2526 82.4%
ov_SC07_011 1985 1547 0 2065 2450 84.3%