mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-10-09 01:59:26 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
83f20f4271ed718a10fee7caef82702996a1472b
BFM-decomp/docs/progress.fleet.md
T
Drew T 5c894c1e62 feat(phase-29 Task-13B): func_80141B90 x138 + the reach repricing + the length profile 
PROPAGATION (§55b, its own targeted batch): dedup_propagate --addr 0x80141B90 --recover
-> "138 overlays byte-identical after propagation"; 117 remaining stubs -> 0; 1 new
dedup group. This was the ONLY one of the 21 directed-run banks worth propagating.

THE REPRICING (R14 — measure a bucket's VALUE, not just its conversion rate):
the directed run converted 27% (21/77) but moved the fleet ~0.03pp, because h_exact
reach of the 21 is: func_80141B90=138, TEN at reach-1 (nothing to propagate), rest 2-10.
Instruction-weighted, the ENTIRE permuter bucket is worth ~0.36pp at 100% conversion.
The mechanism is validated; the fuel was small. Priced frontier (ins-weighted / 13.08M):
  LENGTH-DRIFT |d|<=2   472,178  ~3.6pp  (339 fns)   <- the real permuter-adjacent lever
  integration           419,162  ~3.2pp  (305 fns)   <- Task 14's ladder
  WIDTH                  71,593  ~0.55pp (45)
  permuter (current)     46,571  ~0.36pp (74)
  BRANCH-POLARITY         9,462  ~0.07pp (22)
So WIDTH/BRANCH-POLARITY are NOT worth prioritizing; my earlier "~200 candidates"
framing undersold LENGTH-DRIFT 10x and oversold WIDTH.

NEW: permuter_weights._LENGTH profile (perm_temp_for_expr/perm_expand_expr are the only
passes that change instruction COUNT; the reorder/decl-order levers that dominate the
regalloc+schedule profiles cannot, so they are down-weighted here) + residual_class
._drift_route (|d|<=2 -> permuter/`length`, larger stays structural — same class,
opposite tool) + classify() accepts a PROFILE NAME directly (the measured profile beats
re-parsing a free-text label). 17 unit tests green.

grinder: --profile filter (probe ONE residual class's conversion) + a PERSISTENT attempt
ledger. `tried` was in-process only, so every fresh --once run re-permuted the previous
run's losers — the permuter is deterministic given (base.c, target.o), so that CPU can
never produce a new win. Measured: a 20-target probe drew 19 already-tried targets.
Keyed by draft_sig so an improved draft legitimately re-opens the function.
2026-07-21 15:05:56 -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: 310961 / 353722 = 87.91% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10204272 / 13081451 = 78.0% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3708963 / 5574674 = 66.5% (64104/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 : 309106 (of which dedup-shared 234299 via 1847 groups / 234343 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 42754
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 | 2219 | 1705 | 0 | 2219 | 2403 | 92.3% |
| ov_SC01_001 | 2220 | 1705 | 0 | 2222 | 2466 | 90.1% |
| ov_SC01_004 | 2211 | 1696 | 0 | 2212 | 2414 | 91.6% |
| ov_SC01_005 | 2240 | 1718 | 0 | 2240 | 2503 | 89.5% |
| ov_SC01_006 | 2240 | 1718 | 0 | 2240 | 2503 | 89.5% |
| ov_SC01_008 | 2211 | 1696 | 0 | 2213 | 2426 | 91.2% |
| ov_SC01_009 | 2236 | 1697 | 0 | 2237 | 2507 | 89.2% |
| ov_SC01_074 | 2214 | 1697 | 0 | 2216 | 2425 | 91.4% |
| ov_SC01_077 | 2405 | 1665 | 0 | 2407 | 2585 | 93.1% |
| ov_SC01_080 | 2254 | 1700 | 0 | 2254 | 2512 | 89.7% |
| ov_SC01_084 | 2260 | 1700 | 0 | 2265 | 2579 | 87.8% |
| ov_SC02_000 | 2314 | 1735 | 0 | 2314 | 2683 | 86.2% |
| ov_SC02_003 | 2314 | 1735 | 0 | 2314 | 2683 | 86.2% |
| ov_SC02_004 | 2219 | 1700 | 0 | 2219 | 2401 | 92.4% |
| ov_SC02_005 | 2326 | 1696 | 0 | 2336 | 2927 | 79.8% |
| ov_SC02_011 | 2338 | 1703 | 0 | 2349 | 2893 | 81.2% |
| ov_SC02_015 | 2220 | 1702 | 0 | 2220 | 2414 | 92.0% |
| ov_SC02_016 | 2252 | 1702 | 0 | 2255 | 2545 | 88.6% |
| ov_SC02_017 | 2298 | 1702 | 0 | 2306 | 2732 | 84.4% |
| ov_SC02_021 | 2226 | 1702 | 0 | 2226 | 2437 | 91.3% |
| ov_SC02_026 | 2241 | 1700 | 0 | 2247 | 2572 | 87.4% |
| ov_SC02_027 | 2264 | 1700 | 0 | 2273 | 2692 | 84.4% |
| ov_SC02_028 | 2265 | 1700 | 0 | 2275 | 2701 | 84.2% |
| ov_SC02_031 | 2251 | 1701 | 0 | 2256 | 2562 | 88.1% |
| ov_SC02_035 | 2227 | 1700 | 0 | 2230 | 2520 | 88.5% |
| ov_SC02_039 | 2212 | 1700 | 0 | 2212 | 2416 | 91.6% |
| ov_SC02_041 | 2247 | 1700 | 0 | 2250 | 2561 | 87.9% |
| ov_SC03_001 | 2349 | 1701 | 0 | 2366 | 2869 | 82.5% |
| ov_SC03_002 | 2274 | 1705 | 0 | 2289 | 2631 | 87.0% |
| ov_SC03_003 | 2222 | 1700 | 0 | 2223 | 2423 | 91.7% |
| ov_SC03_006 | 2287 | 1706 | 0 | 2296 | 2767 | 83.0% |
| ov_SC03_007 | 2268 | 1700 | 0 | 2272 | 2623 | 86.6% |
| ov_SC03_010 | 2228 | 1700 | 0 | 2228 | 2470 | 90.2% |
| ov_SC03_011 | 2236 | 1700 | 0 | 2242 | 2527 | 88.7% |
| ov_SC03_012 | 2214 | 1700 | 0 | 2215 | 2406 | 92.1% |
| ov_SC03_013 | 2233 | 1700 | 0 | 2233 | 2492 | 89.6% |
| ov_SC03_014 | 2293 | 1725 | 0 | 2293 | 2685 | 85.4% |
| ov_SC03_015 | 2292 | 1725 | 0 | 2292 | 2685 | 85.4% |
| ov_SC03_023 | 2220 | 1700 | 0 | 2221 | 2435 | 91.2% |
| ov_SC03_024 | 2280 | 1705 | 0 | 2287 | 2641 | 86.6% |
| ov_SC03_028 | 2260 | 1700 | 0 | 2264 | 2664 | 85.0% |
| ov_SC03_029 | 2262 | 1702 | 0 | 2272 | 2644 | 85.9% |
| ov_SC03_030 | 2236 | 1705 | 0 | 2238 | 2495 | 89.7% |
| ov_SC03_031 | 2232 | 1700 | 0 | 2235 | 2514 | 88.9% |
| ov_SC03_089 | 2246 | 1700 | 0 | 2253 | 2581 | 87.3% |
| ov_SC03_090 | 2248 | 1700 | 0 | 2256 | 2625 | 85.9% |
| ov_SC03_091 | 2251 | 1700 | 0 | 2259 | 2640 | 85.6% |
| ov_SC03_092 | 2262 | 1700 | 0 | 2274 | 2587 | 87.9% |
| ov_SC03_093 | 2238 | 1700 | 0 | 2242 | 2563 | 87.5% |
| ov_SC03_094 | 2233 | 1700 | 0 | 2239 | 2577 | 86.9% |
| ov_SC03_095 | 2224 | 1700 | 0 | 2227 | 2474 | 90.0% |
| ov_SC03_096 | 2223 | 1700 | 0 | 2226 | 2465 | 90.3% |
| ov_SC03_097 | 2252 | 1700 | 0 | 2259 | 2603 | 86.8% |
| ov_SC03_098 | 2231 | 1700 | 0 | 2234 | 2541 | 87.9% |
| ov_SC03_099 | 2224 | 1700 | 0 | 2227 | 2504 | 88.9% |
| ov_SC03_100 | 2234 | 1700 | 0 | 2238 | 2539 | 88.1% |
| ov_SC03_101 | 2234 | 1700 | 0 | 2238 | 2528 | 88.5% |
| ov_SC03_102 | 2226 | 1700 | 0 | 2229 | 2492 | 89.4% |
| ov_SC03_103 | 2229 | 1702 | 0 | 2232 | 2510 | 88.9% |
| ov_SC03_104 | 2254 | 1700 | 0 | 2261 | 2616 | 86.4% |
| ov_SC03_105 | 2248 | 1700 | 0 | 2255 | 2597 | 86.8% |
| ov_SC03_108 | 2216 | 1700 | 0 | 2216 | 2443 | 90.7% |
| ov_SC03_109 | 2217 | 1700 | 0 | 2219 | 2424 | 91.5% |
| ov_SC03_110 | 2222 | 1700 | 0 | 2222 | 2468 | 90.0% |
| ov_SC03_111 | 2234 | 1700 | 0 | 2237 | 2510 | 89.1% |
| ov_SC03_112 | 2227 | 1702 | 0 | 2229 | 2526 | 88.2% |
| ov_SC03_113 | 2220 | 1702 | 0 | 2223 | 2468 | 90.1% |
| ov_SC03_114 | 2210 | 1700 | 0 | 2212 | 2415 | 91.6% |
| ov_SC03_115 | 2227 | 1700 | 0 | 2229 | 2472 | 90.2% |
| ov_SC03_116 | 2217 | 1700 | 0 | 2220 | 2438 | 91.1% |
| ov_SC03_117 | 2245 | 1700 | 0 | 2251 | 2557 | 88.0% |
| ov_SC03_118 | 2292 | 1724 | 0 | 2293 | 2685 | 85.4% |
| ov_SC03_119 | 2292 | 1724 | 0 | 2293 | 2685 | 85.4% |
| ov_SC03_121 | 2224 | 1700 | 0 | 2227 | 2459 | 90.6% |
| ov_SC03_124 | 2304 | 1696 | 0 | 2324 | 2741 | 84.8% |
| ov_SC03_125 | 2261 | 1700 | 0 | 2273 | 2588 | 87.8% |
| ov_SC03_126 | 2223 | 1702 | 0 | 2223 | 2423 | 91.7% |
| ov_SC04_000 | 2239 | 1704 | 0 | 2248 | 2546 | 88.3% |
| ov_SC04_002 | 2255 | 1700 | 0 | 2259 | 2636 | 85.7% |
| ov_SC04_003 | 2233 | 1700 | 0 | 2237 | 2502 | 89.4% |
| ov_SC04_004 | 2242 | 1700 | 0 | 2244 | 2558 | 87.7% |
| ov_SC04_005 | 2250 | 1700 | 0 | 2256 | 2612 | 86.4% |
| ov_SC04_006 | 2223 | 1700 | 0 | 2225 | 2454 | 90.7% |
| ov_SC04_007 | 2243 | 1700 | 0 | 2247 | 2569 | 87.5% |
| ov_SC04_008 | 2213 | 1700 | 0 | 2213 | 2415 | 91.6% |
| ov_SC04_009 | 2229 | 1700 | 0 | 2232 | 2441 | 91.4% |
| ov_SC04_010 | 2220 | 1700 | 0 | 2221 | 2419 | 91.8% |
| ov_SC04_011 | 2276 | 1700 | 0 | 2282 | 2803 | 81.4% |
| ov_SC04_012 | 2216 | 1700 | 0 | 2217 | 2420 | 91.6% |
| ov_SC04_015 | 2282 | 1701 | 0 | 2293 | 2611 | 87.8% |
| ov_SC04_016 | 2219 | 1700 | 0 | 2221 | 2440 | 91.0% |
| ov_SC04_018 | 2331 | 1735 | 0 | 2331 | 2857 | 81.6% |
| ov_SC04_019 | 2338 | 1735 | 0 | 2338 | 2857 | 81.8% |
| ov_SC04_020 | 2248 | 1700 | 0 | 2260 | 2567 | 88.0% |
| ov_SC04_021 | 2224 | 1702 | 0 | 2224 | 2423 | 91.8% |
| ov_SC05_000 | 2220 | 1704 | 0 | 2223 | 2422 | 91.8% |
| ov_SC05_001 | 2243 | 1700 | 0 | 2248 | 2574 | 87.3% |
| ov_SC05_002 | 2225 | 1700 | 0 | 2228 | 2442 | 91.2% |
| ov_SC05_003 | 2222 | 1700 | 0 | 2223 | 2481 | 89.6% |
| ov_SC05_004 | 2217 | 1700 | 0 | 2219 | 2464 | 90.1% |
| ov_SC05_005 | 2224 | 1700 | 0 | 2225 | 2491 | 89.3% |
| ov_SC05_006 | 2216 | 1700 | 0 | 2216 | 2430 | 91.2% |
| ov_SC05_007 | 2226 | 1700 | 0 | 2231 | 2482 | 89.9% |
| ov_SC05_008 | 2243 | 1700 | 0 | 2245 | 2543 | 88.3% |
| ov_SC05_009 | 2221 | 1700 | 0 | 2225 | 2438 | 91.3% |
| ov_SC05_010 | 2247 | 1700 | 0 | 2251 | 2588 | 87.0% |
| ov_SC05_011 | 2219 | 1700 | 0 | 2220 | 2409 | 92.2% |
| ov_SC05_017 | 2327 | 1697 | 0 | 2338 | 2842 | 82.3% |
| ov_SC05_018 | 2274 | 1700 | 0 | 2287 | 2673 | 85.6% |
| ov_SC05_019 | 2224 | 1702 | 0 | 2224 | 2423 | 91.8% |
| ov_SC06_000 | 2287 | 1709 | 0 | 2290 | 2691 | 85.1% |
| ov_SC06_006 | 2239 | 1700 | 0 | 2240 | 2511 | 89.2% |
| ov_SC06_008 | 2249 | 1702 | 0 | 2255 | 2542 | 88.7% |
| ov_SC06_010 | 2232 | 1700 | 0 | 2237 | 2517 | 88.9% |
| ov_SC06_011 | 2228 | 1700 | 0 | 2232 | 2468 | 90.4% |
| ov_SC06_013 | 2221 | 1700 | 0 | 2222 | 2425 | 91.6% |
| ov_SC06_014 | 2227 | 1700 | 0 | 2229 | 2453 | 90.9% |
| ov_SC06_015 | 2224 | 1700 | 0 | 2224 | 2421 | 91.9% |
| ov_SC06_016 | 2243 | 1700 | 0 | 2245 | 2549 | 88.1% |
| ov_SC06_018 | 2238 | 1703 | 0 | 2245 | 2665 | 84.2% |
| ov_SC06_020 | 2231 | 1702 | 0 | 2232 | 2518 | 88.6% |
| ov_SC06_022 | 2245 | 1700 | 0 | 2253 | 2642 | 85.3% |
| ov_SC06_024 | 2252 | 1700 | 0 | 2258 | 2667 | 84.7% |
| ov_SC06_025 | 2242 | 1700 | 0 | 2247 | 2572 | 87.4% |
| ov_SC06_027 | 2210 | 1700 | 0 | 2211 | 2408 | 91.8% |
| ov_SC06_029 | 2268 | 1700 | 0 | 2280 | 2662 | 85.6% |
| ov_SC06_030 | 2223 | 1700 | 0 | 2223 | 2456 | 90.5% |
| ov_SC06_032 | 2235 | 1701 | 0 | 2242 | 2658 | 84.3% |
| ov_SC06_033 | 2238 | 1701 | 0 | 2245 | 2631 | 85.3% |
| ov_SC07_000 | 2238 | 1704 | 0 | 2240 | 2521 | 88.9% |
| ov_SC07_001 | 2223 | 1700 | 0 | 2225 | 2454 | 90.7% |
| ov_SC07_002 | 2250 | 1700 | 0 | 2254 | 2579 | 87.4% |
| ov_SC07_006 | 1992 | 1548 | 0 | 2072 | 2456 | 84.4% |
| ov_SC07_007 | 2009 | 1549 | 0 | 2093 | 2614 | 80.1% |
| ov_SC07_008 | 2207 | 1700 | 0 | 2207 | 2386 | 92.5% |
| ov_SC07_009 | 2217 | 1700 | 0 | 2219 | 2430 | 91.3% |
| ov_SC07_010 | 2020 | 1549 | 0 | 2103 | 2526 | 83.3% |
| ov_SC07_011 | 2008 | 1548 | 0 | 2088 | 2450 | 85.2% |
Reference in New Issue View Git Blame Copy Permalink