From 5316c8aa7a537d064beee5c3776f314608798e8a Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Sat, 1 Aug 2026 00:25:18 -0600
Subject: [PATCH] =?UTF-8?q?docs(phase-30):=20SESSION-29=20CHECKPOINT=20?=
 =?UTF-8?q?=E2=80=94=20at=20gate=202,=20awaiting=20Drew's=20milestone=20br?=
 =?UTF-8?q?anch=20decision?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .run/fuel_manifest.json     | 351 ++----------------------------------
 phase-ends/CURRENT_PHASE.md |  37 +++-
 2 files changed, 48 insertions(+), 340 deletions(-)

diff --git a/.run/fuel_manifest.json b/.run/fuel_manifest.json
index f2b1ace32..3f54a84d7 100644
--- a/.run/fuel_manifest.json
+++ b/.run/fuel_manifest.json
@@ -233,47 +233,28 @@
     "still_stub": false
    }
   ],
-  "o0_overlay_local": [
-   "func_8013B83C",
-   "func_8013BD74"
-  ],
-  "o0_reach_134": [
-   "func_8013C08C"
-  ],
-  "o0_cluster": [
-   {
-    "name": "func_8013B83C",
-    "verified_reach": 1
-   },
-   {
-    "name": "func_8013BD74",
-    "verified_reach": 1
-   },
-   {
-    "name": "func_8013C08C",
-    "verified_reach": 138
-   }
-  ]
+  "o0_overlay_local": [],
+  "o0_reach_134": [],
+  "o0_cluster": []
  },
  "summary": {
-  "total_stubs": 101,
+  "total_stubs": 79,
   "by_class": {
    "GIANT": 2,
-   "WAVE": 49,
-   "PINS": 18,
+   "PINS": 14,
+   "WAVE": 35,
    "O1": 1,
    "STUB": 3,
-   "O0": 3,
-   "STRUCT": 25
+   "STRUCT": 24
   },
-  "cached": 97,
-  "uncached": 4,
+  "cached": 78,
+  "uncached": 1,
   "reach_buckets": {
-   "134": 44,
-   "1": 56,
+   "134": 30,
+   "1": 48,
    "2-133": 1
   },
-  "ghidra_c_cache_total": 983,
+  "ghidra_c_cache_total": 7716,
   "named_stubs_skipped": []
  },
  "capped_recovery": [
@@ -314,34 +295,6 @@
    "region": "jr_801734BC",
    "leverage": 22770
   },
-  {
-   "addr": "0x8012e014",
-   "name": "func_8012E014",
-   "nins": 73,
-   "ncalls": 3,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "MCOMPILE_stack-var",
-   "cached": true,
-   "region": "jr_8012ACE0",
-   "leverage": 10074
-  },
-  {
-   "addr": "0x80133298",
-   "name": "func_80133298",
-   "nins": 65,
-   "ncalls": 4,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "MCOMPILE_stack-var",
-   "cached": true,
-   "region": "jr_8012ACE0",
-   "leverage": 8970
-  },
   {
    "addr": "0x8014e5b4",
    "name": "func_8014E5B4",
@@ -370,20 +323,6 @@
    "region": "jr_8012ACE0",
    "leverage": 8004
   },
-  {
-   "addr": "0x80175820",
-   "name": "func_80175820",
-   "nins": 55,
-   "ncalls": 0,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_801734BC",
-   "leverage": 7590
-  },
   {
    "addr": "0x801758fc",
    "name": "func_801758FC",
@@ -412,34 +351,6 @@
    "region": "jr_801734BC",
    "leverage": 7314
   },
-  {
-   "addr": "0x80151c54",
-   "name": "func_80151C54",
-   "nins": 52,
-   "ncalls": 8,
-   "reach": 138,
-   "reach_134": true,
-   "class": "PINS",
-   "lever": "PINS",
-   "bucket": "PERMUTER_CLASS",
-   "cached": true,
-   "region": "after",
-   "leverage": 7176
-  },
-  {
-   "addr": "0x8012f49c",
-   "name": "func_8012F49C",
-   "nins": 51,
-   "ncalls": 6,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_8012ACE0",
-   "leverage": 7038
-  },
   {
    "addr": "0x801376e8",
    "name": "func_801376E8",
@@ -468,20 +379,6 @@
    "region": "after",
    "leverage": 6486
   },
-  {
-   "addr": "0x80151b98",
-   "name": "func_80151B98",
-   "nins": 47,
-   "ncalls": 10,
-   "reach": 138,
-   "reach_134": true,
-   "class": "PINS",
-   "lever": "PINS",
-   "bucket": "PERMUTER_CLASS",
-   "cached": true,
-   "region": "after",
-   "leverage": 6486
-  },
   {
    "addr": "0x80163764",
    "name": "func_80163764",
@@ -664,20 +561,6 @@
    "region": "jr_8016AB6C",
    "leverage": 4002
   },
-  {
-   "addr": "0x8013c08c",
-   "name": "func_8013C08C",
-   "nins": 27,
-   "ncalls": 1,
-   "reach": 138,
-   "reach_134": true,
-   "class": "O0",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "o0",
-   "leverage": 3726
-  },
   {
    "addr": "0x80168b70",
    "name": "func_80168B70",
@@ -734,76 +617,6 @@
    "region": "jr_8016AB6C",
    "leverage": 3588
   },
-  {
-   "addr": "0x801733fc",
-   "name": "func_801733FC",
-   "nins": 25,
-   "ncalls": 1,
-   "reach": 138,
-   "reach_134": true,
-   "class": "PINS",
-   "lever": "PINS",
-   "bucket": "PERMUTER_CLASS",
-   "cached": true,
-   "region": "jr_80171B4C",
-   "leverage": 3450
-  },
-  {
-   "addr": "0x8012a598",
-   "name": "func_8012A598",
-   "nins": 24,
-   "ncalls": 0,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "a",
-   "leverage": 3312
-  },
-  {
-   "addr": "0x801466f0",
-   "name": "func_801466F0",
-   "nins": 24,
-   "ncalls": 2,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "after",
-   "leverage": 3312
-  },
-  {
-   "addr": "0x8016191c",
-   "name": "func_8016191C",
-   "nins": 24,
-   "ncalls": 3,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_8015C32C",
-   "leverage": 3312
-  },
-  {
-   "addr": "0x8015c030",
-   "name": "func_8015C030",
-   "nins": 23,
-   "ncalls": 3,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_8015AE2C",
-   "leverage": 3174
-  },
   {
    "addr": "0x80162ccc",
    "name": "func_80162CCC",
@@ -818,34 +631,6 @@
    "region": "jr_8015C32C",
    "leverage": 3174
   },
-  {
-   "addr": "0x8016bf50",
-   "name": "func_8016BF50",
-   "nins": 22,
-   "ncalls": 2,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_8016AB6C",
-   "leverage": 3036
-  },
-  {
-   "addr": "0x801718ac",
-   "name": "func_801718AC",
-   "nins": 22,
-   "ncalls": 1,
-   "reach": 138,
-   "reach_134": true,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "VOID_VALUE_MISUSE",
-   "cached": true,
-   "region": "jr_8016AB6C",
-   "leverage": 3036
-  },
   {
    "addr": "0x80131ca8",
    "name": "func_80131CA8",
@@ -972,20 +757,6 @@
    "region": "jr_80182268",
    "leverage": 324
   },
-  {
-   "addr": "0x8013b83c",
-   "name": "func_8013B83C",
-   "nins": 272,
-   "ncalls": 15,
-   "reach": 1,
-   "reach_134": false,
-   "class": "O0",
-   "lever": "STRUCT",
-   "bucket": "M2C_DECOMP_FAIL",
-   "cached": true,
-   "region": "o0",
-   "leverage": 272
-  },
   {
    "addr": "0x8017fd14",
    "name": "func_8017FD14",
@@ -1014,20 +785,6 @@
    "region": "jr_8017AE2C",
    "leverage": 201
   },
-  {
-   "addr": "0x8013bd74",
-   "name": "func_8013BD74",
-   "nins": 198,
-   "ncalls": 0,
-   "reach": 1,
-   "reach_134": false,
-   "class": "O0",
-   "lever": "STRUCT",
-   "bucket": "M2C_DECOMP_FAIL",
-   "cached": true,
-   "region": "o0",
-   "leverage": 198
-  },
   {
    "addr": "0x8017f7e8",
    "name": "func_8017F7E8",
@@ -1350,20 +1107,6 @@
    "region": "jr_80182268",
    "leverage": 62
   },
-  {
-   "addr": "0x801378f0",
-   "name": "func_801378F0",
-   "nins": 58,
-   "ncalls": 3,
-   "reach": 1,
-   "reach_134": false,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": false,
-   "region": "jr_80135D20",
-   "leverage": 58
-  },
   {
    "addr": "0x80159a20",
    "name": "func_80159A20",
@@ -1378,20 +1121,6 @@
    "region": "jr_801588CC",
    "leverage": 58
   },
-  {
-   "addr": "0x8015fbe0",
-   "name": "func_8015FBE0",
-   "nins": 58,
-   "ncalls": 9,
-   "reach": 1,
-   "reach_134": false,
-   "class": "STRUCT",
-   "lever": "STRUCT",
-   "bucket": "MCOMPILE_fnptr-call",
-   "cached": true,
-   "region": "jr_8015C32C",
-   "leverage": 58
-  },
   {
    "addr": "0x80183cf4",
    "name": "func_80183CF4",
@@ -1406,20 +1135,6 @@
    "region": "jr_80182268",
    "leverage": 57
   },
-  {
-   "addr": "0x8016e9ec",
-   "name": "func_8016E9EC",
-   "nins": 53,
-   "ncalls": 4,
-   "reach": 1,
-   "reach_134": false,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": true,
-   "region": "jr_8016AB6C",
-   "leverage": 53
-  },
   {
    "addr": "0x8017ec7c",
    "name": "func_8017EC7C",
@@ -1476,20 +1191,6 @@
    "region": "jr_80182268",
    "leverage": 47
   },
-  {
-   "addr": "0x80132018",
-   "name": "func_80132018",
-   "nins": 46,
-   "ncalls": 3,
-   "reach": 1,
-   "reach_134": false,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": false,
-   "region": "jr_8012ACE0",
-   "leverage": 46
-  },
   {
    "addr": "0x80183bac",
    "name": "func_80183BAC",
@@ -1630,20 +1331,6 @@
    "region": "jr_8017AE2C",
    "leverage": 27
   },
-  {
-   "addr": "0x80128c98",
-   "name": "func_80128C98",
-   "nins": 25,
-   "ncalls": 1,
-   "reach": 1,
-   "reach_134": false,
-   "class": "WAVE",
-   "lever": "WAVE",
-   "bucket": "STRUCTURAL_MISS",
-   "cached": false,
-   "region": "a",
-   "leverage": 25
-  },
   {
    "addr": "0x80128cfc",
    "name": "func_80128CFC",
@@ -1672,20 +1359,6 @@
    "region": "jr_80182268",
    "leverage": 22
   },
-  {
-   "addr": "0x80157d20",
-   "name": "func_80157D20",
-   "nins": 21,
-   "ncalls": 3,
-   "reach": 1,
-   "reach_134": false,
-   "class": "PINS",
-   "lever": "PINS",
-   "bucket": "PERMUTER_CLASS",
-   "cached": true,
-   "region": "jr_80154C24",
-   "leverage": 21
-  },
   {
    "addr": "0x80161cd0",
    "name": "func_80161CD0",
diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md
index 4580d195b..f14147701 100644
--- a/phase-ends/CURRENT_PHASE.md
+++ b/phase-ends/CURRENT_PHASE.md
@@ -124,7 +124,42 @@ stub on a named wall/behemoth/queue ledger** — 140/140 byte-identical througho
 
 ---
 
-# 🛑 SESSION-28 CHECKPOINT (2026-07-31 08:1x) — FRESH SESSION SAFE HERE
+# 🛑 SESSION-29 CHECKPOINT (2026-08-01 ~00:40) — FRESH SESSION SAFE HERE · AT GATE 2
+> Supersedes SESSION-28 below. **Nothing is running. Tree lock FREE. Tree clean** but for the R23
+> `db.*.gbf` churn (never stage). **HEAD `commit:1303`.** Effort: **Max** all session.
+> `make tools-health` **RC=0** at close; **R22 clean-fleet run TWICE this session, 140/140 both times.**
+
+## FLEET — R22 clean-fleet **140 passed / 0 failed**
+**93.33% fn-count · 89.6% instr-weighted · 81.6% distinct-code** (72,416 unique fns) · dedup 1905/0 ·
+C1 240496/240496 · 0 NON_MATCHING. Overlays-only: 93.6% fn / **90.1% instr** / 82.5% distinct.
+Phase opened 92.00 / 87.5 / 78.0 ⇒ **+1.33pp fn-count, +2.1pp instr, +3.6pp distinct this phase.**
+
+## WHAT S29 DID (all committed, all R22-verified)
+1. **`JR-PAIR-IN-ONE-O0-OBJECT` RETIRED** — the S28 class and its §81-isolate escape are BOTH refuted.
+   Two instrument defects: `jtbl_carve`'s merged-double blindness + no `.DELETE_ON_ERROR` (a truncated
+   `.o` outliving its own loud compile error). Both fixed; cookbook **§132**.
+2. **The jr pair banked ×138 each — 276 function-instances.** Frontier families **#3 and #4** by
+   templatable weight (37,536 + 27,324 ins). The `-O0` cluster is now COMPLETE fleet-wide.
+3. **§132a** — the `--like` role-name over-transfer (`ov_SC07_010`), guard shipped.
+4. **§100 type-locality** — a file-scope typedef in a draft is an *exemplar-only bank*: it passes the
+   gate and silently cannot travel. Caught by probing ONE sibling before 137 builds (R37).
+5. **T1/T3 closed with measured per-lane verdicts** (see the checklist), tools-health + fresh frontier.
+
+## ▶ RESUME HERE — **AT GATE 2, AWAITING DREW**
+The phase is at its **second gate**. Nothing further should be executed until Drew:
+(a) **decides the milestone branch** — the approved milestone is an explicit either/or, and the
+    **≥95% instr branch is NOT met (89.6%)**; the **ledger branch IS met** (every unmatched overlay
+    function is in the h_seq partition: 15,029 distinct classes → 2,414 families + 3,767 singletons,
+    class- and reach-tagged; the exemplar surface is R32 partition-asserted, 79 rows, PARTITION OK);
+(b) **confirms the milestone** (P8 gate 2), after which PhaseEnd_Phase30.md is written (**Tier-1,
+    Max**) and `CURRENT_PHASE.md` is archived to `phase-ends/logs/Phase30.md` (R19), both left
+    UNCOMMITTED for Drew's milestone-close commit (R6).
+If Drew instead wants more work first, the live fuel is: Lane B top-mass families (Lane C is at the
+measured floor), the 29 zero-crack families (propagation-only), and the 2 permanent giant walls.
+
+---
+
+# 🛑 (superseded) SESSION-28 CHECKPOINT (2026-07-31 08:1x)
 > Supersedes SESSION-27 below. **Nothing is running. Tree lock FREE. Tree clean** but for the R23
 > `db.*.gbf` churn (never stage). **HEAD `commit:1293`** (+ this doc commit).
 > Effort: opened **xHigh** → **Max** for the jr re-measurement and the T2 probe ladder → back to