Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 06e43873e9 feat(phase-26 T7): §52 regalloc sibling wave — 2 cores banked ×134 (268 instances)
The Fable5 walker-family idiom (§52, from the func_80178004 wall) applied by a
6-agent cheap-Opus wave over the regalloc-order reach-134 cluster:
- BANKED ×134: func_80171FFC (40 ins), func_801775E0 (67 ins) — 2 exemplars +
  266 members = 268 function-instances, 0 gate failures (family_sweep byte-gate).
- 4 precisely-characterized walls (P9), each yielding a byte-verified lever:
  func_80167714 (whole-binary near), func_80177AD4 (non-coalescing delay-slot copy),
  func_80169228 (NEW caller-saved priority-first-fit wall), func_80131A34 (save-order/
  load-hoist tension; new const-unchanging-load lever).
- §52a: the wave's new banking levers (pass-real-args/RC-10, store-base-both-arms,
  copy-chain-direction, pp-decl-schedule, const-unchanging-load/RC-3) + the two new
  intrinsic-wall classes. Fable5 DISCOVERS, cheap-Opus APPLIES.
- fn-count 84.27→84.35% (+268), instr-weighted 68.6→68.7% (+14,338 ins), distinct +2.
- R22 clean-fleet 136/136 BYTE-IDENTICAL; dedup 1840/0.
2026-07-15 12:26:47 -06:00

8.6 KiB
Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

136 binaries: main + resident + 134 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: 289897 / 343677 = 84.35% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 8735761 / 12707182 = 68.7% (shipped .text across resident+134 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 2662969 / 5410077 = 49.2% (53426/84996 unique fns; the DISTINCT-RE number; main EXE not sig'd)

FLEET REAL substantive : 288369 (of which dedup-shared 227167 via 1840 groups / 227211 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 53773 FLEET matchable : 343677

binary REAL shared LINKED byte-ident matchable byte-ident %
main 54 2 959 1055 2096 50.3%
resident 123 0 0 125 146 85.6%
ov_SC01_000 2120 1698 0 2120 2403 88.2%
ov_SC01_001 2124 1698 0 2126 2466 86.2%
ov_SC01_004 2116 1689 0 2117 2414 87.7%
ov_SC01_005 2146 1711 0 2146 2503 85.7%
ov_SC01_006 2146 1711 0 2146 2503 85.7%
ov_SC01_008 2116 1689 0 2118 2426 87.3%
ov_SC01_009 2140 1690 0 2141 2507 85.4%
ov_SC01_074 2120 1690 0 2122 2425 87.5%
ov_SC01_077 2357 1658 0 2359 2585 91.3%
ov_SC01_080 2157 1693 0 2157 2512 85.9%
ov_SC01_084 2165 1693 0 2170 2579 84.1%
ov_SC02_000 2212 1728 0 2212 2683 82.4%
ov_SC02_003 2212 1728 0 2212 2683 82.4%
ov_SC02_004 2125 1693 0 2125 2401 88.5%
ov_SC02_005 2232 1689 0 2242 2927 76.6%
ov_SC02_011 2239 1696 0 2250 2893 77.8%
ov_SC02_015 2127 1695 0 2127 2414 88.1%
ov_SC02_016 2155 1695 0 2158 2545 84.8%
ov_SC02_017 2199 1695 0 2207 2732 80.8%
ov_SC02_021 2132 1695 0 2132 2437 87.5%
ov_SC02_026 2145 1693 0 2151 2572 83.6%
ov_SC02_027 2169 1693 0 2178 2692 80.9%
ov_SC02_028 2170 1693 0 2180 2701 80.7%
ov_SC02_031 2158 1694 0 2163 2562 84.4%
ov_SC02_035 2132 1693 0 2135 2520 84.7%
ov_SC02_039 2118 1693 0 2118 2416 87.7%
ov_SC02_041 2152 1693 0 2155 2561 84.1%
ov_SC03_001 2252 1694 0 2269 2869 79.1%
ov_SC03_002 2179 1698 0 2194 2631 83.4%
ov_SC03_003 2128 1693 0 2129 2423 87.9%
ov_SC03_006 2191 1699 0 2200 2767 79.5%
ov_SC03_007 2172 1693 0 2176 2623 83.0%
ov_SC03_010 2135 1693 0 2135 2470 86.4%
ov_SC03_011 2142 1693 0 2148 2527 85.0%
ov_SC03_012 2120 1693 0 2121 2406 88.2%
ov_SC03_013 2140 1693 0 2140 2492 85.9%
ov_SC03_014 2195 1718 0 2195 2685 81.8%
ov_SC03_015 2196 1718 0 2196 2685 81.8%
ov_SC03_023 2126 1693 0 2127 2435 87.4%
ov_SC03_024 2183 1698 0 2190 2641 82.9%
ov_SC03_028 2166 1693 0 2170 2664 81.5%
ov_SC03_029 2166 1695 0 2176 2644 82.3%
ov_SC03_030 2141 1698 0 2143 2495 85.9%
ov_SC03_031 2137 1693 0 2140 2514 85.1%
ov_SC03_089 2151 1693 0 2158 2581 83.6%
ov_SC03_090 2153 1693 0 2161 2625 82.3%
ov_SC03_091 2156 1693 0 2164 2640 82.0%
ov_SC03_092 2168 1693 0 2180 2587 84.3%
ov_SC03_093 2143 1693 0 2147 2563 83.8%
ov_SC03_094 2137 1693 0 2143 2577 83.2%
ov_SC03_095 2128 1693 0 2131 2474 86.1%
ov_SC03_096 2128 1693 0 2131 2465 86.5%
ov_SC03_097 2156 1693 0 2163 2603 83.1%
ov_SC03_098 2135 1693 0 2138 2541 84.1%
ov_SC03_099 2129 1693 0 2132 2504 85.1%
ov_SC03_100 2138 1693 0 2142 2539 84.4%
ov_SC03_101 2139 1693 0 2143 2528 84.8%
ov_SC03_102 2131 1693 0 2134 2492 85.6%
ov_SC03_103 2134 1695 0 2137 2510 85.1%
ov_SC03_104 2159 1693 0 2166 2616 82.8%
ov_SC03_105 2153 1693 0 2160 2597 83.2%
ov_SC03_108 2122 1693 0 2122 2443 86.9%
ov_SC03_109 2123 1693 0 2125 2424 87.7%
ov_SC03_110 2128 1693 0 2128 2468 86.2%
ov_SC03_111 2138 1693 0 2141 2510 85.3%
ov_SC03_112 2133 1695 0 2135 2526 84.5%
ov_SC03_113 2126 1695 0 2129 2468 86.3%
ov_SC03_114 2116 1693 0 2118 2415 87.7%
ov_SC03_115 2133 1693 0 2135 2472 86.4%
ov_SC03_116 2124 1693 0 2127 2438 87.2%
ov_SC03_117 2149 1693 0 2155 2557 84.3%
ov_SC03_118 2197 1717 0 2198 2685 81.9%
ov_SC03_119 2194 1717 0 2195 2685 81.8%
ov_SC03_121 2129 1693 0 2132 2459 86.7%
ov_SC03_124 2209 1689 0 2229 2741 81.3%
ov_SC03_125 2166 1693 0 2178 2588 84.2%
ov_SC03_126 2128 1695 0 2128 2423 87.8%
ov_SC04_000 2145 1697 0 2154 2546 84.6%
ov_SC04_002 2160 1693 0 2164 2636 82.1%
ov_SC04_003 2138 1693 0 2142 2502 85.6%
ov_SC04_004 2148 1693 0 2150 2558 84.1%
ov_SC04_005 2155 1693 0 2161 2612 82.7%
ov_SC04_006 2128 1693 0 2130 2454 86.8%
ov_SC04_007 2148 1693 0 2152 2569 83.8%
ov_SC04_008 2119 1693 0 2119 2415 87.7%
ov_SC04_009 2134 1693 0 2137 2441 87.5%
ov_SC04_010 2125 1693 0 2126 2419 87.9%
ov_SC04_011 2182 1693 0 2188 2803 78.1%
ov_SC04_012 2123 1693 0 2124 2420 87.8%
ov_SC04_015 2185 1694 0 2196 2611 84.1%
ov_SC04_016 2125 1693 0 2127 2440 87.2%
ov_SC04_018 2236 1728 0 2236 2857 78.3%
ov_SC04_019 2241 1728 0 2241 2857 78.4%
ov_SC04_020 2153 1693 0 2165 2567 84.3%
ov_SC04_021 2129 1695 0 2129 2423 87.9%
ov_SC05_000 2126 1697 0 2129 2422 87.9%
ov_SC05_001 2149 1693 0 2154 2574 83.7%
ov_SC05_002 2130 1693 0 2133 2442 87.3%
ov_SC05_003 2127 1693 0 2128 2481 85.8%
ov_SC05_004 2123 1693 0 2125 2464 86.2%
ov_SC05_005 2130 1693 0 2131 2491 85.5%
ov_SC05_006 2122 1693 0 2122 2430 87.3%
ov_SC05_007 2132 1693 0 2137 2482 86.1%
ov_SC05_008 2150 1693 0 2152 2543 84.6%
ov_SC05_009 2127 1693 0 2131 2438 87.4%
ov_SC05_010 2152 1693 0 2156 2588 83.3%
ov_SC05_011 2125 1693 0 2126 2409 88.3%
ov_SC05_017 2232 1690 0 2243 2842 78.9%
ov_SC05_018 2179 1693 0 2192 2673 82.0%
ov_SC05_019 2129 1695 0 2129 2423 87.9%
ov_SC06_000 2190 1702 0 2193 2691 81.5%
ov_SC06_006 2145 1693 0 2146 2511 85.5%
ov_SC06_008 2153 1695 0 2159 2542 84.9%
ov_SC06_010 2138 1693 0 2143 2517 85.1%
ov_SC06_011 2132 1693 0 2136 2468 86.5%
ov_SC06_013 2126 1693 0 2127 2425 87.7%
ov_SC06_014 2131 1693 0 2133 2453 87.0%
ov_SC06_015 2128 1693 0 2128 2421 87.9%
ov_SC06_016 2147 1693 0 2149 2549 84.3%
ov_SC06_018 2142 1696 0 2149 2665 80.6%
ov_SC06_020 2135 1695 0 2136 2518 84.8%
ov_SC06_022 2148 1693 0 2156 2642 81.6%
ov_SC06_024 2155 1693 0 2161 2667 81.0%
ov_SC06_025 2147 1693 0 2152 2572 83.7%
ov_SC06_027 2116 1693 0 2117 2408 87.9%
ov_SC06_029 2172 1693 0 2184 2662 82.0%
ov_SC06_030 2128 1693 0 2128 2456 86.6%
ov_SC06_032 2139 1694 0 2146 2658 80.7%
ov_SC06_033 2142 1694 0 2149 2631 81.7%
ov_SC07_000 2143 1697 0 2145 2521 85.1%
ov_SC07_001 2129 1693 0 2131 2454 86.8%
ov_SC07_002 2156 1693 0 2160 2579 83.8%
ov_SC07_008 2113 1693 0 2113 2386 88.6%
ov_SC07_009 2124 1693 0 2126 2430 87.5%