@aotter/mantle 0.1.5-alpha.1 → 0.2.0-alpha.1

package/dist/postgres/compile/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * `@aotter/mantle/postgres/compile`: the PostgreSQL dialect's compile side (ADR-0035 decision 3). Loaded only by the CLI, after
+ * the shared front end has parsed the source and tagged its relations. `accepts` throws the first refusal with its offset.
+ */
+/** The PostgreSQL dialect as a plan records it (ADR-0035 decision 5). `version` changes when what a PostgreSQL plan means changes. */
+export declare const name = "@aotter/mantle/postgres";
+export declare const version = "1";
+export { validateProgram as accepts } from "../validator.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/postgres/compile/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/postgres/compile/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,sIAAsI;AACtI,eAAO,MAAM,IAAI,4BAA4B,CAAC;AAC9C,eAAO,MAAM,OAAO,MAAM,CAAC;AAC3B,OAAO,EAAE,eAAe,IAAI,OAAO,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/postgres/compile/index.js

@@ -0,0 +1,9 @@
+/**
+ * `@aotter/mantle/postgres/compile`: the PostgreSQL dialect's compile side (ADR-0035 decision 3). Loaded only by the CLI, after
+ * the shared front end has parsed the source and tagged its relations. `accepts` throws the first refusal with its offset.
+ */
+/** The PostgreSQL dialect as a plan records it (ADR-0035 decision 5). `version` changes when what a PostgreSQL plan means changes. */
+export const name = "@aotter/mantle/postgres";
+export const version = "1";
+export { validateProgram as accepts } from "../validator.js";
+//# sourceMappingURL=index.js.map

package/dist/postgres/compile/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/postgres/compile/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,sIAAsI;AACtI,MAAM,CAAC,MAAM,IAAI,GAAG,yBAAyB,CAAC;AAC9C,MAAM,CAAC,MAAM,OAAO,GAAG,GAAG,CAAC;AAC3B,OAAO,EAAE,eAAe,IAAI,OAAO,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/postgres/driver.d.ts

@@ -0,0 +1,92 @@
+/**
+ * The PostgreSQL connection port. Structural types of node-postgres (`pg`), so Mantle depends on no driver: the host passes
+ * `connect`, which opens one client (`new Client(env.HYPERDRIVE.connectionString)` on Workers, where Hyperdrive pools the
+ * connections and a socket must not outlive its request). Every operation opens a client and ends it.
+ *
+ * ponytail: a client per operation, statements sent one at a time (pg does not pipeline). Upgrade to one client per request,
+ * or a pipelining driver, when a Procedure's round trips show in latency.
+ */
+import type { DatabaseDriver } from "../core/driver.js";
+export interface PgField {
+    readonly name: string;
+    readonly dataTypeID: number;
+    readonly dataTypeModifier?: number;
+}
+export interface PgResult {
+    readonly rows: Record<string, unknown>[];
+    readonly rowCount: number | null;
+    readonly fields: readonly PgField[];
+}
+export interface PgClient {
+    /** A native transport without RowDescription can execute a dialect-supplied result description. */
+    readonly temporaryResultMetadata?: boolean;
+    execute?(statement: PgStatement): Promise<PgOutcome>;
+    query(config: {
+        text: string;
+        values?: unknown[];
+        types?: {
+            getTypeParser(oid: number, format?: string): (text: string) => unknown;
+        };
+    }): Promise<PgResult>;
+    /** The positional form Kysely (Better Auth) calls. */
+    query(text: string, values?: readonly unknown[]): Promise<PgResult & {
+        command: string;
+    }>;
+    end(): Promise<void>;
+}
+/** Opens one connected client. */
+export type PgConnect = () => Promise<PgClient>;
+/** An error PostgreSQL answered with carries its SQLSTATE in `code`; anything else (a dropped socket) carries none. */
+export interface PgError extends Error {
+    code?: string;
+    constraint?: string;
+    table?: string;
+}
+export declare const sqlState: (e: unknown) => string | undefined;
+export interface PgStatement {
+    readonly text: string;
+    readonly values?: readonly unknown[];
+    readonly describeResult?: () => {
+        query: string;
+        names: string[] | undefined;
+    } | undefined;
+    /** The statement is a read: a client that had to begin read-write (to describe it) makes the transaction read-only first. */
+    readonly readOnly?: boolean;
+}
+/** One statement's rows (decoded) and the rows it wrote or returned. */
+export interface PgOutcome {
+    readonly rows: Record<string, unknown>[];
+    readonly count: number;
+}
+/** ADR-0037 decision 5: a statement that runs away (a recursive CTE, a regular expression) ends here. 0 is no limit. */
+export declare const STATEMENT_TIMEOUT_MS = 10000;
+/**
+ * Statements in one SERIALIZABLE transaction, all or nothing. SERIALIZABLE keeps what SQLite's one writer gave every guard
+ * (`WHERE NOT EXISTS`, a first sign-up becoming owner): a concurrent write that would break one fails with 40001 and the
+ * whole batch is retried. `check` runs after each statement and may throw to roll everything back.
+ */
+export declare function transaction(connect: PgConnect, statements: readonly PgStatement[], check?: (i: number, outcome: PgOutcome) => void, timeoutMs?: number): Promise<PgOutcome[]>;
+/**
+ * One read on its own client, in a read-only transaction: the settings are pinned, and Hyperdrive never answers a read
+ * inside a transaction from its cache, so a read sees the write before it.
+ * ponytail: three round trips (BEGIN, the read, COMMIT); a pipelining driver sends them as one.
+ */
+export declare function query(connect: PgConnect, s: PgStatement, timeoutMs?: number): Promise<PgOutcome>;
+/** `?1` binds (Mantle's portable SQL) as PostgreSQL's `$1`, outside quoted strings and names. */
+export declare const numbered: (sql: string) => string;
+/**
+ * The `DatabaseDriver` over PostgreSQL, for auth's portable SQL and the conformance fixtures: every batch is one transaction.
+ */
+export declare function pgDatabaseDriver(connect: PgConnect): DatabaseDriver;
+/**
+ * What Better Auth takes as a PostgreSQL pool (`database: pgPool(connect)`): Kysely's `PostgresDialect` asks it for a client per
+ * query or transaction and releases it, so each gets its own connection, as the Workers rule above asks.
+ */
+export declare function pgPool(connect: PgConnect): {
+    readonly options: Readonly<Record<string, never>>;
+    connect(): Promise<PgClient & {
+        release(): void;
+    }>;
+    end(): Promise<void>;
+};
+//# sourceMappingURL=driver.d.ts.map

package/dist/postgres/driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.d.ts","sourceRoot":"","sources":["../../src/postgres/driver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAA2B,MAAM,mBAAmB,CAAC;AAGjF,MAAM,WAAW,OAAO;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;CAAE;AACnH,MAAM,WAAW,QAAQ;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE;AAC7I,MAAM,WAAW,QAAQ;IACvB,mGAAmG;IACnG,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C,OAAO,CAAC,CAAC,SAAS,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACrD,KAAK,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;QAAC,KAAK,CAAC,EAAE;YAAE,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAA;SAAE,CAAA;KAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3J,sDAAsD;IACtD,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAAC,QAAQ,GAAG;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACtB;AACD,kCAAkC;AAClC,MAAM,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC;AAEhD,uHAAuH;AACvH,MAAM,WAAW,OAAQ,SAAQ,KAAK;IAAG,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE;AAC7F,eAAO,MAAM,QAAQ,GAAI,GAAG,OAAO,KAAG,MAAM,GAAG,SAG9C,CAAC;AAKF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;KAAE,GAAG,SAAS,CAAC;IAC3F,6HAA6H;IAC7H,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;CAC7B;AACD,wEAAwE;AACxE,MAAM,WAAW,SAAS;IAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAiB/F,wHAAwH;AACxH,eAAO,MAAM,oBAAoB,QAAS,CAAC;AAI3C;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,WAAW,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,KAAK,IAAI,EAAE,SAAS,SAAuB,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BjM;AAED;;;;GAIG;AACH,wBAAsB,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,SAAuB,GAAG,OAAO,CAAC,SAAS,CAAC,CAWpH;AAED,iGAAiG;AACjG,eAAO,MAAM,QAAQ,GAAI,KAAK,MAAM,WAAgG,CAAC;AAErI;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,SAAS,GAAG,cAAc,CAMnE;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,OAAO,EAAE,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,OAAO,IAAI,OAAO,CAAC,QAAQ,GAAG;QAAE,OAAO,IAAI,IAAI,CAAA;KAAE,CAAC,CAAC;IAAC,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CAAE,CAU1K"}

package/dist/postgres/driver.js

@@ -0,0 +1,110 @@
+import { decodeField } from "./codec.js";
+export const sqlState = (e) => {
+    const code = e?.code;
+    return typeof code === "string" && /^[0-9A-Z]{5}$/.test(code) ? code : undefined;
+};
+// every value comes back as text and is decoded by its column's type OID (`decodeField`), never by the driver's own parsers
+const RAW = { getTypeParser: () => (text) => text };
+async function run(client, s) {
+    if (client.execute)
+        return client.execute(s);
+    const r = await client.query({ text: s.text, values: [...(s.values ?? [])], types: RAW });
+    const rows = r.rows.map((row) => Object.fromEntries(r.fields.map((f) => [f.name, decodeField(f.dataTypeID, row[f.name], f.dataTypeModifier)])));
+    return { rows, count: r.rowCount ?? rows.length };
+}
+const SERIALIZATION = new Set(["40001", "40P01"]);
+/**
+ * What every wire value is decoded under, whatever the server's defaults: ISO dates, PostgreSQL interval text, shortest exact
+ * floats, UTC. `SET LOCAL` inside the transaction, because Hyperdrive pools connections per transaction.
+ */
+const PINNED = "SET LOCAL DateStyle = 'ISO, YMD'; SET LOCAL IntervalStyle = 'postgres'; SET LOCAL extra_float_digits = 1; SET LOCAL TimeZone = 'UTC'; " +
+    // pg_temp named last: a temporary table on a pooled session never stands in for a Schema table of the same name
+    "SELECT set_config('search_path', concat_ws(', ', nullif(current_setting('search_path'), ''), 'pg_temp'), true)";
+/** ADR-0037 decision 5: a statement that runs away (a recursive CTE, a regular expression) ends here. 0 is no limit. */
+export const STATEMENT_TIMEOUT_MS = 10_000;
+const pinned = (timeoutMs) => `${PINNED}; SET LOCAL statement_timeout = ${Math.max(0, Math.floor(timeoutMs))}`;
+const ATTEMPTS = 5;
+/**
+ * Statements in one SERIALIZABLE transaction, all or nothing. SERIALIZABLE keeps what SQLite's one writer gave every guard
+ * (`WHERE NOT EXISTS`, a first sign-up becoming owner): a concurrent write that would break one fails with 40001 and the
+ * whole batch is retried. `check` runs after each statement and may throw to roll everything back.
+ */
+export async function transaction(connect, statements, check, timeoutMs = STATEMENT_TIMEOUT_MS) {
+    for (let attempt = 1;; attempt++) {
+        const client = await connect();
+        let failedAt = -1;
+        let committing = false;
+        try {
+            await client.query({ text: `BEGIN ISOLATION LEVEL SERIALIZABLE; ${pinned(timeoutMs)}` });
+            const out = [];
+            for (const [i, s] of statements.entries()) {
+                failedAt = i;
+                out.push(await run(client, s));
+                failedAt = -1;
+                check?.(i, out[i]);
+            }
+            committing = true;
+            await client.query({ text: "COMMIT" });
+            return out;
+        }
+        catch (e) {
+            await client.query({ text: "ROLLBACK" }).catch(() => undefined);
+            if (SERIALIZATION.has(sqlState(e) ?? "") && attempt < ATTEMPTS)
+                continue;
+            // `committing`: only a failure during COMMIT leaves the outcome unknown; anything before it applied nothing
+            throw Object.assign(e, { statement: failedAt, committing });
+        }
+        finally {
+            await client.end().catch(() => undefined);
+        }
+    }
+}
+/**
+ * One read on its own client, in a read-only transaction: the settings are pinned, and Hyperdrive never answers a read
+ * inside a transaction from its cache, so a read sees the write before it.
+ * ponytail: three round trips (BEGIN, the read, COMMIT); a pipelining driver sends them as one.
+ */
+export async function query(connect, s, timeoutMs = STATEMENT_TIMEOUT_MS) {
+    const client = await connect();
+    try {
+        await client.query({ text: `BEGIN${client.temporaryResultMetadata ? "" : " READ ONLY"}; ${pinned(timeoutMs)}` });
+        const out = await run(client, { ...s, readOnly: true });
+        await client.query({ text: "COMMIT" });
+        return out;
+    }
+    catch (e) {
+        await client.query({ text: "ROLLBACK" }).catch(() => undefined);
+        throw e;
+    }
+    finally {
+        await client.end().catch(() => undefined);
+    }
+}
+/** `?1` binds (Mantle's portable SQL) as PostgreSQL's `$1`, outside quoted strings and names. */
+export const numbered = (sql) => sql.replace(/'(?:[^']|'')*'|"(?:[^"]|"")*"|\?(\d+)/g, (m, n) => (n ? `$${n}` : m));
+/**
+ * The `DatabaseDriver` over PostgreSQL, for auth's portable SQL and the conformance fixtures: every batch is one transaction.
+ */
+export function pgDatabaseDriver(connect) {
+    return {
+        async batch(statements) {
+            return (await transaction(connect, statements.map((s) => ({ text: numbered(s.sql), values: s.binds })))).map((o) => ({ rows: o.rows }));
+        },
+    };
+}
+/**
+ * What Better Auth takes as a PostgreSQL pool (`database: pgPool(connect)`): Kysely's `PostgresDialect` asks it for a client per
+ * query or transaction and releases it, so each gets its own connection, as the Workers rule above asks.
+ */
+export function pgPool(connect) {
+    return {
+        // Kysely 0.29 requires pool options; this shim owns no connection configuration or control client.
+        options: {},
+        async connect() {
+            const client = await connect();
+            return Object.assign(client, { release: () => void client.end().catch(() => undefined) });
+        },
+        async end() { },
+    };
+}
+//# sourceMappingURL=driver.js.map

package/dist/postgres/driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.js","sourceRoot":"","sources":["../../src/postgres/driver.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAkBzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAsB,EAAE;IACzD,MAAM,IAAI,GAAI,CAAa,EAAE,IAAI,CAAC;IAClC,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC,CAAC;AAEF,4HAA4H;AAC5H,MAAM,GAAG,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;AAY5D,KAAK,UAAU,GAAG,CAAC,MAAgB,EAAE,CAAc;IACjD,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAkB,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjK,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAClD;;;GAGG;AACH,MAAM,MAAM,GAAG,wIAAwI;IACrJ,gHAAgH;IAChH,gHAAgH,CAAC;AACnH,wHAAwH;AACxH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC;AAC3C,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,EAAE,CAAC,GAAG,MAAM,mCAAmC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;AACvH,MAAM,QAAQ,GAAG,CAAC,CAAC;AAEnB;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAkB,EAAE,UAAkC,EAAE,KAA+C,EAAE,SAAS,GAAG,oBAAoB;IACzK,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;QAC/B,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;QAClB,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,uCAAuC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;YACzF,MAAM,GAAG,GAAgB,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC1C,QAAQ,GAAG,CAAC,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/B,QAAQ,GAAG,CAAC,CAAC,CAAC;gBACd,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,CAAC;YACD,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvC,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YAChE,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,OAAO,GAAG,QAAQ;gBAAE,SAAS;YACzE,4GAA4G;YAC5G,MAAM,MAAM,CAAC,MAAM,CAAC,CAAW,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;QACxE,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,KAAK,CAAC,OAAkB,EAAE,CAAc,EAAE,SAAS,GAAG,oBAAoB;IAC9F,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QACjH,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxD,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvC,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,CAAC,CAAC;IACV,CAAC;YAAS,CAAC;QAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAAC,CAAC;AAC1D,CAAC;AAED,iGAAiG;AACjG,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,wCAAwC,EAAE,CAAC,CAAC,EAAE,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErI;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAkB;IACjD,OAAO;QACL,KAAK,CAAC,KAAK,CAAC,UAAmC;YAC7C,OAAO,CAAC,MAAM,WAAW,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1I,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,OAAkB;IACvC,OAAO;QACL,mGAAmG;QACnG,OAAO,EAAE,EAAE;QACX,KAAK,CAAC,OAAO;YACX,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,CAAC,GAAG,KAAI,CAAC;KACf,CAAC;AACJ,CAAC"}

package/dist/postgres/executor.d.ts

@@ -0,0 +1,20 @@
+import type { StorageSchema } from "../core/dialect.js";
+import type { StoreApplied, StoreExecutor, StoreRow, StoreStatement } from "../core/store.js";
+import { type PgConnect } from "./driver.js";
+export declare class PgStoreExecutor implements StoreExecutor {
+    private readonly connect;
+    private readonly schemas;
+    /** Check constraint name -> "<schema>: <expression>", the message D1 gives for the same check. */
+    private readonly checks;
+    private readonly timeoutMs?;
+    /** PostgreSQL takes 65535 binds; Core's validator reads this. */
+    readonly maxBindings = 10000;
+    constructor(connect: PgConnect, schemas: Readonly<Record<string, StorageSchema>>, 
+    /** Check constraint name -> "<schema>: <expression>", the message D1 gives for the same check. */
+    checks: ReadonlyMap<string, string>, timeoutMs?: number | undefined);
+    private prepared;
+    select(statement: StoreStatement): Promise<readonly StoreRow[]>;
+    apply(batch: readonly StoreStatement[]): Promise<readonly StoreApplied[]>;
+    private mapped;
+}
+//# sourceMappingURL=executor.d.ts.map

package/dist/postgres/executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../../src/postgres/executor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAgC,KAAK,SAAS,EAAkC,MAAM,aAAa,CAAC;AAO3G,qBAAa,eAAgB,YAAW,aAAa;IAIjD,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,kGAAkG;IAClG,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;IAP7B,iEAAiE;IACjE,QAAQ,CAAC,WAAW,SAAU;gBAEX,OAAO,EAAE,SAAS,EAClB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACjE,kGAAkG;IACjF,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACnC,SAAS,CAAC,EAAE,MAAM,YAAA;IAGrC,OAAO,CAAC,QAAQ;IAMV,MAAM,CAAC,SAAS,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,QAAQ,EAAE,CAAC;IAK/D,KAAK,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC;IAU/E,OAAO,CAAC,MAAM;CAqBf"}

package/dist/postgres/executor.js

@@ -0,0 +1,69 @@
+/** PgStoreExecutor: the PostgreSQL dialect's StoreExecutor. Prints IR (`typed`, then the deparser) and runs it over `PgConnect`. */
+import { DiagnosticError, runtimeDiagnostic } from "../spec/kernel/index.js";
+import { query, sqlState, transaction } from "./driver.js";
+import { describeResult } from "./textRows.js";
+import { print, typed } from "./print.js";
+const fail = (code, message, conflict) => new DiagnosticError(runtimeDiagnostic({ code, severity: "error", path: "store", message, ...(conflict ? { conflict } : {}) }));
+export class PgStoreExecutor {
+    connect;
+    schemas;
+    checks;
+    timeoutMs;
+    /** PostgreSQL takes 65535 binds; Core's validator reads this. */
+    maxBindings = 10_000;
+    constructor(connect, schemas, 
+    /** Check constraint name -> "<schema>: <expression>", the message D1 gives for the same check. */
+    checks, timeoutMs) {
+        this.connect = connect;
+        this.schemas = schemas;
+        this.checks = checks;
+        this.timeoutMs = timeoutMs;
+    }
+    prepared(s) {
+        if (s.binds.length > this.maxBindings)
+            throw fail("INPUT_VALIDATION_FAILED", `a statement binds ${s.binds.length} values; the limit is ${this.maxBindings}`);
+        const ast = typed(s.ir, this.schemas);
+        return { text: print(ast), values: s.binds, describeResult: () => describeResult(ast) };
+    }
+    async select(statement) {
+        const s = this.prepared(statement);
+        return (await query(this.connect, s, this.timeoutMs).catch((e) => this.mapped(e, "select"))).rows;
+    }
+    async apply(batch) {
+        const statements = batch.map((s) => this.prepared(s));
+        // a write's count is checked where it ran, inside the transaction: a mismatch rolls the whole batch back
+        const out = await transaction(this.connect, statements, (i, o) => {
+            const expect = batch[i].expect;
+            if (expect !== undefined && o.count !== expect)
+                throw fail("CONFLICT", `CONFLICT op=${i}: the write matched a different number of rows than it expected`, { opIndex: i, reason: "expect" });
+        }, this.timeoutMs).catch((e) => this.mapped(e, "apply"));
+        return out.map((o) => ({ affected: o.count, rows: o.rows }));
+    }
+    mapped(e, kind) {
+        if (e instanceof DiagnosticError)
+            throw e;
+        const state = sqlState(e);
+        const { statement: at, committing } = e;
+        const op = kind === "apply" && at !== undefined && at >= 0 ? { opIndex: at } : {};
+        switch (state) {
+            // the engine names the statement that failed, so a unique conflict always knows its op
+            case "23505": throw fail("CONFLICT", "A unique constraint of the Schema was violated.", { reason: "unique", ...op });
+            case "23514": throw fail("INPUT_VALIDATION_FAILED", `CHECK ${this.checks.get(e.constraint ?? "") ?? "a check of the Schema failed"}`);
+            case "23502": throw fail("INPUT_VALIDATION_FAILED", "A required column has no value; a scoped Schema needs a caller identity.");
+            case "42P10": throw fail("INPUT_VALIDATION_FAILED", "onConflict.columns must match a unique index of the Schema.");
+            case "40001":
+            case "40P01": throw fail("RESOURCE_UNAVAILABLE", "The database stayed too busy to apply the write; nothing was written.");
+        }
+        // the connection, the credentials, resources, an operator or the server itself: never the caller's input
+        const down = !state || /^(08|28|53|57|58|XX)/.test(state);
+        if (down && kind === "apply" && committing)
+            throw fail("OUTCOME_UNKNOWN", "The database did not answer the commit; the write may or may not have been applied.");
+        if (down)
+            throw fail("RESOURCE_UNAVAILABLE", kind === "apply" ? "The database is unavailable; nothing was written." : "The database is unavailable.");
+        // a data exception (a value that does not fit its column), or any other refusal: the write did not happen
+        if (state?.startsWith("22"))
+            throw fail("INPUT_VALIDATION_FAILED", "A value does not fit its column's type.");
+        throw fail("INPUT_VALIDATION_FAILED", `The database refused the statement (SQLSTATE ${state}).`);
+    }
+}
+//# sourceMappingURL=executor.js.map

package/dist/postgres/executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.js","sourceRoot":"","sources":["../../src/postgres/executor.ts"],"names":[],"mappings":"AAAA,oIAAoI;AACpI,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAmB,MAAM,yBAAyB,CAAC;AAG9F,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAkD,MAAM,aAAa,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,IAAI,GAAG,CAAC,IAAwB,EAAE,OAAe,EAAE,QAAiC,EAAE,EAAE,CAC5F,IAAI,eAAe,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjI,MAAM,OAAO,eAAe;IAIP;IACA;IAEA;IACA;IAPnB,iEAAiE;IACxD,WAAW,GAAG,MAAM,CAAC;IAC9B,YACmB,OAAkB,EAClB,OAAgD;IACjE,kGAAkG;IACjF,MAAmC,EACnC,SAAkB;QAJlB,YAAO,GAAP,OAAO,CAAW;QAClB,YAAO,GAAP,OAAO,CAAyC;QAEhD,WAAM,GAAN,MAAM,CAA6B;QACnC,cAAS,GAAT,SAAS,CAAS;IAClC,CAAC;IAEI,QAAQ,CAAC,CAAiB;QAChC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC,KAAK,CAAC,MAAM,yBAAyB,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC7J,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;IAC1F,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAyB;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACnC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpG,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,KAAgC;QAC1C,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,yGAAyG;QACzG,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC;YAChC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM;gBAAE,MAAM,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,iEAAiE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9L,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACzD,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,CAAC;IAEO,MAAM,CAAC,CAAU,EAAE,IAAwB;QACjD,IAAI,CAAC,YAAY,eAAe;YAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAiD,CAAC;QACxF,MAAM,EAAE,GAAG,IAAI,KAAK,OAAO,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,QAAQ,KAAK,EAAE,CAAC;YACd,uFAAuF;YACvF,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,EAAE,iDAAiD,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACrH,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,yBAAyB,EAAE,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,CAAa,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,8BAA8B,EAAE,CAAC,CAAC;YACnJ,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,yBAAyB,EAAE,0EAA0E,CAAC,CAAC;YAChI,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,yBAAyB,EAAE,6DAA6D,CAAC,CAAC;YACnH,KAAK,OAAO,CAAC;YAAC,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,CAAC,sBAAsB,EAAE,uEAAuE,CAAC,CAAC;QAC1I,CAAC;QACD,yGAAyG;QACzG,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,IAAI,IAAI,IAAI,KAAK,OAAO,IAAI,UAAU;YAAE,MAAM,IAAI,CAAC,iBAAiB,EAAE,qFAAqF,CAAC,CAAC;QACjK,IAAI,IAAI;YAAE,MAAM,IAAI,CAAC,sBAAsB,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,mDAAmD,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;QACtJ,0GAA0G;QAC1G,IAAI,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,yCAAyC,CAAC,CAAC;QAC9G,MAAM,IAAI,CAAC,yBAAyB,EAAE,gDAAgD,KAAK,IAAI,CAAC,CAAC;IACnG,CAAC;CACF"}

package/dist/postgres/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * `@aotter/mantle/postgres`: the PostgreSQL dialect's runtime side (ADR-0035). The portable subset on native PostgreSQL types,
+ * over any node-postgres-shaped client: `pg` with Cloudflare Hyperdrive on Workers, or `pg` on Bun and Node.
+ */
+export { postgresStorage, postgresDialect, type PostgresStorageOptions } from "./adapter.js";
+export { pgDatabaseDriver, pgPool, type PgClient, type PgConnect } from "./driver.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/postgres/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/postgres/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,KAAK,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC"}

package/dist/postgres/index.js

@@ -0,0 +1,7 @@
+/**
+ * `@aotter/mantle/postgres`: the PostgreSQL dialect's runtime side (ADR-0035). The portable subset on native PostgreSQL types,
+ * over any node-postgres-shaped client: `pg` with Cloudflare Hyperdrive on Workers, or `pg` on Bun and Node.
+ */
+export { postgresStorage, postgresDialect } from "./adapter.js";
+export { pgDatabaseDriver, pgPool } from "./driver.js";
+//# sourceMappingURL=index.js.map

package/dist/postgres/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/postgres/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,eAAe,EAAE,eAAe,EAA+B,MAAM,cAAc,CAAC;AAC7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAiC,MAAM,aAAa,CAAC"}

package/dist/postgres/lower.d.ts

@@ -0,0 +1,6 @@
+import { type SqlNode as N } from "../spec/domain/index.js";
+import type { PolicyLowering } from "../core/sql/policy.js";
+/** `CAST(x AS <Mantle type>)` in PostgreSQL's spelling of the type. */
+export declare function cast(x: N, type: string): N;
+export declare function pgLowering(timeZone: string): PolicyLowering;
+//# sourceMappingURL=lower.d.ts.map

package/dist/postgres/lower.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/postgres/lower.ts"],"names":[],"mappings":"AAGA,OAAO,EAAyB,KAAK,OAAO,IAAI,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAiB,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAS3E,uEAAuE;AACvE,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAI1C;AAqCD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAoF3D"}

package/dist/postgres/lower.js

@@ -0,0 +1,157 @@
+// The PostgreSQL dialect's lowering (ADR-0035 decision 3): what Core's policy rewriter hands a dialect to spell. Most of Mantle
+// SQL is PostgreSQL already, so this is short: casts and binds typed, the SQLite vocabulary of the portable subset spelled in
+// PostgreSQL, and the site time zone made explicit. AST in, AST out, no parser.
+import { SqlRefusal as Refused } from "../spec/domain/index.js";
+import { S, num } from "../core/sql/ast.js";
+import { encodeDate, encodeNumeric, encodeTimestamptz, decodeDate, decodeNumeric, decodeTimestamptz } from "../d1/codec.js";
+import { parseNumeric } from "../spec/domain/index.js";
+import { pgType } from "./codec.js";
+const fn = (f, args, extra = {}) => ({ FuncCall: { funcname: [S(f)], args, funcformat: "COERCE_EXPLICIT_CALL", ...extra } });
+const str = (s) => ({ A_Const: { sval: { sval: s } } });
+/** `CAST(x AS <Mantle type>)` in PostgreSQL's spelling of the type. */
+export function cast(x, type) {
+    const t = pgType(type);
+    const m = /^numeric\((\d+), (\d+)\)$/.exec(t);
+    return { TypeCast: { arg: x, typeName: m ? { names: [S("numeric")], typmods: [num(Number(m[1])), num(Number(m[2]))], typemod: -1 } : { names: [S(t)], typemod: -1 } } };
+}
+const coalesce = (...args) => ({ CoalesceExpr: { args } });
+const authored = (n, scope) => (n.agg_filter ? { agg_filter: scope.tx(n.agg_filter) } : {});
+const by = (node) => ({ SortBy: { node: structuredClone(node), sortby_dir: "SORTBY_DEFAULT", sortby_nulls: "SORTBY_NULLS_DEFAULT" } });
+/** `'[]'::json`: json, not jsonb, so it matches json_agg's type. */
+const json = (text) => ({ TypeCast: { arg: str(text), typeName: { names: [S("json")], typemod: -1 } } });
+const argOf = (n, scope) => {
+    const k = n.ColumnRef?.fields?.length === 2 ? n.ColumnRef.fields[1].String.sval : undefined;
+    if (k)
+        return { input: k, type: scope.inputs[k] };
+    return { const: Number(n.A_Const?.ival?.ival ?? n.A_Const?.fval?.fval) };
+};
+/** Great-circle meters between the row's point and (__lat, __lng): the haversine D1 computes, in PostgreSQL's functions. */
+const HAV = (lat1, lng1) => `(2 * 6371008.8 * asin(least(1.0, sqrt(sin(radians(__lat - ${lat1}) / 2) * sin(radians(__lat - ${lat1}) / 2) + cos(radians(${lat1})) * cos(radians(__lat)) * sin(radians(__lng - ${lng1}) / 2) * sin(radians(__lng - ${lng1}) / 2)))))`;
+/** PostgreSQL text with sub-ASTs spliced in for `__name`, printed in parentheses (the same device as D1's lowering). */
+const TOKEN = /"(?:[^"]|"")*"|'(?:[^']|'')*'|__\w+/g;
+function sql(text, subst = {}) {
+    const parts = [];
+    let last = 0;
+    for (const m of text.matchAll(TOKEN)) {
+        if (!m[0].startsWith("__"))
+            continue;
+        const node = subst[m[0]];
+        if (!node)
+            throw new Error(`lowering template names ${m[0]} but was not given it`);
+        if (m.index > last)
+            parts.push(text.slice(last, m.index));
+        parts.push("(", structuredClone(node), ")");
+        last = m.index + m[0].length;
+    }
+    if (last < text.length)
+        parts.push(text.slice(last));
+    return { Raw: { parts } };
+}
+const q = (id) => `"${id.replace(/"/g, '""')}"`;
+const lit = (s) => `'${s.replace(/'/g, "''")}'`;
+const strConst = (n) => n?.A_Const?.sval?.sval;
+export function pgLowering(timeZone) {
+    const zone = str(timeZone);
+    return {
+        input: (param, type) => cast(param, type),
+        system: (param, type) => cast(param, type),
+        func(f, n, scope) {
+            const args = n.args ?? [];
+            switch (f) {
+                // in the site time zone, as D1 computes them
+                case "date_trunc": return fn("date_trunc", [args[0], scope.tx(args[1]), zone]);
+                case "extract": return sql(`CAST(extract(${strConst(args[0])} FROM __ts AT TIME ZONE ${lit(timeZone)}) AS int8)`, { __ts: scope.tx(args[1]) });
+                // SQLite's columns (key, value, type, id), so the portable subset's json_each reads the same: see `_mantle_json_each`
+                case "json_each": return fn("_mantle_json_each", [cast(scope.tx(args[0]), "json")]);
+                // PostgreSQL leaves an aggregate's input order open; ordering by the value (an object by its key) keeps it deterministic.
+                // ponytail: D1 aggregates in scan order, so the two engines may order an array differently; neither order is promised
+                // json has no ordering of its own, so the order is jsonb's; a DISTINCT aggregate may order only by its argument
+                // an author's FILTER and ORDER BY (ADR-0037) are kept; without an ORDER BY the order is the value's, as above
+                case "json_group_array": {
+                    const x = scope.tx(args[0]);
+                    return coalesce(fn("json_agg", [x], { ...(n.agg_distinct ? { agg_order: [by(x)], agg_distinct: true } : { agg_order: n.agg_order ? scope.tx(n.agg_order) : [by(fn("to_jsonb", [x]))] }), ...authored(n, scope) }), json("[]"));
+                }
+                case "json_group_object": {
+                    const k = scope.tx(args[0]);
+                    return coalesce(fn("json_object_agg", [k, scope.tx(args[1])], { agg_order: n.agg_order ? scope.tx(n.agg_order) : [by(k)], ...authored(n, scope) }), json("{}"));
+                }
+                case "json_array_length": return fn("jsonb_array_length", [cast(scope.tx(args[0]), "json")]);
+                case "instr": return fn("strpos", [scope.tx(args[0]), scope.tx(args[1])]);
+                // PostgreSQL rounds to a scale only as numeric
+                case "round": return args.length === 2 ? fn("round", [{ TypeCast: { arg: scope.tx(args[0]), typeName: { names: [S("numeric")], typemod: -1 } } }, scope.tx(args[1])]) : undefined;
+                case "mantle.search": {
+                    const alias = args[0].ColumnRef.fields[0].String.sval;
+                    const { schema, def } = scope.alias(alias);
+                    if (!def.search?.length)
+                        throw new Refused("SQL_FUNCTION", `${schema} declares no search fields`);
+                    scope.seen("search");
+                    // ponytail: ILIKE over the declared fields, a scan; a pg_trgm GIN index is the upgrade when a search shows in latency
+                    const pattern = `'%' || replace(replace(replace(__q, '!', '!!'), '%', '!%'), '_', '!_') || '%'`;
+                    return sql(def.search.map((fld) => `${q(alias)}.${q(fld)} ILIKE ${pattern} ESCAPE '!'`).join(" OR "), { __q: scope.tx(args[1]) });
+                }
+                case "mantle.search_rank": {
+                    const alias = args[0].ColumnRef.fields[0].String.sval;
+                    const { schema, def, searchQuery } = scope.alias(alias);
+                    if (!def.search?.length)
+                        throw new Refused("SQL_FUNCTION", `${schema} declares no search fields`);
+                    if (!searchQuery)
+                        throw new Refused("SQL_FUNCTION", `mantle.search_rank(${alias}) needs a mantle.search(${alias}, ...) in the same query`);
+                    // ponytail: lower is better, as bm25 is on D1: minus the query's occurrences across the fields. A pg_trgm or tsvector rank is the upgrade
+                    const count = (fld) => `coalesce((length(lower(${q(alias)}.${q(fld)})) - length(replace(lower(${q(alias)}.${q(fld)}), lower(__q), ''))) / greatest(length(__q), 1), 0)`;
+                    return sql(`-(${def.search.map(count).join(" + ")})`, { __q: scope.tx(searchQuery) });
+                }
+                case "mantle.near":
+                case "mantle.distance": {
+                    const [ref, latN, lngN] = args;
+                    const alias = ref.ColumnRef.fields[0].String.sval, fld = ref.ColumnRef.fields[1].String.sval;
+                    const { schema, def } = scope.alias(alias);
+                    if (def.fields[fld] !== "geo")
+                        throw new Refused("SQL_FUNCTION", `${schema}.${fld} is not a geo field`);
+                    const la = `${q(alias)}.${q(`${fld}_lat`)}`, ln = `${q(alias)}.${q(`${fld}_lng`)}`;
+                    const sub = { __lat: scope.tx(latN), __lng: scope.tx(lngN) };
+                    if (f === "mantle.distance")
+                        return sql(HAV(la, ln), sub);
+                    scope.seen("near");
+                    // ponytail: the box D1 reads from its R*Tree, here a plain range over the two columns; a GiST index is the upgrade
+                    const meters = Number(args[3].A_Const.ival?.ival ?? args[3].A_Const.fval?.fval);
+                    const b = (box) => scope.param({ k: "dialect", box, lat: argOf(latN, scope), lng: argOf(lngN, scope), meters });
+                    return sql(`${la} BETWEEN __b0 AND __b1 AND ${ln} BETWEEN __b2 AND __b3 AND ${HAV(la, ln)} <= ${meters}`, { ...sub, __b0: b("minLat"), __b1: b("maxLat"), __b2: b("minLng"), __b3: b("maxLng") });
+                }
+                case "typeof":
+                case "hex":
+                case "json_extract":
+                case "json_set":
+                case "json_insert":
+                case "json_remove":
+                    throw new Refused("SQL_FUNCTION", `${f} is not supported by the PostgreSQL dialect`);
+            }
+            return undefined;
+        },
+        call: (out) => ({ FuncCall: out }),
+        cast(n, scope) {
+            const t = n.typeName.names.at(-1).String.sval;
+            const a = n.arg?.A_Const;
+            const text = a?.sval?.sval ?? a?.fval?.fval ?? (a?.ival?.ival !== undefined ? String(a.ival.ival) : undefined);
+            // a literal is checked as D1 checks it, so both dialects refuse the same text, and sent in one spelling
+            if (t === "timestamptz" && text !== undefined)
+                return cast(str(decodeTimestamptz(encodeTimestamptz(text))), "timestamptz");
+            if (t === "date" && text !== undefined)
+                return cast(str(decodeDate(encodeDate(text))), "date");
+            if (t === "numeric" && n.typeName.typmods?.length === 2) {
+                const [p, s] = n.typeName.typmods.map((m) => m.A_Const.ival.ival);
+                parseNumeric(`numeric(${p}, ${s})`);
+                if (text !== undefined)
+                    return cast(str(decodeNumeric(encodeNumeric(text, p, s), s)), `numeric(${p},${s})`);
+            }
+            // a bigint has no cast to bool in PostgreSQL; `_mantle_bool` gives PostgreSQL's int4, text and numeric rules for every type
+            if (t === "bool")
+                return fn("_mantle_bool", [scope.tx(n.arg)]);
+            return { TypeCast: { ...n, arg: scope.tx(n.arg) } };
+        },
+        sublink: (out) => ({ SubLink: out }),
+        // 32 lower-case hex digits, the shape D1's ids have
+        newId: () => fn("replace", [{ TypeCast: { arg: fn("gen_random_uuid", []), typeName: { names: [S("text")], typemod: -1 } } }, str("-"), str("")]),
+        columns: () => [],
+    };
+}
+//# sourceMappingURL=lower.js.map

package/dist/postgres/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../src/postgres/lower.ts"],"names":[],"mappings":"AAAA,gIAAgI;AAChI,8HAA8H;AAC9H,gFAAgF;AAChF,OAAO,EAAE,UAAU,IAAI,OAAO,EAAqB,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAE5C,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAE5H,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAGpC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,IAAS,EAAE,QAAiC,EAAE,EAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,sBAAsB,EAAE,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC;AACtK,MAAM,GAAG,GAAG,CAAC,CAAS,EAAK,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AACnE,uEAAuE;AACvE,MAAM,UAAU,IAAI,CAAC,CAAI,EAAE,IAAY;IACrC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AAC1K,CAAC;AACD,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAS,EAAK,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AACnE,MAAM,QAAQ,GAAG,CAAC,CAAI,EAAE,KAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9G,MAAM,EAAE,GAAG,CAAC,IAAO,EAAK,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;AAC7I,oEAAoE;AACpE,MAAM,IAAI,GAAG,CAAC,IAAY,EAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAGpH,MAAM,KAAK,GAAG,CAAC,CAAI,EAAE,KAAoB,EAAO,EAAE;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC,CAAC;AACF,4HAA4H;AAC5H,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CACzC,6DAA6D,IAAI,gCAAgC,IAAI,wBAAwB,IAAI,kDAAkD,IAAI,gCAAgC,IAAI,YAAY,CAAC;AAE1O,wHAAwH;AACxH,MAAM,KAAK,GAAG,sCAAsC,CAAC;AACrD,SAAS,GAAG,CAAC,IAAY,EAAE,QAA2B,EAAE;IACtD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;QACnF,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAoB,EAAE,CAAC;AAC9C,CAAC;AACD,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACxD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACxD,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAA0B,CAAC;AAEpF,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,OAAO;QACL,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACzC,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QAC1C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,KAAoB;YAC7B,MAAM,IAAI,GAAQ,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YAC/B,QAAQ,CAAC,EAAE,CAAC;gBACV,6CAA6C;gBAC7C,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBAChF,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,gBAAgB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,2BAA2B,GAAG,CAAC,QAAQ,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC/I,sHAAsH;gBACtH,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpF,0HAA0H;gBAC1H,sHAAsH;gBACtH,gHAAgH;gBAChH,8GAA8G;gBAC9G,KAAK,kBAAkB,CAAC,CAAC,CAAC;oBAAC,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,OAAO,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAC,CAAC;gBACzR,KAAK,mBAAmB,CAAC,CAAC,CAAC;oBAAC,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAAC,OAAO,QAAQ,CAAC,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAAC,CAAC;gBAC3N,KAAK,mBAAmB,CAAC,CAAC,OAAO,EAAE,CAAC,oBAAoB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC7F,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1E,+CAA+C;gBAC/C,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClL,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;oBACvD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM;wBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,MAAM,4BAA4B,CAAC,CAAC;oBAClG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACrB,sHAAsH;oBACtH,MAAM,OAAO,GAAG,+EAA+E,CAAC;oBAChG,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,OAAO,aAAa,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpI,CAAC;gBACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;oBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;oBACvD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACxD,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM;wBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,MAAM,4BAA4B,CAAC,CAAC;oBAClG,IAAI,CAAC,WAAW;wBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,sBAAsB,KAAK,2BAA2B,KAAK,0BAA0B,CAAC,CAAC;oBAC3I,0IAA0I;oBAC1I,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,0BAA0B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,qDAAqD,CAAC;oBAChL,OAAO,GAAG,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;gBACxF,CAAC;gBACD,KAAK,aAAa,CAAC;gBAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC;oBAC3C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;oBAC/B,MAAM,KAAK,GAAG,GAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,GAAG,GAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC/F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBAC3C,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK;wBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC;oBACxG,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC;oBACnF,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7D,IAAI,CAAC,KAAK,iBAAiB;wBAAE,OAAO,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;oBAC1D,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACnB,mHAAmH;oBACnH,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAClF,MAAM,CAAC,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,IAAK,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAK,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC1H,OAAO,GAAG,CAAC,GAAG,EAAE,8BAA8B,EAAE,8BAA8B,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,MAAM,EAAE,EACtG,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC5F,CAAC;gBACD,KAAK,QAAQ,CAAC;gBAAC,KAAK,KAAK,CAAC;gBAC1B,KAAK,cAAc,CAAC;gBAAC,KAAK,UAAU,CAAC;gBAAC,KAAK,aAAa,CAAC;gBAAC,KAAK,aAAa;oBAC1E,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,6CAA6C,CAAC,CAAC;YACzF,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,EAAE,KAAK;YACX,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAc,CAAC;YACxD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC;YACzB,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC/G,wGAAwG;YACxG,IAAI,CAAC,KAAK,aAAa,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;YAC3H,IAAI,CAAC,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC/F,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAI,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrE,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACpC,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9G,CAAC;YACD,4HAA4H;YAC5H,IAAI,CAAC,KAAK,MAAM;gBAAE,OAAO,EAAE,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/D,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACtD,CAAC;QACD,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACpC,oDAAoD;QACpD,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChJ,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;KAClB,CAAC;AACJ,CAAC"}

package/dist/postgres/print.d.ts

@@ -0,0 +1,11 @@
+import type { SqlNode as N } from "../spec/domain/index.js";
+import type { StorageSchema } from "../core/dialect.js";
+export interface RawExpr {
+    readonly parts: readonly (string | N)[];
+}
+export declare function print(ast: N): string;
+/** A column's Mantle type: the native columns, then the Schema's fields (a geo field is its two float columns). */
+export declare function columnType(s: StorageSchema, col: string): string | undefined;
+/** The physical AST with PostgreSQL's types made explicit (see the module comment). */
+export declare function typed(ast: N, schemas: Readonly<Record<string, StorageSchema>>): N;
+//# sourceMappingURL=print.d.ts.map

package/dist/postgres/print.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.d.ts","sourceRoot":"","sources":["../../src/postgres/print.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,OAAO,IAAI,CAAC,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAIxD,MAAM,WAAW,OAAO;IAAG,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAA;CAAE;AAmBpE,wBAAgB,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAEpC;AAED,mHAAmH;AACnH,wBAAgB,UAAU,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAW5E;AAKD,uFAAuF;AACvF,wBAAgB,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,GAAG,CAAC,CAkDjF"}