@osolmaz/pi-workflows 0.15.3 → 0.16.1

package/dist/state/workflow-messages.js

@@ -0,0 +1,335 @@
+import { createHash, randomUUID } from "node:crypto";
+import { canonicalJson } from "./json.js";
+export const WORKFLOW_MESSAGE_SCHEMA = "pi-workflows.workflow-message.v1";
+export const WORKFLOW_MESSAGE_CONTENT_SCHEMA = "pi-workflows.workflow-message-content.v1";
+export const WORKFLOW_TURN_SCHEMA = "pi-workflows.workflow-turn.v1";
+/** Durable workflow content that the host requires Pi to add to one origin session. */
+export class WorkflowMessageStore {
+    state;
+    constructor(state) {
+        this.state = state;
+    }
+    create(options) {
+        validateContent(options.content, options.kind);
+        const now = options.now ?? Date.now();
+        const workflowMessageId = options.workflowMessageId ??
+            workflowMessageIdFor(options.kind, options.sourceId, options.idempotencyKey);
+        return this.state.transaction(() => {
+            const existing = this.get(workflowMessageId);
+            if (existing !== undefined) {
+                assertSameMessage(existing, options);
+                return existing;
+            }
+            const contentHash = this.state.putJson(options.content, now);
+            const order = (this.state.connection
+                .prepare(`SELECT COALESCE(MAX(order_number), 0) AS value
+             FROM workflow_messages WHERE target_session_id = ?`)
+                .get(options.targetSessionId).value ?? 0) + 1;
+            this.state.connection
+                .prepare(`INSERT INTO workflow_messages(
+             workflow_message_id, run_id, target_session_id, kind, source_id, content_hash,
+             order_number, status, pi_session_entry_id, created_at, updated_at
+           ) VALUES (?, ?, ?, ?, ?, ?, ?, 'pending', NULL, ?, ?)`)
+                .run(workflowMessageId, options.runId, options.targetSessionId, options.kind, options.sourceId, contentHash, order, now, now);
+            return this.require(workflowMessageId);
+        });
+    }
+    get(workflowMessageId) {
+        const row = this.state.connection
+            .prepare(`SELECT workflow_message_id AS workflowMessageId, run_id AS runId,
+                target_session_id AS targetSessionId, kind, source_id AS sourceId,
+                content_hash AS contentHash, order_number AS orderNumber, status,
+                pi_session_entry_id AS piSessionEntryId, created_at AS createdAt,
+                updated_at AS updatedAt
+         FROM workflow_messages WHERE workflow_message_id = ?`)
+            .get(workflowMessageId);
+        return isWorkflowMessageRow(row) ? this.mapMessage(row) : undefined;
+    }
+    require(workflowMessageId) {
+        const message = this.get(workflowMessageId);
+        if (message === undefined)
+            throw new Error(`Workflow message not found: ${workflowMessageId}`);
+        return message;
+    }
+    listSession(targetSessionId) {
+        const rows = this.state.connection
+            .prepare(`SELECT workflow_message_id AS workflowMessageId, run_id AS runId,
+                target_session_id AS targetSessionId, kind, source_id AS sourceId,
+                content_hash AS contentHash, order_number AS orderNumber, status,
+                pi_session_entry_id AS piSessionEntryId, created_at AS createdAt,
+                updated_at AS updatedAt
+         FROM workflow_messages WHERE target_session_id = ? ORDER BY order_number`)
+            .all(targetSessionId);
+        return rows.filter(isWorkflowMessageRow).map((row) => this.mapMessage(row));
+    }
+    listRun(runId) {
+        const rows = this.state.connection
+            .prepare(`SELECT workflow_message_id AS workflowMessageId, run_id AS runId,
+                target_session_id AS targetSessionId, kind, source_id AS sourceId,
+                content_hash AS contentHash, order_number AS orderNumber, status,
+                pi_session_entry_id AS piSessionEntryId, created_at AS createdAt,
+                updated_at AS updatedAt
+         FROM workflow_messages WHERE run_id = ? ORDER BY target_session_id, order_number`)
+            .all(runId);
+        return rows.filter(isWorkflowMessageRow).map((row) => this.mapMessage(row));
+    }
+    latestForSource(kind, sourceId) {
+        const row = this.state.connection
+            .prepare(`SELECT workflow_message_id AS workflowMessageId, run_id AS runId,
+                target_session_id AS targetSessionId, kind, source_id AS sourceId,
+                content_hash AS contentHash, order_number AS orderNumber, status,
+                pi_session_entry_id AS piSessionEntryId, created_at AS createdAt,
+                updated_at AS updatedAt
+         FROM workflow_messages WHERE kind = ? AND source_id = ?
+         ORDER BY created_at DESC, order_number DESC LIMIT 1`)
+            .get(kind, sourceId);
+        return isWorkflowMessageRow(row) ? this.mapMessage(row) : undefined;
+    }
+    cancelPendingForSource(sourceId, kind, now = Date.now()) {
+        return this.state.transaction(() => this.state.connection
+            .prepare(`UPDATE workflow_messages SET status = 'cancelled', updated_at = ?
+             WHERE source_id = ? AND status = 'pending'${kind === undefined ? "" : " AND kind = ?"}`)
+            .run(...(kind === undefined ? [now, sourceId] : [now, sourceId, kind])).changes);
+    }
+    adoptBranch(targetSessionId, entries, allowedMessageIds, now = Date.now()) {
+        return this.state.transaction(() => {
+            const adopted = [];
+            for (const entry of entries) {
+                if (!allowedMessageIds.has(entry.workflowMessageId)) {
+                    throw new Error(`Workflow branch report contains an unknown message: ${entry.workflowMessageId}`);
+                }
+                const current = this.require(entry.workflowMessageId);
+                if (current.targetSessionId !== targetSessionId) {
+                    throw new Error("Workflow branch report targets the wrong origin session");
+                }
+                if (current.status === "sent" &&
+                    current.piSessionEntryId !== null &&
+                    current.piSessionEntryId !== entry.piSessionEntryId) {
+                    throw new Error("Workflow message has conflicting Pi session entry evidence");
+                }
+                if (current.status !== "sent") {
+                    this.state.connection
+                        .prepare(`UPDATE workflow_messages
+               SET status = 'sent', pi_session_entry_id = ?, updated_at = ?
+               WHERE workflow_message_id = ? AND status IN ('pending', 'cancelled')`)
+                        .run(entry.piSessionEntryId, now, entry.workflowMessageId);
+                }
+                adopted.push(this.require(entry.workflowMessageId));
+            }
+            return adopted;
+        });
+    }
+    startTurn(options) {
+        const now = options.now ?? Date.now();
+        const workflowTurnId = options.workflowTurnId ?? `workflow-turn-${randomUUID()}`;
+        return this.state.transaction(() => {
+            const existing = this.getTurn(workflowTurnId);
+            if (existing !== undefined) {
+                assertSameTurn(existing, options);
+                return existing;
+            }
+            const message = this.require(options.workflowMessageId);
+            if (message.runId !== options.runId || message.targetSessionId !== options.targetSessionId) {
+                throw new Error("Workflow turn does not match its message");
+            }
+            if (message.status !== "sent")
+                throw new Error("Workflow turn requires a sent message");
+            this.state.connection
+                .prepare(`INSERT INTO workflow_turns(
+             workflow_turn_id, workflow_message_id, run_id, target_session_id, state,
+             stop_reason, response_session_entry_id, started_at, ended_at
+           ) VALUES (?, ?, ?, ?, 'started', NULL, NULL, ?, NULL)`)
+                .run(workflowTurnId, options.workflowMessageId, options.runId, options.targetSessionId, now);
+            return this.requireTurn(workflowTurnId);
+        });
+    }
+    endTurn(options) {
+        const now = options.now ?? Date.now();
+        return this.state.transaction(() => {
+            const current = this.requireTurn(options.workflowTurnId);
+            assertSameTurn(current, options);
+            if (current.state === "ended") {
+                if (current.stopReason !== options.stopReason ||
+                    current.responseSessionEntryId !== (options.responseSessionEntryId ?? null)) {
+                    throw new Error("Workflow turn end report conflicts with its saved result");
+                }
+                return current;
+            }
+            const changed = this.state.connection
+                .prepare(`UPDATE workflow_turns SET state = 'ended', stop_reason = ?,
+                  response_session_entry_id = ?, ended_at = ?
+           WHERE workflow_turn_id = ? AND workflow_message_id = ? AND state = 'started'`)
+                .run(options.stopReason, options.responseSessionEntryId ?? null, now, options.workflowTurnId, options.workflowMessageId);
+            if (changed.changes !== 1)
+                throw new Error("Workflow turn changed before its end report");
+            return this.requireTurn(options.workflowTurnId);
+        });
+    }
+    getTurn(workflowTurnId) {
+        const row = this.state.connection
+            .prepare(`SELECT workflow_turn_id AS workflowTurnId, workflow_message_id AS workflowMessageId,
+                run_id AS runId, target_session_id AS targetSessionId, state,
+                stop_reason AS stopReason, response_session_entry_id AS responseSessionEntryId,
+                started_at AS startedAt, ended_at AS endedAt
+         FROM workflow_turns WHERE workflow_turn_id = ?`)
+            .get(workflowTurnId);
+        return isWorkflowTurnRow(row) ? mapTurn(row) : undefined;
+    }
+    requireTurn(workflowTurnId) {
+        const turn = this.getTurn(workflowTurnId);
+        if (turn === undefined)
+            throw new Error(`Workflow turn not found: ${workflowTurnId}`);
+        return turn;
+    }
+    openTurnForMessage(workflowMessageId) {
+        const row = this.state.connection
+            .prepare(`SELECT workflow_turn_id AS workflowTurnId, workflow_message_id AS workflowMessageId,
+                run_id AS runId, target_session_id AS targetSessionId, state,
+                stop_reason AS stopReason, response_session_entry_id AS responseSessionEntryId,
+                started_at AS startedAt, ended_at AS endedAt
+         FROM workflow_turns WHERE workflow_message_id = ? AND state = 'started'`)
+            .get(workflowMessageId);
+        return isWorkflowTurnRow(row) ? mapTurn(row) : undefined;
+    }
+    latestTurnForMessage(workflowMessageId) {
+        const row = this.state.connection
+            .prepare(`SELECT workflow_turn_id AS workflowTurnId, workflow_message_id AS workflowMessageId,
+                run_id AS runId, target_session_id AS targetSessionId, state,
+                stop_reason AS stopReason, response_session_entry_id AS responseSessionEntryId,
+                started_at AS startedAt, ended_at AS endedAt
+         FROM workflow_turns WHERE workflow_message_id = ?
+         ORDER BY started_at DESC LIMIT 1`)
+            .get(workflowMessageId);
+        return isWorkflowTurnRow(row) ? mapTurn(row) : undefined;
+    }
+    openTurnsForSession(targetSessionId) {
+        const rows = this.state.connection
+            .prepare(`SELECT workflow_turn_id AS workflowTurnId, workflow_message_id AS workflowMessageId,
+                run_id AS runId, target_session_id AS targetSessionId, state,
+                stop_reason AS stopReason, response_session_entry_id AS responseSessionEntryId,
+                started_at AS startedAt, ended_at AS endedAt
+         FROM workflow_turns WHERE target_session_id = ? AND state = 'started'
+         ORDER BY started_at`)
+            .all(targetSessionId);
+        return rows.filter(isWorkflowTurnRow).map(mapTurn);
+    }
+    mapMessage(row) {
+        const content = this.state.readJson(row.contentHash);
+        if (!isWorkflowMessageContent(content))
+            throw new Error("Stored workflow message content is invalid");
+        return {
+            schema: WORKFLOW_MESSAGE_SCHEMA,
+            workflowMessageId: row.workflowMessageId,
+            runId: row.runId,
+            targetSessionId: row.targetSessionId,
+            kind: row.kind,
+            sourceId: row.sourceId,
+            contentDigest: row.contentHash.toString("hex"),
+            content,
+            order: row.orderNumber,
+            status: row.status,
+            piSessionEntryId: row.piSessionEntryId,
+            createdAt: new Date(row.createdAt).toISOString(),
+            updatedAt: new Date(row.updatedAt).toISOString(),
+        };
+    }
+}
+export function workflowMessageIdFor(kind, sourceId, idempotencyKey) {
+    const digest = createHash("sha256")
+        .update(canonicalJson({ kind, sourceId, idempotencyKey }))
+        .digest("hex");
+    return `workflow-message-${digest}`;
+}
+export function isWorkflowMessageContent(value) {
+    return (isRecord(value) &&
+        value.schema === WORKFLOW_MESSAGE_CONTENT_SCHEMA &&
+        typeof value.customType === "string" &&
+        value.customType.length > 0 &&
+        typeof value.content === "string" &&
+        typeof value.display === "boolean" &&
+        Object.hasOwn(value, "details") &&
+        typeof value.triggerTurn === "boolean");
+}
+function validateContent(content, kind) {
+    if (!isWorkflowMessageContent(content))
+        throw new Error("Workflow message content is invalid");
+    const shouldTrigger = kind === "step" || kind === "terminal" || kind === "followUp";
+    if (content.triggerTurn !== shouldTrigger) {
+        throw new Error(`Workflow message kind ${kind} has invalid turn behavior`);
+    }
+    canonicalJson(content);
+}
+function assertSameMessage(message, options) {
+    const digest = createHash("sha256").update(canonicalJson(options.content)).digest("hex");
+    if (message.runId !== options.runId ||
+        message.targetSessionId !== options.targetSessionId ||
+        message.kind !== options.kind ||
+        message.sourceId !== options.sourceId ||
+        message.contentDigest !== digest) {
+        throw new Error(`Workflow message idempotency conflict: ${message.workflowMessageId}`);
+    }
+}
+function assertSameTurn(turn, options) {
+    if (turn.workflowMessageId !== options.workflowMessageId ||
+        turn.runId !== options.runId ||
+        turn.targetSessionId !== options.targetSessionId) {
+        throw new Error(`Workflow turn identity conflict: ${turn.workflowTurnId}`);
+    }
+}
+function mapTurn(row) {
+    return {
+        schema: WORKFLOW_TURN_SCHEMA,
+        workflowTurnId: row.workflowTurnId,
+        workflowMessageId: row.workflowMessageId,
+        runId: row.runId,
+        targetSessionId: row.targetSessionId,
+        state: row.state,
+        stopReason: row.stopReason,
+        responseSessionEntryId: row.responseSessionEntryId,
+        startedAt: new Date(row.startedAt).toISOString(),
+        endedAt: row.endedAt === null ? null : new Date(row.endedAt).toISOString(),
+    };
+}
+function isWorkflowMessageRow(value) {
+    return (isRecord(value) &&
+        typeof value.workflowMessageId === "string" &&
+        typeof value.runId === "string" &&
+        typeof value.targetSessionId === "string" &&
+        isWorkflowMessageKind(value.kind) &&
+        typeof value.sourceId === "string" &&
+        Buffer.isBuffer(value.contentHash) &&
+        typeof value.orderNumber === "number" &&
+        isWorkflowMessageStatus(value.status) &&
+        (value.piSessionEntryId === null || typeof value.piSessionEntryId === "string") &&
+        typeof value.createdAt === "number" &&
+        typeof value.updatedAt === "number");
+}
+function isWorkflowTurnRow(value) {
+    return (isRecord(value) &&
+        typeof value.workflowTurnId === "string" &&
+        typeof value.workflowMessageId === "string" &&
+        typeof value.runId === "string" &&
+        typeof value.targetSessionId === "string" &&
+        (value.state === "started" || value.state === "ended") &&
+        (value.stopReason === null || isWorkflowTurnStopReason(value.stopReason)) &&
+        (value.responseSessionEntryId === null || typeof value.responseSessionEntryId === "string") &&
+        typeof value.startedAt === "number" &&
+        (value.endedAt === null || typeof value.endedAt === "number"));
+}
+function isWorkflowMessageKind(value) {
+    return (value === "step" ||
+        value === "decision" ||
+        value === "notification" ||
+        value === "terminal" ||
+        value === "followUp");
+}
+function isWorkflowMessageStatus(value) {
+    return value === "pending" || value === "sent" || value === "cancelled";
+}
+function isWorkflowTurnStopReason(value) {
+    return value === "completed" || value === "aborted" || value === "error" || value === "lost";
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=workflow-messages.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-messages.js","sourceRoot":"","sources":["../../src/state/workflow-messages.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAErD,OAAO,EAAE,aAAa,EAAkB,MAAM,WAAW,CAAC;AAE1D,MAAM,CAAC,MAAM,uBAAuB,GAAG,kCAA2C,CAAC;AACnF,MAAM,CAAC,MAAM,+BAA+B,GAAG,0CAAmD,CAAC;AACnG,MAAM,CAAC,MAAM,oBAAoB,GAAG,+BAAwC,CAAC;AAwF7E,uFAAuF;AACvF,MAAM,OAAO,oBAAoB;IACV,KAAK;IAA1B,YAAqB,KAAoB;qBAApB,KAAK;IAAkB,CAAC;IAE7C,MAAM,CAAC,OAAqC;QAC1C,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtC,MAAM,iBAAiB,GACrB,OAAO,CAAC,iBAAiB;YACzB,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QAC/E,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC7C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACrC,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,KAAK,GACT,CACE,IAAI,CAAC,KAAK,CAAC,UAAU;iBAClB,OAAO,CACN;gEACkD,CACnD;iBACA,GAAG,CAAC,OAAO,CAAC,eAAe,CAC/B,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,CAAC,UAAU;iBAClB,OAAO,CACN;;;iEAGuD,CACxD;iBACA,GAAG,CACF,iBAAiB,EACjB,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,eAAe,EACvB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,QAAQ,EAChB,WAAW,EACX,KAAK,EACL,GAAG,EACH,GAAG,CACJ,CAAC;YACJ,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,iBAAyB;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC9B,OAAO,CACN;;;;;8DAKsD,CACvD;aACA,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1B,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,OAAO,CAAC,iBAAyB;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,iBAAiB,EAAE,CAAC,CAAC;QAC/F,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,WAAW,CAAC,eAAuB;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC/B,OAAO,CACN;;;;;kFAK0E,CAC3E;aACA,GAAG,CAAC,eAAe,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,CAAC,KAAa;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC/B,OAAO,CACN;;;;;0FAKkF,CACnF;aACA,GAAG,CAAC,KAAK,CAAC,CAAC;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,eAAe,CAAC,IAAyB,EAAE,QAAgB;QACzD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC9B,OAAO,CACN;;;;;;6DAMqD,CACtD;aACA,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACvB,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,sBAAsB,CACpB,QAAgB,EAChB,IAA0B,EAC1B,GAAG,GAAW,IAAI,CAAC,GAAG,EAAE;QAExB,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAC3B,GAAG,EAAE,CACH,IAAI,CAAC,KAAK,CAAC,UAAU;aAClB,OAAO,CACN;yDAC6C,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,EAAE,CACzF;aACA,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CACpF,CAAC;IACJ,CAAC;IAED,WAAW,CACT,eAAuB,EACvB,OAAuC,EACvC,iBAAsC,EACtC,GAAG,GAAW,IAAI,CAAC,GAAG,EAAE;QAExB,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACjC,MAAM,OAAO,GAAsB,EAAE,CAAC;YACtC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,KAAK,CACb,uDAAuD,KAAK,CAAC,iBAAiB,EAAE,CACjF,CAAC;gBACJ,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBACtD,IAAI,OAAO,CAAC,eAAe,KAAK,eAAe,EAAE,CAAC;oBAChD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;gBAC7E,CAAC;gBACD,IACE,OAAO,CAAC,MAAM,KAAK,MAAM;oBACzB,OAAO,CAAC,gBAAgB,KAAK,IAAI;oBACjC,OAAO,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,EACnD,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;gBAChF,CAAC;gBACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,UAAU;yBAClB,OAAO,CACN;;oFAEsE,CACvE;yBACA,GAAG,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,SAAS,CAAC,OAMT;QACC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtC,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,iBAAiB,UAAU,EAAE,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAClC,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YACxD,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC3F,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YACxF,IAAI,CAAC,KAAK,CAAC,UAAU;iBAClB,OAAO,CACN;;;iEAGuD,CACxD;iBACA,GAAG,CACF,cAAc,EACd,OAAO,CAAC,iBAAiB,EACzB,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,eAAe,EACvB,GAAG,CACJ,CAAC;YACJ,OAAO,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,OAQP;QACC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YACjC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YACzD,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACjC,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBAC9B,IACE,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU;oBACzC,OAAO,CAAC,sBAAsB,KAAK,CAAC,OAAO,CAAC,sBAAsB,IAAI,IAAI,CAAC,EAC3E,CAAC;oBACD,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;gBAC9E,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;iBAClC,OAAO,CACN;;wFAE8E,CAC/E;iBACA,GAAG,CACF,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,sBAAsB,IAAI,IAAI,EACtC,GAAG,EACH,OAAO,CAAC,cAAc,EACtB,OAAO,CAAC,iBAAiB,CAC1B,CAAC;YACJ,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAC1F,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,cAAsB;QAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC9B,OAAO,CACN;;;;wDAIgD,CACjD;aACA,GAAG,CAAC,cAAc,CAAC,CAAC;QACvB,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,WAAW,CAAC,cAAsB;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,cAAc,EAAE,CAAC,CAAC;QACtF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kBAAkB,CAAC,iBAAyB;QAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC9B,OAAO,CACN;;;;iFAIyE,CAC1E;aACA,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1B,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,oBAAoB,CAAC,iBAAyB;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC9B,OAAO,CACN;;;;;0CAKkC,CACnC;aACA,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1B,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,mBAAmB,CAAC,eAAuB;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU;aAC/B,OAAO,CACN;;;;;6BAKqB,CACtB;aACA,GAAG,CAAC,eAAe,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IAEO,UAAU,CAAC,GAAuB;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACrD,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAChE,OAAO;YACL,MAAM,EAAE,uBAAuB;YAC/B,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;YACxC,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,aAAa,EAAE,GAAG,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC;YAC9C,OAAO;YACP,KAAK,EAAE,GAAG,CAAC,WAAW;YACtB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,gBAAgB,EAAE,GAAG,CAAC,gBAAgB;YACtC,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE;YAChD,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE;SACjD,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAyB,EACzB,QAAgB,EAChB,cAAsB;IAEtB,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;SAChC,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;SACzD,MAAM,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,oBAAoB,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,KAAK,CAAC,MAAM,KAAK,+BAA+B;QAChD,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACpC,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC3B,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;QACjC,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS;QAClC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC;QAC/B,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAA+B,EAAE,IAAyB;IACjF,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAC/F,MAAM,aAAa,GAAG,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,UAAU,CAAC;IACpF,IAAI,OAAO,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,4BAA4B,CAAC,CAAC;IAC7E,CAAC;IACD,aAAa,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAwB,EAAE,OAAqC;IACxF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzF,IACE,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;QAC/B,OAAO,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe;QACnD,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;QAC7B,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;QACrC,OAAO,CAAC,aAAa,KAAK,MAAM,EAChC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0CAA0C,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,IAAkB,EAClB,OAA8E;IAE9E,IACE,IAAI,CAAC,iBAAiB,KAAK,OAAO,CAAC,iBAAiB;QACpD,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;QAC5B,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,eAAe,EAChD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;IAC7E,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,GAAoB;IACnC,OAAO;QACL,MAAM,EAAE,oBAAoB;QAC5B,cAAc,EAAE,GAAG,CAAC,cAAc;QAClC,iBAAiB,EAAE,GAAG,CAAC,iBAAiB;QACxC,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,eAAe,EAAE,GAAG,CAAC,eAAe;QACpC,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,sBAAsB,EAAE,GAAG,CAAC,sBAAsB;QAClD,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE;QAChD,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ;QACzC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC;QACjC,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAClC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;QAClC,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC;QACrC,CAAC,KAAK,CAAC,gBAAgB,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,CAAC;QAC/E,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ;QACxC,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;QAC3C,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ;QACzC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC;QACtD,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzE,CAAC,KAAK,CAAC,sBAAsB,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,sBAAsB,KAAK,QAAQ,CAAC;QAC3F,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc;IAC3C,OAAO,CACL,KAAK,KAAK,MAAM;QAChB,KAAK,KAAK,UAAU;QACpB,KAAK,KAAK,cAAc;QACxB,KAAK,KAAK,UAAU;QACpB,KAAK,KAAK,UAAU,CACrB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAc;IAC7C,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,WAAW,CAAC;AAC1E,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,MAAM,CAAC;AAC/F,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/viewer/backup.d.ts

@@ -0,0 +1,2 @@
+/** Verify only an explicit inactive backup. Active state is verified through WorkflowClient. */
+export declare function verifyInactiveBackup(databasePath: string, activeDatabasePath?: string): void;

package/dist/viewer/backup.js

@@ -0,0 +1,28 @@
+import fs from "node:fs";
+import path from "node:path";
+import { StateDatabase, workflowStatePath } from "../state/database.js";
+/** Verify only an explicit inactive backup. Active state is verified through WorkflowClient. */
+export function verifyInactiveBackup(databasePath, activeDatabasePath = workflowStatePath()) {
+    const resolved = path.resolve(databasePath);
+    const active = path.resolve(activeDatabasePath);
+    if (sameFile(resolved, active)) {
+        throw new Error("Active workflow state must be verified through the workflow host");
+    }
+    const state = new StateDatabase({ filePath: resolved, mode: "read-only" });
+    try {
+        state.integrityCheck();
+    }
+    finally {
+        state.close();
+    }
+}
+function sameFile(left, right) {
+    if (left === right)
+        return true;
+    if (!fs.existsSync(left) || !fs.existsSync(right))
+        return false;
+    const leftStat = fs.statSync(left);
+    const rightStat = fs.statSync(right);
+    return leftStat.dev === rightStat.dev && leftStat.ino === rightStat.ino;
+}
+//# sourceMappingURL=backup.js.map

package/dist/viewer/backup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backup.js","sourceRoot":"","sources":["../../src/viewer/backup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAExE,gGAAgG;AAChG,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,kBAAkB,GAAW,iBAAiB,EAAE;IAEhD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAChD,IAAI,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IAC3E,IAAI,CAAC;QACH,KAAK,CAAC,cAAc,EAAE,CAAC;IACzB,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,KAAK,EAAE,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa;IAC3C,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,CAAC;AAC1E,CAAC"}

package/dist/viewer/cli.d.ts

@@ -1,4 +1,6 @@
 #!/usr/bin/env node
+import { WorkflowClient } from "../client/client.js";
+import type { JsonValue } from "../state/json.js";
 export type CliArgs = {
     command: string;
     runId?: string;
@@ -8,6 +10,7 @@ export type CliArgs = {
     hostAction?: "start" | "status" | "stop" | "run";
     stateAction?: "status" | "verify" | "backup" | "prune";
     backupDestination?: string;
+    verifyBackup?: string;
     pruneBefore?: string;
     pruneApply?: boolean;
     once: boolean;
@@ -16,3 +19,4 @@ export type CliArgs = {
 };
 export declare function parseCliArgs(argv: string[]): CliArgs;
 export declare function main(argv?: string[]): Promise<number>;
+export declare function firstRunView(client: WorkflowClient, runId: string): Promise<JsonValue>;