From bc669d54079cd071946266ad14d5b4e36ee8a57e Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Sun, 16 Aug 2026 18:08:46 -0600
Subject: [PATCH] =?UTF-8?q?chore(phase-31):=20S53=20preflight=20=E2=80=94?=
 =?UTF-8?q?=20atlas=20regen,=20leftover-draft=20harvest=20(34=20free=20MAT?=
 =?UTF-8?q?CHes=20found),=20wave=20R=20launched?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/frontier-atlas.md      | 44 ++++++++++++++++++-------------------
 phase-ends/CURRENT_PHASE.md | 36 ++++++++++++++++++++++++++++++
 2 files changed, 58 insertions(+), 22 deletions(-)

diff --git a/docs/frontier-atlas.md b/docs/frontier-atlas.md
index 5d8cfef4c..eae7ed9df 100644
--- a/docs/frontier-atlas.md
+++ b/docs/frontier-atlas.md
@@ -1,43 +1,43 @@
 # The Frontier Atlas (P31 T5)
 
-> Generated at HEAD `commit:2390` by `tools/atlas.py` — REGENERATE, never edit. Groups are ADVISORY (the byte-gate is the arbiter). Calibration: warm merge at norm-ratio ≥ 0.7, kNN floor 0.55.
+> Generated at HEAD `commit:2416` by `tools/atlas.py` — REGENERATE, never edit. Groups are ADVISORY (the byte-gate is the arbiter). Calibration: warm merge at norm-ratio ≥ 0.7, kNN floor 0.55.
 
-**Scope:** 11484 open instances / 7036 skeletons across 213 binaries (main: 920 — atlas-layer join (family maps stay non-main)).  
-**Tiers:** T1.5 h_seqn merges 2 · warm merges 904 (from 19808 ratio calls) · seed sweep: 4739 skeletons carry a ≥0.55 seed from the 3065-skeleton matched pool.
+**Scope:** 11352 open instances / 6911 skeletons across 213 binaries (main: 802 — atlas-layer join (family maps stay non-main)).  
+**Tiers:** T1.5 h_seqn merges 2 · warm merges 880 (from 19345 ratio calls) · seed sweep: 4714 skeletons carry a ≥0.55 seed from the 3078-skeleton matched pool.
 
 ## Groups by category
 
 | cat | groups | instances | ins |
 |---|--:|--:|--:|
-| A-prop | 393 | 2031 | 87338 |
-| cold | 2255 | 2255 | 183323 |
-| cousin-multi | 1556 | 5743 | 252128 |
-| main-only | 444 | 444 | 38404 |
-| seeded | 339 | 846 | 29888 |
+| A-prop | 394 | 2034 | 87416 |
+| cold | 2244 | 2244 | 181913 |
+| cousin-multi | 1551 | 5700 | 247842 |
+| main-only | 358 | 358 | 31486 |
+| seeded | 339 | 851 | 30074 |
 | tiny | 99 | 165 | 840 |
 
 ## Groups by lever (confidence)
 
 | lever | groups | instances | ins |
 |---|--:|--:|--:|
-| head-crack[default] | 1090 | 3532 | 151743 |
-| UNKNOWN[none] | 1986 | 1986 | 139174 |
+| head-crack[default] | 1085 | 3492 | 147552 |
+| UNKNOWN[none] | 1882 | 1882 | 130091 |
 | extend-tell[tell] | 579 | 1035 | 77588 |
 | jtbl-carve[tell] | 190 | 281 | 45673 |
-| redraft[measured] | 267 | 1042 | 44517 |
-| family-sweep[default] | 200 | 827 | 28246 |
-| integration[measured] | 48 | 503 | 21880 |
-| seeded-crack[default] | 256 | 562 | 16919 |
+| redraft[measured] | 268 | 1046 | 44562 |
+| family-sweep[default] | 201 | 830 | 28324 |
+| integration[measured] | 47 | 492 | 21675 |
+| seeded-crack[default] | 257 | 572 | 17235 |
 | len-vein[measured] | 148 | 666 | 14310 |
-| plumbing[ledger] | 38 | 191 | 9474 |
+| plumbing[ledger] | 43 | 196 | 9956 |
 | swaprepeat-tell[tell] | 70 | 119 | 9316 |
 | o0-lane[tell] | 31 | 69 | 6564 |
 | cc1[measured] | 12 | 104 | 6382 |
-| needs-autopsy[measured] | 52 | 264 | 5095 |
-| cc1[ledger] | 14 | 65 | 4586 |
+| needs-autopsy[measured] | 52 | 265 | 5110 |
+| cc1[ledger] | 13 | 63 | 4506 |
 | frame-172[measured] | 8 | 32 | 4078 |
 | needs-autopsy[ledger] | 9 | 33 | 3914 |
-| near-crack[measured] | 9 | 60 | 1492 |
+| near-crack[measured] | 11 | 62 | 1765 |
 | tiny-direct[default] | 74 | 106 | 536 |
 | s16-div-tell[tell] | 4 | 6 | 419 |
 | signload[measured] | 1 | 1 | 15 |
@@ -46,14 +46,13 @@
 
 | gid | cat | lever | inst | ins | exemplar | seed |
 |---|---|---|--:|--:|---|---|
-| 315ee3ad198d | cousin-multi | integration[measured] | 255 | 5884 | ov_SC01_084:func_80180CBC (31) | 0.72 |
+| 57f9bec16c2a | cousin-multi | integration[measured] | 254 | 5864 | ov_SC01_084:func_80180CBC (31) | 0.72 |
 | e8bf2260391b | cousin-multi | frame-172[measured] | 16 | 3936 | ov_SC01_077:func_8017C294 (246) |  |
 | 14bc91cb76b0 | cousin-multi | redraft[measured] | 112 | 2879 | main:func_8001FB8C (31) | 0.72 |
 | 4a254010e122 | A-prop | needs-autopsy[ledger] | 4 | 2444 | ov_SC03_001:func_801898E4 (611) | 1.00 |
 | aaef26b79169 | A-prop | cc1[measured] | 3 | 2310 | ov_MAIN_012:func_80144B9C (770) | 1.00 |
 | e776626310f6 | A-prop | jtbl-carve[tell] | 4 | 2204 | ov_SC03_001:func_8018C000 (551) | 1.00 |
 | b017b7f3dac1 | seeded | cc1[measured] | 3 | 2166 | ov_SC06_010:func_8017BEBC (753) | 0.99 |
-| c27045659e64 | cousin-multi | head-crack[default] | 16 | 2129 | main:func_80025000 (163) |  |
 | 372e98dadcb4 | cousin-multi | o0-lane[tell] | 3 | 1628 | md_MAIN_011:func_800D1254 (555) |  |
 | a6899a69a378 | A-prop | integration[measured] | 4 | 1628 | md_SC03_076:func_801EFBB4 (407) | 1.00 |
 | cd028c385150 | seeded | integration[measured] | 6 | 1466 | ov_SC07_006:func_8017F9AC (275) | 0.79 |
@@ -79,10 +78,11 @@
 | 8a879fea07f9 | A-prop | integration[measured] | 4 | 872 | md_SC03_076:func_801F0734 (218) | 1.00 |
 | 861af215f885 | cousin-multi | head-crack[default] | 3 | 853 | ov_SC01_001:func_8017F328 (307) |  |
 | ab2d7c7ccb56 | A-prop | jtbl-carve[tell] | 3 | 816 | ov_MAIN_012:func_8013B83C (272) | 1.00 |
-| b608b4411778 | cousin-multi | integration[measured] | 73 | 815 | md_SC07_003:func_801A38A8 (15) | 0.90 |
 | 79d4e25b5763 | cousin-multi | o0-lane[tell] | 2 | 811 | md_MAIN_011:func_800D0BDC (414) |  |
 | 78627a0eec5d | cousin-multi | redraft[measured] | 10 | 810 | ov_SC01_004:func_8017D964 (84) | 0.62 |
 | b1509c2e091c | A-prop | integration[measured] | 3 | 798 | ov_MAIN_012:func_80130D48 (266) | 1.00 |
 | 97e813dd2393 | cousin-multi | integration[measured] | 4 | 784 | ov_SC03_108:func_8017FFD0 (196) | 0.65 |
-| 55dc506d7ba5 | cousin-multi | head-crack[default] | 5 | 783 | main:func_80025504 (197) |  |
 | dcc70a8601c4 | cousin-multi | head-crack[default] | 15 | 767 | ov_SC03_028:func_8018966C (63) | 0.67 |
+| 334bc03beb1f | cousin-multi | integration[measured] | 68 | 760 | md_SC07_003:func_801A38A8 (15) | 0.90 |
+| ab1569f4386c | seeded | redraft[measured] | 14 | 752 | ov_SC03_096:func_8017D130 (66) | 0.83 |
+| 101b914c4520 | cousin-multi | extend-tell[tell] | 22 | 721 | ov_SC03_092:func_8017E6A0 (45) | 0.75 |
diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md
index c372a3d3c..826b6fddd 100644
--- a/phase-ends/CURRENT_PHASE.md
+++ b/phase-ends/CURRENT_PHASE.md
@@ -57,6 +57,42 @@ R22 clean-fleet **213/213** after every banked batch · tools-health green · 0
 
 - 2026-08-14 — **T9 COMPLETE.** `tools/warmstart.py` (the permuter/grinder FEEDER): `--from-banked` walks a banked exemplar's h_seq family's still-open members, builds remapped proven-body drafts (`symbol_map` + `aprop_autodraft.build_draft`, refusing on reloc-count mismatch), **stream-classifies member-vs-seed with ZERO compiles** (masked_diff-shaped dicts from ground-truth bytes → `residual_class.classify_streams`), enqueues ONLY permuter-shaped (bucket==permuter or LENGTH-DRIFT |Δ|≤2) as backlog near-records; `--lenmiss` ingests T8's 49-route. **Grinder patch NOT needed** (its candidates() deliberately keeps unclassified records — "unknown is not a reason to skip" — so pre-filtered enqueues flow as-is; documented in the feeder's docstring). Armed live: **49 + 10 enqueued, 120 refused** by the stream filter (the anti-92%-wasted-CPU discipline working). `family_cousins --weak-cards`: **954 units** (the 0.70–0.85 annotate-only band, never before consumed) as seeded-crack cards, ins-ranked, §168 laws embedded, model-routed **haiku 804 / v3 43 / sonnet 86 / opus 21** (cheap tiers dominate — the token-efficiency shape), 0 unresolved `.s`.
 
+## SESSION S53 (2026-08-16, ultracode) — wave R + the leftover-draft harvest
+
+- 2026-08-16 — **S53-1 PREFLIGHT + ATLAS REGEN.** Tree clean at `commit:2416`, no gate in flight. `make atlas`
+  regenerated at HEAD (the S52 atlas predated waves P+Q, whose banks grew main's matched seed pool 175→293):
+  **4,985 groups / 11,352 open instances / 579,571 ins**, warm merges 880, seeded 4,714/6,911 skeletons, all
+  assertions green. (Watch-for confirmed live: my own `pgrep -f atlas` waiter self-matched its shell wrapper —
+  the bracket trick is mandatory.)
+- 2026-08-16 — **S53-2 LEFTOVER-DRAFT HARVEST (R38: read the recorded verdicts before designing anything).**
+  `.run/s53_scan_leftovers.py` re-verified every wave-P/Q main draft on disk with `match_one` rather than
+  trusting the journals (R14). Of 141 drafts: **72 are already banked** (their `.s` is gone — the honest
+  signal that splat stops emitting a matched function), **34 still verify MATCH and are still stubs**
+  (3,075 ins of finished work nobody had banked), **35 are NEAR**. Oracle cross-check: all 34 MATCH and all
+  35 NEAR are in `corpus.stubs('main')`; all 72 ERROR are not. Zero agent tokens.
+- 2026-08-16 — **S53-3 PRE-GATE LADDER ON THE FREE SLATE (the S52 protocol, applied cold).** `reloc_identity
+  --batch`: **33 AGREE / 1 MISMATCH** (`func_80034C24` names `D_80078F20` where the target references
+  `cdReq_sectorHdrBuf+0xE0`; its `--dry-fix` rename to `D_80078F10` is unverified, so it was dropped, not
+  guessed). `fragment_check`: **1 FAIL** — `MoveImage` DEFINES `SYS_OBJ_8F4`, a stub that still has its own
+  `.s` (exactly the enclosing-function trap that cost wave Q a 3-hour bisect; caught in milliseconds).
+  `reconcile_slate --apply` on the pruned 32: **11 compatible, 21 refused as human decisions** (7 TYPE,
+  5 SIGNATURE, 3 DIFFERENT-STRUCT, 3 BROKE-MATCH, 1 DEF-SIDE-RETURN, 1 resourceIdMap TYPE, 1 alias).
+  **The 11 were NOT gated on their own** — §176h.C2 says banking a subset hardens the rest's conflicts
+  (last session: 1 of 18 parked drafts survived that), so all 32 ride one slate after repair.
+- 2026-08-16 — **S53-4 WAVE R BUILT — and the main mass band is measurably SPENT.** `build_wave_atlas
+  --only-bins main --min-ins 60 --max-ins 200 --rank mass` returned **917 ins / 10 cards** against a 6,500
+  target: waves O/P/Q consumed main's mass band. Probes (R37 before costing): main widened to 30–400 yields
+  44 cards / 4,600 ins in 10 gate groups; **fleet-wide 60–200 yields 63 cards / 6,525 ins in exactly 2 gate
+  groups = 31.5 drafts per rebuild**, from a 1,546-candidate well. Wave R therefore = the fleet-wide draw
+  (`ov_SC06_029` ×41, `ov_SC02_005` ×22) + main's last 10 mass cards, **7,442 ins across 73 fresh cards**.
+- 2026-08-16 — **S53-5 WAVE R LAUNCHED (110 agents, 3 lanes, run `wf_c070b4fa-53b`).** Lane 1 = 73 fresh
+  mass cracks. Lane 2 = the 21 declaration-blocked drafts (already byte-MATCH; the agent's job is to make the
+  DRAFT agree with the TU, never the reverse, then re-verify — a declaration change is a codegen change).
+  Lane 3 = 16 near-miss repairs, whose residuals were classified deterministically first: **10 of 16 are the
+  §177 epilogue signature** (`addiu $sp / jr $ra / nop` vs `jr $ra / addiu $sp`, all in `800c3`), 4
+  SCHEDULE-REORDER, 1 BRANCH-POLARITY, 1 OPCODE-MIXED. The prompt carries §177 as law 4 and §178's
+  "REGALLOC-PERM is the most over-diagnosed class" as law 5.
+
 ## SESSION S52 TASK LIST (2026-08-15, ultracode) — the monitorable view (no TaskCreate tool in this harness build)
 
 - [x] **S52-1 — Preflight + wave-selector repair.** Tree clean @ `commit:2390`, no gate/grinder in flight. Fixed `build_wave_atlas.py`: (a) the already-waved set was a hardcoded `'abcdefghijkl'` wave-letter literal → now a `glob('.run/wave_*_cards.json')` derivation (R33); **NC: old 634 → new 726 taken, strict superset, +92 previously-missable cards from waves m/n**; (b) `--exclude-bins` defaulted to `main` carrying the REFUTED link-defect rationale → default now empty, help corrected to the real (gate-path) reason; (c) new `--only-bins` allow-list (main waves need it — `gate_main` rebuilds once per SLATE, so main has no per-TU gate cost).