Files
BFM-decomp/docs/progress.fleet.md
T
Drew T fd564a2cf7 feat(phase-29 T3): propagate the 3 self-contained cores ×137 (+410 instances; fleet 71.0->71.4% instr)
- targeted dedup_propagate --addr per core (NOT --auto-from), --recover for stragglers:
    0x8014ADE0 -> 138 overlays byte-identical
    0x801325B8 -> 134 (ov_SC07_011 byte-diverges -> auto-excluded, kept x1 — what --recover is for)
    0x801387B8 -> 138 overlays byte-identical
  = ~410 member-instances; 3 new dedup groups (1840 -> 1843), C1 coverage 233795/233795.
- 2 of the 5 banked cores (func_8014E284, func_80137DD4) stay ×1: "not self-contained (local types)"
  -> blocked on the build_engine_types type-lift (the §19/§20 propagation cap). Carried.
- R22 clean-fleet 140/140 BYTE-IDENTICAL; audit-binaries OK; dedup 1843/0; 0 NON_MATCHING (G4).
  Fleet instr 71.0 -> 71.4% / fn-count 86.30 -> 86.42% / distinct-code 53.3%.

- SELF-CORRECTION (R14/R35), now fixed in cookbook §55c + CURRENT_PHASE: my earlier claim that this
  propagate "needs ~2h+" was WRONG. That timing was taken while the tree still carried the partial
  damage of a killed --auto-from (90/140 overlays broken), so every member-gate was failing/retrying.
  On a HEALTHY tree a targeted --addr propagate is ~233s/core (all 3 = ~27 min) — ~20x faster. Only
  --auto-from is genuinely fleet-slow. A timing taken on a broken tree measures the breakage, not the
  tool — recover the tree FIRST, then measure.
- cookbook §55: the wave's new byte-proven levers (§49-variant birthing-boost suppression via
  reg_n_sets 1->2; sched1 birthing/LUID + "cc1 -dL" movable introspection; switch-tree vs jtbl
  CASE_VALUES_THRESHOLD=5; block-scope-extern beats *(T*)&sym) + the GATE-ORCHESTRATION law
  (--no-propagate per group then ONE targeted --addr; commit banks BEFORE propagating; a reverted src
  needs a re-extract; gate_stage's default harvest_verified.txt accumulates -> phantom banks).
2026-07-17 02:04:38 -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: 305681 / 353722 = 86.42% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 9334205 / 13081451 = 71.4% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 2970526 / 5574674 = 53.3% (59901/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 : 303826 (of which dedup-shared 233751 via 1843 groups / 233795 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 48034 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 2175 1701 0 2175 2403 90.5%
ov_SC01_001 2180 1701 0 2182 2466 88.5%
ov_SC01_004 2173 1692 0 2174 2414 90.1%
ov_SC01_005 2202 1714 0 2202 2503 88.0%
ov_SC01_006 2202 1714 0 2202 2503 88.0%
ov_SC01_008 2173 1692 0 2175 2426 89.7%
ov_SC01_009 2198 1693 0 2199 2507 87.7%
ov_SC01_074 2176 1693 0 2178 2425 89.8%
ov_SC01_077 2368 1661 0 2370 2585 91.7%
ov_SC01_080 2214 1696 0 2214 2512 88.1%
ov_SC01_084 2222 1696 0 2227 2579 86.4%
ov_SC02_000 2273 1731 0 2273 2683 84.7%
ov_SC02_003 2273 1731 0 2273 2683 84.7%
ov_SC02_004 2181 1696 0 2181 2401 90.8%
ov_SC02_005 2288 1692 0 2298 2927 78.5%
ov_SC02_011 2297 1699 0 2308 2893 79.8%
ov_SC02_015 2182 1698 0 2182 2414 90.4%
ov_SC02_016 2212 1698 0 2215 2545 87.0%
ov_SC02_017 2258 1698 0 2266 2732 82.9%
ov_SC02_021 2188 1698 0 2188 2437 89.8%
ov_SC02_026 2203 1696 0 2209 2572 85.9%
ov_SC02_027 2226 1696 0 2235 2692 83.0%
ov_SC02_028 2227 1696 0 2237 2701 82.8%
ov_SC02_031 2213 1697 0 2218 2562 86.6%
ov_SC02_035 2189 1696 0 2192 2520 87.0%
ov_SC02_039 2174 1696 0 2174 2416 90.0%
ov_SC02_041 2209 1696 0 2212 2561 86.4%
ov_SC03_001 2308 1697 0 2325 2869 81.0%
ov_SC03_002 2235 1701 0 2250 2631 85.5%
ov_SC03_003 2184 1696 0 2185 2423 90.2%
ov_SC03_006 2247 1702 0 2256 2767 81.5%
ov_SC03_007 2228 1696 0 2232 2623 85.1%
ov_SC03_010 2190 1696 0 2190 2470 88.7%
ov_SC03_011 2198 1696 0 2204 2527 87.2%
ov_SC03_012 2176 1696 0 2177 2406 90.5%
ov_SC03_013 2195 1696 0 2195 2492 88.1%
ov_SC03_014 2253 1721 0 2253 2685 83.9%
ov_SC03_015 2254 1721 0 2254 2685 83.9%
ov_SC03_023 2182 1696 0 2183 2435 89.7%
ov_SC03_024 2240 1701 0 2247 2641 85.1%
ov_SC03_028 2222 1696 0 2226 2664 83.6%
ov_SC03_029 2224 1698 0 2234 2644 84.5%
ov_SC03_030 2196 1701 0 2198 2495 88.1%
ov_SC03_031 2194 1696 0 2197 2514 87.4%
ov_SC03_089 2208 1696 0 2215 2581 85.8%
ov_SC03_090 2210 1696 0 2218 2625 84.5%
ov_SC03_091 2213 1696 0 2221 2640 84.1%
ov_SC03_092 2224 1696 0 2236 2587 86.4%
ov_SC03_093 2200 1696 0 2204 2563 86.0%
ov_SC03_094 2195 1696 0 2201 2577 85.4%
ov_SC03_095 2185 1696 0 2188 2474 88.4%
ov_SC03_096 2185 1696 0 2188 2465 88.8%
ov_SC03_097 2214 1696 0 2221 2603 85.3%
ov_SC03_098 2193 1696 0 2196 2541 86.4%
ov_SC03_099 2186 1696 0 2189 2504 87.4%
ov_SC03_100 2196 1696 0 2200 2539 86.6%
ov_SC03_101 2196 1696 0 2200 2528 87.0%
ov_SC03_102 2188 1696 0 2191 2492 87.9%
ov_SC03_103 2191 1698 0 2194 2510 87.4%
ov_SC03_104 2216 1696 0 2223 2616 85.0%
ov_SC03_105 2209 1696 0 2216 2597 85.3%
ov_SC03_108 2178 1696 0 2178 2443 89.2%
ov_SC03_109 2179 1696 0 2181 2424 90.0%
ov_SC03_110 2184 1696 0 2184 2468 88.5%
ov_SC03_111 2196 1696 0 2199 2510 87.6%
ov_SC03_112 2189 1698 0 2191 2526 86.7%
ov_SC03_113 2182 1698 0 2185 2468 88.5%
ov_SC03_114 2172 1696 0 2174 2415 90.0%
ov_SC03_115 2189 1696 0 2191 2472 88.6%
ov_SC03_116 2179 1696 0 2182 2438 89.5%
ov_SC03_117 2207 1696 0 2213 2557 86.5%
ov_SC03_118 2254 1720 0 2255 2685 84.0%
ov_SC03_119 2252 1720 0 2253 2685 83.9%
ov_SC03_121 2186 1696 0 2189 2459 89.0%
ov_SC03_124 2265 1692 0 2285 2741 83.4%
ov_SC03_125 2222 1696 0 2234 2588 86.3%
ov_SC03_126 2185 1698 0 2185 2423 90.2%
ov_SC04_000 2201 1700 0 2210 2546 86.8%
ov_SC04_002 2217 1696 0 2221 2636 84.3%
ov_SC04_003 2195 1696 0 2199 2502 87.9%
ov_SC04_004 2204 1696 0 2206 2558 86.2%
ov_SC04_005 2212 1696 0 2218 2612 84.9%
ov_SC04_006 2185 1696 0 2187 2454 89.1%
ov_SC04_007 2205 1696 0 2209 2569 86.0%
ov_SC04_008 2175 1696 0 2175 2415 90.1%
ov_SC04_009 2191 1696 0 2194 2441 89.9%
ov_SC04_010 2182 1696 0 2183 2419 90.2%
ov_SC04_011 2238 1696 0 2244 2803 80.1%
ov_SC04_012 2178 1696 0 2179 2420 90.0%
ov_SC04_015 2241 1697 0 2252 2611 86.3%
ov_SC04_016 2181 1696 0 2183 2440 89.5%
ov_SC04_018 2292 1731 0 2292 2857 80.2%
ov_SC04_019 2297 1731 0 2297 2857 80.4%
ov_SC04_020 2209 1696 0 2221 2567 86.5%
ov_SC04_021 2186 1698 0 2186 2423 90.2%
ov_SC05_000 2182 1700 0 2185 2422 90.2%
ov_SC05_001 2205 1696 0 2210 2574 85.9%
ov_SC05_002 2187 1696 0 2190 2442 89.7%
ov_SC05_003 2184 1696 0 2185 2481 88.1%
ov_SC05_004 2179 1696 0 2181 2464 88.5%
ov_SC05_005 2186 1696 0 2187 2491 87.8%
ov_SC05_006 2178 1696 0 2178 2430 89.6%
ov_SC05_007 2188 1696 0 2193 2482 88.4%
ov_SC05_008 2205 1696 0 2207 2543 86.8%
ov_SC05_009 2183 1696 0 2187 2438 89.7%
ov_SC05_010 2209 1696 0 2213 2588 85.5%
ov_SC05_011 2181 1696 0 2182 2409 90.6%
ov_SC05_017 2288 1693 0 2299 2842 80.9%
ov_SC05_018 2235 1696 0 2248 2673 84.1%
ov_SC05_019 2186 1698 0 2186 2423 90.2%
ov_SC06_000 2246 1705 0 2249 2691 83.6%
ov_SC06_006 2201 1696 0 2202 2511 87.7%
ov_SC06_008 2211 1698 0 2217 2542 87.2%
ov_SC06_010 2195 1696 0 2200 2517 87.4%
ov_SC06_011 2189 1696 0 2193 2468 88.9%
ov_SC06_013 2183 1696 0 2184 2425 90.1%
ov_SC06_014 2189 1696 0 2191 2453 89.3%
ov_SC06_015 2186 1696 0 2186 2421 90.3%
ov_SC06_016 2203 1696 0 2205 2549 86.5%
ov_SC06_018 2200 1699 0 2207 2665 82.8%
ov_SC06_020 2193 1698 0 2194 2518 87.1%
ov_SC06_022 2207 1696 0 2215 2642 83.8%
ov_SC06_024 2212 1696 0 2218 2667 83.2%
ov_SC06_025 2204 1696 0 2209 2572 85.9%
ov_SC06_027 2172 1696 0 2173 2408 90.2%
ov_SC06_029 2230 1696 0 2242 2662 84.2%
ov_SC06_030 2185 1696 0 2185 2456 89.0%
ov_SC06_032 2197 1697 0 2204 2658 82.9%
ov_SC06_033 2200 1697 0 2207 2631 83.9%
ov_SC07_000 2199 1700 0 2201 2521 87.3%
ov_SC07_001 2185 1696 0 2187 2454 89.1%
ov_SC07_002 2212 1696 0 2216 2579 85.9%
ov_SC07_006 1960 1545 0 2040 2456 83.1%
ov_SC07_007 1976 1546 0 2060 2614 78.8%
ov_SC07_008 2169 1696 0 2169 2386 90.9%
ov_SC07_009 2179 1696 0 2181 2430 89.8%
ov_SC07_010 1989 1546 0 2072 2526 82.0%
ov_SC07_011 1976 1545 0 2056 2450 83.9%