From d61ea38d45a10ea70a042b07d02a38d4f0bd4de1 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 06:27:11 +0000
Subject: [PATCH 01/17] R3 gate 64 reflection closure executable receipt

---
 docs/r3-program-plan.md                       |  2 +-
 .../r3_substrate_gap_reflection_closure.dag   | 37 ++++++++++++
 src/v3/compiler/tests/integration.rs          |  2 +
 ...3_substrate_gap_reflection_closure_test.rs | 58 +++++++++++++++++++
 4 files changed, 98 insertions(+), 1 deletion(-)
 create mode 100644 src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
 create mode 100644 src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index 8ae78f3bc46..09019246dad 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | DECLARED (NEW 2026-05-06) | `lens_apply.rs` reflection via PB-Runtime |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **EXECUTABLE RECEIPT** (PR TBD — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` binds the canonical TestClaim to the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the claim runs and reports the current residual count of 3. The gate turns PASSING when the residual set reaches 0.) | `lens_apply.rs` reflection via PB-Runtime |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |
diff --git a/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag b/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
new file mode 100644
index 00000000000..3be26a02c0e
--- /dev/null
+++ b/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
@@ -0,0 +1,37 @@
+// std.r3_substrate_gap_reflection_closure - R3 gate #64 fixture.
+//
+// The class-level closure predicate for reflection is intentionally tied to the
+// T-LensProducer-Retirement residual set. The gate passes only when the three
+// lens-producer Rust surfaces have retired from the live SG-0 census:
+// `lens_apply.rs`, `lens_testgen_body.txt`, and `bin/regen_lens.rs`.
+
+module std.r3_substrate_gap_reflection_closure
+
+import std.verification {
+  CensusSubsetCount,
+  TestClaim,
+  TestSuite,
+  expected_hand_authored_non_test,
+  lens_producer_files_subset_predicate
+}
+
+type Sg0CensusAuthority {}
+
+data sg0_census_test_authority: Sg0CensusAuthority = {}
+
+data substrate_gap_reflection_closure_closed: TestClaim = {
+  name: "substrate_gap_reflection_closure_closed",
+  source: "// Reflection-closure predicates read external census state, not this source.\nlet _: Int = 0\n",
+  file_name: "r3_substrate_gap_reflection_closure_closed.v3",
+  predicate: CensusSubsetCount {
+    authority: sg0_census_test_authority,
+    list_constant: expected_hand_authored_non_test,
+    subset_predicate: lens_producer_files_subset_predicate
+  },
+  requires: []
+}
+
+data r3_substrate_gap_reflection_closure_suite: TestSuite = {
+  name: "r3_substrate_gap_reflection_closure_suite",
+  claims: [substrate_gap_reflection_closure_closed]
+}
diff --git a/src/v3/compiler/tests/integration.rs b/src/v3/compiler/tests/integration.rs
index 6895a52e3a0..eee94ec6d62 100644
--- a/src/v3/compiler/tests/integration.rs
+++ b/src/v3/compiler/tests/integration.rs
@@ -185,6 +185,8 @@ mod r3_gate_87_lens_cementing_regen_receipts_test;
 mod r3_lens_producer_retirement_executable_witness_test;
 #[path = "integration/r3_pb_runtime_evaluator_corpus_seed_test.rs"]
 mod r3_pb_runtime_evaluator_corpus_seed_test;
+#[path = "integration/r3_substrate_gap_reflection_closure_test.rs"]
+mod r3_substrate_gap_reflection_closure_test;
 #[path = "integration/r3_verification_l4_l7_l5_skeleton_test.rs"]
 mod r3_verification_l4_l7_l5_skeleton_test;
 #[path = "integration/services_carrier_shape_test.rs"]
diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
new file mode 100644
index 00000000000..9b6523811c5
--- /dev/null
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -0,0 +1,58 @@
+//! **Layer:** integration
+//!
+//! R3 gate #64 — `substrate_gap_reflection_closure_closed`.
+//!
+//! This executable receipt binds the class-level reflection-closure gate to the
+//! same live T-LensProducer-Retirement residual census that will make the gate
+//! pass: `lens_apply.rs`, the retained `lens_testgen` fragment, and
+//! `bin/regen_lens.rs` must all retire.
+
+use v3_compiler::compile_to_dag;
+use v3_compiler::test_runner::{ClaimResult, TestRunner};
+use v3_compiler::CompileError;
+
+const FIXTURE_SOURCE: &str = include_str!("../fixtures/r3_substrate_gap_reflection_closure.dag");
+const FIXTURE_PATH: &str = "src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag";
+const SUITE_NAME: &str = "r3_substrate_gap_reflection_closure_suite";
+const CLAIM_NAME: &str = "substrate_gap_reflection_closure_closed";
+const CURRENT_REFLECTION_RESIDUAL_COUNT: i64 = 3;
+
+#[test]
+fn r3_gate_64_reflection_closure_claim_executes_against_live_lens_producer_census() {
+    let dag = match compile_to_dag(FIXTURE_SOURCE, FIXTURE_PATH) {
+        Ok(dag) => {
+            assert!(
+                dag.diagnostics().is_empty(),
+                "{FIXTURE_PATH}: expected empty module diagnostics, got {:?}",
+                dag.diagnostics().iter().collect::<Vec<_>>()
+            );
+            dag
+        }
+        Err(CompileError::Semantic(dag)) => panic!(
+            "{FIXTURE_PATH} should lower without module diagnostics. Got `Err(Semantic)`: {:?}",
+            dag.diagnostics().iter().collect::<Vec<_>>()
+        ),
+        Err(other) => panic!("unexpected compile error for {FIXTURE_PATH}: {other:?}"),
+    };
+
+    let results = TestRunner::new(&dag).run_suite(SUITE_NAME);
+    let result = results
+        .iter()
+        .find(|result| result.claim_name == CLAIM_NAME)
+        .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
+
+    match &result.result {
+        ClaimResult::Pass => {}
+        ClaimResult::Fail(reason) => {
+            assert!(
+                reason.contains(&format!(
+                    "lens-producer subset observed {CURRENT_REFLECTION_RESIDUAL_COUNT}"
+                )),
+                "`{CLAIM_NAME}` should report the live reflection residual count; got {reason:?}"
+            );
+        }
+        ClaimResult::NotYetImplemented(reason) => {
+            panic!("`{CLAIM_NAME}` must be executable for R3 gate #64, got NYI: {reason}")
+        }
+    }
+}

From 2d65cfc40f39947782e84432f922dccc40e10968 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 02:31:04 -0400
Subject: [PATCH 02/17] WIP: substrate_gap_reflection_closure_closed

---
 docs/r3-program-plan.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index 09019246dad..111a6c948c9 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **EXECUTABLE RECEIPT** (PR TBD — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` binds the canonical TestClaim to the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the claim runs and reports the current residual count of 3. The gate turns PASSING when the residual set reaches 0.) | `lens_apply.rs` reflection via PB-Runtime |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` binds the canonical TestClaim name to the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check claim runs and reports residual count 3. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |

From d23844a61ac630e5c8ec5aa4c1021f9e10754887 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 06:32:36 +0000
Subject: [PATCH 03/17] Clarify gate 64 receipt is non-canonical plumbing

---
 docs/r3-program-plan.md                       |  2 +-
 .../r3_substrate_gap_reflection_closure.dag   | 21 ++++++++++---------
 ...3_substrate_gap_reflection_closure_test.rs | 15 +++++++------
 3 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index 111a6c948c9..6d9f1327507 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` binds the canonical TestClaim name to the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check claim runs and reports residual count 3. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and reports residual count 3. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |
diff --git a/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag b/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
index 3be26a02c0e..0c14a3a650e 100644
--- a/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
+++ b/src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag
@@ -1,9 +1,10 @@
-// std.r3_substrate_gap_reflection_closure - R3 gate #64 fixture.
+// std.r3_substrate_gap_reflection_closure - R3 gate #64 substrate-plumbing receipt.
 //
-// The class-level closure predicate for reflection is intentionally tied to the
-// T-LensProducer-Retirement residual set. The gate passes only when the three
-// lens-producer Rust surfaces have retired from the live SG-0 census:
-// `lens_apply.rs`, `lens_testgen_body.txt`, and `bin/regen_lens.rs`.
+// This is NOT the canonical `substrate_gap_reflection_closure_closed` gate
+// predicate. The class-level gate remains conjunctive per r3-structure.md:
+// representative reflection execution via PB-Runtime plus zero residual
+// class bridges. This fixture covers only the second half's current
+// lens-producer residual census.
 
 module std.r3_substrate_gap_reflection_closure
 
@@ -19,10 +20,10 @@ type Sg0CensusAuthority {}
 
 data sg0_census_test_authority: Sg0CensusAuthority = {}
 
-data substrate_gap_reflection_closure_closed: TestClaim = {
-  name: "substrate_gap_reflection_closure_closed",
-  source: "// Reflection-closure predicates read external census state, not this source.\nlet _: Int = 0\n",
-  file_name: "r3_substrate_gap_reflection_closure_closed.v3",
+data substrate_gap_reflection_residual_census_receipt: TestClaim = {
+  name: "substrate_gap_reflection_residual_census_receipt",
+  source: "// Reflection residual-census receipts read external census state, not this source.\nlet _: Int = 0\n",
+  file_name: "r3_substrate_gap_reflection_residual_census_receipt.v3",
   predicate: CensusSubsetCount {
     authority: sg0_census_test_authority,
     list_constant: expected_hand_authored_non_test,
@@ -33,5 +34,5 @@ data substrate_gap_reflection_closure_closed: TestClaim = {
 
 data r3_substrate_gap_reflection_closure_suite: TestSuite = {
   name: "r3_substrate_gap_reflection_closure_suite",
-  claims: [substrate_gap_reflection_closure_closed]
+  claims: [substrate_gap_reflection_residual_census_receipt]
 }
diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index 9b6523811c5..fa57b78f040 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -1,11 +1,10 @@
 //! **Layer:** integration
 //!
-//! R3 gate #64 — `substrate_gap_reflection_closure_closed`.
+//! R3 gate #64 — reflection-closure substrate-plumbing receipt.
 //!
-//! This executable receipt binds the class-level reflection-closure gate to the
-//! same live T-LensProducer-Retirement residual census that will make the gate
-//! pass: `lens_apply.rs`, the retained `lens_testgen` fragment, and
-//! `bin/regen_lens.rs` must all retire.
+//! This is not the canonical `substrate_gap_reflection_closure_closed` consumer.
+//! It proves the live T-LensProducer-Retirement residual census is executable
+//! as plumbing for the bridge-count half of the class-level closure condition.
 
 use v3_compiler::compile_to_dag;
 use v3_compiler::test_runner::{ClaimResult, TestRunner};
@@ -14,11 +13,11 @@ use v3_compiler::CompileError;
 const FIXTURE_SOURCE: &str = include_str!("../fixtures/r3_substrate_gap_reflection_closure.dag");
 const FIXTURE_PATH: &str = "src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag";
 const SUITE_NAME: &str = "r3_substrate_gap_reflection_closure_suite";
-const CLAIM_NAME: &str = "substrate_gap_reflection_closure_closed";
+const CLAIM_NAME: &str = "substrate_gap_reflection_residual_census_receipt";
 const CURRENT_REFLECTION_RESIDUAL_COUNT: i64 = 3;
 
 #[test]
-fn r3_gate_64_reflection_closure_claim_executes_against_live_lens_producer_census() {
+fn r3_gate_64_reflection_residual_census_receipt_executes() {
     let dag = match compile_to_dag(FIXTURE_SOURCE, FIXTURE_PATH) {
         Ok(dag) => {
             assert!(
@@ -52,7 +51,7 @@ fn r3_gate_64_reflection_closure_claim_executes_against_live_lens_producer_censu
             );
         }
         ClaimResult::NotYetImplemented(reason) => {
-            panic!("`{CLAIM_NAME}` must be executable for R3 gate #64, got NYI: {reason}")
+            panic!("`{CLAIM_NAME}` receipt must be executable for R3 gate #64 plumbing, got NYI: {reason}")
         }
     }
 }

From 02f51bc0526700b9950d009d988bf494565c385f Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 02:47:04 -0400
Subject: [PATCH 04/17] WIP: substrate_gap_reflection_closure_closed

---
 docs/r3-program-plan.md                                    | 2 +-
 .../r3_substrate_gap_reflection_closure_test.rs            | 7 ++++++-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index 6d9f1327507..10b41aad4b0 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and reports residual count 3. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and fails-closed with residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipt: tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero. |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |
diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index fa57b78f040..48fd9cce415 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -41,7 +41,12 @@ fn r3_gate_64_reflection_residual_census_receipt_executes() {
         .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
 
     match &result.result {
-        ClaimResult::Pass => {}
+        ClaimResult::Pass => {
+            panic!(
+                "`{CLAIM_NAME}` should fail while {CURRENT_REFLECTION_RESIDUAL_COUNT} \
+                 reflection residuals remain"
+            )
+        }
         ClaimResult::Fail(reason) => {
             assert!(
                 reason.contains(&format!(

From 6f37c4c41291b088d780578b56724960d8ef5177 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 06:57:12 +0000
Subject: [PATCH 05/17] Add gate 64 test harness to SG-0 census

---
 docs/r3-program-plan.md                              | 2 +-
 src/v3/compiler/tests/integration/sg0_census_test.rs | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index 10b41aad4b0..bedb8c92ed8 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and fails-closed with residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipt: tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero. |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and fails-closed with residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipts: non-test residual tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero; new host test harness tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-B row `pb_rust_tests_outside_residual_zero` plus `EXPECTED_HAND_AUTHORED_TEST` in `sg0_census_test.rs`, dissolving when the generic TestClaim runner can execute the receipt without this harness. |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |
diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs
index b6ea41bea6c..4b9a2148a77 100644
--- a/src/v3/compiler/tests/integration/sg0_census_test.rs
+++ b/src/v3/compiler/tests/integration/sg0_census_test.rs
@@ -593,6 +593,14 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     // the live lens-producer residual count while Row-4 / Item 4 retirement
     // preconditions remain open.
     "src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs",
+    // R3 gate #64 substrate-plumbing receipt: hand-Rust driver for the
+    // non-canonical `.dag` residual-census receipt until the canonical
+    // PB-Runtime reflection consumer lands. P5 test-subset deferral:
+    // ROADMAP.md § "Nine lanes" row `T-PB-B` and § "Lane acceptance — .dag
+    // gates" row `T-PB-B` / `pb_rust_tests_outside_residual_zero`; dissolves
+    // when the generic TestClaim runner can execute the receipt without this
+    // host-side harness.
+    "src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs",
     // R3 PB Row-4 corpus seeds (1)–(2): hand-Rust driver for author-now/fire-later
     // `DifferentialEquals(pb_runtime_evaluate, r2_evaluator_evaluate, …)` TestClaims.
     // Dissolves when Row-4 producers land and the runner can execute the PB-Runtime /

From 5d004c81275dfc2319fc3bfb87444b8d414491ad Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 07:07:18 +0000
Subject: [PATCH 06/17] Add PR 2694 SG-0 body receipt

---
 scripts/ci-merge/sg0-pr-body-append.2694.txt | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 scripts/ci-merge/sg0-pr-body-append.2694.txt

diff --git a/scripts/ci-merge/sg0-pr-body-append.2694.txt b/scripts/ci-merge/sg0-pr-body-append.2694.txt
new file mode 100644
index 00000000000..c5fb149f070
--- /dev/null
+++ b/scripts/ci-merge/sg0-pr-body-append.2694.txt
@@ -0,0 +1,2 @@
+SG-0 hand-path delta: +1
+SG-0 pairing: (c) follow-up dispatch for host-test residual under docs/briefs/t-pb-b-1.md; tracked by ROADMAP.md T-PB-B / pb_rust_tests_outside_residual_zero until the generic TestClaim runner executes this receipt without a Rust harness.

From 18f01b58ca2d8d835bbe6daada833b30dde5aeff Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 03:26:13 -0400
Subject: [PATCH 07/17] WIP: substrate_gap_reflection_closure_closed

---
 docs/r3-program-plan.md                                    | 2 +-
 .../r3_substrate_gap_reflection_closure_test.rs            | 7 +------
 2 files changed, 2 insertions(+), 7 deletions(-)

diff --git a/docs/r3-program-plan.md b/docs/r3-program-plan.md
index bedb8c92ed8..4ae51937f74 100644
--- a/docs/r3-program-plan.md
+++ b/docs/r3-program-plan.md
@@ -287,7 +287,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
 | 61 | `substrate_gap_function_valued_data_closed` | substrate-gap-class | T-E-P-Producer-Broadening (Phase 1) + E6-G0d (landed #1813) | DECLARED YELLOW (NEW 2026-05-06; reframed RED→YELLOW 2026-05-06 per option (a) RATIFIED) | chain-break dissolved by Q-Class-2-Chain-Break option (a) gap-test re-pick + Q-LBP-R3-Closeability option (b) narrowing; single-prereq-blocked on T-E-P P1 / S10 |
 | 62 | `substrate_gap_file_ingestion_closed` | substrate-gap-class | T-Workflow-As-Data | DECLARED (NEW 2026-05-06) | `.dag` program ingests external file w/o include_str! |
 | 63 | `substrate_gap_workflow_scheduling_closed` | substrate-gap-class | T-Workflow-As-Data + T-Lens-Self-Application | DECLARED (NEW 2026-05-06) | CI workflow as `.dag` data; substrate prereqs in §4.4 |
-| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt runs and fails-closed with residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipts: non-test residual tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero; new host test harness tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-B row `pb_rust_tests_outside_residual_zero` plus `EXPECTED_HAND_AUTHORED_TEST` in `sg0_census_test.rs`, dissolving when the generic TestClaim runner can execute the receipt without this harness. |
+| 64 | `substrate_gap_reflection_closure_closed` | substrate-gap-class | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing receipt via PR #2694 — `src/v3/compiler/tests/fixtures/r3_substrate_gap_reflection_closure.dag` adds non-canonical claim `substrate_gap_reflection_residual_census_receipt` over the live `CensusSubsetCount` lens-producer residual predicate; `r3_substrate_gap_reflection_closure_test.rs` proves the state-check receipt executes and reports residual count 3 while residuals remain. This is **NOT** the canonical reflection-closure consumer.) | `lens_apply.rs` reflection via PB-Runtime; canonical Pass-condition per `r3-structure.md:181`: `lens_apply.rs` reflection routes via PB-Runtime interpreter-as-data and reflection-as-data substrate is exercised end-to-end. Status re-promotes only when PB-Runtime + T-LensProducer-Retirement land that consumer; census state-check is one half of the conjunctive class closure and remains a placeholder per PR #2657 / `feedback_grep_consumer_surfaces_for_lane_completeness`. P5 deferral receipts: non-test residual tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-A row `lens_producer_files_remaining` (anchor `#lane-acceptance--dag-gates`), whose dissolution target is the priority lens-producer non-test census reaching zero; new host test harness tracked under `ROADMAP.md` §"Lane acceptance — .dag gates" / T-PB-B row `pb_rust_tests_outside_residual_zero` plus `EXPECTED_HAND_AUTHORED_TEST` in `sg0_census_test.rs`, dissolving when the generic TestClaim runner can execute the receipt without this harness. |
 | 65 | `tier3_dissolution_demonstration_executes` | demonstration | T-Tier3-Dissolution | PASSING | `src/v3/compiler/tests/dag/t_r3_tier3_dissolution_demonstration.dag` runs through `t_pb_b_1_dag_runner_test::r3_tier3_dissolution_demonstration_suite_passes_through_runner` |
 | 66 | `lens_producer_retirement_executable_witness` | demonstration | T-LensProducer-Retirement | **DECLARED** (substrate-plumbing landed via PR #2595 squash `a085f6e9` 2026-05-10 15:52Z — `src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs` runs near-term `lens_producer_files_remaining` state-check claim and reports residual `CURRENT_RESIDUAL_COUNT = 3` per `r3-structure.md:184` "near-term demo = retirement state-check + doc receipts"; this is **NOT** the canonical demonstration consumer) | NEW 2026-05-06; canonical Pass-condition per `r3-structure.md:184`: `lens_apply` reflection routes via PB-Runtime on representative lens program; **execution-ready witness DEFERRED** to Row-4 equivalence receipt + Item 4 landing per `docs/design-pb-runtime-interpreter.md` §5.1; "demonstration" status re-promotes to CONSUMER_LANDED only when Row-4 + Item 4 receipts exist (state-check is placeholder, not canonical consumer for this `demonstration`-family gate) |
 | 67 | `numeric_construction_demonstration` | demonstration | T-Numeric-Construction | DECLARED (NEW 2026-05-06) | `Int<32>` + `Real<64>` round-trip |
diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index 48fd9cce415..fa57b78f040 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -41,12 +41,7 @@ fn r3_gate_64_reflection_residual_census_receipt_executes() {
         .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
 
     match &result.result {
-        ClaimResult::Pass => {
-            panic!(
-                "`{CLAIM_NAME}` should fail while {CURRENT_REFLECTION_RESIDUAL_COUNT} \
-                 reflection residuals remain"
-            )
-        }
+        ClaimResult::Pass => {}
         ClaimResult::Fail(reason) => {
             assert!(
                 reason.contains(&format!(

From c24794f1068997b949c17cc15485e38cdf46e9f5 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 08:04:20 +0000
Subject: [PATCH 08/17] Tighten gate 64 residual receipt

---
 .../r3_substrate_gap_reflection_closure_test.rs            | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index fa57b78f040..576749d7549 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -41,7 +41,12 @@ fn r3_gate_64_reflection_residual_census_receipt_executes() {
         .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
 
     match &result.result {
-        ClaimResult::Pass => {}
+        ClaimResult::Pass => {
+            assert_eq!(
+                CURRENT_REFLECTION_RESIDUAL_COUNT, 0,
+                "`{CLAIM_NAME}` should report the live nonzero reflection residual count before passing"
+            );
+        }
         ClaimResult::Fail(reason) => {
             assert!(
                 reason.contains(&format!(

From 2066e43af74bfd0331e52d4d26ed3352948c87de Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 05:53:13 -0400
Subject: [PATCH 09/17] WIP: substrate_gap_reflection_closure_closed

---
 src/v3/compiler/tests/integration.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/v3/compiler/tests/integration.rs b/src/v3/compiler/tests/integration.rs
index 72bdc842372..3c291df02aa 100644
--- a/src/v3/compiler/tests/integration.rs
+++ b/src/v3/compiler/tests/integration.rs
@@ -185,13 +185,10 @@ mod r3_gate_87_lens_cementing_regen_receipts_test;
 mod r3_lens_producer_retirement_executable_witness_test;
 #[path = "integration/r3_pb_runtime_evaluator_corpus_seed_test.rs"]
 mod r3_pb_runtime_evaluator_corpus_seed_test;
-<<<<<<< HEAD
 #[path = "integration/r3_substrate_gap_reflection_closure_test.rs"]
 mod r3_substrate_gap_reflection_closure_test;
-=======
 #[path = "integration/r3_v3_self_host_demonstration_dag_test.rs"]
 mod r3_v3_self_host_demonstration_dag_test;
->>>>>>> origin/main
 #[path = "integration/r3_verification_l4_l7_l5_skeleton_test.rs"]
 mod r3_verification_l4_l7_l5_skeleton_test;
 #[path = "integration/services_carrier_shape_test.rs"]

From 0b69cb2641f0fffe822fad7fe27c8bae455a8398 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 07:09:55 -0400
Subject: [PATCH 10/17] WIP: substrate_gap_reflection_closure_closed

---
 scripts/check-test-timeout.sh                        |  4 ++--
 src/v3/compiler/tests/integration/sg0_census_test.rs | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/scripts/check-test-timeout.sh b/scripts/check-test-timeout.sh
index 1493cb442bf..0b5d9e60ca6 100755
--- a/scripts/check-test-timeout.sh
+++ b/scripts/check-test-timeout.sh
@@ -45,7 +45,7 @@
 #   TEST_TIMEOUT_EXEMPT   Path to exemption file
 #                         (default scripts/slow-test-exemptions.txt).
 #   TEST_TIMEOUT_MAX_EXEMPTIONS
-#                         Ratchet floor for active exemption entries (default 79;
+#                         Ratchet floor for active exemption entries (default 81;
 #                         keep aligned with non-comment rows in
 #                         scripts/slow-test-exemptions.txt). Raise or lower in the same PR
 #                         as exemption rows; lower when deleting exemptions.
@@ -56,7 +56,7 @@ log_file_arg=${1:-}
 budget_ms=${2:-${TEST_TIMEOUT_MS:-2000}}
 pkg=${TEST_TIMEOUT_PACKAGE:-v3-compiler}
 exempt_file=${TEST_TIMEOUT_EXEMPT:-scripts/slow-test-exemptions.txt}
-max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-79}
+max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-81}
 
 script_dir=$(cd "$(dirname "$0")" && pwd)
 repo_root=$(cd "$script_dir/.." && pwd)
diff --git a/src/v3/compiler/tests/integration/sg0_census_test.rs b/src/v3/compiler/tests/integration/sg0_census_test.rs
index 65b1905dac2..a04aae42e9d 100644
--- a/src/v3/compiler/tests/integration/sg0_census_test.rs
+++ b/src/v3/compiler/tests/integration/sg0_census_test.rs
@@ -593,6 +593,11 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     // the live lens-producer residual count while Row-4 / Item 4 retirement
     // preconditions remain open.
     "src/v3/compiler/tests/integration/r3_lens_producer_retirement_executable_witness_test.rs",
+    // R3 PB Row-4 corpus seeds (1)–(2): hand-Rust driver for author-now/fire-later
+    // `DifferentialEquals(pb_runtime_evaluate, r2_evaluator_evaluate, …)` TestClaims.
+    // Dissolves when Row-4 producers land and the runner can execute the PB-Runtime /
+    // R2-Evaluator corpus comparison directly without this host-side harness.
+    "src/v3/compiler/tests/integration/r3_pb_runtime_evaluator_corpus_seed_test.rs",
     // R3 gate #64 substrate-plumbing receipt: hand-Rust driver for the
     // non-canonical `.dag` residual-census receipt until the canonical
     // PB-Runtime reflection consumer lands. P5 test-subset deferral:
@@ -601,11 +606,6 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     // when the generic TestClaim runner can execute the receipt without this
     // host-side harness.
     "src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs",
-    // R3 PB Row-4 corpus seeds (1)–(2): hand-Rust driver for author-now/fire-later
-    // `DifferentialEquals(pb_runtime_evaluate, r2_evaluator_evaluate, …)` TestClaims.
-    // Dissolves when Row-4 producers land and the runner can execute the PB-Runtime /
-    // R2-Evaluator corpus comparison directly without this host-side harness.
-    "src/v3/compiler/tests/integration/r3_pb_runtime_evaluator_corpus_seed_test.rs",
     // R3 gate #71 (`v3_self_host_demonstration`): `.dag` + `CARGO_BIN_EXE` splice for
     // `ExecuteCommand(self_host_fixed_point, [--r3-gate-71-demonstration], 0)` — strict DB-8 slice
     // (non-zero unless `compiler.dag` parses + `fixed_point_diff` ok). Unignored compile-only smoke

From 01caa1d2c716e9cfa5ebd8b78dcd43673685f1a6 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 07:12:00 -0400
Subject: [PATCH 11/17] WIP: substrate_gap_reflection_closure_closed

---
 scripts/slow-test-exemptions.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/slow-test-exemptions.txt b/scripts/slow-test-exemptions.txt
index c85d35a75ef..f96a3a4fd2e 100644
--- a/scripts/slow-test-exemptions.txt
+++ b/scripts/slow-test-exemptions.txt
@@ -70,6 +70,7 @@ m2_lens_unused_parameters_migration_test::unused_parameters_dag_self_analysis_re
 pb_method_template_projection_dag_emit::tests::legacy_map_key_collision_surfaces_typed_error  # R3 PB method-template projection producer: cold `generated_full_bootstrap_dag()` + projection write fail-closed collision receipt exceeded the 2s ratchet on PR #2585. Paydown: share bootstrap fixture or reduce the collision fixture once `docs/decisions/r3-row85-method-template-read-surface.md` projection surface is fully migrated.
 r1c_e_emit_gates_dag_test::r1c_e_emit_gates_suite_passes_through_runner  # R1C-E emit-gates `.dag` wrapper shells through the runner/binary harness and sits on the 2s CI edge (2166ms on PR #1233); paydown owned by R1C-E emit-gates runner/shared-setup work, not this impossible-bugs row-removal slice.
 r3_verification_l4_l7_l5_skeleton_test::r3_verification_l4_emit_eval_false_branch_passes_w1_emit_vs_eval  # R3-V L4 W1 direct consumer fixture runs the full emit-vs-eval suite through TestRunner and can sit just above 2s on CI (2072ms on PR #1799); paydown owned by R3-V L4/L7 direct harness shared runner setup, see docs/briefs/r3-v-l4-l7-direct-w1-consumer-spec.md.
+r3_verification_l4_l7_l5_skeleton_test::r3_verification_l4_l7_direct_suite_lists_four_l4_certification_seed_claims  # R3-V L4/L7 direct suite inventory receipt runs the same L4 certification fixture through TestRunner and crossed the 2s Phase-0 ratchet on full-suite CI (2093ms on PR #2694). Paydown owned by R3-V L4/L7 shared runner setup; dissolution: delete this row and lower TEST_TIMEOUT_MAX_EXEMPTIONS in the same commit once cold ubuntu-latest reports <=2000ms.
 r3_verification_l4_l7_l5_skeleton_test::r3_verification_l7_algebraic_law_matrix_has_current_runner_receipts  # R3 gate #10 / issue #2382: single `L7_MATRIX_SUITE` runner pass + per-claim source receipts ~2.4s cold CI (PR #2394); paydown: slimmer witness applications or shared runner amortization with other Lane 1 L7 rows.
 
 complexity_lens_behavioral_completion::literal_bind_cements_constant_complexity_summary  # R3 T-Lens-Behavioral-Parity cementing receipt: cold compile_to_dag + COMPLETE complexity lens summary assertion can exceed 2s on CI; paydown owned by lens behavioral parity shared-fixture/testgen migration.
@@ -78,6 +79,8 @@ cost_lens_symbolic_consumer_test::literal_bind_pins_symbolic_cost_of_constant_on
 cost_lens_symbolic_consumer_test::recursive_countdown_pins_symbolic_cost_linear_and_sizevar_on_fixture  # ROADMAP Lane E-P + R3 program gate #80 (`cost_lens_behaviorally_complete`, `docs/r3-program-plan.md` §1.8; PROXY `cost.dag` per `docs/v3-lens-capability-register.md`); verification `cost_lens_symbolic_consumer_test` (gunbc#1968). Recursive fixture + `symbolic_cost_of` same wall class as `complexity_lens_behavioral_completion::recursive_countdown_*` — paydown: shared fixture warming + cost row Band-C / v2-oracle closure per `docs/briefs/r3-v-t-lbp-narrowed-scope-partner-worker.md` and ROADMAP Lane E-P acceptance bullet.
 cost_lens_symbolic_consumer_test::e_p_sub_value_relation_per_call_landed_cost_lens_routes_through_per_call_pattern_query  # R3 gate #78 (`e_p_sub_value_relation_per_call_landed`): cold `compile_to_dag` + `symbolic_cost_of` / span-filtered Callable harness — ~15s wall on full-suite CI; paydown: shared fixture/`compile_to_dag` warming with sibling cost consumer tests (TESTING.md Phase-0). Dissolution: delete this line and lower `TEST_TIMEOUT_MAX_EXEMPTIONS` in `scripts/check-test-timeout.sh` in the same commit once `RUSTC_BOOTSTRAP=1 cargo test -p v3-compiler cost_lens_symbolic_consumer_test::e_p_sub_value_relation_per_call_landed_cost_lens_routes_through_per_call_pattern_query -- -Z unstable-options --report-time` shows <=2000ms wall on cold ubuntu-latest after shared cost-consumer fixture warming with sibling `cost_lens_symbolic_consumer_test::*` tests (TESTING.md Phase-0).
 
+e6_g1a_option3_static_lens_test::e6_g1a_option3_static_lens_mini_report_executes_without_reflection_imports  # E6/G1a option-3 static lens fixture: compile_to_dag + mini-report execution can sit just above the 2s Phase-0 ratchet on full-suite CI (2038ms on PR #2694). Paydown: shared fixture warming or fixture slimming in the E6/G1a static-lens lane; dissolution: delete this row and lower TEST_TIMEOUT_MAX_EXEMPTIONS in the same commit once cold ubuntu-latest reports <=2000ms.
+
 bootstrap::tests::kernel_bool_path_a_attaches_diagnostic_when_boolean_algebra_unresolvable  # Lane 1e-2b Path A regression: two `Dag::new()` paths + mutation; can exceed 2s wall on cold ubuntu-latest when compiled alongside heavy integration neighbors — keep explicit bootstrap diagnostic coverage. Paydown trigger: when the Bool/`BooleanAlgebra` kernel bootstrap bridge dissolves into `dsl/std/types.dag` (see `bootstrap.rs` + `dsl/std/types.dag` dissolution notes), collapse fixtures and/or adopt shared `Dag::new` warming; re-measure and remove if under 2s.
 
 lens_behavioral_parity_demonstration_test::r3_gate_73_demonstrates_complexity_certainty_is_proven  # R3 program gate #73 (`lens_behavioral_parity_demonstration`, `docs/r3-program-plan.md` §1.8): alphabetically first split complexity receipt pays cold `compile_to_dag` + generated complexity/cost lens reads through shared OnceLock warming and matches the same wall class as sibling T-Lens-Behavioral-Parity cementing tests. Paydown: T-Tests-As-Data rows 84/87 express this frozen snapshot as `.dag` TestClaim data, then delete the host test and this exemption.

From fc4ae568535dbe94be449d2acf299ff445012670 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 14:20:35 +0000
Subject: [PATCH 12/17] Keep v3 full-suite CI alive during long runs

---
 .github/workflows/ci.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d29905db8be..55d8aef3744 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -319,8 +319,23 @@ jobs:
           RUST_MIN_STACK: 16777216
         run: |
           start=$(date +%s)
+          (
+            while true; do
+              sleep 60
+              elapsed=$(( $(date +%s) - start ))
+              echo "v3 full-suite still running after ${elapsed}s"
+            done
+          ) &
+          heartbeat_pid=$!
+          cleanup_heartbeat() {
+            kill "$heartbeat_pid" 2>/dev/null || true
+            wait "$heartbeat_pid" 2>/dev/null || true
+          }
+          trap cleanup_heartbeat EXIT
           RUSTC_BOOTSTRAP=1 cargo test -p v3-compiler -- -Z unstable-options --report-time 2>&1 | tee /tmp/v3-test-timings.log
           status=${PIPESTATUS[0]}
+          cleanup_heartbeat
+          trap - EXIT
           elapsed=$(( $(date +%s) - start ))
           echo "v3 full-suite wall time: ${elapsed}s"
           if [ "$status" -ne 0 ]; then

From 222ef2ff57b1cfd7f2a799634253b71486ffe9c0 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 15:02:13 +0000
Subject: [PATCH 13/17] Merge origin/main into gate 64 receipt branch

---
 scripts/check-test-timeout.sh | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/scripts/check-test-timeout.sh b/scripts/check-test-timeout.sh
index 3612611a364..2a40c19148d 100755
--- a/scripts/check-test-timeout.sh
+++ b/scripts/check-test-timeout.sh
@@ -45,11 +45,7 @@
 #   TEST_TIMEOUT_EXEMPT   Path to exemption file
 #                         (default scripts/slow-test-exemptions.txt).
 #   TEST_TIMEOUT_MAX_EXEMPTIONS
-<<<<<<< HEAD
-#                         Ratchet floor for active exemption entries (default 81;
-=======
-#                         Ratchet floor for active exemption entries (default 78;
->>>>>>> origin/main
+#                         Ratchet floor for active exemption entries (default 80;
 #                         keep aligned with non-comment rows in
 #                         scripts/slow-test-exemptions.txt). Raise or lower in the same PR
 #                         as exemption rows; lower when deleting exemptions.
@@ -60,11 +56,7 @@ log_file_arg=${1:-}
 budget_ms=${2:-${TEST_TIMEOUT_MS:-2000}}
 pkg=${TEST_TIMEOUT_PACKAGE:-v3-compiler}
 exempt_file=${TEST_TIMEOUT_EXEMPT:-scripts/slow-test-exemptions.txt}
-<<<<<<< HEAD
-max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-81}
-=======
-max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-78}
->>>>>>> origin/main
+max_exemptions=${TEST_TIMEOUT_MAX_EXEMPTIONS:-80}
 
 script_dir=$(cd "$(dirname "$0")" && pwd)
 repo_root=$(cd "$script_dir/.." && pwd)

From 399071dd0e92c4f5a23c55a70fa6527179265310 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 16:54:54 +0000
Subject: [PATCH 14/17] Accept passing gate 64 residual census receipt

---
 .../r3_substrate_gap_reflection_closure_test.rs            | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index 576749d7549..fa57b78f040 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -41,12 +41,7 @@ fn r3_gate_64_reflection_residual_census_receipt_executes() {
         .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
 
     match &result.result {
-        ClaimResult::Pass => {
-            assert_eq!(
-                CURRENT_REFLECTION_RESIDUAL_COUNT, 0,
-                "`{CLAIM_NAME}` should report the live nonzero reflection residual count before passing"
-            );
-        }
+        ClaimResult::Pass => {}
         ClaimResult::Fail(reason) => {
             assert!(
                 reason.contains(&format!(

From bf45644cdd3fabd9becda2b3ba31210af0e7bf04 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 19:06:28 +0000
Subject: [PATCH 15/17] Stabilize v3 Zig setup in CI

---
 .github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ff149c23e52..3f3394fc7cc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -218,6 +218,12 @@ jobs:
 
       - name: Setup Zig C toolchain
         uses: goto-bus-stop/setup-zig@v2
+        with:
+          # Pin a stable linker toolchain instead of the action default
+          # nightly/master download path; the self-hosted runner has lost
+          # contact repeatedly while resolving the moving Zig setup target.
+          version: 0.13.0
+          cache: false
 
       - name: Configure user-space C linker
         run: |

From 56bdcbb4fc0fe4e44cda8dc00fbb0ec9076214c2 Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 20:04:25 +0000
Subject: [PATCH 16/17] Tighten gate 64 residual pass receipt

---
 .../integration/r3_substrate_gap_reflection_closure_test.rs  | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
index fa57b78f040..1d35112132f 100644
--- a/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
+++ b/src/v3/compiler/tests/integration/r3_substrate_gap_reflection_closure_test.rs
@@ -41,7 +41,10 @@ fn r3_gate_64_reflection_residual_census_receipt_executes() {
         .unwrap_or_else(|| panic!("missing `{CLAIM_NAME}` in `{SUITE_NAME}` results: {results:?}"));
 
     match &result.result {
-        ClaimResult::Pass => {}
+        ClaimResult::Pass => assert_eq!(
+            CURRENT_REFLECTION_RESIDUAL_COUNT, 0,
+            "`{CLAIM_NAME}` passed before the frozen live reflection residual count reached zero"
+        ),
         ClaimResult::Fail(reason) => {
             assert!(
                 reason.contains(&format!(

From 90b5ac06e8fabc850686318270ecdad985360f3a Mon Sep 17 00:00:00 2001
From: Brian Searls <briansrls@gmail.com>
Date: Mon, 11 May 2026 20:30:57 +0000
Subject: [PATCH 17/17] Add v3 prebuild CI heartbeat

---
 .github/workflows/ci.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3f3394fc7cc..c72ed213810 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -295,7 +295,17 @@ jobs:
       # Tracked headroom: ratchet this ceiling back toward 300s once cold lane2d
       # CI runs regularly complete under 300s after fixture compile amortization.
       - name: Prebuild v3 integration test binary (lane2d wall-clock denominator)
-        run: cargo test -p v3-compiler --test integration --no-run
+        run: |
+          set -euo pipefail
+          heartbeat() {
+            while sleep 60; do
+              echo "v3 prebuild heartbeat: $(date -u +%FT%TZ)"
+            done
+          }
+          heartbeat &
+          heartbeat_pid=$!
+          trap 'kill "$heartbeat_pid" 2>/dev/null || true' EXIT
+          cargo test -p v3-compiler --test integration --no-run
 
       - name: v3 tests (Stage 2d integration module, 360s cold-compile-safe budget)
         env: