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

docs(phase-29 crack-wave): session-4 close — +412 residuals verified, cookbook §59

Browse Source 
func_80165240 137/137 + func_8016D1D8/D688 274/274 + func_8013C0F8 x1 banked by
the residual agent; 2 jtbl cores blocked on §8c/§8e-2 tooling walls. R22 clean-fleet
140/140, tools-health OK, 0 NON_MATCHING. Session-4 fleet 75.2->75.7% instr /
60.6->61.3% distinct / 87.04->87.24% fn-count (~687 member-banks). Cookbook §58/§59.
This commit is contained in:
Drew T
2026-07-19 00:25:58 -06:00
parent 768676ac0d
commit d7092de63a
3 changed files with 189 additions and 143 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/matching-cookbook.md
+30
View File
@@ -4352,3 +4352,33 @@ canonical callee sigs, which removes (a) and (c) at the source. `harvest_verify`
a first-diagnostic red-herring (it reported a shared `built-in memcpy @4017` for 7 unrelated drafts) — always
read the REAL error by splicing ONE draft and reading full cc1/ld stderr (and beware the §42b stale-image
false-pass: on a build FAIL the old image lingers, so confirm rc==0 before trusting a sha). 6/9 banked this way.
## §59 — Three h_seq sweep-residual classes match_one/the-exemplar-bank don't reveal (Phase 29 crack-wave close, 2026-07-18)
After a core banks ×1 in ov_SC01_077 and swaps to `matched-ov077`, `family_sweep --hseq --only` can still bank
0/137 for reasons invisible at the exemplar (they're per-SIBLING, or per-overlay data facts). Three seen in one batch:
- **(1) The exemplar's LOCAL struct type is dropped by the remap** (func_80165240, 0→137/137). The exemplar TU
defines `struct W4 { u32 w; } __attribute__((packed,aligned(1)))` inline; `remap_hseq` templates the DEF but
not that local type, so each sibling's `*(struct W4*)dst = *(struct W4*)src` lowers to a DIFFERENT-sized memcpy
→ byte-DIFF (compiles clean — it's a DIFF, not a compile error, so match_one/standalone never sees it). FIX:
prepend the local struct decl to each member draft (the tiny-inline-type analog of the §57/func_8016CBC0
engine_types.h lift — but too small/local to lift; carry it in the template). Symptom is "compiles, 0/137 DIFF."
- **(2) h_seq data is per-overlay RELOCATED — there is NO fleet-fixed data address** (func_8016D1D8/D688,
0→274/274). The exemplar body reads `D_801D9C20` (a tail work-buffer); the WRONG assumption is that 0x801D9C20
is the same in every overlay. It is NOT — each overlay's buffer sits at a different base (ov_000 → 0x801A4B78).
`remap_hseq`'s `symbol_map` keys the byte-OFFSET labels (`D_801D9C21`…) not the base symbol the C uses, so the
base is left unresolved → `undefined reference`. FIX, scripted per sibling: `base = symbol_map["D_<off>"] − off`;
declare `D_<base> = 0x<base>; // type:u8` in `config/symbols.<ov>.txt` (in-overlay → re-extract emits the linker
def, byte-neutral); remap the exemplar's base symbol → `D_<base>`. (A few SC07 stragglers also needed carried
externs like `ApplyMatrixSV` dropped — their TU declares them with a conflicting sig, §20/§58c.)
- **(3) jtbl carve isolation/table-drift walls** (2 cores blocked, genuine tooling). `jtbl_carve` refuses a
NON-CONTIGUOUS same-subseg table (another matched fn's carve already occupies the subseg); isolating requires
`jr_isolate`/`split_src_region`, which **cannot partition the Phase-17 canonical-sig-layer TU** (`trim: cannot
resolve address of item`). And a merged two-table span (§8e-2) trips `jtbl_rodata_pads: more rodata .align than
pad specs` when the -O0 code object holds more jump tables than the span's derived pad spec ("one contiguous
.rodata run per object"). Both are documented walls — bank the contiguous/last-table cases, report the rest.
Meta: a `family_sweep --hseq` "0/137 banked" is a per-sibling INTEGRATION signal, not a codegen verdict — read one
sibling's real gate result (COMPILE-fail vs byte-DIFF) before concluding. Extends §58 (match_one blind spots) to the
sweep stage.
docs/progress.fleet.md
+143 -143
View File
@@ -4,156 +4,156 @@
# 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)
FLEET fn-count byte-ident: 308576 / 353722 = 87.24% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 9896519 / 13081451 = 75.7% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3418194 / 5574674 = 61.3% (61871/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 REAL substantive : 306721 (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 : 45825
FLEET INCLUDE_ASM stubs : 45139
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% |
| ov_SC01_000 | 2196 | 1705 | 0 | 2196 | 2403 | 91.4% |
| ov_SC01_001 | 2201 | 1705 | 0 | 2203 | 2466 | 89.3% |
| ov_SC01_004 | 2194 | 1696 | 0 | 2195 | 2414 | 90.9% |
| ov_SC01_005 | 2223 | 1718 | 0 | 2223 | 2503 | 88.8% |
| ov_SC01_006 | 2223 | 1718 | 0 | 2223 | 2503 | 88.8% |
| ov_SC01_008 | 2194 | 1696 | 0 | 2196 | 2426 | 90.5% |
| ov_SC01_009 | 2219 | 1697 | 0 | 2220 | 2507 | 88.6% |
| ov_SC01_074 | 2197 | 1697 | 0 | 2199 | 2425 | 90.7% |
| ov_SC01_077 | 2391 | 1665 | 0 | 2393 | 2585 | 92.6% |
| ov_SC01_080 | 2235 | 1700 | 0 | 2235 | 2512 | 89.0% |
| ov_SC01_084 | 2243 | 1700 | 0 | 2248 | 2579 | 87.2% |
| ov_SC02_000 | 2294 | 1735 | 0 | 2294 | 2683 | 85.5% |
| ov_SC02_003 | 2294 | 1735 | 0 | 2294 | 2683 | 85.5% |
| ov_SC02_004 | 2202 | 1700 | 0 | 2202 | 2401 | 91.7% |
| ov_SC02_005 | 2309 | 1696 | 0 | 2319 | 2927 | 79.2% |
| ov_SC02_011 | 2318 | 1703 | 0 | 2329 | 2893 | 80.5% |
| ov_SC02_015 | 2203 | 1702 | 0 | 2203 | 2414 | 91.3% |
| ov_SC02_016 | 2233 | 1702 | 0 | 2236 | 2545 | 87.9% |
| ov_SC02_017 | 2279 | 1702 | 0 | 2287 | 2732 | 83.7% |
| ov_SC02_021 | 2209 | 1702 | 0 | 2209 | 2437 | 90.6% |
| ov_SC02_026 | 2224 | 1700 | 0 | 2230 | 2572 | 86.7% |
| ov_SC02_027 | 2247 | 1700 | 0 | 2256 | 2692 | 83.8% |
| ov_SC02_028 | 2248 | 1700 | 0 | 2258 | 2701 | 83.6% |
| ov_SC02_031 | 2234 | 1701 | 0 | 2239 | 2562 | 87.4% |
| ov_SC02_035 | 2210 | 1700 | 0 | 2213 | 2520 | 87.8% |
| ov_SC02_039 | 2195 | 1700 | 0 | 2195 | 2416 | 90.9% |
| ov_SC02_041 | 2230 | 1700 | 0 | 2233 | 2561 | 87.2% |
| ov_SC03_001 | 2330 | 1701 | 0 | 2347 | 2869 | 81.8% |
| ov_SC03_002 | 2257 | 1705 | 0 | 2272 | 2631 | 86.4% |
| ov_SC03_003 | 2205 | 1700 | 0 | 2206 | 2423 | 91.0% |
| ov_SC03_006 | 2268 | 1706 | 0 | 2277 | 2767 | 82.3% |
| ov_SC03_007 | 2249 | 1700 | 0 | 2253 | 2623 | 85.9% |
| ov_SC03_010 | 2211 | 1700 | 0 | 2211 | 2470 | 89.5% |
| ov_SC03_011 | 2219 | 1700 | 0 | 2225 | 2527 | 88.0% |
| ov_SC03_012 | 2197 | 1700 | 0 | 2198 | 2406 | 91.4% |
| ov_SC03_013 | 2216 | 1700 | 0 | 2216 | 2492 | 88.9% |
| ov_SC03_014 | 2274 | 1725 | 0 | 2274 | 2685 | 84.7% |
| ov_SC03_015 | 2275 | 1725 | 0 | 2275 | 2685 | 84.7% |
| ov_SC03_023 | 2203 | 1700 | 0 | 2204 | 2435 | 90.5% |
| ov_SC03_024 | 2261 | 1705 | 0 | 2268 | 2641 | 85.9% |
| ov_SC03_028 | 2243 | 1700 | 0 | 2247 | 2664 | 84.3% |
| ov_SC03_029 | 2245 | 1702 | 0 | 2255 | 2644 | 85.3% |
| ov_SC03_030 | 2217 | 1705 | 0 | 2219 | 2495 | 88.9% |
| ov_SC03_031 | 2215 | 1700 | 0 | 2218 | 2514 | 88.2% |
| ov_SC03_089 | 2229 | 1700 | 0 | 2236 | 2581 | 86.6% |
| ov_SC03_090 | 2231 | 1700 | 0 | 2239 | 2625 | 85.3% |
| ov_SC03_091 | 2234 | 1700 | 0 | 2242 | 2640 | 84.9% |
| ov_SC03_092 | 2245 | 1700 | 0 | 2257 | 2587 | 87.2% |
| ov_SC03_093 | 2221 | 1700 | 0 | 2225 | 2563 | 86.8% |
| ov_SC03_094 | 2216 | 1700 | 0 | 2222 | 2577 | 86.2% |
| ov_SC03_095 | 2206 | 1700 | 0 | 2209 | 2474 | 89.3% |
| ov_SC03_096 | 2206 | 1700 | 0 | 2209 | 2465 | 89.6% |
| ov_SC03_097 | 2235 | 1700 | 0 | 2242 | 2603 | 86.1% |
| ov_SC03_098 | 2214 | 1700 | 0 | 2217 | 2541 | 87.2% |
| ov_SC03_099 | 2207 | 1700 | 0 | 2210 | 2504 | 88.3% |
| ov_SC03_100 | 2217 | 1700 | 0 | 2221 | 2539 | 87.5% |
| ov_SC03_101 | 2217 | 1700 | 0 | 2221 | 2528 | 87.9% |
| ov_SC03_102 | 2209 | 1700 | 0 | 2212 | 2492 | 88.8% |
| ov_SC03_103 | 2212 | 1702 | 0 | 2215 | 2510 | 88.2% |
| ov_SC03_104 | 2237 | 1700 | 0 | 2244 | 2616 | 85.8% |
| ov_SC03_105 | 2231 | 1700 | 0 | 2238 | 2597 | 86.2% |
| ov_SC03_108 | 2199 | 1700 | 0 | 2199 | 2443 | 90.0% |
| ov_SC03_109 | 2200 | 1700 | 0 | 2202 | 2424 | 90.8% |
| ov_SC03_110 | 2205 | 1700 | 0 | 2205 | 2468 | 89.3% |
| ov_SC03_111 | 2217 | 1700 | 0 | 2220 | 2510 | 88.4% |
| ov_SC03_112 | 2210 | 1702 | 0 | 2212 | 2526 | 87.6% |
| ov_SC03_113 | 2203 | 1702 | 0 | 2206 | 2468 | 89.4% |
| ov_SC03_114 | 2193 | 1700 | 0 | 2195 | 2415 | 90.9% |
| ov_SC03_115 | 2210 | 1700 | 0 | 2212 | 2472 | 89.5% |
| ov_SC03_116 | 2200 | 1700 | 0 | 2203 | 2438 | 90.4% |
| ov_SC03_117 | 2228 | 1700 | 0 | 2234 | 2557 | 87.4% |
| ov_SC03_118 | 2275 | 1724 | 0 | 2276 | 2685 | 84.8% |
| ov_SC03_119 | 2273 | 1724 | 0 | 2274 | 2685 | 84.7% |
| ov_SC03_121 | 2207 | 1700 | 0 | 2210 | 2459 | 89.9% |
| ov_SC03_124 | 2287 | 1696 | 0 | 2307 | 2741 | 84.2% |
| ov_SC03_125 | 2244 | 1700 | 0 | 2256 | 2588 | 87.2% |
| ov_SC03_126 | 2206 | 1702 | 0 | 2206 | 2423 | 91.0% |
| ov_SC04_000 | 2222 | 1704 | 0 | 2231 | 2546 | 87.6% |
| ov_SC04_002 | 2238 | 1700 | 0 | 2242 | 2636 | 85.1% |
| ov_SC04_003 | 2216 | 1700 | 0 | 2220 | 2502 | 88.7% |
| ov_SC04_004 | 2225 | 1700 | 0 | 2227 | 2558 | 87.1% |
| ov_SC04_005 | 2233 | 1700 | 0 | 2239 | 2612 | 85.7% |
| ov_SC04_006 | 2206 | 1700 | 0 | 2208 | 2454 | 90.0% |
| ov_SC04_007 | 2226 | 1700 | 0 | 2230 | 2569 | 86.8% |
| ov_SC04_008 | 2196 | 1700 | 0 | 2196 | 2415 | 90.9% |
| ov_SC04_009 | 2212 | 1700 | 0 | 2215 | 2441 | 90.7% |
| ov_SC04_010 | 2203 | 1700 | 0 | 2204 | 2419 | 91.1% |
| ov_SC04_011 | 2259 | 1700 | 0 | 2265 | 2803 | 80.8% |
| ov_SC04_012 | 2199 | 1700 | 0 | 2200 | 2420 | 90.9% |
| ov_SC04_015 | 2263 | 1701 | 0 | 2274 | 2611 | 87.1% |
| ov_SC04_016 | 2202 | 1700 | 0 | 2204 | 2440 | 90.3% |
| ov_SC04_018 | 2314 | 1735 | 0 | 2314 | 2857 | 81.0% |
| ov_SC04_019 | 2319 | 1735 | 0 | 2319 | 2857 | 81.2% |
| ov_SC04_020 | 2231 | 1700 | 0 | 2243 | 2567 | 87.4% |
| ov_SC04_021 | 2207 | 1702 | 0 | 2207 | 2423 | 91.1% |
| ov_SC05_000 | 2203 | 1704 | 0 | 2206 | 2422 | 91.1% |
| ov_SC05_001 | 2226 | 1700 | 0 | 2231 | 2574 | 86.7% |
| ov_SC05_002 | 2208 | 1700 | 0 | 2211 | 2442 | 90.5% |
| ov_SC05_003 | 2205 | 1700 | 0 | 2206 | 2481 | 88.9% |
| ov_SC05_004 | 2200 | 1700 | 0 | 2202 | 2464 | 89.4% |
| ov_SC05_005 | 2207 | 1700 | 0 | 2208 | 2491 | 88.6% |
| ov_SC05_006 | 2199 | 1700 | 0 | 2199 | 2430 | 90.5% |
| ov_SC05_007 | 2209 | 1700 | 0 | 2214 | 2482 | 89.2% |
| ov_SC05_008 | 2226 | 1700 | 0 | 2228 | 2543 | 87.6% |
| ov_SC05_009 | 2204 | 1700 | 0 | 2208 | 2438 | 90.6% |
| ov_SC05_010 | 2230 | 1700 | 0 | 2234 | 2588 | 86.3% |
| ov_SC05_011 | 2202 | 1700 | 0 | 2203 | 2409 | 91.4% |
| ov_SC05_017 | 2310 | 1697 | 0 | 2321 | 2842 | 81.7% |
| ov_SC05_018 | 2257 | 1700 | 0 | 2270 | 2673 | 84.9% |
| ov_SC05_019 | 2207 | 1702 | 0 | 2207 | 2423 | 91.1% |
| ov_SC06_000 | 2267 | 1709 | 0 | 2270 | 2691 | 84.4% |
| ov_SC06_006 | 2222 | 1700 | 0 | 2223 | 2511 | 88.5% |
| ov_SC06_008 | 2232 | 1702 | 0 | 2238 | 2542 | 88.0% |
| ov_SC06_010 | 2216 | 1700 | 0 | 2221 | 2517 | 88.2% |
| ov_SC06_011 | 2211 | 1700 | 0 | 2215 | 2468 | 89.7% |
| ov_SC06_013 | 2204 | 1700 | 0 | 2205 | 2425 | 90.9% |
| ov_SC06_014 | 2210 | 1700 | 0 | 2212 | 2453 | 90.2% |
| ov_SC06_015 | 2207 | 1700 | 0 | 2207 | 2421 | 91.2% |
| ov_SC06_016 | 2224 | 1700 | 0 | 2226 | 2549 | 87.3% |
| ov_SC06_018 | 2221 | 1703 | 0 | 2228 | 2665 | 83.6% |
| ov_SC06_020 | 2214 | 1702 | 0 | 2215 | 2518 | 88.0% |
| ov_SC06_022 | 2228 | 1700 | 0 | 2236 | 2642 | 84.6% |
| ov_SC06_024 | 2233 | 1700 | 0 | 2239 | 2667 | 84.0% |
| ov_SC06_025 | 2225 | 1700 | 0 | 2230 | 2572 | 86.7% |
| ov_SC06_027 | 2193 | 1700 | 0 | 2194 | 2408 | 91.1% |
| ov_SC06_029 | 2251 | 1700 | 0 | 2263 | 2662 | 85.0% |
| ov_SC06_030 | 2206 | 1700 | 0 | 2206 | 2456 | 89.8% |
| ov_SC06_032 | 2218 | 1701 | 0 | 2225 | 2658 | 83.7% |
| ov_SC06_033 | 2221 | 1701 | 0 | 2228 | 2631 | 84.7% |
| ov_SC07_000 | 2221 | 1704 | 0 | 2223 | 2521 | 88.2% |
| ov_SC07_001 | 2206 | 1700 | 0 | 2208 | 2454 | 90.0% |
| ov_SC07_002 | 2233 | 1700 | 0 | 2237 | 2579 | 86.7% |
| ov_SC07_006 | 1976 | 1548 | 0 | 2056 | 2456 | 83.7% |
| ov_SC07_007 | 1993 | 1549 | 0 | 2077 | 2614 | 79.5% |
| ov_SC07_008 | 2190 | 1700 | 0 | 2190 | 2386 | 91.8% |
| ov_SC07_009 | 2200 | 1700 | 0 | 2202 | 2430 | 90.6% |
| ov_SC07_010 | 2006 | 1549 | 0 | 2089 | 2526 | 82.7% |
| ov_SC07_011 | 1992 | 1548 | 0 | 2072 | 2450 | 84.6% |
phase-ends/CURRENT_PHASE.md
+16
View File
@@ -539,3 +539,19 @@ conditional) · main-EXE/B9 + GLM/B6 + resident's 14 walls (P30) · behemoths B7
`func_8016D1D8` (148) + `func_8016D688` (60) reference the carve-boundary data-label `D_801D9C20`/`D_801D9C60`
only in ov077's symbols; siblings need it propagated (per-sibling symbols + re-extract). Plus the 3 §8
jtbl-carve cores (Task 6). NEXT: reconcile the residuals (ROI-triaged), then the next crack-wave / permuter backlog.
- **✅ 2026-07-19 — SESSION-4 RESIDUALS BANKED + VERIFIED (delegated agent): +412 more members, 3 commits.**
A focused agent ROI-triaged the 3 residual classes (byte-gate arbitrated): **`func_80165240` 137/137**
(`commit:0720` — the sweep dropped the exemplar's LOCAL `struct W4` type → per-member memcpy DIFF; carried the
decl into each member draft, §59#1), **`func_8016D1D8`+`func_8016D688` 274/274** (`commit:0721` — my "fixed
0x801D9C20 data" premise was WRONG: h_seq data is per-overlay RELOCATED, no fleet-fixed address; derived each
overlay's base `= symbol_map[offset]−offset`, declared `D_<base>` per sibling + re-extract, §59#2), and
**`func_8013C0F8` ×1** (`commit:0722` — jtbl_801D82FC carve, def-sig reconcile). **BLOCKED (genuine tooling
walls, §59#3):** `func_801549F8` ×137 (jtbl §8c isolation — `trim` can't partition the Phase-17 canonical-sig
layer TU) + `func_8013BD74` ×1 (§8e-2 table-count drift). **R22 clean-fleet: 140/140 byte-identical,
extract-all 139/0; tools-health OK (dedup 1847/0, C1 234343/234343); 0 NON_MATCHING linked (G4).**
**SESSION-4 TOTAL (from the 74.6→ session open, this conversation): fleet 75.2→75.7% instr · 60.6→61.3%
distinct · 87.04→87.24% fn-count** — 6 cores cracked + propagated ≈ **687 member-banks** across
`commit:0716`/`commit:0717`/`commit:0718`/`commit:0720`/`commit:0721`/`commit:0722` (+ `commit:0719` checkpoint). Cookbook §58/§59
captured (R30). 2 near cores preserved (`func_8014D820` close-11, `func_8012E364` close-22 — permuter fuel).
NEXT: next Ultracode crack-wave over a freshly-regenerated frontier + the permuter backlog (Task 7).