R3 Cluster M #84 R1C-D/E tests-as-data pilot

.github/workflows/ci.yml

@@ -644,7 +644,7 @@ jobs:
         run: |
           echo "Gate evidence: changes.result=${{ needs.changes.result }} v3.result=${{ needs.v3.result }}"
           if [ "${{ needs.changes.result }}" != "success" ]; then
-            echo "::error::Layer 1 filter (`changes` job) did not succeed (result=${{ needs.changes.result }})."
+            echo "::error::Layer 1 filter (changes job) did not succeed (result=${{ needs.changes.result }})."
             echo "::error::Cannot determine v3 skip legitimacy — skipped required-checks default to SUCCESS"
             echo "::error::in GitHub branch protection (https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/collaborating-on-repositories-with-code-quality-features/troubleshooting-required-status-checks#handling-skipped-but-required-checks),"
             echo "::error::so an explicit step failure here surfaces the missing-evidence as a diagnostic"

docs/briefs/r1-closure-manager.md

@@ -33,7 +33,7 @@ release-acceptance fixture; #1129 records the adjacent design locks.
 | **R1C-A** | M-L | T-TestGen schema extensions: list-bodied `data` lowering, PB census predicate shapes, and the `MockBackedInvariant` minimal-demo gate. | **Closed on main.** PB census predicate dispatch landed in #939; the mock-backed gate evaluates through the runner. |
 | **R1C-B** | S | T-P0 fixtures: structural `p0_repeat_string_correct`, `p0_no_fabrication_sentinel`, `p0_rest_ops_aligned`, and retirement of the #1127 interim bridge. | **Closed via #1164.** `p0_repeat_string_correct` is live in `r1_gates` through lower-time fold + `OutputEquals`; `p0_no_fabrication_sentinel` and `p0_rest_ops_aligned` are Day-1 `ExecuteCommand` receipts backed by `scripts/`; `p0_repeat_string_v2_oracle_rust_bridge` is retired per ROADMAP. |
 | **R1C-C** | XS | T-Sub fixture for `sub_type_alias_where_lowers`. | **Closed.** PR #879 added the DB-11 witness gate and runner coverage. |
-| **R1C-D** | M-L | T-PB census-as-`.dag`: six PB census gates in `r1_pb_census_gates.dag`, plus release-acceptance disposition. | **Closed via #1128 under Director disposition.** `r1_pb_census_gates.dag` is the live census surface: each gate lowers and evaluates as structural Pass/Fail against current SG-0 census authority. `r1_release_acceptance.dag` is the release surface: one strict gate plus five `ReleaseDeferredClaim` rows approved by Director disposition. |
+| **R1C-D** | M-L | T-PB census-as-`.dag`: six PB census gates in `tests/dag/t_r1c_d_pb_census_gates.dag` (same suite as historical `tests/fixtures/r1_pb_census_gates.dag`; fixture **relocated** in **#2715** / R3 Cluster M #84 pilot — not a calendar-gated deferral), plus release-acceptance disposition. | **Closed via #1128 under Director disposition.** `t_r1c_d_pb_census_gates.dag` is the live census surface: each gate lowers and evaluates as structural Pass/Fail against current SG-0 census authority. `r1_release_acceptance.dag` is the release surface: one strict gate plus five `ReleaseDeferredClaim` rows approved by Director disposition. |
 | **R1C-E** | S | T-Emit `.dag` wrappers around existing host harnesses. | **Closed on main.** PR #978 and #1051 landed the rust-fixture, generic-bounds, and omni-demo gate wrappers. |
 | **R1C-F** | S | T-Demo user-authored-lens rejection fixture. | **Closed.** PR #880 landed the rejecting-program demo gate. |
 
@@ -46,7 +46,7 @@ brief no longer treats older landing SHA `5f405cc8e` as HEAD.
 | Surface | Gate set | Current state |
 |---|---|---|
 | R1C-B T-P0 receipts | `p0_repeat_string_correct`, `p0_no_fabrication_sentinel`, `p0_rest_ops_aligned` | **Closed on main via #1164.** `p0_repeat_string_correct` uses `r1_gates` lower-time fold + `OutputEquals`; the two former `[ext]` rows are Day-1 `ExecuteCommand` script receipts. |
-| R1C-D live census | `r1_pb_census_gates.dag` (`pb_hand_rust_at_shim_floor`, `lens_producer_files_remaining`, `pb_self_compile_fixed_point`, `pb_compiler_std_ratchet_zero`, `pb_test_file_generated_from_dag`, `pb_rust_tests_outside_residual_zero`) | **Runner-wired.** The suite proves every gate evaluates to structural Pass/Fail with no `NotYetImplemented`; RED counts are live SG-0 census facts, not stale brief data. |
+| R1C-D live census | `t_r1c_d_pb_census_gates.dag` / suite `r1_pb_census_gates_suite` (`pb_hand_rust_at_shim_floor`, `lens_producer_files_remaining`, `pb_self_compile_fixed_point`, `pb_compiler_std_ratchet_zero`, `pb_test_file_generated_from_dag`, `pb_rust_tests_outside_residual_zero`) | **Runner-wired.** The suite proves every gate evaluates to structural Pass/Fail with no `NotYetImplemented`; RED counts are live SG-0 census facts, not stale brief data. |
 | R1 release acceptance | `r1_release_acceptance.dag` | **Passes at HEAD.** `pb_self_compile_fixed_point` remains strict; the other five PB census gates are `ReleaseDeferredClaim` rows naming downstream authority docs / target lanes. |
 
 ## Remaining Ledger
@@ -73,6 +73,6 @@ remaining work.
 
 - Parent authority: [`ROADMAP.md §"Release R1 Program"`](../../ROADMAP.md).
 - R1C-B T-P0 receipts: [`r1_gates.dag`](../../src/v3/compiler/tests/fixtures/r1_gates.dag), [`scripts/r1_p0_no_fabrication_sentinel.sh`](../../scripts/r1_p0_no_fabrication_sentinel.sh), [`scripts/r1_p0_rest_ops_aligned.py`](../../scripts/r1_p0_rest_ops_aligned.py).
-- R1C-D live census fixture: [`r1_pb_census_gates.dag`](../../src/v3/compiler/tests/fixtures/r1_pb_census_gates.dag).
+- R1C-D live census fixture: [`t_r1c_d_pb_census_gates.dag`](../../src/v3/compiler/tests/dag/t_r1c_d_pb_census_gates.dag) (runner receipt in `t_pb_b_1_dag_runner_test.rs`; Cluster M #84 pilot).
 - R1 release-acceptance fixture: [`r1_release_acceptance.dag`](../../src/v3/compiler/tests/fixtures/r1_release_acceptance.dag).
 - Census authority: `src/v3/compiler/tests/integration/sg0_census_test.rs`.

docs/briefs/r1c-d-t-pb-census-as-dag-worker.md

@@ -39,7 +39,11 @@ Each gate's `.dag` fixture reads the same census-authority data the Rust ratchet
 
 ## Six fixture-authoring deliverables
 
-Each gate is a separate fixture. All 6 land in `r1_gates.dag` (or sibling `r1_pb_census_gates.dag` if the file gets too large — at the worker's discretion).
+Each gate is a separate `TestClaim`. **Landed layout:** all six live in
+`src/v3/compiler/tests/dag/t_r1c_d_pb_census_gates.dag` (suite `r1_pb_census_gates_suite`).
+Early drafts suggested bundling into `r1_gates.dag` vs a sibling file; the checked-in path was
+`tests/fixtures/r1_pb_census_gates.dag` until **#2715** (R3 Cluster M #84 pilot) relocated/renamed it
+under `tests/dag/` — see [`r1-closure-manager.md`](r1-closure-manager.md) R1C-D row.
 
 ### D.1 — `pb_hand_rust_at_shim_floor` `[ext: CensusBoundCheck]`
 

scripts/slow-test-exemptions.txt

@@ -78,7 +78,7 @@ m2_lens_idempotency_migration_test::idempotency_emitted_analyze_matches_oracle
 m2_lens_provenance_migration_test::lens_provenance_dag_runs_end_to_end_via_rustc_harness  # Lane 2 migration harness roundtrip; compile-heavy oracle test remains explicit until lens migration paydown.
 m2_lens_unused_parameters_migration_test::unused_parameters_dag_runs_end_to_end_via_rustc_harness  # Lane 2 migration harness roundtrip; compile-heavy oracle test remains explicit until lens migration paydown.
 m2_lens_unused_parameters_migration_test::unused_parameters_dag_self_analysis_reports_zero_findings  # Lane 2 migration harness roundtrip; compile-heavy self-analysis remains explicit until lens migration paydown.
-r1c_e_emit_gates_dag_test::r1c_e_emit_gates_suite_passes_through_runner  # R1C-E `.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.
+t_pb_b_1_dag_runner_test::r1c_e_emit_gates_suite_passes_through_runner  # R1C-E `.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  # hot-fix-2026-05-12 — rebuild owner: TBD; existing R3 gate #10 / issue #2382 row: single `L7_MATRIX_SUITE` runner pass + per-claim receipts ~2.4s cold CI. Dissolution: rebuild under shared runner/OnceLock amortization, remove #[ignore], delete this row, and lower TEST_TIMEOUT_MAX_EXEMPTIONS.

src/v3/compiler/tests/dag/r1c_e_emit_gates.template.dag

@@ -1,7 +1,7 @@
 // R1C-E — T-Emit `.dag` `TestClaim` wrappers (ExecuteCommand logical child:
 // the `r1c_e_emit_gates` `bin`). The `__R1C_E_BIN__` placeholder is replaced
 // with `env!("CARGO_BIN_EXE_r1c_e_emit_gates")` at integration-test compile
-// time (see `tests/integration/r1c_e_emit_gates_dag_test.rs`); no checked-in
+// time (see `tests/integration/t_pb_b_1_dag_runner_test.rs`); no checked-in
 // absolute path goes stale (manager guidance, R1 Closure decision on #973 —
 // same discipline as `build.rs` splice for `r1_gates.template.dag`).
 //

src/v3/compiler/tests/dag/r1c_e_emit_gates_omni.template.dag

@@ -1,7 +1,7 @@
 // R1C-E — T-Emit omni three-way gate (separate template so the integration
 // receipt can stay `#[ignore]`d: `go` + `python3` are not on all CI images).
 // `__R1C_E_BIN__` is replaced with `env!("CARGO_BIN_EXE_r1c_e_emit_gates")`
-// in `r1c_e_emit_gates_omni_dag_test.rs`. `ForAllTargets` is not wired in the
+// in `t_pb_b_1_dag_runner_test.rs`. `ForAllTargets` is not wired in the
 // Rust `TestRunner` (see `test_runner.rs`); this gate is one `ExecuteCommand`
 // to the `omni-demo` subcommand (brief §3 — three separate claims not needed).
 

src/v3/compiler/tests/fixtures/r1_pb_census_gates.dag → src/v3/compiler/tests/dag/t_r1c_d_pb_census_gates.dag

@@ -1,4 +1,4 @@
-// std.r1_pb_census_gates - R1C-D `.dag` TestClaim fixtures for the six
+// R1C-D — PB census `.dag` TestClaim fixtures for the six
 // PB census gates (T-PB-A ×4 + T-PB-B ×2). The Rust ratchets in
 // `src/v3/compiler/tests/integration/sg0_census_test.rs` remain the
 // drift-detection authority on the underlying lists; this file wires the
@@ -27,13 +27,11 @@
 //         (same dissolution gating as D.6) AND that the listed paths
 //         all live in the SG-0 generated-file manifest.
 //
-// Lives under `src/v3/compiler/tests/fixtures/` so it is **not**
-// auto-staged into `Dag::new()` bootstrap (`src/v3/std/*.dag` is the
-// build-script-enumerated tree). The runner test in
-// `tests/integration/r1c_d_pb_census_gates_test.rs` lowers this file
-// via `compile_to_dag` exactly like the sibling R1 gate fixtures.
+// Lives under `src/v3/compiler/tests/dag/` alongside other `TestRunner`
+// harness modules (R3 Cluster M #84 pilot — tests-as-data layout). The
+// integration receipt is `t_pb_b_1_dag_runner_test::r1c_d_pb_census_gates_suite_evaluates_through_runner`.
 
-module std.r1_pb_census_gates
+module v3.compiler.tests.r1c_d.pb_census_gates
 
 import std.verification {
   CensusBoundCheck,

src/v3/compiler/tests/integration.rs

@@ -165,12 +165,6 @@ mod pipe_desugar;
 mod prereq_x_call_on_field_access_ratchet_test;
 #[path = "integration/r1_release_acceptance_test.rs"]
 mod r1_release_acceptance_test;
-#[path = "integration/r1c_d_pb_census_gates_test.rs"]
-mod r1c_d_pb_census_gates_test;
-#[path = "integration/r1c_e_emit_gates_dag_test.rs"]
-mod r1c_e_emit_gates_dag_test;
-#[path = "integration/r1c_e_emit_gates_omni_dag_test.rs"]
-mod r1c_e_emit_gates_omni_dag_test;
 #[path = "integration/r2_b5_loop_construction_closure_test.rs"]
 mod r2_b5_loop_construction_closure_test;
 #[path = "integration/r3_class_2_function_valued_data_test.rs"]