mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 13:33:34 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs(phase-29): SESSION-13 CHECKPOINT — 15 reach-138 cores banked + 2×138; integration-wall finding + build_engine_types as next lever; fleet 78.9% instr

Browse Source
This commit is contained in:
Drew T
2026-07-23 17:17:18 -06:00
parent 1dd80e9287
commit 09bc2c7b72
2 changed files with 186 additions and 143 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/progress.fleet.md
+143 -143
View File
@@ -4,157 +4,157 @@
# cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
# THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 312187 / 353717 = 88.26% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10350574 / 13141652 = 78.8% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET fn-count byte-ident: 312461 / 353717 = 88.34% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10370165 / 13141652 = 78.9% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3811442 / 5634875 = 67.6% (64832/87459 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 10350138 / 13081451 = 79.1%)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 10369729 / 13081451 = 79.3%)
FLEET REAL substantive : 310332 (of which dedup-shared 234712 via 1851 groups / 234756 instances)
FLEET REAL substantive : 310606 (of which dedup-shared 234988 via 1853 groups / 235032 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 41523
FLEET INCLUDE_ASM stubs : 41249
FLEET matchable : 353717
| 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 | 2228 | 1709 | 0 | 2228 | 2403 | 92.7% |
| ov_SC01_001 | 2228 | 1708 | 0 | 2230 | 2466 | 90.4% |
| ov_SC01_004 | 2219 | 1699 | 0 | 2220 | 2414 | 92.0% |
| ov_SC01_005 | 2248 | 1721 | 0 | 2248 | 2503 | 89.8% |
| ov_SC01_006 | 2248 | 1721 | 0 | 2248 | 2503 | 89.8% |
| ov_SC01_008 | 2219 | 1699 | 0 | 2221 | 2426 | 91.5% |
| ov_SC01_009 | 2244 | 1700 | 0 | 2245 | 2507 | 89.5% |
| ov_SC01_074 | 2223 | 1700 | 0 | 2225 | 2425 | 91.8% |
| ov_SC01_077 | 2412 | 1669 | 0 | 2414 | 2585 | 93.4% |
| ov_SC01_080 | 2261 | 1703 | 0 | 2261 | 2512 | 90.0% |
| ov_SC01_084 | 2268 | 1703 | 0 | 2273 | 2579 | 88.1% |
| ov_SC02_000 | 2321 | 1738 | 0 | 2321 | 2683 | 86.5% |
| ov_SC02_003 | 2321 | 1738 | 0 | 2321 | 2683 | 86.5% |
| ov_SC02_004 | 2227 | 1703 | 0 | 2227 | 2401 | 92.8% |
| ov_SC02_005 | 2334 | 1699 | 0 | 2344 | 2927 | 80.1% |
| ov_SC02_011 | 2345 | 1706 | 0 | 2356 | 2893 | 81.4% |
| ov_SC02_015 | 2228 | 1705 | 0 | 2228 | 2414 | 92.3% |
| ov_SC02_016 | 2261 | 1705 | 0 | 2264 | 2545 | 89.0% |
| ov_SC02_017 | 2305 | 1705 | 0 | 2313 | 2732 | 84.7% |
| ov_SC02_021 | 2234 | 1705 | 0 | 2234 | 2437 | 91.7% |
| ov_SC02_026 | 2250 | 1703 | 0 | 2256 | 2572 | 87.7% |
| ov_SC02_027 | 2273 | 1703 | 0 | 2282 | 2692 | 84.8% |
| ov_SC02_028 | 2274 | 1703 | 0 | 2284 | 2701 | 84.6% |
| ov_SC02_031 | 2259 | 1704 | 0 | 2264 | 2562 | 88.4% |
| ov_SC02_035 | 2236 | 1703 | 0 | 2239 | 2520 | 88.8% |
| ov_SC02_039 | 2220 | 1703 | 0 | 2220 | 2416 | 91.9% |
| ov_SC02_041 | 2257 | 1703 | 0 | 2260 | 2561 | 88.2% |
| ov_SC03_001 | 2356 | 1704 | 0 | 2373 | 2869 | 82.7% |
| ov_SC03_002 | 2282 | 1708 | 0 | 2297 | 2631 | 87.3% |
| ov_SC03_003 | 2230 | 1703 | 0 | 2231 | 2423 | 92.1% |
| ov_SC03_006 | 2295 | 1709 | 0 | 2304 | 2767 | 83.3% |
| ov_SC03_007 | 2275 | 1703 | 0 | 2279 | 2623 | 86.9% |
| ov_SC03_010 | 2236 | 1703 | 0 | 2236 | 2470 | 90.5% |
| ov_SC03_011 | 2244 | 1703 | 0 | 2250 | 2527 | 89.0% |
| ov_SC03_012 | 2222 | 1703 | 0 | 2223 | 2406 | 92.4% |
| ov_SC03_013 | 2241 | 1703 | 0 | 2241 | 2492 | 89.9% |
| ov_SC03_014 | 2301 | 1728 | 0 | 2301 | 2685 | 85.7% |
| ov_SC03_015 | 2301 | 1728 | 0 | 2301 | 2685 | 85.7% |
| ov_SC03_023 | 2228 | 1703 | 0 | 2229 | 2435 | 91.5% |
| ov_SC03_024 | 2288 | 1708 | 0 | 2295 | 2641 | 86.9% |
| ov_SC03_028 | 2269 | 1703 | 0 | 2273 | 2664 | 85.3% |
| ov_SC03_029 | 2270 | 1705 | 0 | 2280 | 2644 | 86.2% |
| ov_SC03_030 | 2243 | 1708 | 0 | 2245 | 2495 | 90.0% |
| ov_SC03_031 | 2240 | 1703 | 0 | 2243 | 2514 | 89.2% |
| ov_SC03_089 | 2255 | 1703 | 0 | 2262 | 2581 | 87.6% |
| ov_SC03_090 | 2257 | 1703 | 0 | 2265 | 2625 | 86.3% |
| ov_SC03_091 | 2260 | 1703 | 0 | 2268 | 2640 | 85.9% |
| ov_SC03_092 | 2270 | 1703 | 0 | 2282 | 2587 | 88.2% |
| ov_SC03_093 | 2247 | 1703 | 0 | 2251 | 2563 | 87.8% |
| ov_SC03_094 | 2242 | 1703 | 0 | 2248 | 2577 | 87.2% |
| ov_SC03_095 | 2232 | 1703 | 0 | 2235 | 2474 | 90.3% |
| ov_SC03_096 | 2232 | 1703 | 0 | 2235 | 2465 | 90.7% |
| ov_SC03_097 | 2261 | 1703 | 0 | 2268 | 2603 | 87.1% |
| ov_SC03_098 | 2240 | 1703 | 0 | 2243 | 2541 | 88.3% |
| ov_SC03_099 | 2233 | 1703 | 0 | 2236 | 2504 | 89.3% |
| ov_SC03_100 | 2243 | 1703 | 0 | 2247 | 2539 | 88.5% |
| ov_SC03_101 | 2243 | 1703 | 0 | 2247 | 2528 | 88.9% |
| ov_SC03_102 | 2235 | 1703 | 0 | 2238 | 2492 | 89.8% |
| ov_SC03_103 | 2238 | 1705 | 0 | 2241 | 2510 | 89.3% |
| ov_SC03_104 | 2263 | 1703 | 0 | 2270 | 2616 | 86.8% |
| ov_SC03_105 | 2257 | 1703 | 0 | 2264 | 2597 | 87.2% |
| ov_SC03_108 | 2224 | 1703 | 0 | 2224 | 2443 | 91.0% |
| ov_SC03_109 | 2226 | 1703 | 0 | 2228 | 2424 | 91.9% |
| ov_SC03_110 | 2231 | 1703 | 0 | 2231 | 2468 | 90.4% |
| ov_SC03_111 | 2242 | 1703 | 0 | 2245 | 2510 | 89.4% |
| ov_SC03_112 | 2235 | 1705 | 0 | 2237 | 2526 | 88.6% |
| ov_SC03_113 | 2229 | 1705 | 0 | 2232 | 2468 | 90.4% |
| ov_SC03_114 | 2219 | 1703 | 0 | 2221 | 2415 | 92.0% |
| ov_SC03_115 | 2236 | 1703 | 0 | 2238 | 2472 | 90.5% |
| ov_SC03_116 | 2226 | 1703 | 0 | 2229 | 2438 | 91.4% |
| ov_SC03_117 | 2254 | 1703 | 0 | 2260 | 2557 | 88.4% |
| ov_SC03_118 | 2300 | 1727 | 0 | 2301 | 2685 | 85.7% |
| ov_SC03_119 | 2299 | 1727 | 0 | 2300 | 2685 | 85.7% |
| ov_SC03_121 | 2233 | 1703 | 0 | 2236 | 2459 | 90.9% |
| ov_SC03_124 | 2312 | 1699 | 0 | 2332 | 2741 | 85.1% |
| ov_SC03_125 | 2269 | 1703 | 0 | 2281 | 2588 | 88.1% |
| ov_SC03_126 | 2231 | 1705 | 0 | 2231 | 2423 | 92.1% |
| ov_SC04_000 | 2247 | 1707 | 0 | 2256 | 2546 | 88.6% |
| ov_SC04_002 | 2265 | 1703 | 0 | 2269 | 2636 | 86.1% |
| ov_SC04_003 | 2242 | 1703 | 0 | 2246 | 2502 | 89.8% |
| ov_SC04_004 | 2251 | 1703 | 0 | 2253 | 2558 | 88.1% |
| ov_SC04_005 | 2260 | 1703 | 0 | 2266 | 2612 | 86.8% |
| ov_SC04_006 | 2231 | 1703 | 0 | 2233 | 2454 | 91.0% |
| ov_SC04_007 | 2253 | 1703 | 0 | 2257 | 2569 | 87.9% |
| ov_SC04_008 | 2222 | 1703 | 0 | 2222 | 2415 | 92.0% |
| ov_SC04_009 | 2238 | 1703 | 0 | 2241 | 2441 | 91.8% |
| ov_SC04_010 | 2228 | 1703 | 0 | 2229 | 2419 | 92.1% |
| ov_SC04_011 | 2285 | 1703 | 0 | 2291 | 2803 | 81.7% |
| ov_SC04_012 | 2225 | 1703 | 0 | 2226 | 2420 | 92.0% |
| ov_SC04_015 | 2289 | 1704 | 0 | 2300 | 2611 | 88.1% |
| ov_SC04_016 | 2228 | 1703 | 0 | 2230 | 2440 | 91.4% |
| ov_SC04_018 | 2339 | 1738 | 0 | 2339 | 2857 | 81.9% |
| ov_SC04_019 | 2345 | 1738 | 0 | 2345 | 2857 | 82.1% |
| ov_SC04_020 | 2256 | 1703 | 0 | 2268 | 2567 | 88.4% |
| ov_SC04_021 | 2232 | 1705 | 0 | 2232 | 2423 | 92.1% |
| ov_SC05_000 | 2229 | 1707 | 0 | 2232 | 2422 | 92.2% |
| ov_SC05_001 | 2251 | 1703 | 0 | 2256 | 2574 | 87.6% |
| ov_SC05_002 | 2234 | 1703 | 0 | 2237 | 2442 | 91.6% |
| ov_SC05_003 | 2231 | 1703 | 0 | 2232 | 2481 | 90.0% |
| ov_SC05_004 | 2226 | 1703 | 0 | 2228 | 2464 | 90.4% |
| ov_SC05_005 | 2232 | 1703 | 0 | 2233 | 2491 | 89.6% |
| ov_SC05_006 | 2225 | 1703 | 0 | 2225 | 2430 | 91.6% |
| ov_SC05_007 | 2235 | 1703 | 0 | 2240 | 2482 | 90.2% |
| ov_SC05_008 | 2252 | 1703 | 0 | 2254 | 2543 | 88.6% |
| ov_SC05_009 | 2230 | 1703 | 0 | 2234 | 2438 | 91.6% |
| ov_SC05_010 | 2256 | 1703 | 0 | 2260 | 2588 | 87.3% |
| ov_SC05_011 | 2227 | 1703 | 0 | 2228 | 2409 | 92.5% |
| ov_SC05_017 | 2335 | 1700 | 0 | 2346 | 2842 | 82.5% |
| ov_SC05_018 | 2282 | 1703 | 0 | 2295 | 2673 | 85.9% |
| ov_SC05_019 | 2232 | 1705 | 0 | 2232 | 2423 | 92.1% |
| ov_SC06_000 | 2295 | 1712 | 0 | 2298 | 2691 | 85.4% |
| ov_SC06_006 | 2248 | 1703 | 0 | 2249 | 2511 | 89.6% |
| ov_SC06_008 | 2264 | 1705 | 0 | 2270 | 2542 | 89.3% |
| ov_SC06_010 | 2247 | 1703 | 0 | 2252 | 2517 | 89.5% |
| ov_SC06_011 | 2237 | 1703 | 0 | 2241 | 2468 | 90.8% |
| ov_SC06_013 | 2230 | 1703 | 0 | 2231 | 2425 | 92.0% |
| ov_SC06_014 | 2236 | 1703 | 0 | 2238 | 2453 | 91.2% |
| ov_SC06_015 | 2233 | 1703 | 0 | 2233 | 2421 | 92.2% |
| ov_SC06_016 | 2251 | 1703 | 0 | 2253 | 2549 | 88.4% |
| ov_SC06_018 | 2264 | 1706 | 0 | 2271 | 2665 | 85.2% |
| ov_SC06_020 | 2240 | 1705 | 0 | 2241 | 2518 | 89.0% |
| ov_SC06_022 | 2259 | 1703 | 0 | 2267 | 2642 | 85.8% |
| ov_SC06_024 | 2267 | 1703 | 0 | 2273 | 2667 | 85.2% |
| ov_SC06_025 | 2252 | 1703 | 0 | 2257 | 2572 | 87.8% |
| ov_SC06_027 | 2218 | 1703 | 0 | 2219 | 2408 | 92.2% |
| ov_SC06_029 | 2277 | 1703 | 0 | 2289 | 2662 | 86.0% |
| ov_SC06_030 | 2232 | 1703 | 0 | 2232 | 2456 | 90.9% |
| ov_SC06_032 | 2252 | 1704 | 0 | 2259 | 2658 | 85.0% |
| ov_SC06_033 | 2254 | 1704 | 0 | 2261 | 2631 | 85.9% |
| ov_SC07_000 | 2247 | 1707 | 0 | 2249 | 2521 | 89.2% |
| ov_SC07_001 | 2231 | 1703 | 0 | 2233 | 2454 | 91.0% |
| ov_SC07_002 | 2258 | 1703 | 0 | 2262 | 2579 | 87.7% |
| ov_SC07_006 | 2010 | 1551 | 0 | 2090 | 2455 | 85.1% |
| ov_SC07_007 | 2015 | 1551 | 0 | 2099 | 2613 | 80.3% |
| ov_SC07_008 | 2216 | 1703 | 0 | 2216 | 2386 | 92.9% |
| ov_SC07_009 | 2225 | 1703 | 0 | 2227 | 2430 | 91.6% |
| ov_SC07_010 | 2026 | 1551 | 0 | 2109 | 2524 | 83.6% |
| ov_SC07_011 | 2014 | 1550 | 0 | 2094 | 2449 | 85.5% |
| ov_SC01_000 | 2230 | 1711 | 0 | 2230 | 2403 | 92.8% |
| ov_SC01_001 | 2230 | 1710 | 0 | 2232 | 2466 | 90.5% |
| ov_SC01_004 | 2221 | 1701 | 0 | 2222 | 2414 | 92.0% |
| ov_SC01_005 | 2250 | 1723 | 0 | 2250 | 2503 | 89.9% |
| ov_SC01_006 | 2250 | 1723 | 0 | 2250 | 2503 | 89.9% |
| ov_SC01_008 | 2221 | 1701 | 0 | 2223 | 2426 | 91.6% |
| ov_SC01_009 | 2246 | 1702 | 0 | 2247 | 2507 | 89.6% |
| ov_SC01_074 | 2225 | 1702 | 0 | 2227 | 2425 | 91.8% |
| ov_SC01_077 | 2414 | 1671 | 0 | 2416 | 2585 | 93.5% |
| ov_SC01_080 | 2263 | 1705 | 0 | 2263 | 2512 | 90.1% |
| ov_SC01_084 | 2270 | 1705 | 0 | 2275 | 2579 | 88.2% |
| ov_SC02_000 | 2323 | 1740 | 0 | 2323 | 2683 | 86.6% |
| ov_SC02_003 | 2323 | 1740 | 0 | 2323 | 2683 | 86.6% |
| ov_SC02_004 | 2229 | 1705 | 0 | 2229 | 2401 | 92.8% |
| ov_SC02_005 | 2336 | 1701 | 0 | 2346 | 2927 | 80.2% |
| ov_SC02_011 | 2347 | 1708 | 0 | 2358 | 2893 | 81.5% |
| ov_SC02_015 | 2230 | 1707 | 0 | 2230 | 2414 | 92.4% |
| ov_SC02_016 | 2263 | 1707 | 0 | 2266 | 2545 | 89.0% |
| ov_SC02_017 | 2307 | 1707 | 0 | 2315 | 2732 | 84.7% |
| ov_SC02_021 | 2236 | 1707 | 0 | 2236 | 2437 | 91.8% |
| ov_SC02_026 | 2252 | 1705 | 0 | 2258 | 2572 | 87.8% |
| ov_SC02_027 | 2275 | 1705 | 0 | 2284 | 2692 | 84.8% |
| ov_SC02_028 | 2276 | 1705 | 0 | 2286 | 2701 | 84.6% |
| ov_SC02_031 | 2261 | 1706 | 0 | 2266 | 2562 | 88.4% |
| ov_SC02_035 | 2238 | 1705 | 0 | 2241 | 2520 | 88.9% |
| ov_SC02_039 | 2222 | 1705 | 0 | 2222 | 2416 | 92.0% |
| ov_SC02_041 | 2259 | 1705 | 0 | 2262 | 2561 | 88.3% |
| ov_SC03_001 | 2358 | 1706 | 0 | 2375 | 2869 | 82.8% |
| ov_SC03_002 | 2284 | 1710 | 0 | 2299 | 2631 | 87.4% |
| ov_SC03_003 | 2232 | 1705 | 0 | 2233 | 2423 | 92.2% |
| ov_SC03_006 | 2297 | 1711 | 0 | 2306 | 2767 | 83.3% |
| ov_SC03_007 | 2277 | 1705 | 0 | 2281 | 2623 | 87.0% |
| ov_SC03_010 | 2238 | 1705 | 0 | 2238 | 2470 | 90.6% |
| ov_SC03_011 | 2246 | 1705 | 0 | 2252 | 2527 | 89.1% |
| ov_SC03_012 | 2224 | 1705 | 0 | 2225 | 2406 | 92.5% |
| ov_SC03_013 | 2243 | 1705 | 0 | 2243 | 2492 | 90.0% |
| ov_SC03_014 | 2303 | 1730 | 0 | 2303 | 2685 | 85.8% |
| ov_SC03_015 | 2303 | 1730 | 0 | 2303 | 2685 | 85.8% |
| ov_SC03_023 | 2230 | 1705 | 0 | 2231 | 2435 | 91.6% |
| ov_SC03_024 | 2290 | 1710 | 0 | 2297 | 2641 | 87.0% |
| ov_SC03_028 | 2271 | 1705 | 0 | 2275 | 2664 | 85.4% |
| ov_SC03_029 | 2272 | 1707 | 0 | 2282 | 2644 | 86.3% |
| ov_SC03_030 | 2245 | 1710 | 0 | 2247 | 2495 | 90.1% |
| ov_SC03_031 | 2242 | 1705 | 0 | 2245 | 2514 | 89.3% |
| ov_SC03_089 | 2257 | 1705 | 0 | 2264 | 2581 | 87.7% |
| ov_SC03_090 | 2259 | 1705 | 0 | 2267 | 2625 | 86.4% |
| ov_SC03_091 | 2262 | 1705 | 0 | 2270 | 2640 | 86.0% |
| ov_SC03_092 | 2272 | 1705 | 0 | 2284 | 2587 | 88.3% |
| ov_SC03_093 | 2249 | 1705 | 0 | 2253 | 2563 | 87.9% |
| ov_SC03_094 | 2244 | 1705 | 0 | 2250 | 2577 | 87.3% |
| ov_SC03_095 | 2234 | 1705 | 0 | 2237 | 2474 | 90.4% |
| ov_SC03_096 | 2234 | 1705 | 0 | 2237 | 2465 | 90.8% |
| ov_SC03_097 | 2263 | 1705 | 0 | 2270 | 2603 | 87.2% |
| ov_SC03_098 | 2242 | 1705 | 0 | 2245 | 2541 | 88.4% |
| ov_SC03_099 | 2235 | 1705 | 0 | 2238 | 2504 | 89.4% |
| ov_SC03_100 | 2245 | 1705 | 0 | 2249 | 2539 | 88.6% |
| ov_SC03_101 | 2245 | 1705 | 0 | 2249 | 2528 | 89.0% |
| ov_SC03_102 | 2237 | 1705 | 0 | 2240 | 2492 | 89.9% |
| ov_SC03_103 | 2240 | 1707 | 0 | 2243 | 2510 | 89.4% |
| ov_SC03_104 | 2265 | 1705 | 0 | 2272 | 2616 | 86.9% |
| ov_SC03_105 | 2259 | 1705 | 0 | 2266 | 2597 | 87.3% |
| ov_SC03_108 | 2226 | 1705 | 0 | 2226 | 2443 | 91.1% |
| ov_SC03_109 | 2228 | 1705 | 0 | 2230 | 2424 | 92.0% |
| ov_SC03_110 | 2233 | 1705 | 0 | 2233 | 2468 | 90.5% |
| ov_SC03_111 | 2244 | 1705 | 0 | 2247 | 2510 | 89.5% |
| ov_SC03_112 | 2237 | 1707 | 0 | 2239 | 2526 | 88.6% |
| ov_SC03_113 | 2231 | 1707 | 0 | 2234 | 2468 | 90.5% |
| ov_SC03_114 | 2221 | 1705 | 0 | 2223 | 2415 | 92.0% |
| ov_SC03_115 | 2238 | 1705 | 0 | 2240 | 2472 | 90.6% |
| ov_SC03_116 | 2228 | 1705 | 0 | 2231 | 2438 | 91.5% |
| ov_SC03_117 | 2256 | 1705 | 0 | 2262 | 2557 | 88.5% |
| ov_SC03_118 | 2302 | 1729 | 0 | 2303 | 2685 | 85.8% |
| ov_SC03_119 | 2301 | 1729 | 0 | 2302 | 2685 | 85.7% |
| ov_SC03_121 | 2235 | 1705 | 0 | 2238 | 2459 | 91.0% |
| ov_SC03_124 | 2314 | 1701 | 0 | 2334 | 2741 | 85.2% |
| ov_SC03_125 | 2271 | 1705 | 0 | 2283 | 2588 | 88.2% |
| ov_SC03_126 | 2233 | 1707 | 0 | 2233 | 2423 | 92.2% |
| ov_SC04_000 | 2249 | 1709 | 0 | 2258 | 2546 | 88.7% |
| ov_SC04_002 | 2267 | 1705 | 0 | 2271 | 2636 | 86.2% |
| ov_SC04_003 | 2244 | 1705 | 0 | 2248 | 2502 | 89.8% |
| ov_SC04_004 | 2253 | 1705 | 0 | 2255 | 2558 | 88.2% |
| ov_SC04_005 | 2262 | 1705 | 0 | 2268 | 2612 | 86.8% |
| ov_SC04_006 | 2233 | 1705 | 0 | 2235 | 2454 | 91.1% |
| ov_SC04_007 | 2255 | 1705 | 0 | 2259 | 2569 | 87.9% |
| ov_SC04_008 | 2224 | 1705 | 0 | 2224 | 2415 | 92.1% |
| ov_SC04_009 | 2240 | 1705 | 0 | 2243 | 2441 | 91.9% |
| ov_SC04_010 | 2230 | 1705 | 0 | 2231 | 2419 | 92.2% |
| ov_SC04_011 | 2287 | 1705 | 0 | 2293 | 2803 | 81.8% |
| ov_SC04_012 | 2227 | 1705 | 0 | 2228 | 2420 | 92.1% |
| ov_SC04_015 | 2291 | 1706 | 0 | 2302 | 2611 | 88.2% |
| ov_SC04_016 | 2230 | 1705 | 0 | 2232 | 2440 | 91.5% |
| ov_SC04_018 | 2341 | 1740 | 0 | 2341 | 2857 | 81.9% |
| ov_SC04_019 | 2347 | 1740 | 0 | 2347 | 2857 | 82.1% |
| ov_SC04_020 | 2258 | 1705 | 0 | 2270 | 2567 | 88.4% |
| ov_SC04_021 | 2234 | 1707 | 0 | 2234 | 2423 | 92.2% |
| ov_SC05_000 | 2231 | 1709 | 0 | 2234 | 2422 | 92.2% |
| ov_SC05_001 | 2253 | 1705 | 0 | 2258 | 2574 | 87.7% |
| ov_SC05_002 | 2236 | 1705 | 0 | 2239 | 2442 | 91.7% |
| ov_SC05_003 | 2233 | 1705 | 0 | 2234 | 2481 | 90.0% |
| ov_SC05_004 | 2228 | 1705 | 0 | 2230 | 2464 | 90.5% |
| ov_SC05_005 | 2234 | 1705 | 0 | 2235 | 2491 | 89.7% |
| ov_SC05_006 | 2227 | 1705 | 0 | 2227 | 2430 | 91.6% |
| ov_SC05_007 | 2237 | 1705 | 0 | 2242 | 2482 | 90.3% |
| ov_SC05_008 | 2254 | 1705 | 0 | 2256 | 2543 | 88.7% |
| ov_SC05_009 | 2232 | 1705 | 0 | 2236 | 2438 | 91.7% |
| ov_SC05_010 | 2258 | 1705 | 0 | 2262 | 2588 | 87.4% |
| ov_SC05_011 | 2229 | 1705 | 0 | 2230 | 2409 | 92.6% |
| ov_SC05_017 | 2337 | 1702 | 0 | 2348 | 2842 | 82.6% |
| ov_SC05_018 | 2284 | 1705 | 0 | 2297 | 2673 | 85.9% |
| ov_SC05_019 | 2234 | 1707 | 0 | 2234 | 2423 | 92.2% |
| ov_SC06_000 | 2297 | 1714 | 0 | 2300 | 2691 | 85.5% |
| ov_SC06_006 | 2250 | 1705 | 0 | 2251 | 2511 | 89.6% |
| ov_SC06_008 | 2266 | 1707 | 0 | 2272 | 2542 | 89.4% |
| ov_SC06_010 | 2249 | 1705 | 0 | 2254 | 2517 | 89.6% |
| ov_SC06_011 | 2239 | 1705 | 0 | 2243 | 2468 | 90.9% |
| ov_SC06_013 | 2232 | 1705 | 0 | 2233 | 2425 | 92.1% |
| ov_SC06_014 | 2238 | 1705 | 0 | 2240 | 2453 | 91.3% |
| ov_SC06_015 | 2235 | 1705 | 0 | 2235 | 2421 | 92.3% |
| ov_SC06_016 | 2253 | 1705 | 0 | 2255 | 2549 | 88.5% |
| ov_SC06_018 | 2266 | 1708 | 0 | 2273 | 2665 | 85.3% |
| ov_SC06_020 | 2242 | 1707 | 0 | 2243 | 2518 | 89.1% |
| ov_SC06_022 | 2261 | 1705 | 0 | 2269 | 2642 | 85.9% |
| ov_SC06_024 | 2269 | 1705 | 0 | 2275 | 2667 | 85.3% |
| ov_SC06_025 | 2254 | 1705 | 0 | 2259 | 2572 | 87.8% |
| ov_SC06_027 | 2220 | 1705 | 0 | 2221 | 2408 | 92.2% |
| ov_SC06_029 | 2279 | 1705 | 0 | 2291 | 2662 | 86.1% |
| ov_SC06_030 | 2234 | 1705 | 0 | 2234 | 2456 | 91.0% |
| ov_SC06_032 | 2254 | 1706 | 0 | 2261 | 2658 | 85.1% |
| ov_SC06_033 | 2256 | 1706 | 0 | 2263 | 2631 | 86.0% |
| ov_SC07_000 | 2249 | 1709 | 0 | 2251 | 2521 | 89.3% |
| ov_SC07_001 | 2233 | 1705 | 0 | 2235 | 2454 | 91.1% |
| ov_SC07_002 | 2260 | 1705 | 0 | 2264 | 2579 | 87.8% |
| ov_SC07_006 | 2010 | 1553 | 0 | 2090 | 2455 | 85.1% |
| ov_SC07_007 | 2017 | 1553 | 0 | 2101 | 2613 | 80.4% |
| ov_SC07_008 | 2218 | 1705 | 0 | 2218 | 2386 | 93.0% |
| ov_SC07_009 | 2227 | 1705 | 0 | 2229 | 2430 | 91.7% |
| ov_SC07_010 | 2028 | 1553 | 0 | 2111 | 2524 | 83.6% |
| ov_SC07_011 | 2016 | 1552 | 0 | 2096 | 2449 | 85.6% |
phase-ends/CURRENT_PHASE.md
+43
View File
@@ -1578,3 +1578,46 @@ conditional) · main-EXE/B9 + GLM/B6 + resident's 14 walls (P30) · behemoths B7
> at `src/ov_SC07_006/ov_SC07_006_jr_8015C32C.c:8523`. **v3 = extend the fix to the per-overlay split .c the
> draft targets (or wire it into harvest_verify's splice).** func_80174CB0/func_801463A0 (data, multi-symbol)
> carried as v3 exemplars. R22 NOT yet run this stream (no bank landed — wave pending). Tree clean.
> **🛑 SESSION-13 CHECKPOINT (2026-07-23, ultracode) — supersedes SESSION-12; safe to open a FRESH session here.**
> Tree clean (R23 db churn only). **R22 clean-fleet 140/140** (verified 4× this session); tools-health OK
> (dedup 1853/0); 0 NON_MATCHING. **Drew pushes** (R6/R20). **Fleet: 78.9% instr · 67.6% distinct · 88.34%
> fn-count** (opened 78.6/67.6/88.22 → +0.3 instr, +0.12 fn-count; distinct flat — shared-family work).
> ov_SC07_006 84.6→85.1%. Commits: `commit:0848 commit:0849 commit:0850 commit:0851 commit:0852 commit:0853 commit:0854
> commit:0855 commit:0856` (9).
>
> **WHAT LANDED:**
> 1. **func_8014CD80 ×138** — the header-reconcile PROOF (fresh-138 def-side blocker → byte-neutral header fix).
> 2. **fix_header_decl v1+v2 built + self-tested** (cookbook §63). **⚠️ CORRECTED same session:** it is FRAGILE
> for SHARED multi-caller decls (rewriting a decl breaks callers that use the return → CC1-FAIL). Keep it for
> the narrow single-caller/ignored-return self-def case ONLY. **The integration SPINE is `gate_stage`'s
> call-site-cast, NOT header rewriting.** (decision-log 2026-07-23 ×3 entries.)
> 3. **Two fresh-138 crack waves** (batch-1: 24, batch-2: 24; ~40 MATCH bodies total). **Banked: batch-1 6 ×1 +
> func_801325B8 propagated; batch-2 7 ×1 cores + 2 ×138 (func_80130C08, func_80137178, +274).** ov_SC07_006
> reach-138 pool: ~15 cores banked of 74.
> 4. **THE INTEGRATION-WALL finding (the real P29 bottleneck):** drafting is SOLVED (bodies byte-match); three
> walls stack on propagation — (a) extern/decl plumbing (gate_stage clears ~⅓: 7/20), (b) **§20 local-type cap
> ("not self-contained") — blocked 4/6 from ×138**, (c) per-member divergence (func_80169228, whole SC03
> cluster). Each ×138 family must clear ALL THREE.
> 5. **Full remaining-work map + roadmap deltas** (decision-log): 40,395 overlay stubs / 2.74M ins + main 84k;
> 159 reach-138 fams; **top-100 fams = 53% of remaining**; B1 pessimism partially reversed; **B7 behemoth list
> stale — 0x80183814 (5122, ov_SC07_006) is the new largest**; prefetch gap is the tail (146/159 reach-138
> cached), not the top.
>
> **⚠️ INCIDENT (recovered, 0 work lost):** `dedup_propagate --recover` on func_80169228 (many byte-divergent
> stragglers) THRASHED >1hr (re-gates the fleet per excluded straggler = quadratic). Killed + reverted 326
> half-mutated files to the committed baseline; re-ran WITHOUT --recover (droppers drop instantly). **LESSON:
> --recover is only for a FEW stragglers; a broadly-divergent family must be dropped or capped, never --recover'd.**
> Banks were committed BEFORE the propagate (§55b) so nothing was lost.
>
> **▶ NEXT (highest-value, in order):**
> 1. **`build_engine_types` type-lift** — the §20 local-type cap is the single biggest propagation unlock: it
> frees the 4 blocked cores here (func_8012B4B8/80175308/8012E138/8012A1BC → +552 stubs) AND a large fleet-wide
> fraction (roadmap B4). ⚠️ known-fragile (R32: hard-exited on 81% of its corpus for 4 phases) — verify/fix
> its coverage FIRST (R32/R35), then re-propagate the 4 + a fleet sweep.
> 2. **gate_stage the ~13 staged near/plumbing batch-2 bodies** (`.run/drafts-sc07006-fresh/` — byte-correct,
> integration-blocked) + permuter the 3 nears (func_80177940/8014C6F4/80140D68 close 17/10/27).
> 3. **Next fresh-138 wave** over the remaining ~59-family pool (`.run/wave_sc07006_fresh_nonjtbl_pool.json`,
> `--rank live --min-live 100`); the GIANT families (150–371 ins) are the biggest untapped wins (I capped at 150).
> **CARRIED:** func_80169228 (divergent, ×1, do NOT --recover); the 4 local-type-blocked cores (need type-lift);
> fix_header_decl (narrow use only). **Do NOT close P29 on ROI** — burn-down floor undetermined.