@elie-laloum/outpost 3.0.0 → 4.1.0

package/dist/domain/workflow/checkpoint.js

@@ -0,0 +1,70 @@
+import { createHash } from "node:crypto";
+import { checkpointValue } from "./checkpoint-value.js";
+import { validateCheckpoint } from "./checkpoint-validation.js";
+export async function openCheckpoint(name, tasks, options) {
+    if (!options.runId.trim() || !options.version.trim())
+        throw new Error("Checkpoint runId and version must not be empty");
+    const graph = tasks
+        .map((item) => ({
+        key: item.key,
+        ...(item.gate ? { gate: item.gate } : {}),
+        after: item.after.map((dependency) => dependency.key).sort(),
+        timeoutMs: item.timeoutMs,
+        retry: item.retry?.attempts,
+        delayMs: item.retry?.delayMs,
+        condition: !!item.condition,
+        accepts: !!item.retry?.accepts,
+    }))
+        .sort((a, b) => {
+        if (a.key === b.key)
+            return 0;
+        return a.key < b.key ? -1 : 1;
+    });
+    const identity = createHash("sha256")
+        .update(JSON.stringify({ name, version: options.version, graph }))
+        .digest("hex");
+    const lease = await options.store.acquire(options.runId);
+    try {
+        const saved = await lease.read();
+        let initial;
+        if (saved !== undefined) {
+            validateCheckpoint(saved, identity, tasks);
+            initial = saved;
+            const settledGate = saved.records.some((record) => ["paused", "rejected"].includes(record.status));
+            if (saved.records.some((record) => !["done", "skipped", "paused", "rejected"].includes(record.status) &&
+                !(settledGate &&
+                    record.status === "waiting" &&
+                    record.attempts === 0)) &&
+                options.resume !== "retry-incomplete")
+                throw new Error("Incomplete workflow checkpoint: resume retry-incomplete must explicitly authorize replay");
+        }
+        let writes = Promise.resolve();
+        return {
+            initial,
+            save(state) {
+                const snapshot = {
+                    format: 1,
+                    identity,
+                    executionId: state.executionId,
+                    records: [...state.records.values()].map((record) => ({ ...record })),
+                    values: Object.fromEntries([...state.values].map(([item, value]) => [
+                        item.key,
+                        checkpointValue(value),
+                    ])),
+                    usage: state.accounting.snapshot(),
+                };
+                writes = writes.then(() => lease.write(snapshot));
+                return writes;
+            },
+            async release() {
+                await writes.catch(() => { });
+                await lease.release();
+            },
+        };
+    }
+    catch (error) {
+        await lease.release();
+        throw error;
+    }
+}
+//# sourceMappingURL=checkpoint.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint.js","sourceRoot":"","sources":["../../../src/domain/workflow/checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAOzC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAY,EACZ,KAAsB,EACtB,OAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE;QAClD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,KAAK;SAChB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;QAC5D,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ;QAC3B,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO;QAC5B,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS;QAC3B,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO;KAC/B,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG;YAAE,OAAO,CAAC,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IACL,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;SAClC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SACjE,MAAM,CAAC,KAAK,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,OAAuC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3C,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAC/C,CAAC;YACF,IACE,KAAK,CAAC,OAAO,CAAC,IAAI,CAChB,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CACjD,MAAM,CAAC,MAAM,CACd;gBACD,CAAC,CACC,WAAW;oBACX,MAAM,CAAC,MAAM,KAAK,SAAS;oBAC3B,MAAM,CAAC,QAAQ,KAAK,CAAC,CACtB,CACJ;gBACD,OAAO,CAAC,MAAM,KAAK,kBAAkB;gBAErC,MAAM,IAAI,KAAK,CACb,0FAA0F,CAC3F,CAAC;QACN,CAAC;QACD,IAAI,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO;YACP,IAAI,CAAC,KAA6B;gBAChC,MAAM,QAAQ,GAAuB;oBACnC,MAAM,EAAE,CAAC;oBACT,QAAQ;oBACR,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;oBACrE,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;wBACvC,IAAI,CAAC,GAAG;wBACR,eAAe,CAAC,KAAK,CAAC;qBACvB,CAAC,CACH;oBACD,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE;iBACnC,CAAC;gBACF,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAClD,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,CAAC,OAAO;gBACX,MAAM,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;gBAC7B,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;YACxB,CAAC;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;QACtB,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC","sourcesContent":["import { createHash } from \"node:crypto\";\nimport type { Task, WorkflowExecutionState } from \"../workflow.types.ts\";\nimport type {\n  WorkflowCheckpoint,\n  WorkflowCheckpointOptions,\n  WorkflowCheckpointSession,\n} from \"./checkpoint.types.ts\";\nimport { checkpointValue } from \"./checkpoint-value.ts\";\nimport { validateCheckpoint } from \"./checkpoint-validation.ts\";\n\nexport async function openCheckpoint(\n  name: string,\n  tasks: readonly Task[],\n  options: WorkflowCheckpointOptions,\n): Promise<WorkflowCheckpointSession> {\n  if (!options.runId.trim() || !options.version.trim())\n    throw new Error(\"Checkpoint runId and version must not be empty\");\n  const graph = tasks\n    .map((item) => ({\n      key: item.key,\n      ...(item.gate ? { gate: item.gate } : {}),\n      after: item.after.map((dependency) => dependency.key).sort(),\n      timeoutMs: item.timeoutMs,\n      retry: item.retry?.attempts,\n      delayMs: item.retry?.delayMs,\n      condition: !!item.condition,\n      accepts: !!item.retry?.accepts,\n    }))\n    .sort((a, b) => {\n      if (a.key === b.key) return 0;\n      return a.key < b.key ? -1 : 1;\n    });\n  const identity = createHash(\"sha256\")\n    .update(JSON.stringify({ name, version: options.version, graph }))\n    .digest(\"hex\");\n  const lease = await options.store.acquire(options.runId);\n  try {\n    const saved = await lease.read();\n    let initial: WorkflowCheckpoint | undefined;\n    if (saved !== undefined) {\n      validateCheckpoint(saved, identity, tasks);\n      initial = saved;\n      const settledGate = saved.records.some((record) =>\n        [\"paused\", \"rejected\"].includes(record.status),\n      );\n      if (\n        saved.records.some(\n          (record) =>\n            ![\"done\", \"skipped\", \"paused\", \"rejected\"].includes(\n              record.status,\n            ) &&\n            !(\n              settledGate &&\n              record.status === \"waiting\" &&\n              record.attempts === 0\n            ),\n        ) &&\n        options.resume !== \"retry-incomplete\"\n      )\n        throw new Error(\n          \"Incomplete workflow checkpoint: resume retry-incomplete must explicitly authorize replay\",\n        );\n    }\n    let writes = Promise.resolve();\n    return {\n      initial,\n      save(state: WorkflowExecutionState) {\n        const snapshot: WorkflowCheckpoint = {\n          format: 1,\n          identity,\n          executionId: state.executionId,\n          records: [...state.records.values()].map((record) => ({ ...record })),\n          values: Object.fromEntries(\n            [...state.values].map(([item, value]) => [\n              item.key,\n              checkpointValue(value),\n            ]),\n          ),\n          usage: state.accounting.snapshot(),\n        };\n        writes = writes.then(() => lease.write(snapshot));\n        return writes;\n      },\n      async release() {\n        await writes.catch(() => {});\n        await lease.release();\n      },\n    };\n  } catch (error) {\n    await lease.release();\n    throw error;\n  }\n}\n"]}

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

@@ -0,0 +1,40 @@
+import type { TaskRecord, WorkflowExecutionState } from "../workflow.types.ts";
+import type { WorkflowUsage } from "./budget.types.ts";
+export type WorkflowJson = null | boolean | number | string | readonly WorkflowJson[] | {
+    readonly [key: string]: WorkflowJson;
+};
+export type WorkflowCheckpointValue = {
+    readonly kind: "undefined";
+} | {
+    readonly kind: "json";
+    readonly value: WorkflowJson;
+};
+export interface WorkflowCheckpoint {
+    readonly format: 1;
+    readonly identity: string;
+    readonly executionId: string;
+    readonly records: readonly Readonly<TaskRecord>[];
+    readonly values: Readonly<Record<string, WorkflowCheckpointValue>>;
+    readonly usage: WorkflowUsage;
+}
+export interface WorkflowCheckpointLease {
+    read(): Promise<unknown>;
+    write(checkpoint: WorkflowCheckpoint): Promise<void>;
+    release(): Promise<void>;
+}
+export interface WorkflowCheckpointStore {
+    acquire(runId: string): Promise<WorkflowCheckpointLease>;
+}
+export interface WorkflowCheckpointOptions {
+    readonly store: WorkflowCheckpointStore;
+    readonly runId: string;
+    /** Change when task implementations or workflow inputs change. */
+    readonly version: string;
+    /** Explicitly authorize replay of incomplete tasks and their side effects. */
+    readonly resume?: "retry-incomplete";
+}
+export interface WorkflowCheckpointSession {
+    readonly initial: WorkflowCheckpoint | undefined;
+    save(state: WorkflowExecutionState): Promise<void>;
+    release(): Promise<void>;
+}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint.types.js","sourceRoot":"","sources":["../../../src/domain/workflow/checkpoint.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { TaskRecord, WorkflowExecutionState } from \"../workflow.types.ts\";\nimport type { WorkflowUsage } from \"./budget.types.ts\";\n\nexport type WorkflowJson =\n  | null\n  | boolean\n  | number\n  | string\n  | readonly WorkflowJson[]\n  | { readonly [key: string]: WorkflowJson };\nexport type WorkflowCheckpointValue =\n  | { readonly kind: \"undefined\" }\n  | { readonly kind: \"json\"; readonly value: WorkflowJson };\n\nexport interface WorkflowCheckpoint {\n  readonly format: 1;\n  readonly identity: string;\n  readonly executionId: string;\n  readonly records: readonly Readonly<TaskRecord>[];\n  readonly values: Readonly<Record<string, WorkflowCheckpointValue>>;\n  readonly usage: WorkflowUsage;\n}\n\nexport interface WorkflowCheckpointLease {\n  read(): Promise<unknown>;\n  write(checkpoint: WorkflowCheckpoint): Promise<void>;\n  release(): Promise<void>;\n}\n\nexport interface WorkflowCheckpointStore {\n  acquire(runId: string): Promise<WorkflowCheckpointLease>;\n}\n\nexport interface WorkflowCheckpointOptions {\n  readonly store: WorkflowCheckpointStore;\n  readonly runId: string;\n  /** Change when task implementations or workflow inputs change. */\n  readonly version: string;\n  /** Explicitly authorize replay of incomplete tasks and their side effects. */\n  readonly resume?: \"retry-incomplete\";\n}\n\nexport interface WorkflowCheckpointSession {\n  readonly initial: WorkflowCheckpoint | undefined;\n  save(state: WorkflowExecutionState): Promise<void>;\n  release(): Promise<void>;\n}\n"]}

package/dist/domain/workflow/gate-validation.d.ts

@@ -0,0 +1,4 @@
+import type { Task } from "../workflow.types.ts";
+import type { WorkflowGate } from "./gates.types.ts";
+export declare function validateGate(gate: WorkflowGate): void;
+export declare function validateGateRecord(record: Record<string, unknown>, item: Task, executionId: string, output: unknown): void;

package/dist/domain/workflow/gate-validation.js

@@ -0,0 +1,71 @@
+import { gateActions } from "./gates.constants.js";
+function object(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+export function validateGate(gate) {
+    if (!["approval", "pause"].includes(gate.kind))
+        throw new Error("Invalid workflow gate kind");
+    if (!gate.prompt.trim())
+        throw new Error("Gate prompt cannot be empty");
+    if (!gate.actors.length ||
+        gate.actors.some((actor) => !actor.trim()) ||
+        new Set(gate.actors).size !== gate.actors.length)
+        throw new Error("Gate actors must be nonempty and unique");
+}
+export function validateGateRecord(record, item, executionId, output) {
+    const invalid = () => new Error("Invalid workflow checkpoint gate record");
+    const gate = item.gate;
+    const request = record.pause;
+    const decision = record.decision;
+    if (!gate) {
+        if (request !== undefined ||
+            decision !== undefined ||
+            ["paused", "rejected"].includes(String(record.status)))
+            throw invalid();
+        return;
+    }
+    if (record.attempts !== 0)
+        throw invalid();
+    if (!["paused", "done", "rejected"].includes(String(record.status))) {
+        if (!["waiting", "skipped", "cancelled"].includes(String(record.status)) ||
+            request !== undefined ||
+            decision !== undefined)
+            throw invalid();
+        return;
+    }
+    if (!object(request) ||
+        typeof request.id !== "string" ||
+        !request.id.trim() ||
+        typeof request.requestedAt !== "string" ||
+        !Number.isFinite(Date.parse(request.requestedAt)) ||
+        request.kind !== gate.kind ||
+        request.prompt !== gate.prompt ||
+        JSON.stringify(request.actors) !== JSON.stringify(gate.actors))
+        throw invalid();
+    if (record.status === "paused") {
+        if (decision !== undefined)
+            throw invalid();
+        return;
+    }
+    const action = record.status === "rejected" ? "reject" : gateActions[gate.kind];
+    if (!object(decision) ||
+        decision.executionId !== executionId ||
+        decision.key !== item.key ||
+        decision.requestId !== request.id ||
+        decision.action !== action ||
+        typeof decision.actor !== "string" ||
+        !gate.actors.includes(decision.actor) ||
+        typeof decision.reason !== "string" ||
+        !decision.reason.trim() ||
+        typeof decision.decidedAt !== "string" ||
+        !Number.isFinite(Date.parse(decision.decidedAt)))
+        throw invalid();
+    if (record.status === "done" &&
+        (!object(output) ||
+            output.kind !== "json" ||
+            !object(output.value) ||
+            Object.keys(output.value).length !== Object.keys(decision).length ||
+            !Object.entries(decision).every(([key, value]) => object(output.value) && output.value[key] === value)))
+        throw invalid();
+}
+//# sourceMappingURL=gate-validation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gate-validation.js","sourceRoot":"","sources":["../../../src/domain/workflow/gate-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAInD,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAkB;IAC7C,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACxE,IACE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM;QACnB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM;QAEhD,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAA+B,EAC/B,IAAU,EACV,WAAmB,EACnB,MAAe;IAEf,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IACE,OAAO,KAAK,SAAS;YACrB,QAAQ,KAAK,SAAS;YACtB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAEtD,MAAM,OAAO,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,MAAM,OAAO,EAAE,CAAC;IAC3C,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACpE,IACE,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,OAAO,KAAK,SAAS;YACrB,QAAQ,KAAK,SAAS;YAEtB,MAAM,OAAO,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IACD,IACE,CAAC,MAAM,CAAC,OAAO,CAAC;QAChB,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ;QAC9B,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE;QAClB,OAAO,OAAO,CAAC,WAAW,KAAK,QAAQ;QACvC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACjD,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC1B,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAC9B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;QAE9D,MAAM,OAAO,EAAE,CAAC;IAClB,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,OAAO,EAAE,CAAC;QAC5C,OAAO;IACT,CAAC;IACD,MAAM,MAAM,GACV,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,IACE,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjB,QAAQ,CAAC,WAAW,KAAK,WAAW;QACpC,QAAQ,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG;QACzB,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE;QACjC,QAAQ,CAAC,MAAM,KAAK,MAAM;QAC1B,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ;QAClC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ;QACnC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;QACvB,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACtC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEhD,MAAM,OAAO,EAAE,CAAC;IAClB,IACE,MAAM,CAAC,MAAM,KAAK,MAAM;QACxB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACd,MAAM,CAAC,IAAI,KAAK,MAAM;YACtB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM;YACjE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,CAC7B,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CACtE,CAAC;QAEJ,MAAM,OAAO,EAAE,CAAC;AACpB,CAAC","sourcesContent":["import { gateActions } from \"./gates.constants.ts\";\nimport type { Task } from \"../workflow.types.ts\";\nimport type { WorkflowGate } from \"./gates.types.ts\";\n\nfunction object(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\n\nexport function validateGate(gate: WorkflowGate): void {\n  if (![\"approval\", \"pause\"].includes(gate.kind))\n    throw new Error(\"Invalid workflow gate kind\");\n  if (!gate.prompt.trim()) throw new Error(\"Gate prompt cannot be empty\");\n  if (\n    !gate.actors.length ||\n    gate.actors.some((actor) => !actor.trim()) ||\n    new Set(gate.actors).size !== gate.actors.length\n  )\n    throw new Error(\"Gate actors must be nonempty and unique\");\n}\n\nexport function validateGateRecord(\n  record: Record<string, unknown>,\n  item: Task,\n  executionId: string,\n  output: unknown,\n): void {\n  const invalid = () => new Error(\"Invalid workflow checkpoint gate record\");\n  const gate = item.gate;\n  const request = record.pause;\n  const decision = record.decision;\n  if (!gate) {\n    if (\n      request !== undefined ||\n      decision !== undefined ||\n      [\"paused\", \"rejected\"].includes(String(record.status))\n    )\n      throw invalid();\n    return;\n  }\n  if (record.attempts !== 0) throw invalid();\n  if (![\"paused\", \"done\", \"rejected\"].includes(String(record.status))) {\n    if (\n      ![\"waiting\", \"skipped\", \"cancelled\"].includes(String(record.status)) ||\n      request !== undefined ||\n      decision !== undefined\n    )\n      throw invalid();\n    return;\n  }\n  if (\n    !object(request) ||\n    typeof request.id !== \"string\" ||\n    !request.id.trim() ||\n    typeof request.requestedAt !== \"string\" ||\n    !Number.isFinite(Date.parse(request.requestedAt)) ||\n    request.kind !== gate.kind ||\n    request.prompt !== gate.prompt ||\n    JSON.stringify(request.actors) !== JSON.stringify(gate.actors)\n  )\n    throw invalid();\n  if (record.status === \"paused\") {\n    if (decision !== undefined) throw invalid();\n    return;\n  }\n  const action =\n    record.status === \"rejected\" ? \"reject\" : gateActions[gate.kind];\n  if (\n    !object(decision) ||\n    decision.executionId !== executionId ||\n    decision.key !== item.key ||\n    decision.requestId !== request.id ||\n    decision.action !== action ||\n    typeof decision.actor !== \"string\" ||\n    !gate.actors.includes(decision.actor) ||\n    typeof decision.reason !== \"string\" ||\n    !decision.reason.trim() ||\n    typeof decision.decidedAt !== \"string\" ||\n    !Number.isFinite(Date.parse(decision.decidedAt))\n  )\n    throw invalid();\n  if (\n    record.status === \"done\" &&\n    (!object(output) ||\n      output.kind !== \"json\" ||\n      !object(output.value) ||\n      Object.keys(output.value).length !== Object.keys(decision).length ||\n      !Object.entries(decision).every(\n        ([key, value]) => object(output.value) && output.value[key] === value,\n      ))\n  )\n    throw invalid();\n}\n"]}

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

@@ -0,0 +1,4 @@
+export declare const gateActions: {
+    readonly approval: "approve";
+    readonly pause: "resume";
+};

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

@@ -0,0 +1,5 @@
+export const gateActions = {
+    approval: "approve",
+    pause: "resume",
+};
+//# sourceMappingURL=gates.constants.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"gates.constants.js","sourceRoot":"","sources":["../../../src/domain/workflow/gates.constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ,EAAE,SAAS;IACnB,KAAK,EAAE,QAAQ;CACP,CAAC","sourcesContent":["export const gateActions = {\n  approval: \"approve\",\n  pause: \"resume\",\n} as const;\n"]}

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

@@ -0,0 +1,7 @@
+import type { Task, WorkflowExecutionState } from "../workflow.types.ts";
+import type { WorkflowDecisionRecord, WorkflowGateOptions } from "./gates.types.ts";
+export declare function approvalTask(options: WorkflowGateOptions): Task<WorkflowDecisionRecord>;
+export declare function pauseTask(options: WorkflowGateOptions): Task<WorkflowDecisionRecord>;
+export declare function pauseGate(item: Task, runtime: WorkflowExecutionState): Promise<void>;
+export declare function prepareDecisions(runtime: WorkflowExecutionState): readonly WorkflowDecisionRecord[];
+export declare function applyDecisions(runtime: WorkflowExecutionState, decisions: readonly WorkflowDecisionRecord[]): void;

package/dist/domain/workflow/gates.js

@@ -0,0 +1,85 @@
+import { randomUUID } from "node:crypto";
+import { task } from "./task.js";
+import { gateActions } from "./gates.constants.js";
+import { validateGate } from "./gate-validation.js";
+function gateTask(kind, options) {
+    validateGate({ kind, prompt: options.prompt, actors: options.actors });
+    return task({
+        key: options.key,
+        after: options.after ?? [],
+        gate: Object.freeze({
+            kind,
+            prompt: options.prompt,
+            actors: Object.freeze([...options.actors]),
+        }),
+        perform() {
+            throw new Error("Workflow gates must be scheduled with a checkpoint");
+        },
+    });
+}
+export function approvalTask(options) {
+    return gateTask("approval", options);
+}
+export function pauseTask(options) {
+    return gateTask("pause", options);
+}
+export async function pauseGate(item, runtime) {
+    const gate = item.gate;
+    runtime.record(item).pause = Object.freeze({
+        ...gate,
+        id: randomUUID(),
+        requestedAt: new Date().toISOString(),
+    });
+    runtime.finish(item, "paused");
+    await runtime.persist();
+}
+export function prepareDecisions(runtime) {
+    const decisions = (runtime.options.decisions ?? []).map((decision) => Object.freeze({
+        executionId: decision.executionId,
+        key: decision.key,
+        requestId: decision.requestId,
+        action: decision.action,
+        actor: decision.actor,
+        reason: decision.reason,
+        decidedAt: new Date().toISOString(),
+    }));
+    const pending = new Map([...runtime.records.keys()].map((item) => [item.key, item]));
+    const seen = new Set();
+    for (const decision of decisions) {
+        const item = pending.get(decision.key);
+        const record = item && runtime.record(item);
+        const request = record?.pause;
+        if (!record ||
+            !request ||
+            record.status !== "paused" ||
+            record.decision ||
+            decision.executionId !== runtime.executionId ||
+            decision.requestId !== request.id ||
+            seen.has(decision.key) ||
+            typeof decision.actor !== "string" ||
+            !request.actors.includes(decision.actor) ||
+            typeof decision.reason !== "string" ||
+            !decision.reason.trim() ||
+            ![gateActions[request.kind], "reject"].includes(decision.action))
+            throw new Error(`Invalid or unauthorized workflow decision: ${decision.key}`);
+        seen.add(decision.key);
+    }
+    return decisions;
+}
+export function applyDecisions(runtime, decisions) {
+    const pending = new Map([...runtime.records.keys()].map((item) => [item.key, item]));
+    for (const decision of decisions) {
+        const item = pending.get(decision.key);
+        const record = runtime.record(item);
+        record.decision = decision;
+        if (decision.action === "reject") {
+            record.error = `${item.key} rejected by ${decision.actor}: ${decision.reason}`;
+            runtime.errors.push(new Error(record.error));
+            runtime.finish(item, "rejected");
+            continue;
+        }
+        runtime.values.set(item, decision);
+        runtime.finish(item, "done");
+    }
+}
+//# sourceMappingURL=gates.js.map

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,12 +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();
@@ -14,11 +18,14 @@ 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
@@ -28,6 +35,8 @@ export async function runTask(item, runtime) {
                 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;
@@ -35,7 +44,7 @@ export async function runTask(item, runtime) {
             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 });
@@ -59,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,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,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,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,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,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,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,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;AACH,CAAC","sourcesContent":["import { 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  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      runtime.accounting.admit();\n      state.attempts = attempt;\n      emit({ type: \"attempt\", key: item.key, 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        taskSignal.throwIfAborted();\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        runtime.closeAttempt(item);\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        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  }\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"]}