mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 06:49:47 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
c7fedced10e543cdd1ccf7806ff41526b3ec281e
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

160 lines
9.0 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# 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% |
Reference in New Issue View Git Blame Copy Permalink