@ifc-lite/flow 0.5.0 → 0.6.0

package/README.md

@@ -88,3 +88,9 @@ Node libraries over the ifc-lite SDK live in `@ifc-lite/flow-nodes`.
 ## License
 
 MPL-2.0
+
+The Node-only `@ifc-lite/flow/checkpoint-file` entry exports `FileCheckpointStore`
+and `sourceDigestOf`, shared by CLI and MCP review continuations. Disk updates
+use an exclusive lock, revision CAS and atomic rename; locks are never reclaimed
+by age. Browser consumers continue to use the portable checkpoint entry and
+their native IndexedDB store.

package/dist/checkpoint-file.d.ts

@@ -0,0 +1,13 @@
+import { type CheckpointStore, type FlowCheckpoint, type StoredCheckpoint } from './checkpoint.js';
+export declare class FileCheckpointStore implements CheckpointStore {
+    readonly path: string;
+    constructor(path: string);
+    read(id: string): Promise<StoredCheckpoint | null>;
+    /** The checkpoint in the file, whatever its id. */
+    load(): Promise<StoredCheckpoint>;
+    write(checkpoint: FlowCheckpoint, expected: number | null): Promise<boolean>;
+    private acquire;
+}
+/** What a resume must start from: the model bytes and effective tracking state the paused run left behind. */
+export declare function sourceDigestOf(bytes: Uint8Array | string, trackingFingerprint?: string): string;
+//# sourceMappingURL=checkpoint-file.d.ts.map

package/dist/checkpoint-file.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-file.d.ts","sourceRoot":"","sources":["../src/checkpoint-file.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAmB,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEpH,qBAAa,mBAAoB,YAAW,eAAe;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;IAE3B,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAcxD,mDAAmD;IAC7C,IAAI,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAQjC,KAAK,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;YAqBpE,OAAO;CAStB;AAED,8GAA8G;AAC9G,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,mBAAmB,CAAC,EAAE,MAAM,GAAG,MAAM,CAI/F"}

package/dist/checkpoint-file.js

@@ -0,0 +1,92 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Review checkpoints on disk shared by CLI and MCP Flow hosts (#6923).
+ *
+ * The file is the same portable record the viewer stores (`FlowCheckpoint`
+ * from `@ifc-lite/flow`) plus a revision. Writes are compare-and-swap under
+ * an exclusive lock file (`<file>.lock`, created with `wx`), so two
+ * processes resuming the same reviewed checkpoint cannot both claim it: the
+ * loser re-reads `applying` and is refused. Existing locks are never
+ * reclaimed by age: an old lock can still belong to a live writer.
+ */
+import { createHash } from 'node:crypto';
+import { open, readFile, rename, unlink, writeFile } from 'node:fs/promises';
+import { parseCheckpoint } from './checkpoint.js';
+export class FileCheckpointStore {
+    path;
+    constructor(path) {
+        this.path = path;
+    }
+    async read(id) {
+        let text;
+        try {
+            text = await readFile(this.path, 'utf-8');
+        }
+        catch (error) {
+            if (error.code === 'ENOENT')
+                return null;
+            throw error;
+        }
+        const value = JSON.parse(text);
+        const checkpoint = parseCheckpoint(value.checkpoint);
+        if (checkpoint.id !== id || typeof value.revision !== 'number')
+            return null;
+        return { checkpoint, revision: value.revision };
+    }
+    /** The checkpoint in the file, whatever its id. */
+    async load() {
+        const value = JSON.parse(await readFile(this.path, 'utf-8'));
+        const checkpoint = parseCheckpoint(value.checkpoint);
+        const stored = await this.read(checkpoint.id);
+        if (!stored)
+            throw new Error(`${this.path} is not a review checkpoint file`);
+        return stored;
+    }
+    async write(checkpoint, expected) {
+        const lock = `${this.path}.lock`;
+        if (!(await this.acquire(lock)))
+            return false;
+        try {
+            const current = await this.load().catch((error) => {
+                if (error.code === 'ENOENT')
+                    return null;
+                throw error;
+            });
+            if (current && current.checkpoint.id !== checkpoint.id)
+                return false;
+            if ((current?.revision ?? null) !== expected)
+                return false;
+            const temp = `${this.path}.${process.pid}.tmp`;
+            await writeFile(temp, `${JSON.stringify({ revision: (current?.revision ?? 0) + 1, checkpoint }, null, 2)}\n`);
+            await rename(temp, this.path);
+            return true;
+        }
+        finally {
+            await unlink(lock).catch((error) => {
+                if (error.code !== 'ENOENT')
+                    throw error;
+            });
+        }
+    }
+    async acquire(lock) {
+        try {
+            await (await open(lock, 'wx')).close();
+            return true;
+        }
+        catch (error) {
+            if (error.code !== 'EEXIST')
+                throw error;
+            return false;
+        }
+    }
+}
+/** What a resume must start from: the model bytes and effective tracking state the paused run left behind. */
+export function sourceDigestOf(bytes, trackingFingerprint) {
+    const hash = createHash('sha256').update(bytes);
+    if (trackingFingerprint !== undefined)
+        hash.update(`\0tracking:${trackingFingerprint}`);
+    return `sha256:${hash.digest('hex')}`;
+}
+//# sourceMappingURL=checkpoint-file.js.map

package/dist/checkpoint-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-file.js","sourceRoot":"","sources":["../src/checkpoint-file.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAoE,MAAM,iBAAiB,CAAC;AAEpH,MAAM,OAAO,mBAAmB;IACT;IAArB,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;IAErC,KAAK,CAAC,IAAI,CAAC,EAAU;QACnB,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACpE,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAiD,CAAC;QAC/E,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,EAAE,KAAK,EAAE,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC5E,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IAClD,CAAC;IAED,mDAAmD;IACnD,KAAK,CAAC,IAAI;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAA6B,CAAC;QACzF,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,kCAAkC,CAAC,CAAC;QAC7E,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,UAA0B,EAAE,QAAuB;QAC7D,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC;QACjC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9C,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACzD,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBACpE,MAAM,KAAK,CAAC;YACd,CAAC,CAAC,CAAC;YACH,IAAI,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;YACrE,IAAI,CAAC,OAAO,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC3D,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,MAAM,CAAC;YAC/C,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9G,MAAM,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBAC1C,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAC;YACtE,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,OAAO,CAAC,IAAY;QAChC,IAAI,CAAC;YACH,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YACpE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;CACF;AAED,8GAA8G;AAC9G,MAAM,UAAU,cAAc,CAAC,KAA0B,EAAE,mBAA4B;IACrF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,mBAAmB,KAAK,SAAS;QAAE,IAAI,CAAC,MAAM,CAAC,cAAc,mBAAmB,EAAE,CAAC,CAAC;IACxF,OAAO,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxC,CAAC"}

package/dist/checkpoint-record.d.ts

@@ -0,0 +1,97 @@
+import type { FlowDocument } from './document.js';
+import type { RunResult } from './scheduler.js';
+import type { FlowData } from './values.js';
+export declare const CHECKPOINT_VERSION = 1;
+/**
+ * `prepared` awaits review; `reviewed` is approved and claimable once;
+ * `applying` is claimed by one owner under a lease; `completed` resumed
+ * cleanly; `partially-committed` resumed with failures or lost its owner
+ * mid-resume, so downstream effects may be partial and the checkpoint can
+ * never be applied again; `rejected` was declined.
+ */
+export type CheckpointState = 'prepared' | 'reviewed' | 'rejected' | 'applying' | 'partially-committed' | 'completed';
+export type PortableFlowData = {
+    readonly kind: 'item';
+    readonly value: unknown;
+} | {
+    readonly kind: 'list';
+    readonly items: readonly unknown[];
+} | {
+    readonly kind: 'group';
+    readonly branches: readonly (readonly [string, readonly unknown[]])[];
+};
+/** Node id → port → value. */
+export type PortableOutputs = Readonly<Record<string, Readonly<Record<string, PortableFlowData>>>>;
+export interface FlowCheckpoint {
+    readonly version: typeof CHECKPOINT_VERSION;
+    readonly id: string;
+    readonly graphId: string;
+    readonly graphName: string;
+    /** Graph structure, params, capabilities and Player inputs; layout excluded; names and labels bind default write targets. */
+    readonly graphDigest: string;
+    /** Host-supplied digest of what the run read (model content hashes, input files). */
+    readonly sourceDigest: string;
+    readonly reviewNodes: readonly string[];
+    /** Digest of the proposal and all restored outputs: an approval binds this complete snapshot. */
+    readonly proposalDigest: string;
+    readonly outputs: PortableOutputs;
+    /** Host budget state (e.g. an `@ifc-lite/ai` root budget) a resume continues from. */
+    readonly budget?: unknown;
+    readonly state: CheckpointState;
+    readonly createdAt: number;
+    readonly updatedAt: number;
+    readonly review?: {
+        readonly decision: 'approved' | 'rejected';
+        readonly proposalDigest: string;
+        readonly at: number;
+    };
+    readonly claim?: {
+        readonly owner: string;
+        readonly leaseUntil: number;
+        readonly at: number;
+    };
+    readonly outcome?: {
+        readonly ok: boolean;
+        readonly at: number;
+        readonly message?: string;
+    };
+}
+export declare class CheckpointNotPortableError extends Error {
+    readonly paths: readonly string[];
+    constructor(paths: readonly string[]);
+}
+interface ReviewRegistry {
+    get(type: string): {
+        readonly review?: 'required';
+    } | undefined;
+}
+/** What a resume must match: the graph minus layout, plus the Player inputs it runs with. */
+export declare function graphDigest(doc: FlowDocument, inputs?: Readonly<Record<string, unknown>>, registry?: ReviewRegistry): string;
+export declare function nonPortable(value: unknown, path: string, out: string[]): void;
+/** Every saved port is a portable container, including outputs outside the reviewed proposal. */
+export declare function validPortableOutputs(outputs: Readonly<Record<string, Readonly<Record<string, unknown>>>>): boolean;
+export declare function fromPortable(data: PortableFlowData): FlowData;
+export declare function proposalDigestOf(outputs: PortableOutputs, reviewNodes: readonly string[], budget?: unknown): string;
+export interface CreateCheckpointInput {
+    readonly doc: FlowDocument;
+    readonly registry: ReviewRegistry;
+    /** A run that paused for review (`result.review` non-empty) without failures. */
+    readonly result: RunResult;
+    readonly sourceDigest: string;
+    readonly inputs?: Readonly<Record<string, unknown>>;
+    readonly budget?: unknown;
+    readonly now?: number;
+}
+export declare function createCheckpoint(input: CreateCheckpointInput): FlowCheckpoint;
+/** Internal: bind checkpoint creation to the graph and Player inputs used at run entry. */
+export declare function registerPausedRun(result: RunResult, graphDigestAtEntry: string): void;
+/** Internal: only a successful CAS claim yields a process-local ownership receipt. */
+export declare function registerOwnedClaim(checkpoint: FlowCheckpoint): void;
+/** Scheduler-only boundary: raw, changed, expired or reused maps cannot bypass review. */
+export declare function consumeReviewedResume(outputs: ReadonlyMap<string, ReadonlyMap<string, FlowData>>, doc: FlowDocument, inputs: Readonly<Record<string, unknown>>, registry: ReviewRegistry): Map<string, Map<string, FlowData>>;
+/** The `RunOptions.resume` map, only for a reviewed checkpoint with a live claim. */
+export declare function resumeOutputs(checkpoint: FlowCheckpoint, now?: number): Map<string, Map<string, FlowData>>;
+/** The pending proposal's values, by review node and port, for a review UI or CLI summary. */
+export declare function checkpointProposal(checkpoint: FlowCheckpoint): Map<string, Map<string, FlowData>>;
+export {};
+//# sourceMappingURL=checkpoint-record.d.ts.map

package/dist/checkpoint-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-record.d.ts","sourceRoot":"","sources":["../src/checkpoint-record.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,qBAAqB,GAAG,WAAW,CAAC;AAEtH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,EAAE,CAAA;CAAE,CAAC;AAEtG,8BAA8B;AAC9B,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,kBAAkB,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6HAA6H;IAC7H,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qFAAqF;IACrF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,iGAAiG;IACjG,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,sFAAsF;IACtF,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,UAAU,CAAC;QAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACvH,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9F,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7F;AAED,qBAAa,0BAA2B,SAAQ,KAAK;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;gBAAxB,KAAK,EAAE,SAAS,MAAM,EAAE;CAI9C;AAED,UAAU,cAAc;IAAG,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAA;KAAE,GAAG,SAAS,CAAA;CAAE;AAE5F,6FAA6F;AAC7F,wBAAgB,WAAW,CAAC,GAAG,EAAE,YAAY,EAAE,MAAM,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,MAAM,CAahI;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAsB7E;AAUD,iGAAiG;AACjG,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAelH;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,gBAAgB,GAAG,QAAQ,CAI7D;AAaD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,OAAO,GAAG,MAAM,CAEnH;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,cAAc,CA8B7E;AAkBD,2FAA2F;AAC3F,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAErF;AAKD,sFAAsF;AACtF,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,cAAc,GAAG,IAAI,CAGnE;AAED,0FAA0F;AAC1F,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,EAClH,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAYzG;AAED,qFAAqF;AACrF,wBAAgB,aAAa,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,SAAa,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAgB9G;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAGjG"}

package/dist/checkpoint-record.js

@@ -0,0 +1,255 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Review checkpoints (#6923): the durable, portable record of a run that
+ * paused at a node declaring `review: 'required'`.
+ *
+ * A checkpoint holds what a later resume needs and nothing host-specific:
+ * the outputs of every node that completed before the pause (plain JSON, so a
+ * viewer checkpoint can be resumed by a headless host and the other way
+ * round), the digest of the graph and Player inputs it ran with, a
+ * host-supplied digest of the sources it read, the digest of the proposal a
+ * reviewer must approve, and an opaque budget state so a resume keeps
+ * spending from the same root budget. A value that is not plain JSON (a
+ * viewer-only handle, a Map, a function) makes the run uncheckpointable,
+ * named by node and port, rather than silently dropped.
+ *
+ * State transitions live in `checkpoint-state.ts`.
+ */
+import { digest } from './digest.js';
+export const CHECKPOINT_VERSION = 1;
+export class CheckpointNotPortableError extends Error {
+    paths;
+    constructor(paths) {
+        super(`the run cannot be checkpointed: ${paths.slice(0, 5).join(', ')} ${paths.length === 1 ? 'is' : 'are'} not plain JSON values`);
+        this.paths = paths;
+        this.name = 'CheckpointNotPortableError';
+    }
+}
+/** What a resume must match: the graph minus layout, plus the Player inputs it runs with. */
+export function graphDigest(doc, inputs = {}, registry) {
+    return digest({
+        id: doc.id,
+        name: doc.name,
+        capabilities: doc.capabilities,
+        edges: doc.edges,
+        inputs: doc.inputs,
+        outputs: doc.outputs,
+        maxCross: doc.maxCross,
+        nodes: doc.nodes.map(({ id, type, label, params, lacing, tracking, trackingKey }) => ({ id, type, label, params, lacing, tracking, trackingKey })),
+        player: inputs,
+        reviewPolicy: registry ? doc.nodes.map(node => [node.id, registry.get(node.type)?.review ?? null]) : null,
+    });
+}
+export function nonPortable(value, path, out) {
+    const pending = [[value, path, 0]];
+    const active = new Set();
+    let work = 0;
+    while (pending.length > 0 && out.length < 20) {
+        const [v, p, depth, exiting] = pending.pop();
+        if (exiting) {
+            active.delete(v);
+            continue;
+        }
+        if (++work > 100_000 || depth > 256) {
+            out.push(`${p} (JSON traversal limit)`);
+            break;
+        }
+        if (v !== null && typeof v === 'object') {
+            if (active.has(v)) {
+                out.push(`${p} (cycle)`);
+                continue;
+            }
+            active.add(v);
+            pending.push([v, p, depth, true]);
+        }
+        if (v === null || typeof v === 'string' || typeof v === 'boolean')
+            continue;
+        if (typeof v === 'number') {
+            if (!Number.isFinite(v))
+                out.push(p);
+            continue;
+        }
+        if (Array.isArray(v)) {
+            v.forEach((child, i) => pending.push([child, `${p}[${i}]`, depth + 1]));
+            continue;
+        }
+        // Plain objects only, from any realm: a class instance, Map, Date or function is not data.
+        const proto = typeof v === 'object' ? Object.getPrototypeOf(v) : undefined;
+        const plain = Object.prototype.toString.call(v) === '[object Object]' && (proto === null || (typeof proto === 'object' && Object.getPrototypeOf(proto) === null));
+        if (!plain) {
+            out.push(p);
+            continue;
+        }
+        // An undefined property is absent in JSON, which is what it means here too.
+        for (const [key, child] of Object.entries(v))
+            if (child !== undefined)
+                pending.push([child, `${p}.${key}`, depth + 1]);
+    }
+}
+function toPortable(data, path, problems) {
+    if (data.kind === 'item') {
+        nonPortable(data.value, path, problems);
+        return { kind: 'item', value: data.value };
+    }
+    if (data.kind === 'list') {
+        nonPortable(data.items, path, problems);
+        return { kind: 'list', items: data.items };
+    }
+    const branches = [...data.branches.entries()];
+    nonPortable(branches, path, problems);
+    return { kind: 'group', branches };
+}
+/** Every saved port is a portable container, including outputs outside the reviewed proposal. */
+export function validPortableOutputs(outputs) {
+    const problems = [];
+    for (const [node, ports] of Object.entries(outputs))
+        for (const [port, value] of Object.entries(ports)) {
+            if (!value || typeof value !== 'object' || Array.isArray(value))
+                return false;
+            const data = value;
+            if (data.kind === 'item') {
+                if (!Object.hasOwn(data, 'value'))
+                    return false;
+                nonPortable(data.value, `${node}.${port}`, problems);
+            }
+            else if (data.kind === 'list') {
+                if (!Array.isArray(data.items))
+                    return false;
+                nonPortable(data.items, `${node}.${port}`, problems);
+            }
+            else if (data.kind === 'group') {
+                if (!Array.isArray(data.branches) || !data.branches.every(branch => Array.isArray(branch) && branch.length === 2 && typeof branch[0] === 'string' && Array.isArray(branch[1])))
+                    return false;
+                if (new Set(data.branches.map(branch => branch[0])).size !== data.branches.length)
+                    return false;
+                nonPortable(data.branches, `${node}.${port}`, problems);
+            }
+            else
+                return false;
+            if (problems.length)
+                return false;
+        }
+    return true;
+}
+export function fromPortable(data) {
+    if (data.kind === 'item')
+        return { kind: 'item', value: data.value };
+    if (data.kind === 'list')
+        return { kind: 'list', items: data.items };
+    return { kind: 'group', branches: new Map(data.branches) };
+}
+function portableOutputs(outputs) {
+    const problems = [];
+    const out = Object.create(null);
+    for (const [nodeId, ports] of outputs) {
+        out[nodeId] = Object.create(null);
+        for (const [port, data] of ports)
+            out[nodeId][port] = toPortable(data, `${nodeId}.${port}`, problems);
+    }
+    if (problems.length > 0)
+        throw new CheckpointNotPortableError(problems);
+    return JSON.parse(JSON.stringify(out));
+}
+export function proposalDigestOf(outputs, reviewNodes, budget) {
+    return digest({ reviewNodes, outputs, ...(budget !== undefined ? { budget } : {}) });
+}
+export function createCheckpoint(input) {
+    const { doc, result } = input;
+    if (result.review.length === 0)
+        throw new Error('the run did not pause for review');
+    if (!result.ok)
+        throw new Error('a run with failed nodes cannot be resumed; fix the graph and run it again');
+    const problems = [];
+    if (input.budget !== undefined)
+        nonPortable(input.budget, 'budget', problems);
+    if (problems.length)
+        throw new CheckpointNotPortableError(problems);
+    const outputs = portableOutputs(result.outputs);
+    const graph = graphDigest(doc, input.inputs, input.registry);
+    if (pausedRunGraphs.get(result) !== graph) {
+        throw new Error('the checkpoint graph and Player inputs must match the actual paused run');
+    }
+    const proposal = proposalDigestOf(outputs, result.review, input.budget);
+    const now = input.now ?? Date.now();
+    if (!Number.isFinite(now))
+        throw new Error('the checkpoint timestamp must be finite');
+    return {
+        version: CHECKPOINT_VERSION,
+        id: globalThis.crypto.randomUUID(),
+        graphId: doc.id,
+        graphName: doc.name,
+        graphDigest: graph,
+        sourceDigest: input.sourceDigest,
+        reviewNodes: [...result.review],
+        proposalDigest: proposal,
+        outputs,
+        ...(input.budget !== undefined ? { budget: JSON.parse(JSON.stringify(input.budget)) } : {}),
+        state: 'prepared',
+        createdAt: now,
+        updatedAt: now,
+    };
+}
+/** Decode a detached snapshot for inspection or an owned resume. */
+function restoreMap(checkpoint) {
+    if (!validPortableOutputs(checkpoint.outputs)
+        || proposalDigestOf(checkpoint.outputs, checkpoint.reviewNodes, checkpoint.budget) !== checkpoint.proposalDigest) {
+        throw new Error('the checkpoint outputs no longer match their reviewed snapshot');
+    }
+    const outputs = JSON.parse(JSON.stringify(checkpoint.outputs));
+    const out = new Map();
+    for (const [nodeId, ports] of Object.entries(outputs)) {
+        out.set(nodeId, new Map(Object.entries(ports).map(([port, data]) => [port, fromPortable(data)])));
+    }
+    return out;
+}
+const pausedRunGraphs = new WeakMap();
+/** Internal: bind checkpoint creation to the graph and Player inputs used at run entry. */
+export function registerPausedRun(result, graphDigestAtEntry) {
+    pausedRunGraphs.set(result, graphDigestAtEntry);
+}
+const authorizedResumes = new WeakMap();
+const ownedClaims = new WeakMap();
+/** Internal: only a successful CAS claim yields a process-local ownership receipt. */
+export function registerOwnedClaim(checkpoint) {
+    ownedClaims.set(checkpoint, digest({ id: checkpoint.id, graph: checkpoint.graphDigest,
+        source: checkpoint.sourceDigest, proposal: checkpoint.proposalDigest, claim: checkpoint.claim }));
+}
+/** Scheduler-only boundary: raw, changed, expired or reused maps cannot bypass review. */
+export function consumeReviewedResume(outputs, doc, inputs, registry) {
+    const authorization = authorizedResumes.get(outputs);
+    if (!authorization || authorization.expires <= Date.now()
+        || authorization.graph !== graphDigest(doc, inputs, registry)
+        || authorization.outputs !== digest(portableOutputs(outputs))) {
+        throw new Error('resume requires unchanged outputs from an actively claimed, approved checkpoint');
+    }
+    authorizedResumes.delete(outputs);
+    // Own a detached snapshot before any node can await or mutate caller-owned data.
+    const snapshot = JSON.parse(JSON.stringify(portableOutputs(outputs)));
+    return new Map(Object.entries(snapshot).map(([node, ports]) => [node, new Map(Object.entries(ports).map(([port, data]) => [port, fromPortable(data)]))]));
+}
+/** The `RunOptions.resume` map, only for a reviewed checkpoint with a live claim. */
+export function resumeOutputs(checkpoint, now = Date.now()) {
+    if (checkpoint.state !== 'applying' || checkpoint.review?.decision !== 'approved'
+        || checkpoint.review.proposalDigest !== checkpoint.proposalDigest || !checkpoint.claim?.owner
+        || !Number.isFinite(now) || !Number.isFinite(checkpoint.claim.leaseUntil) || checkpoint.claim.leaseUntil <= Math.max(now, Date.now())) {
+        throw new Error('only an actively claimed, approved checkpoint can supply resume outputs');
+    }
+    const outputs = restoreMap(checkpoint);
+    const ownership = digest({ id: checkpoint.id, graph: checkpoint.graphDigest,
+        source: checkpoint.sourceDigest, proposal: checkpoint.proposalDigest, claim: checkpoint.claim });
+    if (ownedClaims.get(checkpoint) !== ownership) {
+        throw new Error('resume requires the original successful store claim; a persisted or already supplied claim cannot resume');
+    }
+    ownedClaims.delete(checkpoint);
+    authorizedResumes.set(outputs, { graph: checkpoint.graphDigest, outputs: digest(portableOutputs(outputs)),
+        expires: checkpoint.claim.leaseUntil });
+    return outputs;
+}
+/** The pending proposal's values, by review node and port, for a review UI or CLI summary. */
+export function checkpointProposal(checkpoint) {
+    const all = restoreMap(checkpoint);
+    return new Map(checkpoint.reviewNodes.flatMap((id) => (all.has(id) ? [[id, all.get(id)]] : [])));
+}
+//# sourceMappingURL=checkpoint-record.js.map

package/dist/checkpoint-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-record.js","sourceRoot":"","sources":["../src/checkpoint-record.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAKrC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AA0CpC,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IAC9B;IAArB,YAAqB,KAAwB;QAC3C,KAAK,CAAC,mCAAmC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,wBAAwB,CAAC,CAAC;QADjH,UAAK,GAAL,KAAK,CAAmB;QAE3C,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;IAC3C,CAAC;CACF;AAID,6FAA6F;AAC7F,MAAM,UAAU,WAAW,CAAC,GAAiB,EAAE,SAA4C,EAAE,EAAE,QAAyB;IACtH,OAAO,MAAM,CAAC;QACZ,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAClJ,MAAM,EAAE,MAAM;QACd,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;KAC1G,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAc,EAAE,IAAY,EAAE,GAAa;IACrE,MAAM,OAAO,GAA+C,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC9C,IAAI,OAAO,EAAE,CAAC;YAAC,MAAM,CAAC,MAAM,CAAC,CAAW,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtD,IAAI,EAAE,IAAI,GAAG,OAAO,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;YAAC,MAAM;QAAC,CAAC;QACxF,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,SAAS;QAC5E,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5G,2FAA2F;QAC3F,MAAM,KAAK,GAAY,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,iBAAiB,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QAClK,IAAI,CAAC,KAAK,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACtC,4EAA4E;QAC5E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC;YAAE,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACpJ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAc,EAAE,IAAY,EAAE,QAAkB;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC;IAClH,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAAC,CAAC;IAClH,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9C,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,oBAAoB,CAAC,OAAoE;IACvG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvG,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC9E,MAAM,IAAI,GAAG,KAAgC,CAAC;YAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;YAAC,CAAC;iBAC/H,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;YAAC,CAAC;iBACjI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC7L,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAChG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC1D,CAAC;;gBAAM,OAAO,KAAK,CAAC;YACpB,IAAI,QAAQ,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;QACpC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAsB;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACrE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,eAAe,CAAC,OAA6B;IACpD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAqD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClF,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACtC,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK;YAAE,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAoB,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,OAAwB,EAAE,WAA8B,EAAE,MAAgB;IACzG,OAAO,MAAM,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAaD,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC9B,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC9E,IAAI,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACtF,OAAO;QACL,OAAO,EAAE,kBAAkB;QAC3B,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE;QAClC,OAAO,EAAE,GAAG,CAAC,EAAE;QACf,SAAS,EAAE,GAAG,CAAC,IAAI;QACnB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QAC/B,cAAc,EAAE,QAAQ;QACxB,OAAO;QACP,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtG,KAAK,EAAE,UAAU;QACjB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;KACf,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,SAAS,UAAU,CAAC,UAA0B;IAC5C,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,OAAO,CAAC;WACxC,gBAAgB,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;QACnH,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAoB,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAiC,CAAC;IACrD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,OAAO,EAAkB,CAAC;AAEtD,2FAA2F;AAC3F,MAAM,UAAU,iBAAiB,CAAC,MAAiB,EAAE,kBAA0B;IAC7E,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,iBAAiB,GAAG,IAAI,OAAO,EAA+D,CAAC;AACrG,MAAM,WAAW,GAAG,IAAI,OAAO,EAAkB,CAAC;AAElD,sFAAsF;AACtF,MAAM,UAAU,kBAAkB,CAAC,UAA0B;IAC3D,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW;QACnF,MAAM,EAAE,UAAU,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,cAAc,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,qBAAqB,CAAC,OAA2D,EAAE,GAAiB,EAClH,MAAyC,EAAE,QAAwB;IACnE,MAAM,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE;WACpD,aAAa,CAAC,KAAK,KAAK,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC;WAC1D,aAAa,CAAC,OAAO,KAAK,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAC;IACrG,CAAC;IACD,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClC,iFAAiF;IACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAoB,CAAC;IACzF,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAC5D,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,aAAa,CAAC,UAA0B,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;IACxE,IAAI,UAAU,CAAC,KAAK,KAAK,UAAU,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,KAAK,UAAU;WAC5E,UAAU,CAAC,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC,cAAc,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK;WAC1F,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACxI,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW;QACzE,MAAM,EAAE,UAAU,CAAC,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,cAAc,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;IACnG,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,0GAA0G,CAAC,CAAC;IAC9H,CAAC;IACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/B,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QACvG,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAAC,UAA0B;IAC3D,MAAM,GAAG,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7G,CAAC"}

package/dist/checkpoint-state.d.ts

@@ -0,0 +1,53 @@
+import { type FlowCheckpoint } from './checkpoint-record.js';
+export type CheckpointErrorCode = 'invalid' | 'not-prepared' | 'not-reviewed' | 'digest-mismatch' | 'graph-changed' | 'sources-changed' | 'not-owner' | 'conflict';
+export declare class CheckpointError extends Error {
+    readonly code: CheckpointErrorCode;
+    constructor(code: CheckpointErrorCode, message: string);
+}
+/**
+ * Validate an untrusted checkpoint (a file handed to a headless host, a
+ * stored row). The proposal digest is recomputed from the stored outputs, so
+ * a bundle whose values were edited after review no longer matches its
+ * approval and cannot be claimed.
+ */
+export declare function parseCheckpoint(value: unknown): FlowCheckpoint;
+/** Approve exactly the proposal the reviewer saw, named by its digest. */
+export declare function approveCheckpoint(checkpoint: FlowCheckpoint, proposalDigest: string, now?: number): FlowCheckpoint;
+export declare function rejectCheckpoint(checkpoint: FlowCheckpoint, now?: number): FlowCheckpoint;
+export interface ClaimInput {
+    readonly owner: string;
+    /** The graph and Player inputs the resume will run with (`graphDigest`). */
+    readonly graphDigest: string;
+    /** What the resume will read, digested the same way as at checkpoint time. */
+    readonly sourceDigest: string;
+    readonly leaseMs: number;
+    readonly now?: number;
+}
+/** Take single ownership of a reviewed checkpoint for one resume. */
+export declare function claimCheckpoint(checkpoint: FlowCheckpoint, input: ClaimInput): FlowCheckpoint;
+/** Record how the owner's resume ended. A failed resume may have committed some effects. */
+export declare function finishCheckpoint(checkpoint: FlowCheckpoint, owner: string, outcome: {
+    ok: boolean;
+    message?: string;
+}, now?: number): FlowCheckpoint;
+/** A claim whose lease ran out without a finish: its effects are unknown, so it can never be applied again. */
+export declare function recoverCheckpoint(checkpoint: FlowCheckpoint, now?: number): FlowCheckpoint | null;
+export interface StoredCheckpoint {
+    readonly checkpoint: FlowCheckpoint;
+    readonly revision: number;
+}
+/** Durable checkpoint storage with compare-and-swap writes. */
+export interface CheckpointStore {
+    read(id: string): Promise<StoredCheckpoint | null>;
+    /** Write when the stored revision still equals `expected` (`null`: must not exist yet); false on conflict. */
+    write(checkpoint: FlowCheckpoint, expected: number | null): Promise<boolean>;
+}
+/** Apply one transition through the store's CAS, re-applying it to the fresh record on conflict. */
+export declare function updateCheckpoint(store: CheckpointStore, id: string, change: (current: FlowCheckpoint) => FlowCheckpoint): Promise<FlowCheckpoint>;
+/** An in-process store, for tests and single-process hosts. */
+export declare class MemoryCheckpointStore implements CheckpointStore {
+    private readonly rows;
+    read(id: string): Promise<StoredCheckpoint | null>;
+    write(checkpoint: FlowCheckpoint, expected: number | null): Promise<boolean>;
+}
+//# sourceMappingURL=checkpoint-state.d.ts.map

package/dist/checkpoint-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint-state.d.ts","sourceRoot":"","sources":["../src/checkpoint-state.ts"],"names":[],"mappings":"AA0BA,OAAO,EAAqH,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEhL,MAAM,MAAM,mBAAmB,GAC3B,SAAS,GACT,cAAc,GACd,cAAc,GACd,iBAAiB,GACjB,eAAe,GACf,iBAAiB,GACjB,WAAW,GACX,UAAU,CAAC;AAEf,qBAAa,eAAgB,SAAQ,KAAK;IAC5B,QAAQ,CAAC,IAAI,EAAE,mBAAmB;gBAAzB,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM;CAIhE;AAQD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,cAAc,CAyB9D;AAUD,0EAA0E;AAC1E,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,cAAc,CAOtH;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,SAAa,GAAG,cAAc,CAI7F;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAID,qEAAqE;AACrE,wBAAgB,eAAe,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,UAAU,GAAG,cAAc,CAqB7F;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAa,GAAG,cAAc,CAUxJ;AAED,+GAA+G;AAC/G,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,SAAa,GAAG,cAAc,GAAG,IAAI,CASrG;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,+DAA+D;AAC/D,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAAC;IACnD,8GAA8G;IAC9G,KAAK,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC9E;AAID,oGAAoG;AACpG,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,cAAc,KAAK,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC,CAgBvJ;AAED,+DAA+D;AAC/D,qBAAa,qBAAsB,YAAW,eAAe;IAC3D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAuC;IAEtD,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAKlD,KAAK,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;CAMnF"}