Files
BFM-decomp/docs/progress.fleet.md
T
Drew T 2f38e31e76 feat(phase-26a): A3h — propagate 14 fleet-wide byte-exact stubs ×134 (Bucket P)
The standing-lead harvest (A3f/A3g continuation), measured precisely first (R14). Of the
~1,060 still-open byte-exact functions in the backlog:

  - Bucket G (67 open in ov_SC01_077): re-gated through the A3e-fixed gate_stage
    --no-propagate -> 0 banked. HONEST: A3f already took the bankable 33; the residual is
    the known hard classes (jtbl-rodata / register-pins / struct-collision) + stale backlog
    rows whose LATEST state is a WAVE mismatch. Correct G3/P9 rejection.

  - Bucket P (88 matched in ov077, open in siblings): the clean lead. dedup_propagate --addr
    (A3g primitive) skipped 70 as h_exact reach<2 (per-location byte VARIANTS -> family_sweep
    territory, not plain propagation) and propagated the 14 genuine PURE fleet families:
      5 top (func_80129C40/8012A6D0/80130A18/80131D68/80136DFC) + 9 more; 2 stragglers
      dropped all-or-nothing (0x80173A60, 0x8014C568 -> --recover candidates).

Each propagated x~133 (dedup_propagate internal gate: 134 overlays byte-identical).
R22 CLEAN-FLEET (make clean + extract-all + check-all): 136 passed, 0 failed of 136.
dedup-check: 1826 -> 1840 validated, 0 failed | C1 227211/227211.

DELTA:
  instr-weighted  66.8% -> 67.4%  (+~1,862 member instantiations shipped from C)
  distinct-code   46.8% -> 46.8%  (flat: propagation adds MEMBERS, not new distinct code)
  673 files (671 overlay .c instantiations + engine_core.h) + dedup.us.yaml + progress.fleet.md

Remaining standing lead: the ~72 variant Bucket-P + ~905 Bucket-X (absent from ov077) fns,
all latest-row closeness==0 -> route through family_sweep --hseq (per-sibling remap), next.
2026-07-14 17:41:24 -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: 286820 / 343677 = 83.46% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 8562618 / 12707182 = 67.4% (shipped .text across resident+134 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 2531879 / 5410077 = 46.8% (51862/84996 unique fns; the DISTINCT-RE number; main EXE not sig'd)

FLEET REAL substantive : 285292 (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 : 56850 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 2102 1698 0 2102 2403 87.5%
ov_SC01_001 2106 1698 0 2108 2466 85.5%
ov_SC01_004 2098 1689 0 2099 2414 87.0%
ov_SC01_005 2124 1711 0 2124 2503 84.9%
ov_SC01_006 2124 1711 0 2124 2503 84.9%
ov_SC01_008 2097 1689 0 2099 2426 86.5%
ov_SC01_009 2118 1690 0 2119 2507 84.5%
ov_SC01_074 2102 1690 0 2104 2425 86.8%
ov_SC01_077 2353 1658 0 2355 2585 91.1%
ov_SC01_080 2134 1693 0 2134 2512 85.0%
ov_SC01_084 2141 1693 0 2146 2579 83.2%
ov_SC02_000 2187 1728 0 2187 2683 81.5%
ov_SC02_003 2187 1728 0 2187 2683 81.5%
ov_SC02_004 2103 1693 0 2103 2401 87.6%
ov_SC02_005 2204 1689 0 2214 2927 75.6%
ov_SC02_011 2209 1696 0 2220 2893 76.7%
ov_SC02_015 2108 1695 0 2108 2414 87.3%
ov_SC02_016 2133 1695 0 2136 2545 83.9%
ov_SC02_017 2176 1695 0 2184 2732 79.9%
ov_SC02_021 2114 1695 0 2114 2437 86.7%
ov_SC02_026 2123 1693 0 2129 2572 82.8%
ov_SC02_027 2148 1693 0 2157 2692 80.1%
ov_SC02_028 2149 1693 0 2159 2701 79.9%
ov_SC02_031 2137 1694 0 2142 2562 83.6%
ov_SC02_035 2114 1693 0 2117 2520 84.0%
ov_SC02_039 2098 1693 0 2098 2416 86.8%
ov_SC02_041 2125 1693 0 2128 2561 83.1%
ov_SC03_001 2230 1694 0 2247 2869 78.3%
ov_SC03_002 2160 1698 0 2175 2631 82.7%
ov_SC03_003 2103 1693 0 2104 2423 86.8%
ov_SC03_006 2170 1699 0 2179 2767 78.7%
ov_SC03_007 2150 1693 0 2154 2623 82.1%
ov_SC03_010 2113 1693 0 2113 2470 85.5%
ov_SC03_011 2117 1693 0 2123 2527 84.0%
ov_SC03_012 2097 1693 0 2098 2406 87.2%
ov_SC03_013 2114 1693 0 2114 2492 84.8%
ov_SC03_014 2162 1718 0 2162 2685 80.5%
ov_SC03_015 2165 1718 0 2165 2685 80.6%
ov_SC03_023 2103 1693 0 2104 2435 86.4%
ov_SC03_024 2157 1698 0 2164 2641 81.9%
ov_SC03_028 2140 1693 0 2144 2664 80.5%
ov_SC03_029 2141 1695 0 2151 2644 81.4%
ov_SC03_030 2119 1698 0 2121 2495 85.0%
ov_SC03_031 2114 1693 0 2117 2514 84.2%
ov_SC03_089 2131 1693 0 2138 2581 82.8%
ov_SC03_090 2133 1693 0 2141 2625 81.6%
ov_SC03_091 2134 1693 0 2142 2640 81.1%
ov_SC03_092 2140 1693 0 2152 2587 83.2%
ov_SC03_093 2121 1693 0 2125 2563 82.9%
ov_SC03_094 2116 1693 0 2122 2577 82.3%
ov_SC03_095 2107 1693 0 2110 2474 85.3%
ov_SC03_096 2107 1693 0 2110 2465 85.6%
ov_SC03_097 2130 1693 0 2137 2603 82.1%
ov_SC03_098 2114 1693 0 2117 2541 83.3%
ov_SC03_099 2108 1693 0 2111 2504 84.3%
ov_SC03_100 2115 1693 0 2119 2539 83.5%
ov_SC03_101 2116 1693 0 2120 2528 83.9%
ov_SC03_102 2111 1693 0 2114 2492 84.8%
ov_SC03_103 2114 1695 0 2117 2510 84.3%
ov_SC03_104 2134 1693 0 2141 2616 81.8%
ov_SC03_105 2128 1693 0 2135 2597 82.2%
ov_SC03_108 2100 1693 0 2100 2443 86.0%
ov_SC03_109 2101 1693 0 2103 2424 86.8%
ov_SC03_110 2106 1693 0 2106 2468 85.3%
ov_SC03_111 2114 1693 0 2117 2510 84.3%
ov_SC03_112 2112 1695 0 2114 2526 83.7%
ov_SC03_113 2106 1695 0 2109 2468 85.5%
ov_SC03_114 2096 1693 0 2098 2415 86.9%
ov_SC03_115 2110 1693 0 2112 2472 85.4%
ov_SC03_116 2104 1693 0 2107 2438 86.4%
ov_SC03_117 2122 1693 0 2128 2557 83.2%
ov_SC03_118 2165 1717 0 2166 2685 80.7%
ov_SC03_119 2162 1717 0 2163 2685 80.6%
ov_SC03_121 2107 1693 0 2110 2459 85.8%
ov_SC03_124 2179 1689 0 2199 2741 80.2%
ov_SC03_125 2142 1693 0 2154 2588 83.2%
ov_SC03_126 2104 1695 0 2104 2423 86.8%
ov_SC04_000 2121 1697 0 2130 2546 83.7%
ov_SC04_002 2135 1693 0 2139 2636 81.1%
ov_SC04_003 2113 1693 0 2117 2502 84.6%
ov_SC04_004 2127 1693 0 2129 2558 83.2%
ov_SC04_005 2128 1693 0 2134 2612 81.7%
ov_SC04_006 2104 1693 0 2106 2454 85.8%
ov_SC04_007 2123 1693 0 2127 2569 82.8%
ov_SC04_008 2099 1693 0 2099 2415 86.9%
ov_SC04_009 2108 1693 0 2111 2441 86.5%
ov_SC04_010 2104 1693 0 2105 2419 87.0%
ov_SC04_011 2154 1693 0 2160 2803 77.1%
ov_SC04_012 2102 1693 0 2103 2420 86.9%
ov_SC04_015 2162 1694 0 2173 2611 83.2%
ov_SC04_016 2101 1693 0 2103 2440 86.2%
ov_SC04_018 2208 1728 0 2208 2857 77.3%
ov_SC04_019 2214 1728 0 2214 2857 77.5%
ov_SC04_020 2131 1693 0 2143 2567 83.5%
ov_SC04_021 2103 1695 0 2103 2423 86.8%
ov_SC05_000 2107 1697 0 2110 2422 87.1%
ov_SC05_001 2123 1693 0 2128 2574 82.7%
ov_SC05_002 2106 1693 0 2109 2442 86.4%
ov_SC05_003 2106 1693 0 2107 2481 84.9%
ov_SC05_004 2103 1693 0 2105 2464 85.4%
ov_SC05_005 2108 1693 0 2109 2491 84.7%
ov_SC05_006 2102 1693 0 2102 2430 86.5%
ov_SC05_007 2109 1693 0 2114 2482 85.2%
ov_SC05_008 2128 1693 0 2130 2543 83.8%
ov_SC05_009 2103 1693 0 2107 2438 86.4%
ov_SC05_010 2128 1693 0 2132 2588 82.4%
ov_SC05_011 2105 1693 0 2106 2409 87.4%
ov_SC05_017 2204 1690 0 2215 2842 77.9%
ov_SC05_018 2154 1693 0 2167 2673 81.1%
ov_SC05_019 2103 1695 0 2103 2423 86.8%
ov_SC06_000 2163 1702 0 2166 2691 80.5%
ov_SC06_006 2112 1693 0 2113 2511 84.1%
ov_SC06_008 2128 1695 0 2134 2542 83.9%
ov_SC06_010 2114 1693 0 2119 2517 84.2%
ov_SC06_011 2112 1693 0 2116 2468 85.7%
ov_SC06_013 2105 1693 0 2106 2425 86.8%
ov_SC06_014 2109 1693 0 2111 2453 86.1%
ov_SC06_015 2106 1693 0 2106 2421 87.0%
ov_SC06_016 2124 1693 0 2126 2549 83.4%
ov_SC06_018 2122 1696 0 2129 2665 79.9%
ov_SC06_020 2112 1695 0 2113 2518 83.9%
ov_SC06_022 2128 1693 0 2136 2642 80.8%
ov_SC06_024 2134 1693 0 2140 2667 80.2%
ov_SC06_025 2121 1693 0 2126 2572 82.7%
ov_SC06_027 2096 1693 0 2097 2408 87.1%
ov_SC06_029 2149 1693 0 2161 2662 81.2%
ov_SC06_030 2107 1693 0 2107 2456 85.8%
ov_SC06_032 2118 1694 0 2125 2658 79.9%
ov_SC06_033 2122 1694 0 2129 2631 80.9%
ov_SC07_000 2121 1697 0 2123 2521 84.2%
ov_SC07_001 2108 1693 0 2110 2454 86.0%
ov_SC07_002 2125 1693 0 2129 2579 82.6%
ov_SC07_008 2092 1693 0 2092 2386 87.7%
ov_SC07_009 2103 1693 0 2105 2430 86.6%