R3 gate #98: ci_yml_hand_authority_dissolved (T-Workflow-As-Data)

dsl/gunbc/ci.dag

@@ -111,10 +111,13 @@ type CIGateEdge {
 }
 
 // `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
+// 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`
+// (**R3 gate #98**, `ci_yml_hand_authority_dissolved`):
+// `.github/workflows/ci.yml` matches deterministic `serde_yaml` serialization after
+// `tools/gen_gunbc_ci_workflow_dag` validates the modeled `Workflow` subset (integration test:
+// `ci_yml_hand_authority_dissolved`). Gate #59 YAML→`.dag` byte drift stays orthogonal.
+// That mechanical encoding is 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 {

dsl/gunbc/ci_emission.dag

@@ -1,7 +1,9 @@
 // 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`).
+// (`dsl/gunbc/ci_github_actions_workflow.dag`, regenerated from canonical `.github/workflows/ci.yml`).
+// **R3 gate #98:** `ci.yml` is machine-serialized YAML (see `gen_gunbc_ci_workflow_dag`
+// `--write-canonical-github-actions-yaml`); no hand-authored comments in the committed artifact.
 // `CIWorkflowDag.github_actions_workflow` pins that carrier as part of the same authority
 // row as the gate graph (`dsl/gunbc/ci.dag`).
 //

src/v3/compiler/src/bootstrap_generated.rs

@@ -10183,14 +10183,14 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
             target: TransformTarget::Callable(DeclarationId(1331)),
             inputs: vec![PortId(1058)],
             output: PortId(1059),
-            span: SourceSpan::new("src/v3/std/verification.dag", 30917, 30940),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31472, 31495),
         }));
         nodes.push(Behavior::Transform(TransformNode {
             id: NodeId(894),
             target: TransformTarget::Callable(DeclarationId(1332)),
             inputs: vec![PortId(1060)],
             output: PortId(1061),
-            span: SourceSpan::new("src/v3/std/verification.dag", 30962, 30996),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31517, 31551),
         }));
         nodes.push(Behavior::Branch(BranchNode {
             id: NodeId(895),
@@ -10201,7 +10201,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                     output: PortId(1059),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Enumerated".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 30900, 30913),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 31455, 31468),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "c".to_string(),
@@ -10213,7 +10213,7 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                     output: PortId(1061),
                     pattern: BranchPattern::UnresolvedVariant {
                         name: "Quantified".to_string(),
-                        span: SourceSpan::new("src/v3/std/verification.dag", 30945, 30958),
+                        span: SourceSpan::new("src/v3/std/verification.dag", 31500, 31513),
                     },
                     binding: Some(PayloadBinding {
                         binding_name: "q".to_string(),
@@ -10222,15 +10222,15 @@ fn bootstrapped_fixture_dag_nodes() -> Vec<Behavior> {
                 },
             ],
             output: PortId(1062),
-            span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31437, 31555),
             emit_participation: Some(BranchEmitParticipation::UserMatch),
         }));
         nodes.push(Behavior::Bind(BindNode {
             id: NodeId(896),
             name: "obligation_for_suite_claim".to_string(),
             value: PortId(1062),
             params: vec![PortId(1057)],
-            span: SourceSpan::new("src/v3/std/verification.dag", 30882, 31000),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31437, 31555),
             lane2_workflow: None,
             emit_participation: Some(BindEmitParticipation::UserCallable),
         }));
@@ -44420,7 +44420,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 28182, 28276),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28737, 28831),
         });
         declarations.push(Declaration {
             id: DeclarationId(1326),
@@ -44449,7 +44449,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 28278, 28381),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28833, 28936),
         });
         declarations.push(Declaration {
             id: DeclarationId(1327),
@@ -44474,7 +44474,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29114, 29191),
+            span: SourceSpan::new("src/v3/std/verification.dag", 29669, 29746),
         });
         declarations.push(Declaration {
             id: DeclarationId(1328),
@@ -44499,7 +44499,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29193, 29253),
+            span: SourceSpan::new("src/v3/std/verification.dag", 29748, 29808),
         });
         declarations.push(Declaration {
             id: DeclarationId(1329),
@@ -44524,7 +44524,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29451, 29532),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30006, 30087),
         });
         declarations.push(Declaration {
             id: DeclarationId(1330),
@@ -44534,8 +44534,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2729),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    29974,
-                    29990,
+                    30529,
+                    30545,
                 )),
             },
             type_params: vec![],
@@ -44546,7 +44546,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29903, 29990),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30458, 30545),
         });
         declarations.push(Declaration {
             id: DeclarationId(1331),
@@ -44556,8 +44556,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(1329),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    30048,
-                    30133,
+                    30603,
+                    30688,
                 )),
             },
             type_params: vec![],
@@ -44568,7 +44568,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29992, 30133),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30547, 30688),
         });
         declarations.push(Declaration {
             id: DeclarationId(1332),
@@ -44578,8 +44578,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(1329),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    30440,
-                    30506,
+                    30995,
+                    31061,
                 )),
             },
             type_params: vec![],
@@ -44590,7 +44590,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 30363, 30506),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30918, 31061),
         });
         declarations.push(Declaration {
             id: DeclarationId(1333),
@@ -44608,7 +44608,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 30811, 31000),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31366, 31555),
         });
         declarations.push(Declaration {
             id: DeclarationId(1334),
@@ -44618,8 +44618,8 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
                 output: DeclarationId(2731),
                 body: ArrowBody::Unparsed(SourceSpan::new(
                     "src/v3/std/verification.dag",
-                    31084,
-                    31129,
+                    31639,
+                    31684,
                 )),
             },
             type_params: vec![],
@@ -44630,7 +44630,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 31002, 31129),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31557, 31684),
         });
         declarations.push(Declaration {
             id: DeclarationId(1335),
@@ -85270,7 +85270,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29950, 29973),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30505, 30528),
         });
         declarations.push(Declaration {
             id: DeclarationId(2730),
@@ -85290,7 +85290,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 31042, 31058),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31597, 31613),
         });
         declarations.push(Declaration {
             id: DeclarationId(2731),
@@ -85310,7 +85310,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 31063, 31083),
+            span: SourceSpan::new("src/v3/std/verification.dag", 31618, 31638),
         });
         declarations.push(Declaration {
             id: DeclarationId(2732),
@@ -86603,7 +86603,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 28203, 28232),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28758, 28787),
         });
         declarations.push(Declaration {
             id: DeclarationId(2798),
@@ -86622,7 +86622,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 28237, 28276),
+            span: SourceSpan::new("src/v3/std/verification.dag", 28792, 28831),
         });
         declarations.push(Declaration {
             id: DeclarationId(2799),
@@ -86641,7 +86641,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29134, 29155),
+            span: SourceSpan::new("src/v3/std/verification.dag", 29689, 29710),
         });
         declarations.push(Declaration {
             id: DeclarationId(2800),
@@ -86660,7 +86660,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29160, 29191),
+            span: SourceSpan::new("src/v3/std/verification.dag", 29715, 29746),
         });
         declarations.push(Declaration {
             id: DeclarationId(2801),
@@ -86680,7 +86680,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29235, 29251),
+            span: SourceSpan::new("src/v3/std/verification.dag", 29790, 29806),
         });
         declarations.push(Declaration {
             id: DeclarationId(2802),
@@ -86700,7 +86700,7 @@ fn bootstrapped_fixture_dag_declarations() -> Vec<Declaration> {
             value_body: None,
             refinement: None,
             nominal_opacity: None,
-            span: SourceSpan::new("src/v3/std/verification.dag", 29507, 29530),
+            span: SourceSpan::new("src/v3/std/verification.dag", 30062, 30085),
         });
         declarations.push(Declaration {
             id: DeclarationId(2803),