@elie-laloum/outpost 3.0.0 → 4.0.0

package/dist/domain/task-queue.types.d.ts

@@ -0,0 +1,41 @@
+import type { Usage } from "./agent.types.ts";
+import type { WorkflowJson } from "./workflow/checkpoint.types.ts";
+export interface QueueRequest {
+    readonly id: string;
+    readonly handler: string;
+    readonly input: WorkflowJson;
+    readonly deadline?: number;
+}
+export interface QueueResult {
+    readonly value: WorkflowJson;
+    readonly usage?: Usage;
+    readonly error?: string;
+}
+export interface QueueJob extends QueueRequest {
+    readonly status: "pending" | "active" | "done" | "failed" | "cancelled";
+    readonly fence: number;
+    readonly worker?: string;
+    readonly expires?: number;
+    readonly result?: QueueResult;
+}
+export interface QueueClaim {
+    readonly worker: string;
+    readonly handlers: readonly string[];
+    readonly leaseMs: number;
+}
+export interface QueueLease {
+    readonly id: string;
+    readonly worker: string;
+    readonly fence: number;
+}
+export interface TaskQueue {
+    enqueue(request: QueueRequest): Promise<QueueJob>;
+    get(id: string): Promise<QueueJob | undefined>;
+    claim(request: QueueClaim): Promise<QueueJob | undefined>;
+    renew(lease: QueueLease, leaseMs: number): Promise<QueueJob>;
+    complete(lease: QueueLease, result: QueueResult): Promise<QueueJob>;
+    cancel(id: string, fence: number): Promise<QueueJob>;
+}
+export interface DurableTaskQueue extends TaskQueue {
+    close(): void;
+}

package/dist/domain/task-queue.types.js

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

package/dist/domain/task-queue.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-queue.types.js","sourceRoot":"","sources":["../../src/domain/task-queue.types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Usage } from \"./agent.types.ts\";\nimport type { WorkflowJson } from \"./workflow/checkpoint.types.ts\";\n\nexport interface QueueRequest {\n  readonly id: string;\n  readonly handler: string;\n  readonly input: WorkflowJson;\n  readonly deadline?: number;\n}\nexport interface QueueResult {\n  readonly value: WorkflowJson;\n  readonly usage?: Usage;\n  readonly error?: string;\n}\nexport interface QueueJob extends QueueRequest {\n  readonly status: \"pending\" | \"active\" | \"done\" | \"failed\" | \"cancelled\";\n  readonly fence: number;\n  readonly worker?: string;\n  readonly expires?: number;\n  readonly result?: QueueResult;\n}\nexport interface QueueClaim {\n  readonly worker: string;\n  readonly handlers: readonly string[];\n  readonly leaseMs: number;\n}\nexport interface QueueLease {\n  readonly id: string;\n  readonly worker: string;\n  readonly fence: number;\n}\nexport interface TaskQueue {\n  enqueue(request: QueueRequest): Promise<QueueJob>;\n  get(id: string): Promise<QueueJob | undefined>;\n  claim(request: QueueClaim): Promise<QueueJob | undefined>;\n  renew(lease: QueueLease, leaseMs: number): Promise<QueueJob>;\n  complete(lease: QueueLease, result: QueueResult): Promise<QueueJob>;\n  cancel(id: string, fence: number): Promise<QueueJob>;\n}\nexport interface DurableTaskQueue extends TaskQueue {\n  close(): void;\n}\n"]}

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

@@ -1,9 +1,9 @@
 import type { Usage } from "../agent.types.ts";
-import type { WorkflowAccounting, WorkflowBudget } from "./budget.types.ts";
+import type { WorkflowAccounting, WorkflowBudget, WorkflowUsage } from "./budget.types.ts";
 export declare class WorkflowBudgetExceeded extends Error {
     readonly dimension: "attempts" | keyof Usage;
     readonly limit: number;
     readonly observed: number;
     constructor(dimension: "attempts" | keyof Usage, limit: number, observed: number);
 }
-export declare function workflowAccounting(budget: WorkflowBudget | undefined, exhaust: (error: WorkflowBudgetExceeded) => void): WorkflowAccounting;
+export declare function workflowAccounting(budget: WorkflowBudget | undefined, exhaust: (error: WorkflowBudgetExceeded) => void, initial?: WorkflowUsage): WorkflowAccounting;

package/dist/domain/workflow/budget.js

@@ -12,7 +12,7 @@ export class WorkflowBudgetExceeded extends Error {
         this.observed = observed;
     }
 }
-export function workflowAccounting(budget, exhaust) {
+export function workflowAccounting(budget, exhaust, initial) {
     for (const [key, value] of Object.entries({
         attempts: budget?.attempts,
         ...budget?.usage,
@@ -20,8 +20,10 @@ export function workflowAccounting(budget, exhaust) {
         if (value !== undefined && (!Number.isSafeInteger(value) || value < 0))
             throw new Error(`Workflow budget ${key} must be a nonnegative safe integer`);
     }
-    let attempts = 0;
-    let tokens = { input: 0, cached: 0, output: 0 };
+    let attempts = initial?.attempts ?? 0;
+    let tokens = initial
+        ? { ...initial.tokens }
+        : { input: 0, cached: 0, output: 0 };
     let exhausted = false;
     let usageExhausted = false;
     function fail(dimension, limit, observed) {

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

@@ -1 +1 @@
-{"version":3,"file":"budget.js","sourceRoot":"","sources":["../../../src/domain/workflow/budget.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACtC,SAAS,CAA2B;IACpC,KAAK,CAAS;IACd,QAAQ,CAAS;IAC1B,YACE,SAAmC,EACnC,KAAa,EACb,QAAgB;QAEhB,KAAK,CACH,8BAA8B,SAAS,UAAU,KAAK,cAAc,QAAQ,EAAE,CAC/E,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAkC,EAClC,OAAgD;IAEhD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;QACxC,QAAQ,EAAE,MAAM,EAAE,QAAQ;QAC1B,GAAG,MAAM,EAAE,KAAK;KACjB,CAAC,EAAE,CAAC;QACH,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YACpE,MAAM,IAAI,KAAK,CACb,mBAAmB,GAAG,qCAAqC,CAC5D,CAAC;IACN,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,MAAM,GAAU,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACvD,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,SAAS,IAAI,CACX,SAAmC,EACnC,KAAa,EACb,QAAgB;QAEhB,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAChE,SAAS,GAAG,IAAI,CAAC;YACjB,IAAI,SAAS,KAAK,UAAU;gBAAE,cAAc,GAAG,IAAI,CAAC;YACpD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,IAAI,SAAS;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK;YACH,IAAI,MAAM,EAAE,QAAQ,KAAK,SAAS,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ;gBAC/D,MAAM,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACpD,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK;oBAC1D,MAAM,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC;QACD,MAAM,CAAC,KAAK;YACV,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;oBAC3C,MAAM,IAAI,KAAK,CACb,kBAAkB,SAAS,qCAAqC,CACjE,CAAC;YACN,CAAC;YACD,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACjC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK;oBAC1D,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE,CACb,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC;KACpE,CAAC;AACJ,CAAC","sourcesContent":["import type { Usage } from \"../agent.types.ts\";\nimport { addUsage } from \"../usage.ts\";\nimport { usageDimensions } from \"./budget.constants.ts\";\nimport type { WorkflowAccounting, WorkflowBudget } from \"./budget.types.ts\";\n\nexport class WorkflowBudgetExceeded extends Error {\n  readonly dimension: \"attempts\" | keyof Usage;\n  readonly limit: number;\n  readonly observed: number;\n  constructor(\n    dimension: \"attempts\" | keyof Usage,\n    limit: number,\n    observed: number,\n  ) {\n    super(\n      `Workflow budget exhausted: ${dimension} limit ${limit}, observed ${observed}`,\n    );\n    this.name = \"WorkflowBudgetExceeded\";\n    this.dimension = dimension;\n    this.limit = limit;\n    this.observed = observed;\n  }\n}\n\nexport function workflowAccounting(\n  budget: WorkflowBudget | undefined,\n  exhaust: (error: WorkflowBudgetExceeded) => void,\n): WorkflowAccounting {\n  for (const [key, value] of Object.entries({\n    attempts: budget?.attempts,\n    ...budget?.usage,\n  })) {\n    if (value !== undefined && (!Number.isSafeInteger(value) || value < 0))\n      throw new Error(\n        `Workflow budget ${key} must be a nonnegative safe integer`,\n      );\n  }\n  let attempts = 0;\n  let tokens: Usage = { input: 0, cached: 0, output: 0 };\n  let exhausted = false;\n  let usageExhausted = false;\n  function fail(\n    dimension: \"attempts\" | keyof Usage,\n    limit: number,\n    observed: number,\n  ): WorkflowBudgetExceeded {\n    const error = new WorkflowBudgetExceeded(dimension, limit, observed);\n    if (!exhausted || (dimension !== \"attempts\" && !usageExhausted)) {\n      exhausted = true;\n      if (dimension !== \"attempts\") usageExhausted = true;\n      exhaust(error);\n    }\n    return error;\n  }\n  return {\n    get exhausted() {\n      return exhausted;\n    },\n    admit() {\n      if (budget?.attempts !== undefined && attempts >= budget.attempts)\n        throw fail(\"attempts\", budget.attempts, attempts);\n      for (const dimension of usageDimensions) {\n        const limit = budget?.usage?.[dimension];\n        if (limit !== undefined && (tokens[dimension] ?? 0) >= limit)\n          throw fail(dimension, limit, tokens[dimension] ?? 0);\n      }\n      attempts++;\n    },\n    report(usage) {\n      for (const dimension of usageDimensions) {\n        const value = usage[dimension] ?? 0;\n        if (!Number.isSafeInteger(value) || value < 0)\n          throw new Error(\n            `Reported usage ${dimension} must be a nonnegative safe integer`,\n          );\n      }\n      tokens = addUsage(tokens, usage);\n      for (const dimension of usageDimensions) {\n        const limit = budget?.usage?.[dimension];\n        if (limit !== undefined && (tokens[dimension] ?? 0) >= limit)\n          fail(dimension, limit, tokens[dimension] ?? 0);\n      }\n    },\n    snapshot: () =>\n      Object.freeze({ attempts, tokens: Object.freeze({ ...tokens }) }),\n  };\n}\n"]}
+{"version":3,"file":"budget.js","sourceRoot":"","sources":["../../../src/domain/workflow/budget.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAOxD,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACtC,SAAS,CAA2B;IACpC,KAAK,CAAS;IACd,QAAQ,CAAS;IAC1B,YACE,SAAmC,EACnC,KAAa,EACb,QAAgB;QAEhB,KAAK,CACH,8BAA8B,SAAS,UAAU,KAAK,cAAc,QAAQ,EAAE,CAC/E,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAkC,EAClC,OAAgD,EAChD,OAAuB;IAEvB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;QACxC,QAAQ,EAAE,MAAM,EAAE,QAAQ;QAC1B,GAAG,MAAM,EAAE,KAAK;KACjB,CAAC,EAAE,CAAC;QACH,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YACpE,MAAM,IAAI,KAAK,CACb,mBAAmB,GAAG,qCAAqC,CAC5D,CAAC;IACN,CAAC;IACD,IAAI,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC;IACtC,IAAI,MAAM,GAAU,OAAO;QACzB,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE;QACvB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACvC,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,SAAS,IAAI,CACX,SAAmC,EACnC,KAAa,EACb,QAAgB;QAEhB,MAAM,KAAK,GAAG,IAAI,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrE,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAChE,SAAS,GAAG,IAAI,CAAC;YACjB,IAAI,SAAS,KAAK,UAAU;gBAAE,cAAc,GAAG,IAAI,CAAC;YACpD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO;QACL,IAAI,SAAS;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,KAAK;YACH,IAAI,MAAM,EAAE,QAAQ,KAAK,SAAS,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ;gBAC/D,MAAM,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACpD,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK;oBAC1D,MAAM,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC;QACD,MAAM,CAAC,KAAK;YACV,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;oBAC3C,MAAM,IAAI,KAAK,CACb,kBAAkB,SAAS,qCAAqC,CACjE,CAAC;YACN,CAAC;YACD,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACjC,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK;oBAC1D,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE,CACb,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC;KACpE,CAAC;AACJ,CAAC","sourcesContent":["import type { Usage } from \"../agent.types.ts\";\nimport { addUsage } from \"../usage.ts\";\nimport { usageDimensions } from \"./budget.constants.ts\";\nimport type {\n  WorkflowAccounting,\n  WorkflowBudget,\n  WorkflowUsage,\n} from \"./budget.types.ts\";\n\nexport class WorkflowBudgetExceeded extends Error {\n  readonly dimension: \"attempts\" | keyof Usage;\n  readonly limit: number;\n  readonly observed: number;\n  constructor(\n    dimension: \"attempts\" | keyof Usage,\n    limit: number,\n    observed: number,\n  ) {\n    super(\n      `Workflow budget exhausted: ${dimension} limit ${limit}, observed ${observed}`,\n    );\n    this.name = \"WorkflowBudgetExceeded\";\n    this.dimension = dimension;\n    this.limit = limit;\n    this.observed = observed;\n  }\n}\n\nexport function workflowAccounting(\n  budget: WorkflowBudget | undefined,\n  exhaust: (error: WorkflowBudgetExceeded) => void,\n  initial?: WorkflowUsage,\n): WorkflowAccounting {\n  for (const [key, value] of Object.entries({\n    attempts: budget?.attempts,\n    ...budget?.usage,\n  })) {\n    if (value !== undefined && (!Number.isSafeInteger(value) || value < 0))\n      throw new Error(\n        `Workflow budget ${key} must be a nonnegative safe integer`,\n      );\n  }\n  let attempts = initial?.attempts ?? 0;\n  let tokens: Usage = initial\n    ? { ...initial.tokens }\n    : { input: 0, cached: 0, output: 0 };\n  let exhausted = false;\n  let usageExhausted = false;\n  function fail(\n    dimension: \"attempts\" | keyof Usage,\n    limit: number,\n    observed: number,\n  ): WorkflowBudgetExceeded {\n    const error = new WorkflowBudgetExceeded(dimension, limit, observed);\n    if (!exhausted || (dimension !== \"attempts\" && !usageExhausted)) {\n      exhausted = true;\n      if (dimension !== \"attempts\") usageExhausted = true;\n      exhaust(error);\n    }\n    return error;\n  }\n  return {\n    get exhausted() {\n      return exhausted;\n    },\n    admit() {\n      if (budget?.attempts !== undefined && attempts >= budget.attempts)\n        throw fail(\"attempts\", budget.attempts, attempts);\n      for (const dimension of usageDimensions) {\n        const limit = budget?.usage?.[dimension];\n        if (limit !== undefined && (tokens[dimension] ?? 0) >= limit)\n          throw fail(dimension, limit, tokens[dimension] ?? 0);\n      }\n      attempts++;\n    },\n    report(usage) {\n      for (const dimension of usageDimensions) {\n        const value = usage[dimension] ?? 0;\n        if (!Number.isSafeInteger(value) || value < 0)\n          throw new Error(\n            `Reported usage ${dimension} must be a nonnegative safe integer`,\n          );\n      }\n      tokens = addUsage(tokens, usage);\n      for (const dimension of usageDimensions) {\n        const limit = budget?.usage?.[dimension];\n        if (limit !== undefined && (tokens[dimension] ?? 0) >= limit)\n          fail(dimension, limit, tokens[dimension] ?? 0);\n      }\n    },\n    snapshot: () =>\n      Object.freeze({ attempts, tokens: Object.freeze({ ...tokens }) }),\n  };\n}\n"]}

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

@@ -0,0 +1,3 @@
+import type { WorkflowCheckpoint } from "./checkpoint.types.ts";
+import type { Task } from "../workflow.types.ts";
+export declare function validateCheckpoint(value: unknown, identity: string, tasks: readonly Task[]): asserts value is WorkflowCheckpoint;

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

@@ -0,0 +1,81 @@
+import { validateUsageReceipts } from "./usage-receipt.js";
+import { validateGateRecord } from "./gate-validation.js";
+import { checkpointValue } from "./checkpoint-value.js";
+function object(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function integer(value) {
+    return typeof value === "number" && Number.isSafeInteger(value) && value >= 0;
+}
+export function validateCheckpoint(value, identity, tasks) {
+    const invalid = () => new Error("Invalid or incompatible workflow checkpoint");
+    if (!object(value) ||
+        value.format !== 1 ||
+        value.identity !== identity ||
+        typeof value.executionId !== "string" ||
+        !value.executionId ||
+        !Array.isArray(value.records) ||
+        !object(value.values) ||
+        !object(value.usage))
+        throw invalid();
+    if (!integer(value.usage.attempts) || !object(value.usage.tokens))
+        throw invalid();
+    for (const dimension of ["input", "cached", "output"])
+        if (!integer(value.usage.tokens[dimension]))
+            throw invalid();
+    for (const count of Object.values(value.usage.tokens))
+        if (!integer(count))
+            throw invalid();
+    if (value.records.length !== tasks.length)
+        throw invalid();
+    const keys = new Set(tasks.map((item) => item.key));
+    let attempts = 0;
+    for (const record of value.records) {
+        if (!object(record) ||
+            typeof record.key !== "string" ||
+            !keys.delete(record.key) ||
+            !integer(record.attempts) ||
+            ![
+                "waiting",
+                "active",
+                "done",
+                "failed",
+                "skipped",
+                "cancelled",
+                "paused",
+                "rejected",
+            ].includes(String(record.status)))
+            throw invalid();
+        for (const field of ["startedAt", "finishedAt", "error"])
+            if (record[field] !== undefined && typeof record[field] !== "string")
+                throw invalid();
+        validateUsageReceipts(record.usageReceipts);
+        attempts += record.attempts;
+        const output = Object.hasOwn(value.values, record.key)
+            ? value.values[record.key]
+            : undefined;
+        validateGateRecord(record, tasks.find((item) => item.key === record.key), value.executionId, output);
+        if (record.status !== "done") {
+            if (output !== undefined)
+                throw invalid();
+            continue;
+        }
+        if (!object(output) || !["undefined", "json"].includes(String(output.kind)))
+            throw invalid();
+        if (output.kind === "json") {
+            if (!Object.hasOwn(output, "value") || output.value === undefined)
+                throw invalid();
+            checkpointValue(output.value);
+        }
+    }
+    if (attempts !== value.usage.attempts)
+        throw invalid();
+    if (Object.keys(value.values).some((key) => !tasks.some((item) => item.key === key)))
+        throw invalid();
+    const records = new Map(value.records.map((entry) => [entry.key, entry]));
+    for (const item of tasks)
+        if (["done", "paused", "rejected"].includes(String(records.get(item.key)?.status)) &&
+            item.after.some((dependency) => records.get(dependency.key)?.status !== "done"))
+            throw invalid();
+}
+//# sourceMappingURL=checkpoint-validation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-validation.js","sourceRoot":"","sources":["../../../src/domain/workflow/checkpoint-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,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;AACD,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAAc,EACd,QAAgB,EAChB,KAAsB;IAEtB,MAAM,OAAO,GAAG,GAAG,EAAE,CACnB,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC3D,IACE,CAAC,MAAM,CAAC,KAAK,CAAC;QACd,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAC3B,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,CAAC,KAAK,CAAC,WAAW;QAClB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAC7B,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QACrB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAEpB,MAAM,OAAO,EAAE,CAAC;IAClB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAC/D,MAAM,OAAO,EAAE,CAAC;IAClB,KAAK,MAAM,SAAS,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;IAC/D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,MAAM,OAAO,EAAE,CAAC;IACvC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,OAAO,EAAE,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IACE,CAAC,MAAM,CAAC,MAAM,CAAC;YACf,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ;YAC9B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YACxB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;YACzB,CAAC;gBACC,SAAS;gBACT,QAAQ;gBACR,MAAM;gBACN,QAAQ;gBACR,SAAS;gBACT,WAAW;gBACX,QAAQ;gBACR,UAAU;aACX,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAEjC,MAAM,OAAO,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC;YACtD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,QAAQ;gBAClE,MAAM,OAAO,EAAE,CAAC;QACpB,qBAAqB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAC5C,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC;YACpD,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YAC1B,CAAC,CAAC,SAAS,CAAC;QACd,kBAAkB,CAChB,MAAM,EACN,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAE,EAC9C,KAAK,CAAC,WAAW,EACjB,MAAM,CACP,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,OAAO,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzE,MAAM,OAAO,EAAE,CAAC;QAClB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;gBAC/D,MAAM,OAAO,EAAE,CAAC;YAClB,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ;QAAE,MAAM,OAAO,EAAE,CAAC;IACvD,IACE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAC5B,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CACjD;QAED,MAAM,OAAO,EAAE,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,KAAK,MAAM,IAAI,IAAI,KAAK;QACtB,IACE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,QAAQ,CACrC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CACtC;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,MAAM,KAAK,MAAM,CAC/D;YAED,MAAM,OAAO,EAAE,CAAC;AACtB,CAAC","sourcesContent":["import { validateUsageReceipts } from \"./usage-receipt.ts\";\nimport { validateGateRecord } from \"./gate-validation.ts\";\nimport type { WorkflowCheckpoint } from \"./checkpoint.types.ts\";\nimport type { Task } from \"../workflow.types.ts\";\nimport { checkpointValue } from \"./checkpoint-value.ts\";\n\nfunction object(value: unknown): value is Record<string, unknown> {\n  return value !== null && typeof value === \"object\" && !Array.isArray(value);\n}\nfunction integer(value: unknown): value is number {\n  return typeof value === \"number\" && Number.isSafeInteger(value) && value >= 0;\n}\n\nexport function validateCheckpoint(\n  value: unknown,\n  identity: string,\n  tasks: readonly Task[],\n): asserts value is WorkflowCheckpoint {\n  const invalid = () =>\n    new Error(\"Invalid or incompatible workflow checkpoint\");\n  if (\n    !object(value) ||\n    value.format !== 1 ||\n    value.identity !== identity ||\n    typeof value.executionId !== \"string\" ||\n    !value.executionId ||\n    !Array.isArray(value.records) ||\n    !object(value.values) ||\n    !object(value.usage)\n  )\n    throw invalid();\n  if (!integer(value.usage.attempts) || !object(value.usage.tokens))\n    throw invalid();\n  for (const dimension of [\"input\", \"cached\", \"output\"])\n    if (!integer(value.usage.tokens[dimension])) throw invalid();\n  for (const count of Object.values(value.usage.tokens))\n    if (!integer(count)) throw invalid();\n  if (value.records.length !== tasks.length) throw invalid();\n  const keys = new Set(tasks.map((item) => item.key));\n  let attempts = 0;\n  for (const record of value.records) {\n    if (\n      !object(record) ||\n      typeof record.key !== \"string\" ||\n      !keys.delete(record.key) ||\n      !integer(record.attempts) ||\n      ![\n        \"waiting\",\n        \"active\",\n        \"done\",\n        \"failed\",\n        \"skipped\",\n        \"cancelled\",\n        \"paused\",\n        \"rejected\",\n      ].includes(String(record.status))\n    )\n      throw invalid();\n    for (const field of [\"startedAt\", \"finishedAt\", \"error\"])\n      if (record[field] !== undefined && typeof record[field] !== \"string\")\n        throw invalid();\n    validateUsageReceipts(record.usageReceipts);\n    attempts += record.attempts;\n    const output = Object.hasOwn(value.values, record.key)\n      ? value.values[record.key]\n      : undefined;\n    validateGateRecord(\n      record,\n      tasks.find((item) => item.key === record.key)!,\n      value.executionId,\n      output,\n    );\n    if (record.status !== \"done\") {\n      if (output !== undefined) throw invalid();\n      continue;\n    }\n    if (!object(output) || ![\"undefined\", \"json\"].includes(String(output.kind)))\n      throw invalid();\n    if (output.kind === \"json\") {\n      if (!Object.hasOwn(output, \"value\") || output.value === undefined)\n        throw invalid();\n      checkpointValue(output.value);\n    }\n  }\n  if (attempts !== value.usage.attempts) throw invalid();\n  if (\n    Object.keys(value.values).some(\n      (key) => !tasks.some((item) => item.key === key),\n    )\n  )\n    throw invalid();\n  const records = new Map(value.records.map((entry) => [entry.key, entry]));\n  for (const item of tasks)\n    if (\n      [\"done\", \"paused\", \"rejected\"].includes(\n        String(records.get(item.key)?.status),\n      ) &&\n      item.after.some(\n        (dependency) => records.get(dependency.key)?.status !== \"done\",\n      )\n    )\n      throw invalid();\n}\n"]}

package/dist/domain/workflow/checkpoint-value.d.ts

@@ -0,0 +1,2 @@
+import type { WorkflowCheckpointValue } from "./checkpoint.types.ts";
+export declare function checkpointValue(value: unknown): WorkflowCheckpointValue;

package/dist/domain/workflow/checkpoint-value.js

@@ -0,0 +1,49 @@
+export function checkpointValue(value) {
+    if (value === undefined)
+        return { kind: "undefined" };
+    return { kind: "json", value: jsonValue(value, new Set()) };
+}
+function jsonValue(value, ancestors) {
+    if (value === null || typeof value === "boolean" || typeof value === "string")
+        return value;
+    if (typeof value === "number" &&
+        Number.isFinite(value) &&
+        !Object.is(value, -0))
+        return value;
+    if (typeof value !== "object" || value === null || ancestors.has(value))
+        throw new Error("Checkpoint outputs must be lossless JSON values or top-level undefined");
+    const prototype = Object.getPrototypeOf(value);
+    if (!Array.isArray(value) &&
+        prototype !== Object.prototype &&
+        prototype !== null)
+        throw new Error("Checkpoint outputs must contain plain JSON objects");
+    ancestors.add(value);
+    try {
+        if (Array.isArray(value)) {
+            if (prototype !== Array.prototype)
+                throw new Error("Checkpoint arrays must have the standard prototype");
+            if (Reflect.ownKeys(value).length !== value.length + 1)
+                throw new Error("Checkpoint arrays must be dense and have no extra properties");
+            return Array.from({ length: value.length }, (_, index) => {
+                const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+                if (!descriptor || !("value" in descriptor) || !descriptor.enumerable)
+                    throw new Error("Checkpoint arrays must have enumerable data properties");
+                return jsonValue(descriptor.value, ancestors);
+            });
+        }
+        const result = Object.create(null);
+        for (const key of Reflect.ownKeys(value)) {
+            const descriptor = Object.getOwnPropertyDescriptor(value, key);
+            if (typeof key !== "string" ||
+                !descriptor.enumerable ||
+                !("value" in descriptor))
+                throw new Error("Checkpoint objects must have enumerable string data properties");
+            result[key] = jsonValue(descriptor.value, ancestors);
+        }
+        return result;
+    }
+    finally {
+        ancestors.delete(value);
+    }
+}
+//# sourceMappingURL=checkpoint-value.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-value.js","sourceRoot":"","sources":["../../../src/domain/workflow/checkpoint-value.ts"],"names":[],"mappings":"AAKA,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,SAAsB;IACvD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QAC3E,OAAO,KAAK,CAAC;IACf,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACtB,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAErB,OAAO,KAAK,CAAC;IACf,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QACrE,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;IACJ,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,SAAS,KAAK,MAAM,CAAC,SAAS;QAC9B,SAAS,KAAK,IAAI;QAElB,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,SAAS,KAAK,KAAK,CAAC,SAAS;gBAC/B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACxE,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;gBACpD,MAAM,IAAI,KAAK,CACb,8DAA8D,CAC/D,CAAC;YACJ,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;gBACvD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAChD,KAAK,EACL,MAAM,CAAC,KAAK,CAAC,CACd,CAAC;gBACF,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU;oBACnE,MAAM,IAAI,KAAK,CACb,wDAAwD,CACzD,CAAC;gBACJ,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAChD,CAAC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAiC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjE,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAE,CAAC;YAChE,IACE,OAAO,GAAG,KAAK,QAAQ;gBACvB,CAAC,UAAU,CAAC,UAAU;gBACtB,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;gBAExB,MAAM,IAAI,KAAK,CACb,gEAAgE,CACjE,CAAC;YACJ,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC","sourcesContent":["import type {\n  WorkflowCheckpointValue,\n  WorkflowJson,\n} from \"./checkpoint.types.ts\";\n\nexport function checkpointValue(value: unknown): WorkflowCheckpointValue {\n  if (value === undefined) return { kind: \"undefined\" };\n  return { kind: \"json\", value: jsonValue(value, new Set()) };\n}\n\nfunction jsonValue(value: unknown, ancestors: Set<object>): WorkflowJson {\n  if (value === null || typeof value === \"boolean\" || typeof value === \"string\")\n    return value;\n  if (\n    typeof value === \"number\" &&\n    Number.isFinite(value) &&\n    !Object.is(value, -0)\n  )\n    return value;\n  if (typeof value !== \"object\" || value === null || ancestors.has(value))\n    throw new Error(\n      \"Checkpoint outputs must be lossless JSON values or top-level undefined\",\n    );\n  const prototype: unknown = Object.getPrototypeOf(value);\n  if (\n    !Array.isArray(value) &&\n    prototype !== Object.prototype &&\n    prototype !== null\n  )\n    throw new Error(\"Checkpoint outputs must contain plain JSON objects\");\n  ancestors.add(value);\n  try {\n    if (Array.isArray(value)) {\n      if (prototype !== Array.prototype)\n        throw new Error(\"Checkpoint arrays must have the standard prototype\");\n      if (Reflect.ownKeys(value).length !== value.length + 1)\n        throw new Error(\n          \"Checkpoint arrays must be dense and have no extra properties\",\n        );\n      return Array.from({ length: value.length }, (_, index) => {\n        const descriptor = Object.getOwnPropertyDescriptor(\n          value,\n          String(index),\n        );\n        if (!descriptor || !(\"value\" in descriptor) || !descriptor.enumerable)\n          throw new Error(\n            \"Checkpoint arrays must have enumerable data properties\",\n          );\n        return jsonValue(descriptor.value, ancestors);\n      });\n    }\n    const result: Record<string, WorkflowJson> = Object.create(null);\n    for (const key of Reflect.ownKeys(value)) {\n      const descriptor = Object.getOwnPropertyDescriptor(value, key)!;\n      if (\n        typeof key !== \"string\" ||\n        !descriptor.enumerable ||\n        !(\"value\" in descriptor)\n      )\n        throw new Error(\n          \"Checkpoint objects must have enumerable string data properties\",\n        );\n      result[key] = jsonValue(descriptor.value, ancestors);\n    }\n    return result;\n  } finally {\n    ancestors.delete(value);\n  }\n}\n"]}

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

@@ -0,0 +1,3 @@
+import type { Task } from "../workflow.types.ts";
+import type { WorkflowCheckpointOptions, WorkflowCheckpointSession } from "./checkpoint.types.ts";
+export declare function openCheckpoint(name: string, tasks: readonly Task[], options: WorkflowCheckpointOptions): Promise<WorkflowCheckpointSession>;

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;