From d7092de63a3ab4d0f85d2532004a62909ff6aa72 Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Sun, 19 Jul 2026 00:25:58 -0600 Subject: [PATCH] =?UTF-8?q?docs(phase-29=20crack-wave):=20session-4=20clos?= =?UTF-8?q?e=20=E2=80=94=20+412=20residuals=20verified,=20cookbook=20?= =?UTF-8?q?=C2=A759?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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. --- docs/matching-cookbook.md | 30 ++++ docs/progress.fleet.md | 286 ++++++++++++++++++------------------ phase-ends/CURRENT_PHASE.md | 16 ++ 3 files changed, 189 insertions(+), 143 deletions(-) diff --git a/docs/matching-cookbook.md b/docs/matching-cookbook.md index 6263f8920..12459bd76 100644 --- a/docs/matching-cookbook.md +++ b/docs/matching-cookbook.md @@ -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`; + declare `D_ = 0x; // type:u8` in `config/symbols..txt` (in-overlay → re-extract emits the linker + def, byte-neutral); remap the exemplar's base symbol → `D_`. (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. diff --git a/docs/progress.fleet.md b/docs/progress.fleet.md index b61aea3ef..3e0fb9762 100644 --- a/docs/progress.fleet.md +++ b/docs/progress.fleet.md @@ -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% | diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 7475fee01..5e8ad8c29 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -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_` 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).