agent-contracts 0.7.0 → 0.8.0

package/dist/cli.js

@@ -59155,6 +59155,7 @@ var ExecutionStepSchema = z7.object({
   abort_on_failure: z7.boolean().optional(),
   uses_tool: z7.string().optional(),
   produces_artifact: z7.string().optional(),
+  reads_artifact: z7.string().optional(),
   depends_on: z7.array(z7.string()).optional(),
   skip_condition: z7.string().optional(),
   wait_for_approval: z7.boolean().optional()
@@ -59179,13 +59180,21 @@ var TaskSchema = z7.object({
 
 // src/schema/tool.ts
 import { z as z8 } from "zod";
+var CommandSchema = z8.object({
+  command: z8.string(),
+  category: z8.string(),
+  reads: z8.array(z8.string()).default([]),
+  writes: z8.array(z8.string()).default([]),
+  purpose: z8.string().optional()
+});
 var ToolSchema = z8.object({
   kind: z8.string(),
   description: z8.string().optional(),
   input_artifacts: z8.array(z8.string()).default([]),
   output_artifacts: z8.array(z8.string()).default([]),
   invokable_by: z8.array(z8.string()),
-  side_effects: z8.array(z8.string()).default([])
+  side_effects: z8.array(z8.string()).default([]),
+  commands: z8.array(CommandSchema).default([])
 }).passthrough();
 
 // src/schema/validation.ts
@@ -59201,23 +59210,38 @@ var ValidationSchema = z9.object({
 
 // src/schema/workflow.ts
 import { z as z10 } from "zod";
+var RetrySchema = z10.object({
+  condition: z10.string(),
+  fix_task: z10.string(),
+  revalidate_task: z10.string().optional()
+});
+var ExternalParticipantSchema = z10.object({
+  id: z10.string(),
+  kind: z10.enum(["actor", "participant"]),
+  label: z10.string(),
+  description: z10.string().optional()
+});
 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()
+  from_agent: z10.string().optional(),
+  group: z10.string().optional(),
+  retry: RetrySchema.optional()
 }).passthrough();
 var WorkflowValidationStepSchema = z10.object({
   type: z10.literal("validation"),
   description: z10.string().optional(),
-  validation: z10.string()
+  validation: z10.string(),
+  group: z10.string().optional()
 }).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()))
+  branches: z10.record(z10.string(), z10.array(z10.string())),
+  group: z10.string().optional()
 }).passthrough();
 var WorkflowStepSchema = z10.discriminatedUnion("type", [
   WorkflowHandoffStepSchema,
@@ -59225,9 +59249,11 @@ var WorkflowStepSchema = z10.discriminatedUnion("type", [
   WorkflowDecisionStepSchema
 ]);
 var WorkflowSchema = z10.object({
+  description: z10.string().optional(),
   entry_conditions: z10.array(z10.string()).default([]),
   trigger: z10.string().optional(),
-  steps: z10.array(WorkflowStepSchema)
+  steps: z10.array(WorkflowStepSchema),
+  external_participants: z10.array(ExternalParticipantSchema).default([])
 }).passthrough();
 
 // src/schema/dsl.ts
@@ -59805,6 +59831,16 @@ var taskAgentBindingRule = {
             });
           }
         }
+        if (step.reads_artifact) {
+          if (!targetAgent.can_read_artifacts.includes(step.reads_artifact)) {
+            diagnostics.push({
+              ruleId: "task-agent-binding",
+              severity: "error",
+              path: `tasks.${taskId}.execution_steps`,
+              message: `Task "${taskId}" step reads_artifact "${step.reads_artifact}" not in target agent "${task.target_agent}" can_read_artifacts`
+            });
+          }
+        }
       }
     }
     return diagnostics;
@@ -59834,12 +59870,100 @@ var mergeIntegrityRule = {
   }
 };
 
+// src/linter/rules/artifact-ownership.ts
+var artifactOwnershipRule = {
+  id: "artifact-ownership",
+  description: "Ensure execution_step produces/reads operations are consistent with artifact producers/editors/consumers",
+  run(dsl) {
+    const diagnostics = [];
+    for (const [taskId, task] of Object.entries(dsl.tasks)) {
+      if (!task.execution_steps) continue;
+      const agentId = task.target_agent;
+      for (const step of task.execution_steps) {
+        if (step.produces_artifact) {
+          const artifact = dsl.artifacts[step.produces_artifact];
+          if (artifact) {
+            const canWrite = artifact.producers.includes(agentId) || artifact.editors.includes(agentId);
+            if (!canWrite) {
+              diagnostics.push({
+                ruleId: "artifact-ownership",
+                severity: "warning",
+                path: `tasks.${taskId}.execution_steps`,
+                message: `Agent "${agentId}" produces artifact "${step.produces_artifact}" but is not listed in its producers or editors`
+              });
+            }
+          }
+        }
+        if (step.reads_artifact) {
+          const artifact = dsl.artifacts[step.reads_artifact];
+          if (artifact) {
+            const canRead = artifact.consumers.includes(agentId) || artifact.producers.includes(agentId) || artifact.editors.includes(agentId);
+            if (!canRead) {
+              diagnostics.push({
+                ruleId: "artifact-ownership",
+                severity: "warning",
+                path: `tasks.${taskId}.execution_steps`,
+                message: `Agent "${agentId}" reads artifact "${step.reads_artifact}" but is not listed in its producers, editors, or consumers`
+              });
+            }
+          }
+        }
+      }
+    }
+    return diagnostics;
+  }
+};
+
+// src/linter/rules/tool-commands.ts
+var toolCommandsRule = {
+  id: "tool-commands",
+  description: "Validate tool commands: reads/writes reference existing artifacts; writes align with output_artifacts",
+  run(dsl) {
+    const diagnostics = [];
+    for (const [toolId, tool] of Object.entries(dsl.tools)) {
+      for (const cmd of tool.commands) {
+        for (const ref of cmd.reads) {
+          if (!dsl.artifacts[ref]) {
+            diagnostics.push({
+              ruleId: "tool-commands",
+              severity: "error",
+              path: `tools.${toolId}.commands`,
+              message: `Command "${cmd.command}" reads artifact "${ref}" which does not exist`
+            });
+          }
+        }
+        for (const ref of cmd.writes) {
+          if (!dsl.artifacts[ref]) {
+            diagnostics.push({
+              ruleId: "tool-commands",
+              severity: "error",
+              path: `tools.${toolId}.commands`,
+              message: `Command "${cmd.command}" writes artifact "${ref}" which does not exist`
+            });
+          }
+          if (dsl.artifacts[ref] && !tool.output_artifacts.includes(ref)) {
+            diagnostics.push({
+              ruleId: "tool-commands",
+              severity: "warning",
+              path: `tools.${toolId}.commands`,
+              message: `Command "${cmd.command}" writes artifact "${ref}" but tool's output_artifacts does not include it`
+            });
+          }
+        }
+      }
+    }
+    return diagnostics;
+  }
+};
+
 // src/linter/linter.ts
 var builtinRules = [
   validationCoverageRule,
   toolExecutionRule,
   taskAgentBindingRule,
-  mergeIntegrityRule
+  mergeIntegrityRule,
+  artifactOwnershipRule,
+  toolCommandsRule
 ];
 function lint(dsl, rules = builtinRules) {
   const diagnostics = [];
@@ -60602,6 +60726,11 @@ function buildWorkflowContext(dsl, workflowId) {
       }
     }
   }
+  for (const task of relatedTasks) {
+    for (const step of task.execution_steps ?? []) {
+      if (step.uses_tool) toolIds.add(step.uses_tool);
+    }
+  }
   const relatedTools = {};
   for (const id of toolIds) {
     if (dsl.tools[id]) relatedTools[id] = dsl.tools[id];
@@ -60609,6 +60738,10 @@ function buildWorkflowContext(dsl, workflowId) {
   const artifactIds = /* @__PURE__ */ new Set();
   for (const task of relatedTasks) {
     for (const artId of task.input_artifacts) artifactIds.add(artId);
+    for (const step of task.execution_steps ?? []) {
+      if (step.produces_artifact) artifactIds.add(step.produces_artifact);
+      if (step.reads_artifact) artifactIds.add(step.reads_artifact);
+    }
   }
   for (const id of agentIds) {
     const agent = dsl.agents[id];
@@ -60752,6 +60885,508 @@ function buildPerAgentContext(dsl, agent) {
   };
 }
 
+// src/renderer/sequence-diagram.ts
+function hashToColor(s2, saturation, lightness) {
+  let hash = 0;
+  for (const ch of s2) hash = (hash << 5) - hash + ch.charCodeAt(0) | 0;
+  const h2 = (hash % 360 + 360) % 360;
+  const c2 = (1 - Math.abs(2 * lightness - 1)) * saturation;
+  const x3 = c2 * (1 - Math.abs(h2 / 60 % 2 - 1));
+  const m2 = lightness - c2 / 2;
+  let r3 = 0, g2 = 0, b3 = 0;
+  if (h2 < 60) {
+    r3 = c2;
+    g2 = x3;
+  } else if (h2 < 120) {
+    r3 = x3;
+    g2 = c2;
+  } else if (h2 < 180) {
+    g2 = c2;
+    b3 = x3;
+  } else if (h2 < 240) {
+    g2 = x3;
+    b3 = c2;
+  } else if (h2 < 300) {
+    r3 = x3;
+    b3 = c2;
+  } else {
+    r3 = c2;
+    b3 = x3;
+  }
+  return `rgb(${Math.round((r3 + m2) * 255)},${Math.round((g2 + m2) * 255)},${Math.round((b3 + m2) * 255)})`;
+}
+function sanitizeAlias(id) {
+  return id.replace(/[^a-zA-Z0-9_]/g, "_");
+}
+function agentAlias(id, agent) {
+  const words = agent.role_name.split(/\s+/);
+  if (words.length === 1) return sanitizeAlias(words[0].slice(0, 4));
+  return sanitizeAlias(words.map((w2) => w2[0]).join(""));
+}
+function collectReferencedIds(workflow, dsl, relatedTasks) {
+  const agents = /* @__PURE__ */ new Set();
+  const auditAgents = /* @__PURE__ */ new Set();
+  const tools = /* @__PURE__ */ new Set();
+  const artifacts = /* @__PURE__ */ new Set();
+  const taskMap = /* @__PURE__ */ new Map();
+  for (const t3 of relatedTasks) taskMap.set(t3.id, t3);
+  for (const step of workflow.steps) {
+    if (step.type === "handoff") {
+      if (step.from_agent) addAgent(step.from_agent);
+      if (step.task) {
+        const task = taskMap.get(step.task);
+        if (task) {
+          addAgent(task.target_agent);
+          for (const es of task.execution_steps ?? []) {
+            collectExecutionStepIds(es, tools, artifacts);
+          }
+        }
+      }
+      if (step.retry) {
+        const fixTask = taskMap.get(step.retry.fix_task);
+        if (fixTask) {
+          addAgent(fixTask.target_agent);
+          for (const es of fixTask.execution_steps ?? []) {
+            collectExecutionStepIds(es, tools, artifacts);
+          }
+        }
+        if (step.retry.revalidate_task) {
+          const revalTask = taskMap.get(step.retry.revalidate_task);
+          if (revalTask) {
+            addAgent(revalTask.target_agent);
+          }
+        }
+      }
+    } else if (step.type === "validation") {
+      const val = dsl.validations[step.validation];
+      if (val) {
+        if (val.executor_type === "agent") addAgent(val.executor);
+        else tools.add(val.executor);
+        artifacts.add(val.target_artifact);
+      }
+    }
+  }
+  function addAgent(agentId) {
+    const agent = dsl.agents[agentId];
+    if (agent?.mode === "read-only") {
+      auditAgents.add(agentId);
+    } else {
+      agents.add(agentId);
+    }
+  }
+  return { agents, auditAgents, tools, artifacts };
+}
+function collectExecutionStepIds(es, tools, artifacts) {
+  if (es.uses_tool) tools.add(es.uses_tool);
+  if (es.produces_artifact) artifacts.add(es.produces_artifact);
+  if (es.reads_artifact) artifacts.add(es.reads_artifact);
+}
+function buildParticipants(ids, externals, dsl) {
+  const participants = [];
+  const usedAliases = /* @__PURE__ */ new Set();
+  function uniqueAlias(preferred) {
+    let alias = preferred;
+    let i3 = 2;
+    while (usedAliases.has(alias)) {
+      alias = `${preferred}${i3}`;
+      i3++;
+    }
+    usedAliases.add(alias);
+    return alias;
+  }
+  for (const ep of externals) {
+    const alias = uniqueAlias(sanitizeAlias(ep.id));
+    participants.push({ id: ep.id, alias, label: ep.label, group: "external" });
+  }
+  for (const id of ids.agents) {
+    const agent = dsl.agents[id];
+    if (!agent) continue;
+    const alias = uniqueAlias(agentAlias(id, agent));
+    participants.push({ id, alias, label: agent.role_name, group: "agents" });
+  }
+  for (const id of ids.auditAgents) {
+    const agent = dsl.agents[id];
+    if (!agent) continue;
+    const alias = uniqueAlias(agentAlias(id, agent));
+    participants.push({ id, alias, label: agent.role_name, group: "audit" });
+  }
+  for (const id of ids.tools) {
+    const tool = dsl.tools[id];
+    if (!tool) continue;
+    const alias = uniqueAlias(sanitizeAlias(id));
+    participants.push({ id, alias, label: id, group: "toolchain" });
+  }
+  for (const id of ids.artifacts) {
+    const art = dsl.artifacts[id];
+    if (!art) continue;
+    const alias = uniqueAlias(sanitizeAlias(id));
+    participants.push({ id, alias, label: id, group: "artifacts" });
+  }
+  return participants;
+}
+function participantAlias(participants, id) {
+  const p2 = participants.find((pp) => pp.id === id);
+  return p2 ? p2.alias : sanitizeAlias(id);
+}
+function emitParticipants(participants, externals, lines, indent) {
+  const groups = {
+    external: [],
+    agents: [],
+    audit: [],
+    toolchain: [],
+    artifacts: []
+  };
+  for (const p2 of participants) groups[p2.group].push(p2);
+  const externalMap = /* @__PURE__ */ new Map();
+  for (const ep of externals) externalMap.set(ep.id, ep);
+  if (groups.external.length > 0) {
+    lines.push(`${indent}box rgb(255,245,230) External`);
+    for (const p2 of groups.external) {
+      const ep = externalMap.get(p2.id);
+      const keyword = ep?.kind === "actor" ? "actor" : "participant";
+      if (p2.alias === p2.label) {
+        lines.push(`${indent}${keyword} ${p2.alias}`);
+      } else {
+        lines.push(`${indent}${keyword} ${p2.alias} as ${p2.label}`);
+      }
+    }
+    lines.push(`${indent}end`);
+  }
+  const groupConfig = [
+    { key: "agents", label: "Agents", color: "rgb(200,220,255)" },
+    { key: "audit", label: "Audit", color: "rgb(255,220,220)" },
+    { key: "toolchain", label: "Toolchain", color: "rgb(220,255,220)" },
+    { key: "artifacts", label: "Artifacts", color: "rgb(255,230,210)" }
+  ];
+  for (const { key, label, color } of groupConfig) {
+    const members = groups[key];
+    if (members.length === 0) continue;
+    lines.push(`${indent}box ${color} ${label}`);
+    for (const p2 of members) {
+      if (p2.alias === p2.label) {
+        lines.push(`${indent}participant ${p2.alias}`);
+      } else {
+        lines.push(`${indent}participant ${p2.alias} as ${p2.label}`);
+      }
+    }
+    lines.push(`${indent}end`);
+  }
+}
+function emitHandoffStep(step, participants, dsl, relatedTasks, lines, indent) {
+  const taskMap = /* @__PURE__ */ new Map();
+  for (const t3 of relatedTasks) taskMap.set(t3.id, t3);
+  if (!step.task) {
+    if (step.from_agent) {
+      const fromAlias2 = participantAlias(participants, step.from_agent);
+      lines.push(`${indent}${fromAlias2}->>${fromAlias2}: ${step.handoff_kind}`);
+    }
+    return;
+  }
+  const task = taskMap.get(step.task);
+  if (!task) return;
+  const fromAlias = step.from_agent ? participantAlias(participants, step.from_agent) : null;
+  const targetAlias = participantAlias(participants, task.target_agent);
+  if (fromAlias) {
+    lines.push(`${indent}${fromAlias}->>${targetAlias}: delegate ${step.task}`);
+  }
+  for (const es of task.execution_steps ?? []) {
+    emitExecutionStep(es, targetAlias, participants, lines, indent);
+  }
+  if (fromAlias) {
+    lines.push(`${indent}${targetAlias}-->>${fromAlias}: ${task.result_handoff}`);
+  }
+}
+function emitExecutionStep(es, agentAlias2, participants, lines, indent) {
+  if (es.reads_artifact) {
+    const artAlias = participantAlias(participants, es.reads_artifact);
+    lines.push(`${indent}${agentAlias2}->>${artAlias}: [R] ${es.action}`);
+  }
+  if (es.produces_artifact) {
+    const artAlias = participantAlias(participants, es.produces_artifact);
+    lines.push(`${indent}${agentAlias2}->>${artAlias}: [W] ${es.action}`);
+  }
+  if (es.uses_tool) {
+    const toolAlias = participantAlias(participants, es.uses_tool);
+    lines.push(`${indent}${agentAlias2}->>${toolAlias}: ${es.action}`);
+  }
+  if (!es.reads_artifact && !es.produces_artifact && !es.uses_tool) {
+    lines.push(`${indent}${agentAlias2}->>${agentAlias2}: ${es.action}`);
+  }
+}
+function emitValidationStep(step, participants, dsl, lastFromAgent, lines, indent) {
+  const val = dsl.validations[step.validation];
+  if (!val) return;
+  const executorAlias = participantAlias(participants, val.executor);
+  const artifactAlias = participantAlias(participants, val.target_artifact);
+  const fromAlias = lastFromAgent ? participantAlias(participants, lastFromAgent) : null;
+  if (fromAlias && fromAlias !== executorAlias) {
+    lines.push(`${indent}${fromAlias}->>${executorAlias}: ${step.validation}`);
+  }
+  lines.push(`${indent}${executorAlias}->>${artifactAlias}: [R] ${val.target_artifact}`);
+  if (fromAlias && fromAlias !== executorAlias) {
+    lines.push(`${indent}${executorAlias}-->>${fromAlias}: results`);
+  }
+}
+function emitDecisionStep(step, participants, lastFromAgent, lines, indent) {
+  const branches = Object.entries(step.branches);
+  if (branches.length === 0) return;
+  const agentAl = lastFromAgent ? participantAlias(participants, lastFromAgent) : null;
+  for (let i3 = 0; i3 < branches.length; i3++) {
+    const [key, values] = branches[i3];
+    if (i3 === 0) {
+      lines.push(`${indent}alt ${key}`);
+    } else {
+      lines.push(`${indent}else ${key}`);
+    }
+    if (agentAl) {
+      lines.push(`${indent}    Note over ${agentAl}: ${values.join(", ")}`);
+    }
+  }
+  lines.push(`${indent}end`);
+}
+function emitRetryBlock(step, participants, dsl, relatedTasks, lines, indent) {
+  const retry = step.retry;
+  if (!retry) return;
+  const taskMap = /* @__PURE__ */ new Map();
+  for (const t3 of relatedTasks) taskMap.set(t3.id, t3);
+  lines.push(`${indent}opt ${retry.condition}`);
+  const innerIndent = indent + "    ";
+  const fixTask = taskMap.get(retry.fix_task);
+  if (fixTask) {
+    const fromAlias = step.from_agent ? participantAlias(participants, step.from_agent) : null;
+    const targetAlias = participantAlias(participants, fixTask.target_agent);
+    if (fromAlias) {
+      lines.push(`${innerIndent}${fromAlias}->>${targetAlias}: fix ${retry.fix_task}`);
+    }
+    for (const es of fixTask.execution_steps ?? []) {
+      emitExecutionStep(es, targetAlias, participants, lines, innerIndent);
+    }
+    if (fromAlias) {
+      lines.push(`${innerIndent}${targetAlias}-->>${fromAlias}: ${fixTask.result_handoff}`);
+    }
+  }
+  if (retry.revalidate_task) {
+    const revalTask = taskMap.get(retry.revalidate_task);
+    if (revalTask) {
+      const fromAlias = step.from_agent ? participantAlias(participants, step.from_agent) : null;
+      const revalAlias = participantAlias(participants, revalTask.target_agent);
+      if (fromAlias) {
+        lines.push(`${innerIndent}${fromAlias}->>${revalAlias}: revalidate ${retry.revalidate_task}`);
+        lines.push(`${innerIndent}${revalAlias}-->>${fromAlias}: ${revalTask.result_handoff}`);
+      }
+    }
+  }
+  lines.push(`${indent}end`);
+}
+function groupSteps(steps) {
+  const result = [];
+  let currentGroup = null;
+  for (let i3 = 0; i3 < steps.length; i3++) {
+    const step = steps[i3];
+    const group = "group" in step ? step.group : void 0;
+    if (group) {
+      if (currentGroup && currentGroup.group === group) {
+        currentGroup.steps.push({ step, index: i3 });
+      } else {
+        if (currentGroup) result.push(currentGroup);
+        currentGroup = { group, steps: [{ step, index: i3 }] };
+      }
+    } else {
+      if (currentGroup) {
+        result.push(currentGroup);
+        currentGroup = null;
+      }
+      result.push({ group: null, steps: [{ step, index: i3 }] });
+    }
+  }
+  if (currentGroup) result.push(currentGroup);
+  return result;
+}
+function generateSequenceDiagram(workflow, relatedTasks, dsl) {
+  const ids = collectReferencedIds(workflow, dsl, relatedTasks);
+  const externals = workflow.external_participants ?? [];
+  const participants = buildParticipants(ids, externals, dsl);
+  const lines = [];
+  const indent = "    ";
+  lines.push("sequenceDiagram");
+  emitParticipants(participants, externals, lines, indent);
+  lines.push("");
+  lines.push(`${indent}rect ${hashToColor(workflow.id, 0.15, 0.95)}`);
+  const firstP = participants[0];
+  const lastP = participants[participants.length - 1];
+  if (firstP && lastP) {
+    const noteLabel = workflow.description ? `${workflow.id} \u2014 ${workflow.description}` : workflow.id;
+    lines.push(`${indent}Note over ${firstP.alias},${lastP.alias}: ${noteLabel}`);
+  }
+  if (workflow.trigger && externals.some((ep) => ep.kind === "actor")) {
+    const actor = externals.find((ep) => ep.kind === "actor");
+    const actorAlias = participantAlias(participants, actor.id);
+    const firstAgent = participants.find((p2) => p2.group === "agents" || p2.group === "audit");
+    if (firstAgent) {
+      lines.push(`${indent}${actorAlias}->>${firstAgent.alias}: ${workflow.trigger}`);
+    }
+  }
+  let lastFromAgent;
+  const grouped = groupSteps(workflow.steps);
+  for (const g2 of grouped) {
+    if (g2.group && g2.steps.length > 1) {
+      lines.push("");
+      lines.push(`${indent}par ${g2.group}`);
+      const parIndent = indent + "    ";
+      for (let i3 = 0; i3 < g2.steps.length; i3++) {
+        const { step } = g2.steps[i3];
+        if (i3 > 0) lines.push(`${indent}and`);
+        emitStep(step, participants, dsl, relatedTasks, lines, parIndent, lastFromAgent, (a3) => {
+          lastFromAgent = a3;
+        });
+      }
+      lines.push(`${indent}end`);
+    } else {
+      for (const { step } of g2.steps) {
+        lines.push("");
+        emitStep(step, participants, dsl, relatedTasks, lines, indent, lastFromAgent, (a3) => {
+          lastFromAgent = a3;
+        });
+      }
+    }
+  }
+  lines.push("");
+  lines.push(`${indent}end`);
+  return lines.join("\n");
+}
+function emitStep(step, participants, dsl, relatedTasks, lines, indent, lastFromAgent, setLastFromAgent) {
+  if (step.type === "handoff") {
+    if (step.from_agent) setLastFromAgent(step.from_agent);
+    emitHandoffStep(step, participants, dsl, relatedTasks, lines, indent);
+    if (step.retry) {
+      emitRetryBlock(step, participants, dsl, relatedTasks, lines, indent);
+    }
+  } else if (step.type === "validation") {
+    emitValidationStep(step, participants, dsl, lastFromAgent, lines, indent);
+  } else if (step.type === "decision") {
+    emitDecisionStep(step, participants, lastFromAgent, lines, indent);
+  }
+}
+
+// src/renderer/overview-flowchart.ts
+function collectPhaseOps(dsl, wfId) {
+  const ctx = buildWorkflowContext(dsl, wfId);
+  const wf = dsl.workflow[wfId];
+  const agentOps = /* @__PURE__ */ new Map();
+  const artifactOps = /* @__PURE__ */ new Map();
+  const toolOps = /* @__PURE__ */ new Map();
+  function addOp(map, id, op) {
+    if (!map.has(id)) map.set(id, /* @__PURE__ */ new Set());
+    map.get(id).add(op);
+  }
+  const taskMap = new Map(ctx.relatedTasks.map((t3) => [t3.id, t3]));
+  for (const step of wf.steps) {
+    if (step.type === "handoff") {
+      if (step.from_agent) addOp(agentOps, step.from_agent, "delegate");
+      if (step.task) {
+        const task = taskMap.get(step.task);
+        if (task) {
+          addOp(agentOps, task.target_agent, "execute");
+          for (const es of task.execution_steps ?? []) {
+            if (es.reads_artifact) addOp(artifactOps, es.reads_artifact, "R");
+            if (es.produces_artifact) addOp(artifactOps, es.produces_artifact, "W");
+            if (es.uses_tool) {
+              const tool = dsl.tools[es.uses_tool];
+              if (tool) {
+                const cats = tool.commands.map((c2) => c2.category).filter((v2, i3, a3) => a3.indexOf(v2) === i3);
+                for (const cat of cats) addOp(toolOps, es.uses_tool, cat);
+                if (cats.length === 0) addOp(toolOps, es.uses_tool, "\u2713");
+              } else {
+                addOp(toolOps, es.uses_tool, "\u2713");
+              }
+            }
+          }
+        }
+      }
+    } else if (step.type === "validation") {
+      const val = dsl.validations[step.validation];
+      if (val) {
+        if (val.executor_type === "agent") {
+          addOp(agentOps, val.executor, "validate");
+        } else {
+          addOp(toolOps, val.executor, "verification");
+        }
+        addOp(artifactOps, val.target_artifact, "V");
+      }
+    }
+  }
+  return { agentOps, artifactOps, toolOps };
+}
+function formatOps(ops) {
+  if (!ops || ops.size === 0) return "\u2014";
+  return [...ops].join(", ");
+}
+function buildTable(header, rows) {
+  const lines = [];
+  lines.push("| " + header.join(" | ") + " |");
+  lines.push("|" + header.map(() => "---").join("|") + "|");
+  for (const row of rows) {
+    lines.push("| " + row.join(" | ") + " |");
+  }
+  return lines.join("\n");
+}
+function generateOverviewFlowchart(dsl) {
+  const workflowOrder = dsl.system.default_workflow_order ?? Object.keys(dsl.workflow);
+  const phases = workflowOrder.filter((id) => dsl.workflow[id]);
+  const phaseData = /* @__PURE__ */ new Map();
+  for (const wfId of phases) {
+    phaseData.set(wfId, collectPhaseOps(dsl, wfId));
+  }
+  const allAgentIds = /* @__PURE__ */ new Set();
+  const allArtifactIds = /* @__PURE__ */ new Set();
+  const allToolIds = /* @__PURE__ */ new Set();
+  for (const ops of phaseData.values()) {
+    for (const id of ops.agentOps.keys()) allAgentIds.add(id);
+    for (const id of ops.artifactOps.keys()) allArtifactIds.add(id);
+    for (const id of ops.toolOps.keys()) allToolIds.add(id);
+  }
+  const sections = [];
+  if (allAgentIds.size > 0) {
+    const header = ["Agent", ...phases];
+    const rows = [];
+    for (const agentId of allAgentIds) {
+      const agent = dsl.agents[agentId];
+      const label = agent ? agent.role_name : agentId;
+      const row = [label];
+      for (const wfId of phases) {
+        row.push(formatOps(phaseData.get(wfId).agentOps.get(agentId)));
+      }
+      rows.push(row);
+    }
+    sections.push("#### Agent \xD7 Phase\n\n" + buildTable(header, rows));
+  }
+  if (allArtifactIds.size > 0) {
+    const header = ["Artifact", ...phases];
+    const rows = [];
+    for (const artId of allArtifactIds) {
+      const row = [artId];
+      for (const wfId of phases) {
+        row.push(formatOps(phaseData.get(wfId).artifactOps.get(artId)));
+      }
+      rows.push(row);
+    }
+    sections.push("#### Artifact \xD7 Phase\n\n" + buildTable(header, rows));
+  }
+  if (allToolIds.size > 0) {
+    const header = ["Tool", ...phases];
+    const rows = [];
+    for (const toolId of allToolIds) {
+      const row = [toolId];
+      for (const wfId of phases) {
+        row.push(formatOps(phaseData.get(wfId).toolOps.get(toolId)));
+      }
+      rows.push(row);
+    }
+    sections.push("#### Tool \xD7 Phase\n\n" + buildTable(header, rows));
+  }
+  return sections.join("\n\n");
+}
+
 // src/renderer/renderer.ts
 Handlebars.registerHelper("eq", (a3, b3) => a3 === b3);
 Handlebars.registerHelper("notEmpty", (obj) => {
@@ -60913,6 +61548,41 @@ Handlebars.registerHelper("size", (obj) => {
   if (obj && typeof obj === "object") return Object.keys(obj).length;
   return 0;
 });
+Handlebars.registerHelper(
+  "sequenceDiagram",
+  function(...args) {
+    const opts = args[args.length - 1];
+    const positionalArgs = args.slice(0, -1);
+    if (typeof positionalArgs[0] === "string" && positionalArgs[1]) {
+      const workflowId = positionalArgs[0];
+      const dsl2 = positionalArgs[1];
+      if (!dsl2.workflow[workflowId]) return "";
+      const ctx = buildWorkflowContext(dsl2, workflowId);
+      return generateSequenceDiagram(
+        ctx.workflow,
+        ctx.relatedTasks,
+        dsl2
+      );
+    }
+    const workflow = this["workflow"];
+    const relatedTasks = this["relatedTasks"];
+    const dsl = opts?.hash?.["dsl"] ?? this["dsl"];
+    if (!workflow || !dsl) return "";
+    return generateSequenceDiagram(workflow, relatedTasks ?? [], dsl);
+  }
+);
+Handlebars.registerHelper(
+  "overviewFlowchart",
+  function(...args) {
+    const positionalArgs = args.slice(0, -1);
+    if (positionalArgs[0] && typeof positionalArgs[0] === "object") {
+      return generateOverviewFlowchart(positionalArgs[0]);
+    }
+    const dsl = this["dsl"];
+    if (!dsl) return "";
+    return generateOverviewFlowchart(dsl);
+  }
+);
 function getDslSection(dsl, context) {
   const sectionMap = {
     agent: dsl.agents,