PB-0 cycle 5 NON_TEST — cementing_dispatch diagnostics dimension pipeline_authority post_emit_verifier infer — brief docs/briefs/r3-pb0-non-test-retirement-worker-cycle5.md Director msg_b44f4320

src/v3/compiler/build.rs

@@ -436,7 +436,7 @@ fn emit_r1_gates_fixture(manifest_path: &Path, v3_dir: &Path) {
 /// **Hygiene:** `repeat_string` exists in the bootstrap bundle only via this excerpt — no
 /// hand-maintained duplicate of `render.dag` (INVARIANTS P2). Edit the marked region in
 /// `render.dag` only; this output is overwritten on `cargo build -p v3-compiler`.
-/// Emit PB-0 cycle-4 host authority modules (former `EXPECTED_HAND_AUTHORED_NON_TEST` paths) from
+/// Emit PB-0 host authority modules (former `EXPECTED_HAND_AUTHORED_NON_TEST` paths) from
 /// checked-in templates so `REGEN_OUTPUTS` / `GENERATED_FILES` stay the sole SG-0 partition
 /// authority (`sg0_v3_hand_authored_census`).
 ///
@@ -464,6 +464,10 @@ fn emit_pb0_cycle4_host_authority_modules(repo_root: &Path) {
     );
     let tmpl_dir = repo_root.join("tools/pb0_cycle4_emit_templates");
     let specs: &[(&str, &str)] = &[
+        (
+            "cementing_dispatch.rs.in",
+            "src/v3/compiler/src/cementing_dispatch.rs",
+        ),
         (
             "complexity_lattice.rs.in",
             "src/v3/compiler/src/complexity_lattice_generated.rs",
@@ -472,6 +476,8 @@ fn emit_pb0_cycle4_host_authority_modules(repo_root: &Path) {
             "cost_basis_declaration.rs.in",
             "src/v3/compiler/src/cost_basis_declaration_generated.rs",
         ),
+        ("diagnostics.rs.in", "src/v3/compiler/src/diagnostics.rs"),
+        ("dimension.rs.in", "src/v3/compiler/src/dimension.rs"),
         (
             "emit_collection_ops_method_contract.rs.in",
             "src/v3/compiler/src/emit/collection_ops_method_contract_generated.rs",
@@ -488,10 +494,19 @@ fn emit_pb0_cycle4_host_authority_modules(repo_root: &Path) {
             "int_literal_ranges.rs.in",
             "src/v3/compiler/src/int_literal_ranges_generated.rs",
         ),
+        ("infer.rs.in", "src/v3/compiler/src/infer.rs"),
         (
             "pb_method_template_projection.rs.in",
             "src/v3/compiler/src/pb_method_template_projection_generated.rs",
         ),
+        (
+            "pipeline_authority.rs.in",
+            "src/v3/compiler/src/pipeline_authority.rs",
+        ),
+        (
+            "post_emit_verifier.rs.in",
+            "src/v3/compiler/src/post_emit_verifier.rs",
+        ),
     ];
     for (tmpl_name, rel_out) in specs {
         let src_path = tmpl_dir.join(tmpl_name);
@@ -754,8 +769,9 @@ fn main() {
         "src/v3/compiler/src/bootstrap_generated.rs",
         "src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs",
         "src/v3/compiler/src/bootstrap_std_generated.rs",
-        // PB-0 cycle-4: former hand `EXPECTED_HAND_AUTHORED_NON_TEST` modules — templates under
+        // PB-0: former hand `EXPECTED_HAND_AUTHORED_NON_TEST` modules — templates under
         // `tools/pb0_cycle4_emit_templates/*.rs.in`, emitted by `emit_pb0_cycle4_host_authority_modules`.
+        "src/v3/compiler/src/cementing_dispatch.rs",
         "src/v3/compiler/src/complexity_lattice_generated.rs",
         // SG-5 substrate / runtime-mirror projections, generated from
         // `src/v3/std/substrate.dag` + `src/v3/std/parse_surface.dag`
@@ -773,10 +789,13 @@ fn main() {
         "src/v3/compiler/src/dag_lookup_generated.rs",
         "src/v3/compiler/src/dag_scalar_generated.rs",
         "src/v3/compiler/src/dag_value_body_generated.rs",
+        "src/v3/compiler/src/diagnostics.rs",
         "src/v3/compiler/src/diagnostics_generated.rs",
+        "src/v3/compiler/src/dimension.rs",
         "src/v3/compiler/src/emit/collection_ops_method_contract_generated.rs",
         "src/v3/compiler/src/emit_rust_bin_shim_generated.rs",
         "src/v3/compiler/src/enforced_lens_application_generated.rs",
+        "src/v3/compiler/src/infer.rs",
         "src/v3/compiler/src/infer_helpers_generated.rs",
         "src/v3/compiler/src/int_literal_ranges_generated.rs",
         "src/v3/compiler/src/lens_cost_symbolic_generated.rs",
@@ -788,6 +807,8 @@ fn main() {
         "src/v3/compiler/src/lens_unused_parameters_generated.rs",
         "src/v3/compiler/src/lower_helpers_generated.rs",
         "src/v3/compiler/src/operators_generated.rs",
+        "src/v3/compiler/src/pipeline_authority.rs",
+        "src/v3/compiler/src/post_emit_verifier.rs",
         "src/v3/compiler/src/pb_method_template_projection_generated.rs",
         "src/v3/compiler/src/parse_generated.rs",
         "src/v3/compiler/src/parse_surface_generated.rs",

src/v3/compiler/src/cementing_dispatch.rs

@@ -1,8 +1,15 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 //! Band-C cementing dispatch — [`crate::test_runner::TestPredicate::CementingDispatchMatchesProjection`].
 //!
-//! SG-0 / INVARIANTS P5: hand-authored `src/v3/compiler/src/` module — register the path in
-//! `EXPECTED_HAND_AUTHORED_NON_TEST` inside `tests/integration/sg0_census_test.rs` when this
-//! file ships or changes materially.
+//! SG-0 / INVARIANTS P5: PB-0 generated compiler module. The authoritative body lives in
+//! `tools/pb0_cycle4_emit_templates/cementing_dispatch.rs.in`; `build.rs`
+//! emits `src/v3/compiler/src/cementing_dispatch.rs` and registers it in
+//! `REGEN_OUTPUTS` / `GENERATED_FILES`.
 //!
 //! Projects `LensRegistryEntry` rows from the bootstrapped `regen.dag` authority against
 //! `std.verification` `lens_capability_register_rows` (closed coproduct status axes per
@@ -23,9 +30,10 @@
 pub mod integration_rs_wiring_scan {
     //! `tests/integration.rs` wiring scanner (Band-C cementing dispatch).
     //!
-    //! SG-0 / INVARIANTS P5: hand-authored Rust under `src/v3/compiler/src/` — keep
-    //! `EXPECTED_HAND_AUTHORED_NON_TEST` in `tests/integration/sg0_census_test.rs` in lockstep
-    //! when adding or retiring paths here.
+    //! SG-0 / INVARIANTS P5: this scanner is hosted by the PB-0 generated
+    //! `cementing_dispatch.rs` output. Edit the template under
+    //! `tools/pb0_cycle4_emit_templates/`; `build.rs` refreshes the emitted
+    //! compiler module.
     //!
     //! **ROADMAP / dissolution:** same **v3 lens capability honesty pass** row as
     //! `src/v3/compiler/tests/integration/common/wiring_scanner_test.rs` in `INVARIANTS.md` § SG-0 —

src/v3/compiler/src/diagnostics.rs

@@ -1,3 +1,9 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 // Diagnostics and the enforced mark_unresolved API.
 //
 // The load-bearing guarantee:

src/v3/compiler/src/dimension.rs

@@ -1,3 +1,9 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 //! DB-3 dimension analysis — Lane 2 Stage 2f.
 //!
 //! Type authority: `src/v3/std/dimensions.dag`, spine order:

src/v3/compiler/src/infer.rs

@@ -1,3 +1,9 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 // Type inference: fills Port.state by propagating types forward through
 // the DAG. Dispatches on TypeConnective (M1_DESIGN.md §4) instead of the
 // old name-based function signature lookup.

src/v3/compiler/src/pipeline_authority.rs

@@ -1,3 +1,9 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 use crate::dag::{Dag, DeclarationId, FieldValue, TypeConnective, ValueBody};
 
 #[cfg(test)]

src/v3/compiler/src/post_emit_verifier.rs

@@ -1,3 +1,9 @@
+// AUTO-GENERATED by src/v3/compiler/build.rs (`emit_pb0_cycle4_host_authority_modules`).
+//
+// Template: `tools/pb0_cycle4_emit_templates/<stem>.rs.in` (workspace root).
+// Dissolution receipt: PB-0 NON_TEST partition — `REGEN_OUTPUTS` producer; full `.dag` emit T-LP track.
+//
+
 //! E-5 / Lane 1 Stage 1c PR 4 — shared test harness that reads each
 //! target's `CleanEmissionContract.post_emit_verifier` record and
 //! invokes the declared verifier against an emitted source file.

src/v3/compiler/tests/integration/sg0_census_test.rs

@@ -270,25 +270,18 @@ const EXPECTED_HAND_AUTHORED_NON_TEST: &[&str] = &[
     "src/v3/compiler/src/bin/self_host_fixed_point.rs",
     "src/v3/compiler/src/bootstrap.rs",
     "src/v3/compiler/src/bootstrap_regen_fresh.rs",
-    // R3 gate #87 / T-Tests-As-Data-Completeness: `CementingDispatchMatchesProjection` host
-    // evaluator for `tests/dag/cementing_dispatch.dag` (P5 consumer receipt; dissolves when
-    // predicate substrate owns the walk without host FS coupling).
-    "src/v3/compiler/src/cementing_dispatch.rs",
     "src/v3/compiler/src/dag.rs",
     "src/v3/compiler/src/dag/builder.rs",
     // Closed Cardinality payload + idempotent target shim (API closure).
     "src/v3/compiler/src/dag/cardinality_payload.rs",
     "src/v3/compiler/src/dag/effects.rs",
     "src/v3/compiler/src/dag/ports.rs",
-    "src/v3/compiler/src/diagnostics.rs",
-    "src/v3/compiler/src/dimension.rs",
     "src/v3/compiler/src/emit.rs",
     "src/v3/compiler/src/emit/python_target.rs",
     "src/v3/compiler/src/emit/rust_target.rs",
     "src/v3/compiler/src/emit_rust.rs",
     // R1C-E + m1_3: shared `PROGRAM_FIXTURES` / `REFLECTED_FIXTURES` tables (single source of truth).
     "src/v3/compiler/src/emit_rust_roundtrip_fixtures.rs",
-    "src/v3/compiler/src/infer.rs",
     // PB-0 cycle-2 (msg_84abadad Track A): `gunbc_ci`, `integration_rs_wiring_scan`,
     // `r3_gate_87_cementing_regen_runner_suites`, and `lens_t_las_carrier` are nested `pub mod`
     // surfaces under `cementing_dispatch.rs` / `lens_declaration_apply` (same APIs via `lib.rs`
@@ -304,8 +297,6 @@ const EXPECTED_HAND_AUTHORED_NON_TEST: &[&str] = &[
     // fix moved it out of `emit.rs`. Dissolves when the equivalent Shape B
     // `.dag` program owns the OpenAPI artifact projection end-to-end.
     "src/v3/compiler/src/omni_shape_b_openapi.rs",
-    "src/v3/compiler/src/pipeline_authority.rs",
-    "src/v3/compiler/src/post_emit_verifier.rs",
     // PB-1 Item 5: host mirror of `dsl/std/process.dag` `ProcessExit` for emitted bin shims.
     "src/v3/compiler/src/process_exit.rs",
     // R1C-E (T-Emit `.dag` `TestClaim` wrappers): shared `check_*` API the host