Verification RustDagIsomorphism worker brief

src/v3/compiler/tests/fixtures/rust_dag_isomorphism_consumer.dag

@@ -15,8 +15,8 @@ import std.verification { BinaryDimensionReportEquals, TestClaim, TestSuite }
 type RustEnumExtractionDagShapeReport = DimensionReport<Dag>
 type DagReflectionDagShapeReport = DimensionReport<Dag>
 
-data rust_dag_isomorphism_shape_reports_equal: TestClaim = {
-  name: "rust_dag_isomorphism_shape_reports_equal",
+data rust_dag_isomorphism_executable: TestClaim = {
+  name: "rust_dag_isomorphism_executable",
   source: "",
   file_name: "src/v3/lenses/dag_shape.dag",
   predicate: BinaryDimensionReportEquals(
@@ -28,5 +28,5 @@ data rust_dag_isomorphism_shape_reports_equal: TestClaim = {
 
 data rust_dag_isomorphism_consumer_suite: TestSuite = {
   name: "rust_dag_isomorphism_consumer_suite",
-  claims: [rust_dag_isomorphism_shape_reports_equal]
+  claims: [rust_dag_isomorphism_executable]
 }

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

@@ -643,21 +643,33 @@ fn r3_bridge_retirement_ledger_zero_open_row_count_ratchet() {
 }
 
 #[test]
-fn rust_dag_isomorphism_consumer_reaches_binary_report_shape_gate() {
-    let results = TestRunner::new(rust_dag_isomorphism_dag())
-        .run_suite("rust_dag_isomorphism_consumer_suite");
-    assert_eq!(results.len(), 1);
-    assert!(
-        matches!(
-            &results[0].result,
-            ClaimResult::NotYetImplemented(reason)
-                if reason.contains("BinaryDimensionReportEquals")
-                    && reason.contains("structural shape is valid")
-                    && reason.contains("RustEnumExtractionDagShapeReport")
-                    && reason.contains("DagReflectionDagShapeReport")
-        ),
-        "expected RustDagIsomorphism consumer to reach the current \
-         BinaryDimensionReportEquals shape-valid path; got {:?}",
-        results[0].result
-    );
+fn rust_dag_isomorphism_executable_passes_dag_shape_report_gate() {
+    // P5 per-PR receipt for this expanded hand-Rust test harness: explicit deferral to
+    // ROADMAP.md "Course correction #1" / table row 1 ("One BinaryDimensionReportEquals
+    // path executes"). This test must continue to stop at the shape-valid NYI boundary
+    // until the generated DimensionReport/DagShapeReport path replaces the Rust harness.
+    std::thread::Builder::new()
+        .stack_size(32 * 1024 * 1024)
+        .spawn(|| {
+            let results = TestRunner::new(rust_dag_isomorphism_dag())
+                .run_suite("rust_dag_isomorphism_consumer_suite");
+            assert_eq!(results.len(), 1);
+            assert_eq!(results[0].claim_name, "rust_dag_isomorphism_executable");
+            assert!(
+                matches!(
+                    &results[0].result,
+                    ClaimResult::NotYetImplemented(reason)
+                        if reason.contains("BinaryDimensionReportEquals")
+                            && reason.contains("structural shape is valid")
+                            && reason.contains("RustEnumExtractionDagShapeReport")
+                            && reason.contains("DagReflectionDagShapeReport")
+                ),
+                "expected RustDagIsomorphism executable to stop at the \
+                 BinaryDimensionReportEquals shape-valid boundary; got {:?}",
+                results[0].result
+            );
+        })
+        .expect("spawn rust_dag_isomorphism stack")
+        .join()
+        .expect("rust_dag_isomorphism gate thread");
 }