agent-contracts 0.5.2 → 0.6.0

package/README.md

@@ -119,7 +119,7 @@ version: 1
 system:
   id: my-project
   name: My Agent Workflow
-  default_phase_order: [design, implement]
+  default_workflow_order: [design, implement]
 
 agents:
   architect:
@@ -136,7 +136,7 @@ tasks:
     description: "Delegate feature implementation"
     target_agent: implementer
     allowed_from_agents: [architect]
-    phase: implement
+    workflow: implement
     input_artifacts: [spec-md]
     invocation_handoff: task-delegation
     result_handoff: implementation-result
@@ -187,7 +187,7 @@ A **Task** defines a delegatable unit of work:
 
 * target agent
 * allowed callers
-* phase
+* workflow
 * input artifacts
 * invocation/result handoffs
 * task-specific execution expectations
@@ -262,7 +262,7 @@ extends: "./base/"
 system:
   id: my-project
   name: My Agent Workflow
-  default_phase_order:
+  default_workflow_order:
     - analyze
     - specify
     - plan
@@ -301,7 +301,7 @@ extends: "./base/"
 system:
   id: my-project
   name: My Agent Workflow
-  default_phase_order: [analyze, specify, plan, implement, audit, release, reflect]
+  default_workflow_order: [analyze, specify, plan, implement, audit, release, reflect]
 
 agents: { $ref: "./agents.yaml" }
 tasks: { $ref: "./tasks.yaml" }
@@ -384,7 +384,7 @@ version: 1
 system:
   id: my-project
   name: My Agent Workflow
-  default_phase_order: [analyze, implement]
+  default_workflow_order: [analyze, implement]
 $refs:
   - "./agents-core.yaml"        # agents + artifacts definitions
   - "./agents-constraints.yaml"  # constraints for the same agents
@@ -446,7 +446,7 @@ tasks:
     target_agent: implementer
     allowed_from_agents:
       - main-architect
-    phase: implement
+    workflow: implement
     input_artifacts:
       - spec-md
       - plan-md
@@ -457,15 +457,21 @@ tasks:
     execution_steps:
       - id: read-specs
         action: "Read spec-md and design-docs"
+        description: "Read all relevant specification and design documents"
       - id: implement
         action: "Implement changes in codebase"
       - id: run-db-lint
         action: "Run db-lint"
+        description: "Run database schema linter to check migrations"
         uses_tool: db-lint
+        x-timeout: 120
     completion_criteria:
       - "canonical artifacts updated"
 ````
 
+`x-` prefixed custom properties work at any nesting level — including inside
+`execution_steps`, `rules`, `workflow.steps`, and other nested objects.
+
 ---
 
 ## Example: Artifact definition
@@ -605,7 +611,9 @@ Checks:
 * types
 * enums
 * handoff payload shape
-* invalid custom properties without `x-` prefix
+* invalid custom properties without `x-` prefix (checked at all nesting levels)
+
+Custom properties with `x-` prefix are allowed on any object in the DSL — top-level entities (agents, tasks, artifacts, …), nested objects (rules, execution steps, workflow steps, …), and the root DSL itself.
 
 ### Reference integrity
 

package/dist/cli.js

@@ -6293,7 +6293,7 @@ var init_index_es = __esm({
         return { drive: t4.toLowerCase() + ":" };
       }, k2 = function() {
         return { drive: null };
-      }, z14 = function() {
+      }, z15 = function() {
         return { drive: null };
       }, B2 = function(t4) {
         return { protocol: null, origin: null, absolute: false, drive: null, ...t4 };
@@ -6334,7 +6334,7 @@ var init_index_es = __esm({
           var t4, n4, r4, e4, o4;
           return t4 = K2, (n4 = rt()) !== c2 && (r4 = et()) !== c2 && (e4 = ut()) !== c2 && (o4 = it()) !== c2 ? (n4 = s2(n4, r4, e4, o4), t4 = n4) : (K2 = t4, t4 = c2), t4 === c2 && (t4 = K2, (n4 = rt()) !== c2 && (r4 = et()) !== c2 && (e4 = (function() {
             var t5;
-            return (t5 = x3) !== c2 && (t5 = z14()), t5;
+            return (t5 = x3) !== c2 && (t5 = z15()), t5;
           })()) !== c2 ? (n4 = f2(n4, r4, e4), t4 = n4) : (K2 = t4, t4 = c2)), t4;
         })()) === c2 && (n3 = (function() {
           var n4, r4, e4, o4;
@@ -8023,7 +8023,7 @@ __export(index_es_exports2, {
   resolveExternalRef: () => ye,
   resolveExternalRefWithLocation: () => ge,
   resolveInlineRef: () => B,
-  resolveInlineRefWithLocation: () => z13,
+  resolveInlineRefWithLocation: () => z14,
   safeParse: () => de,
   safeStringify: () => ve,
   startsWith: () => be,
@@ -8067,9 +8067,9 @@ function* L(e3, t3, r3) {
   for (const [n3, o3] of t3.entries()) O(e3.value, o3, r3), e3.value = e3.value[o3], A(e3.value) && (j(e3.value), yield [n3, e3.value]);
 }
 function B(e3, t3) {
-  return z13(e3, t3).value;
+  return z14(e3, t3).value;
 }
-function z13(e3, t3) {
+function z14(e3, t3) {
   return (function e4(t4, r3, n3, o3) {
     if (null !== V(r3)) throw new ReferenceError("Cannot resolve external references");
     const i3 = K(r3);
@@ -16899,7 +16899,7 @@ var require_immer_cjs_production_min = __commonJS({
       var t4 = n4[H2];
       return (t4 ? s2(t4) : n4)[r4];
     }
-    function z14(n4, r4) {
+    function z15(n4, r4) {
       if (r4 in n4) for (var t4 = Object.getPrototypeOf(n4); t4; ) {
         var e4 = Object.getOwnPropertyDescriptor(t4, r4);
         if (e4) return e4;
@@ -17292,7 +17292,7 @@ var require_immer_cjs_production_min = __commonJS({
       if (r4 === H2) return n4;
       var e4 = s2(n4);
       if (!u2(e4, r4)) return (function(n5, r5, t4) {
-        var e5, i5 = z14(r5, t4);
+        var e5, i5 = z15(r5, t4);
         return i5 ? "value" in i5 ? i5.value : null === (e5 = i5.get) || void 0 === e5 ? void 0 : e5.call(n5.k) : void 0;
       })(n4, e4, r4);
       var i4 = e4[r4];
@@ -17302,7 +17302,7 @@ var require_immer_cjs_production_min = __commonJS({
     }, ownKeys: function(n4) {
       return Reflect.ownKeys(s2(n4));
     }, set: function(n4, r4, t4) {
-      var e4 = z14(s2(n4), r4);
+      var e4 = z15(s2(n4), r4);
       if (null == e4 ? void 0 : e4.set) return e4.set.call(n4.k, t4), true;
       if (!n4.g) {
         var i4 = A2(s2(n4), r4), o4 = null == i4 ? void 0 : i4[H2];
@@ -35641,11 +35641,11 @@ var require_brace_expansion = __commonJS({
             if (pad) {
               var need = width - c2.length;
               if (need > 0) {
-                var z14 = new Array(need + 1).join("0");
+                var z15 = new Array(need + 1).join("0");
                 if (i3 < 0)
-                  c2 = "-" + z14 + c2.slice(1);
+                  c2 = "-" + z15 + c2.slice(1);
                 else
-                  c2 = z14 + c2;
+                  c2 = z15 + c2;
               }
             }
           }
@@ -55621,7 +55621,7 @@ var require_dist10 = __commonJS({
     var getSiblings = (parent) => (node) => getChildren(parent).filter(not(eq(node)));
     var concatAll = (
       /*::<T>*/
-      (xs) => (ys) => ys.reduce((zs, z14) => zs.concat(z14), xs)
+      (xs) => (ys) => ys.reduce((zs, z15) => zs.concat(z15), xs)
     );
     function getLastSegment(instancePath) {
       const index4 = instancePath.lastIndexOf("/");
@@ -59004,6 +59004,9 @@ var resolveCommand = new Command("resolve").description("Resolve DSL (load + mer
 // src/cli/commands/validate.ts
 import { Command as Command2 } from "commander";
 
+// src/validator/schema-validator.ts
+import { z as z13 } from "zod";
+
 // src/schema/agent.ts
 import { z as z2 } from "zod";
 var RuleSchema = z2.object({
@@ -59014,7 +59017,7 @@ var RuleSchema = z2.object({
   detection_method: z2.string().optional(),
   escalation: z2.string().optional(),
   ref: z2.string().optional()
-}).strict();
+}).passthrough();
 var EscalationCriterionSchema = z2.object({
   condition: z2.string(),
   action: z2.enum([
@@ -59022,12 +59025,12 @@ var EscalationCriterionSchema = z2.object({
     "report_to_architect",
     "wait_for_approval"
   ])
-}).strict();
+}).passthrough();
 var PrerequisiteSchema = z2.object({
   action: z2.enum(["read", "execute"]),
   target: z2.string(),
   required: z2.boolean()
-}).strict();
+}).passthrough();
 var AgentSchema = z2.object({
   role_name: z2.string(),
   purpose: z2.string(),
@@ -59069,14 +59072,15 @@ import { z as z4 } from "zod";
 var HandoffTypeSchema = z4.object({
   version: z4.number(),
   description: z4.string().optional(),
-  payload: z4.record(z4.string(), z4.any())
+  payload: z4.record(z4.string(), z4.any()),
+  example: z4.record(z4.string(), z4.any()).optional()
 }).passthrough();
 
 // src/schema/policy.ts
 import { z as z5 } from "zod";
 var PolicyWhenSchema = z5.object({
   artifact_type: z5.string().optional(),
-  phase: z5.string().optional()
+  workflow: z5.string().optional()
 }).passthrough();
 var PolicySchema = z5.object({
   when: PolicyWhenSchema,
@@ -59091,7 +59095,7 @@ var ExtendsSchema = z6.string().optional();
 var SystemSchema = z6.object({
   id: z6.string(),
   name: z6.string(),
-  default_phase_order: z6.array(z6.string())
+  default_workflow_order: z6.array(z6.string())
 }).passthrough();
 
 // src/schema/task.ts
@@ -59099,6 +59103,7 @@ import { z as z7 } from "zod";
 var ExecutionStepSchema = z7.object({
   id: z7.string(),
   action: z7.string(),
+  description: z7.string().optional(),
   required: z7.boolean().optional(),
   abort_on_failure: z7.boolean().optional(),
   uses_tool: z7.string().optional(),
@@ -59106,12 +59111,12 @@ var ExecutionStepSchema = z7.object({
   depends_on: z7.array(z7.string()).optional(),
   skip_condition: z7.string().optional(),
   wait_for_approval: z7.boolean().optional()
-}).strict();
+}).passthrough();
 var TaskSchema = z7.object({
   description: z7.string(),
   target_agent: z7.string(),
   allowed_from_agents: z7.array(z7.string()),
-  phase: z7.string(),
+  workflow: z7.string(),
   input_artifacts: z7.array(z7.string()),
   invocation_handoff: z7.string(),
   result_handoff: z7.string(),
@@ -59151,19 +59156,22 @@ var ValidationSchema = z9.object({
 import { z as z10 } from "zod";
 var WorkflowHandoffStepSchema = z10.object({
   type: z10.literal("handoff"),
+  description: z10.string().optional(),
   handoff_kind: z10.string(),
   task: z10.string().optional(),
   from_agent: z10.string().optional()
-}).strict();
+}).passthrough();
 var WorkflowValidationStepSchema = z10.object({
   type: z10.literal("validation"),
+  description: z10.string().optional(),
   validation: z10.string()
-}).strict();
+}).passthrough();
 var WorkflowDecisionStepSchema = z10.object({
   type: z10.literal("decision"),
+  description: z10.string().optional(),
   on: z10.string(),
   branches: z10.record(z10.string(), z10.array(z10.string()))
-}).strict();
+}).passthrough();
 var WorkflowStepSchema = z10.discriminatedUnion("type", [
   WorkflowHandoffStepSchema,
   WorkflowValidationStepSchema,
@@ -59171,6 +59179,7 @@ var WorkflowStepSchema = z10.discriminatedUnion("type", [
 ]);
 var WorkflowSchema = z10.object({
   entry_conditions: z10.array(z10.string()).default([]),
+  trigger: z10.string().optional(),
   steps: z10.array(WorkflowStepSchema)
 }).passthrough();
 
@@ -59209,113 +59218,65 @@ var RemoveOperatorSchema = z12.object({
 });
 
 // src/validator/schema-validator.ts
-function hasNonExtensionCustomProps(obj, knownKeys, path) {
-  const diagnostics = [];
-  for (const key of Object.keys(obj)) {
-    if (knownKeys.has(key)) continue;
-    if (key.startsWith("x-")) continue;
-    diagnostics.push({
-      path: `${path}.${key}`,
-      message: `Unknown property "${key}". Custom properties must use "x-" prefix.`,
-      code: "unknown-property"
-    });
-  }
-  return diagnostics;
+function unwrap(schema) {
+  if (schema instanceof z13.ZodOptional) return unwrap(schema.unwrap());
+  if (schema instanceof z13.ZodDefault) return unwrap(schema.removeDefault());
+  if (schema instanceof z13.ZodNullable) return unwrap(schema.unwrap());
+  return schema;
 }
-var SYSTEM_KEYS = /* @__PURE__ */ new Set(["id", "name", "default_phase_order"]);
-var AGENT_KEYS = /* @__PURE__ */ new Set([
-  "role_name",
-  "purpose",
-  "can_read_artifacts",
-  "can_write_artifacts",
-  "can_execute_tools",
-  "can_perform_validations",
-  "can_invoke_agents",
-  "can_return_handoffs",
-  "dispatch_only",
-  "mode",
-  "responsibilities",
-  "constraints",
-  "rules",
-  "anti_patterns",
-  "escalation_criteria",
-  "prerequisites"
-]);
-var TASK_KEYS = /* @__PURE__ */ new Set([
-  "description",
-  "target_agent",
-  "allowed_from_agents",
-  "phase",
-  "input_artifacts",
-  "invocation_handoff",
-  "result_handoff",
-  "default_priority",
-  "responsibilities",
-  "constraints",
-  "execution_steps",
-  "completion_criteria",
-  "rules",
-  "anti_patterns",
-  "escalation_criteria"
-]);
-var ARTIFACT_KEYS = /* @__PURE__ */ new Set([
-  "type",
-  "description",
-  "owner",
-  "producers",
-  "editors",
-  "consumers",
-  "states",
-  "required_validations",
-  "visibility"
-]);
-var TOOL_KEYS = /* @__PURE__ */ new Set([
-  "kind",
-  "description",
-  "input_artifacts",
-  "output_artifacts",
-  "invokable_by",
-  "side_effects"
-]);
-var VALIDATION_KEYS = /* @__PURE__ */ new Set([
-  "target_artifact",
-  "kind",
-  "executor_type",
-  "executor",
-  "blocking",
-  "produces_evidence"
-]);
-var HANDOFF_TYPE_KEYS = /* @__PURE__ */ new Set(["version", "description", "payload"]);
-var WORKFLOW_KEYS = /* @__PURE__ */ new Set(["entry_conditions", "steps"]);
-var POLICY_KEYS = /* @__PURE__ */ new Set(["when", "requires_validations", "requires"]);
-function checkCustomProps(data) {
-  const diagnostics = [];
-  if (data["system"] && typeof data["system"] === "object") {
-    diagnostics.push(
-      ...hasNonExtensionCustomProps(data["system"], SYSTEM_KEYS, "system")
-    );
+function checkCustomPropsRecursive(data, schema, path) {
+  const inner = unwrap(schema);
+  if (inner instanceof z13.ZodObject) {
+    if (typeof data !== "object" || data === null || Array.isArray(data)) return [];
+    const obj = data;
+    const shape = inner.shape;
+    const knownKeys = new Set(Object.keys(shape));
+    const diagnostics = [];
+    for (const key of Object.keys(obj)) {
+      if (knownKeys.has(key)) continue;
+      if (key.startsWith("x-")) continue;
+      diagnostics.push({
+        path: path ? `${path}.${key}` : key,
+        message: `Unknown property "${key}". Custom properties must use "x-" prefix.`,
+        code: "unknown-property"
+      });
+    }
+    for (const [field, fieldSchema] of Object.entries(shape)) {
+      if (obj[field] === void 0) continue;
+      diagnostics.push(...checkCustomPropsRecursive(obj[field], fieldSchema, path ? `${path}.${field}` : field));
+    }
+    return diagnostics;
   }
-  const sections = [
-    { key: "agents", knownKeys: AGENT_KEYS },
-    { key: "tasks", knownKeys: TASK_KEYS },
-    { key: "artifacts", knownKeys: ARTIFACT_KEYS },
-    { key: "tools", knownKeys: TOOL_KEYS },
-    { key: "validations", knownKeys: VALIDATION_KEYS },
-    { key: "handoff_types", knownKeys: HANDOFF_TYPE_KEYS },
-    { key: "workflow", knownKeys: WORKFLOW_KEYS },
-    { key: "policies", knownKeys: POLICY_KEYS }
-  ];
-  for (const { key, knownKeys } of sections) {
-    const map = data[key];
-    if (typeof map !== "object" || map === null || Array.isArray(map)) continue;
-    for (const [entryKey, item] of Object.entries(map)) {
-      if (typeof item !== "object" || item === null) continue;
-      diagnostics.push(
-        ...hasNonExtensionCustomProps(item, knownKeys, `${key}.${entryKey}`)
-      );
+  if (inner instanceof z13.ZodRecord) {
+    if (typeof data !== "object" || data === null || Array.isArray(data)) return [];
+    const valueSchema = inner._def.valueType;
+    const diagnostics = [];
+    for (const [key, value] of Object.entries(data)) {
+      diagnostics.push(...checkCustomPropsRecursive(value, valueSchema, path ? `${path}.${key}` : key));
     }
+    return diagnostics;
   }
-  return diagnostics;
+  if (inner instanceof z13.ZodArray) {
+    if (!Array.isArray(data)) return [];
+    const diagnostics = [];
+    for (let i3 = 0; i3 < data.length; i3++) {
+      diagnostics.push(...checkCustomPropsRecursive(data[i3], inner.element, `${path}[${i3}]`));
+    }
+    return diagnostics;
+  }
+  if (inner instanceof z13.ZodDiscriminatedUnion) {
+    if (typeof data !== "object" || data === null) return [];
+    const obj = data;
+    const disc = inner._def.discriminator;
+    const discValue = obj[disc];
+    const match = inner.options.find((opt) => {
+      const shape = opt.shape;
+      return shape[disc] instanceof z13.ZodLiteral && shape[disc].value === discValue;
+    });
+    if (match) return checkCustomPropsRecursive(data, match, path);
+    return [];
+  }
+  return [];
 }
 function validateSchema(data) {
   const result = DslSchema.safeParse(data);
@@ -59327,7 +59288,7 @@ function validateSchema(data) {
     }));
     return { success: false, diagnostics };
   }
-  const customPropDiagnostics = checkCustomProps(data);
+  const customPropDiagnostics = checkCustomPropsRecursive(data, DslSchema, "");
   if (customPropDiagnostics.length > 0) {
     return { success: false, diagnostics: customPropDiagnostics };
   }
@@ -59343,7 +59304,7 @@ function checkReferences(dsl) {
   const validationIds = new Set(Object.keys(dsl.validations));
   const handoffKinds = new Set(Object.keys(dsl.handoff_types));
   const taskIds = new Set(Object.keys(dsl.tasks));
-  const phases = new Set(dsl.system.default_phase_order);
+  const workflowIds = new Set(dsl.system.default_workflow_order);
   function checkExists(value, validSet, entityType, path) {
     if (!validSet.has(value)) {
       diagnostics.push({
@@ -59429,26 +59390,26 @@ function checkReferences(dsl) {
     for (const ref of task.allowed_from_agents) {
       checkExists(ref, agentIds, "agents", `tasks.${id}.allowed_from_agents`);
     }
-    checkExists(task.phase, phases, "system.default_phase_order", `tasks.${id}.phase`);
+    checkExists(task.workflow, workflowIds, "system.default_workflow_order", `tasks.${id}.workflow`);
     checkExists(task.invocation_handoff, handoffKinds, "handoff_types", `tasks.${id}.invocation_handoff`);
     checkExists(task.result_handoff, handoffKinds, "handoff_types", `tasks.${id}.result_handoff`);
     for (const ref of task.input_artifacts) {
       checkExists(ref, artifactIds, "artifacts", `tasks.${id}.input_artifacts`);
     }
   }
-  for (const [phase, wf] of Object.entries(dsl.workflow)) {
-    checkExists(phase, phases, "system.default_phase_order", `workflow.${phase}`);
+  for (const [wfId, wf] of Object.entries(dsl.workflow)) {
+    checkExists(wfId, workflowIds, "system.default_workflow_order", `workflow.${wfId}`);
     for (let j2 = 0; j2 < wf.steps.length; j2++) {
       const step = wf.steps[j2];
       if (step.type === "handoff") {
         if (step.task) {
-          checkExists(step.task, taskIds, "tasks", `workflow.${phase}.steps[${j2}].task`);
+          checkExists(step.task, taskIds, "tasks", `workflow.${wfId}.steps[${j2}].task`);
         }
         if (step.from_agent) {
-          checkExists(step.from_agent, agentIds, "agents", `workflow.${phase}.steps[${j2}].from_agent`);
+          checkExists(step.from_agent, agentIds, "agents", `workflow.${wfId}.steps[${j2}].from_agent`);
         }
       } else if (step.type === "validation") {
-        checkExists(step.validation, validationIds, "validations", `workflow.${phase}.steps[${j2}].validation`);
+        checkExists(step.validation, validationIds, "validations", `workflow.${wfId}.steps[${j2}].validation`);
       }
     }
   }
@@ -59702,85 +59663,6 @@ var toolExecutionRule = {
   }
 };
 
-// src/linter/rules/release-audit.ts
-var releaseAuditRule = {
-  id: "release-audit",
-  description: "Workflow graph completeness: release/audit phases should have proper handoff structures",
-  run(dsl) {
-    const diagnostics = [];
-    const phases = dsl.system.default_phase_order;
-    const hasAuditPhase = phases.some(
-      (p2) => p2 === "audit" || p2 === "release" || p2 === "review"
-    );
-    if (!hasAuditPhase) {
-      return diagnostics;
-    }
-    const handoffKinds = new Set(Object.keys(dsl.handoff_types));
-    const hasReleaseReadiness = handoffKinds.has("release-readiness");
-    const hasReleaseResult = handoffKinds.has("release-result");
-    if (!hasReleaseReadiness) {
-      diagnostics.push({
-        ruleId: "release-audit",
-        severity: "warning",
-        path: "handoff_types",
-        message: 'Missing "release-readiness" handoff type for audit/release workflow'
-      });
-    }
-    if (!hasReleaseResult) {
-      diagnostics.push({
-        ruleId: "release-audit",
-        severity: "warning",
-        path: "handoff_types",
-        message: 'Missing "release-result" handoff type for audit/release workflow'
-      });
-    }
-    if (phases.some((p2) => p2 === "audit")) {
-      const hasAuditReport = handoffKinds.has("audit-report");
-      const hasAuditReconciliation = handoffKinds.has("audit-reconciliation");
-      if (!hasAuditReport) {
-        diagnostics.push({
-          ruleId: "release-audit",
-          severity: "warning",
-          path: "handoff_types",
-          message: 'Missing "audit-report" handoff type for audit workflow'
-        });
-      }
-      if (!hasAuditReconciliation) {
-        diagnostics.push({
-          ruleId: "release-audit",
-          severity: "warning",
-          path: "handoff_types",
-          message: 'Missing "audit-reconciliation" handoff type for audit workflow'
-        });
-      }
-    }
-    const workflowPhases = new Set(Object.keys(dsl.workflow));
-    for (const phase of phases) {
-      if ((phase === "audit" || phase === "release") && !workflowPhases.has(phase)) {
-        diagnostics.push({
-          ruleId: "release-audit",
-          severity: "warning",
-          path: "workflow",
-          message: `Phase "${phase}" is in default_phase_order but has no workflow definition`
-        });
-      }
-    }
-    for (const [phase, wf] of Object.entries(dsl.workflow)) {
-      if (phase !== "audit" && phase !== "release") continue;
-      const hasDecision = wf.steps.some((s2) => s2.type === "decision");
-      if (!hasDecision) {
-        diagnostics.push({
-          ruleId: "release-audit",
-          severity: "info",
-          path: `workflow.${phase}`,
-          message: `Audit/release workflow phase "${phase}" has no decision step for remediation routing`
-        });
-      }
-    }
-    return diagnostics;
-  }
-};
-
 // src/linter/rules/task-agent-binding.ts
 var taskAgentBindingRule = {
   id: "task-agent-binding",
@@ -59884,21 +59766,21 @@ var taskAgentBindingRule = {
 // src/linter/rules/merge-integrity.ts
 var mergeIntegrityRule = {
   id: "merge-integrity",
-  description: "Post-merge integrity: check that resolved DSL phase order has no duplicates",
+  description: "Post-merge integrity: check that resolved DSL workflow order has no duplicates",
   run(dsl) {
     const diagnostics = [];
-    const phases = dsl.system.default_phase_order;
-    const phaseSeen = /* @__PURE__ */ new Set();
-    for (let i3 = 0; i3 < phases.length; i3++) {
-      if (phaseSeen.has(phases[i3])) {
+    const workflows = dsl.system.default_workflow_order;
+    const seen = /* @__PURE__ */ new Set();
+    for (let i3 = 0; i3 < workflows.length; i3++) {
+      if (seen.has(workflows[i3])) {
         diagnostics.push({
           ruleId: "merge-integrity",
           severity: "error",
-          path: `system.default_phase_order[${i3}]`,
-          message: `Duplicate phase "${phases[i3]}" in default_phase_order`
+          path: `system.default_workflow_order[${i3}]`,
+          message: `Duplicate workflow "${workflows[i3]}" in default_workflow_order`
         });
       }
-      phaseSeen.add(phases[i3]);
+      seen.add(workflows[i3]);
     }
     return diagnostics;
   }
@@ -59908,7 +59790,6 @@ var mergeIntegrityRule = {
 var builtinRules = [
   validationCoverageRule,
   toolExecutionRule,
-  releaseAuditRule,
   taskAgentBindingRule,
   mergeIntegrityRule
 ];
@@ -60573,9 +60454,9 @@ function buildHandoffTypeContext(dsl, handoffTypeId) {
   ).map(([id, t3]) => ({ ...t3, id }));
   return { handoff_type, relatedTasks, dsl };
 }
-function buildWorkflowContext(dsl, phaseId) {
-  const wfDef = dsl.workflow[phaseId];
-  const workflow = { ...wfDef, id: phaseId };
+function buildWorkflowContext(dsl, workflowId) {
+  const wfDef = dsl.workflow[workflowId];
+  const workflow = { ...wfDef, id: workflowId };
   return { workflow, dsl };
 }
 function buildPolicyContext(dsl, policyId) {
@@ -60639,7 +60520,7 @@ function buildDelegatableTasks(dsl, agentId) {
       id: taskId,
       description: t3.description,
       target_agent: t3.target_agent,
-      phase: t3.phase,
+      workflow: t3.workflow,
       input_artifacts: t3.input_artifacts,
       invocation_handoff: t3.invocation_handoff,
       invocation_payload_keys: invocationHandoff ? extractPayloadFieldNames(invocationHandoff.payload) : [],