@sanoma-ai/workflows 0.0.0-stage → 0.2.0

package/dist/approvals.js

@@ -0,0 +1,111 @@
+import { DBOS } from "@dbos-inc/dbos-sdk";
+import { z } from "zod";
+import { notApprover, Principal } from "./define.js";
+import { RejectedError } from "./errors.js";
+import { entry, write } from "./ledger.js";
+import { warn } from "./log.js";
+import { approverLabel, mayDecide } from "./shared.js";
+// The wire contract between a run waiting on approvals and whoever decides them. The client
+// imports this file and never the worker's.
+/** The DBOS event a run publishes its approvals on, as `ApprovalState[]`. */
+export const APPROVALS_EVENT = "approvals";
+/** The `recv` topic a decision on an approval is sent to. */
+export const topicOf = (approvalId) => approvalId;
+/** The DBOS event an approval's decision is published on, as its decided `ApprovalState`, once made. */
+export const decisionEventOf = (approvalId) => `approval:${approvalId}`;
+/**
+ * The idempotency key a decision message is sent with, so a retried send queues it once. DBOS
+ * scopes the key per run, not per topic, so it names the approval too: one message id reused
+ * for two approvals of a run would otherwise drop the second send.
+ */
+export const messageKeyOf = (approvalId, messageId) => `${approvalId}:${messageId}`;
+/**
+ * A decision, as sent to a run. `id` names the message, so whoever sent it can tell whether
+ * the run decided with it or with another; `SanomaClient.decide` sets one.
+ */
+export const ApprovalMessage = z.object({
+    id: z.string().optional(),
+    decision: z.enum(["approve", "reject"]),
+    by: Principal,
+    note: z.string().optional(),
+});
+const statusOf = (decision) => (decision === "approve" ? "approved" : "rejected");
+/** The sender's id, from a message that may not be a valid decision. */
+function senderOf(raw) {
+    const by = typeof raw === "object" && raw !== null ? raw.by : undefined;
+    const id = typeof by === "object" && by !== null ? by.id : undefined;
+    return typeof id === "string" && id ? id : undefined;
+}
+/**
+ * Waits, durably, for a decision from someone who may make it. Throws `RejectedError` on a
+ * rejection. Without `held`, the workflow asked (`ctx.approval`); with it, the policy did, and
+ * `place` is the held call's outline node and name.
+ */
+export async function awaitApproval(run, title, req, place, held) {
+    const { covers } = req;
+    const all = run.approvals;
+    const state = {
+        id: `approval-${all.length + 1}`,
+        title,
+        approver: req.approver,
+        ...(req.links === undefined ? {} : { links: req.links }),
+        ...(req.details === undefined ? {} : { details: req.details }),
+        requestedBy: held ? "policy" : "workflow",
+        covers,
+        ...(held ? { op: held.op, opSeq: held.seq, input: held.input } : {}),
+        status: "pending",
+        requestedAt: 0,
+        refused: [],
+    };
+    all.push(state);
+    state.requestedAt = await DBOS.now();
+    await DBOS.setEvent(APPROVALS_EVENT, all);
+    await write(run, entry(run, {
+        type: "approval.requested",
+        approval: state.id,
+        ...place,
+        title,
+        approver: state.approver,
+        requestedBy: state.requestedBy,
+        covers,
+        ...(held ? { op: held.op, opSeq: held.seq } : {}),
+    }, { key: state.id, at: state.requestedAt }));
+    for (;;) {
+        const raw = await DBOS.recv(topicOf(state.id), { timeoutSeconds: 24 * 60 * 60 });
+        if (raw === null || raw === undefined) {
+            warn(`run ${run.id}: approval ${state.id} ("${title}") is still waiting for ${approverLabel(state.approver)}`);
+            continue;
+        }
+        const at = await DBOS.now();
+        const parsed = ApprovalMessage.safeParse(raw);
+        const msg = parsed.success ? parsed.data : undefined;
+        if (!msg || !mayDecide(state, msg.by)) {
+            const by = msg?.by.id ?? senderOf(raw);
+            const reason = msg ? notApprover(state, msg.by) : "not a valid decision message";
+            state.refused.push({
+                ...(by === undefined ? {} : { by }),
+                ...(msg?.id === undefined ? {} : { id: msg.id }),
+                at,
+                reason,
+            });
+            await DBOS.setEvent(APPROVALS_EVENT, all);
+            await write(run, entry(run, { type: "approval.refused", approval: state.id, ...(by === undefined ? {} : { by }), reason }, { key: `${state.id}:refused:${state.refused.length}`, at }));
+            continue;
+        }
+        Object.assign(state, {
+            status: statusOf(msg.decision),
+            decidedBy: msg.by.id,
+            decidedAt: at,
+            note: msg.note,
+            decidedWith: msg.id,
+        });
+        // The list first, then the ledger, then the decision event: whoever sees the event sees both.
+        await DBOS.setEvent(APPROVALS_EVENT, all);
+        await write(run, entry(run, { type: "approval.decided", approval: state.id, decision: msg.decision, by: msg.by.id, note: msg.note }, { key: state.id, at }));
+        await DBOS.setEvent(decisionEventOf(state.id), state);
+        if (msg.decision === "reject")
+            throw new RejectedError(title, msg.by, msg.note, state.id);
+        return { approvedBy: msg.by.id, at, note: msg.note };
+    }
+}
+//# sourceMappingURL=approvals.js.map

package/dist/approvals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"approvals.js","sourceRoot":"","sources":["../src/approvals.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAiE,WAAW,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACpH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAGhC,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAEvD,4FAA4F;AAC5F,4CAA4C;AAE5C,6EAA6E;AAC7E,MAAM,CAAC,MAAM,eAAe,GAAG,WAAW,CAAC;AAC3C,6DAA6D;AAC7D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,UAAU,CAAC;AAC1D,wGAAwG;AACxG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,UAAkB,EAAE,EAAE,CAAC,YAAY,UAAU,EAAE,CAAC;AAChF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAkB,EAAE,SAAiB,EAAE,EAAE,CAAC,GAAG,UAAU,IAAI,SAAS,EAAE,CAAC;AAEpG;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACvC,EAAE,EAAE,SAAS;IACb,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAGH,MAAM,QAAQ,GAAG,CAAC,QAAqC,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AAE/G,wEAAwE;AACxE,SAAS,QAAQ,CAAC,GAAY;IAC5B,MAAM,EAAE,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAE,GAAwB,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,MAAM,EAAE,GAAG,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAE,EAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAcD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,GAAQ,EACR,KAAa,EACb,GAAoB,EACpB,KAAa,EACb,IAAe;IAEf,MAAM,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IACvB,MAAM,GAAG,GAAG,GAAG,CAAC,SAAS,CAAC;IAC1B,MAAM,KAAK,GAAkB;QAC3B,EAAE,EAAE,YAAY,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE;QAChC,KAAK;QACL,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QACxD,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9D,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;QACzC,MAAM;QACN,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,MAAM,EAAE,SAAS;QACjB,WAAW,EAAE,CAAC;QACd,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,CAAC,WAAW,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,MAAM,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IAC1C,MAAM,KAAK,CACT,GAAG,EACH,KAAK,CACH,GAAG,EACH;QACE,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,KAAK,CAAC,EAAE;QAClB,GAAG,KAAK;QACR,KAAK;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM;QACN,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClD,EACD,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,WAAW,EAAE,CACzC,CACF,CAAC;IACF,SAAS,CAAC;QACR,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAU,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1F,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,cAAc,KAAK,CAAC,EAAE,MAAM,KAAK,2BAA2B,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/G,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACrD,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,8BAA8B,CAAC;YACjF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACjB,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;gBACnC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;gBAChD,EAAE;gBACF,MAAM;aACP,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;YAC1C,MAAM,KAAK,CACT,GAAG,EACH,KAAK,CACH,GAAG,EACH,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAC7F,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,YAAY,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAC3D,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;YACnB,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE;YACpB,SAAS,EAAE,EAAE;YACb,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,WAAW,EAAE,GAAG,CAAC,EAAE;SACpB,CAAC,CAAC;QACH,8FAA8F;QAC9F,MAAM,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;QAC1C,MAAM,KAAK,CACT,GAAG,EACH,KAAK,CACH,GAAG,EACH,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,EACvG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,CACtB,CACF,CAAC;QACF,MAAM,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,MAAM,IAAI,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1F,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACvD,CAAC;AACH,CAAC"}

package/dist/ast.d.ts

@@ -0,0 +1,57 @@
+/** oxc-parser's ESTree nodes, read by shape. */
+export type Node = any;
+/** Parses TypeScript, which covers the JavaScript a built package holds, as a module; a `.tsx` or `.jsx` file with its JSX. */
+export declare const parse: (filename: string, source: string) => import("oxc-parser").ParseResult;
+/** A node's children in source order, by oxc-parser's `visitorKeys`, without its types. A hole in a list is `null`. */
+export declare const childrenOf: (node: Node) => Node[];
+/**
+ * The offset each line of `source` starts at, from line 1, and one past the end of the text as
+ * the start of the line after the last: where each line ends is the next start, less its `\n`.
+ */
+export declare const lineStartsOf: (source: string) => number[];
+/** Where an offset into `source` is, as a line and a column, both from 1. */
+export declare function locator(source: string): (offset: number) => {
+    line: number;
+    column: number;
+};
+/**
+ * The offset into a text of a line and column, both from 1, as a stack frame gives them, from
+ * the text's `lineStartsOf`; or undefined when the text has no such line, or the line no such
+ * column (a frame mapped wrong must not land in the next line). The column is taken as a UTF-16
+ * unit index, as V8 counts it.
+ */
+export declare function offsetOf(lineStarts: readonly number[], line: number, column: number): number | undefined;
+/** Something wrong in a file, at a line and column from 1. */
+export interface LintProblem {
+    line: number;
+    column: number;
+    message: string;
+}
+/** A file parsed, its syntax errors as problems, and offsets as lines and columns from 1. */
+export declare function parsed(source: string, filename: string): {
+    program: Node;
+    problems: LintProblem[];
+    at: (offset: number) => {
+        line: number;
+        column: number;
+    };
+};
+/**
+ * A file read and parsed once, for the outline and the lint alike: its text with `\n` line
+ * endings (CodeMirror counts a line break as one unit, oxc counts `\r\n` as two, and spans need
+ * `\n` alone), its program, offsets as lines and columns, and its syntax problems.
+ */
+export interface SourceFile {
+    file: string;
+    source: string;
+    program: Node;
+    at: (offset: number) => {
+        line: number;
+        column: number;
+    };
+    problems: LintProblem[];
+}
+/** Reads and parses `file`; or why it could not be read, as a message naming it. */
+export declare function readSource(file: string): SourceFile | string;
+/** Problems in the order of their place in the file. */
+export declare const byPosition: <P extends Omit<LintProblem, "message">>(problems: P[]) => P[];

package/dist/ast.js

@@ -0,0 +1,81 @@
+import { readFileSync } from "node:fs";
+import { parseSync, visitorKeys } from "oxc-parser";
+import { errorMessage } from "./shared.js";
+/** Parses TypeScript, which covers the JavaScript a built package holds, as a module; a `.tsx` or `.jsx` file with its JSX. */
+export const parse = (filename, source) => parseSync(filename, source, {
+    lang: /\.[jt]sx$/.test(filename) ? "tsx" : "ts",
+    sourceType: "module",
+    preserveParens: false,
+});
+// The keys that hold types, not code: nothing the lint or the outline looks for is in them.
+const TYPE_KEYS = new Set([
+    "typeAnnotation",
+    "typeParameters",
+    "returnType",
+    "typeArguments",
+    "superTypeArguments",
+    "implements",
+]);
+const CODE_KEYS = new Map(Object.entries(visitorKeys).map(([type, keys]) => [type, keys.filter((key) => !TYPE_KEYS.has(key))]));
+/** A node's children in source order, by oxc-parser's `visitorKeys`, without its types. A hole in a list is `null`. */
+export const childrenOf = (node) => (CODE_KEYS.get(node.type) ?? []).flatMap((key) => node[key] ?? []);
+/**
+ * The offset each line of `source` starts at, from line 1, and one past the end of the text as
+ * the start of the line after the last: where each line ends is the next start, less its `\n`.
+ */
+export const lineStartsOf = (source) => {
+    const lineStarts = [0];
+    for (let i = 0; i < source.length; i++)
+        if (source[i] === "\n")
+            lineStarts.push(i + 1);
+    lineStarts.push(source.length + 1);
+    return lineStarts;
+};
+/** Where an offset into `source` is, as a line and a column, both from 1. */
+export function locator(source) {
+    const lineStarts = lineStartsOf(source);
+    return (offset) => {
+        let line = 0;
+        while (line + 1 < lineStarts.length && lineStarts[line + 1] <= offset)
+            line++;
+        return { line: line + 1, column: offset - lineStarts[line] + 1 };
+    };
+}
+/**
+ * The offset into a text of a line and column, both from 1, as a stack frame gives them, from
+ * the text's `lineStartsOf`; or undefined when the text has no such line, or the line no such
+ * column (a frame mapped wrong must not land in the next line). The column is taken as a UTF-16
+ * unit index, as V8 counts it.
+ */
+export function offsetOf(lineStarts, line, column) {
+    const start = lineStarts[line - 1];
+    const next = lineStarts[line];
+    if (line < 1 || column < 1 || start === undefined || next === undefined)
+        return undefined;
+    const offset = start + column - 1;
+    return offset < next - 1 ? offset : undefined;
+}
+/** A file parsed, its syntax errors as problems, and offsets as lines and columns from 1. */
+export function parsed(source, filename) {
+    const { program, errors } = parse(filename, source);
+    const at = locator(source);
+    const problems = errors.map((e) => ({
+        ...at(e.labels?.[0]?.start ?? 0),
+        message: `syntax: ${e.message}`,
+    }));
+    return { program: program, problems, at };
+}
+/** Reads and parses `file`; or why it could not be read, as a message naming it. */
+export function readSource(file) {
+    let source;
+    try {
+        source = readFileSync(file, "utf8").replaceAll("\r\n", "\n");
+    }
+    catch (err) {
+        return `${file} could not be read: ${errorMessage(err)}`;
+    }
+    return { file, source, ...parsed(source, file) };
+}
+/** Problems in the order of their place in the file. */
+export const byPosition = (problems) => problems.toSorted((a, b) => a.line - b.line || a.column - b.column);
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAQ3C,+HAA+H;AAC/H,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,MAAc,EAAE,EAAE,CACxD,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE;IAC1B,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;IAC/C,UAAU,EAAE,QAAQ;IACpB,cAAc,EAAE,KAAK;CACtB,CAAC,CAAC;AAEL,4FAA4F;AAC5F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,gBAAgB;IAChB,gBAAgB;IAChB,YAAY;IACZ,eAAe;IACf,oBAAoB;IACpB,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACrG,CAAC;AAEF,uHAAuH;AACvH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AAErH;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAY,EAAE;IACvD,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvF,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,CAAC,MAAM,EAAE,EAAE;QAChB,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,OAAO,IAAI,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAE,IAAI,MAAM;YAAE,IAAI,EAAE,CAAC;QAC/E,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,IAAI,CAAE,GAAG,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,UAA6B,EAAE,IAAY,EAAE,MAAc;IAClF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,IAAI,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,CAAC,CAAC;IAClC,OAAO,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AASD,6FAA6F;AAC7F,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,QAAgB;IACrD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAkB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,GAAG,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;QAChC,OAAO,EAAE,WAAW,CAAC,CAAC,OAAO,EAAE;KAChC,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,OAAO,EAAE,OAAe,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAeD,oFAAoF;AACpF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,GAAG,IAAI,uBAAuB,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,wDAAwD;AACxD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAyC,QAAa,EAAO,EAAE,CACvF,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC"}

package/dist/call.d.ts

@@ -0,0 +1,37 @@
+import { type WorkflowDefinition } from "./define.ts";
+import { type Op } from "./op.ts";
+import { type RecordedDecision } from "./policy.ts";
+import type { Run, WorkerState } from "./run.ts";
+/**
+ * True for a failure that is not the run's outcome, so the ledger does not record it: DBOS
+ * cancelled the run or another process took it over, or the run's worker is stopping and the
+ * error has none of our codes. `stop()` marks the worker stopped before DBOS shuts down, so from
+ * then on whatever fails without a code (DBOS's "system database has been shut down", pg's
+ * closed pool) is the shutdown, and the run recovered on the next worker records how it ends.
+ * A coded failure then (a driver's final answer, a denial, a rejection) is still the outcome:
+ * DBOS records the run's error and never runs it again, so the ledger records it too. Narrower
+ * than `isRunControlError`: DBOS's other errors (a run that is not deterministic) end the run
+ * for good, and are recorded.
+ */
+export declare function isInfrastructureError(err: unknown, state: Pick<WorkerState, "stopped">): boolean;
+/**
+ * Where a call is, as its records say: its outline node's `path`, and the step's name, as the
+ * outline resolved it (`OutlineNode`'s `name`), or for a call the outline could not name, the
+ * operation a computed id called, or an approval's title that is no literal.
+ */
+export interface Placed {
+    node: string;
+    name: string;
+}
+/**
+ * The run's `ctx`: the operations and built-ins its workflow `uses`, and nothing else. Every
+ * member that writes a record is placed in the outline where the workflow calls it (`placeCall`)
+ * and goes through the run's queue (`serial`), its records carrying the node and the step's
+ * name; `ctx.now()` only reads the clock, queued, and `ctx.runId` is a value. `ctx.all` alone
+ * skips the queue: it makes no DBOS call or record itself, it only calls its members, whose ctx
+ * calls are queued. Queued, it would hold the queue until its members settled, and their calls,
+ * queued behind it, would never start.
+ */
+export declare function buildCtx(wf: WorkflowDefinition<any, any>, run: Run): any;
+/** Asks the policy about one call, and checks its answer. Runs inside a step, so it must have no side effects of its own. */
+export declare function decide(run: Run, op: Op, input: unknown): Promise<RecordedDecision>;