@agentplat/mesh-sim-postgres 0.3.0-beta.4

package/dist/scalable-evaluation-checkpoint-store.d.ts

@@ -0,0 +1,33 @@
+import { type ScalableEvaluationCheckpointStoreCasReceiptV1, type ScalableEvaluationDurableCheckpointStoreV1, type ScalableEvaluationRunnerCheckpointV1 } from '@agentplat/mesh-sim';
+import type { Pool } from 'pg';
+export declare const DEFAULT_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1: number;
+export declare const MAXIMUM_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1: number;
+export interface PostgresScalableEvaluationCheckpointStoreOptionsV1 {
+    readonly schema?: string;
+    /** Shared-table isolation boundary; values are always SQL parameters. */
+    readonly namespace: string;
+    readonly maximumCheckpointBytes?: number;
+}
+/**
+ * Restart-durable PostgreSQL head store for scalable evaluation runners.
+ * CAS is serialized by namespace/run advisory lock and row lock. The caller
+ * owns the pool and applies this package's migrations.
+ */
+export declare class PostgresScalableEvaluationCheckpointStoreV1 implements ScalableEvaluationDurableCheckpointStoreV1 {
+    #private;
+    readonly pool: Pool;
+    readonly restartDurabilityV1: import("@agentplat/mesh-sim").ScalableEvaluationRestartDurabilityDeclarationV1;
+    constructor(pool: Pool, options: PostgresScalableEvaluationCheckpointStoreOptionsV1);
+    loadV1(input: {
+        readonly runId: string;
+    }): Promise<ScalableEvaluationRunnerCheckpointV1 | null>;
+    compareAndSwapV1(input: {
+        readonly runId: string;
+        readonly expectedRevision: number | null;
+        readonly checkpoint: ScalableEvaluationRunnerCheckpointV1;
+    }): Promise<ScalableEvaluationCheckpointStoreCasReceiptV1>;
+    private validateStoredRow;
+    private query;
+    private transaction;
+}
+//# sourceMappingURL=scalable-evaluation-checkpoint-store.d.ts.map

package/dist/scalable-evaluation-checkpoint-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalable-evaluation-checkpoint-store.d.ts","sourceRoot":"","sources":["../src/scalable-evaluation-checkpoint-store.ts"],"names":[],"mappings":"AAGA,OAAO,EAIL,KAAK,6CAA6C,EAClD,KAAK,0CAA0C,EAC/C,KAAK,oCAAoC,EAC1C,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EAAE,IAAI,EAA8B,MAAM,IAAI,CAAC;AAE3D,eAAO,MAAM,wDAAwD,QACnD,CAAC;AACnB,eAAO,MAAM,wDAAwD,QACnD,CAAC;AAEnB,MAAM,WAAW,kDAAkD;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,CAAC;CAC1C;AAKD;;;;GAIG;AACH,qBAAa,2CACX,YAAW,0CAA0C;;IAQnD,QAAQ,CAAC,IAAI,EAAE,IAAI;IANrB,QAAQ,CAAC,mBAAmB,iFAAC;gBAMlB,IAAI,EAAE,IAAI,EACnB,OAAO,EAAE,kDAAkD;IAuBvD,MAAM,CAAC,KAAK,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,GAAG,OAAO,CAAC,oCAAoC,GAAG,IAAI,CAAC;IAelD,gBAAgB,CAAC,KAAK,EAAE;QAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QACzC,QAAQ,CAAC,UAAU,EAAE,oCAAoC,CAAC;KAC3D,GAAG,OAAO,CAAC,6CAA6C,CAAC;IA4F1D,OAAO,CAAC,iBAAiB;IAyCzB,OAAO,CAAC,KAAK;YAQC,WAAW;CAgB1B"}

package/dist/scalable-evaluation-checkpoint-store.js

@@ -0,0 +1,242 @@
+import { createHash } from 'node:crypto';
+import { canonicalizePlanningJsonV1 } from '@agentplat/collective-planning';
+import { createScalableEvaluationRestartDurabilityDeclarationV1, scalableEvaluationDigestV1, validateScalableEvaluationRunnerCheckpointV1, } from '@agentplat/mesh-sim';
+import { defaultPostgresSchema, normalizePostgresIdentifier, quotePostgresIdentifier, } from '@agentplat/postgres';
+export const DEFAULT_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1 = 16 * 1024 * 1024;
+export const MAXIMUM_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1 = 64 * 1024 * 1024;
+/**
+ * Restart-durable PostgreSQL head store for scalable evaluation runners.
+ * CAS is serialized by namespace/run advisory lock and row lock. The caller
+ * owns the pool and applies this package's migrations.
+ */
+export class PostgresScalableEvaluationCheckpointStoreV1 {
+    pool;
+    restartDurabilityV1;
+    #prefix;
+    #namespace;
+    #maximumCheckpointBytes;
+    constructor(pool, options) {
+        this.pool = pool;
+        if (!pool || typeof pool.connect !== 'function')
+            throw new TypeError('PostgreSQL pool is required');
+        if (!options || typeof options !== 'object')
+            throw new TypeError('checkpoint store options are required');
+        this.#namespace = token(options.namespace, 'namespace', 128);
+        const schema = normalizePostgresIdentifier(options.schema ?? defaultPostgresSchema, 'schema');
+        this.#prefix = `${quotePostgresIdentifier(schema)}.`;
+        this.#maximumCheckpointBytes = checkpointLimit(options.maximumCheckpointBytes);
+        this.restartDurabilityV1 =
+            createScalableEvaluationRestartDurabilityDeclarationV1({
+                providerId: 'agentplat.mesh-sim-postgres.scalable-evaluation.v1',
+                continuityId: `postgres:${schema}:${this.#namespace}`,
+                maximumCheckpointBytes: this.#maximumCheckpointBytes,
+            });
+    }
+    async loadV1(input) {
+        const runId = token(input?.runId, 'runId', 256);
+        const result = await this.query(`SELECT run_id, revision, checkpoint_digest, previous_checkpoint_digest,
+              definition_digest, adapter_descriptor_digest, schedule_digest,
+              ports_digest, configuration_digest, checkpoint,
+              checkpoint_sha256, checkpoint_bytes
+         FROM ${this.#prefix}mesh_sim_scalable_evaluation_checkpoints
+        WHERE namespace=$1 AND run_id=$2`, [this.#namespace, runId]);
+        if (result.rowCount === 0)
+            return null;
+        return this.validateStoredRow(result.rows[0], runId).checkpoint;
+    }
+    async compareAndSwapV1(input) {
+        const runId = token(input?.runId, 'runId', 256);
+        const expectedRevision = optionalRevision(input?.expectedRevision);
+        const checkpoint = validateScalableEvaluationRunnerCheckpointV1(input?.checkpoint);
+        if (checkpoint.runId !== runId)
+            throw new TypeError('checkpoint run identity conflict');
+        const bytes = checkpointBytes(checkpoint, this.#maximumCheckpointBytes);
+        const contentHash = sha256(bytes);
+        return this.transaction(async (db) => {
+            await this.query(`SELECT pg_advisory_xact_lock(hashtextextended($1, 0))`, [`${this.#namespace}\u001fscalable-evaluation\u001f${runId}`], db);
+            const current = await this.query(`SELECT run_id, revision, checkpoint_digest, previous_checkpoint_digest,
+                definition_digest, adapter_descriptor_digest, schedule_digest,
+                ports_digest, configuration_digest, checkpoint,
+                checkpoint_sha256, checkpoint_bytes
+           FROM ${this.#prefix}mesh_sim_scalable_evaluation_checkpoints
+          WHERE namespace=$1 AND run_id=$2
+          FOR UPDATE`, [this.#namespace, runId], db);
+            if (current.rowCount === 0) {
+                if (expectedRevision !== null ||
+                    checkpoint.revision !== 1 ||
+                    checkpoint.previousCheckpointDigest !== null)
+                    return casReceipt(checkpoint, 'conflict', null);
+                await this.query(`INSERT INTO ${this.#prefix}mesh_sim_scalable_evaluation_checkpoints
+             (namespace, run_id, revision, checkpoint_digest,
+              previous_checkpoint_digest, definition_digest,
+              adapter_descriptor_digest, schedule_digest, ports_digest,
+              configuration_digest, checkpoint, checkpoint_sha256,
+              checkpoint_bytes)
+           VALUES ($1,$2,$3,$4,$5,$6,$7,$8,$9,$10,$11::jsonb,$12,$13)`, rowValues(this.#namespace, runId, checkpoint, bytes, contentHash), db);
+                return casReceipt(checkpoint, 'stored', checkpoint.revision);
+            }
+            const stored = this.validateStoredRow(current.rows[0], runId);
+            const intendedPredecessorRevision = checkpoint.revision === 1 ? null : checkpoint.revision - 1;
+            if (equal(stored.bytes, bytes) &&
+                stored.checkpoint.checkpointDigest === checkpoint.checkpointDigest)
+                return casReceipt(checkpoint, expectedRevision === intendedPredecessorRevision
+                    ? 'duplicate'
+                    : 'conflict', stored.checkpoint.revision);
+            if (expectedRevision !== stored.checkpoint.revision ||
+                checkpoint.revision !== stored.checkpoint.revision + 1 ||
+                checkpoint.previousCheckpointDigest !==
+                    stored.checkpoint.checkpointDigest ||
+                !sameConfiguration(stored.checkpoint, checkpoint))
+                return casReceipt(checkpoint, 'conflict', stored.checkpoint.revision);
+            await this.query(`UPDATE ${this.#prefix}mesh_sim_scalable_evaluation_checkpoints
+            SET revision=$3, checkpoint_digest=$4,
+                previous_checkpoint_digest=$5, definition_digest=$6,
+                adapter_descriptor_digest=$7, schedule_digest=$8,
+                ports_digest=$9, configuration_digest=$10,
+                checkpoint=$11::jsonb, checkpoint_sha256=$12,
+                checkpoint_bytes=$13, updated_at=transaction_timestamp()
+          WHERE namespace=$1 AND run_id=$2`, rowValues(this.#namespace, runId, checkpoint, bytes, contentHash), db);
+            return casReceipt(checkpoint, 'stored', checkpoint.revision);
+        });
+    }
+    validateStoredRow(row, runId) {
+        const bytes = checkpointBytes(row.checkpoint, this.#maximumCheckpointBytes);
+        const recordedBytes = storedInteger(row.checkpoint_bytes, 'checkpoint byte length');
+        if (recordedBytes !== bytes.byteLength ||
+            String(row.checkpoint_sha256) !== sha256(bytes))
+            throw new TypeError('checkpoint content hash mismatch');
+        const checkpoint = validateScalableEvaluationRunnerCheckpointV1(JSON.parse(new TextDecoder('utf-8', { fatal: true }).decode(bytes)));
+        if (String(row.run_id) !== runId ||
+            storedInteger(row.revision, 'checkpoint revision') !==
+                checkpoint.revision ||
+            String(row.checkpoint_digest) !== checkpoint.checkpointDigest ||
+            nullableString(row.previous_checkpoint_digest) !==
+                checkpoint.previousCheckpointDigest ||
+            String(row.definition_digest) !== checkpoint.definitionDigest ||
+            String(row.adapter_descriptor_digest) !==
+                checkpoint.adapterDescriptorDigest ||
+            String(row.schedule_digest) !== checkpoint.scheduleDigest ||
+            String(row.ports_digest) !== checkpoint.portsDigest ||
+            String(row.configuration_digest) !== checkpoint.configurationDigest)
+            throw new TypeError('checkpoint column binding mismatch');
+        return Object.freeze({ checkpoint, bytes });
+    }
+    query(text, values, db = this.pool) {
+        return db.query(text, values);
+    }
+    async transaction(work) {
+        const client = await this.pool.connect();
+        try {
+            await client.query('BEGIN');
+            const value = await work(client);
+            await client.query('COMMIT');
+            return value;
+        }
+        catch (error) {
+            await client.query('ROLLBACK').catch(() => undefined);
+            throw error;
+        }
+        finally {
+            client.release();
+        }
+    }
+}
+function checkpointLimit(value) {
+    const selected = value ?? DEFAULT_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1;
+    if (!Number.isSafeInteger(selected) ||
+        selected < 1 ||
+        selected > MAXIMUM_POSTGRES_SCALABLE_EVALUATION_CHECKPOINT_BYTES_V1)
+        throw new RangeError('maximumCheckpointBytes is invalid');
+    return selected;
+}
+function checkpointBytes(value, maximum) {
+    let canonical;
+    try {
+        canonical = canonicalizePlanningJsonV1(value, {
+            maximumBytes: maximum,
+            maximumDepth: 64,
+            maximumNodes: 2_000_000,
+            maximumKeysPerObject: 4_096,
+            maximumItemsPerArray: 262_144,
+        });
+    }
+    catch (error) {
+        throw new RangeError('checkpoint exceeds configured limits', {
+            cause: error,
+        });
+    }
+    const bytes = new TextEncoder().encode(canonical);
+    if (bytes.byteLength < 1 || bytes.byteLength > maximum)
+        throw new RangeError('checkpoint exceeds configured byte limit');
+    return bytes;
+}
+function rowValues(namespace, runId, checkpoint, bytes, contentHash) {
+    return [
+        namespace,
+        runId,
+        checkpoint.revision,
+        checkpoint.checkpointDigest,
+        checkpoint.previousCheckpointDigest,
+        checkpoint.definitionDigest,
+        checkpoint.adapterDescriptorDigest,
+        checkpoint.scheduleDigest,
+        checkpoint.portsDigest,
+        checkpoint.configurationDigest,
+        new TextDecoder().decode(bytes),
+        contentHash,
+        bytes.byteLength,
+    ];
+}
+function sameConfiguration(left, right) {
+    return (left.definitionDigest === right.definitionDigest &&
+        left.adapterDescriptorDigest === right.adapterDescriptorDigest &&
+        left.scheduleDigest === right.scheduleDigest &&
+        left.portsDigest === right.portsDigest &&
+        left.configurationDigest === right.configurationDigest);
+}
+function casReceipt(checkpoint, status, currentRevision) {
+    const body = {
+        schemaVersion: 1,
+        runId: checkpoint.runId,
+        revision: checkpoint.revision,
+        checkpointDigest: checkpoint.checkpointDigest,
+        status,
+        currentRevision,
+    };
+    return Object.freeze({
+        ...body,
+        receiptDigest: scalableEvaluationDigestV1('checkpoint-store-cas-receipt', body),
+    });
+}
+function optionalRevision(value) {
+    if (value === null)
+        return null;
+    if (!Number.isSafeInteger(value) || value < 1)
+        throw new TypeError('expectedRevision is invalid');
+    return value;
+}
+function storedInteger(value, label) {
+    const parsed = Number(value);
+    if (!Number.isSafeInteger(parsed) || parsed < 1)
+        throw new TypeError(`${label} is invalid`);
+    return parsed;
+}
+function nullableString(value) {
+    return value === null || value === undefined ? null : String(value);
+}
+function token(value, label, maximum) {
+    if (typeof value !== 'string' ||
+        value.length === 0 ||
+        value.length > maximum ||
+        !/^[A-Za-z0-9][A-Za-z0-9._:@/-]*$/u.test(value))
+        throw new TypeError(`${label} is invalid`);
+    return value;
+}
+function sha256(bytes) {
+    return createHash('sha256').update(bytes).digest('hex');
+}
+function equal(left, right) {
+    return (left.byteLength === right.byteLength &&
+        left.every((value, index) => value === right[index]));
+}
+//# sourceMappingURL=scalable-evaluation-checkpoint-store.js.map

package/dist/scalable-evaluation-checkpoint-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalable-evaluation-checkpoint-store.js","sourceRoot":"","sources":["../src/scalable-evaluation-checkpoint-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EACL,sDAAsD,EACtD,0BAA0B,EAC1B,4CAA4C,GAI7C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAG7B,MAAM,CAAC,MAAM,wDAAwD,GACnE,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AACnB,MAAM,CAAC,MAAM,wDAAwD,GACnE,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAYnB;;;;GAIG;AACH,MAAM,OAAO,2CAA2C;IAS3C;IANF,mBAAmB,CAAC;IACpB,OAAO,CAAS;IAChB,UAAU,CAAS;IACnB,uBAAuB,CAAS;IAEzC,YACW,IAAU,EACnB,OAA2D;QADlD,SAAI,GAAJ,IAAI,CAAM;QAGnB,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,UAAU;YAC7C,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;YACzC,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,2BAA2B,CACxC,OAAO,CAAC,MAAM,IAAI,qBAAqB,EACvC,QAAQ,CACT,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,GAAG,uBAAuB,CAAC,MAAM,CAAC,GAAG,CAAC;QACrD,IAAI,CAAC,uBAAuB,GAAG,eAAe,CAC5C,OAAO,CAAC,sBAAsB,CAC/B,CAAC;QACF,IAAI,CAAC,mBAAmB;YACtB,sDAAsD,CAAC;gBACrD,UAAU,EAAE,oDAAoD;gBAChE,YAAY,EAAE,YAAY,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE;gBACrD,sBAAsB,EAAE,IAAI,CAAC,uBAAuB;aACrD,CAAC,CAAC;IACP,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,KAEZ;QACC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAC7B;;;;gBAIU,IAAI,CAAC,OAAO;yCACa,EACnC,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CACzB,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACvC,OAAO,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;IACnE,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,KAItB;QACC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,4CAA4C,CAC7D,KAAK,EAAE,UAAU,CAClB,CAAC;QACF,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK;YAC5B,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,eAAe,CAC3B,UAAU,EACV,IAAI,CAAC,uBAAuB,CAC7B,CAAC;QACF,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACnC,MAAM,IAAI,CAAC,KAAK,CACd,uDAAuD,EACvD,CAAC,GAAG,IAAI,CAAC,UAAU,kCAAkC,KAAK,EAAE,CAAC,EAC7D,EAAE,CACH,CAAC;YACF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAC9B;;;;kBAIU,IAAI,CAAC,OAAO;;qBAET,EACb,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,EACxB,EAAE,CACH,CAAC;YACF,IAAI,OAAO,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;gBAC3B,IACE,gBAAgB,KAAK,IAAI;oBACzB,UAAU,CAAC,QAAQ,KAAK,CAAC;oBACzB,UAAU,CAAC,wBAAwB,KAAK,IAAI;oBAE5C,OAAO,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBAClD,MAAM,IAAI,CAAC,KAAK,CACd,eAAe,IAAI,CAAC,OAAO;;;;;;sEAMiC,EAC5D,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,EACjE,EAAE,CACH,CAAC;gBACF,OAAO,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC/D,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC;YAC/D,MAAM,2BAA2B,GAC/B,UAAU,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC;YAC7D,IACE,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;gBAC1B,MAAM,CAAC,UAAU,CAAC,gBAAgB,KAAK,UAAU,CAAC,gBAAgB;gBAElE,OAAO,UAAU,CACf,UAAU,EACV,gBAAgB,KAAK,2BAA2B;oBAC9C,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,UAAU,EACd,MAAM,CAAC,UAAU,CAAC,QAAQ,CAC3B,CAAC;YACJ,IACE,gBAAgB,KAAK,MAAM,CAAC,UAAU,CAAC,QAAQ;gBAC/C,UAAU,CAAC,QAAQ,KAAK,MAAM,CAAC,UAAU,CAAC,QAAQ,GAAG,CAAC;gBACtD,UAAU,CAAC,wBAAwB;oBACjC,MAAM,CAAC,UAAU,CAAC,gBAAgB;gBACpC,CAAC,iBAAiB,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;gBAEjD,OAAO,UAAU,CACf,UAAU,EACV,UAAU,EACV,MAAM,CAAC,UAAU,CAAC,QAAQ,CAC3B,CAAC;YACJ,MAAM,IAAI,CAAC,KAAK,CACd,UAAU,IAAI,CAAC,OAAO;;;;;;;2CAOa,EACnC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,EACjE,EAAE,CACH,CAAC;YACF,OAAO,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,iBAAiB,CACvB,GAAQ,EACR,KAAa;QAKb,MAAM,KAAK,GAAG,eAAe,CAC3B,GAAG,CAAC,UAAU,EACd,IAAI,CAAC,uBAAuB,CAC7B,CAAC;QACF,MAAM,aAAa,GAAG,aAAa,CACjC,GAAG,CAAC,gBAAgB,EACpB,wBAAwB,CACzB,CAAC;QACF,IACE,aAAa,KAAK,KAAK,CAAC,UAAU;YAClC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC;YAE/C,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,4CAA4C,CAC7D,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CACpE,CAAC;QACF,IACE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK;YAC5B,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,qBAAqB,CAAC;gBAChD,UAAU,CAAC,QAAQ;YACrB,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,UAAU,CAAC,gBAAgB;YAC7D,cAAc,CAAC,GAAG,CAAC,0BAA0B,CAAC;gBAC5C,UAAU,CAAC,wBAAwB;YACrC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,KAAK,UAAU,CAAC,gBAAgB;YAC7D,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC;gBACnC,UAAU,CAAC,uBAAuB;YACpC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,UAAU,CAAC,cAAc;YACzD,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,UAAU,CAAC,WAAW;YACnD,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,UAAU,CAAC,mBAAmB;YAEnE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,CAAC;IAEO,KAAK,CACX,IAAY,EACZ,MAAiB,EACjB,KAAe,IAAI,CAAC,IAAI;QAExB,OAAO,EAAE,CAAC,KAAK,CAAI,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAEO,KAAK,CAAC,WAAW,CACvB,IAAoC;QAEpC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACzC,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7B,OAAO,KAAK,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,KAAK,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;CACF;AAED,SAAS,eAAe,CAAC,KAAyB;IAChD,MAAM,QAAQ,GACZ,KAAK,IAAI,wDAAwD,CAAC;IACpE,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC;QAC/B,QAAQ,GAAG,CAAC;QACZ,QAAQ,GAAG,wDAAwD;QAEnE,MAAM,IAAI,UAAU,CAAC,mCAAmC,CAAC,CAAC;IAC5D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,OAAe;IACtD,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,GAAG,0BAA0B,CAAC,KAAc,EAAE;YACrD,YAAY,EAAE,OAAO;YACrB,YAAY,EAAE,EAAE;YAChB,YAAY,EAAE,SAAS;YACvB,oBAAoB,EAAE,KAAK;YAC3B,oBAAoB,EAAE,OAAO;SAC9B,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAAC,sCAAsC,EAAE;YAC3D,KAAK,EAAE,KAAK;SACb,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,OAAO;QACpD,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAChB,SAAiB,EACjB,KAAa,EACb,UAAgD,EAChD,KAAiB,EACjB,WAAmB;IAEnB,OAAO;QACL,SAAS;QACT,KAAK;QACL,UAAU,CAAC,QAAQ;QACnB,UAAU,CAAC,gBAAgB;QAC3B,UAAU,CAAC,wBAAwB;QACnC,UAAU,CAAC,gBAAgB;QAC3B,UAAU,CAAC,uBAAuB;QAClC,UAAU,CAAC,cAAc;QACzB,UAAU,CAAC,WAAW;QACtB,UAAU,CAAC,mBAAmB;QAC9B,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC;QAC/B,WAAW;QACX,KAAK,CAAC,UAAU;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,IAA0C,EAC1C,KAA2C;IAE3C,OAAO,CACL,IAAI,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB;QAChD,IAAI,CAAC,uBAAuB,KAAK,KAAK,CAAC,uBAAuB;QAC9D,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;QAC5C,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QACtC,IAAI,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,UAAgD,EAChD,MAA+D,EAC/D,eAA8B;IAE9B,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;QAC7C,MAAM;QACN,eAAe;KAChB,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,0BAA0B,CACvC,8BAA8B,EAC9B,IAAI,CACL;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC;QACvD,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACrD,OAAO,KAAe,CAAC;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QAC7C,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,KAAa,EAAE,OAAe;IAC3D,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,OAAO;QACtB,CAAC,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC;QAE/C,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,MAAM,CAAC,KAAiB;IAC/B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,KAAK,CAAC,IAAgB,EAAE,KAAiB;IAChD,OAAO,CACL,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QACpC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC"}

package/migrations/001_mesh_sim_durability.down.sql

@@ -0,0 +1,4 @@
+DROP TABLE IF EXISTS __AGENTPLAT_SCHEMA__.mesh_sim_slot_commits;
+DROP TABLE IF EXISTS __AGENTPLAT_SCHEMA__.mesh_sim_execution_states;
+DROP TABLE IF EXISTS __AGENTPLAT_SCHEMA__.mesh_sim_artifact_bindings;
+DROP TABLE IF EXISTS __AGENTPLAT_SCHEMA__.mesh_sim_artifact_blobs;

package/migrations/001_mesh_sim_durability.up.sql

@@ -0,0 +1,45 @@
+CREATE TABLE __AGENTPLAT_SCHEMA__.mesh_sim_artifact_blobs (
+  namespace text NOT NULL,
+  content_sha256 text NOT NULL CHECK (content_sha256 ~ '^[a-f0-9]{64}$'),
+  bytes bytea NOT NULL,
+  created_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  PRIMARY KEY (namespace, content_sha256)
+);
+CREATE TABLE __AGENTPLAT_SCHEMA__.mesh_sim_artifact_bindings (
+  namespace text NOT NULL,
+  artifact_id text NOT NULL,
+  content_sha256 text NOT NULL CHECK (content_sha256 ~ '^[a-f0-9]{64}$'),
+  binding bytea NOT NULL,
+  binding_sha256 text NOT NULL CHECK (binding_sha256 ~ '^[a-f0-9]{64}$'),
+  operation_expires_at_ms bigint CHECK (operation_expires_at_ms >= 0),
+  created_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  PRIMARY KEY (namespace, artifact_id),
+  FOREIGN KEY (namespace, content_sha256) REFERENCES __AGENTPLAT_SCHEMA__.mesh_sim_artifact_blobs(namespace, content_sha256)
+);
+CREATE TABLE __AGENTPLAT_SCHEMA__.mesh_sim_execution_states (
+  namespace text NOT NULL,
+  execution_id text NOT NULL,
+  registration_digest text NOT NULL,
+  execution_digest text NOT NULL,
+  state jsonb NOT NULL CHECK (jsonb_typeof(state) = 'object'),
+  state_sha256 text NOT NULL CHECK (state_sha256 ~ '^[a-f0-9]{64}$'),
+  updated_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  PRIMARY KEY (namespace, execution_id)
+);
+CREATE TABLE __AGENTPLAT_SCHEMA__.mesh_sim_slot_commits (
+  namespace text NOT NULL,
+  run_key text NOT NULL,
+  execution_id text NOT NULL,
+  registration_digest text NOT NULL CHECK (registration_digest ~ '^sha256:[a-f0-9]{64}$'),
+  cell_id text NOT NULL,
+  fence_worker_id text NOT NULL,
+  fence_lease_token text NOT NULL,
+  fence_generation bigint NOT NULL CHECK (fence_generation > 0),
+  fence_expires_at_ms bigint NOT NULL CHECK (fence_expires_at_ms >= 0),
+  operation_expires_at_ms bigint CHECK (operation_expires_at_ms >= 0),
+  execution jsonb NOT NULL CHECK (jsonb_typeof(execution) = 'object'),
+  execution_sha256 text NOT NULL CHECK (execution_sha256 ~ '^[a-f0-9]{64}$'),
+  committed_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  PRIMARY KEY (namespace, run_key),
+  FOREIGN KEY (namespace, execution_id) REFERENCES __AGENTPLAT_SCHEMA__.mesh_sim_execution_states(namespace, execution_id)
+);

package/migrations/002_scalable_evaluation_checkpoints.down.sql

@@ -0,0 +1 @@
+DROP TABLE IF EXISTS __AGENTPLAT_SCHEMA__.mesh_sim_scalable_evaluation_checkpoints;

package/migrations/002_scalable_evaluation_checkpoints.up.sql

@@ -0,0 +1,22 @@
+CREATE TABLE __AGENTPLAT_SCHEMA__.mesh_sim_scalable_evaluation_checkpoints (
+  namespace text NOT NULL CHECK (char_length(namespace) BETWEEN 1 AND 128),
+  run_id text NOT NULL CHECK (char_length(run_id) BETWEEN 1 AND 256),
+  revision bigint NOT NULL CHECK (revision > 0),
+  checkpoint_digest text NOT NULL CHECK (checkpoint_digest ~ '^sha256:[a-f0-9]{64}$'),
+  previous_checkpoint_digest text CHECK (previous_checkpoint_digest ~ '^sha256:[a-f0-9]{64}$'),
+  definition_digest text NOT NULL CHECK (definition_digest ~ '^sha256:[a-f0-9]{64}$'),
+  adapter_descriptor_digest text NOT NULL CHECK (adapter_descriptor_digest ~ '^sha256:[a-f0-9]{64}$'),
+  schedule_digest text NOT NULL CHECK (schedule_digest ~ '^sha256:[a-f0-9]{64}$'),
+  ports_digest text NOT NULL CHECK (ports_digest ~ '^sha256:[a-f0-9]{64}$'),
+  configuration_digest text NOT NULL CHECK (configuration_digest ~ '^sha256:[a-f0-9]{64}$'),
+  checkpoint jsonb NOT NULL CHECK (jsonb_typeof(checkpoint) = 'object'),
+  checkpoint_sha256 text NOT NULL CHECK (checkpoint_sha256 ~ '^[a-f0-9]{64}$'),
+  checkpoint_bytes integer NOT NULL CHECK (checkpoint_bytes BETWEEN 1 AND 67108864),
+  created_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  updated_at timestamptz NOT NULL DEFAULT transaction_timestamp(),
+  CHECK (
+    (revision = 1 AND previous_checkpoint_digest IS NULL) OR
+    (revision > 1 AND previous_checkpoint_digest IS NOT NULL)
+  ),
+  PRIMARY KEY (namespace, run_id)
+);

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@agentplat/mesh-sim-postgres",
+  "version": "0.3.0-beta.4",
+  "description": "PostgreSQL campaign custody, fenced execution, and restart-durable scalable evaluation checkpoints for AgentPlat Mesh simulation.",
+  "type": "module",
+  "license": "Apache-2.0",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "migrations",
+    "README.md"
+  ],
+  "dependencies": {
+    "@types/node": "^20.10.0",
+    "@types/pg": "^8.11.10",
+    "pg": "^8.13.1",
+    "@agentplat/mesh-sim": "^0.3.0-beta.4",
+    "@agentplat/postgres": "^0.3.0-beta.4",
+    "@agentplat/collective-planning": "^0.3.0-beta.4"
+  },
+  "engines": {
+    "node": ">=20.19.3"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Agentplat/agentplat.git",
+    "directory": "packages/mesh-sim-postgres"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "type-check": "tsc -p tsconfig.json --noEmit",
+    "test": "pnpm run build && node --test tests/*.test.mjs",
+    "clean": "node -e \"require('node:fs').rmSync('dist',{recursive:true,force:true})\""
+  }
+}