FOLD into 5-regen-verify (one class-kill, not a sibling): floor-gate src/v1/*.dag PARSE via shape-(b) — a non-#[ignore] parse-only witness over every src/v1/*.dag (cheap half of full_dsl_compiles, no heavy dsl/ compile). Closes 'src/v1 §7 authority gated only OUTSIDE the floor': src/v1 not in witnes

dsl/test/claim/v1_dag_parse_witness_test.dag

@@ -0,0 +1,19 @@
+module test.claim.v1_dag_parse_witness
+
+import tools.v1_dag_parse_transport {
+  run_v1_dag_parse_green,
+  run_v1_dag_parse_perturb_red_receipt
+}
+
+fn witness_v1_dag_parse_green_holds() -> Bool {
+  run_v1_dag_parse_green()
+}
+
+fn witness_v1_dag_parse_perturb_goes_red() -> Bool {
+  run_v1_dag_parse_perturb_red_receipt()
+}
+
+test fn v1_dag_parse_witnesses() -> Bool {
+  witness_v1_dag_parse_green_holds()
+    && witness_v1_dag_parse_perturb_goes_red()
+}

dsl/tools/host_prelude.dag

@@ -67,6 +67,10 @@ fn ensure_discover_source_root_ingest_built() -> List<ShellStmt> {
   ensure_bin_built_and_verified(var_name: "DISCOVER_SOURCE_ROOT_INGEST", bin_name: "discover_source_root_ingest")
 }
 
+fn ensure_v2_whole_tree_parse_scan_built() -> List<ShellStmt> {
+  ensure_bin_built_and_verified(var_name: "V2_WHOLE_TREE_PARSE_SCAN", bin_name: "v2_whole_tree_parse_scan")
+}
+
 fn toolchain_provision_shell_exec(script: String) -> Bool {
   let result = shell.Exec.Run(script: script)
   result.success

dsl/tools/v1_dag_parse_transport.dag

@@ -0,0 +1,98 @@
+module tools.v1_dag_parse_transport
+
+import extdeps.shell
+import gunbc.ci_layer_roots { witness_layer_roots }
+import std.logic { Bool }
+import extdeps.languages.bash.program {
+  ShellProgram, ShellStmt, ShellWord,
+  Command, If, WithRedir, Heredoc, Exit,
+  Lit, VarRef, Concat, CmdSubst,
+  StdoutAndStderrToNull,
+  lit, var_ref, command, assign, serialize_bash
+}
+import tools.host_prelude { ensure_v2_whole_tree_parse_scan_built }
+
+data v1_dag_scan_dir: String = "src/v1"
+
+data v1_dag_stage0_subpath_exclusion: String = "stage0"
+
+fn parse_scan_source_root_flags(extra_roots: List<String>) -> List<ShellWord> {
+  let base = fold(witness_layer_roots, init: [], f: (acc, r) => concat(acc, [lit(text: "--source-root"), lit(text: r)]))
+  fold(extra_roots, init: base, f: (acc, r) => concat(acc, [lit(text: "--source-root"), lit(text: r)]))
+}
+
+fn v1_dag_parse_scan_stmts(scan_dir: ShellWord, extra_roots: List<String>) -> List<ShellStmt> {
+  let root = var_ref(name: "ROOT")
+  let scanner = var_ref(name: "V2_WHOLE_TREE_PARSE_SCAN")
+  concat(ensure_v2_whole_tree_parse_scan_built(), [
+    command(words: [lit(text: "cd"), root]),
+    command(words: concat(
+      [scanner],
+      concat(
+        parse_scan_source_root_flags(extra_roots: extra_roots),
+        [
+          lit(text: "--scan-dir"), scan_dir,
+          lit(text: "--exclude-subpath"), lit(text: v1_dag_stage0_subpath_exclusion)
+        ]
+      )
+    ))
+  ])
+}
+
+fn v1_dag_parse_green_program() -> ShellProgram {
+  ShellProgram {
+    set_e: true,
+    statements: v1_dag_parse_scan_stmts(
+      scan_dir: lit(text: v1_dag_scan_dir),
+      extra_roots: [v1_dag_scan_dir]
+    )
+  }
+}
+
+data perturb_parse_red_source: String = "module v1.perturb.parse_red\ntype Foo {"
+
+fn v1_dag_parse_perturb_red_program() -> ShellProgram {
+  let root = var_ref(name: "ROOT")
+  let scanner = var_ref(name: "V2_WHOLE_TREE_PARSE_SCAN")
+  let tmp = var_ref(name: "TMP")
+  ShellProgram {
+    set_e: true,
+    statements: concat(ensure_v2_whole_tree_parse_scan_built(), [
+      command(words: [lit(text: "cd"), root]),
+      assign(name: "TMP", value: CmdSubst { body: command(words: [lit(text: "mktemp"), lit(text: "-d")]) }),
+      Heredoc {
+        path: Concat { parts: [tmp, lit(text: "/_perturb_parse_red.dag")] },
+        delimiter: "PERTURB",
+        body: perturb_parse_red_source
+      },
+      If {
+        cond: WithRedir {
+          stmt: command(words: concat(
+            [scanner],
+            concat(
+              parse_scan_source_root_flags(extra_roots: []),
+              [lit(text: "--source-root"), tmp, lit(text: "--scan-dir"), tmp]
+            )
+          )),
+          redir: StdoutAndStderrToNull
+        },
+        then: [
+          command(words: [lit(text: "rm"), lit(text: "-rf"), tmp]),
+          Exit { code: 1 }
+        ]
+      },
+      command(words: [lit(text: "rm"), lit(text: "-rf"), tmp]),
+      Exit { code: 0 }
+    ])
+  }
+}
+
+fn run_v1_dag_parse_green() -> Bool {
+  let result = shell.Exec.Run(script: serialize_bash(p: v1_dag_parse_green_program()))
+  result.success
+}
+
+fn run_v1_dag_parse_perturb_red_receipt() -> Bool {
+  let result = shell.Exec.Run(script: serialize_bash(p: v1_dag_parse_perturb_red_program()))
+  result.success
+}