Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 4310269bb8 feat(phase-29 §8e): campaign close — 3 families swept (410 banks), fleet 73.4% instr / 56.9% distinct (v-batch R22 140/140)
- func_80131340 138/138 · func_80159C84 134/138 (4 SC07 named) · func_8013F350 138/138 ·
  func_8013C414 x1 (family deferred on the -O0-cluster rollout wall, uniform + fail-loud).
- cookbook §8e-2: clean-draft law, zero-word spec rule + tables= persistence + --like transfer,
  named deferral classes. progress.fleet.md digest regenerated. Clean drafts preserved (R20).
2026-07-18 04:25:19 -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: 306638 / 353722 = 86.69% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 9600243 / 13081451 = 73.4% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3174089 / 5574674 = 56.9% (60422/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 : 304783 (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 : 47077 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 2182 1704 0 2182 2403 90.8%
ov_SC01_001 2187 1704 0 2189 2466 88.8%
ov_SC01_004 2180 1695 0 2181 2414 90.3%
ov_SC01_005 2209 1717 0 2209 2503 88.3%
ov_SC01_006 2209 1717 0 2209 2503 88.3%
ov_SC01_008 2180 1695 0 2182 2426 89.9%
ov_SC01_009 2205 1696 0 2206 2507 88.0%
ov_SC01_074 2183 1696 0 2185 2425 90.1%
ov_SC01_077 2374 1664 0 2376 2585 91.9%
ov_SC01_080 2221 1699 0 2221 2512 88.4%
ov_SC01_084 2229 1699 0 2234 2579 86.6%
ov_SC02_000 2280 1734 0 2280 2683 85.0%
ov_SC02_003 2280 1734 0 2280 2683 85.0%
ov_SC02_004 2188 1699 0 2188 2401 91.1%
ov_SC02_005 2295 1695 0 2305 2927 78.7%
ov_SC02_011 2304 1702 0 2315 2893 80.0%
ov_SC02_015 2189 1701 0 2189 2414 90.7%
ov_SC02_016 2219 1701 0 2222 2545 87.3%
ov_SC02_017 2265 1701 0 2273 2732 83.2%
ov_SC02_021 2195 1701 0 2195 2437 90.1%
ov_SC02_026 2210 1699 0 2216 2572 86.2%
ov_SC02_027 2233 1699 0 2242 2692 83.3%
ov_SC02_028 2234 1699 0 2244 2701 83.1%
ov_SC02_031 2220 1700 0 2225 2562 86.8%
ov_SC02_035 2196 1699 0 2199 2520 87.3%
ov_SC02_039 2181 1699 0 2181 2416 90.3%
ov_SC02_041 2216 1699 0 2219 2561 86.6%
ov_SC03_001 2315 1700 0 2332 2869 81.3%
ov_SC03_002 2242 1704 0 2257 2631 85.8%
ov_SC03_003 2191 1699 0 2192 2423 90.5%
ov_SC03_006 2254 1705 0 2263 2767 81.8%
ov_SC03_007 2235 1699 0 2239 2623 85.4%
ov_SC03_010 2197 1699 0 2197 2470 88.9%
ov_SC03_011 2205 1699 0 2211 2527 87.5%
ov_SC03_012 2183 1699 0 2184 2406 90.8%
ov_SC03_013 2202 1699 0 2202 2492 88.4%
ov_SC03_014 2260 1724 0 2260 2685 84.2%
ov_SC03_015 2261 1724 0 2261 2685 84.2%
ov_SC03_023 2189 1699 0 2190 2435 89.9%
ov_SC03_024 2247 1704 0 2254 2641 85.3%
ov_SC03_028 2229 1699 0 2233 2664 83.8%
ov_SC03_029 2231 1701 0 2241 2644 84.8%
ov_SC03_030 2203 1704 0 2205 2495 88.4%
ov_SC03_031 2201 1699 0 2204 2514 87.7%
ov_SC03_089 2215 1699 0 2222 2581 86.1%
ov_SC03_090 2217 1699 0 2225 2625 84.8%
ov_SC03_091 2220 1699 0 2228 2640 84.4%
ov_SC03_092 2231 1699 0 2243 2587 86.7%
ov_SC03_093 2207 1699 0 2211 2563 86.3%
ov_SC03_094 2202 1699 0 2208 2577 85.7%
ov_SC03_095 2192 1699 0 2195 2474 88.7%
ov_SC03_096 2192 1699 0 2195 2465 89.0%
ov_SC03_097 2221 1699 0 2228 2603 85.6%
ov_SC03_098 2200 1699 0 2203 2541 86.7%
ov_SC03_099 2193 1699 0 2196 2504 87.7%
ov_SC03_100 2203 1699 0 2207 2539 86.9%
ov_SC03_101 2203 1699 0 2207 2528 87.3%
ov_SC03_102 2195 1699 0 2198 2492 88.2%
ov_SC03_103 2198 1701 0 2201 2510 87.7%
ov_SC03_104 2223 1699 0 2230 2616 85.2%
ov_SC03_105 2216 1699 0 2223 2597 85.6%
ov_SC03_108 2185 1699 0 2185 2443 89.4%
ov_SC03_109 2186 1699 0 2188 2424 90.3%
ov_SC03_110 2191 1699 0 2191 2468 88.8%
ov_SC03_111 2203 1699 0 2206 2510 87.9%
ov_SC03_112 2196 1701 0 2198 2526 87.0%
ov_SC03_113 2189 1701 0 2192 2468 88.8%
ov_SC03_114 2179 1699 0 2181 2415 90.3%
ov_SC03_115 2196 1699 0 2198 2472 88.9%
ov_SC03_116 2186 1699 0 2189 2438 89.8%
ov_SC03_117 2214 1699 0 2220 2557 86.8%
ov_SC03_118 2261 1723 0 2262 2685 84.2%
ov_SC03_119 2259 1723 0 2260 2685 84.2%
ov_SC03_121 2193 1699 0 2196 2459 89.3%
ov_SC03_124 2272 1695 0 2292 2741 83.6%
ov_SC03_125 2229 1699 0 2241 2588 86.6%
ov_SC03_126 2192 1701 0 2192 2423 90.5%
ov_SC04_000 2208 1703 0 2217 2546 87.1%
ov_SC04_002 2224 1699 0 2228 2636 84.5%
ov_SC04_003 2202 1699 0 2206 2502 88.2%
ov_SC04_004 2211 1699 0 2213 2558 86.5%
ov_SC04_005 2219 1699 0 2225 2612 85.2%
ov_SC04_006 2192 1699 0 2194 2454 89.4%
ov_SC04_007 2212 1699 0 2216 2569 86.3%
ov_SC04_008 2182 1699 0 2182 2415 90.4%
ov_SC04_009 2198 1699 0 2201 2441 90.2%
ov_SC04_010 2189 1699 0 2190 2419 90.5%
ov_SC04_011 2245 1699 0 2251 2803 80.3%
ov_SC04_012 2185 1699 0 2186 2420 90.3%
ov_SC04_015 2248 1700 0 2259 2611 86.5%
ov_SC04_016 2188 1699 0 2190 2440 89.8%
ov_SC04_018 2299 1734 0 2299 2857 80.5%
ov_SC04_019 2304 1734 0 2304 2857 80.6%
ov_SC04_020 2216 1699 0 2228 2567 86.8%
ov_SC04_021 2193 1701 0 2193 2423 90.5%
ov_SC05_000 2189 1703 0 2192 2422 90.5%
ov_SC05_001 2212 1699 0 2217 2574 86.1%
ov_SC05_002 2194 1699 0 2197 2442 90.0%
ov_SC05_003 2191 1699 0 2192 2481 88.4%
ov_SC05_004 2186 1699 0 2188 2464 88.8%
ov_SC05_005 2193 1699 0 2194 2491 88.1%
ov_SC05_006 2185 1699 0 2185 2430 89.9%
ov_SC05_007 2195 1699 0 2200 2482 88.6%
ov_SC05_008 2212 1699 0 2214 2543 87.1%
ov_SC05_009 2190 1699 0 2194 2438 90.0%
ov_SC05_010 2216 1699 0 2220 2588 85.8%
ov_SC05_011 2188 1699 0 2189 2409 90.9%
ov_SC05_017 2295 1696 0 2306 2842 81.1%
ov_SC05_018 2242 1699 0 2255 2673 84.4%
ov_SC05_019 2193 1701 0 2193 2423 90.5%
ov_SC06_000 2253 1708 0 2256 2691 83.8%
ov_SC06_006 2208 1699 0 2209 2511 88.0%
ov_SC06_008 2218 1701 0 2224 2542 87.5%
ov_SC06_010 2202 1699 0 2207 2517 87.7%
ov_SC06_011 2196 1699 0 2200 2468 89.1%
ov_SC06_013 2190 1699 0 2191 2425 90.4%
ov_SC06_014 2196 1699 0 2198 2453 89.6%
ov_SC06_015 2193 1699 0 2193 2421 90.6%
ov_SC06_016 2210 1699 0 2212 2549 86.8%
ov_SC06_018 2207 1702 0 2214 2665 83.1%
ov_SC06_020 2200 1701 0 2201 2518 87.4%
ov_SC06_022 2214 1699 0 2222 2642 84.1%
ov_SC06_024 2219 1699 0 2225 2667 83.4%
ov_SC06_025 2211 1699 0 2216 2572 86.2%
ov_SC06_027 2179 1699 0 2180 2408 90.5%
ov_SC06_029 2237 1699 0 2249 2662 84.5%
ov_SC06_030 2192 1699 0 2192 2456 89.3%
ov_SC06_032 2204 1700 0 2211 2658 83.2%
ov_SC06_033 2207 1700 0 2214 2631 84.2%
ov_SC07_000 2206 1703 0 2208 2521 87.6%
ov_SC07_001 2192 1699 0 2194 2454 89.4%
ov_SC07_002 2219 1699 0 2223 2579 86.2%
ov_SC07_006 1965 1547 0 2045 2456 83.3%
ov_SC07_007 1981 1548 0 2065 2614 79.0%
ov_SC07_008 2176 1699 0 2176 2386 91.2%
ov_SC07_009 2186 1699 0 2188 2430 90.0%
ov_SC07_010 1994 1548 0 2077 2526 82.2%
ov_SC07_011 1981 1547 0 2061 2450 84.1%