anantham-v2 2.0.0-alpha.1

package/dist/workflow/workflow-engine.js

@@ -0,0 +1,241 @@
+import { randomUUID } from "node:crypto";
+import { EventTypes } from "../domain/event.js";
+import { WorkflowExecutor } from "./workflow-executor.js";
+/**
+ * Top-Level Workflow Orchestration Engine.
+ * Manages the full lifecycle of workflows and active runs:
+ * start, pause, resume, cancel, approval gates, and crash recovery.
+ * PRD Part 2 Section 109–135.
+ */
+export class WorkflowEngine {
+    workflowRepo;
+    registry;
+    executor;
+    eventStore;
+    constructor(options) {
+        this.workflowRepo = options.workflowRepo;
+        this.registry = options.registry;
+        this.eventStore = options.eventStore;
+        this.executor = new WorkflowExecutor({
+            workflowRepo: this.workflowRepo,
+            eventStore: this.eventStore,
+            taskDispatcher: options.taskDispatcher,
+        });
+    }
+    /**
+     * Start and execute a new workflow run.
+     */
+    async startWorkflow(workflowOrName, sessionId, options) {
+        let workflow;
+        if (typeof workflowOrName === "string") {
+            workflow =
+                this.registry.resolve(workflowOrName, { projectId: options?.projectId }) ||
+                    this.registry.getById(workflowOrName);
+            if (!workflow) {
+                throw new Error(`Workflow "${workflowOrName}" could not be resolved in scope.`);
+            }
+        }
+        else {
+            workflow = workflowOrName;
+            // Ensure registered
+            if (!this.registry.getById(workflow.id)) {
+                this.registry.register(workflow);
+            }
+        }
+        // 1. Create durable run with pinned versions
+        const run = this.registry.createWorkflowRun(workflow, sessionId, options?.environmentContext);
+        // 2. Execute via WorkflowExecutor
+        return this.executor.execute(run, workflow);
+    }
+    /**
+     * Pause an active workflow run.
+     */
+    async pauseWorkflow(runId, reason = "Workflow paused") {
+        const run = this.workflowRepo.findWorkflowRunById(runId);
+        if (!run) {
+            throw new Error(`Workflow run "${runId}" not found.`);
+        }
+        if (run.status !== "RUNNING" && run.status !== "QUEUED") {
+            throw new Error(`Cannot pause workflow run in status "${run.status}".`);
+        }
+        run.status = "PAUSED";
+        let committedEvent = null;
+        this.workflowRepo.sqliteEngine.transaction(() => {
+            this.workflowRepo.saveWorkflowRun(run);
+            if (this.eventStore) {
+                committedEvent = this.eventStore.appendWithinTransaction({
+                    id: randomUUID(),
+                    schemaVersion: 1,
+                    actor: "system",
+                    timestamp: new Date().toISOString(),
+                    type: EventTypes.WORKFLOW_PAUSED,
+                    projectId: run.projectId,
+                    sessionId: run.sessionId,
+                    payload: { runId, reason },
+                });
+            }
+        });
+        if (this.eventStore && committedEvent) {
+            this.eventStore.notifyCommitted([committedEvent]);
+        }
+        return run;
+    }
+    /**
+     * Resume a paused workflow run.
+     */
+    async resumeWorkflow(runId) {
+        const run = this.workflowRepo.findWorkflowRunById(runId);
+        if (!run) {
+            throw new Error(`Workflow run "${runId}" not found.`);
+        }
+        if (run.status !== "PAUSED" && run.status !== "WAITING_APPROVAL") {
+            throw new Error(`Cannot resume workflow run in status "${run.status}".`);
+        }
+        const workflow = this.workflowRepo.findWorkflowById(run.workflowId);
+        if (!workflow) {
+            throw new Error(`Pinned workflow definition "${run.workflowId}" not found.`);
+        }
+        run.status = "RUNNING";
+        let committedEvent = null;
+        this.workflowRepo.sqliteEngine.transaction(() => {
+            this.workflowRepo.saveWorkflowRun(run);
+            if (this.eventStore) {
+                committedEvent = this.eventStore.appendWithinTransaction({
+                    id: randomUUID(),
+                    schemaVersion: 1,
+                    actor: "system",
+                    timestamp: new Date().toISOString(),
+                    type: EventTypes.WORKFLOW_RESUMED,
+                    projectId: run.projectId,
+                    sessionId: run.sessionId,
+                    payload: { runId },
+                });
+            }
+        });
+        if (this.eventStore && committedEvent) {
+            this.eventStore.notifyCommitted([committedEvent]);
+        }
+        return this.executor.execute(run, workflow);
+    }
+    /**
+     * Cancel an active workflow run.
+     */
+    async cancelWorkflow(runId, reason = "User cancellation") {
+        const run = this.workflowRepo.findWorkflowRunById(runId);
+        if (!run) {
+            throw new Error(`Workflow run "${runId}" not found.`);
+        }
+        const terminalStatuses = ["COMPLETED", "FAILED", "CANCELLED"];
+        if (terminalStatuses.includes(run.status)) {
+            return run;
+        }
+        run.status = "CANCELLED";
+        run.completedAt = new Date().toISOString();
+        run.errorMessage = reason;
+        // Mark running tasks cancelled
+        for (const nodeId of run.runningTasks) {
+            if (run.nodeStates[nodeId]) {
+                run.nodeStates[nodeId].status = "CANCELLED";
+                run.nodeStates[nodeId].completedAt = new Date().toISOString();
+            }
+            else {
+                run.nodeStates[nodeId] = {
+                    status: "CANCELLED",
+                    attempts: 1,
+                    completedAt: new Date().toISOString(),
+                };
+            }
+        }
+        run.runningTasks = [];
+        let committedEvent = null;
+        this.workflowRepo.sqliteEngine.transaction(() => {
+            this.workflowRepo.saveWorkflowRun(run);
+            if (this.eventStore) {
+                committedEvent = this.eventStore.appendWithinTransaction({
+                    id: randomUUID(),
+                    schemaVersion: 1,
+                    actor: "system",
+                    timestamp: new Date().toISOString(),
+                    type: EventTypes.WORKFLOW_CANCELLED,
+                    projectId: run.projectId,
+                    sessionId: run.sessionId,
+                    payload: { runId, reason },
+                });
+            }
+        });
+        if (this.eventStore && committedEvent) {
+            this.eventStore.notifyCommitted([committedEvent]);
+        }
+        return run;
+    }
+    /**
+     * Authoritative external human approval resolution for a waiting gate.
+     */
+    async approveGate(runId, nodeId, approval) {
+        const run = this.workflowRepo.findWorkflowRunById(runId);
+        if (!run) {
+            throw new Error(`Workflow run "${runId}" not found.`);
+        }
+        if (run.status !== "WAITING_APPROVAL") {
+            throw new Error(`Workflow run "${runId}" is not waiting for approval (status: "${run.status}").`);
+        }
+        if (run.approvalGate?.nodeId !== nodeId) {
+            throw new Error(`Approval gate mismatch: expected node "${run.approvalGate?.nodeId}", received "${nodeId}".`);
+        }
+        const workflow = this.workflowRepo.findWorkflowById(run.workflowId);
+        if (!workflow) {
+            throw new Error(`Workflow definition "${run.workflowId}" not found.`);
+        }
+        const now = new Date().toISOString();
+        if (approval.decision === "REJECTED") {
+            run.status = "FAILED";
+            run.completedAt = now;
+            run.errorMessage = `Approval gate rejected for node "${nodeId}": ${approval.notes || "No reason provided"}.`;
+            run.approvalGate.decision = "REJECTED";
+            run.approvalGate.approvedAt = now;
+            run.approvalGate.approvedBy = approval.approverId || "human_reviewer";
+            run.nodeStates[nodeId] = {
+                status: "FAILED",
+                attempts: 1,
+                completedAt: now,
+                error: run.errorMessage,
+            };
+            run.failedTasks.push(nodeId);
+            this.workflowRepo.saveWorkflowRun(run);
+            if (this.eventStore) {
+                this.eventStore.append({
+                    id: randomUUID(),
+                    schemaVersion: 1,
+                    actor: "user",
+                    timestamp: now,
+                    type: EventTypes.WORKFLOW_FAILED,
+                    projectId: run.projectId,
+                    sessionId: run.sessionId,
+                    payload: { runId, nodeId, reason: run.errorMessage, approverId: approval.approverId },
+                });
+            }
+            return run;
+        }
+        // Approved: mark node completed and resume DAG execution
+        run.approvalGate.decision = "APPROVED";
+        run.approvalGate.approvedAt = now;
+        run.approvalGate.approvedBy = approval.approverId || "human_reviewer";
+        run.nodeStates[nodeId] = {
+            status: "COMPLETED",
+            attempts: 1,
+            completedAt: now,
+            result: { approved: true, approver: run.approvalGate.approvedBy },
+        };
+        run.completedTasks.push(nodeId);
+        run.status = "RUNNING";
+        this.workflowRepo.saveWorkflowRun(run);
+        return this.executor.execute(run, workflow);
+    }
+    /**
+     * Get the current live state of a workflow run.
+     */
+    getRunStatus(runId) {
+        return this.workflowRepo.findWorkflowRunById(runId);
+    }
+}
+//# sourceMappingURL=workflow-engine.js.map

package/dist/workflow/workflow-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-engine.js","sourceRoot":"","sources":["../../src/workflow/workflow-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,EAAE,gBAAgB,EAAyB,MAAM,wBAAwB,CAAC;AAmBjF;;;;;GAKG;AACH,MAAM,OAAO,cAAc;IACR,YAAY,CAAqB;IACjC,QAAQ,CAAmB;IAC3B,QAAQ,CAAmB;IAC3B,UAAU,CAAc;IAEzC,YAAY,OAKX;QACC,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QACrC,IAAI,CAAC,QAAQ,GAAG,IAAI,gBAAgB,CAAC;YACnC,YAAY,EAAE,IAAI,CAAC,YAAY;YAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,cAAc,EAAE,OAAO,CAAC,cAAc;SACvC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,aAAa,CACxB,cAA2C,EAC3C,SAAiB,EACjB,OAA8B;QAE9B,IAAI,QAAmC,CAAC;QAExC,IAAI,OAAO,cAAc,KAAK,QAAQ,EAAE,CAAC;YACvC,QAAQ;gBACN,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;oBACxE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,KAAK,CAAC,aAAa,cAAc,mCAAmC,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,cAAc,CAAC;YAC1B,oBAAoB;YACpB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CACzC,QAAQ,EACR,SAAS,EACT,OAAO,EAAE,kBAAkB,CAC5B,CAAC;QAEF,kCAAkC;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,aAAa,CAAC,KAAa,EAAE,MAAM,GAAG,iBAAiB;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,cAAc,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,wCAAwC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;QAC1E,CAAC;QAED,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC;QAEtB,IAAI,cAAc,GAAQ,IAAI,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,EAAE;YAC9C,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC;oBACvD,EAAE,EAAE,UAAU,EAAE;oBAChB,aAAa,EAAE,CAAC;oBAChB,KAAK,EAAE,QAAQ;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,IAAI,EAAE,UAAU,CAAC,eAAe;oBAChC,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,UAAU,IAAI,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,cAAc,CAAC,KAAa;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,cAAc,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,yCAAyC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,CAAC,UAAU,cAAc,CAAC,CAAC;QAC/E,CAAC;QAED,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC;QAEvB,IAAI,cAAc,GAAQ,IAAI,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,EAAE;YAC9C,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC;oBACvD,EAAE,EAAE,UAAU,EAAE;oBAChB,aAAa,EAAE,CAAC;oBAChB,KAAK,EAAE,QAAQ;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,IAAI,EAAE,UAAU,CAAC,gBAAgB;oBACjC,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,EAAE,KAAK,EAAE;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,UAAU,IAAI,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,cAAc,CAAC,KAAa,EAAE,MAAM,GAAG,mBAAmB;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,cAAc,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC9D,IAAI,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,OAAO,GAAG,CAAC;QACb,CAAC;QAED,GAAG,CAAC,MAAM,GAAG,WAAW,CAAC;QACzB,GAAG,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3C,GAAG,CAAC,YAAY,GAAG,MAAM,CAAC;QAE1B,+BAA+B;QAC/B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACtC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,GAAG,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC,MAAM,GAAG,WAAW,CAAC;gBAC7C,GAAG,CAAC,UAAU,CAAC,MAAM,CAAE,CAAC,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG;oBACvB,MAAM,EAAE,WAAW;oBACnB,QAAQ,EAAE,CAAC;oBACX,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACtC,CAAC;YACJ,CAAC;QACH,CAAC;QACD,GAAG,CAAC,YAAY,GAAG,EAAE,CAAC;QAEtB,IAAI,cAAc,GAAQ,IAAI,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC,WAAW,CAAC,GAAG,EAAE;YAC9C,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,uBAAuB,CAAC;oBACvD,EAAE,EAAE,UAAU,EAAE;oBAChB,aAAa,EAAE,CAAC;oBAChB,KAAK,EAAE,QAAQ;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;oBACnC,IAAI,EAAE,UAAU,CAAC,kBAAkB;oBACnC,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,CAAC,UAAU,IAAI,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC;IAGD;;OAEG;IACI,KAAK,CAAC,WAAW,CACtB,KAAa,EACb,MAAc,EACd,QAAuB;QAEvB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,cAAc,CAAC,CAAC;QACxD,CAAC;QAED,IAAI,GAAG,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,2CAA2C,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC;QACpG,CAAC;QAED,IAAI,GAAG,CAAC,YAAY,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,CAAC,YAAY,EAAE,MAAM,gBAAgB,MAAM,IAAI,CAAC,CAAC;QAChH,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,CAAC,UAAU,cAAc,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAErC,IAAI,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACrC,GAAG,CAAC,MAAM,GAAG,QAAQ,CAAC;YACtB,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC;YACtB,GAAG,CAAC,YAAY,GAAG,oCAAoC,MAAM,MAAM,QAAQ,CAAC,KAAK,IAAI,oBAAoB,GAAG,CAAC;YAC7G,GAAG,CAAC,YAAY,CAAC,QAAQ,GAAG,UAAU,CAAC;YACvC,GAAG,CAAC,YAAY,CAAC,UAAU,GAAG,GAAG,CAAC;YAClC,GAAG,CAAC,YAAY,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,gBAAgB,CAAC;YACtE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG;gBACvB,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,GAAG;gBAChB,KAAK,EAAE,GAAG,CAAC,YAAY;aACxB,CAAC;YACF,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;YAEvC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;oBACrB,EAAE,EAAE,UAAU,EAAE;oBAChB,aAAa,EAAE,CAAC;oBAChB,KAAK,EAAE,MAAM;oBACb,SAAS,EAAE,GAAG;oBACd,IAAI,EAAE,UAAU,CAAC,eAAe;oBAChC,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE;iBACtF,CAAC,CAAC;YACL,CAAC;YAED,OAAO,GAAG,CAAC;QACb,CAAC;QAED,yDAAyD;QACzD,GAAG,CAAC,YAAY,CAAC,QAAQ,GAAG,UAAU,CAAC;QACvC,GAAG,CAAC,YAAY,CAAC,UAAU,GAAG,GAAG,CAAC;QAClC,GAAG,CAAC,YAAY,CAAC,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,gBAAgB,CAAC;QACtE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG;YACvB,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,GAAG;YAChB,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE;SAClE,CAAC;QACF,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,GAAG,CAAC,MAAM,GAAG,SAAS,CAAC;QACvB,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAEvC,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED;;OAEG;IACI,YAAY,CAAC,KAAa;QAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;CACF"}

package/dist/workflow/workflow-executor.d.ts

@@ -0,0 +1,54 @@
+import { type WorkflowDefinition, type WorkflowRun, type WorkflowTaskNode } from "../domain/workflow.js";
+import { EventStore } from "../event-state/event-store.js";
+import { WorkflowRepository } from "../persistence/repositories/workflow-repository.js";
+import { DAGEngine } from "./dag-engine.js";
+import { ConditionEvaluator } from "./condition-evaluator.js";
+import { WorkflowRetryHandler } from "./workflow-retry-handler.js";
+export type TaskDispatcherFn = (node: WorkflowTaskNode, run: WorkflowRun, context: {
+    itemIndex?: number;
+    itemValue?: unknown;
+}) => Promise<{
+    status: "completed" | "failed";
+    result?: unknown;
+    error?: string;
+    tokensUsed?: number;
+    costUsd?: number;
+}>;
+export interface WorkflowExecutorOptions {
+    workflowRepo: WorkflowRepository;
+    eventStore?: EventStore;
+    dagEngine?: DAGEngine;
+    conditionEvaluator?: ConditionEvaluator;
+    retryHandler?: WorkflowRetryHandler;
+    taskDispatcher?: TaskDispatcherFn;
+}
+/**
+ * Authoritative Workflow Execution Engine.
+ * Coordinates topological DAG execution, parallel branches, foreach expansion,
+ * condition evaluation, objective verification, restart-safe approvals, and budget tracking.
+ * PRD Part 2 Section 109–135.
+ */
+export declare class WorkflowExecutor {
+    private readonly workflowRepo;
+    private readonly eventStore?;
+    private readonly dagEngine;
+    private readonly conditionEvaluator;
+    private readonly retryHandler;
+    private readonly taskDispatcher;
+    constructor(options: WorkflowExecutorOptions);
+    /**
+     * Execute or resume a workflow run according to its DAG.
+     */
+    execute(run: WorkflowRun, workflow: WorkflowDefinition, options?: {
+        abortSignal?: AbortSignal;
+    }): Promise<WorkflowRun>;
+    private executeNode;
+    private executeTaskWithRetries;
+    private executeParallelNode;
+    private executeForeachNode;
+    private executeVerifyNode;
+    private executeApproveNode;
+    private withTimeout;
+    private emitEvent;
+}
+//# sourceMappingURL=workflow-executor.d.ts.map

package/dist/workflow/workflow-executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-executor.d.ts","sourceRoot":"","sources":["../../src/workflow/workflow-executor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAEhB,KAAK,gBAAgB,EAKtB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oDAAoD,CAAC;AACxF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,MAAM,MAAM,gBAAgB,GAAG,CAC7B,IAAI,EAAE,gBAAgB,EACtB,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,KACjD,OAAO,CAAC;IACX,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,WAAW,uBAAuB;IACtC,YAAY,EAAE,kBAAkB,CAAC;IACjC,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,cAAc,CAAC,EAAE,gBAAgB,CAAC;CACnC;AAED;;;;;GAKG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAqB;IAClD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAa;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAY;IACtC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAuB;IACpD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAmB;gBAEtC,OAAO,EAAE,uBAAuB;IAgB5C;;OAEG;IACU,OAAO,CAClB,GAAG,EAAE,WAAW,EAChB,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,CAAC,EAAE;QAAE,WAAW,CAAC,EAAE,WAAW,CAAA;KAAE,GACtC,OAAO,CAAC,WAAW,CAAC;YAqJT,WAAW;YAsEX,sBAAsB;YAkDtB,mBAAmB;YA+BnB,kBAAkB;YA8DlB,iBAAiB;IA2B/B,OAAO,CAAC,kBAAkB;YAgBZ,WAAW;IAmBzB,OAAO,CAAC,SAAS;CAiBlB"}