From 0e50fbc84f255ff875e2973d7c54a6b25bbd5f85 Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Mon, 31 Aug 2026 19:54:36 -0600 Subject: [PATCH] =?UTF-8?q?docs(playbook):=20=C2=A71b=20=E2=80=94=20the=20?= =?UTF-8?q?walls=20ledger=20is=20always=20incomplete,=20and=20each=20gap?= =?UTF-8?q?=20costs=20an=20agent=20run?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A wall nobody has met yet is invisible to the draw filter, so new ones are found by PAYING an agent to hit one. Twice in S68 on main: func_8005E228 (a full run, then banked the §265 verbatim-asm way) and func_8005F0C8 (289k tokens to reach closeness 36 with the residual confirmed as §188's epilogue by oracle_reorder.py). Neither is a model failure. An agent handed a wall returns a NEAR with an unexplainable tail, which looks exactly like a hard function -- and an escalation cannot beat the toolchain, so escalating one is guaranteed waste. The fix is named rather than left as folklore: run the §188 epilogue-shape detector over every open stub AT DRAW TIME. It already exists inside oracle_reorder.py and has never been run as a sweep. Until then, treat 'NEAR with an epilogue-shaped tail' as a walls candidate and check it with the oracle BEFORE escalating. --- docs/wave-playbook.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/docs/wave-playbook.md b/docs/wave-playbook.md index 771bd9899..b6eeac5a2 100644 --- a/docs/wave-playbook.md +++ b/docs/wave-playbook.md @@ -43,6 +43,29 @@ python3 tools/draw_waves.py --only-main --prefix .run/m_ --waves 1 --per-w * Main draws refuse LINKED subsegs automatically — those stubs are dead text and a draft there **gates GREEN while wrong**. +### 1b. THE WALLS LEDGER IS ALWAYS INCOMPLETE, AND THAT COSTS A FULL AGENT RUN EACH TIME + +`.run/S6*_walls.txt` lists functions the pinned triple **cannot emit at all** — mostly §177/§188's +-O1-vs-O2 epilogue (`jr $ra` with `addiu $sp` in its delay slot), which `oracle_reorder.py` proves +byte-correct-but-unemittable. Excluding them at draw time is in step 1 for a reason. + +**But a wall nobody has met yet is invisible to that filter**, so each new one is discovered by +PAYING an agent to hit it. Measured twice in S68, both on `main`: + +| function | what it cost | outcome | +|---|---|---| +| `func_8005E228` | a full sonnet run | wall found, then banked the §265 verbatim-asm way | +| `func_8005F0C8` | **289k tokens** | drafted to closeness 36, residual confirmed §188 by the oracle | + +Neither was on any list beforehand, and neither is a model failure — an agent handed a wall always +returns a NEAR with an unexplainable tail, which is indistinguishable from a hard function. + +**THE FIX, NOT YET BUILT:** run the §188 epilogue-shape detector over every open stub **at draw +time** and exclude or flag them. The detector already exists inside `oracle_reorder.py`; it has +simply never been run as a sweep. Until then, treat "NEAR with an epilogue-shaped tail" as a +walls-ledger candidate and CHECK IT WITH THE ORACLE before escalating — an escalation cannot beat +the toolchain, so that spend is guaranteed waste. + ## 2. Cards — and make sure the twin is on them ```