Files
BFM-decomp/docs/progress.fleet.md
T
Drew T c9e12a079b feat(phase-29 crack-wave): +6 cores banked ×1 in ov_SC01_077 (R22 140/140)
Ultracode 11-core crack-wave over the freshly-regenerated draftable structural
frontier (R35: the Jul-14 manifest still listed already-banked families). 9
match_one MATCH / 2 near; 6 of 9 banked whole-binary byte-identical.

Banked (ov_SC01_077, ×1 — ×138 sweep deferred, Drew paused after the bank):
- func_80150170 (95, hexR=138 dedup core) — engine_core void->s32 narrow
- func_8016D1D8 (148) — data-label + typedef-scope
- func_8016D688 (60)  — data-label (D_801D9C20)
- func_80165240 (63)  — normalize_self_decls (caller-decl -> void(void*x3))
- func_80164E40 (25)  — engine_core void->s32 narrow
- func_801457A4 (79)  — -O0 (relocated into _o0b object)

- engine_core.h: 3 decls narrowed void->s32 (byte-neutral fleet-wide; callers
  ignore the return) — R22 clean-fleet 140/140 confirms neutrality.
- config/symbols.ov_SC01_077.txt: D_801D9C20/60 u8 data-label mirror so a
  re-extract re-emits the labels the D1D8/D688 banks reference (R22 corollary;
  fixed a type:data->type:u8 splat-format bug that broke ov_SC01_077 extract).
- 3 NOT banked (801549F8, 8013BD74, 8013C0F8): all match standalone, blocked
  ONLY by the §8 jtbl-rodata carve (NOT codegen; C0F8 was NOT a real DIFF).
- .run/giants: 2 near (8014D820 close-11 intrinsic-sched, 8012E364 close-22)
  + the 3 jtbl-blocked drafts preserved (R20).

R22 clean-fleet: 140/140 byte-identical; tools-health OK (dedup 1846/0,
C1 234205/234205); 0 NON_MATCHING linked (G4). Fleet 75.2/60.6/87.04 (flat —
×1 banks; the ×138 sweep is the deferred fleet-mover).

cookbook §58 (R30): match_one MATCH != bank — it compiles standalone so it is
blind to (a) Ghidra symbol names, (b) def-sig conflicts vs the fleet, (c)
callee-decl conflicts, (d) -O0-vs-O2; crack-wave drafts need a reconcile pass.
2026-07-18 22:58:15 -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: 307890 / 353722 = 87.04% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 9842798 / 13081451 = 75.2% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3379623 / 5574674 = 60.6% (61351/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 : 306035 (of which dedup-shared 234161 via 1846 groups / 234205 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 45825
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 | 2191 | 1704 | 0 | 2191 | 2403 | 91.2% |
| ov_SC01_001 | 2196 | 1704 | 0 | 2198 | 2466 | 89.1% |
| ov_SC01_004 | 2189 | 1695 | 0 | 2190 | 2414 | 90.7% |
| ov_SC01_005 | 2218 | 1717 | 0 | 2218 | 2503 | 88.6% |
| ov_SC01_006 | 2218 | 1717 | 0 | 2218 | 2503 | 88.6% |
| ov_SC01_008 | 2189 | 1695 | 0 | 2191 | 2426 | 90.3% |
| ov_SC01_009 | 2214 | 1696 | 0 | 2215 | 2507 | 88.4% |
| ov_SC01_074 | 2192 | 1696 | 0 | 2194 | 2425 | 90.5% |
| ov_SC01_077 | 2390 | 1664 | 0 | 2392 | 2585 | 92.5% |
| ov_SC01_080 | 2230 | 1699 | 0 | 2230 | 2512 | 88.8% |
| ov_SC01_084 | 2238 | 1699 | 0 | 2243 | 2579 | 87.0% |
| ov_SC02_000 | 2289 | 1734 | 0 | 2289 | 2683 | 85.3% |
| ov_SC02_003 | 2289 | 1734 | 0 | 2289 | 2683 | 85.3% |
| ov_SC02_004 | 2197 | 1699 | 0 | 2197 | 2401 | 91.5% |
| ov_SC02_005 | 2304 | 1695 | 0 | 2314 | 2927 | 79.1% |
| ov_SC02_011 | 2313 | 1702 | 0 | 2324 | 2893 | 80.3% |
| ov_SC02_015 | 2198 | 1701 | 0 | 2198 | 2414 | 91.1% |
| ov_SC02_016 | 2228 | 1701 | 0 | 2231 | 2545 | 87.7% |
| ov_SC02_017 | 2274 | 1701 | 0 | 2282 | 2732 | 83.5% |
| ov_SC02_021 | 2204 | 1701 | 0 | 2204 | 2437 | 90.4% |
| ov_SC02_026 | 2219 | 1699 | 0 | 2225 | 2572 | 86.5% |
| ov_SC02_027 | 2242 | 1699 | 0 | 2251 | 2692 | 83.6% |
| ov_SC02_028 | 2243 | 1699 | 0 | 2253 | 2701 | 83.4% |
| ov_SC02_031 | 2229 | 1700 | 0 | 2234 | 2562 | 87.2% |
| ov_SC02_035 | 2205 | 1699 | 0 | 2208 | 2520 | 87.6% |
| ov_SC02_039 | 2190 | 1699 | 0 | 2190 | 2416 | 90.6% |
| ov_SC02_041 | 2225 | 1699 | 0 | 2228 | 2561 | 87.0% |
| ov_SC03_001 | 2325 | 1700 | 0 | 2342 | 2869 | 81.6% |
| ov_SC03_002 | 2252 | 1704 | 0 | 2267 | 2631 | 86.2% |
| ov_SC03_003 | 2200 | 1699 | 0 | 2201 | 2423 | 90.8% |
| ov_SC03_006 | 2263 | 1705 | 0 | 2272 | 2767 | 82.1% |
| ov_SC03_007 | 2244 | 1699 | 0 | 2248 | 2623 | 85.7% |
| ov_SC03_010 | 2206 | 1699 | 0 | 2206 | 2470 | 89.3% |
| ov_SC03_011 | 2214 | 1699 | 0 | 2220 | 2527 | 87.9% |
| ov_SC03_012 | 2192 | 1699 | 0 | 2193 | 2406 | 91.1% |
| ov_SC03_013 | 2211 | 1699 | 0 | 2211 | 2492 | 88.7% |
| ov_SC03_014 | 2269 | 1724 | 0 | 2269 | 2685 | 84.5% |
| ov_SC03_015 | 2270 | 1724 | 0 | 2270 | 2685 | 84.5% |
| ov_SC03_023 | 2198 | 1699 | 0 | 2199 | 2435 | 90.3% |
| ov_SC03_024 | 2256 | 1704 | 0 | 2263 | 2641 | 85.7% |
| ov_SC03_028 | 2238 | 1699 | 0 | 2242 | 2664 | 84.2% |
| ov_SC03_029 | 2240 | 1701 | 0 | 2250 | 2644 | 85.1% |
| ov_SC03_030 | 2212 | 1704 | 0 | 2214 | 2495 | 88.7% |
| ov_SC03_031 | 2210 | 1699 | 0 | 2213 | 2514 | 88.0% |
| ov_SC03_089 | 2224 | 1699 | 0 | 2231 | 2581 | 86.4% |
| ov_SC03_090 | 2226 | 1699 | 0 | 2234 | 2625 | 85.1% |
| ov_SC03_091 | 2229 | 1699 | 0 | 2237 | 2640 | 84.7% |
| ov_SC03_092 | 2240 | 1699 | 0 | 2252 | 2587 | 87.1% |
| ov_SC03_093 | 2216 | 1699 | 0 | 2220 | 2563 | 86.6% |
| ov_SC03_094 | 2211 | 1699 | 0 | 2217 | 2577 | 86.0% |
| ov_SC03_095 | 2201 | 1699 | 0 | 2204 | 2474 | 89.1% |
| ov_SC03_096 | 2201 | 1699 | 0 | 2204 | 2465 | 89.4% |
| ov_SC03_097 | 2230 | 1699 | 0 | 2237 | 2603 | 85.9% |
| ov_SC03_098 | 2209 | 1699 | 0 | 2212 | 2541 | 87.1% |
| ov_SC03_099 | 2202 | 1699 | 0 | 2205 | 2504 | 88.1% |
| ov_SC03_100 | 2212 | 1699 | 0 | 2216 | 2539 | 87.3% |
| ov_SC03_101 | 2212 | 1699 | 0 | 2216 | 2528 | 87.7% |
| ov_SC03_102 | 2204 | 1699 | 0 | 2207 | 2492 | 88.6% |
| ov_SC03_103 | 2207 | 1701 | 0 | 2210 | 2510 | 88.0% |
| ov_SC03_104 | 2232 | 1699 | 0 | 2239 | 2616 | 85.6% |
| ov_SC03_105 | 2226 | 1699 | 0 | 2233 | 2597 | 86.0% |
| ov_SC03_108 | 2194 | 1699 | 0 | 2194 | 2443 | 89.8% |
| ov_SC03_109 | 2195 | 1699 | 0 | 2197 | 2424 | 90.6% |
| ov_SC03_110 | 2200 | 1699 | 0 | 2200 | 2468 | 89.1% |
| ov_SC03_111 | 2212 | 1699 | 0 | 2215 | 2510 | 88.2% |
| ov_SC03_112 | 2205 | 1701 | 0 | 2207 | 2526 | 87.4% |
| ov_SC03_113 | 2198 | 1701 | 0 | 2201 | 2468 | 89.2% |
| ov_SC03_114 | 2188 | 1699 | 0 | 2190 | 2415 | 90.7% |
| ov_SC03_115 | 2205 | 1699 | 0 | 2207 | 2472 | 89.3% |
| ov_SC03_116 | 2195 | 1699 | 0 | 2198 | 2438 | 90.2% |
| ov_SC03_117 | 2223 | 1699 | 0 | 2229 | 2557 | 87.2% |
| ov_SC03_118 | 2270 | 1723 | 0 | 2271 | 2685 | 84.6% |
| ov_SC03_119 | 2268 | 1723 | 0 | 2269 | 2685 | 84.5% |
| ov_SC03_121 | 2202 | 1699 | 0 | 2205 | 2459 | 89.7% |
| ov_SC03_124 | 2282 | 1695 | 0 | 2302 | 2741 | 84.0% |
| ov_SC03_125 | 2239 | 1699 | 0 | 2251 | 2588 | 87.0% |
| ov_SC03_126 | 2201 | 1701 | 0 | 2201 | 2423 | 90.8% |
| ov_SC04_000 | 2217 | 1703 | 0 | 2226 | 2546 | 87.4% |
| ov_SC04_002 | 2233 | 1699 | 0 | 2237 | 2636 | 84.9% |
| ov_SC04_003 | 2211 | 1699 | 0 | 2215 | 2502 | 88.5% |
| ov_SC04_004 | 2220 | 1699 | 0 | 2222 | 2558 | 86.9% |
| ov_SC04_005 | 2228 | 1699 | 0 | 2234 | 2612 | 85.5% |
| ov_SC04_006 | 2201 | 1699 | 0 | 2203 | 2454 | 89.8% |
| ov_SC04_007 | 2221 | 1699 | 0 | 2225 | 2569 | 86.6% |
| ov_SC04_008 | 2191 | 1699 | 0 | 2191 | 2415 | 90.7% |
| ov_SC04_009 | 2207 | 1699 | 0 | 2210 | 2441 | 90.5% |
| ov_SC04_010 | 2198 | 1699 | 0 | 2199 | 2419 | 90.9% |
| ov_SC04_011 | 2254 | 1699 | 0 | 2260 | 2803 | 80.6% |
| ov_SC04_012 | 2194 | 1699 | 0 | 2195 | 2420 | 90.7% |
| ov_SC04_015 | 2258 | 1700 | 0 | 2269 | 2611 | 86.9% |
| ov_SC04_016 | 2197 | 1699 | 0 | 2199 | 2440 | 90.1% |
| ov_SC04_018 | 2309 | 1734 | 0 | 2309 | 2857 | 80.8% |
| ov_SC04_019 | 2314 | 1734 | 0 | 2314 | 2857 | 81.0% |
| ov_SC04_020 | 2226 | 1699 | 0 | 2238 | 2567 | 87.2% |
| ov_SC04_021 | 2202 | 1701 | 0 | 2202 | 2423 | 90.9% |
| ov_SC05_000 | 2198 | 1703 | 0 | 2201 | 2422 | 90.9% |
| ov_SC05_001 | 2221 | 1699 | 0 | 2226 | 2574 | 86.5% |
| ov_SC05_002 | 2203 | 1699 | 0 | 2206 | 2442 | 90.3% |
| ov_SC05_003 | 2200 | 1699 | 0 | 2201 | 2481 | 88.7% |
| ov_SC05_004 | 2195 | 1699 | 0 | 2197 | 2464 | 89.2% |
| ov_SC05_005 | 2202 | 1699 | 0 | 2203 | 2491 | 88.4% |
| ov_SC05_006 | 2194 | 1699 | 0 | 2194 | 2430 | 90.3% |
| ov_SC05_007 | 2204 | 1699 | 0 | 2209 | 2482 | 89.0% |
| ov_SC05_008 | 2221 | 1699 | 0 | 2223 | 2543 | 87.4% |
| ov_SC05_009 | 2199 | 1699 | 0 | 2203 | 2438 | 90.4% |
| ov_SC05_010 | 2225 | 1699 | 0 | 2229 | 2588 | 86.1% |
| ov_SC05_011 | 2197 | 1699 | 0 | 2198 | 2409 | 91.2% |
| ov_SC05_017 | 2305 | 1696 | 0 | 2316 | 2842 | 81.5% |
| ov_SC05_018 | 2252 | 1699 | 0 | 2265 | 2673 | 84.7% |
| ov_SC05_019 | 2202 | 1701 | 0 | 2202 | 2423 | 90.9% |
| ov_SC06_000 | 2262 | 1708 | 0 | 2265 | 2691 | 84.2% |
| ov_SC06_006 | 2217 | 1699 | 0 | 2218 | 2511 | 88.3% |
| ov_SC06_008 | 2227 | 1701 | 0 | 2233 | 2542 | 87.8% |
| ov_SC06_010 | 2211 | 1699 | 0 | 2216 | 2517 | 88.0% |
| ov_SC06_011 | 2206 | 1699 | 0 | 2210 | 2468 | 89.5% |
| ov_SC06_013 | 2199 | 1699 | 0 | 2200 | 2425 | 90.7% |
| ov_SC06_014 | 2205 | 1699 | 0 | 2207 | 2453 | 90.0% |
| ov_SC06_015 | 2202 | 1699 | 0 | 2202 | 2421 | 91.0% |
| ov_SC06_016 | 2219 | 1699 | 0 | 2221 | 2549 | 87.1% |
| ov_SC06_018 | 2216 | 1702 | 0 | 2223 | 2665 | 83.4% |
| ov_SC06_020 | 2209 | 1701 | 0 | 2210 | 2518 | 87.8% |
| ov_SC06_022 | 2223 | 1699 | 0 | 2231 | 2642 | 84.4% |
| ov_SC06_024 | 2228 | 1699 | 0 | 2234 | 2667 | 83.8% |
| ov_SC06_025 | 2220 | 1699 | 0 | 2225 | 2572 | 86.5% |
| ov_SC06_027 | 2188 | 1699 | 0 | 2189 | 2408 | 90.9% |
| ov_SC06_029 | 2246 | 1699 | 0 | 2258 | 2662 | 84.8% |
| ov_SC06_030 | 2201 | 1699 | 0 | 2201 | 2456 | 89.6% |
| ov_SC06_032 | 2213 | 1700 | 0 | 2220 | 2658 | 83.5% |
| ov_SC06_033 | 2216 | 1700 | 0 | 2223 | 2631 | 84.5% |
| ov_SC07_000 | 2216 | 1703 | 0 | 2218 | 2521 | 88.0% |
| ov_SC07_001 | 2201 | 1699 | 0 | 2203 | 2454 | 89.8% |
| ov_SC07_002 | 2228 | 1699 | 0 | 2232 | 2579 | 86.5% |
| ov_SC07_006 | 1971 | 1547 | 0 | 2051 | 2456 | 83.5% |
| ov_SC07_007 | 1988 | 1548 | 0 | 2072 | 2614 | 79.3% |
| ov_SC07_008 | 2185 | 1699 | 0 | 2185 | 2386 | 91.6% |
| ov_SC07_009 | 2195 | 1699 | 0 | 2197 | 2430 | 90.4% |
| ov_SC07_010 | 2001 | 1548 | 0 | 2084 | 2526 | 82.5% |
| ov_SC07_011 | 1987 | 1547 | 0 | 2067 | 2450 | 84.4% |