@elie-laloum/outpost 2.0.0 → 4.0.0

package/dist/domain/workflow/gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gates.js","sourceRoot":"","sources":["../../../src/domain/workflow/gates.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAOzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,SAAS,QAAQ,CACf,IAA0B,EAC1B,OAA4B;IAE5B,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,OAAO,IAAI,CAAC;QACV,GAAG,EAAE,OAAO,CAAC,GAAG;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE;QAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;YAClB,IAAI;YACJ,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;SAC3C,CAAC;QACF,OAAO;YACL,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,OAA4B;IAE5B,OAAO,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,OAA4B;IAE5B,OAAO,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAU,EACV,OAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAK,CAAC;IACxB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QACzC,GAAG,IAAI;QACP,EAAE,EAAE,UAAU,EAAE;QAChB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACtC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/B,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,OAA+B;IAE/B,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACnE,MAAM,CAAC,MAAM,CAAC;QACZ,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC,CACH,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,EAAE,KAAK,CAAC;QAC9B,IACE,CAAC,MAAM;YACP,CAAC,OAAO;YACR,MAAM,CAAC,MAAM,KAAK,QAAQ;YAC1B,MAAM,CAAC,QAAQ;YACf,QAAQ,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;YAC5C,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE;YACjC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YACtB,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;YAClC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YACxC,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;YACnC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;YACvB,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YAEhE,MAAM,IAAI,KAAK,CACb,8CAA8C,QAAQ,CAAC,GAAG,EAAE,CAC7D,CAAC;QACJ,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,OAA+B,EAC/B,SAA4C;IAE5C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAC5D,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACjC,MAAM,CAAC,KAAK,GAAG,GAAG,IAAI,CAAC,GAAG,gBAAgB,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC/E,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC","sourcesContent":["import { randomUUID } from \"node:crypto\";\nimport type { Task, WorkflowExecutionState } from \"../workflow.types.ts\";\nimport type {\n  WorkflowDecisionRecord,\n  WorkflowGate,\n  WorkflowGateOptions,\n} from \"./gates.types.ts\";\nimport { task } from \"./task.ts\";\nimport { gateActions } from \"./gates.constants.ts\";\nimport { validateGate } from \"./gate-validation.ts\";\n\nfunction gateTask(\n  kind: WorkflowGate[\"kind\"],\n  options: WorkflowGateOptions,\n): Task<WorkflowDecisionRecord> {\n  validateGate({ kind, prompt: options.prompt, actors: options.actors });\n  return task({\n    key: options.key,\n    after: options.after ?? [],\n    gate: Object.freeze({\n      kind,\n      prompt: options.prompt,\n      actors: Object.freeze([...options.actors]),\n    }),\n    perform() {\n      throw new Error(\"Workflow gates must be scheduled with a checkpoint\");\n    },\n  });\n}\n\nexport function approvalTask(\n  options: WorkflowGateOptions,\n): Task<WorkflowDecisionRecord> {\n  return gateTask(\"approval\", options);\n}\n\nexport function pauseTask(\n  options: WorkflowGateOptions,\n): Task<WorkflowDecisionRecord> {\n  return gateTask(\"pause\", options);\n}\n\nexport async function pauseGate(\n  item: Task,\n  runtime: WorkflowExecutionState,\n): Promise<void> {\n  const gate = item.gate!;\n  runtime.record(item).pause = Object.freeze({\n    ...gate,\n    id: randomUUID(),\n    requestedAt: new Date().toISOString(),\n  });\n  runtime.finish(item, \"paused\");\n  await runtime.persist();\n}\n\nexport function prepareDecisions(\n  runtime: WorkflowExecutionState,\n): readonly WorkflowDecisionRecord[] {\n  const decisions = (runtime.options.decisions ?? []).map((decision) =>\n    Object.freeze({\n      executionId: decision.executionId,\n      key: decision.key,\n      requestId: decision.requestId,\n      action: decision.action,\n      actor: decision.actor,\n      reason: decision.reason,\n      decidedAt: new Date().toISOString(),\n    }),\n  );\n  const pending = new Map(\n    [...runtime.records.keys()].map((item) => [item.key, item]),\n  );\n  const seen = new Set<string>();\n  for (const decision of decisions) {\n    const item = pending.get(decision.key);\n    const record = item && runtime.record(item);\n    const request = record?.pause;\n    if (\n      !record ||\n      !request ||\n      record.status !== \"paused\" ||\n      record.decision ||\n      decision.executionId !== runtime.executionId ||\n      decision.requestId !== request.id ||\n      seen.has(decision.key) ||\n      typeof decision.actor !== \"string\" ||\n      !request.actors.includes(decision.actor) ||\n      typeof decision.reason !== \"string\" ||\n      !decision.reason.trim() ||\n      ![gateActions[request.kind], \"reject\"].includes(decision.action)\n    )\n      throw new Error(\n        `Invalid or unauthorized workflow decision: ${decision.key}`,\n      );\n    seen.add(decision.key);\n  }\n  return decisions;\n}\n\nexport function applyDecisions(\n  runtime: WorkflowExecutionState,\n  decisions: readonly WorkflowDecisionRecord[],\n): void {\n  const pending = new Map(\n    [...runtime.records.keys()].map((item) => [item.key, item]),\n  );\n  for (const decision of decisions) {\n    const item = pending.get(decision.key)!;\n    const record = runtime.record(item);\n    record.decision = decision;\n    if (decision.action === \"reject\") {\n      record.error = `${item.key} rejected by ${decision.actor}: ${decision.reason}`;\n      runtime.errors.push(new Error(record.error));\n      runtime.finish(item, \"rejected\");\n      continue;\n    }\n    runtime.values.set(item, decision);\n    runtime.finish(item, \"done\");\n  }\n}\n"]}

package/dist/domain/workflow/gates.types.d.ts

@@ -0,0 +1,27 @@
+import type { Task } from "../workflow.types.ts";
+export interface WorkflowGate {
+    readonly kind: "approval" | "pause";
+    readonly prompt: string;
+    readonly actors: readonly string[];
+}
+export interface WorkflowGateOptions {
+    readonly key: string;
+    readonly after?: readonly Task[];
+    readonly prompt: string;
+    readonly actors: readonly string[];
+}
+export interface WorkflowPauseRequest extends WorkflowGate {
+    readonly id: string;
+    readonly requestedAt: string;
+}
+export interface WorkflowDecision {
+    readonly executionId: string;
+    readonly key: string;
+    readonly requestId: string;
+    readonly action: "approve" | "resume" | "reject";
+    readonly actor: string;
+    readonly reason: string;
+}
+export interface WorkflowDecisionRecord extends WorkflowDecision {
+    readonly decidedAt: string;
+}

package/dist/domain/workflow/gates.types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=gates.types.js.map

package/dist/domain/workflow/gates.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gates.types.js","sourceRoot":"","sources":["../../../src/domain/workflow/gates.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Task } from \"../workflow.types.ts\";\n\nexport interface WorkflowGate {\n  readonly kind: \"approval\" | \"pause\";\n  readonly prompt: string;\n  readonly actors: readonly string[];\n}\n\nexport interface WorkflowGateOptions {\n  readonly key: string;\n  readonly after?: readonly Task[];\n  readonly prompt: string;\n  readonly actors: readonly string[];\n}\n\nexport interface WorkflowPauseRequest extends WorkflowGate {\n  readonly id: string;\n  readonly requestedAt: string;\n}\n\nexport interface WorkflowDecision {\n  readonly executionId: string;\n  readonly key: string;\n  readonly requestId: string;\n  readonly action: \"approve\" | \"resume\" | \"reject\";\n  readonly actor: string;\n  readonly reason: string;\n}\n\nexport interface WorkflowDecisionRecord extends WorkflowDecision {\n  readonly decidedAt: string;\n}\n"]}

package/dist/domain/workflow/task-runner.js

@@ -1,11 +1,16 @@
+import { checkpointValue } from "./checkpoint-value.js";
+import { WorkflowBudgetExceeded } from "./budget.js";
 import { setTimeout as delay } from "node:timers/promises";
 export async function runTask(item, runtime) {
     const { record, signal, context, emit, finish, values, errors, options, stop, } = runtime;
     const state = record(item);
     state.status = "active";
+    delete state.error;
+    delete state.finishedAt;
     state.startedAt = new Date().toISOString();
     emit({ type: "task", key: item.key, status: "active", attempt: 0 });
     try {
+        await runtime.persist();
         signal.throwIfAborted();
         if (item.condition && !(await item.condition(context(item, 0, signal)))) {
             signal.throwIfAborted();
@@ -13,29 +18,39 @@ export async function runTask(item, runtime) {
             return;
         }
         const limit = item.retry?.attempts ?? 1;
-        for (let attempt = 1; attempt <= limit; attempt++) {
+        const priorAttempts = state.attempts;
+        for (let cycle = 1; cycle <= limit; cycle++) {
+            const attempt = priorAttempts + cycle;
             signal.throwIfAborted();
+            runtime.accounting.admit();
             state.attempts = attempt;
+            emit({ type: "attempt", key: item.key, attempt });
+            await runtime.persist();
             const deadline = new AbortController();
             const timer = item.timeoutMs === undefined
                 ? undefined
                 : setTimeout(() => deadline.abort(new Error(`${item.key} timed out`)), item.timeoutMs);
             const taskSignal = AbortSignal.any([signal, deadline.signal]);
             try {
+                taskSignal.throwIfAborted();
                 const value = await item.perform(context(item, attempt, taskSignal));
                 taskSignal.throwIfAborted();
+                if (options.checkpoint)
+                    checkpointValue(value);
                 values.set(item, value);
                 finish(item, "done");
                 return;
             }
             catch (error) {
+                runtime.closeAttempt(item);
                 if (signal.aborted ||
-                    attempt === limit ||
+                    cycle === limit ||
                     item.retry?.accepts?.(error, attempt) === false)
                     throw error;
                 emit({ type: "retry", key: item.key, attempt });
             }
             finally {
+                runtime.closeAttempt(item);
                 clearTimeout(timer);
             }
             await delay(item.retry?.delayMs ?? 0, undefined, { signal });
@@ -43,7 +58,8 @@ export async function runTask(item, runtime) {
     }
     catch (error) {
         state.error = error instanceof Error ? error.message : String(error);
-        if (signal.aborted)
+        if (signal.aborted ||
+            (error instanceof WorkflowBudgetExceeded && runtime.accounting.exhausted))
             finish(item, "cancelled");
         else {
             errors.push(error);
@@ -52,5 +68,8 @@ export async function runTask(item, runtime) {
                 stop.abort(error);
         }
     }
+    finally {
+        await runtime.persist();
+    }
 }
 //# sourceMappingURL=task-runner.js.map

package/dist/domain/workflow/task-runner.js.map

@@ -1 +1 @@
-{"version":3,"file":"task-runner.js","sourceRoot":"","sources":["../../../src/domain/workflow/task-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAG3D,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,IAAU,EACV,OAA+B;IAE/B,MAAM,EACJ,MAAM,EACN,MAAM,EACN,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,MAAM,EACN,OAAO,EACP,IAAI,GACL,GAAG,OAAO,CAAC;IACZ,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IACxB,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,CAAC,cAAc,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,cAAc,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC;QACxC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;YAClD,MAAM,CAAC,cAAc,EAAE,CAAC;YACxB,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;YACvC,MAAM,KAAK,GACT,IAAI,CAAC,SAAS,KAAK,SAAS;gBAC1B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,CACR,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,EACxD,IAAI,CAAC,SAAS,CACf,CAAC;YACR,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;gBACrE,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IACE,MAAM,CAAC,OAAO;oBACd,OAAO,KAAK,KAAK;oBACjB,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK;oBAE/C,MAAM,KAAK,CAAC;gBACd,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;YAClD,CAAC;oBAAS,CAAC;gBACT,YAAY,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,IAAI,MAAM,CAAC,OAAO;YAAE,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;aACzC,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvB,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import { setTimeout as delay } from \"node:timers/promises\";\nimport type { Task, WorkflowExecutionState } from \"../workflow.types.ts\";\n\nexport async function runTask(\n  item: Task,\n  runtime: WorkflowExecutionState,\n): Promise<void> {\n  const {\n    record,\n    signal,\n    context,\n    emit,\n    finish,\n    values,\n    errors,\n    options,\n    stop,\n  } = runtime;\n  const state = record(item);\n  state.status = \"active\";\n  state.startedAt = new Date().toISOString();\n  emit({ type: \"task\", key: item.key, status: \"active\", attempt: 0 });\n  try {\n    signal.throwIfAborted();\n    if (item.condition && !(await item.condition(context(item, 0, signal)))) {\n      signal.throwIfAborted();\n      finish(item, \"skipped\");\n      return;\n    }\n    const limit = item.retry?.attempts ?? 1;\n    for (let attempt = 1; attempt <= limit; attempt++) {\n      signal.throwIfAborted();\n      state.attempts = attempt;\n      const deadline = new AbortController();\n      const timer =\n        item.timeoutMs === undefined\n          ? undefined\n          : setTimeout(\n              () => deadline.abort(new Error(`${item.key} timed out`)),\n              item.timeoutMs,\n            );\n      const taskSignal = AbortSignal.any([signal, deadline.signal]);\n      try {\n        const value = await item.perform(context(item, attempt, taskSignal));\n        taskSignal.throwIfAborted();\n        values.set(item, value);\n        finish(item, \"done\");\n        return;\n      } catch (error) {\n        if (\n          signal.aborted ||\n          attempt === limit ||\n          item.retry?.accepts?.(error, attempt) === false\n        )\n          throw error;\n        emit({ type: \"retry\", key: item.key, attempt });\n      } finally {\n        clearTimeout(timer);\n      }\n      await delay(item.retry?.delayMs ?? 0, undefined, { signal });\n    }\n  } catch (error) {\n    state.error = error instanceof Error ? error.message : String(error);\n    if (signal.aborted) finish(item, \"cancelled\");\n    else {\n      errors.push(error);\n      finish(item, \"failed\");\n      if (options.stopOnError !== false) stop.abort(error);\n    }\n  }\n}\n"]}
+{"version":3,"file":"task-runner.js","sourceRoot":"","sources":["../../../src/domain/workflow/task-runner.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,UAAU,IAAI,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAG3D,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,IAAU,EACV,OAA+B;IAE/B,MAAM,EACJ,MAAM,EACN,MAAM,EACN,OAAO,EACP,IAAI,EACJ,MAAM,EACN,MAAM,EACN,MAAM,EACN,OAAO,EACP,IAAI,GACL,GAAG,OAAO,CAAC;IACZ,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3B,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC;IACxB,OAAO,KAAK,CAAC,KAAK,CAAC;IACnB,OAAO,KAAK,CAAC,UAAU,CAAC;IACxB,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC;QACH,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,cAAc,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,cAAc,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,CAAC;QACxC,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,CAAC;QACrC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,aAAa,GAAG,KAAK,CAAC;YACtC,MAAM,CAAC,cAAc,EAAE,CAAC;YACxB,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;YAC3B,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC;YACzB,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;YAClD,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;YACvC,MAAM,KAAK,GACT,IAAI,CAAC,SAAS,KAAK,SAAS;gBAC1B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,CACR,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,EACxD,IAAI,CAAC,SAAS,CACf,CAAC;YACR,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC;gBACH,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;gBACrE,UAAU,CAAC,cAAc,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,UAAU;oBAAE,eAAe,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAC3B,IACE,MAAM,CAAC,OAAO;oBACd,KAAK,KAAK,KAAK;oBACf,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK;oBAE/C,MAAM,KAAK,CAAC;gBACd,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;YAClD,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAC3B,YAAY,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,KAAK,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,IACE,MAAM,CAAC,OAAO;YACd,CAAC,KAAK,YAAY,sBAAsB,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;YAEzE,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;aACvB,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACvB,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC","sourcesContent":["import { checkpointValue } from \"./checkpoint-value.ts\";\nimport { WorkflowBudgetExceeded } from \"./budget.ts\";\nimport { setTimeout as delay } from \"node:timers/promises\";\nimport type { Task, WorkflowExecutionState } from \"../workflow.types.ts\";\n\nexport async function runTask(\n  item: Task,\n  runtime: WorkflowExecutionState,\n): Promise<void> {\n  const {\n    record,\n    signal,\n    context,\n    emit,\n    finish,\n    values,\n    errors,\n    options,\n    stop,\n  } = runtime;\n  const state = record(item);\n  state.status = \"active\";\n  delete state.error;\n  delete state.finishedAt;\n  state.startedAt = new Date().toISOString();\n  emit({ type: \"task\", key: item.key, status: \"active\", attempt: 0 });\n  try {\n    await runtime.persist();\n    signal.throwIfAborted();\n    if (item.condition && !(await item.condition(context(item, 0, signal)))) {\n      signal.throwIfAborted();\n      finish(item, \"skipped\");\n      return;\n    }\n    const limit = item.retry?.attempts ?? 1;\n    const priorAttempts = state.attempts;\n    for (let cycle = 1; cycle <= limit; cycle++) {\n      const attempt = priorAttempts + cycle;\n      signal.throwIfAborted();\n      runtime.accounting.admit();\n      state.attempts = attempt;\n      emit({ type: \"attempt\", key: item.key, attempt });\n      await runtime.persist();\n      const deadline = new AbortController();\n      const timer =\n        item.timeoutMs === undefined\n          ? undefined\n          : setTimeout(\n              () => deadline.abort(new Error(`${item.key} timed out`)),\n              item.timeoutMs,\n            );\n      const taskSignal = AbortSignal.any([signal, deadline.signal]);\n      try {\n        taskSignal.throwIfAborted();\n        const value = await item.perform(context(item, attempt, taskSignal));\n        taskSignal.throwIfAborted();\n        if (options.checkpoint) checkpointValue(value);\n        values.set(item, value);\n        finish(item, \"done\");\n        return;\n      } catch (error) {\n        runtime.closeAttempt(item);\n        if (\n          signal.aborted ||\n          cycle === limit ||\n          item.retry?.accepts?.(error, attempt) === false\n        )\n          throw error;\n        emit({ type: \"retry\", key: item.key, attempt });\n      } finally {\n        runtime.closeAttempt(item);\n        clearTimeout(timer);\n      }\n      await delay(item.retry?.delayMs ?? 0, undefined, { signal });\n    }\n  } catch (error) {\n    state.error = error instanceof Error ? error.message : String(error);\n    if (\n      signal.aborted ||\n      (error instanceof WorkflowBudgetExceeded && runtime.accounting.exhausted)\n    )\n      finish(item, \"cancelled\");\n    else {\n      errors.push(error);\n      finish(item, \"failed\");\n      if (options.stopOnError !== false) stop.abort(error);\n    }\n  } finally {\n    await runtime.persist();\n  }\n}\n"]}

package/dist/domain/workflow/usage-receipt.constants.d.ts

@@ -0,0 +1,2 @@
+export declare const maxUsageReceiptsPerTask = 65536;
+export declare const maxUsageReceiptLength = 512;

package/dist/domain/workflow/usage-receipt.constants.js

@@ -0,0 +1,3 @@
+export const maxUsageReceiptsPerTask = 65_536;
+export const maxUsageReceiptLength = 512;
+//# sourceMappingURL=usage-receipt.constants.js.map

package/dist/domain/workflow/usage-receipt.constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"usage-receipt.constants.js","sourceRoot":"","sources":["../../../src/domain/workflow/usage-receipt.constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC;AAC9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAC","sourcesContent":["export const maxUsageReceiptsPerTask = 65_536;\nexport const maxUsageReceiptLength = 512;\n"]}

package/dist/domain/workflow/usage-receipt.d.ts

@@ -0,0 +1,2 @@
+export declare function validateUsageReceipt(receipt: unknown): asserts receipt is string;
+export declare function validateUsageReceipts(receipts: unknown): void;

package/dist/domain/workflow/usage-receipt.js

@@ -0,0 +1,18 @@
+import { maxUsageReceiptLength, maxUsageReceiptsPerTask, } from "./usage-receipt.constants.js";
+export function validateUsageReceipt(receipt) {
+    if (typeof receipt !== "string" ||
+        !receipt.length ||
+        receipt.length > maxUsageReceiptLength)
+        throw new Error("Invalid workflow usage receipt");
+}
+export function validateUsageReceipts(receipts) {
+    if (receipts === undefined)
+        return;
+    if (!Array.isArray(receipts) || receipts.length > maxUsageReceiptsPerTask)
+        throw new Error("Invalid workflow usage receipts");
+    for (const receipt of receipts)
+        validateUsageReceipt(receipt);
+    if (new Set(receipts).size !== receipts.length)
+        throw new Error("Duplicate workflow usage receipts");
+}
+//# sourceMappingURL=usage-receipt.js.map

package/dist/domain/workflow/usage-receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"usage-receipt.js","sourceRoot":"","sources":["../../../src/domain/workflow/usage-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,UAAU,oBAAoB,CAClC,OAAgB;IAEhB,IACE,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,OAAO,CAAC,MAAM;QACf,OAAO,CAAC,MAAM,GAAG,qBAAqB;QAEtC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;AACtD,CAAC;AACD,MAAM,UAAU,qBAAqB,CAAC,QAAiB;IACrD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,uBAAuB;QACvE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAC5C,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;AACzD,CAAC","sourcesContent":["import {\n  maxUsageReceiptLength,\n  maxUsageReceiptsPerTask,\n} from \"./usage-receipt.constants.ts\";\n\nexport function validateUsageReceipt(\n  receipt: unknown,\n): asserts receipt is string {\n  if (\n    typeof receipt !== \"string\" ||\n    !receipt.length ||\n    receipt.length > maxUsageReceiptLength\n  )\n    throw new Error(\"Invalid workflow usage receipt\");\n}\nexport function validateUsageReceipts(receipts: unknown): void {\n  if (receipts === undefined) return;\n  if (!Array.isArray(receipts) || receipts.length > maxUsageReceiptsPerTask)\n    throw new Error(\"Invalid workflow usage receipts\");\n  for (const receipt of receipts) validateUsageReceipt(receipt);\n  if (new Set(receipts).size !== receipts.length)\n    throw new Error(\"Duplicate workflow usage receipts\");\n}\n"]}

package/dist/domain/workflow/validation.js

@@ -1,3 +1,4 @@
+import { validateGate } from "./gate-validation.js";
 export function positive(value, label) {
     if (!Number.isSafeInteger(value) || value < 1)
         throw new Error(`${label} must be a positive integer`);
@@ -8,6 +9,11 @@ export function validate(tasks) {
     const visiting = new Set();
     const visited = new Set();
     for (const item of tasks) {
+        if (item.gate) {
+            validateGate(item.gate);
+            if (item.condition || item.retry || item.timeoutMs !== undefined)
+                throw new Error("Workflow gates cannot have conditions, retries or timeouts");
+        }
         if (keys.has(item.key))
             throw new Error(`Duplicate task: ${item.key}`);
         keys.add(item.key);

package/dist/domain/workflow/validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/domain/workflow/validation.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,QAAQ,CAAC,KAAa,EAAE,KAAa;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAQ,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAQ,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK;YACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,wBAAwB,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,SAAS,KAAK,CAAC,IAAU;QACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3E,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC","sourcesContent":["import type { Task } from \"../workflow.types.ts\";\n\nexport function positive(value: number, label: string): void {\n  if (!Number.isSafeInteger(value) || value < 1)\n    throw new Error(`${label} must be a positive integer`);\n}\n\nexport function validate(tasks: readonly Task[]): void {\n  const keys = new Set<string>();\n  const members = new Set(tasks);\n  const visiting = new Set<Task>();\n  const visited = new Set<Task>();\n  for (const item of tasks) {\n    if (keys.has(item.key)) throw new Error(`Duplicate task: ${item.key}`);\n    keys.add(item.key);\n    for (const dependency of item.after)\n      if (!members.has(dependency))\n        throw new Error(`${item.key}: missing dependency ${dependency.key}`);\n  }\n  function visit(item: Task): void {\n    if (visiting.has(item)) throw new Error(`Dependency cycle at ${item.key}`);\n    if (visited.has(item)) return;\n    visiting.add(item);\n    item.after.forEach(visit);\n    visiting.delete(item);\n    visited.add(item);\n  }\n  tasks.forEach(visit);\n}\n"]}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../src/domain/workflow/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGpD,MAAM,UAAU,QAAQ,CAAC,KAAa,EAAE,KAAa;IACnD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAsB;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAQ,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAQ,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAC9D,MAAM,IAAI,KAAK,CACb,4DAA4D,CAC7D,CAAC;QACN,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK;YACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,wBAAwB,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,SAAS,KAAK,CAAC,IAAU;QACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3E,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC","sourcesContent":["import { validateGate } from \"./gate-validation.ts\";\nimport type { Task } from \"../workflow.types.ts\";\n\nexport function positive(value: number, label: string): void {\n  if (!Number.isSafeInteger(value) || value < 1)\n    throw new Error(`${label} must be a positive integer`);\n}\n\nexport function validate(tasks: readonly Task[]): void {\n  const keys = new Set<string>();\n  const members = new Set(tasks);\n  const visiting = new Set<Task>();\n  const visited = new Set<Task>();\n  for (const item of tasks) {\n    if (item.gate) {\n      validateGate(item.gate);\n      if (item.condition || item.retry || item.timeoutMs !== undefined)\n        throw new Error(\n          \"Workflow gates cannot have conditions, retries or timeouts\",\n        );\n    }\n    if (keys.has(item.key)) throw new Error(`Duplicate task: ${item.key}`);\n    keys.add(item.key);\n    for (const dependency of item.after)\n      if (!members.has(dependency))\n        throw new Error(`${item.key}: missing dependency ${dependency.key}`);\n  }\n  function visit(item: Task): void {\n    if (visiting.has(item)) throw new Error(`Dependency cycle at ${item.key}`);\n    if (visited.has(item)) return;\n    visiting.add(item);\n    item.after.forEach(visit);\n    visiting.delete(item);\n    visited.add(item);\n  }\n  tasks.forEach(visit);\n}\n"]}

package/dist/domain/workflow/workflow-scheduler.js

@@ -1,58 +1,93 @@
+import { applyDecisions, pauseGate, prepareDecisions } from "./gates.js";
+import { openCheckpoint } from "./checkpoint.js";
 import { WorkflowFailure } from "./failure.js";
 import { runTask } from "./task-runner.js";
 import { positive } from "./validation.js";
 import { workflowState } from "./workflow-state.js";
 export async function schedule(name, tasks, options) {
+    if (!options.checkpoint &&
+        (tasks.some((item) => item.gate) || options.decisions?.length))
+        throw new Error("Workflow gates and decisions require a checkpoint");
+    if (options.decisions && !options.decisions.length)
+        throw new Error("Workflow decisions cannot be empty");
+    const checkpoint = options.checkpoint
+        ? await openCheckpoint(name, tasks, options.checkpoint)
+        : undefined;
+    try {
+        return await scheduleRun(name, tasks, options, checkpoint);
+    }
+    finally {
+        await checkpoint?.release();
+    }
+}
+async function scheduleRun(name, tasks, options, checkpoint) {
     const concurrency = options.concurrency ?? 1;
     positive(concurrency, "concurrency");
-    const state = workflowState(name, tasks, options);
+    const state = workflowState(name, tasks, options, checkpoint);
     const { executionId, signal, values, records, errors, observerErrors, record, emit, finish, } = state;
     const active = new Map();
+    const started = Date.now();
+    const decisions = prepareDecisions(state);
     emit({ type: "start" });
-    while (true) {
-        let changed = false;
-        for (const item of tasks) {
-            if (record(item).status !== "waiting")
-                continue;
-            if (signal.aborted) {
-                finish(item, "cancelled");
+    applyDecisions(state, decisions);
+    await state.persist();
+    try {
+        while (true) {
+            let changed = false;
+            for (const item of tasks) {
+                if (record(item).status !== "waiting")
+                    continue;
+                if (signal.aborted || state.accounting.exhausted) {
+                    finish(item, "cancelled");
+                    changed = true;
+                    continue;
+                }
+                const dependencies = item.after.map((dependency) => record(dependency).status);
+                if (dependencies.some((status) => ["failed", "skipped", "cancelled", "rejected"].includes(status))) {
+                    finish(item, "skipped");
+                    changed = true;
+                    continue;
+                }
+                if (active.size >= concurrency ||
+                    item.after.some((dependency) => active.has(dependency)) ||
+                    !dependencies.every((status) => status === "done"))
+                    continue;
+                const running = (item.gate ? pauseGate(item, state) : runTask(item, state)).finally(() => {
+                    active.delete(item);
+                });
+                active.set(item, running);
                 changed = true;
-                continue;
             }
-            const dependencies = item.after.map((dependency) => record(dependency).status);
-            if (dependencies.some((status) => ["failed", "skipped", "cancelled"].includes(status))) {
-                finish(item, "skipped");
-                changed = true;
+            if (active.size) {
+                await Promise.race(active.values());
                 continue;
             }
-            if (active.size >= concurrency ||
-                !dependencies.every((status) => status === "done"))
-                continue;
-            const running = runTask(item, state).finally(() => {
-                active.delete(item);
-            });
-            active.set(item, running);
-            changed = true;
-        }
-        if (active.size) {
-            await Promise.race(active.values());
-            continue;
+            if (!changed)
+                break;
         }
-        if (!changed)
-            break;
     }
+    catch (error) {
+        state.stop.abort(error);
+        await Promise.allSettled(active.values());
+        throw error;
+    }
+    await state.persist();
     if (options.signal?.aborted)
         errors.push(options.signal.reason);
-    const status = options.signal?.aborted
-        ? "cancelled"
-        : errors.length
-            ? "failed"
-            : "done";
-    emit({ type: "finish" });
+    const paused = [...records.values()].some((entry) => entry.status === "paused");
+    let status = "done";
+    if (paused)
+        status = "paused";
+    if (errors.length)
+        status = "failed";
+    if (options.signal?.aborted)
+        status = "cancelled";
+    emit({ type: "finish", status, durationMs: Date.now() - started });
     const result = Object.freeze({
         executionId,
         name,
         status,
+        usage: state.accounting.snapshot(),
         tasks: Object.freeze([...records.values()].map((value) => Object.freeze({ ...value }))),
         errors: Object.freeze(errors),
         observerErrors: Object.freeze(observerErrors),

package/dist/domain/workflow/workflow-scheduler.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-scheduler.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-scheduler.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAY,EACZ,KAAsB,EACtB,OAAwB;IAExB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,EACJ,WAAW,EACX,MAAM,EACN,MAAM,EACN,OAAO,EACP,MAAM,EACN,cAAc,EACd,MAAM,EACN,IAAI,EACJ,MAAM,GACP,GAAG,KAAK,CAAC;IACV,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACxB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAChD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS;YACX,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CACjC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAC1C,CAAC;YACF,IACE,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3B,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CACpD,EACD,CAAC;gBACD,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBACxB,OAAO,GAAG,IAAI,CAAC;gBACf,SAAS;YACX,CAAC;YACD,IACE,MAAM,CAAC,IAAI,IAAI,WAAW;gBAC1B,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC;gBAElD,SAAS;YACX,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE;gBAChD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,MAAM;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;QAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO;QACpC,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,MAAM,CAAC,MAAM;YACb,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzB,MAAM,MAAM,GAAmB,MAAM,CAAC,MAAM,CAAC;QAC3C,WAAW;QACX,IAAI;QACJ,MAAM;QACN,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAClE;QACD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,KAAK,CAAI,IAAa;YACpB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,4CAA4C,CACxD,CAAC;YACJ,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC;QAC/B,CAAC;QACD,MAAM;YACJ,IAAI,MAAM,KAAK,MAAM;gBAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC;QAC3D,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["import type {\n  Task,\n  WorkflowOptions,\n  WorkflowResult,\n} from \"../workflow.types.ts\";\nimport { WorkflowFailure } from \"./failure.ts\";\nimport { runTask } from \"./task-runner.ts\";\nimport { positive } from \"./validation.ts\";\nimport { workflowState } from \"./workflow-state.ts\";\n\nexport async function schedule(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n): Promise<WorkflowResult> {\n  const concurrency = options.concurrency ?? 1;\n  positive(concurrency, \"concurrency\");\n  const state = workflowState(name, tasks, options);\n  const {\n    executionId,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n  } = state;\n  const active = new Map<Task, Promise<void>>();\n  emit({ type: \"start\" });\n  while (true) {\n    let changed = false;\n    for (const item of tasks) {\n      if (record(item).status !== \"waiting\") continue;\n      if (signal.aborted) {\n        finish(item, \"cancelled\");\n        changed = true;\n        continue;\n      }\n      const dependencies = item.after.map(\n        (dependency) => record(dependency).status,\n      );\n      if (\n        dependencies.some((status) =>\n          [\"failed\", \"skipped\", \"cancelled\"].includes(status),\n        )\n      ) {\n        finish(item, \"skipped\");\n        changed = true;\n        continue;\n      }\n      if (\n        active.size >= concurrency ||\n        !dependencies.every((status) => status === \"done\")\n      )\n        continue;\n      const running = runTask(item, state).finally(() => {\n        active.delete(item);\n      });\n      active.set(item, running);\n      changed = true;\n    }\n    if (active.size) {\n      await Promise.race(active.values());\n      continue;\n    }\n    if (!changed) break;\n  }\n  if (options.signal?.aborted) errors.push(options.signal.reason);\n  const status = options.signal?.aborted\n    ? \"cancelled\"\n    : errors.length\n      ? \"failed\"\n      : \"done\";\n  emit({ type: \"finish\" });\n  const result: WorkflowResult = Object.freeze({\n    executionId,\n    name,\n    status,\n    tasks: Object.freeze(\n      [...records.values()].map((value) => Object.freeze({ ...value })),\n    ),\n    errors: Object.freeze(errors),\n    observerErrors: Object.freeze(observerErrors),\n    value<T>(item: Task<T>): T {\n      if (!values.has(item))\n        throw new Error(\n          `${item.key} has no successful value in this execution`,\n        );\n      return values.get(item) as T;\n    },\n    unwrap() {\n      if (status !== \"done\") throw new WorkflowFailure(result);\n    },\n  });\n  return result;\n}\n"]}
+{"version":3,"file":"workflow-scheduler.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-scheduler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAOjD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAY,EACZ,KAAsB,EACtB,OAAwB;IAExB,IACE,CAAC,OAAO,CAAC,UAAU;QACnB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC;QAE9D,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM;QAChD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU;QACnC,CAAC,CAAC,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC;QACvD,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC;QACH,OAAO,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7D,CAAC;YAAS,CAAC;QACT,MAAM,UAAU,EAAE,OAAO,EAAE,CAAC;IAC9B,CAAC;AACH,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,IAAY,EACZ,KAAsB,EACtB,OAAwB,EACxB,UAAsC;IAEtC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,EACJ,WAAW,EACX,MAAM,EACN,MAAM,EACN,OAAO,EACP,MAAM,EACN,cAAc,EACd,MAAM,EACN,IAAI,EACJ,MAAM,GACP,GAAG,KAAK,CAAC;IACV,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACxB,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjC,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;oBAAE,SAAS;gBAChD,IAAI,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;oBACjD,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;oBAC1B,OAAO,GAAG,IAAI,CAAC;oBACf,SAAS;gBACX,CAAC;gBACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CACjC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAC1C,CAAC;gBACF,IACE,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3B,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAChE,EACD,CAAC;oBACD,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;oBACf,SAAS;gBACX,CAAC;gBACD,IACE,MAAM,CAAC,IAAI,IAAI,WAAW;oBAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBACvD,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC;oBAElD,SAAS;gBACX,MAAM,OAAO,GAAG,CACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAC1D,CAAC,OAAO,CAAC,GAAG,EAAE;oBACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACtB,CAAC,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC1B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,IAAI,CAAC,OAAO;gBAAE,MAAM;QACtB,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;IACtB,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;QAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACvC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CACrC,CAAC;IACF,IAAI,MAAM,GAA6B,MAAM,CAAC;IAC9C,IAAI,MAAM;QAAE,MAAM,GAAG,QAAQ,CAAC;IAC9B,IAAI,MAAM,CAAC,MAAM;QAAE,MAAM,GAAG,QAAQ,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,EAAE,OAAO;QAAE,MAAM,GAAG,WAAW,CAAC;IAClD,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IACnE,MAAM,MAAM,GAAmB,MAAM,CAAC,MAAM,CAAC;QAC3C,WAAW;QACX,IAAI;QACJ,MAAM;QACN,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE;QAClC,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAClE;QACD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QAC7C,KAAK,CAAI,IAAa;YACpB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;gBACnB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,4CAA4C,CACxD,CAAC;YACJ,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC;QAC/B,CAAC;QACD,MAAM;YACJ,IAAI,MAAM,KAAK,MAAM;gBAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC;QAC3D,CAAC;KACF,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["import { applyDecisions, pauseGate, prepareDecisions } from \"./gates.ts\";\nimport { openCheckpoint } from \"./checkpoint.ts\";\nimport type { WorkflowCheckpointSession } from \"./checkpoint.types.ts\";\nimport type {\n  Task,\n  WorkflowOptions,\n  WorkflowResult,\n} from \"../workflow.types.ts\";\nimport { WorkflowFailure } from \"./failure.ts\";\nimport { runTask } from \"./task-runner.ts\";\nimport { positive } from \"./validation.ts\";\nimport { workflowState } from \"./workflow-state.ts\";\n\nexport async function schedule(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n): Promise<WorkflowResult> {\n  if (\n    !options.checkpoint &&\n    (tasks.some((item) => item.gate) || options.decisions?.length)\n  )\n    throw new Error(\"Workflow gates and decisions require a checkpoint\");\n  if (options.decisions && !options.decisions.length)\n    throw new Error(\"Workflow decisions cannot be empty\");\n  const checkpoint = options.checkpoint\n    ? await openCheckpoint(name, tasks, options.checkpoint)\n    : undefined;\n  try {\n    return await scheduleRun(name, tasks, options, checkpoint);\n  } finally {\n    await checkpoint?.release();\n  }\n}\n\nasync function scheduleRun(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n  checkpoint?: WorkflowCheckpointSession,\n): Promise<WorkflowResult> {\n  const concurrency = options.concurrency ?? 1;\n  positive(concurrency, \"concurrency\");\n  const state = workflowState(name, tasks, options, checkpoint);\n  const {\n    executionId,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n  } = state;\n  const active = new Map<Task, Promise<void>>();\n  const started = Date.now();\n  const decisions = prepareDecisions(state);\n  emit({ type: \"start\" });\n  applyDecisions(state, decisions);\n  await state.persist();\n  try {\n    while (true) {\n      let changed = false;\n      for (const item of tasks) {\n        if (record(item).status !== \"waiting\") continue;\n        if (signal.aborted || state.accounting.exhausted) {\n          finish(item, \"cancelled\");\n          changed = true;\n          continue;\n        }\n        const dependencies = item.after.map(\n          (dependency) => record(dependency).status,\n        );\n        if (\n          dependencies.some((status) =>\n            [\"failed\", \"skipped\", \"cancelled\", \"rejected\"].includes(status),\n          )\n        ) {\n          finish(item, \"skipped\");\n          changed = true;\n          continue;\n        }\n        if (\n          active.size >= concurrency ||\n          item.after.some((dependency) => active.has(dependency)) ||\n          !dependencies.every((status) => status === \"done\")\n        )\n          continue;\n        const running = (\n          item.gate ? pauseGate(item, state) : runTask(item, state)\n        ).finally(() => {\n          active.delete(item);\n        });\n        active.set(item, running);\n        changed = true;\n      }\n      if (active.size) {\n        await Promise.race(active.values());\n        continue;\n      }\n      if (!changed) break;\n    }\n  } catch (error) {\n    state.stop.abort(error);\n    await Promise.allSettled(active.values());\n    throw error;\n  }\n  await state.persist();\n  if (options.signal?.aborted) errors.push(options.signal.reason);\n  const paused = [...records.values()].some(\n    (entry) => entry.status === \"paused\",\n  );\n  let status: WorkflowResult[\"status\"] = \"done\";\n  if (paused) status = \"paused\";\n  if (errors.length) status = \"failed\";\n  if (options.signal?.aborted) status = \"cancelled\";\n  emit({ type: \"finish\", status, durationMs: Date.now() - started });\n  const result: WorkflowResult = Object.freeze({\n    executionId,\n    name,\n    status,\n    usage: state.accounting.snapshot(),\n    tasks: Object.freeze(\n      [...records.values()].map((value) => Object.freeze({ ...value })),\n    ),\n    errors: Object.freeze(errors),\n    observerErrors: Object.freeze(observerErrors),\n    value<T>(item: Task<T>): T {\n      if (!values.has(item))\n        throw new Error(\n          `${item.key} has no successful value in this execution`,\n        );\n      return values.get(item) as T;\n    },\n    unwrap() {\n      if (status !== \"done\") throw new WorkflowFailure(result);\n    },\n  });\n  return result;\n}\n"]}

package/dist/domain/workflow/workflow-state.d.ts

@@ -1,2 +1,3 @@
+import type { WorkflowCheckpointSession } from "./checkpoint.types.ts";
 import type { Task, WorkflowExecutionState, WorkflowOptions } from "../workflow.types.ts";
-export declare function workflowState(name: string, tasks: readonly Task[], options: WorkflowOptions): WorkflowExecutionState;
+export declare function workflowState(name: string, tasks: readonly Task[], options: WorkflowOptions, checkpoint?: WorkflowCheckpointSession): WorkflowExecutionState;

package/dist/domain/workflow/workflow-state.js

@@ -1,16 +1,64 @@
+import { maxUsageReceiptsPerTask } from "./usage-receipt.constants.js";
+import { validateUsageReceipt } from "./usage-receipt.js";
+import { workflowAccounting } from "./budget.js";
 import { randomUUID } from "node:crypto";
-export function workflowState(name, tasks, options) {
-    const executionId = randomUUID();
+export function workflowState(name, tasks, options, checkpoint) {
+    const executionId = checkpoint?.initial?.executionId ?? randomUUID();
     const stop = new AbortController();
     const signal = options.signal
         ? AbortSignal.any([options.signal, stop.signal])
         : stop.signal;
     const values = new Map();
+    const activeAttempts = new Map();
     const records = new Map(tasks.map((item) => [
         item,
         { key: item.key, status: "waiting", attempts: 0 },
     ]));
+    const saved = checkpoint?.initial;
+    if (saved) {
+        const complete = saved.records.every((entry) => ["done", "skipped"].includes(entry.status));
+        const settledPause = saved.records.some((entry) => ["paused", "rejected"].includes(entry.status)) &&
+            saved.records.every((entry) => ["done", "skipped", "paused", "rejected"].includes(entry.status) ||
+                (entry.status === "waiting" && entry.attempts === 0));
+        for (const item of tasks) {
+            const entry = saved.records.find((entry) => entry.key === item.key);
+            records.set(item, {
+                ...entry,
+                ...(entry.usageReceipts
+                    ? { usageReceipts: Object.freeze([...entry.usageReceipts]) }
+                    : {}),
+                ...(entry.pause
+                    ? {
+                        pause: Object.freeze({
+                            ...entry.pause,
+                            actors: Object.freeze([...entry.pause.actors]),
+                        }),
+                    }
+                    : {}),
+                ...(entry.decision
+                    ? { decision: Object.freeze({ ...entry.decision }) }
+                    : {}),
+                status: ["done", "paused", "rejected"].includes(entry.status) ||
+                    complete ||
+                    (settledPause && entry.status === "skipped")
+                    ? entry.status
+                    : "waiting",
+            });
+            if (entry.status === "done") {
+                const output = saved.values[item.key];
+                values.set(item, output.kind === "json" ? output.value : undefined);
+            }
+        }
+    }
     const errors = [], observerErrors = [];
+    for (const entry of records.values())
+        if (entry.status === "rejected")
+            errors.push(new Error(entry.error));
+    const accounting = workflowAccounting(options.budget, (error) => {
+        errors.push(error);
+        if (error.dimension !== "attempts")
+            stop.abort(error);
+    }, saved?.usage);
     const record = (item) => records.get(item);
     function emit(event) {
         try {
@@ -35,13 +83,61 @@ export function workflowState(name, tasks, options) {
             key: item.key,
             status,
             attempt: record(item).attempts,
+            ...(record(item).startedAt
+                ? { durationMs: Date.now() - Date.parse(record(item).startedAt) }
+                : {}),
         });
     }
     function context(item, attempt, taskSignal) {
+        if (attempt > 0)
+            activeAttempts.set(item, attempt);
+        function report(usage, receipt) {
+            const current = record(item);
+            if (attempt === 0 ||
+                current.status !== "active" ||
+                activeAttempts.get(item) !== attempt)
+                throw new Error("Usage must be reported during its active task attempt");
+            if (receipt !== undefined) {
+                validateUsageReceipt(receipt);
+                if (current.usageReceipts?.includes(receipt))
+                    return;
+                if ((current.usageReceipts?.length ?? 0) >= maxUsageReceiptsPerTask)
+                    throw new Error("Workflow usage receipt limit exceeded");
+            }
+            const previousReceipts = current.usageReceipts;
+            if (receipt !== undefined)
+                current.usageReceipts = Object.freeze([
+                    ...(previousReceipts ?? []),
+                    receipt,
+                ]);
+            try {
+                accounting.report(usage);
+            }
+            catch (error) {
+                if (previousReceipts)
+                    current.usageReceipts = previousReceipts;
+                else
+                    delete current.usageReceipts;
+                throw error;
+            }
+            void runtime.persist().catch((error) => stop.abort(error));
+            emit({
+                type: "usage",
+                key: item.key,
+                attempt,
+                usage: Object.freeze({ ...usage }),
+            });
+        }
         return {
             signal: taskSignal,
             attempt,
             executionId,
+            checkpoint: () => runtime.persist(),
+            reportUsage: (usage) => report(usage),
+            reportUsageOnce: (receipt, usage) => {
+                validateUsageReceipt(receipt);
+                report(usage, receipt);
+            },
             value(dependency) {
                 if (!item.after.includes(dependency))
                     throw new Error(`${item.key}: undeclared dependency ${dependency.key}`);
@@ -51,8 +147,15 @@ export function workflowState(name, tasks, options) {
             },
         };
     }
-    return {
+    const runtime = {
+        async persist() {
+            await checkpoint?.save(runtime);
+        },
         executionId,
+        accounting,
+        closeAttempt(item) {
+            activeAttempts.delete(item);
+        },
         stop,
         signal,
         values,
@@ -65,5 +168,6 @@ export function workflowState(name, tasks, options) {
         context,
         options,
     };
+    return runtime;
 }
 //# sourceMappingURL=workflow-state.js.map

package/dist/domain/workflow/workflow-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-state.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,KAAsB,EACtB,OAAwB;IAExB,MAAM,WAAW,GAAG,UAAU,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;QAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,IAAI;QACJ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE;KAClD,CAAC,CACH,CAAC;IACF,MAAM,MAAM,GAAc,EAAE,EAC1B,cAAc,GAAc,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAClD,SAAS,IAAI,CACX,KAAoE;QAEpE,IAAI,CAAC;YACH,OAAO,CAAC,OAAO,EAAE,CAAC;gBAChB,GAAG,KAAK;gBACR,WAAW;gBACX,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,SAAS,MAAM,CAAC,IAAU,EAAE,MAAkB;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC1B,MAAM;YACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,SAAS,OAAO,CACd,IAAU,EACV,OAAe,EACf,UAAuB;QAEvB,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO;YACP,WAAW;YACX,KAAK,CAAI,UAAmB;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAClC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,2BAA2B,UAAU,CAAC,GAAG,EAAE,CACvD,CAAC;gBACJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,GAAG,0BAA0B,CAAC,CAAC;gBAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAM,CAAC;YACrC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,WAAW;QACX,IAAI;QACJ,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM;QACN,cAAc;QACd,MAAM;QACN,IAAI;QACJ,MAAM;QACN,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC","sourcesContent":["import { randomUUID } from \"node:crypto\";\nimport type {\n  Task,\n  TaskContext,\n  TaskRecord,\n  TaskStatus,\n  WorkflowEvent,\n  WorkflowExecutionState,\n  WorkflowOptions,\n} from \"../workflow.types.ts\";\n\nexport function workflowState(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n): WorkflowExecutionState {\n  const executionId = randomUUID();\n  const stop = new AbortController();\n  const signal = options.signal\n    ? AbortSignal.any([options.signal, stop.signal])\n    : stop.signal;\n  const values = new Map<Task, unknown>();\n  const records = new Map<Task, TaskRecord>(\n    tasks.map((item) => [\n      item,\n      { key: item.key, status: \"waiting\", attempts: 0 },\n    ]),\n  );\n  const errors: unknown[] = [],\n    observerErrors: unknown[] = [];\n  const record = (item: Task) => records.get(item)!;\n  function emit(\n    event: Omit<WorkflowEvent, \"executionId\" | \"workflow\" | \"timestamp\">,\n  ): void {\n    try {\n      options.observe?.({\n        ...event,\n        executionId,\n        workflow: name,\n        timestamp: new Date().toISOString(),\n      });\n    } catch (error) {\n      observerErrors.push(error);\n    }\n  }\n  function finish(item: Task, status: TaskStatus): void {\n    Object.assign(record(item), {\n      status,\n      finishedAt: new Date().toISOString(),\n    });\n    emit({\n      type: \"task\",\n      key: item.key,\n      status,\n      attempt: record(item).attempts,\n    });\n  }\n  function context(\n    item: Task,\n    attempt: number,\n    taskSignal: AbortSignal,\n  ): TaskContext {\n    return {\n      signal: taskSignal,\n      attempt,\n      executionId,\n      value<T>(dependency: Task<T>): T {\n        if (!item.after.includes(dependency))\n          throw new Error(\n            `${item.key}: undeclared dependency ${dependency.key}`,\n          );\n        if (!values.has(dependency))\n          throw new Error(`${dependency.key} has no successful value`);\n        return values.get(dependency) as T;\n      },\n    };\n  }\n\n  return {\n    executionId,\n    stop,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n    context,\n    options,\n  };\n}\n"]}
+{"version":3,"file":"workflow-state.js","sourceRoot":"","sources":["../../../src/domain/workflow/workflow-state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAWzC,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,KAAsB,EACtB,OAAwB,EACxB,UAAsC;IAEtC,MAAM,WAAW,GAAG,UAAU,EAAE,OAAO,EAAE,WAAW,IAAI,UAAU,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG,IAAI,eAAe,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM;QAC3B,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IAChB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAgB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,IAAI;QACJ,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAE;KAClD,CAAC,CACH,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,EAAE,OAAO,CAAC;IAClC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7C,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC3C,CAAC;QACF,MAAM,YAAY,GAChB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3B,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAC9C;YACD,KAAK,CAAC,OAAO,CAAC,KAAK,CACjB,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;gBAChE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CACvD,CAAC;QACJ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,CAAE,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;gBAChB,GAAG,KAAK;gBACR,GAAG,CAAC,KAAK,CAAC,aAAa;oBACrB,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,EAAE;oBAC5D,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,KAAK;oBACb,CAAC,CAAC;wBACE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;4BACnB,GAAG,KAAK,CAAC,KAAK;4BACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;yBAC/C,CAAC;qBACH;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,QAAQ;oBAChB,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE;oBACpD,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,EACJ,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;oBACrD,QAAQ;oBACR,CAAC,YAAY,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;oBAC1C,CAAC,CAAC,KAAK,CAAC,MAAM;oBACd,CAAC,CAAC,SAAS;aAChB,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAc,EAAE,EAC1B,cAAc,GAAc,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE;QAClC,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,kBAAkB,CACnC,OAAO,CAAC,MAAM,EACd,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,EACD,KAAK,EAAE,KAAK,CACb,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IAClD,SAAS,IAAI,CACX,KAAoE;QAEpE,IAAI,CAAC;YACH,OAAO,CAAC,OAAO,EAAE,CAAC;gBAChB,GAAG,KAAK;gBACR,WAAW;gBACX,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,SAAS,MAAM,CAAC,IAAU,EAAE,MAAkB;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC1B,MAAM;YACN,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC,CAAC;QACH,IAAI,CAAC;YACH,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;YAC9B,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;gBACxB,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAU,CAAC,EAAE;gBAClE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,SAAS,OAAO,CACd,IAAU,EACV,OAAe,EACf,UAAuB;QAEvB,IAAI,OAAO,GAAG,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,SAAS,MAAM,CAAC,KAAY,EAAE,OAAgB;YAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC7B,IACE,OAAO,KAAK,CAAC;gBACb,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAC3B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO;gBAEpC,MAAM,IAAI,KAAK,CACb,uDAAuD,CACxD,CAAC;YACJ,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC;oBAAE,OAAO;gBACrD,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,uBAAuB;oBACjE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,gBAAgB,GAAG,OAAO,CAAC,aAAa,CAAC;YAC/C,IAAI,OAAO,KAAK,SAAS;gBACvB,OAAO,CAAC,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;oBACpC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;oBAC3B,OAAO;iBACR,CAAC,CAAC;YACL,IAAI,CAAC;gBACH,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,gBAAgB;oBAAE,OAAO,CAAC,aAAa,GAAG,gBAAgB,CAAC;;oBAC1D,OAAO,OAAO,CAAC,aAAa,CAAC;gBAClC,MAAM,KAAK,CAAC;YACd,CAAC;YACD,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC;gBACH,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO;gBACP,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO;YACP,WAAW;YACX,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;YACnC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;YACrC,eAAe,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBAClC,oBAAoB,CAAC,OAAO,CAAC,CAAC;gBAC9B,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAI,UAAmB;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAClC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,GAAG,2BAA2B,UAAU,CAAC,GAAG,EAAE,CACvD,CAAC;gBACJ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,GAAG,0BAA0B,CAAC,CAAC;gBAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,UAAU,CAAM,CAAC;YACrC,CAAC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAA2B;QACtC,KAAK,CAAC,OAAO;YACX,MAAM,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,WAAW;QACX,UAAU;QACV,YAAY,CAAC,IAAI;YACf,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI;QACJ,MAAM;QACN,MAAM;QACN,OAAO;QACP,MAAM;QACN,cAAc;QACd,MAAM;QACN,IAAI;QACJ,MAAM;QACN,OAAO;QACP,OAAO;KACR,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["import { maxUsageReceiptsPerTask } from \"./usage-receipt.constants.ts\";\nimport { validateUsageReceipt } from \"./usage-receipt.ts\";\nimport type { Usage } from \"../agent.types.ts\";\nimport type { WorkflowCheckpointSession } from \"./checkpoint.types.ts\";\nimport { workflowAccounting } from \"./budget.ts\";\nimport { randomUUID } from \"node:crypto\";\nimport type {\n  Task,\n  TaskContext,\n  TaskRecord,\n  TaskStatus,\n  WorkflowEvent,\n  WorkflowExecutionState,\n  WorkflowOptions,\n} from \"../workflow.types.ts\";\n\nexport function workflowState(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowOptions,\n  checkpoint?: WorkflowCheckpointSession,\n): WorkflowExecutionState {\n  const executionId = checkpoint?.initial?.executionId ?? randomUUID();\n  const stop = new AbortController();\n  const signal = options.signal\n    ? AbortSignal.any([options.signal, stop.signal])\n    : stop.signal;\n  const values = new Map<Task, unknown>();\n  const activeAttempts = new Map<Task, number>();\n  const records = new Map<Task, TaskRecord>(\n    tasks.map((item) => [\n      item,\n      { key: item.key, status: \"waiting\", attempts: 0 },\n    ]),\n  );\n  const saved = checkpoint?.initial;\n  if (saved) {\n    const complete = saved.records.every((entry) =>\n      [\"done\", \"skipped\"].includes(entry.status),\n    );\n    const settledPause =\n      saved.records.some((entry) =>\n        [\"paused\", \"rejected\"].includes(entry.status),\n      ) &&\n      saved.records.every(\n        (entry) =>\n          [\"done\", \"skipped\", \"paused\", \"rejected\"].includes(entry.status) ||\n          (entry.status === \"waiting\" && entry.attempts === 0),\n      );\n    for (const item of tasks) {\n      const entry = saved.records.find((entry) => entry.key === item.key)!;\n      records.set(item, {\n        ...entry,\n        ...(entry.usageReceipts\n          ? { usageReceipts: Object.freeze([...entry.usageReceipts]) }\n          : {}),\n        ...(entry.pause\n          ? {\n              pause: Object.freeze({\n                ...entry.pause,\n                actors: Object.freeze([...entry.pause.actors]),\n              }),\n            }\n          : {}),\n        ...(entry.decision\n          ? { decision: Object.freeze({ ...entry.decision }) }\n          : {}),\n        status:\n          [\"done\", \"paused\", \"rejected\"].includes(entry.status) ||\n          complete ||\n          (settledPause && entry.status === \"skipped\")\n            ? entry.status\n            : \"waiting\",\n      });\n      if (entry.status === \"done\") {\n        const output = saved.values[item.key]!;\n        values.set(item, output.kind === \"json\" ? output.value : undefined);\n      }\n    }\n  }\n  const errors: unknown[] = [],\n    observerErrors: unknown[] = [];\n  for (const entry of records.values())\n    if (entry.status === \"rejected\") errors.push(new Error(entry.error));\n  const accounting = workflowAccounting(\n    options.budget,\n    (error) => {\n      errors.push(error);\n      if (error.dimension !== \"attempts\") stop.abort(error);\n    },\n    saved?.usage,\n  );\n  const record = (item: Task) => records.get(item)!;\n  function emit(\n    event: Omit<WorkflowEvent, \"executionId\" | \"workflow\" | \"timestamp\">,\n  ): void {\n    try {\n      options.observe?.({\n        ...event,\n        executionId,\n        workflow: name,\n        timestamp: new Date().toISOString(),\n      });\n    } catch (error) {\n      observerErrors.push(error);\n    }\n  }\n  function finish(item: Task, status: TaskStatus): void {\n    Object.assign(record(item), {\n      status,\n      finishedAt: new Date().toISOString(),\n    });\n    emit({\n      type: \"task\",\n      key: item.key,\n      status,\n      attempt: record(item).attempts,\n      ...(record(item).startedAt\n        ? { durationMs: Date.now() - Date.parse(record(item).startedAt!) }\n        : {}),\n    });\n  }\n  function context(\n    item: Task,\n    attempt: number,\n    taskSignal: AbortSignal,\n  ): TaskContext {\n    if (attempt > 0) activeAttempts.set(item, attempt);\n    function report(usage: Usage, receipt?: string): void {\n      const current = record(item);\n      if (\n        attempt === 0 ||\n        current.status !== \"active\" ||\n        activeAttempts.get(item) !== attempt\n      )\n        throw new Error(\n          \"Usage must be reported during its active task attempt\",\n        );\n      if (receipt !== undefined) {\n        validateUsageReceipt(receipt);\n        if (current.usageReceipts?.includes(receipt)) return;\n        if ((current.usageReceipts?.length ?? 0) >= maxUsageReceiptsPerTask)\n          throw new Error(\"Workflow usage receipt limit exceeded\");\n      }\n      const previousReceipts = current.usageReceipts;\n      if (receipt !== undefined)\n        current.usageReceipts = Object.freeze([\n          ...(previousReceipts ?? []),\n          receipt,\n        ]);\n      try {\n        accounting.report(usage);\n      } catch (error) {\n        if (previousReceipts) current.usageReceipts = previousReceipts;\n        else delete current.usageReceipts;\n        throw error;\n      }\n      void runtime.persist().catch((error: unknown) => stop.abort(error));\n      emit({\n        type: \"usage\",\n        key: item.key,\n        attempt,\n        usage: Object.freeze({ ...usage }),\n      });\n    }\n\n    return {\n      signal: taskSignal,\n      attempt,\n      executionId,\n      checkpoint: () => runtime.persist(),\n      reportUsage: (usage) => report(usage),\n      reportUsageOnce: (receipt, usage) => {\n        validateUsageReceipt(receipt);\n        report(usage, receipt);\n      },\n      value<T>(dependency: Task<T>): T {\n        if (!item.after.includes(dependency))\n          throw new Error(\n            `${item.key}: undeclared dependency ${dependency.key}`,\n          );\n        if (!values.has(dependency))\n          throw new Error(`${dependency.key} has no successful value`);\n        return values.get(dependency) as T;\n      },\n    };\n  }\n\n  const runtime: WorkflowExecutionState = {\n    async persist() {\n      await checkpoint?.save(runtime);\n    },\n    executionId,\n    accounting,\n    closeAttempt(item) {\n      activeAttempts.delete(item);\n    },\n    stop,\n    signal,\n    values,\n    records,\n    errors,\n    observerErrors,\n    record,\n    emit,\n    finish,\n    context,\n    options,\n  };\n  return runtime;\n}\n"]}

package/dist/domain/workflow.d.ts

@@ -3,3 +3,5 @@ export type { Retry, Task, TaskContext, TaskOptions, TaskRecord, TaskStatus, Wor
 export { WorkflowFailure } from "./workflow/failure.ts";
 export { task } from "./workflow/task.ts";
 export declare function workflow(name: string, tasks: readonly Task[]): Workflow;
+export { WorkflowBudgetExceeded } from "./workflow/budget.ts";
+export type { WorkflowBudget, WorkflowUsage } from "./workflow/budget.types.ts";

package/dist/domain/workflow.js

@@ -23,4 +23,5 @@ export function workflow(name, tasks) {
         },
     });
 }
+export { WorkflowBudgetExceeded } from "./workflow/budget.js";
 //# sourceMappingURL=workflow.js.map