mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 05:56:00 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs(phase-29): SESSION-9 CHECKPOINT — sweep 274 siblings, the PURE≠templatable finding, the tooling answer

Browse Source
This commit is contained in:
Drew T
2026-07-22 13:47:14 -06:00
parent 05f9b20f1d
commit 8016c172f9
3 changed files with 245 additions and 181 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/family-hseq.md
+39 -39
View File
@@ -2,11 +2,11 @@
> Generated by `tools/family_hseq.py` from the 134 overlay sigs + per-overlay src stubs. Ranked by TEMPLATABLE byte-weight (PURE+IMM members × nins × 4). The byte-gate is the arbiter.
**Fleet (overlays):** 88.2% fn / 78.0% instr / 66.5% distinct-code matched. Unmatched: 41,585 instances / 2,871,950 ins (23,337 distinct classes).
**Fleet (overlays):** 88.2% fn / 78.2% instr / 67.0% distinct-code matched. Unmatched: 41,443 instances / 2,845,684 ins (23,203 distinct classes).
**Tail cross-check (Phase-25 close):** 28,173 tail fns / 1,178,976 ins → 581 h_seq families ≥2, **165 substantial (nins≥80) / 692,313 ins**.
**Tail cross-check (Phase-25 close):** 28,033 tail fns / 1,154,560 ins → 580 h_seq families ≥2, **164 substantial (nins≥80) / 667,897 ins**.
**Full frontier (all unmatched by h_seq):** 2735 target families (≥2 members or a matched sibling) + 3780 singletons (Step-D residue). Substantial: **572 families / 1,577,559 templatable ins**, 69 with a matched sibling (zero-crack). Substantial member classes: 10,075 PURE · 40 IMM · 6 STRUCT-excluded.
**Full frontier (all unmatched by h_seq):** 2734 target families (≥2 members or a matched sibling) + 3780 singletons (Step-D residue). Substantial: **571 families / 1,551,293 templatable ins**, 72 with a matched sibling (zero-crack). Substantial member classes: 9,933 PURE · 40 IMM · 6 STRUCT-excluded.
## Top substantial families (by templatable byte-weight)
@@ -27,39 +27,39 @@
| 12 | 198 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x801412a8 draft-ov077 | 27,324 |
| 13 | 188 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80175ab8 draft-ov077 | 25,944 |
| 14 | 183 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x8014032c matched-ov077 | 25,071 |
| 15 | 181 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x80135a4c matched | 24,797 |
| 16 | 165 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80178004 draft-ov077 | 22,770 |
| 17 | 158 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x801299c8 draft-ov077 | 21,804 |
| 18 | 154 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x8013c0f8 matched-ov077 | 21,098 |
| 19 | 154 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80144090 matched-ov077 | 20,944 |
| 20 | 155 | 133 (133/0/0) | 1/133 | per-location | PURE | 5 | · | 0x801365b8 matched-ov077 | 20,615 |
| 21 | 147 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80177b5c draft-ov077 | 20,286 |
| 22 | 137 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | · | 0x80133ab0 matched-ov077 | 18,769 |
| 23 | 136 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135260 draft-ov077 | 18,768 |
| 24 | 125 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x8012aaac draft-ov077 | 17,250 |
| 25 | 123 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80174cb0 draft-ov077 | 16,974 |
| 26 | 3338 | 5 (5/0/0) | 3/5 | cross-address | PURE | 0 | · | 0x8017d960 modal | 16,690 |
| 27 | 114 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8015d1b8 draft-ov077 | 15,732 |
| 28 | 113 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135888 draft-ov077 | 15,594 |
| 29 | 111 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80179b74 draft-ov077 | 15,318 |
| 30 | 110 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x801330e0 draft-ov077 | 15,180 |
| 31 | 947 | 16 (16/0/0) | 6/16 | cross-address | PURE | 0 | Y | 0x8017c974 draft-ov077 | 15,152 |
| 32 | 105 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8012cc88 draft-ov077 | 14,490 |
| 33 | 105 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80169228 draft-ov077 | 14,490 |
| 34 | 105 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x801749c8 matched-ov077 | 14,280 |
| 35 | 104 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | · | 0x80167714 matched-ov077 | 14,248 |
| 36 | 101 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x801463a0 draft-ov077 | 13,938 |
| 37 | 101 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80177940 draft-ov077 | 13,938 |
| 38 | 100 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135d20 draft-ov077 | 13,800 |
| 39 | 99 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80165ca0 matched-ov077 | 13,464 |
| 40 | 97 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014cd80 draft-ov077 | 13,386 |
| 41 | 94 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8016b6bc draft-ov077 | 12,972 |
| 42 | 97 | 133 (133/0/0) | 1/133 | per-location | PURE | 5 | · | 0x8017b490 matched-ov077 | 12,901 |
| 43 | 93 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014d12c draft-ov077 | 12,834 |
| 44 | 91 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014c6f4 draft-ov077 | 12,558 |
| 45 | 91 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x801789ac draft-ov077 | 12,558 |
| 46 | 952 | 13 (7/6/0) | 5/13 | cross-address | IMM | 103 | Y | 0x8017bebc matched | 12,376 |
| 47 | 88 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8016ec0c draft-ov077 | 12,144 |
| 48 | 87 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80158638 draft-ov077 | 12,006 |
| 49 | 85 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x8016ae5c draft-ov077 | 11,730 |
| 50 | 84 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8012b4b8 draft-ov077 | 11,592 |
| 15 | 165 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80178004 draft-ov077 | 22,770 |
| 16 | 158 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x801299c8 draft-ov077 | 21,804 |
| 17 | 154 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x8013c0f8 matched-ov077 | 21,098 |
| 18 | 154 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80144090 matched-ov077 | 20,944 |
| 19 | 155 | 133 (133/0/0) | 1/133 | per-location | PURE | 5 | · | 0x801365b8 matched-ov077 | 20,615 |
| 20 | 147 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80177b5c draft-ov077 | 20,286 |
| 21 | 137 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | · | 0x80133ab0 matched-ov077 | 18,769 |
| 22 | 136 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135260 draft-ov077 | 18,768 |
| 23 | 125 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x8012aaac draft-ov077 | 17,250 |
| 24 | 123 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80174cb0 draft-ov077 | 16,974 |
| 25 | 3338 | 5 (5/0/0) | 3/5 | cross-address | PURE | 0 | · | 0x8017d960 modal | 16,690 |
| 26 | 114 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8015d1b8 draft-ov077 | 15,732 |
| 27 | 113 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x80135888 matched | 15,481 |
| 28 | 111 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80179b74 draft-ov077 | 15,318 |
| 29 | 110 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x801330e0 draft-ov077 | 15,180 |
| 30 | 947 | 16 (16/0/0) | 6/16 | cross-address | PURE | 0 | Y | 0x8017c974 draft-ov077 | 15,152 |
| 31 | 105 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8012cc88 draft-ov077 | 14,490 |
| 32 | 105 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80169228 draft-ov077 | 14,490 |
| 33 | 104 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | · | 0x80167714 matched-ov077 | 14,248 |
| 34 | 105 | 135 (135/0/0) | 1/135 | per-location | PURE | 3 | · | 0x801749c8 matched-ov077 | 14,175 |
| 35 | 101 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x801463a0 draft-ov077 | 13,938 |
| 36 | 101 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80177940 draft-ov077 | 13,938 |
| 37 | 100 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x80135d20 matched | 13,700 |
| 38 | 99 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80165ca0 matched-ov077 | 13,464 |
| 39 | 97 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014cd80 draft-ov077 | 13,386 |
| 40 | 94 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8016b6bc draft-ov077 | 12,972 |
| 41 | 97 | 133 (133/0/0) | 1/133 | per-location | PURE | 5 | · | 0x8017b490 matched-ov077 | 12,901 |
| 42 | 93 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014d12c draft-ov077 | 12,834 |
| 43 | 91 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014c6f4 draft-ov077 | 12,558 |
| 44 | 91 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x801789ac draft-ov077 | 12,558 |
| 45 | 952 | 13 (7/6/0) | 5/13 | cross-address | IMM | 103 | Y | 0x8017bebc matched | 12,376 |
| 46 | 88 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8016ec0c draft-ov077 | 12,144 |
| 47 | 87 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80158638 draft-ov077 | 12,006 |
| 48 | 85 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x8016ae5c draft-ov077 | 11,730 |
| 49 | 84 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8012b4b8 draft-ov077 | 11,592 |
| 50 | 84 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x8014d4c0 draft-ov077 | 11,592 |
docs/progress.fleet.md
+142 -142
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: 311224 / 353722 = 87.99% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10234240 / 13081451 = 78.2% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3734166 / 5574674 = 67.0% (64242/87459 unique fns; the DISTINCT-RE number)
FLEET fn-count byte-ident: 311498 / 353722 = 88.06% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10263421 / 13081451 = 78.5% (shipped .text across resident+138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3761856 / 5574674 = 67.5% (64502/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 : 309369 (of which dedup-shared 234437 via 1848 groups / 234481 instances)
FLEET REAL substantive : 309643 (of which dedup-shared 234437 via 1848 groups / 234481 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 42491
FLEET INCLUDE_ASM stubs : 42217
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 | 2221 | 1706 | 0 | 2221 | 2403 | 92.4% |
| ov_SC01_001 | 2221 | 1706 | 0 | 2223 | 2466 | 90.1% |
| ov_SC01_004 | 2213 | 1697 | 0 | 2214 | 2414 | 91.7% |
| ov_SC01_005 | 2242 | 1719 | 0 | 2242 | 2503 | 89.6% |
| ov_SC01_006 | 2242 | 1719 | 0 | 2242 | 2503 | 89.6% |
| ov_SC01_008 | 2213 | 1697 | 0 | 2215 | 2426 | 91.3% |
| ov_SC01_009 | 2238 | 1698 | 0 | 2239 | 2507 | 89.3% |
| ov_SC01_074 | 2216 | 1698 | 0 | 2218 | 2425 | 91.5% |
| ov_SC01_077 | 2408 | 1666 | 0 | 2410 | 2585 | 93.2% |
| ov_SC01_080 | 2255 | 1701 | 0 | 2255 | 2512 | 89.8% |
| ov_SC01_084 | 2262 | 1701 | 0 | 2267 | 2579 | 87.9% |
| ov_SC02_000 | 2315 | 1736 | 0 | 2315 | 2683 | 86.3% |
| ov_SC02_003 | 2315 | 1736 | 0 | 2315 | 2683 | 86.3% |
| ov_SC02_004 | 2221 | 1701 | 0 | 2221 | 2401 | 92.5% |
| ov_SC02_005 | 2328 | 1697 | 0 | 2338 | 2927 | 79.9% |
| ov_SC02_011 | 2339 | 1704 | 0 | 2350 | 2893 | 81.2% |
| ov_SC02_015 | 2222 | 1703 | 0 | 2222 | 2414 | 92.0% |
| ov_SC02_016 | 2253 | 1703 | 0 | 2256 | 2545 | 88.6% |
| ov_SC02_017 | 2299 | 1703 | 0 | 2307 | 2732 | 84.4% |
| ov_SC02_021 | 2228 | 1703 | 0 | 2228 | 2437 | 91.4% |
| ov_SC02_026 | 2243 | 1701 | 0 | 2249 | 2572 | 87.4% |
| ov_SC02_027 | 2266 | 1701 | 0 | 2275 | 2692 | 84.5% |
| ov_SC02_028 | 2267 | 1701 | 0 | 2277 | 2701 | 84.3% |
| ov_SC02_031 | 2253 | 1702 | 0 | 2258 | 2562 | 88.1% |
| ov_SC02_035 | 2229 | 1701 | 0 | 2232 | 2520 | 88.6% |
| ov_SC02_039 | 2214 | 1701 | 0 | 2214 | 2416 | 91.6% |
| ov_SC02_041 | 2249 | 1701 | 0 | 2252 | 2561 | 87.9% |
| ov_SC03_001 | 2350 | 1702 | 0 | 2367 | 2869 | 82.5% |
| ov_SC03_002 | 2276 | 1706 | 0 | 2291 | 2631 | 87.1% |
| ov_SC03_003 | 2224 | 1701 | 0 | 2225 | 2423 | 91.8% |
| ov_SC03_006 | 2289 | 1707 | 0 | 2298 | 2767 | 83.1% |
| ov_SC03_007 | 2269 | 1701 | 0 | 2273 | 2623 | 86.7% |
| ov_SC03_010 | 2230 | 1701 | 0 | 2230 | 2470 | 90.3% |
| ov_SC03_011 | 2238 | 1701 | 0 | 2244 | 2527 | 88.8% |
| ov_SC03_012 | 2216 | 1701 | 0 | 2217 | 2406 | 92.1% |
| ov_SC03_013 | 2235 | 1701 | 0 | 2235 | 2492 | 89.7% |
| ov_SC03_014 | 2294 | 1726 | 0 | 2294 | 2685 | 85.4% |
| ov_SC03_015 | 2294 | 1726 | 0 | 2294 | 2685 | 85.4% |
| ov_SC03_023 | 2222 | 1701 | 0 | 2223 | 2435 | 91.3% |
| ov_SC03_024 | 2281 | 1706 | 0 | 2288 | 2641 | 86.6% |
| ov_SC03_028 | 2262 | 1701 | 0 | 2266 | 2664 | 85.1% |
| ov_SC03_029 | 2264 | 1703 | 0 | 2274 | 2644 | 86.0% |
| ov_SC03_030 | 2237 | 1706 | 0 | 2239 | 2495 | 89.7% |
| ov_SC03_031 | 2234 | 1701 | 0 | 2237 | 2514 | 89.0% |
| ov_SC03_089 | 2248 | 1701 | 0 | 2255 | 2581 | 87.4% |
| ov_SC03_090 | 2250 | 1701 | 0 | 2258 | 2625 | 86.0% |
| ov_SC03_091 | 2253 | 1701 | 0 | 2261 | 2640 | 85.6% |
| ov_SC03_092 | 2264 | 1701 | 0 | 2276 | 2587 | 88.0% |
| ov_SC03_093 | 2240 | 1701 | 0 | 2244 | 2563 | 87.6% |
| ov_SC03_094 | 2235 | 1701 | 0 | 2241 | 2577 | 87.0% |
| ov_SC03_095 | 2225 | 1701 | 0 | 2228 | 2474 | 90.1% |
| ov_SC03_096 | 2225 | 1701 | 0 | 2228 | 2465 | 90.4% |
| ov_SC03_097 | 2254 | 1701 | 0 | 2261 | 2603 | 86.9% |
| ov_SC03_098 | 2233 | 1701 | 0 | 2236 | 2541 | 88.0% |
| ov_SC03_099 | 2226 | 1701 | 0 | 2229 | 2504 | 89.0% |
| ov_SC03_100 | 2236 | 1701 | 0 | 2240 | 2539 | 88.2% |
| ov_SC03_101 | 2236 | 1701 | 0 | 2240 | 2528 | 88.6% |
| ov_SC03_102 | 2228 | 1701 | 0 | 2231 | 2492 | 89.5% |
| ov_SC03_103 | 2231 | 1703 | 0 | 2234 | 2510 | 89.0% |
| ov_SC03_104 | 2256 | 1701 | 0 | 2263 | 2616 | 86.5% |
| ov_SC03_105 | 2250 | 1701 | 0 | 2257 | 2597 | 86.9% |
| ov_SC03_108 | 2218 | 1701 | 0 | 2218 | 2443 | 90.8% |
| ov_SC03_109 | 2219 | 1701 | 0 | 2221 | 2424 | 91.6% |
| ov_SC03_110 | 2224 | 1701 | 0 | 2224 | 2468 | 90.1% |
| ov_SC03_111 | 2236 | 1701 | 0 | 2239 | 2510 | 89.2% |
| ov_SC03_112 | 2229 | 1703 | 0 | 2231 | 2526 | 88.3% |
| ov_SC03_113 | 2222 | 1703 | 0 | 2225 | 2468 | 90.2% |
| ov_SC03_114 | 2212 | 1701 | 0 | 2214 | 2415 | 91.7% |
| ov_SC03_115 | 2229 | 1701 | 0 | 2231 | 2472 | 90.3% |
| ov_SC03_116 | 2219 | 1701 | 0 | 2222 | 2438 | 91.1% |
| ov_SC03_117 | 2247 | 1701 | 0 | 2253 | 2557 | 88.1% |
| ov_SC03_118 | 2294 | 1725 | 0 | 2295 | 2685 | 85.5% |
| ov_SC03_119 | 2293 | 1725 | 0 | 2294 | 2685 | 85.4% |
| ov_SC03_121 | 2226 | 1701 | 0 | 2229 | 2459 | 90.6% |
| ov_SC03_124 | 2306 | 1697 | 0 | 2326 | 2741 | 84.9% |
| ov_SC03_125 | 2263 | 1701 | 0 | 2275 | 2588 | 87.9% |
| ov_SC03_126 | 2225 | 1703 | 0 | 2225 | 2423 | 91.8% |
| ov_SC04_000 | 2241 | 1705 | 0 | 2250 | 2546 | 88.4% |
| ov_SC04_002 | 2257 | 1701 | 0 | 2261 | 2636 | 85.8% |
| ov_SC04_003 | 2235 | 1701 | 0 | 2239 | 2502 | 89.5% |
| ov_SC04_004 | 2244 | 1701 | 0 | 2246 | 2558 | 87.8% |
| ov_SC04_005 | 2252 | 1701 | 0 | 2258 | 2612 | 86.4% |
| ov_SC04_006 | 2225 | 1701 | 0 | 2227 | 2454 | 90.7% |
| ov_SC04_007 | 2245 | 1701 | 0 | 2249 | 2569 | 87.5% |
| ov_SC04_008 | 2215 | 1701 | 0 | 2215 | 2415 | 91.7% |
| ov_SC04_009 | 2231 | 1701 | 0 | 2234 | 2441 | 91.5% |
| ov_SC04_010 | 2222 | 1701 | 0 | 2223 | 2419 | 91.9% |
| ov_SC04_011 | 2278 | 1701 | 0 | 2284 | 2803 | 81.5% |
| ov_SC04_012 | 2218 | 1701 | 0 | 2219 | 2420 | 91.7% |
| ov_SC04_015 | 2283 | 1702 | 0 | 2294 | 2611 | 87.9% |
| ov_SC04_016 | 2221 | 1701 | 0 | 2223 | 2440 | 91.1% |
| ov_SC04_018 | 2333 | 1736 | 0 | 2333 | 2857 | 81.7% |
| ov_SC04_019 | 2339 | 1736 | 0 | 2339 | 2857 | 81.9% |
| ov_SC04_020 | 2250 | 1701 | 0 | 2262 | 2567 | 88.1% |
| ov_SC04_021 | 2226 | 1703 | 0 | 2226 | 2423 | 91.9% |
| ov_SC05_000 | 2222 | 1705 | 0 | 2225 | 2422 | 91.9% |
| ov_SC05_001 | 2245 | 1701 | 0 | 2250 | 2574 | 87.4% |
| ov_SC05_002 | 2227 | 1701 | 0 | 2230 | 2442 | 91.3% |
| ov_SC05_003 | 2224 | 1701 | 0 | 2225 | 2481 | 89.7% |
| ov_SC05_004 | 2219 | 1701 | 0 | 2221 | 2464 | 90.1% |
| ov_SC05_005 | 2226 | 1701 | 0 | 2227 | 2491 | 89.4% |
| ov_SC05_006 | 2218 | 1701 | 0 | 2218 | 2430 | 91.3% |
| ov_SC05_007 | 2228 | 1701 | 0 | 2233 | 2482 | 90.0% |
| ov_SC05_008 | 2245 | 1701 | 0 | 2247 | 2543 | 88.4% |
| ov_SC05_009 | 2223 | 1701 | 0 | 2227 | 2438 | 91.3% |
| ov_SC05_010 | 2249 | 1701 | 0 | 2253 | 2588 | 87.1% |
| ov_SC05_011 | 2221 | 1701 | 0 | 2222 | 2409 | 92.2% |
| ov_SC05_017 | 2329 | 1698 | 0 | 2340 | 2842 | 82.3% |
| ov_SC05_018 | 2276 | 1701 | 0 | 2289 | 2673 | 85.6% |
| ov_SC05_019 | 2226 | 1703 | 0 | 2226 | 2423 | 91.9% |
| ov_SC06_000 | 2288 | 1710 | 0 | 2291 | 2691 | 85.1% |
| ov_SC06_006 | 2241 | 1701 | 0 | 2242 | 2511 | 89.3% |
| ov_SC06_008 | 2251 | 1703 | 0 | 2257 | 2542 | 88.8% |
| ov_SC06_010 | 2234 | 1701 | 0 | 2239 | 2517 | 89.0% |
| ov_SC06_011 | 2230 | 1701 | 0 | 2234 | 2468 | 90.5% |
| ov_SC06_013 | 2223 | 1701 | 0 | 2224 | 2425 | 91.7% |
| ov_SC06_014 | 2229 | 1701 | 0 | 2231 | 2453 | 90.9% |
| ov_SC06_015 | 2226 | 1701 | 0 | 2226 | 2421 | 91.9% |
| ov_SC06_016 | 2244 | 1701 | 0 | 2246 | 2549 | 88.1% |
| ov_SC01_000 | 2223 | 1706 | 0 | 2223 | 2403 | 92.5% |
| ov_SC01_001 | 2223 | 1706 | 0 | 2225 | 2466 | 90.2% |
| ov_SC01_004 | 2215 | 1697 | 0 | 2216 | 2414 | 91.8% |
| ov_SC01_005 | 2244 | 1719 | 0 | 2244 | 2503 | 89.7% |
| ov_SC01_006 | 2244 | 1719 | 0 | 2244 | 2503 | 89.7% |
| ov_SC01_008 | 2215 | 1697 | 0 | 2217 | 2426 | 91.4% |
| ov_SC01_009 | 2240 | 1698 | 0 | 2241 | 2507 | 89.4% |
| ov_SC01_074 | 2218 | 1698 | 0 | 2220 | 2425 | 91.5% |
| ov_SC01_077 | 2410 | 1666 | 0 | 2412 | 2585 | 93.3% |
| ov_SC01_080 | 2257 | 1701 | 0 | 2257 | 2512 | 89.8% |
| ov_SC01_084 | 2264 | 1701 | 0 | 2269 | 2579 | 88.0% |
| ov_SC02_000 | 2317 | 1736 | 0 | 2317 | 2683 | 86.4% |
| ov_SC02_003 | 2317 | 1736 | 0 | 2317 | 2683 | 86.4% |
| ov_SC02_004 | 2223 | 1701 | 0 | 2223 | 2401 | 92.6% |
| ov_SC02_005 | 2330 | 1697 | 0 | 2340 | 2927 | 79.9% |
| ov_SC02_011 | 2341 | 1704 | 0 | 2352 | 2893 | 81.3% |
| ov_SC02_015 | 2224 | 1703 | 0 | 2224 | 2414 | 92.1% |
| ov_SC02_016 | 2255 | 1703 | 0 | 2258 | 2545 | 88.7% |
| ov_SC02_017 | 2301 | 1703 | 0 | 2309 | 2732 | 84.5% |
| ov_SC02_021 | 2230 | 1703 | 0 | 2230 | 2437 | 91.5% |
| ov_SC02_026 | 2245 | 1701 | 0 | 2251 | 2572 | 87.5% |
| ov_SC02_027 | 2268 | 1701 | 0 | 2277 | 2692 | 84.6% |
| ov_SC02_028 | 2269 | 1701 | 0 | 2279 | 2701 | 84.4% |
| ov_SC02_031 | 2255 | 1702 | 0 | 2260 | 2562 | 88.2% |
| ov_SC02_035 | 2231 | 1701 | 0 | 2234 | 2520 | 88.7% |
| ov_SC02_039 | 2216 | 1701 | 0 | 2216 | 2416 | 91.7% |
| ov_SC02_041 | 2251 | 1701 | 0 | 2254 | 2561 | 88.0% |
| ov_SC03_001 | 2352 | 1702 | 0 | 2369 | 2869 | 82.6% |
| ov_SC03_002 | 2278 | 1706 | 0 | 2293 | 2631 | 87.2% |
| ov_SC03_003 | 2226 | 1701 | 0 | 2227 | 2423 | 91.9% |
| ov_SC03_006 | 2291 | 1707 | 0 | 2300 | 2767 | 83.1% |
| ov_SC03_007 | 2271 | 1701 | 0 | 2275 | 2623 | 86.7% |
| ov_SC03_010 | 2232 | 1701 | 0 | 2232 | 2470 | 90.4% |
| ov_SC03_011 | 2240 | 1701 | 0 | 2246 | 2527 | 88.9% |
| ov_SC03_012 | 2218 | 1701 | 0 | 2219 | 2406 | 92.2% |
| ov_SC03_013 | 2237 | 1701 | 0 | 2237 | 2492 | 89.8% |
| ov_SC03_014 | 2296 | 1726 | 0 | 2296 | 2685 | 85.5% |
| ov_SC03_015 | 2296 | 1726 | 0 | 2296 | 2685 | 85.5% |
| ov_SC03_023 | 2224 | 1701 | 0 | 2225 | 2435 | 91.4% |
| ov_SC03_024 | 2283 | 1706 | 0 | 2290 | 2641 | 86.7% |
| ov_SC03_028 | 2264 | 1701 | 0 | 2268 | 2664 | 85.1% |
| ov_SC03_029 | 2266 | 1703 | 0 | 2276 | 2644 | 86.1% |
| ov_SC03_030 | 2239 | 1706 | 0 | 2241 | 2495 | 89.8% |
| ov_SC03_031 | 2236 | 1701 | 0 | 2239 | 2514 | 89.1% |
| ov_SC03_089 | 2250 | 1701 | 0 | 2257 | 2581 | 87.4% |
| ov_SC03_090 | 2252 | 1701 | 0 | 2260 | 2625 | 86.1% |
| ov_SC03_091 | 2255 | 1701 | 0 | 2263 | 2640 | 85.7% |
| ov_SC03_092 | 2266 | 1701 | 0 | 2278 | 2587 | 88.1% |
| ov_SC03_093 | 2242 | 1701 | 0 | 2246 | 2563 | 87.6% |
| ov_SC03_094 | 2237 | 1701 | 0 | 2243 | 2577 | 87.0% |
| ov_SC03_095 | 2227 | 1701 | 0 | 2230 | 2474 | 90.1% |
| ov_SC03_096 | 2227 | 1701 | 0 | 2230 | 2465 | 90.5% |
| ov_SC03_097 | 2256 | 1701 | 0 | 2263 | 2603 | 86.9% |
| ov_SC03_098 | 2235 | 1701 | 0 | 2238 | 2541 | 88.1% |
| ov_SC03_099 | 2228 | 1701 | 0 | 2231 | 2504 | 89.1% |
| ov_SC03_100 | 2238 | 1701 | 0 | 2242 | 2539 | 88.3% |
| ov_SC03_101 | 2238 | 1701 | 0 | 2242 | 2528 | 88.7% |
| ov_SC03_102 | 2230 | 1701 | 0 | 2233 | 2492 | 89.6% |
| ov_SC03_103 | 2233 | 1703 | 0 | 2236 | 2510 | 89.1% |
| ov_SC03_104 | 2258 | 1701 | 0 | 2265 | 2616 | 86.6% |
| ov_SC03_105 | 2252 | 1701 | 0 | 2259 | 2597 | 87.0% |
| ov_SC03_108 | 2220 | 1701 | 0 | 2220 | 2443 | 90.9% |
| ov_SC03_109 | 2221 | 1701 | 0 | 2223 | 2424 | 91.7% |
| ov_SC03_110 | 2226 | 1701 | 0 | 2226 | 2468 | 90.2% |
| ov_SC03_111 | 2238 | 1701 | 0 | 2241 | 2510 | 89.3% |
| ov_SC03_112 | 2231 | 1703 | 0 | 2233 | 2526 | 88.4% |
| ov_SC03_113 | 2224 | 1703 | 0 | 2227 | 2468 | 90.2% |
| ov_SC03_114 | 2214 | 1701 | 0 | 2216 | 2415 | 91.8% |
| ov_SC03_115 | 2231 | 1701 | 0 | 2233 | 2472 | 90.3% |
| ov_SC03_116 | 2221 | 1701 | 0 | 2224 | 2438 | 91.2% |
| ov_SC03_117 | 2249 | 1701 | 0 | 2255 | 2557 | 88.2% |
| ov_SC03_118 | 2296 | 1725 | 0 | 2297 | 2685 | 85.5% |
| ov_SC03_119 | 2295 | 1725 | 0 | 2296 | 2685 | 85.5% |
| ov_SC03_121 | 2228 | 1701 | 0 | 2231 | 2459 | 90.7% |
| ov_SC03_124 | 2308 | 1697 | 0 | 2328 | 2741 | 84.9% |
| ov_SC03_125 | 2265 | 1701 | 0 | 2277 | 2588 | 88.0% |
| ov_SC03_126 | 2227 | 1703 | 0 | 2227 | 2423 | 91.9% |
| ov_SC04_000 | 2243 | 1705 | 0 | 2252 | 2546 | 88.5% |
| ov_SC04_002 | 2259 | 1701 | 0 | 2263 | 2636 | 85.8% |
| ov_SC04_003 | 2237 | 1701 | 0 | 2241 | 2502 | 89.6% |
| ov_SC04_004 | 2246 | 1701 | 0 | 2248 | 2558 | 87.9% |
| ov_SC04_005 | 2254 | 1701 | 0 | 2260 | 2612 | 86.5% |
| ov_SC04_006 | 2227 | 1701 | 0 | 2229 | 2454 | 90.8% |
| ov_SC04_007 | 2247 | 1701 | 0 | 2251 | 2569 | 87.6% |
| ov_SC04_008 | 2217 | 1701 | 0 | 2217 | 2415 | 91.8% |
| ov_SC04_009 | 2233 | 1701 | 0 | 2236 | 2441 | 91.6% |
| ov_SC04_010 | 2224 | 1701 | 0 | 2225 | 2419 | 92.0% |
| ov_SC04_011 | 2280 | 1701 | 0 | 2286 | 2803 | 81.6% |
| ov_SC04_012 | 2220 | 1701 | 0 | 2221 | 2420 | 91.8% |
| ov_SC04_015 | 2285 | 1702 | 0 | 2296 | 2611 | 87.9% |
| ov_SC04_016 | 2223 | 1701 | 0 | 2225 | 2440 | 91.2% |
| ov_SC04_018 | 2335 | 1736 | 0 | 2335 | 2857 | 81.7% |
| ov_SC04_019 | 2341 | 1736 | 0 | 2341 | 2857 | 81.9% |
| ov_SC04_020 | 2252 | 1701 | 0 | 2264 | 2567 | 88.2% |
| ov_SC04_021 | 2228 | 1703 | 0 | 2228 | 2423 | 92.0% |
| ov_SC05_000 | 2224 | 1705 | 0 | 2227 | 2422 | 91.9% |
| ov_SC05_001 | 2247 | 1701 | 0 | 2252 | 2574 | 87.5% |
| ov_SC05_002 | 2229 | 1701 | 0 | 2232 | 2442 | 91.4% |
| ov_SC05_003 | 2226 | 1701 | 0 | 2227 | 2481 | 89.8% |
| ov_SC05_004 | 2221 | 1701 | 0 | 2223 | 2464 | 90.2% |
| ov_SC05_005 | 2228 | 1701 | 0 | 2229 | 2491 | 89.5% |
| ov_SC05_006 | 2220 | 1701 | 0 | 2220 | 2430 | 91.4% |
| ov_SC05_007 | 2230 | 1701 | 0 | 2235 | 2482 | 90.0% |
| ov_SC05_008 | 2247 | 1701 | 0 | 2249 | 2543 | 88.4% |
| ov_SC05_009 | 2225 | 1701 | 0 | 2229 | 2438 | 91.4% |
| ov_SC05_010 | 2251 | 1701 | 0 | 2255 | 2588 | 87.1% |
| ov_SC05_011 | 2223 | 1701 | 0 | 2224 | 2409 | 92.3% |
| ov_SC05_017 | 2331 | 1698 | 0 | 2342 | 2842 | 82.4% |
| ov_SC05_018 | 2278 | 1701 | 0 | 2291 | 2673 | 85.7% |
| ov_SC05_019 | 2228 | 1703 | 0 | 2228 | 2423 | 92.0% |
| ov_SC06_000 | 2290 | 1710 | 0 | 2293 | 2691 | 85.2% |
| ov_SC06_006 | 2243 | 1701 | 0 | 2244 | 2511 | 89.4% |
| ov_SC06_008 | 2253 | 1703 | 0 | 2259 | 2542 | 88.9% |
| ov_SC06_010 | 2236 | 1701 | 0 | 2241 | 2517 | 89.0% |
| ov_SC06_011 | 2232 | 1701 | 0 | 2236 | 2468 | 90.6% |
| ov_SC06_013 | 2225 | 1701 | 0 | 2226 | 2425 | 91.8% |
| ov_SC06_014 | 2231 | 1701 | 0 | 2233 | 2453 | 91.0% |
| ov_SC06_015 | 2228 | 1701 | 0 | 2228 | 2421 | 92.0% |
| ov_SC06_016 | 2246 | 1701 | 0 | 2248 | 2549 | 88.2% |
| ov_SC06_018 | 2245 | 1704 | 0 | 2252 | 2665 | 84.5% |
| ov_SC06_020 | 2233 | 1703 | 0 | 2234 | 2518 | 88.7% |
| ov_SC06_022 | 2247 | 1701 | 0 | 2255 | 2642 | 85.4% |
| ov_SC06_024 | 2253 | 1701 | 0 | 2259 | 2667 | 84.7% |
| ov_SC06_025 | 2244 | 1701 | 0 | 2249 | 2572 | 87.4% |
| ov_SC06_027 | 2212 | 1701 | 0 | 2213 | 2408 | 91.9% |
| ov_SC06_029 | 2270 | 1701 | 0 | 2282 | 2662 | 85.7% |
| ov_SC06_030 | 2225 | 1701 | 0 | 2225 | 2456 | 90.6% |
| ov_SC06_032 | 2237 | 1702 | 0 | 2244 | 2658 | 84.4% |
| ov_SC06_033 | 2240 | 1702 | 0 | 2247 | 2631 | 85.4% |
| ov_SC07_000 | 2240 | 1705 | 0 | 2242 | 2521 | 88.9% |
| ov_SC07_001 | 2225 | 1701 | 0 | 2227 | 2454 | 90.7% |
| ov_SC07_002 | 2252 | 1701 | 0 | 2256 | 2579 | 87.5% |
| ov_SC07_006 | 1994 | 1549 | 0 | 2074 | 2456 | 84.4% |
| ov_SC07_007 | 2011 | 1550 | 0 | 2095 | 2614 | 80.1% |
| ov_SC07_008 | 2209 | 1701 | 0 | 2209 | 2386 | 92.6% |
| ov_SC07_009 | 2219 | 1701 | 0 | 2221 | 2430 | 91.4% |
| ov_SC07_010 | 2022 | 1550 | 0 | 2105 | 2526 | 83.3% |
| ov_SC07_011 | 2010 | 1549 | 0 | 2090 | 2450 | 85.3% |
| ov_SC06_020 | 2235 | 1703 | 0 | 2236 | 2518 | 88.8% |
| ov_SC06_022 | 2249 | 1701 | 0 | 2257 | 2642 | 85.4% |
| ov_SC06_024 | 2255 | 1701 | 0 | 2261 | 2667 | 84.8% |
| ov_SC06_025 | 2246 | 1701 | 0 | 2251 | 2572 | 87.5% |
| ov_SC06_027 | 2214 | 1701 | 0 | 2215 | 2408 | 92.0% |
| ov_SC06_029 | 2272 | 1701 | 0 | 2284 | 2662 | 85.8% |
| ov_SC06_030 | 2227 | 1701 | 0 | 2227 | 2456 | 90.7% |
| ov_SC06_032 | 2239 | 1702 | 0 | 2246 | 2658 | 84.5% |
| ov_SC06_033 | 2242 | 1702 | 0 | 2249 | 2631 | 85.5% |
| ov_SC07_000 | 2242 | 1705 | 0 | 2244 | 2521 | 89.0% |
| ov_SC07_001 | 2227 | 1701 | 0 | 2229 | 2454 | 90.8% |
| ov_SC07_002 | 2254 | 1701 | 0 | 2258 | 2579 | 87.6% |
| ov_SC07_006 | 1996 | 1549 | 0 | 2076 | 2456 | 84.5% |
| ov_SC07_007 | 2013 | 1550 | 0 | 2097 | 2614 | 80.2% |
| ov_SC07_008 | 2211 | 1701 | 0 | 2211 | 2386 | 92.7% |
| ov_SC07_009 | 2221 | 1701 | 0 | 2223 | 2430 | 91.5% |
| ov_SC07_010 | 2024 | 1550 | 0 | 2107 | 2526 | 83.4% |
| ov_SC07_011 | 2012 | 1549 | 0 | 2092 | 2450 | 85.4% |
phase-ends/CURRENT_PHASE.md
+64
View File
@@ -1139,3 +1139,67 @@ conditional) · main-EXE/B9 + GLM/B6 + resident's 14 walls (P30) · behemoths B7
**(g) Diagnostic gap noted:** `gate_stage` captures `harvest_verify`'s stdout, so the `[jtbl]` prep lines
are invisible in its logs — which is why this took a direct run to see.
**Fleet: 78.2% instr · 67.0% distinct · 87.99% fn-count** (10,234,240 ins).
- **✅ 2026-07-22 (cont.) — THE SWEEP: 2 of 5 families swept ×137 (274 siblings, ~29.2k ins); 3 REFUSED,
informatively. Fleet 78.2→78.5% instr · 67.0→67.5% distinct.**
**SWEPT COMPLETE (0 failures, commit per chunk, `git add -A`):** `func_80135888` **137/137** (~15.5k ins)
· `func_80135D20` **137/137** (~13.7k ins). Both via `jtbl_family_bank` (§53: table-bearing → the carve
path). **R22 clean-fleet 140/140 byte-identical.**
**REFUSED — and the refusals are the finding:**
* `func_801749C8` (105 ins × 135) — **I MIS-ROUTED IT** to `jtbl_family_bank`; it references **no
`jtbl_` at all** (the re-probe had already recorded `jtbl_lines=0`; its siblings merely LIVE in
`_jr_*` TUs, which is not the same thing — the §53 carve law in reverse). `jtbl_carve` refused loudly
(`references no jtbl_ (not a jr/switch function?)`), `jtbl_family_bank` reverted per sibling, cost =
time only. Re-routed to the plain `family_sweep --hseq`: **staged 135, banked 0.**
* `func_8019059C` (2 siblings) gate-fail · `func_8018F694` (2 siblings) gate-fail.
**THE FINDING (worth more than the 0.02pp the small ones represent): a PURE family does NOT imply a
mechanical ×N.** `func_801749C8` is `diff_class: PURE`, `has_mid_jr: false`, `n_templatable: 135`,
`n_matched: 3` — the classifier's best case — and it stages all 135 and banks **zero**. This is §57a's
"staging ≠ banking" law reappearing on a family the manifest predicts should template, i.e. the
manifest's `n_templatable` remains a PREDICTION the whole-binary gate is free to refuse (the Phase-26
≈0% lesson, same shape). **Blocker undiagnosed — do NOT bill it as available yield.**
**TOOLING ANSWER (Drew's question — the offline-tooling-first rule):** three items, different states.
**(1) DONE:** the isolate-with-body fix + the full-src snapshot/restore are IN `harvest_verify` (they
were computable, so they are in the tool, not in prose). **(2) LATENT, evidence-gated:**
`jtbl_family_bank` isolates AROUND THE STUB (the body is spliced later, after `remap_hseq`) — the same
ordering defect just fixed in `harvest_verify`. It did **not** fire across 274 swept siblings this
session (isolation only triggers on the §8b walls), so it is latent, not universal; fixing it on theory
after a 274/274 run would be the very error this phase keeps catching. **Fix it when a sweep fails with
the signature (isolation fires → gate DIFF), not before.** **(3) BLOCKED:** "route jtbl-class drafts to
`harvest_verify` directly, not `gate_stage`" is still prose, correctly — it is a routing rule, and
routing IS computable, but the REASON gate_stage rejects what its own gate accepts is undiagnosed, and
encoding a workaround before knowing the cause bakes in a guess.
> **🛑 SESSION-9 CHECKPOINT (2026-07-22) — supersedes SESSION-8; safe to open a FRESH session here.**
> Tree clean (only R23 `db.*.gbf` churn). **R22 clean-fleet 140/140 byte-identical** (verified 6× today);
> `make tools-health` OK (dedup 1848/0, C1 234481/234481, cdecl 53189/53189, audit-binaries 140);
> 0 NON_MATCHING (G4). **Drew pushes** all commits (R6/R20).
> **Fleet 78.5% instr · 67.5% distinct-code · 88.1% fn-count** (opened 78.0/66.5/87.9 → **+0.5pp instr,
> +1.0pp distinct**). Banked today: the `func_80135A4C` family ×138, 5 preserved t5wave cracks, and
> `func_80135888`/`func_80135D20` ×137 each.
>
> **THE THROUGH-LINE: three layers of ONE root cause, all of which had been recorded as compiler walls.**
> (1) carve-before-splice (§61b) · (2) an undo whose scope was narrower than its write scope (§61d) ·
> (3) isolation performed around a STUB. Each surfaced as a byte-DIFF, and each was invisible to the
> byte-gate because the incremental build keeps linking stale objects (§42b) while a clean rebuild fails.
> **§61c is REFUTED; the law is now: THE CARVE MUST FOLLOW THE SPLICE — AND SO MUST THE ISOLATION.**
>
> **▶ NEXT TASK (highest value, non-mechanical): DIAGNOSE `gate_stage`.** It rejects drafts its own
> byte-gate accepts — 3 functions banked through `harvest_verify` alone using **gate_stage's own
> final-stage draft**. Both hypotheses are UNTESTED: the `GATE_NO_ARITY=1` A/B was **CONFOUNDED**
> (gate_stage RE-TRANSFORMS an already-transformed input — feeding it `-s2in-uni` produced `ab-cn`,
> `ab-cn-cast`, … on top). **Design the A/B so gate_stage receives a RAW draft in both arms.** Candidates:
> non-idempotent transforms (§19: `sig_unify` regresses already-canonical drafts) or tree-state residue
> across its multiple `_gate1` calls. This gates the offline-tooling routing rule AND silently suppresses
> conversions in every future wave.
> **Then:** `func_801749C8`'s PURE-but-0/135 blocker · Task 7 (burn-down + ROI-gated close + fix the
> STALE CHECKBOXES: Tasks 2/3/6 are logged complete but still show `[ ]`).
>
> **⚠️ RETRACTED THIS SESSION (do not re-use):** "the ladder converts 0/10, which prices Task 14 stages
> 2-3" — it measured gate_stage's interference, not the residuals. **Stages 2-3 are UNPRICED.**
> **MEASURED, do not re-derive:** a **PURE** family does not imply a mechanical ×N (`func_801749C8`:
> PURE, `has_mid_jr:false`, `n_templatable:135`, stages 135, banks **0**) — `n_templatable` is a
> PREDICTION the gate may refuse. The 2 remaining 700-ins giants are **reach-3** (~0.03pp) — reach, not
> size, is the multiplier.
> **6 preserved cracks remain** (2 DIFF, 2 CC1-FAIL, 2 §57 self-decl) at `.run/giants/t5wave_*` — do NOT
> re-draft. **Effort:** xHigh for the gate_stage A/B; prompt **Max** if it turns into deep debugging.