anantham-v2 2.0.0-alpha.1

package/dist/domain/workflow.d.ts

@@ -0,0 +1,2133 @@
+import { z } from "zod";
+/**
+ * Authoritative Workflow Scopes.
+ * PRD Part 2 Section 111.
+ * Precedence: project > profile > global > built-in.
+ */
+export declare const WorkflowScopeSchema: z.ZodEnum<["built-in", "global", "profile", "project"]>;
+export type WorkflowScope = z.infer<typeof WorkflowScopeSchema>;
+/**
+ * Workflow status lifecycle.
+ */
+export declare const WorkflowStatusSchema: z.ZodEnum<["DRAFT", "REGISTERED", "ACTIVE", "DEPRECATED", "DISABLED"]>;
+export type WorkflowStatus = z.infer<typeof WorkflowStatusSchema>;
+/**
+ * Workflow run execution state.
+ * PRD Part 2 Section 113.
+ */
+export declare const WorkflowRunStatusSchema: z.ZodEnum<["QUEUED", "RUNNING", "PAUSED", "WAITING_APPROVAL", "COMPLETED", "FAILED", "CANCELLED"]>;
+export type WorkflowRunStatus = z.infer<typeof WorkflowRunStatusSchema>;
+/**
+ * Workflow Condition evaluation schema.
+ */
+export declare const WorkflowConditionSchema: z.ZodObject<{
+    type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+    expression: z.ZodOptional<z.ZodString>;
+    artifactId: z.ZodOptional<z.ZodString>;
+    taskId: z.ZodOptional<z.ZodString>;
+    expectedStatus: z.ZodOptional<z.ZodString>;
+    ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    type: "custom" | "expression" | "artifact_exists" | "task_status";
+    taskId?: string | undefined;
+    expression?: string | undefined;
+    artifactId?: string | undefined;
+    expectedStatus?: string | undefined;
+    ifTrue?: string[] | undefined;
+    ifFalse?: string[] | undefined;
+}, {
+    type: "custom" | "expression" | "artifact_exists" | "task_status";
+    taskId?: string | undefined;
+    expression?: string | undefined;
+    artifactId?: string | undefined;
+    expectedStatus?: string | undefined;
+    ifTrue?: string[] | undefined;
+    ifFalse?: string[] | undefined;
+}>;
+export type WorkflowCondition = z.infer<typeof WorkflowConditionSchema>;
+/**
+ * Single Task Node in a Workflow DAG.
+ * PRD Part 2 Section 109 & 110.
+ */
+export declare const WorkflowTaskNodeSchema: z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"task">>;
+    id: z.ZodString;
+    agentId: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    modelProfile: z.ZodOptional<z.ZodString>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    condition: z.ZodOptional<z.ZodObject<{
+        type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+        expression: z.ZodOptional<z.ZodString>;
+        artifactId: z.ZodOptional<z.ZodString>;
+        taskId: z.ZodOptional<z.ZodString>;
+        expectedStatus: z.ZodOptional<z.ZodString>;
+        ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    }, {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    }>>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+    maxRetries: z.ZodDefault<z.ZodNumber>;
+    budgetTokens: z.ZodOptional<z.ZodNumber>;
+    inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "task";
+    agentId: string;
+    inputs: Record<string, unknown>;
+    outputs: string[];
+    requiredCapabilities: string[];
+    maxRetries: number;
+    dependsOn: string[];
+    targetFiles: string[];
+    readOnlyFiles: string[];
+    modelProfile?: string | undefined;
+    description?: string | undefined;
+    timeoutMs?: number | undefined;
+    title?: string | undefined;
+    condition?: {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    } | undefined;
+    budgetTokens?: number | undefined;
+}, {
+    id: string;
+    agentId: string;
+    kind?: "task" | undefined;
+    modelProfile?: string | undefined;
+    description?: string | undefined;
+    inputs?: Record<string, unknown> | undefined;
+    outputs?: string[] | undefined;
+    requiredCapabilities?: string[] | undefined;
+    timeoutMs?: number | undefined;
+    title?: string | undefined;
+    maxRetries?: number | undefined;
+    dependsOn?: string[] | undefined;
+    condition?: {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    } | undefined;
+    budgetTokens?: number | undefined;
+    targetFiles?: string[] | undefined;
+    readOnlyFiles?: string[] | undefined;
+}>;
+export type WorkflowTaskNode = z.infer<typeof WorkflowTaskNodeSchema>;
+/**
+ * Parallel Node grouping multiple parallel tasks.
+ * PRD Part 2 Section 110.
+ */
+export declare const WorkflowParallelNodeSchema: z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"parallel">>;
+    id: z.ZodString;
+    tasks: z.ZodArray<z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"task">>;
+        id: z.ZodString;
+        agentId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        condition: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+            expression: z.ZodOptional<z.ZodString>;
+            artifactId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            expectedStatus: z.ZodOptional<z.ZodString>;
+            ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        maxRetries: z.ZodDefault<z.ZodNumber>;
+        budgetTokens: z.ZodOptional<z.ZodNumber>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }, {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }>, "many">;
+    maxConcurrency: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "parallel";
+    dependsOn: string[];
+    tasks: {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }[];
+    maxConcurrency?: number | undefined;
+}, {
+    id: string;
+    tasks: {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }[];
+    kind?: "parallel" | undefined;
+    dependsOn?: string[] | undefined;
+    maxConcurrency?: number | undefined;
+}>;
+export type WorkflowParallelNode = z.infer<typeof WorkflowParallelNodeSchema>;
+/**
+ * Foreach Node for iterating across collections.
+ * PRD Part 2 Section 110.
+ */
+export declare const WorkflowForeachNodeSchema: z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"foreach">>;
+    id: z.ZodString;
+    collection: z.ZodString;
+    iteratorVariable: z.ZodString;
+    task: z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"task">>;
+        id: z.ZodString;
+        agentId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        condition: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+            expression: z.ZodOptional<z.ZodString>;
+            artifactId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            expectedStatus: z.ZodOptional<z.ZodString>;
+            ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        maxRetries: z.ZodDefault<z.ZodNumber>;
+        budgetTokens: z.ZodOptional<z.ZodNumber>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }, {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }>;
+    maxConcurrency: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "foreach";
+    task: {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    };
+    dependsOn: string[];
+    collection: string;
+    iteratorVariable: string;
+    maxConcurrency?: number | undefined;
+}, {
+    id: string;
+    task: {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    };
+    collection: string;
+    iteratorVariable: string;
+    kind?: "foreach" | undefined;
+    dependsOn?: string[] | undefined;
+    maxConcurrency?: number | undefined;
+}>;
+export type WorkflowForeachNode = z.infer<typeof WorkflowForeachNodeSchema>;
+/**
+ * Automated Verification Node.
+ * PRD Part 2 Section 109 & 110.
+ */
+export declare const WorkflowVerifyNodeSchema: z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"verify">>;
+    id: z.ZodString;
+    assertions: z.ZodArray<z.ZodString, "many">;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "verify";
+    assertions: string[];
+    dependsOn: string[];
+}, {
+    id: string;
+    assertions: string[];
+    kind?: "verify" | undefined;
+    dependsOn?: string[] | undefined;
+}>;
+export type WorkflowVerifyNode = z.infer<typeof WorkflowVerifyNodeSchema>;
+/**
+ * Human Approval Gate Node.
+ * PRD Part 2 Section 110.
+ */
+export declare const WorkflowApproveNodeSchema: z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"approve">>;
+    id: z.ZodString;
+    message: z.ZodString;
+    requiredRole: z.ZodOptional<z.ZodString>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    id: string;
+    kind: "approve";
+    dependsOn: string[];
+    timeoutMs?: number | undefined;
+    requiredRole?: string | undefined;
+}, {
+    message: string;
+    id: string;
+    kind?: "approve" | undefined;
+    timeoutMs?: number | undefined;
+    dependsOn?: string[] | undefined;
+    requiredRole?: string | undefined;
+}>;
+export type WorkflowApproveNode = z.infer<typeof WorkflowApproveNodeSchema>;
+/**
+ * Union of all valid Workflow Nodes.
+ */
+export declare const WorkflowNodeSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"task">>;
+    id: z.ZodString;
+    agentId: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    modelProfile: z.ZodOptional<z.ZodString>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    condition: z.ZodOptional<z.ZodObject<{
+        type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+        expression: z.ZodOptional<z.ZodString>;
+        artifactId: z.ZodOptional<z.ZodString>;
+        taskId: z.ZodOptional<z.ZodString>;
+        expectedStatus: z.ZodOptional<z.ZodString>;
+        ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    }, {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    }>>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+    maxRetries: z.ZodDefault<z.ZodNumber>;
+    budgetTokens: z.ZodOptional<z.ZodNumber>;
+    inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "task";
+    agentId: string;
+    inputs: Record<string, unknown>;
+    outputs: string[];
+    requiredCapabilities: string[];
+    maxRetries: number;
+    dependsOn: string[];
+    targetFiles: string[];
+    readOnlyFiles: string[];
+    modelProfile?: string | undefined;
+    description?: string | undefined;
+    timeoutMs?: number | undefined;
+    title?: string | undefined;
+    condition?: {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    } | undefined;
+    budgetTokens?: number | undefined;
+}, {
+    id: string;
+    agentId: string;
+    kind?: "task" | undefined;
+    modelProfile?: string | undefined;
+    description?: string | undefined;
+    inputs?: Record<string, unknown> | undefined;
+    outputs?: string[] | undefined;
+    requiredCapabilities?: string[] | undefined;
+    timeoutMs?: number | undefined;
+    title?: string | undefined;
+    maxRetries?: number | undefined;
+    dependsOn?: string[] | undefined;
+    condition?: {
+        type: "custom" | "expression" | "artifact_exists" | "task_status";
+        taskId?: string | undefined;
+        expression?: string | undefined;
+        artifactId?: string | undefined;
+        expectedStatus?: string | undefined;
+        ifTrue?: string[] | undefined;
+        ifFalse?: string[] | undefined;
+    } | undefined;
+    budgetTokens?: number | undefined;
+    targetFiles?: string[] | undefined;
+    readOnlyFiles?: string[] | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"parallel">>;
+    id: z.ZodString;
+    tasks: z.ZodArray<z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"task">>;
+        id: z.ZodString;
+        agentId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        condition: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+            expression: z.ZodOptional<z.ZodString>;
+            artifactId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            expectedStatus: z.ZodOptional<z.ZodString>;
+            ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        maxRetries: z.ZodDefault<z.ZodNumber>;
+        budgetTokens: z.ZodOptional<z.ZodNumber>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }, {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }>, "many">;
+    maxConcurrency: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "parallel";
+    dependsOn: string[];
+    tasks: {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }[];
+    maxConcurrency?: number | undefined;
+}, {
+    id: string;
+    tasks: {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }[];
+    kind?: "parallel" | undefined;
+    dependsOn?: string[] | undefined;
+    maxConcurrency?: number | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"foreach">>;
+    id: z.ZodString;
+    collection: z.ZodString;
+    iteratorVariable: z.ZodString;
+    task: z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"task">>;
+        id: z.ZodString;
+        agentId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        condition: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+            expression: z.ZodOptional<z.ZodString>;
+            artifactId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            expectedStatus: z.ZodOptional<z.ZodString>;
+            ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        maxRetries: z.ZodDefault<z.ZodNumber>;
+        budgetTokens: z.ZodOptional<z.ZodNumber>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }, {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }>;
+    maxConcurrency: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "foreach";
+    task: {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    };
+    dependsOn: string[];
+    collection: string;
+    iteratorVariable: string;
+    maxConcurrency?: number | undefined;
+}, {
+    id: string;
+    task: {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    };
+    collection: string;
+    iteratorVariable: string;
+    kind?: "foreach" | undefined;
+    dependsOn?: string[] | undefined;
+    maxConcurrency?: number | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"verify">>;
+    id: z.ZodString;
+    assertions: z.ZodArray<z.ZodString, "many">;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    kind: "verify";
+    assertions: string[];
+    dependsOn: string[];
+}, {
+    id: string;
+    assertions: string[];
+    kind?: "verify" | undefined;
+    dependsOn?: string[] | undefined;
+}>, z.ZodObject<{
+    kind: z.ZodDefault<z.ZodLiteral<"approve">>;
+    id: z.ZodString;
+    message: z.ZodString;
+    requiredRole: z.ZodOptional<z.ZodString>;
+    timeoutMs: z.ZodOptional<z.ZodNumber>;
+    dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    id: string;
+    kind: "approve";
+    dependsOn: string[];
+    timeoutMs?: number | undefined;
+    requiredRole?: string | undefined;
+}, {
+    message: string;
+    id: string;
+    kind?: "approve" | undefined;
+    timeoutMs?: number | undefined;
+    dependsOn?: string[] | undefined;
+    requiredRole?: string | undefined;
+}>]>;
+export type WorkflowNode = z.infer<typeof WorkflowNodeSchema>;
+/**
+ * Workflow Concurrency settings.
+ * PRD Part 2 Section 109.
+ */
+export declare const WorkflowConcurrencySchema: z.ZodObject<{
+    maxAgents: z.ZodDefault<z.ZodNumber>;
+    maxParallelTasks: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    maxAgents: number;
+    maxParallelTasks: number;
+}, {
+    maxAgents?: number | undefined;
+    maxParallelTasks?: number | undefined;
+}>;
+export type WorkflowConcurrency = z.infer<typeof WorkflowConcurrencySchema>;
+/**
+ * Workflow Resource & Budget constraints.
+ * PRD Part 2 Section 118 & 161.
+ */
+export declare const WorkflowBudgetSchema: z.ZodObject<{
+    maxTokens: z.ZodOptional<z.ZodNumber>;
+    maxCostUsd: z.ZodOptional<z.ZodNumber>;
+    maxDurationMs: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    maxTokens?: number | undefined;
+    maxCostUsd?: number | undefined;
+    maxDurationMs?: number | undefined;
+}, {
+    maxTokens?: number | undefined;
+    maxCostUsd?: number | undefined;
+    maxDurationMs?: number | undefined;
+}>;
+export type WorkflowBudget = z.infer<typeof WorkflowBudgetSchema>;
+/**
+ * Complete Workflow Definition contract.
+ * PRD Part 2 Section 109 & 112.
+ */
+export declare const WorkflowDefinitionSchema: z.ZodObject<{
+    id: z.ZodString;
+    projectId: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    version: z.ZodString;
+    scope: z.ZodDefault<z.ZodEnum<["built-in", "global", "profile", "project"]>>;
+    description: z.ZodOptional<z.ZodString>;
+    status: z.ZodDefault<z.ZodEnum<["DRAFT", "REGISTERED", "ACTIVE", "DEPRECATED", "DISABLED"]>>;
+    concurrency: z.ZodDefault<z.ZodObject<{
+        maxAgents: z.ZodDefault<z.ZodNumber>;
+        maxParallelTasks: z.ZodDefault<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        maxAgents: number;
+        maxParallelTasks: number;
+    }, {
+        maxAgents?: number | undefined;
+        maxParallelTasks?: number | undefined;
+    }>>;
+    budget: z.ZodOptional<z.ZodObject<{
+        maxTokens: z.ZodOptional<z.ZodNumber>;
+        maxCostUsd: z.ZodOptional<z.ZodNumber>;
+        maxDurationMs: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        maxTokens?: number | undefined;
+        maxCostUsd?: number | undefined;
+        maxDurationMs?: number | undefined;
+    }, {
+        maxTokens?: number | undefined;
+        maxCostUsd?: number | undefined;
+        maxDurationMs?: number | undefined;
+    }>>;
+    tasks: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"task">>;
+        id: z.ZodString;
+        agentId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        condition: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+            expression: z.ZodOptional<z.ZodString>;
+            artifactId: z.ZodOptional<z.ZodString>;
+            taskId: z.ZodOptional<z.ZodString>;
+            expectedStatus: z.ZodOptional<z.ZodString>;
+            ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }, {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        }>>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        maxRetries: z.ZodDefault<z.ZodNumber>;
+        budgetTokens: z.ZodOptional<z.ZodNumber>;
+        inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    }, {
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"parallel">>;
+        id: z.ZodString;
+        tasks: z.ZodArray<z.ZodObject<{
+            kind: z.ZodDefault<z.ZodLiteral<"task">>;
+            id: z.ZodString;
+            agentId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            modelProfile: z.ZodOptional<z.ZodString>;
+            dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            condition: z.ZodOptional<z.ZodObject<{
+                type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+                expression: z.ZodOptional<z.ZodString>;
+                artifactId: z.ZodOptional<z.ZodString>;
+                taskId: z.ZodOptional<z.ZodString>;
+                expectedStatus: z.ZodOptional<z.ZodString>;
+                ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            }, {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            }>>;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
+            maxRetries: z.ZodDefault<z.ZodNumber>;
+            budgetTokens: z.ZodOptional<z.ZodNumber>;
+            inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        }, {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        }>, "many">;
+        maxConcurrency: z.ZodOptional<z.ZodNumber>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "parallel";
+        dependsOn: string[];
+        tasks: {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        }[];
+        maxConcurrency?: number | undefined;
+    }, {
+        id: string;
+        tasks: {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        }[];
+        kind?: "parallel" | undefined;
+        dependsOn?: string[] | undefined;
+        maxConcurrency?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"foreach">>;
+        id: z.ZodString;
+        collection: z.ZodString;
+        iteratorVariable: z.ZodString;
+        task: z.ZodObject<{
+            kind: z.ZodDefault<z.ZodLiteral<"task">>;
+            id: z.ZodString;
+            agentId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            description: z.ZodOptional<z.ZodString>;
+            modelProfile: z.ZodOptional<z.ZodString>;
+            dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            condition: z.ZodOptional<z.ZodObject<{
+                type: z.ZodEnum<["expression", "artifact_exists", "task_status", "custom"]>;
+                expression: z.ZodOptional<z.ZodString>;
+                artifactId: z.ZodOptional<z.ZodString>;
+                taskId: z.ZodOptional<z.ZodString>;
+                expectedStatus: z.ZodOptional<z.ZodString>;
+                ifTrue: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                ifFalse: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            }, {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            }>>;
+            timeoutMs: z.ZodOptional<z.ZodNumber>;
+            maxRetries: z.ZodDefault<z.ZodNumber>;
+            budgetTokens: z.ZodOptional<z.ZodNumber>;
+            inputs: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            outputs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            requiredCapabilities: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            targetFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+            readOnlyFiles: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        }, {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        }>;
+        maxConcurrency: z.ZodOptional<z.ZodNumber>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "foreach";
+        task: {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        };
+        dependsOn: string[];
+        collection: string;
+        iteratorVariable: string;
+        maxConcurrency?: number | undefined;
+    }, {
+        id: string;
+        task: {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        };
+        collection: string;
+        iteratorVariable: string;
+        kind?: "foreach" | undefined;
+        dependsOn?: string[] | undefined;
+        maxConcurrency?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"verify">>;
+        id: z.ZodString;
+        assertions: z.ZodArray<z.ZodString, "many">;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+        kind: "verify";
+        assertions: string[];
+        dependsOn: string[];
+    }, {
+        id: string;
+        assertions: string[];
+        kind?: "verify" | undefined;
+        dependsOn?: string[] | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodDefault<z.ZodLiteral<"approve">>;
+        id: z.ZodString;
+        message: z.ZodString;
+        requiredRole: z.ZodOptional<z.ZodString>;
+        timeoutMs: z.ZodOptional<z.ZodNumber>;
+        dependsOn: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        id: string;
+        kind: "approve";
+        dependsOn: string[];
+        timeoutMs?: number | undefined;
+        requiredRole?: string | undefined;
+    }, {
+        message: string;
+        id: string;
+        kind?: "approve" | undefined;
+        timeoutMs?: number | undefined;
+        dependsOn?: string[] | undefined;
+        requiredRole?: string | undefined;
+    }>]>, "many">;
+    verify: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    metadata: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: "ACTIVE" | "DRAFT" | "REGISTERED" | "DEPRECATED" | "DISABLED";
+    name: string;
+    version: string;
+    metadata: Record<string, unknown>;
+    id: string;
+    createdAt: string;
+    updatedAt: string;
+    scope: "project" | "global" | "profile" | "built-in";
+    tasks: ({
+        id: string;
+        kind: "task";
+        agentId: string;
+        inputs: Record<string, unknown>;
+        outputs: string[];
+        requiredCapabilities: string[];
+        maxRetries: number;
+        dependsOn: string[];
+        targetFiles: string[];
+        readOnlyFiles: string[];
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+    } | {
+        id: string;
+        kind: "parallel";
+        dependsOn: string[];
+        tasks: {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        }[];
+        maxConcurrency?: number | undefined;
+    } | {
+        id: string;
+        kind: "foreach";
+        task: {
+            id: string;
+            kind: "task";
+            agentId: string;
+            inputs: Record<string, unknown>;
+            outputs: string[];
+            requiredCapabilities: string[];
+            maxRetries: number;
+            dependsOn: string[];
+            targetFiles: string[];
+            readOnlyFiles: string[];
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+        };
+        dependsOn: string[];
+        collection: string;
+        iteratorVariable: string;
+        maxConcurrency?: number | undefined;
+    } | {
+        id: string;
+        kind: "verify";
+        assertions: string[];
+        dependsOn: string[];
+    } | {
+        message: string;
+        id: string;
+        kind: "approve";
+        dependsOn: string[];
+        timeoutMs?: number | undefined;
+        requiredRole?: string | undefined;
+    })[];
+    verify: string[];
+    concurrency: {
+        maxAgents: number;
+        maxParallelTasks: number;
+    };
+    projectId?: string | undefined;
+    description?: string | undefined;
+    budget?: {
+        maxTokens?: number | undefined;
+        maxCostUsd?: number | undefined;
+        maxDurationMs?: number | undefined;
+    } | undefined;
+}, {
+    name: string;
+    version: string;
+    id: string;
+    createdAt: string;
+    updatedAt: string;
+    tasks: ({
+        id: string;
+        agentId: string;
+        kind?: "task" | undefined;
+        modelProfile?: string | undefined;
+        description?: string | undefined;
+        inputs?: Record<string, unknown> | undefined;
+        outputs?: string[] | undefined;
+        requiredCapabilities?: string[] | undefined;
+        timeoutMs?: number | undefined;
+        title?: string | undefined;
+        maxRetries?: number | undefined;
+        dependsOn?: string[] | undefined;
+        condition?: {
+            type: "custom" | "expression" | "artifact_exists" | "task_status";
+            taskId?: string | undefined;
+            expression?: string | undefined;
+            artifactId?: string | undefined;
+            expectedStatus?: string | undefined;
+            ifTrue?: string[] | undefined;
+            ifFalse?: string[] | undefined;
+        } | undefined;
+        budgetTokens?: number | undefined;
+        targetFiles?: string[] | undefined;
+        readOnlyFiles?: string[] | undefined;
+    } | {
+        id: string;
+        tasks: {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        }[];
+        kind?: "parallel" | undefined;
+        dependsOn?: string[] | undefined;
+        maxConcurrency?: number | undefined;
+    } | {
+        id: string;
+        task: {
+            id: string;
+            agentId: string;
+            kind?: "task" | undefined;
+            modelProfile?: string | undefined;
+            description?: string | undefined;
+            inputs?: Record<string, unknown> | undefined;
+            outputs?: string[] | undefined;
+            requiredCapabilities?: string[] | undefined;
+            timeoutMs?: number | undefined;
+            title?: string | undefined;
+            maxRetries?: number | undefined;
+            dependsOn?: string[] | undefined;
+            condition?: {
+                type: "custom" | "expression" | "artifact_exists" | "task_status";
+                taskId?: string | undefined;
+                expression?: string | undefined;
+                artifactId?: string | undefined;
+                expectedStatus?: string | undefined;
+                ifTrue?: string[] | undefined;
+                ifFalse?: string[] | undefined;
+            } | undefined;
+            budgetTokens?: number | undefined;
+            targetFiles?: string[] | undefined;
+            readOnlyFiles?: string[] | undefined;
+        };
+        collection: string;
+        iteratorVariable: string;
+        kind?: "foreach" | undefined;
+        dependsOn?: string[] | undefined;
+        maxConcurrency?: number | undefined;
+    } | {
+        id: string;
+        assertions: string[];
+        kind?: "verify" | undefined;
+        dependsOn?: string[] | undefined;
+    } | {
+        message: string;
+        id: string;
+        kind?: "approve" | undefined;
+        timeoutMs?: number | undefined;
+        dependsOn?: string[] | undefined;
+        requiredRole?: string | undefined;
+    })[];
+    status?: "ACTIVE" | "DRAFT" | "REGISTERED" | "DEPRECATED" | "DISABLED" | undefined;
+    metadata?: Record<string, unknown> | undefined;
+    projectId?: string | undefined;
+    scope?: "project" | "global" | "profile" | "built-in" | undefined;
+    description?: string | undefined;
+    budget?: {
+        maxTokens?: number | undefined;
+        maxCostUsd?: number | undefined;
+        maxDurationMs?: number | undefined;
+    } | undefined;
+    verify?: string[] | undefined;
+    concurrency?: {
+        maxAgents?: number | undefined;
+        maxParallelTasks?: number | undefined;
+    } | undefined;
+}>;
+export type WorkflowDefinition = z.infer<typeof WorkflowDefinitionSchema>;
+/**
+ * Computed Workflow DAG representation with topological waves.
+ * PRD Part 2 Section 116.
+ */
+export declare const WorkflowDAGSchema: z.ZodObject<{
+    workflowId: z.ZodString;
+    nodeIds: z.ZodArray<z.ZodString, "many">;
+    adjacencyList: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>;
+    reverseAdjacency: z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>;
+    inDegree: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    levels: z.ZodArray<z.ZodArray<z.ZodString, "many">, "many">;
+    hasCycles: z.ZodBoolean;
+    cycleNodes: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    workflowId: string;
+    nodeIds: string[];
+    adjacencyList: Record<string, string[]>;
+    reverseAdjacency: Record<string, string[]>;
+    inDegree: Record<string, number>;
+    levels: string[][];
+    hasCycles: boolean;
+    cycleNodes?: string[] | undefined;
+}, {
+    workflowId: string;
+    nodeIds: string[];
+    adjacencyList: Record<string, string[]>;
+    reverseAdjacency: Record<string, string[]>;
+    inDegree: Record<string, number>;
+    levels: string[][];
+    hasCycles: boolean;
+    cycleNodes?: string[] | undefined;
+}>;
+export type WorkflowDAG = z.infer<typeof WorkflowDAGSchema>;
+/**
+ * Pinned Versions snapshot for active workflow run.
+ * PRD Part 2 Section 112: "A workflow run must pin workflow version, plugin versions, skill versions, agent versions, model profile."
+ */
+export declare const PinnedVersionsSchema: z.ZodObject<{
+    workflowVersion: z.ZodString;
+    pluginVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    skillVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    agentVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    modelProfile: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    workflowVersion: string;
+    pluginVersions: Record<string, string>;
+    skillVersions: Record<string, string>;
+    agentVersions: Record<string, string>;
+    modelProfile?: string | undefined;
+}, {
+    workflowVersion: string;
+    modelProfile?: string | undefined;
+    pluginVersions?: Record<string, string> | undefined;
+    skillVersions?: Record<string, string> | undefined;
+    agentVersions?: Record<string, string> | undefined;
+}>;
+export type PinnedVersions = z.infer<typeof PinnedVersionsSchema>;
+/**
+ * Workflow Node Execution Status lifecycle.
+ */
+export declare const WorkflowNodeStatusSchema: z.ZodEnum<["PENDING", "READY", "RUNNING", "WAITING_APPROVAL", "COMPLETED", "FAILED", "SKIPPED", "TIMED_OUT", "CANCELLED"]>;
+export type WorkflowNodeStatus = z.infer<typeof WorkflowNodeStatusSchema>;
+/**
+ * Detailed state tracking per node.
+ */
+export declare const WorkflowNodeStateSchema: z.ZodObject<{
+    status: z.ZodDefault<z.ZodEnum<["PENDING", "READY", "RUNNING", "WAITING_APPROVAL", "COMPLETED", "FAILED", "SKIPPED", "TIMED_OUT", "CANCELLED"]>>;
+    attempts: z.ZodDefault<z.ZodNumber>;
+    startedAt: z.ZodOptional<z.ZodString>;
+    completedAt: z.ZodOptional<z.ZodString>;
+    error: z.ZodOptional<z.ZodString>;
+    result: z.ZodOptional<z.ZodUnknown>;
+}, "strip", z.ZodTypeAny, {
+    status: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT";
+    attempts: number;
+    error?: string | undefined;
+    result?: unknown;
+    startedAt?: string | undefined;
+    completedAt?: string | undefined;
+}, {
+    status?: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT" | undefined;
+    error?: string | undefined;
+    attempts?: number | undefined;
+    result?: unknown;
+    startedAt?: string | undefined;
+    completedAt?: string | undefined;
+}>;
+export type WorkflowNodeState = z.infer<typeof WorkflowNodeStateSchema>;
+/**
+ * Budget and resource consumption tracking for active workflow runs.
+ */
+export declare const WorkflowBudgetConsumptionSchema: z.ZodObject<{
+    tokens: z.ZodDefault<z.ZodNumber>;
+    costUsd: z.ZodDefault<z.ZodNumber>;
+    durationMs: z.ZodDefault<z.ZodNumber>;
+    toolCalls: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    toolCalls: number;
+    costUsd: number;
+    durationMs: number;
+    tokens: number;
+}, {
+    toolCalls?: number | undefined;
+    costUsd?: number | undefined;
+    durationMs?: number | undefined;
+    tokens?: number | undefined;
+}>;
+export type WorkflowBudgetConsumption = z.infer<typeof WorkflowBudgetConsumptionSchema>;
+/**
+ * Per-node Foreach execution state.
+ */
+export declare const WorkflowForeachStateSchema: z.ZodObject<{
+    totalItems: z.ZodDefault<z.ZodNumber>;
+    completedItems: z.ZodDefault<z.ZodNumber>;
+    failedItems: z.ZodDefault<z.ZodNumber>;
+    itemResults: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    totalItems: number;
+    completedItems: number;
+    failedItems: number;
+    itemResults: Record<string, unknown>;
+}, {
+    totalItems?: number | undefined;
+    completedItems?: number | undefined;
+    failedItems?: number | undefined;
+    itemResults?: Record<string, unknown> | undefined;
+}>;
+export type WorkflowForeachState = z.infer<typeof WorkflowForeachStateSchema>;
+/**
+ * Active Approval Gate state attached to workflow run.
+ */
+export declare const WorkflowApprovalGateSchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    message: z.ZodString;
+    requiredRole: z.ZodOptional<z.ZodString>;
+    requestedAt: z.ZodString;
+    approvedAt: z.ZodOptional<z.ZodString>;
+    approvedBy: z.ZodOptional<z.ZodString>;
+    decision: z.ZodOptional<z.ZodEnum<["APPROVED", "REJECTED"]>>;
+}, "strip", z.ZodTypeAny, {
+    message: string;
+    nodeId: string;
+    requestedAt: string;
+    decision?: "REJECTED" | "APPROVED" | undefined;
+    requiredRole?: string | undefined;
+    approvedAt?: string | undefined;
+    approvedBy?: string | undefined;
+}, {
+    message: string;
+    nodeId: string;
+    requestedAt: string;
+    decision?: "REJECTED" | "APPROVED" | undefined;
+    requiredRole?: string | undefined;
+    approvedAt?: string | undefined;
+    approvedBy?: string | undefined;
+}>;
+export type WorkflowApprovalGate = z.infer<typeof WorkflowApprovalGateSchema>;
+/**
+ * Workflow Run instance state.
+ * PRD Part 2 Section 113.
+ */
+export declare const WorkflowRunSchema: z.ZodObject<{
+    id: z.ZodString;
+    workflowId: z.ZodString;
+    projectId: z.ZodOptional<z.ZodString>;
+    sessionId: z.ZodString;
+    status: z.ZodDefault<z.ZodEnum<["QUEUED", "RUNNING", "PAUSED", "WAITING_APPROVAL", "COMPLETED", "FAILED", "CANCELLED"]>>;
+    currentStepIndex: z.ZodDefault<z.ZodNumber>;
+    completedTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    failedTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    runningTasks: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    taskResults: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    nodeStates: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        status: z.ZodDefault<z.ZodEnum<["PENDING", "READY", "RUNNING", "WAITING_APPROVAL", "COMPLETED", "FAILED", "SKIPPED", "TIMED_OUT", "CANCELLED"]>>;
+        attempts: z.ZodDefault<z.ZodNumber>;
+        startedAt: z.ZodOptional<z.ZodString>;
+        completedAt: z.ZodOptional<z.ZodString>;
+        error: z.ZodOptional<z.ZodString>;
+        result: z.ZodOptional<z.ZodUnknown>;
+    }, "strip", z.ZodTypeAny, {
+        status: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT";
+        attempts: number;
+        error?: string | undefined;
+        result?: unknown;
+        startedAt?: string | undefined;
+        completedAt?: string | undefined;
+    }, {
+        status?: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT" | undefined;
+        error?: string | undefined;
+        attempts?: number | undefined;
+        result?: unknown;
+        startedAt?: string | undefined;
+        completedAt?: string | undefined;
+    }>>>;
+    budgetConsumption: z.ZodDefault<z.ZodObject<{
+        tokens: z.ZodDefault<z.ZodNumber>;
+        costUsd: z.ZodDefault<z.ZodNumber>;
+        durationMs: z.ZodDefault<z.ZodNumber>;
+        toolCalls: z.ZodDefault<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        toolCalls: number;
+        costUsd: number;
+        durationMs: number;
+        tokens: number;
+    }, {
+        toolCalls?: number | undefined;
+        costUsd?: number | undefined;
+        durationMs?: number | undefined;
+        tokens?: number | undefined;
+    }>>;
+    foreachStates: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        totalItems: z.ZodDefault<z.ZodNumber>;
+        completedItems: z.ZodDefault<z.ZodNumber>;
+        failedItems: z.ZodDefault<z.ZodNumber>;
+        itemResults: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, "strip", z.ZodTypeAny, {
+        totalItems: number;
+        completedItems: number;
+        failedItems: number;
+        itemResults: Record<string, unknown>;
+    }, {
+        totalItems?: number | undefined;
+        completedItems?: number | undefined;
+        failedItems?: number | undefined;
+        itemResults?: Record<string, unknown> | undefined;
+    }>>>;
+    approvalGate: z.ZodOptional<z.ZodObject<{
+        nodeId: z.ZodString;
+        message: z.ZodString;
+        requiredRole: z.ZodOptional<z.ZodString>;
+        requestedAt: z.ZodString;
+        approvedAt: z.ZodOptional<z.ZodString>;
+        approvedBy: z.ZodOptional<z.ZodString>;
+        decision: z.ZodOptional<z.ZodEnum<["APPROVED", "REJECTED"]>>;
+    }, "strip", z.ZodTypeAny, {
+        message: string;
+        nodeId: string;
+        requestedAt: string;
+        decision?: "REJECTED" | "APPROVED" | undefined;
+        requiredRole?: string | undefined;
+        approvedAt?: string | undefined;
+        approvedBy?: string | undefined;
+    }, {
+        message: string;
+        nodeId: string;
+        requestedAt: string;
+        decision?: "REJECTED" | "APPROVED" | undefined;
+        requiredRole?: string | undefined;
+        approvedAt?: string | undefined;
+        approvedBy?: string | undefined;
+    }>>;
+    pinnedVersions: z.ZodObject<{
+        workflowVersion: z.ZodString;
+        pluginVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        skillVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        agentVersions: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+        modelProfile: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        workflowVersion: string;
+        pluginVersions: Record<string, string>;
+        skillVersions: Record<string, string>;
+        agentVersions: Record<string, string>;
+        modelProfile?: string | undefined;
+    }, {
+        workflowVersion: string;
+        modelProfile?: string | undefined;
+        pluginVersions?: Record<string, string> | undefined;
+        skillVersions?: Record<string, string> | undefined;
+        agentVersions?: Record<string, string> | undefined;
+    }>;
+    startedAt: z.ZodString;
+    completedAt: z.ZodOptional<z.ZodString>;
+    errorMessage: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    status: "PAUSED" | "COMPLETED" | "CANCELLED" | "FAILED" | "QUEUED" | "RUNNING" | "WAITING_APPROVAL";
+    id: string;
+    sessionId: string;
+    startedAt: string;
+    workflowId: string;
+    currentStepIndex: number;
+    completedTasks: string[];
+    failedTasks: string[];
+    runningTasks: string[];
+    taskResults: Record<string, unknown>;
+    nodeStates: Record<string, {
+        status: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT";
+        attempts: number;
+        error?: string | undefined;
+        result?: unknown;
+        startedAt?: string | undefined;
+        completedAt?: string | undefined;
+    }>;
+    budgetConsumption: {
+        toolCalls: number;
+        costUsd: number;
+        durationMs: number;
+        tokens: number;
+    };
+    foreachStates: Record<string, {
+        totalItems: number;
+        completedItems: number;
+        failedItems: number;
+        itemResults: Record<string, unknown>;
+    }>;
+    pinnedVersions: {
+        workflowVersion: string;
+        pluginVersions: Record<string, string>;
+        skillVersions: Record<string, string>;
+        agentVersions: Record<string, string>;
+        modelProfile?: string | undefined;
+    };
+    projectId?: string | undefined;
+    errorMessage?: string | undefined;
+    completedAt?: string | undefined;
+    approvalGate?: {
+        message: string;
+        nodeId: string;
+        requestedAt: string;
+        decision?: "REJECTED" | "APPROVED" | undefined;
+        requiredRole?: string | undefined;
+        approvedAt?: string | undefined;
+        approvedBy?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    sessionId: string;
+    startedAt: string;
+    workflowId: string;
+    pinnedVersions: {
+        workflowVersion: string;
+        modelProfile?: string | undefined;
+        pluginVersions?: Record<string, string> | undefined;
+        skillVersions?: Record<string, string> | undefined;
+        agentVersions?: Record<string, string> | undefined;
+    };
+    status?: "PAUSED" | "COMPLETED" | "CANCELLED" | "FAILED" | "QUEUED" | "RUNNING" | "WAITING_APPROVAL" | undefined;
+    projectId?: string | undefined;
+    errorMessage?: string | undefined;
+    completedAt?: string | undefined;
+    currentStepIndex?: number | undefined;
+    completedTasks?: string[] | undefined;
+    failedTasks?: string[] | undefined;
+    runningTasks?: string[] | undefined;
+    taskResults?: Record<string, unknown> | undefined;
+    nodeStates?: Record<string, {
+        status?: "COMPLETED" | "CANCELLED" | "FAILED" | "READY" | "PENDING" | "RUNNING" | "WAITING_APPROVAL" | "SKIPPED" | "TIMED_OUT" | undefined;
+        error?: string | undefined;
+        attempts?: number | undefined;
+        result?: unknown;
+        startedAt?: string | undefined;
+        completedAt?: string | undefined;
+    }> | undefined;
+    budgetConsumption?: {
+        toolCalls?: number | undefined;
+        costUsd?: number | undefined;
+        durationMs?: number | undefined;
+        tokens?: number | undefined;
+    } | undefined;
+    foreachStates?: Record<string, {
+        totalItems?: number | undefined;
+        completedItems?: number | undefined;
+        failedItems?: number | undefined;
+        itemResults?: Record<string, unknown> | undefined;
+    }> | undefined;
+    approvalGate?: {
+        message: string;
+        nodeId: string;
+        requestedAt: string;
+        decision?: "REJECTED" | "APPROVED" | undefined;
+        requiredRole?: string | undefined;
+        approvedAt?: string | undefined;
+        approvedBy?: string | undefined;
+    } | undefined;
+}>;
+export type WorkflowRun = z.infer<typeof WorkflowRunSchema>;
+//# sourceMappingURL=workflow.d.ts.map