T-WAD Slice 4: WI-2 substrate (ci_emission.dag: WorkflowRuntime YamlStatic | BinaryShim | PythonShim + project_github_actions; pinned Workflow carrier; YAML→.dag drift gate)

Cargo.toml

@@ -4,6 +4,8 @@ exclude = [".stage1"]
 members = [
     # v3 compiler — M0: hand-written substrate skeleton
     "src/v3/compiler",
+    # T-WAD Slice 4 — regenerate `dsl/gunbc/ci_github_actions_workflow.dag` from `.github/workflows/ci.yml`
+    "tools/gen_gunbc_ci_workflow_dag",
     # T-Ground-Pilot probe — bounded inhabitance-search routing pilot
     # for the Rust target. Sibling crate so the probe lifecycle is
     # isolated and the v3-compiler SG-0 ratchet is untouched.
@@ -33,6 +35,7 @@ license = "MIT"
 [workspace.dependencies]
 serde = { version = "1.0", features = ["derive", "rc"] }
 serde_json = "1.0"
+serde_yaml = "0.9"
 thiserror = "1.0"
 toml = "0.8"
 proptest = "=1.4.0"

dsl/extdeps/github/actions.dag

@@ -235,7 +235,8 @@ type Step
       name: String?,
       id: String?,
       uses: ActionRef,
-      with: Map<String, String>,
+      // `none` models omitted `with:` or YAML `with: {}` (no fabricated action inputs).
+      with: Map<String, String>?,
       env: Map<String, String>?,
       if_condition: String?,
       continue_on_error: Bool,

dsl/gunbc/ci.dag

@@ -23,18 +23,19 @@
 //
 // Consumers:
 //   .github/workflows/ci.yml — sole live Actions transport for gunbc CI (single authority).
-//   dsl/gunbc/ci.dag — compiler-intent gates only (`CIPipeline` / `CIGate`). No parallel `Workflow`
-//     mirror of `ci.yml` here: that would violate INVARIANTS P2 / modeling-discipline Practice 5
-//     (dual encoding without a same-PR generator or structural consumer closing the boundary).
-//   future: dsl/gunbc/ci_emission.dag (WI-2 T-WAD R3; brief — file not authored yet) —
-//     `project_github_actions(ci_workflow_dag, runtime: WorkflowRuntime)` → `extdeps.github.actions.Workflow`
-//     (`WorkflowRuntime` = projection-mode sum per WI-2 brief; replaces retired `EmissionTarget` name — Shape A collision).
-//     Declaration + pinning first; per-arm bodies Slice 4–5.
+//   dsl/gunbc/ci.dag — compiler-intent gates (`CIPipeline` / `CIGate`) plus the pinned GitHub
+//     Actions `Workflow` carrier field on `CIWorkflowDag` (regenerated from `.github/workflows/ci.yml`
+//     into `dsl/gunbc/ci_github_actions_workflow.dag` — single structural consumer; no hand-parallel
+//     `Workflow` mirror elsewhere in this module).
+//   dsl/gunbc/ci_emission.dag — WI-2 / Slice 4: `WorkflowRuntime` + `project_github_actions` +
+//     pinned `gunbc_ci_yml_workflow` (`project_github_actions(ci_workflow_dag, YamlStatic)`).
 //   future: dag run ci_pipeline — interpreter execution of compiler-intent gates.
 
 module gunbc.ci
 
 import std.list { List }
+import extdeps.github.actions { Workflow }
+import gunbc.ci.github_actions_workflow { gunbc_ci_github_actions_workflow }
 import gunbc.compiler {
   compiler_cycle, test_package,
   lint_command, test_command, ignored_test_command
@@ -109,9 +110,18 @@ type CIGateEdge {
   to: CIGate
 }
 
+// `github_actions_workflow` does not author `pipeline` / `edges` (sole gate-topology
+// authority remains those fields). It pins the typed Actions `Workflow` carrier
+// regenerated from `.github/workflows/ci.yml` into `dsl/gunbc/ci_github_actions_workflow.dag`
+// (byte drift test: `gunbc_ci_github_actions_workflow_dag_matches_yaml_generator_output`).
+// That is one mechanical encoding of the repo CI YAML, not a second editorial source for
+// which compiler gates exist; gate-vs-Actions alignment is process + follow-on projection
+// (WI-2), not dual authority over the same axis (INVARIANTS P2 / modeling Practices 3+5).
 type CIWorkflowDag {
   pipeline: CIPipeline
   edges: List<CIGateEdge>
+  // Pinned GitHub Actions transport for repository CI (see `dsl/gunbc/ci_github_actions_workflow.dag`).
+  github_actions_workflow: Workflow
 }
 
 // ── Gates ───────────────────────────────────────────────────────────
@@ -185,5 +195,6 @@ data ci_workflow_dag: CIWorkflowDag = {
     { from: compile_gates_gate, to: test_gate },
     { from: lint_gate, to: l1_gate },
     { from: test_gate, to: l1_gate }
-  ]
+  ],
+  github_actions_workflow: gunbc_ci_github_actions_workflow
 }

dsl/gunbc/ci_emission.dag

@@ -0,0 +1,40 @@
+// gunbc/ci_emission.dag — T-WAD WI-2 / Slice 4: `WorkflowRuntime` + `project_github_actions`.
+//
+// Canonical GitHub Actions `Workflow` bytes live in `gunbc.ci.github_actions_workflow`
+// (`dsl/gunbc/ci_github_actions_workflow.dag`, regenerated from `.github/workflows/ci.yml`).
+// `CIWorkflowDag.github_actions_workflow` pins that carrier as part of the same authority
+// row as the gate graph (`dsl/gunbc/ci.dag`).
+//
+// `project_github_actions(..., YamlStatic)` returns that YAML-pinned carrier (Slice 4:
+// no structural projection from `pipeline`/`edges` yet; WI-2 follow-on). Transport-arm
+// selection, not a second gate-topology editor.
+
+module gunbc.ci_emission
+
+import gunbc.ci { CIWorkflowDag, ci_workflow_dag }
+import gunbc.ci.github_actions_workflow { gunbc_ci_github_actions_workflow }
+import extdeps.github.actions { Workflow }
+
+// 🟡 YELLOW (scaffold) — coproduct-dissolution receipt (see modeling-discipline Practice 4).
+// Ratified initial surface: YamlStatic | BinaryShim | PythonShim (`docs/design-ci-workflow-emitter-dispatch.md` §3;
+// `docs/briefs/t-wad-wi2-substrate-and-slice4-yamlstatic-body-worker.md` §1). `InlineGunbc` stays off the enum until a
+// real runtime consumer exists (emitter-dispatch §5.4).
+
+type WorkflowRuntime = YamlStatic | BinaryShim | PythonShim
+
+// Slice 5: distinct thin-shim `Workflow` rows (WI-2 brief §1). Placeholders alias the committed
+// CI workflow carrier so this file stays structurally validated (M1(2.8)).
+data gunbc_ci_emission_binary_shim_placeholder_workflow: Workflow = gunbc_ci_github_actions_workflow
+
+data gunbc_ci_emission_python_shim_placeholder_workflow: Workflow = gunbc_ci_github_actions_workflow
+
+// v3 tokenizer maps `fn`, not legacy `func` (which becomes `Ident("func")` and fails top-level dispatch).
+fn project_github_actions(dag: CIWorkflowDag, runtime: WorkflowRuntime) -> Workflow =
+  match runtime {
+    YamlStatic => dag.github_actions_workflow
+    BinaryShim => gunbc_ci_emission_binary_shim_placeholder_workflow
+    PythonShim => gunbc_ci_emission_python_shim_placeholder_workflow
+  }
+
+// Pinned projection: same `ci_workflow_dag` row, YamlStatic transport (Slice 4).
+data gunbc_ci_yml_workflow: Workflow = project_github_actions(ci_workflow_dag, YamlStatic)