@tessar/postgresql 0.0.0-stage → 0.1.1

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 hphucdev-04
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,48 @@
-# Temporary Holding Version
+# @tessar/postgresql
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+PostgreSQL storage for Tessar checkpoints, execution records, sessions, and
+plugin-owned state. Uses the native `pg` driver and database transactions.
+
+```ts
+import { PostgresqlStoragePlugin } from "@tessar/postgresql";
+
+const storage = new PostgresqlStoragePlugin({
+  connectionString: process.env.DATABASE_URL!,
+  schema: "tessar", // default
+  driverOptions: { max: 10 },
+});
+// Add storage to your Tessar plugins alongside model and application plugins.
+```
+
+`createPostgresqlBackend(options)` creates the same backend directly. Each
+backend owns its connection pool; call `close()` when done. Plugin setup registers
+the backend with Tessar, which owns its disposal. `driverOptions` accepts native
+`pg` pool options, including TLS configuration. `connectionString` is always the
+top-level option. Initialization failure closes the pool.
+
+The configured role needs permission to create the schema, tables, and indexes,
+and to read and write them. Schema names must match `[a-zA-Z_][a-zA-Z0-9_]{0,62}`.
+Use a separate schema per application or environment. Existing application tables
+outside that schema are untouched. All backend instances for the same store must
+use the same database and schema.
+
+Publication is transactional and uses resource-scoped PostgreSQL advisory locks
+to coordinate processes. Lease expiry uses PostgreSQL time; fencing tokens survive
+release and thread purge. Message and execution changes use indexed revision
+intervals, so unchanged history is not copied into each checkpoint. Reads that
+hydrate multiple rows share a repeatable-read snapshot.
+
+Run the repository's `pnpm test:storage` with `TESSAR_TEST_POSTGRES_URL` in the
+environment or ignored `.env.storage`. Tests create unique `tessar_test_*` schemas
+and remove only those schemas. Database tests explicitly skip without the URL;
+they require a real PostgreSQL server and schema creation privileges.
+
+The physical schema is versioned in `schema_metadata` (version 1). Initialization
+is serialized by an advisory lock. Existing unversioned tables from the initial
+adapter are adopted without resetting data; unsupported versions fail before
+application-table DDL. SQLite's version 2 and this version 1 refer to different
+physical layouts, not different Tessar state contracts.
+
+Source responsibilities match the SQLite adapter: `schema.ts` initializes the
+layout, `ownership.ts` manages leases, `versions.ts` stores historical records,
+`queries.ts` implements paging, and `backend.ts` wires the storage contract.

package/dist/backend.d.ts

@@ -0,0 +1,4 @@
+import { type StorageBackend } from "@tessar/core";
+import { type PostgresqlStorageOptions } from "./database.js";
+export type { PostgresqlStorageOptions } from "./database.js";
+export declare function createPostgresqlBackend(options: PostgresqlStorageOptions): Promise<StorageBackend>;

package/dist/backend.js

@@ -0,0 +1,315 @@
+import { canonicalJson, buildThreadInfo, recordBinding, validateSession, commitFingerprint, validateBatch, fail, immutable, matchesScope, historyCursor, limitOf, encodeCursor, } from "@tessar/core";
+import { openDatabase } from "./database.js";
+import { initializeSchema, recordTables } from "./schema.js";
+import { assertOwnership, createOwnership } from "./ownership.js";
+import { page, scopeFilter } from "./queries.js";
+import { readVersions, writeVersions, writeCheckpoint, hydrate, } from "./versions.js";
+export async function createPostgresqlBackend(options) {
+    const db = openDatabase(options), table = db.table;
+    try {
+        await initializeSchema(db);
+    }
+    catch (error) {
+        await db.close().catch(() => { });
+        throw error;
+    }
+    const get = async (client, sql, values) => {
+        const { rows } = await client.query(sql, values);
+        return rows[0] ? immutable(rows[0].body) : null;
+    };
+    const head = (client, id) => get(client, `SELECT body FROM ${table("threads")} WHERE id=$1`, [id]);
+    const checkpoint = (client, id) => get(client, `SELECT body FROM ${table("checkpoints")} WHERE id=$1`, [id]);
+    const checkKind = (kind) => {
+        if (!recordTables.includes(kind))
+            fail("InvalidConfiguration", "Unknown record kind");
+    };
+    const records = async (client, kind, threadId, checkpointId) => {
+        checkKind(kind);
+        const cp = await checkpoint(client, checkpointId ?? (await head(client, threadId))?.currentCheckpointId ?? "");
+        return cp?.threadId === threadId
+            ? readVersions(db, client, kind, threadId, cp.revision)
+            : [];
+    };
+    const ownerKey = (key) => canonicalJson([key.ownerType, key.ownerId, key.pluginId, key.namespace]);
+    return {
+        id: "postgresql",
+        capabilities: {
+            durable: true,
+            atomicPublish: true,
+            coordination: "multi-process",
+        },
+        close: db.close,
+        sessions: {
+            get: (id, query = {}) => db.transaction(async (client) => {
+                const value = await get(client, `SELECT body FROM ${table("sessions")} WHERE id=$1`, [id]);
+                return value && matchesScope(value.scope, query.scope) ? value : null;
+            }),
+            page: (query) => db.transaction(async (client) => {
+                const values = [query.agentId];
+                return page(client, table("sessions"), "agent_id=$1 AND " + scopeFilter(query.scope, values), values, query, canonicalJson({ agentId: query.agentId, scope: query.scope ?? {} }), "created_at");
+            }),
+            compareAndSet: async (value, expected) => {
+                value = immutable(value);
+                return db.transaction(async (client) => {
+                    const old = await get(client, `SELECT body FROM ${table("sessions")} WHERE id=$1 FOR UPDATE`, [value.id]);
+                    validateSession(value, old, expected, value.selectedThreadId
+                        ? await head(client, value.selectedThreadId)
+                        : null);
+                    await client.query(`INSERT INTO ${table("sessions")}(id,agent_id,selected_thread_id,revision,created_at,updated_at,body) VALUES($1,$2,$3,$4,$5,$6,$7) ON CONFLICT(id) DO UPDATE SET selected_thread_id=excluded.selected_thread_id,revision=excluded.revision,updated_at=excluded.updated_at,body=excluded.body`, [
+                        value.id,
+                        value.agentId,
+                        value.selectedThreadId,
+                        value.revision,
+                        value.createdAt,
+                        value.updatedAt,
+                        canonicalJson(value),
+                    ]);
+                }, [
+                    "session:" + value.id,
+                    ...(value.selectedThreadId
+                        ? ["thread:" + value.selectedThreadId]
+                        : []),
+                ]);
+            },
+        },
+        ownedState: {
+            get: (key) => db.transaction((client) => get(client, `SELECT body FROM ${table("owned_states")} WHERE owner_key=$1`, [ownerKey(key)])),
+            compareAndSet: async (state, expected) => {
+                state = immutable(state);
+                return db.transaction(async (client) => {
+                    if (!["agent", "session"].includes(state.ownerType))
+                        fail("InvalidConfiguration", "Execution state must use checkpoints");
+                    const key = ownerKey(state), old = await get(client, `SELECT body FROM ${table("owned_states")} WHERE owner_key=$1`, [key]);
+                    if ((old?.revision ?? 0) !== expected ||
+                        state.revision !== expected + 1)
+                        fail("CommitConflict", "Owned state revision changed");
+                    await client.query(`INSERT INTO ${table("owned_states")}(owner_key,revision,body) VALUES($1,$2,$3) ON CONFLICT(owner_key) DO UPDATE SET revision=excluded.revision,body=excluded.body`, [key, state.revision, canonicalJson(state)]);
+                }, ["owned:" + ownerKey(state)]);
+            },
+        },
+        threads: {
+            get: (id, options) => db.transaction(async (client) => {
+                const value = await head(client, id);
+                return value && (!value.deleted || options?.includeDeleted)
+                    ? value
+                    : null;
+            }),
+            page: (query) => db.transaction(async (client) => {
+                const values = [];
+                return page(client, table("threads"), "deleted=FALSE AND " + scopeFilter(query.scope, values), values, query, canonicalJson(query.scope ?? {}), "created_at");
+            }),
+            list: (query = {}) => db.transaction(async (client) => {
+                const values = [], where = scopeFilter(query.scope, values);
+                return (await client.query(`SELECT body FROM ${table("threads")} WHERE deleted=FALSE AND ${where} ORDER BY created_at,id COLLATE "C"`, values)).rows.map((row) => immutable(row.body));
+            }),
+            purge: (id, query = {}) => db.transaction(async (client) => {
+                const info = await head(client, id);
+                if (!info || !matchesScope(info.scope, query.scope))
+                    fail("ThreadNotFound", "Thread does not match query");
+                if (!info.deleted)
+                    fail("ThreadNotDeleted", "Soft-delete the thread before purging");
+                const active = await client.query(`SELECT 1 FROM ${table("leases")} WHERE thread_id=$1 AND expires_at>clock_timestamp()`, [id]);
+                if (info.activeStreamId || active.rowCount)
+                    fail("ThreadBusy", "Thread has active execution or ownership");
+                const referenced = await client.query(`SELECT 1 FROM ${table("threads")} WHERE body->>'parentThreadId'=$1 OR body->>'sourceCheckpointId' IN (SELECT id FROM ${table("checkpoints")} WHERE thread_id=$1) LIMIT 1`, [id]);
+                if (referenced.rowCount)
+                    fail("ThreadReferenced", "Retained fork references this thread");
+                for (const name of [
+                    ...recordTables,
+                    "messages",
+                    "checkpoints",
+                    "commits",
+                    "staging",
+                ])
+                    await client.query(`DELETE FROM ${table(name)} WHERE thread_id=$1`, [id]);
+                await client.query(`DELETE FROM ${table("threads")} WHERE id=$1`, [
+                    id,
+                ]);
+                // Lease tombstones preserve fencing tokens when a purged thread ID is reused.
+            }, ["thread:" + id]),
+        },
+        checkpoints: {
+            get: (id) => db.transaction(async (client) => {
+                const cp = await checkpoint(client, id);
+                return cp ? hydrate(db, client, cp) : null;
+            }),
+            list: (threadId) => db.transaction(async (client) => {
+                const { rows } = await client.query(`SELECT body FROM ${table("checkpoints")} WHERE thread_id=$1 ORDER BY revision`, [threadId]);
+                return Promise.all(rows.map((row) => hydrate(db, client, row.body)));
+            }),
+            page: (threadId, options) => db.transaction((client) => page(client, table("checkpoints"), "thread_id=$1", [threadId], options, "checkpoints:" + threadId, "created_at", (row) => ({
+                id: row.id,
+                threadId,
+                revision: row.revision,
+                createdAt: row.created_at,
+                cause: row.cause,
+                forkable: row.forkable,
+                unsafeReason: row.unsafe_reason,
+            }), "id,revision,created_at,cause,forkable,unsafe_reason")),
+            history: (threadId, options, query = {}) => db.transaction(async (client) => {
+                const info = await head(client, threadId);
+                if (!info || info.deleted || !matchesScope(info.scope, query.scope))
+                    fail("ThreadNotFound", "Thread does not match query");
+                const { binding, cursor } = historyCursor(threadId, options, query), limit = limitOf(options.limit);
+                const { rows } = await client.query(`SELECT id,revision,message_count FROM ${table("checkpoints")} WHERE thread_id=$1 AND id=$2`, [
+                    threadId,
+                    cursor?.checkpointId ??
+                        options.atCheckpointId ??
+                        info.currentCheckpointId,
+                ]);
+                const cp = rows[0];
+                if (!cp)
+                    fail("CheckpointNotFound", "No checkpoint for history");
+                const end = cursor?.end ?? cp.message_count;
+                if (end > cp.message_count)
+                    fail("InvalidCursor", "Invalid history position");
+                const begin = Math.max(0, end - limit);
+                const messages = await client.query(`SELECT body FROM ${table("messages")} WHERE thread_id=$1 AND position>=$2 AND position<$3 AND from_revision<=$4 AND (to_revision IS NULL OR $4<to_revision) ORDER BY position LIMIT $5`, [threadId, begin, end, cp.revision, limit]);
+                return {
+                    items: messages.rows.map((row) => immutable(row.body)),
+                    checkpointId: cp.id,
+                    revision: cp.revision,
+                    nextCursor: begin
+                        ? encodeCursor({ v: 1, binding, checkpointId: cp.id, end: begin })
+                        : null,
+                };
+            }),
+        },
+        executions: {
+            listRecords: (kind, threadId, query) => db.transaction((client) => records(client, kind, threadId, query?.atCheckpointId)),
+            get: (kind, id, query) => db.transaction(async (client) => {
+                checkKind(kind);
+                const cp = query?.atCheckpointId
+                    ? await checkpoint(client, query.atCheckpointId)
+                    : null;
+                const threadId = query?.threadId ?? cp?.threadId;
+                if (threadId)
+                    return ((await records(client, kind, threadId, query?.atCheckpointId)).find((record) => record.id === id) ?? null);
+                if (query?.atCheckpointId)
+                    return null;
+                return get(client, `SELECT r.body FROM ${table(kind)} r JOIN ${table("threads")} t ON r.thread_id=t.id WHERE r.id=$1 AND r.to_revision IS NULL AND t.deleted=FALSE ORDER BY r.thread_id LIMIT 1`, [id]);
+            }),
+            page: (kind, threadId, query) => db.transaction(async (client) => {
+                checkKind(kind);
+                const cp = await checkpoint(client, query.atCheckpointId ??
+                    (await head(client, threadId))?.currentCheckpointId ??
+                    "");
+                if (!cp || cp.threadId !== threadId)
+                    fail("CheckpointNotFound", "No checkpoint for records");
+                const values = [threadId, cp.revision];
+                let where = "thread_id=$1 AND from_revision<=$2 AND (to_revision IS NULL OR $2<to_revision)";
+                for (const [field, column] of [
+                    ["streamId", "stream_id"],
+                    ["turnId", "turn_id"],
+                    ["status", "status"],
+                ])
+                    if (query[field] !== undefined) {
+                        values.push(query[field]);
+                        where += ` AND ${column}=$${values.length}`;
+                    }
+                return page(client, table(kind), where, values, query, recordBinding(kind, threadId, query), "sort_date");
+            }),
+        },
+        ownership: createOwnership(db),
+        commits: {
+            stage: async (batch) => {
+                batch = immutable(batch);
+                validateBatch(batch);
+                const fingerprint = await commitFingerprint(batch);
+                await db.transaction(async (client) => {
+                    const prior = await client.query(`SELECT fingerprint FROM ${table("commits")} WHERE id=$1 UNION ALL SELECT fingerprint FROM ${table("staging")} WHERE id=$1`, [batch.commitId]);
+                    if (prior.rows[0]) {
+                        if (prior.rows[0].fingerprint !== fingerprint)
+                            fail("CommitConflict", "commitId payload mismatch");
+                        return;
+                    }
+                    await client.query(`INSERT INTO ${table("staging")}(id,thread_id,body,fingerprint) VALUES($1,$2,$3,$4)`, [
+                        batch.commitId,
+                        batch.threadId,
+                        canonicalJson(batch),
+                        fingerprint,
+                    ]);
+                }, ["commit:" + batch.commitId]);
+            },
+            lookupCommit: (id) => db.transaction((client) => get(client, `SELECT body FROM ${table("commits")} WHERE id=$1`, [id])),
+            publish: async (request) => {
+                request = immutable(request);
+                // Staged payloads cannot change; discover the source to lock both fork threads in order.
+                const staged = await db.transaction((client) => get(client, `SELECT body FROM ${table("staging")} WHERE id=$1`, [request.commitId]));
+                return db.transaction(async (client) => {
+                    const prior = await get(client, `SELECT body FROM ${table("commits")} WHERE id=$1`, [request.commitId]);
+                    if (prior) {
+                        if (prior.threadId !== request.threadId ||
+                            prior.revision !== request.expectedRevision + 1)
+                            fail("CommitConflict", "Commit request mismatch");
+                        return prior;
+                    }
+                    if (request.lease.threadId !== request.threadId)
+                        fail("OwnershipLost", "Lease belongs to another thread");
+                    await assertOwnership(db, client, request.lease);
+                    const batch = await get(client, `SELECT body FROM ${table("staging")} WHERE id=$1`, [request.commitId]);
+                    if (!batch ||
+                        batch.threadId !== request.threadId ||
+                        batch.expectedRevision !== request.expectedRevision)
+                        fail("CommitConflict", "Missing staged batch");
+                    if (batch.lineage) {
+                        // A stage inserted after discovery must be retried with the source lock.
+                        if (staged?.lineage?.parentThreadId !== batch.lineage.parentThreadId)
+                            fail("CommitConflict", "Fork staging changed; retry publication");
+                        const parent = await head(client, batch.lineage.parentThreadId), source = await checkpoint(client, batch.lineage.sourceCheckpointId);
+                        if (!parent || parent.deleted || source?.threadId !== parent.id)
+                            fail("ThreadNotFound", "Fork source is no longer available");
+                    }
+                    const old = await head(client, batch.threadId), cp = batch.checkpoint;
+                    if ((old?.revision ?? 0) !== batch.expectedRevision ||
+                        old?.deleted ||
+                        cp.parentCheckpointId !== (old?.currentCheckpointId ?? null))
+                        fail("CommitConflict", "Head changed");
+                    const referenced = async (kind, id) => {
+                        const entry = batch.records.find((record) => record.kind === kind && record.id === id);
+                        return entry
+                            ? entry.data
+                            : get(client, `SELECT body FROM ${table(kind)} WHERE thread_id=$1 AND id=$2 AND to_revision IS NULL`, [cp.threadId, id]);
+                    };
+                    const stream = cp.execution
+                        ? await referenced("streams", cp.execution.streamId)
+                        : null;
+                    if (cp.execution && !stream)
+                        fail("CommitConflict", "Missing stream reference");
+                    if (cp.execution?.pendingInterruptId &&
+                        !(await referenced("interrupts", cp.execution.pendingInterruptId)))
+                        fail("CommitConflict", "Missing interrupt reference");
+                    await writeCheckpoint(db, client, cp);
+                    for (const kind of recordTables)
+                        await writeVersions(db, client, kind, cp.threadId, cp.revision, batch.records
+                            .filter((entry) => entry.kind === kind)
+                            .map((entry) => ({ id: entry.id, data: entry.data })));
+                    const info = buildThreadInfo(batch, old, stream);
+                    await client.query(`INSERT INTO ${table("threads")}(id,body,created_at,deleted) VALUES($1,$2,$3,$4) ON CONFLICT(id) DO UPDATE SET body=excluded.body,created_at=excluded.created_at,deleted=excluded.deleted`, [info.id, canonicalJson(info), info.createdAt, info.deleted]);
+                    if (info.deleted)
+                        await client.query(`UPDATE ${table("sessions")} SET selected_thread_id=NULL,revision=revision+1,updated_at=$2,body=body || jsonb_build_object('selectedThreadId',NULL,'revision',revision+1,'updatedAt',$2::text) WHERE selected_thread_id=$1`, [info.id, cp.createdAt]);
+                    // Re-check database time after writing: a lease can expire during a long publish.
+                    await assertOwnership(db, client, request.lease);
+                    const receipt = {
+                        commitId: batch.commitId,
+                        threadId: batch.threadId,
+                        revision: cp.revision,
+                        checkpointId: cp.id,
+                    };
+                    await client.query(`INSERT INTO ${table("commits")}(id,thread_id,body,fingerprint) SELECT id,thread_id,$2::jsonb,fingerprint FROM ${table("staging")} WHERE id=$1`, [batch.commitId, canonicalJson(receipt)]);
+                    await client.query(`DELETE FROM ${table("staging")} WHERE id=$1`, [
+                        batch.commitId,
+                    ]);
+                    return receipt;
+                }, [
+                    "commit:" + request.commitId,
+                    "thread:" + request.threadId,
+                    ...(staged?.lineage
+                        ? ["thread:" + staged.lineage.parentThreadId]
+                        : []),
+                ]);
+            },
+        },
+    };
+}
+//# sourceMappingURL=backend.js.map

package/dist/backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend.js","sourceRoot":"","sources":["../src/backend.ts"],"names":[],"mappings":"AACA,OAAO,EACL,aAAa,EACb,eAAe,EACf,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,IAAI,EACJ,SAAS,EACT,YAAY,EACZ,aAAa,EACb,OAAO,EACP,YAAY,GAWb,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,YAAY,EAAiC,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EACL,YAAY,EACZ,aAAa,EACb,eAAe,EACf,OAAO,GACR,MAAM,eAAe,CAAC;AAGvB,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAiC;IAEjC,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,EAC9B,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,gBAAgB,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,EACf,MAAkB,EAClB,GAAW,EACX,MAAiB,EACE,EAAE;QACrB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,MAAkB,EAAE,EAAU,EAAE,EAAE,CAC9C,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,SAAS,CAAC,cAAc,EAClD,CAAC,EAAE,CAAC,CACL,CAAC;IACJ,MAAM,UAAU,GAAG,CAAC,MAAkB,EAAE,EAAU,EAAE,EAAE,CACpD,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,aAAa,CAAC,cAAc,EACtD,CAAC,EAAE,CAAC,CACL,CAAC;IACJ,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAE,EAAE;QACrC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC9B,IAAI,CAAC,sBAAsB,EAAE,qBAAqB,CAAC,CAAC;IACxD,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,EACnB,MAAkB,EAClB,IAAO,EACP,QAAgB,EAChB,YAAqB,EACM,EAAE;QAC7B,SAAS,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,EAAE,GAAG,MAAM,UAAU,CACzB,MAAM,EACN,YAAY,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,mBAAmB,IAAI,EAAE,CAC1E,CAAC;QACF,OAAO,EAAE,EAAE,QAAQ,KAAK,QAAQ;YAC9B,CAAC,CAAC,YAAY,CAAiB,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC;YACvE,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CACf,GAGC,EACD,EAAE,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAE9E,OAAO;QACL,EAAE,EAAE,YAAY;QAChB,YAAY,EAAE;YACZ,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,YAAY,EAAE,eAAe;SAC9B;QACD,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,QAAQ,EAAE;YACR,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,EAAE,CACtB,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,KAAK,GAAG,MAAM,GAAG,CACrB,MAAM,EACN,oBAAoB,KAAK,CAAC,UAAU,CAAC,cAAc,EACnD,CAAC,EAAE,CAAC,CACL,CAAC;gBACF,OAAO,KAAK,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YACxE,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CACd,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,MAAM,GAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC1C,OAAO,IAAI,CACT,MAAM,EACN,KAAK,CAAC,UAAU,CAAC,EACjB,kBAAkB,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EACrD,MAAM,EACN,KAAK,EACL,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,EACnE,YAAY,CACb,CAAC;YACJ,CAAC,CAAC;YACJ,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACvC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;gBACzB,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;oBACf,MAAM,GAAG,GAAG,MAAM,GAAG,CACnB,MAAM,EACN,oBAAoB,KAAK,CAAC,UAAU,CAAC,yBAAyB,EAC9D,CAAC,KAAK,CAAC,EAAE,CAAC,CACX,CAAC;oBACF,eAAe,CACb,KAAK,EACL,GAAG,EACH,QAAQ,EACR,KAAK,CAAC,gBAAgB;wBACpB,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,gBAAgB,CAAC;wBAC5C,CAAC,CAAC,IAAI,CACT,CAAC;oBACF,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,UAAU,CAAC,6PAA6P,EAC7R;wBACE,KAAK,CAAC,EAAE;wBACR,KAAK,CAAC,OAAO;wBACb,KAAK,CAAC,gBAAgB;wBACtB,KAAK,CAAC,QAAQ;wBACd,KAAK,CAAC,SAAS;wBACf,KAAK,CAAC,SAAS;wBACf,aAAa,CAAC,KAAK,CAAC;qBACrB,CACF,CAAC;gBACJ,CAAC,EACD;oBACE,UAAU,GAAG,KAAK,CAAC,EAAE;oBACrB,GAAG,CAAC,KAAK,CAAC,gBAAgB;wBACxB,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,gBAAgB,CAAC;wBACtC,CAAC,CAAC,EAAE,CAAC;iBACR,CACF,CAAC;YACJ,CAAC;SACF;QACD,UAAU,EAAE;YACV,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CACX,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,cAAc,CAAC,qBAAqB,EAC9D,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAChB,CACF;YACH,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACvC,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;gBACzB,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;oBACf,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;wBACjD,IAAI,CACF,sBAAsB,EACtB,sCAAsC,CACvC,CAAC;oBACJ,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,EACzB,GAAG,GAAG,MAAM,GAAG,CACb,MAAM,EACN,oBAAoB,KAAK,CAAC,cAAc,CAAC,qBAAqB,EAC9D,CAAC,GAAG,CAAC,CACN,CAAC;oBACJ,IACE,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,CAAC,KAAK,QAAQ;wBACjC,KAAK,CAAC,QAAQ,KAAK,QAAQ,GAAG,CAAC;wBAE/B,IAAI,CAAC,gBAAgB,EAAE,8BAA8B,CAAC,CAAC;oBACzD,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,cAAc,CAAC,+HAA+H,EACnK,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAC5C,CAAC;gBACJ,CAAC,EACD,CAAC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAC7B,CAAC;YACJ,CAAC;SACF;QACD,OAAO,EAAE;YACP,GAAG,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CACnB,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACrC,OAAO,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,OAAO,EAAE,cAAc,CAAC;oBACzD,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,IAAI,CAAC;YACX,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CACd,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,MAAM,GAAc,EAAE,CAAC;gBAC7B,OAAO,IAAI,CACT,MAAM,EACN,KAAK,CAAC,SAAS,CAAC,EAChB,oBAAoB,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,EACvD,MAAM,EACN,KAAK,EACL,aAAa,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAChC,YAAY,CACb,CAAC;YACJ,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,KAAK,GAAG,EAAE,EAAE,EAAE,CACnB,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,MAAM,GAAc,EAAE,EAC1B,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBAC3C,OAAO,CACL,MAAM,MAAM,CAAC,KAAK,CAChB,oBAAoB,KAAK,CAAC,SAAS,CAAC,4BAA4B,KAAK,qCAAqC,EAC1G,MAAM,CACP,CACF,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAe,CAAC,CAAC;YACzD,CAAC,CAAC;YACJ,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,EAAE,CACxB,EAAE,CAAC,WAAW,CACZ,KAAK,EAAE,MAAM,EAAE,EAAE;gBACf,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;oBACjD,IAAI,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;gBACxD,IAAI,CAAC,IAAI,CAAC,OAAO;oBACf,IAAI,CAAC,kBAAkB,EAAE,uCAAuC,CAAC,CAAC;gBACpE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAC/B,iBAAiB,KAAK,CAAC,QAAQ,CAAC,sDAAsD,EACtF,CAAC,EAAE,CAAC,CACL,CAAC;gBACF,IAAI,IAAI,CAAC,cAAc,IAAI,MAAM,CAAC,QAAQ;oBACxC,IAAI,CAAC,YAAY,EAAE,0CAA0C,CAAC,CAAC;gBACjE,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,KAAK,CACnC,iBAAiB,KAAK,CAAC,SAAS,CAAC,uFAAuF,KAAK,CAAC,aAAa,CAAC,8BAA8B,EAC1K,CAAC,EAAE,CAAC,CACL,CAAC;gBACF,IAAI,UAAU,CAAC,QAAQ;oBACrB,IAAI,CAAC,kBAAkB,EAAE,sCAAsC,CAAC,CAAC;gBACnE,KAAK,MAAM,IAAI,IAAI;oBACjB,GAAG,YAAY;oBACf,UAAU;oBACV,aAAa;oBACb,SAAS;oBACT,SAAS;iBACV;oBACC,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAC/C,CAAC,EAAE,CAAC,CACL,CAAC;gBACJ,MAAM,MAAM,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE;oBAChE,EAAE;iBACH,CAAC,CAAC;gBACH,8EAA8E;YAChF,CAAC,EACD,CAAC,SAAS,GAAG,EAAE,CAAC,CACjB;SACJ;QACD,WAAW,EAAE;YACX,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CACV,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBACxC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC7C,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CACjB,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,oBAAoB,KAAK,CAAC,aAAa,CAAC,uCAAuC,EAC/E,CAAC,QAAQ,CAAC,CACX,CAAC;gBACF,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAC1B,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,IAAI,CACF,MAAM,EACN,KAAK,CAAC,aAAa,CAAC,EACpB,cAAc,EACd,CAAC,QAAQ,CAAC,EACV,OAAO,EACP,cAAc,GAAG,QAAQ,EACzB,YAAY,EACZ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACR,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,QAAQ;gBACR,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,SAAS,EAAE,GAAG,CAAC,UAAU;gBACzB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,YAAY,EAAE,GAAG,CAAC,aAAa;aAChC,CAAC,EACF,qDAAqD,CACtD,CACF;YACH,OAAO,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,GAAG,EAAE,EAAE,EAAE,CACzC,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAC1C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;oBACjE,IAAI,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;gBACxD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,EACjE,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACjC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,yCAAyC,KAAK,CAAC,aAAa,CAAC,+BAA+B,EAC5F;oBACE,QAAQ;oBACR,MAAM,EAAE,YAAY;wBAClB,OAAO,CAAC,cAAc;wBACtB,IAAI,CAAC,mBAAmB;iBAC3B,CACF,CAAC;gBACF,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,EAAE;oBAAE,IAAI,CAAC,oBAAoB,EAAE,2BAA2B,CAAC,CAAC;gBACjE,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,aAAa,CAAC;gBAC5C,IAAI,GAAG,GAAG,EAAE,CAAC,aAAa;oBACxB,IAAI,CAAC,eAAe,EAAE,0BAA0B,CAAC,CAAC;gBACpD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,oBAAoB,KAAK,CAAC,UAAU,CAAC,mJAAmJ,EACxL,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAC3C,CAAC;gBACF,OAAO;oBACL,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAgB,CAC5C;oBACD,YAAY,EAAE,EAAE,CAAC,EAAE;oBACnB,QAAQ,EAAE,EAAE,CAAC,QAAQ;oBACrB,UAAU,EAAE,KAAK;wBACf,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;wBAClE,CAAC,CAAC,IAAI;iBACT,CAAC;YACJ,CAAC,CAAC;SACL;QACD,UAAU,EAAE;YACV,WAAW,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CACrC,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,CACvD;YACH,GAAG,EAAE,CACH,IAAO,EACP,EAAU,EACV,KAAsD,EACtD,EAAE,CACF,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,SAAS,CAAC,IAAI,CAAC,CAAC;gBAChB,MAAM,EAAE,GAAG,KAAK,EAAE,cAAc;oBAC9B,CAAC,CAAC,MAAM,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC;oBAChD,CAAC,CAAC,IAAI,CAAC;gBACT,MAAM,QAAQ,GAAG,KAAK,EAAE,QAAQ,IAAI,EAAE,EAAE,QAAQ,CAAC;gBACjD,IAAI,QAAQ;oBACV,OAAO,CACL,CACE,MAAM,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,CAAC,CAC7D,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,IAAI,CAC7C,CAAC;gBACJ,IAAI,KAAK,EAAE,cAAc;oBAAE,OAAO,IAAI,CAAC;gBACvC,OAAO,GAAG,CACR,MAAM,EACN,sBAAsB,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,SAAS,CAAC,iHAAiH,EAC7K,CAAC,EAAE,CAAC,CACL,CAAC;YACJ,CAAC,CAAC;YACJ,IAAI,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAC9B,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC9B,SAAS,CAAC,IAAI,CAAC,CAAC;gBAChB,MAAM,EAAE,GAAG,MAAM,UAAU,CACzB,MAAM,EACN,KAAK,CAAC,cAAc;oBAClB,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,mBAAmB;oBACnD,EAAE,CACL,CAAC;gBACF,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,KAAK,QAAQ;oBACjC,IAAI,CAAC,oBAAoB,EAAE,2BAA2B,CAAC,CAAC;gBAC1D,MAAM,MAAM,GAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;gBAClD,IAAI,KAAK,GACP,gFAAgF,CAAC;gBACnF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI;oBAC5B,CAAC,UAAU,EAAE,WAAW,CAAC;oBACzB,CAAC,QAAQ,EAAE,SAAS,CAAC;oBACrB,CAAC,QAAQ,EAAE,QAAQ,CAAC;iBACZ;oBACR,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;wBAC/B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;wBAC1B,KAAK,IAAI,QAAQ,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC9C,CAAC;gBACH,OAAO,IAAI,CACT,MAAM,EACN,KAAK,CAAC,IAAI,CAAC,EACX,KAAK,EACL,MAAM,EACN,KAAK,EACL,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,EACpC,WAAW,CACZ,CAAC;YACJ,CAAC,CAAC;SACL;QACD,SAAS,EAAE,eAAe,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE;YACP,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;gBACrB,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;gBACzB,aAAa,CAAC,KAAK,CAAC,CAAC;gBACrB,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBACnD,MAAM,EAAE,CAAC,WAAW,CAClB,KAAK,EAAE,MAAM,EAAE,EAAE;oBACf,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,KAAK,CAC9B,2BAA2B,KAAK,CAAC,SAAS,CAAC,kDAAkD,KAAK,CAAC,SAAS,CAAC,cAAc,EAC3H,CAAC,KAAK,CAAC,QAAQ,CAAC,CACjB,CAAC;oBACF,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;wBAClB,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,KAAK,WAAW;4BAC3C,IAAI,CAAC,gBAAgB,EAAE,2BAA2B,CAAC,CAAC;wBACtD,OAAO;oBACT,CAAC;oBACD,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,SAAS,CAAC,qDAAqD,EACpF;wBACE,KAAK,CAAC,QAAQ;wBACd,KAAK,CAAC,QAAQ;wBACd,aAAa,CAAC,KAAK,CAAC;wBACpB,WAAW;qBACZ,CACF,CAAC;gBACJ,CAAC,EACD,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAC7B,CAAC;YACJ,CAAC;YACD,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CACnB,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,SAAS,CAAC,cAAc,EAClD,CAAC,EAAE,CAAC,CACL,CACF;YACH,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBACzB,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;gBAC7B,yFAAyF;gBACzF,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7C,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,SAAS,CAAC,cAAc,EAClD,CAAC,OAAO,CAAC,QAAQ,CAAC,CACnB,CACF,CAAC;gBACF,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;oBACf,MAAM,KAAK,GAAG,MAAM,GAAG,CACrB,MAAM,EACN,oBAAoB,KAAK,CAAC,SAAS,CAAC,cAAc,EAClD,CAAC,OAAO,CAAC,QAAQ,CAAC,CACnB,CAAC;oBACF,IAAI,KAAK,EAAE,CAAC;wBACV,IACE,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;4BACnC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,gBAAgB,GAAG,CAAC;4BAE/C,IAAI,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAC;wBACpD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;wBAC7C,IAAI,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;oBAC3D,MAAM,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;oBACjD,MAAM,KAAK,GAAG,MAAM,GAAG,CACrB,MAAM,EACN,oBAAoB,KAAK,CAAC,SAAS,CAAC,cAAc,EAClD,CAAC,OAAO,CAAC,QAAQ,CAAC,CACnB,CAAC;oBACF,IACE,CAAC,KAAK;wBACN,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;wBACnC,KAAK,CAAC,gBAAgB,KAAK,OAAO,CAAC,gBAAgB;wBAEnD,IAAI,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;oBACjD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBAClB,yEAAyE;wBACzE,IACE,MAAM,EAAE,OAAO,EAAE,cAAc,KAAK,KAAK,CAAC,OAAO,CAAC,cAAc;4BAEhE,IAAI,CACF,gBAAgB,EAChB,yCAAyC,CAC1C,CAAC;wBACJ,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAC7D,MAAM,GAAG,MAAM,UAAU,CACvB,MAAM,EACN,KAAK,CAAC,OAAO,CAAC,kBAAkB,CACjC,CAAC;wBACJ,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,EAAE,QAAQ,KAAK,MAAM,CAAC,EAAE;4BAC7D,IAAI,CAAC,gBAAgB,EAAE,oCAAoC,CAAC,CAAC;oBACjE,CAAC;oBACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAC5C,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC;oBACxB,IACE,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,gBAAgB;wBAC/C,GAAG,EAAE,OAAO;wBACZ,EAAE,CAAC,kBAAkB,KAAK,CAAC,GAAG,EAAE,mBAAmB,IAAI,IAAI,CAAC;wBAE5D,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;oBACzC,MAAM,UAAU,GAAG,KAAK,EACtB,IAAO,EACP,EAAU,EACsB,EAAE;wBAClC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE,CACrD,CAAC;wBACF,OAAO,KAAK;4BACV,CAAC,CAAE,KAAK,CAAC,IAAuB;4BAChC,CAAC,CAAC,GAAG,CACD,MAAM,EACN,oBAAoB,KAAK,CAAC,IAAI,CAAC,uDAAuD,EACtF,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAClB,CAAC;oBACR,CAAC,CAAC;oBACF,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS;wBACzB,CAAC,CAAC,MAAM,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC;wBACpD,CAAC,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,MAAM;wBACzB,IAAI,CAAC,gBAAgB,EAAE,0BAA0B,CAAC,CAAC;oBACrD,IACE,EAAE,CAAC,SAAS,EAAE,kBAAkB;wBAChC,CAAC,CAAC,MAAM,UAAU,CAAC,YAAY,EAAE,EAAE,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;wBAElE,IAAI,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,CAAC;oBACxD,MAAM,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;oBACtC,KAAK,MAAM,IAAI,IAAI,YAAY;wBAC7B,MAAM,aAAa,CACjB,EAAE,EACF,MAAM,EACN,IAAI,EACJ,EAAE,CAAC,QAAQ,EACX,EAAE,CAAC,QAAQ,EACX,KAAK,CAAC,OAAO;6BACV,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;6BACtC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CACxD,CAAC;oBACJ,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;oBACjD,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,SAAS,CAAC,2JAA2J,EAC1L,CAAC,IAAI,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,CAC7D,CAAC;oBACF,IAAI,IAAI,CAAC,OAAO;wBACd,MAAM,MAAM,CAAC,KAAK,CAChB,UAAU,KAAK,CAAC,UAAU,CAAC,gMAAgM,EAC3N,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CACxB,CAAC;oBACJ,kFAAkF;oBAClF,MAAM,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;oBACjD,MAAM,OAAO,GAAkB;wBAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;wBACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;wBACxB,QAAQ,EAAE,EAAE,CAAC,QAAQ;wBACrB,YAAY,EAAE,EAAE,CAAC,EAAE;qBACpB,CAAC;oBACF,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,SAAS,CAAC,kFAAkF,KAAK,CAAC,SAAS,CAAC,cAAc,EAC/I,CAAC,KAAK,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CACzC,CAAC;oBACF,MAAM,MAAM,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE;wBAChE,KAAK,CAAC,QAAQ;qBACf,CAAC,CAAC;oBACH,OAAO,OAAO,CAAC;gBACjB,CAAC,EACD;oBACE,SAAS,GAAG,OAAO,CAAC,QAAQ;oBAC5B,SAAS,GAAG,OAAO,CAAC,QAAQ;oBAC5B,GAAG,CAAC,MAAM,EAAE,OAAO;wBACjB,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;wBAC7C,CAAC,CAAC,EAAE,CAAC;iBACR,CACF,CAAC;YACJ,CAAC;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/database.d.ts

@@ -0,0 +1,13 @@
+import { type PoolClient, type PoolConfig } from "pg";
+export interface PostgresqlStorageOptions {
+    connectionString: string;
+    schema?: string;
+    driverOptions?: Omit<PoolConfig, "connectionString">;
+}
+export type Database = ReturnType<typeof openDatabase>;
+export declare function openDatabase(options: PostgresqlStorageOptions): {
+    schema: string;
+    table: (name: string) => string;
+    transaction: <T>(action: (client: PoolClient) => Promise<T>, keys?: readonly string[]) => Promise<T>;
+    close: () => Promise<void>;
+};

package/dist/database.js

@@ -0,0 +1,42 @@
+import { Pool } from "pg";
+import { fail } from "@tessar/core";
+export function openDatabase(options) {
+    const schema = options.schema ?? "tessar";
+    if (!/^[a-zA-Z_][a-zA-Z0-9_]{0,62}$/.test(schema))
+        fail("InvalidConfiguration", "Invalid PostgreSQL schema name");
+    const table = (name) => `"${schema}"."${name}"`;
+    const pool = new Pool({
+        ...options.driverOptions,
+        connectionString: options.connectionString,
+    });
+    let closing;
+    const close = () => (closing ??= pool.end());
+    async function transaction(action, keys) {
+        const client = await pool.connect();
+        try {
+            await client.query(keys ? "BEGIN" : "BEGIN ISOLATION LEVEL REPEATABLE READ READ ONLY");
+            // Sorted resource locks also serialize creation, where no row exists to lock yet.
+            for (const key of [...new Set(keys ?? [])].sort())
+                await client.query("SELECT pg_advisory_xact_lock(hashtextextended($1,0))", [schema + ":" + key]);
+            const result = await action(client);
+            await client.query("COMMIT");
+            return result;
+        }
+        catch (error) {
+            try {
+                await client.query("ROLLBACK");
+            }
+            catch {
+                /* Preserve the original driver error. */
+            }
+            if (error.code === "23505")
+                fail("CommitConflict", "Storage key already exists");
+            throw error;
+        }
+        finally {
+            client.release();
+        }
+    }
+    return { schema, table, transaction, close };
+}
+//# sourceMappingURL=database.js.map

package/dist/database.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"database.js","sourceRoot":"","sources":["../src/database.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoC,MAAM,IAAI,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AASpC,MAAM,UAAU,YAAY,CAAC,OAAiC;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC;IAC1C,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,MAAM,CAAC;QAC/C,IAAI,CAAC,sBAAsB,EAAE,gCAAgC,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,GAAG,CAAC;IACxD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC;QACpB,GAAG,OAAO,CAAC,aAAa;QACxB,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC,CAAC;IACH,IAAI,OAAkC,CAAC;IACvC,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7C,KAAK,UAAU,WAAW,CACxB,MAA0C,EAC1C,IAAwB;QAExB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,KAAK,CAChB,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iDAAiD,CACnE,CAAC;YACF,kFAAkF;YAClF,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC/C,MAAM,MAAM,CAAC,KAAK,CAChB,sDAAsD,EACtD,CAAC,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,CACrB,CAAC;YACJ,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;YACpC,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC;gBACH,MAAM,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,yCAAyC;YAC3C,CAAC;YACD,IAAK,KAA2B,CAAC,IAAI,KAAK,OAAO;gBAC/C,IAAI,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;YACvD,MAAM,KAAK,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+export { createPostgresqlBackend, type PostgresqlStorageOptions, } from "./backend.js";
+import type { Plugin, PluginContext } from "@tessar/core";
+import { type PostgresqlStorageOptions } from "./backend.js";
+export declare class PostgresqlStoragePlugin implements Plugin {
+    private readonly options;
+    readonly id = "storage.postgresql";
+    constructor(options: PostgresqlStorageOptions);
+    setup(tessar: PluginContext): Promise<void>;
+}

package/dist/index.js

@@ -0,0 +1,20 @@
+export { createPostgresqlBackend, } from "./backend.js";
+import { createPostgresqlBackend, } from "./backend.js";
+export class PostgresqlStoragePlugin {
+    options;
+    id = "storage.postgresql";
+    constructor(options) {
+        this.options = options;
+    }
+    async setup(tessar) {
+        const backend = await createPostgresqlBackend(this.options);
+        try {
+            tessar.storage.register(backend);
+        }
+        catch (error) {
+            await backend.close().catch(() => { });
+            throw error;
+        }
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,GAExB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,uBAAuB,GAExB,MAAM,cAAc,CAAC;AAEtB,MAAM,OAAO,uBAAuB;IAEL,OAAO;IAD3B,EAAE,GAAG,oBAAoB,CAAC;IACnC,YAA6B,OAAiC;uBAAjC,OAAO;IAA6B,CAAC;IAClE,KAAK,CAAC,KAAK,CAAC,MAAqB;QAC/B,MAAM,OAAO,GAAG,MAAM,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,CAAC;YACH,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;YACtC,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;CACF"}

package/dist/ownership.d.ts

@@ -0,0 +1,5 @@
+import type { PoolClient } from "pg";
+import { type Lease, type OwnershipPort } from "@tessar/core";
+import type { Database } from "./database.js";
+export declare function assertOwnership(db: Database, client: PoolClient, lease: Lease): Promise<void>;
+export declare function createOwnership(db: Database): OwnershipPort;

package/dist/ownership.js

@@ -0,0 +1,48 @@
+import { fail, immutable } from "@tessar/core";
+export async function assertOwnership(db, client, lease) {
+    const result = await client.query(`SELECT 1 FROM ${db.table("leases")} WHERE thread_id=$1 AND owner_token=$2 AND fencing_token=$3 AND expires_at>clock_timestamp()`, [lease.threadId, lease.ownerToken, lease.fencingToken]);
+    if (!result.rowCount)
+        fail("OwnershipLost", "Lease no longer owns thread");
+}
+export function createOwnership(db) {
+    const table = db.table;
+    const toLease = (row) => ({
+        threadId: row.thread_id,
+        ownerToken: row.owner_token,
+        fencingToken: Number(row.fencing_token),
+        expiresAt: row.expires_at.toISOString(),
+    });
+    const validTtl = (ttl) => {
+        if (!Number.isFinite(ttl) || ttl <= 0)
+            fail("InvalidConfiguration", "Invalid lease duration");
+    };
+    return {
+        acquire: async (request) => {
+            request = immutable(request);
+            return db.transaction(async (client) => {
+                validTtl(request.ttlMs);
+                const { rows } = await client.query(`INSERT INTO ${table("leases")}(thread_id,owner_token,fencing_token,expires_at) VALUES($1,$2,1,clock_timestamp()+$3::double precision*interval '1 millisecond') ON CONFLICT(thread_id) DO UPDATE SET owner_token=excluded.owner_token,fencing_token=${table("leases")}.fencing_token+1,expires_at=clock_timestamp()+$3::double precision*interval '1 millisecond' WHERE ${table("leases")}.expires_at<=clock_timestamp() RETURNING *`, [request.threadId, request.ownerToken, request.ttlMs]);
+                if (!rows[0])
+                    fail("OwnerActive", "Thread has active owner");
+                return toLease(rows[0]);
+            }, ["thread:" + request.threadId]);
+        },
+        renew: async (lease, ttlMs) => {
+            lease = immutable(lease);
+            return db.transaction(async (client) => {
+                validTtl(ttlMs);
+                const { rows } = await client.query(`UPDATE ${table("leases")} SET expires_at=clock_timestamp()+$4::double precision*interval '1 millisecond' WHERE thread_id=$1 AND owner_token=$2 AND fencing_token=$3 AND expires_at>clock_timestamp() RETURNING *`, [lease.threadId, lease.ownerToken, lease.fencingToken, ttlMs]);
+                if (!rows[0])
+                    fail("OwnershipLost", "Lease no longer owns thread");
+                return toLease(rows[0]);
+            }, ["thread:" + lease.threadId]);
+        },
+        release: async (lease) => {
+            lease = immutable(lease);
+            return db.transaction(async (client) => {
+                await client.query(`UPDATE ${table("leases")} SET expires_at='epoch' WHERE thread_id=$1 AND owner_token=$2 AND fencing_token=$3`, [lease.threadId, lease.ownerToken, lease.fencingToken]);
+            }, ["thread:" + lease.threadId]);
+        },
+    };
+}
+//# sourceMappingURL=ownership.js.map

package/dist/ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../src/ownership.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,SAAS,EAAkC,MAAM,cAAc,CAAC;AAG/E,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,EAAY,EACZ,MAAkB,EAClB,KAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,KAAK,CAC/B,iBAAiB,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,8FAA8F,EACjI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,CACvD,CAAC;IACF,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,IAAI,CAAC,eAAe,EAAE,6BAA6B,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAY;IAC1C,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACvB,MAAM,OAAO,GAAG,CAAC,GAAQ,EAAS,EAAE,CAAC,CAAC;QACpC,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE;KACxC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE;QAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;YACnC,IAAI,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;IAC3D,CAAC,CAAC;IACF,OAAO;QACL,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YACzB,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7B,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;gBACf,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACxB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,eAAe,KAAK,CAAC,QAAQ,CAAC,wNAAwN,KAAK,CAAC,QAAQ,CAAC,qGAAqG,KAAK,CAAC,QAAQ,CAAC,4CAA4C,EACra,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CACtD,CAAC;gBACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,aAAa,EAAE,yBAAyB,CAAC,CAAC;gBAC7D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC,EACD,CAAC,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,CAC/B,CAAC;QACJ,CAAC;QACD,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YAC5B,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YACzB,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;gBACf,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,UAAU,KAAK,CAAC,QAAQ,CAAC,yLAAyL,EAClN,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAC9D,CAAC;gBACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,eAAe,EAAE,6BAA6B,CAAC,CAAC;gBACnE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC,EACD,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAC7B,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YACzB,OAAO,EAAE,CAAC,WAAW,CACnB,KAAK,EAAE,MAAM,EAAE,EAAE;gBACf,MAAM,MAAM,CAAC,KAAK,CAChB,UAAU,KAAK,CAAC,QAAQ,CAAC,oFAAoF,EAC7G,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,CAAC,CACvD,CAAC;YACJ,CAAC,EACD,CAAC,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,CAC7B,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/queries.d.ts

@@ -0,0 +1,4 @@
+import type { PoolClient } from "pg";
+import { type Scope, type PageOptions, type Page } from "@tessar/core";
+export declare function scopeFilter(scope: Scope | undefined, values: unknown[]): string;
+export declare function page<T>(client: PoolClient, table: string, where: string, values: unknown[], options: PageOptions, binding: string, date: string, map?: (row: any) => T, columns?: string): Promise<Page<T>>;

package/dist/queries.js

@@ -0,0 +1,23 @@
+import { canonicalJson, immutable, normalizeScope, pageAfter, limitOf, encodeCursor, } from "@tessar/core";
+export function scopeFilter(scope = {}, values) {
+    normalizeScope(scope);
+    values.push(canonicalJson(scope));
+    return `body->'scope' @> $${values.length}::jsonb`;
+}
+export async function page(client, table, where, values, options, binding, date, map = (row) => immutable(row.body), columns = "*") {
+    const after = pageAfter(options, binding), limit = limitOf(options.limit);
+    if (after) {
+        values.push(after[0], after[1]);
+        where += ` AND (${date},id COLLATE "C")>($${values.length - 1},$${values.length})`;
+    }
+    values.push(limit + 1);
+    const { rows } = await client.query(`SELECT ${columns},${date} AS page_date FROM ${table} WHERE ${where} ORDER BY ${date},id COLLATE "C" LIMIT $${values.length}`, values);
+    const selected = rows.slice(0, limit), last = selected.at(-1);
+    return {
+        items: selected.map(map),
+        nextCursor: rows.length > limit
+            ? encodeCursor({ v: 2, binding, after: [last.page_date, last.id] })
+            : null,
+    };
+}
+//# sourceMappingURL=queries.js.map

package/dist/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../src/queries.ts"],"names":[],"mappings":"AACA,OAAO,EACL,aAAa,EACb,SAAS,EACT,cAAc,EACd,SAAS,EACT,OAAO,EACP,YAAY,GAIb,MAAM,cAAc,CAAC;AAEtB,MAAM,UAAU,WAAW,CAAC,KAAK,GAAU,EAAE,EAAE,MAAiB;IAC9D,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,OAAO,qBAAqB,MAAM,CAAC,MAAM,SAAS,CAAC;AACrD,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,IAAI,CACxB,MAAkB,EAClB,KAAa,EACb,KAAa,EACb,MAAiB,EACjB,OAAoB,EACpB,OAAe,EACf,IAAY,EACZ,GAAG,GAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EACnD,OAAO,GAAG,GAAG;IAEb,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,EACvC,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,SAAS,IAAI,sBAAsB,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC;IACrF,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,UAAU,OAAO,IAAI,IAAI,sBAAsB,KAAK,UAAU,KAAK,aAAa,IAAI,0BAA0B,MAAM,CAAC,MAAM,EAAE,EAC7H,MAAM,CACP,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EACnC,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO;QACL,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QACxB,UAAU,EACR,IAAI,CAAC,MAAM,GAAG,KAAK;YACjB,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAK,CAAC,SAAS,EAAE,IAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACrE,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,3 @@
+import type { Database } from "./database.js";
+export declare const recordTables: readonly ["streams", "turns", "model_attempts", "tool_executions", "interrupts"];
+export declare function initializeSchema(db: Database): Promise<void>;

package/dist/schema.js

@@ -0,0 +1,52 @@
+import { fail } from "@tessar/core";
+export const recordTables = [
+    "streams",
+    "turns",
+    "model_attempts",
+    "tool_executions",
+    "interrupts",
+];
+export async function initializeSchema(db) {
+    const { table, schema } = db;
+    await db.transaction(async (client) => {
+        // Reject future versions before touching application tables or indexes.
+        const metadata = await client.query("SELECT to_regclass($1) AS relation", [table("schema_metadata")]);
+        if (metadata.rows[0].relation) {
+            const { rows } = await client.query(`SELECT id,version FROM ${table("schema_metadata")}`);
+            if (rows.length !== 1 ||
+                rows[0].id !== "postgresql" ||
+                rows[0].version !== 1)
+                fail("InvalidConfiguration", "Unsupported PostgreSQL schema version");
+        }
+        await client.query(`CREATE SCHEMA IF NOT EXISTS "${schema}"`);
+        await client.query(`
+    CREATE TABLE IF NOT EXISTS ${table("threads")}(id TEXT PRIMARY KEY,body JSONB NOT NULL,created_at TEXT COLLATE "C" NOT NULL,deleted BOOLEAN NOT NULL);
+    CREATE TABLE IF NOT EXISTS ${table("checkpoints")}(id TEXT COLLATE "C" PRIMARY KEY,thread_id TEXT NOT NULL REFERENCES ${table("threads")}(id) DEFERRABLE INITIALLY DEFERRED,revision INTEGER NOT NULL,created_at TEXT COLLATE "C" NOT NULL,cause TEXT NOT NULL,message_count INTEGER NOT NULL,forkable BOOLEAN NOT NULL,unsafe_reason TEXT,body JSONB NOT NULL,UNIQUE(thread_id,revision));
+    CREATE INDEX IF NOT EXISTS checkpoints_page ON ${table("checkpoints")}(thread_id,created_at,id);
+    CREATE INDEX IF NOT EXISTS threads_page ON ${table("threads")}(deleted,created_at,id COLLATE "C");
+    CREATE INDEX IF NOT EXISTS threads_parent ON ${table("threads")}((body->>'parentThreadId'));
+    CREATE INDEX IF NOT EXISTS threads_source ON ${table("threads")}((body->>'sourceCheckpointId'));
+    CREATE TABLE IF NOT EXISTS ${table("staging")}(id TEXT PRIMARY KEY,thread_id TEXT NOT NULL,body JSONB NOT NULL,fingerprint TEXT NOT NULL);
+    CREATE INDEX IF NOT EXISTS staging_thread ON ${table("staging")}(thread_id);
+    CREATE TABLE IF NOT EXISTS ${table("commits")}(id TEXT PRIMARY KEY,thread_id TEXT NOT NULL REFERENCES ${table("threads")}(id),body JSONB NOT NULL,fingerprint TEXT NOT NULL);
+    CREATE INDEX IF NOT EXISTS commits_thread ON ${table("commits")}(thread_id);
+    CREATE TABLE IF NOT EXISTS ${table("leases")}(thread_id TEXT PRIMARY KEY,owner_token TEXT NOT NULL,fencing_token BIGINT NOT NULL,expires_at TIMESTAMPTZ NOT NULL);
+    CREATE TABLE IF NOT EXISTS ${table("owned_states")}(owner_key TEXT PRIMARY KEY,revision INTEGER NOT NULL,body JSONB NOT NULL);
+    CREATE TABLE IF NOT EXISTS ${table("sessions")}(id TEXT PRIMARY KEY,agent_id TEXT NOT NULL,selected_thread_id TEXT REFERENCES ${table("threads")}(id),revision INTEGER NOT NULL,created_at TEXT COLLATE "C" NOT NULL,updated_at TEXT NOT NULL,body JSONB NOT NULL);
+    CREATE INDEX IF NOT EXISTS sessions_page ON ${table("sessions")}(agent_id,created_at,id COLLATE "C");
+    CREATE INDEX IF NOT EXISTS sessions_thread ON ${table("sessions")}(selected_thread_id);
+  `);
+        for (const name of ["messages", ...recordTables])
+            await client.query(`
+    CREATE TABLE IF NOT EXISTS ${table(name)}(thread_id TEXT NOT NULL REFERENCES ${table("threads")}(id) DEFERRABLE INITIALLY DEFERRED,id TEXT COLLATE "C" NOT NULL,from_revision INTEGER NOT NULL,to_revision INTEGER,position INTEGER,stream_id TEXT,turn_id TEXT,status TEXT,sort_date TEXT COLLATE "C" NOT NULL,body JSONB NOT NULL,PRIMARY KEY(thread_id,id,from_revision),CHECK(to_revision IS NULL OR to_revision>from_revision));
+    CREATE UNIQUE INDEX IF NOT EXISTS ${name}_current ON ${table(name)}(thread_id,id) WHERE to_revision IS NULL;
+    CREATE INDEX IF NOT EXISTS ${name}_page ON ${table(name)}(thread_id,sort_date,id,from_revision);
+    CREATE INDEX IF NOT EXISTS ${name}_stream ON ${table(name)}(thread_id,stream_id,sort_date,id);
+    CREATE INDEX IF NOT EXISTS ${name}_turn ON ${table(name)}(thread_id,turn_id,sort_date,id);
+  `);
+        await client.query(`CREATE INDEX IF NOT EXISTS messages_history ON ${table("messages")}(thread_id,position,from_revision)`);
+        await client.query(`CREATE TABLE IF NOT EXISTS ${table("schema_metadata")}(id TEXT PRIMARY KEY CHECK(id='postgresql'),version INTEGER NOT NULL)`);
+        await client.query(`INSERT INTO ${table("schema_metadata")}(id,version) VALUES('postgresql',1) ON CONFLICT(id) DO NOTHING`);
+    }, ["initialize"]);
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEpC,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,SAAS;IACT,OAAO;IACP,gBAAgB;IAChB,iBAAiB;IACjB,YAAY;CACJ,CAAC;AAEX,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,EAAY;IACjD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC7B,MAAM,EAAE,CAAC,WAAW,CAClB,KAAK,EAAE,MAAM,EAAE,EAAE;QACf,wEAAwE;QACxE,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,oCAAoC,EACpC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAC3B,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,0BAA0B,KAAK,CAAC,iBAAiB,CAAC,EAAE,CACrD,CAAC;YACF,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;gBACjB,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY;gBAC3B,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC;gBAErB,IAAI,CAAC,sBAAsB,EAAE,uCAAuC,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,gCAAgC,MAAM,GAAG,CAAC,CAAC;QAC9D,MAAM,MAAM,CAAC,KAAK,CAAC;iCACQ,KAAK,CAAC,SAAS,CAAC;iCAChB,KAAK,CAAC,aAAa,CAAC,uEAAuE,KAAK,CAAC,SAAS,CAAC;qDACvF,KAAK,CAAC,aAAa,CAAC;iDACxB,KAAK,CAAC,SAAS,CAAC;mDACd,KAAK,CAAC,SAAS,CAAC;mDAChB,KAAK,CAAC,SAAS,CAAC;iCAClC,KAAK,CAAC,SAAS,CAAC;mDACE,KAAK,CAAC,SAAS,CAAC;iCAClC,KAAK,CAAC,SAAS,CAAC,2DAA2D,KAAK,CAAC,SAAS,CAAC;mDACzE,KAAK,CAAC,SAAS,CAAC;iCAClC,KAAK,CAAC,QAAQ,CAAC;iCACf,KAAK,CAAC,cAAc,CAAC;iCACrB,KAAK,CAAC,UAAU,CAAC,kFAAkF,KAAK,CAAC,SAAS,CAAC;kDAClG,KAAK,CAAC,UAAU,CAAC;oDACf,KAAK,CAAC,UAAU,CAAC;GAClE,CAAC,CAAC;QACC,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,GAAG,YAAY,CAAC;YAC9C,MAAM,MAAM,CAAC,KAAK,CAAC;iCACM,KAAK,CAAC,IAAI,CAAC,uCAAuC,KAAK,CAAC,SAAS,CAAC;wCAC3D,IAAI,eAAe,KAAK,CAAC,IAAI,CAAC;iCACrC,IAAI,YAAY,KAAK,CAAC,IAAI,CAAC;iCAC3B,IAAI,cAAc,KAAK,CAAC,IAAI,CAAC;iCAC7B,IAAI,YAAY,KAAK,CAAC,IAAI,CAAC;GACzD,CAAC,CAAC;QACC,MAAM,MAAM,CAAC,KAAK,CAChB,kDAAkD,KAAK,CAAC,UAAU,CAAC,oCAAoC,CACxG,CAAC;QACF,MAAM,MAAM,CAAC,KAAK,CAChB,8BAA8B,KAAK,CAAC,iBAAiB,CAAC,uEAAuE,CAC9H,CAAC;QACF,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,CAAC,iBAAiB,CAAC,gEAAgE,CACxG,CAAC;IACJ,CAAC,EACD,CAAC,YAAY,CAAC,CACf,CAAC;AACJ,CAAC"}

package/dist/versions.d.ts

@@ -0,0 +1,12 @@
+import type { PoolClient } from "pg";
+import { type Checkpoint, type RecordKind } from "@tessar/core";
+import type { Database } from "./database.js";
+export type VersionTable = RecordKind | "messages";
+export declare function writeVersions(db: Database, client: PoolClient, name: VersionTable, threadId: string, revision: number, entries: readonly {
+    id: string;
+    data: unknown;
+    position?: number;
+}[], replace?: boolean): Promise<void>;
+export declare function readVersions<T>(db: Database, client: PoolClient, name: VersionTable, threadId: string, revision: number): Promise<T[]>;
+export declare function writeCheckpoint(db: Database, client: PoolClient, cp: Checkpoint): Promise<void>;
+export declare function hydrate(db: Database, client: PoolClient, cp: Checkpoint): Promise<Checkpoint>;

package/dist/versions.js

@@ -0,0 +1,64 @@
+import { canonicalJson, immutable, checkpointSafety, } from "@tessar/core";
+export async function writeVersions(db, client, name, threadId, revision, entries, replace = false) {
+    const table = db.table(name);
+    const { rows } = await client.query(`SELECT id,body,position FROM ${table} WHERE thread_id=$1 AND to_revision IS NULL`, [threadId]);
+    const current = new Map(rows.map((row) => [row.id, row]));
+    for (const entry of entries) {
+        const old = current.get(entry.id);
+        current.delete(entry.id);
+        const body = canonicalJson(entry.data);
+        if (old &&
+            canonicalJson(old.body) === body &&
+            old.position === (entry.position ?? null))
+            continue;
+        if (old)
+            await client.query(`UPDATE ${table} SET to_revision=$1 WHERE thread_id=$2 AND id=$3 AND to_revision IS NULL`, [revision, threadId, entry.id]);
+        const value = entry.data;
+        await client.query(`INSERT INTO ${table}(thread_id,id,from_revision,position,stream_id,turn_id,status,sort_date,body) VALUES($1,$2,$3,$4,$5,$6,$7,$8,$9)`, [
+            threadId,
+            entry.id,
+            revision,
+            entry.position ?? null,
+            value.streamId ?? null,
+            value.turnId ?? null,
+            value.status ?? null,
+            value.createdAt ?? value.startedAt ?? "",
+            body,
+        ]);
+    }
+    if (replace && current.size)
+        await client.query(`UPDATE ${table} SET to_revision=$1 WHERE thread_id=$2 AND id=ANY($3::text[]) AND to_revision IS NULL`, [revision, threadId, [...current.keys()]]);
+}
+export async function readVersions(db, client, name, threadId, revision) {
+    const { rows } = await client.query(`SELECT body FROM ${db.table(name)} WHERE thread_id=$1 AND from_revision<=$2 AND (to_revision IS NULL OR $2<to_revision) ORDER BY ${name === "messages" ? "position" : 'sort_date,id COLLATE "C"'}`, [threadId, revision]);
+    return rows.map((row) => immutable(row.body));
+}
+export async function writeCheckpoint(db, client, cp) {
+    await writeVersions(db, client, "messages", cp.threadId, cp.revision, cp.state.messages.map((data, position) => ({
+        id: data.id,
+        data,
+        position,
+    })), true);
+    const { messages, ...state } = cp.state, safety = checkpointSafety(cp);
+    await client.query(`INSERT INTO ${db.table("checkpoints")}(id,thread_id,revision,created_at,cause,message_count,forkable,unsafe_reason,body) VALUES($1,$2,$3,$4,$5,$6,$7,$8,$9)`, [
+        cp.id,
+        cp.threadId,
+        cp.revision,
+        cp.createdAt,
+        cp.cause,
+        messages.length,
+        safety.forkable,
+        safety.unsafeReason,
+        canonicalJson({ ...cp, state }),
+    ]);
+}
+export async function hydrate(db, client, cp) {
+    return immutable({
+        ...cp,
+        state: {
+            ...cp.state,
+            messages: await readVersions(db, client, "messages", cp.threadId, cp.revision),
+        },
+    });
+}
+//# sourceMappingURL=versions.js.map

package/dist/versions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versions.js","sourceRoot":"","sources":["../src/versions.ts"],"names":[],"mappings":"AACA,OAAO,EACL,aAAa,EACb,SAAS,EACT,gBAAgB,GAIjB,MAAM,cAAc,CAAC;AAItB,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,EAAY,EACZ,MAAkB,EAClB,IAAkB,EAClB,QAAgB,EAChB,QAAgB,EAChB,OAAoE,EACpE,OAAO,GAAG,KAAK;IAEf,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,gCAAgC,KAAK,6CAA6C,EAClF,CAAC,QAAQ,CAAC,CACX,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IACE,GAAG;YACH,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI;YAChC,GAAG,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC;YAEzC,SAAS;QACX,IAAI,GAAG;YACL,MAAM,MAAM,CAAC,KAAK,CAChB,UAAU,KAAK,0EAA0E,EACzF,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAC/B,CAAC;QACJ,MAAM,KAAK,GAAG,KAAK,CAAC,IAA+B,CAAC;QACpD,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,KAAK,kHAAkH,EACtI;YACE,QAAQ;YACR,KAAK,CAAC,EAAE;YACR,QAAQ;YACR,KAAK,CAAC,QAAQ,IAAI,IAAI;YACtB,KAAK,CAAC,QAAQ,IAAI,IAAI;YACtB,KAAK,CAAC,MAAM,IAAI,IAAI;YACpB,KAAK,CAAC,MAAM,IAAI,IAAI;YACpB,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,IAAI,EAAE;YACxC,IAAI;SACL,CACF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI;QACzB,MAAM,MAAM,CAAC,KAAK,CAChB,UAAU,KAAK,uFAAuF,EACtG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAC1C,CAAC;AACN,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,EAAY,EACZ,MAAkB,EAClB,IAAkB,EAClB,QAAgB,EAChB,QAAgB;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACjC,oBAAoB,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,kGAAkG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,0BAA0B,EAAE,EACnM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CACrB,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAM,CAAC,CAAC;AACrD,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,EAAY,EACZ,MAAkB,EAClB,EAAc;IAEd,MAAM,aAAa,CACjB,EAAE,EACF,MAAM,EACN,UAAU,EACV,EAAE,CAAC,QAAQ,EACX,EAAE,CAAC,QAAQ,EACX,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI;QACJ,QAAQ;KACT,CAAC,CAAC,EACH,IAAI,CACL,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,EACrC,MAAM,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,MAAM,CAAC,KAAK,CAChB,eAAe,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,uHAAuH,EAC7J;QACE,EAAE,CAAC,EAAE;QACL,EAAE,CAAC,QAAQ;QACX,EAAE,CAAC,QAAQ;QACX,EAAE,CAAC,SAAS;QACZ,EAAE,CAAC,KAAK;QACR,QAAQ,CAAC,MAAM;QACf,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,YAAY;QACnB,aAAa,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC;KAChC,CACF,CAAC;AACJ,CAAC;AACD,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,EAAY,EACZ,MAAkB,EAClB,EAAc;IAEd,OAAO,SAAS,CAAC;QACf,GAAG,EAAE;QACL,KAAK,EAAE;YACL,GAAG,EAAE,CAAC,KAAK;YACX,QAAQ,EAAE,MAAM,YAAY,CAC1B,EAAE,EACF,MAAM,EACN,UAAU,EACV,EAAE,CAAC,QAAQ,EACX,EAAE,CAAC,QAAQ,CACZ;SACF;KACF,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -1,6 +1,47 @@
 {
   "name": "@tessar/postgresql",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.1",
+  "license": "Apache-2.0",
+  "description": "PostgreSQL persistence for Tessar state and checkpoints.",
+  "keywords": [
+    "tessar",
+    "ai-agent",
+    "postgresql",
+    "postgres",
+    "storage",
+    "persistence",
+    "checkpoints",
+    "typescript"
+  ],
+  "type": "module",
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=24.14.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/tessar-ai/tessar.git",
+    "directory": "packages/postgresql"
+  },
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org/"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "pg": "^8.16.3",
+    "@types/pg": "^8.15.5",
+    "@tessar/core": "0.1.1"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc --noEmit -p tsconfig.json"
+  }
 }