@rindle/query-compiler 0.4.3

package/dist/pg-types.js

@@ -0,0 +1,107 @@
+// Postgres type classification — the predicates that decide which `::text::<type>` cast a
+// value gets (§6.2). Ported verbatim from mono's `zero-cache/src/types/pg-data-type.ts` (the
+// maps + `formatTypeForLookup`), plus the temporal helpers the projection reconciliation needs.
+// Keeping these faithful to z2s is what keeps the filter-side casts bug-for-bug aligned.
+// The map *values* are irrelevant to the predicates (they test key membership); kept as in
+// mono for fidelity and in case the value-type mapping is needed later.
+const pgToZqlNumericTypeMap = Object.freeze({
+    smallint: "number",
+    integer: "number",
+    int: "number",
+    int2: "number",
+    int4: "number",
+    int8: "number",
+    bigint: "number",
+    smallserial: "number",
+    serial: "number",
+    serial2: "number",
+    serial4: "number",
+    serial8: "number",
+    bigserial: "number",
+    decimal: "number",
+    numeric: "number",
+    real: "number",
+    "double precision": "number",
+    float: "number",
+    float4: "number",
+    float8: "number",
+});
+const pgToZqlNativeStringTypeMap = Object.freeze({
+    bpchar: "string",
+    character: "string",
+    "character varying": "string",
+    text: "string",
+    varchar: "string",
+});
+const pgToZqlTextRepresentedTypeMap = Object.freeze({
+    cidr: "string",
+    ean13: "string",
+    inet: "string",
+    isbn: "string",
+    isbn13: "string",
+    ismn: "string",
+    ismn13: "string",
+    issn: "string",
+    issn13: "string",
+    macaddr: "string",
+    macaddr8: "string",
+    pg_lsn: "string",
+    upc: "string",
+    uuid: "string",
+});
+const pgToZqlStringTypeMap = Object.freeze({
+    ...pgToZqlNativeStringTypeMap,
+    ...pgToZqlTextRepresentedTypeMap,
+});
+/** Strips args (the `(32)` in `char(32)`) and lowercases — mono's `formatTypeForLookup`.
+ *  Every predicate normalizes through this, so `VARCHAR(255)` / `UUID` classify correctly. */
+export function formatTypeForLookup(pgType) {
+    const startOfArgs = pgType.indexOf("(");
+    if (startOfArgs === -1)
+        return pgType.toLowerCase();
+    return pgType.toLowerCase().substring(0, startOfArgs);
+}
+export function isPgNumberType(pgType) {
+    return Object.hasOwn(pgToZqlNumericTypeMap, formatTypeForLookup(pgType));
+}
+export function isPgNativeStringType(pgType) {
+    return Object.hasOwn(pgToZqlNativeStringTypeMap, formatTypeForLookup(pgType));
+}
+export function isPgTextRepresentedType(pgType) {
+    return Object.hasOwn(pgToZqlTextRepresentedTypeMap, formatTypeForLookup(pgType));
+}
+export function isPgStringType(pgType) {
+    return Object.hasOwn(pgToZqlStringTypeMap, formatTypeForLookup(pgType));
+}
+// ── temporal helpers (projection reconciliation, §6.2) ──────────────────────────────────────
+const TEMPORAL_TYPES = new Set([
+    "date",
+    "time",
+    "time without time zone",
+    "time with time zone",
+    "timetz",
+    "timestamp",
+    "timestamp without time zone",
+    "timestamp with time zone",
+    "timestamptz",
+]);
+/** A temporal type projected as epoch-ms (outbound) and reconciled via `to_timestamp`/interval
+ *  (inbound). Everything else projects raw. */
+export function isTemporalType(pgType) {
+    return TEMPORAL_TYPES.has(formatTypeForLookup(pgType));
+}
+// Offset-bearing time-of-day types: `EXTRACT(EPOCH FROM …)` can go negative (e.g. 01:00+02 =
+// 23:00 UTC prev day = -3600s), so the outbound projection normalizes into 0..86_400_000 ms.
+const TIME_OF_DAY_TZ_TYPES = new Set(["timetz", "time with time zone"]);
+/**
+ * Whether an outbound temporal projection needs the `mod 1 day` normalization. **Deliberately
+ * narrower than z2s's `selectIdent`**, which (via a switch fall-through) also normalizes
+ * `timestamptz` — that would collapse a full timestamp to time-of-day. The design (§6.2) is
+ * explicit that `timestamptz` projects as plain epoch-ms and only the offset-bearing
+ * *time-of-day* types are modular-normalized; the §9 parity harness against the engine's value
+ * model is the check that keeps this honest.
+ */
+export function needsTimeOfDayNormalization(pgType) {
+    return TIME_OF_DAY_TZ_TYPES.has(formatTypeForLookup(pgType));
+}
+//# sourceMappingURL=pg-types.js.map

package/dist/pg-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pg-types.js","sourceRoot":"","sources":["../src/pg-types.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,6FAA6F;AAC7F,gGAAgG;AAChG,yFAAyF;AAEzF,2FAA2F;AAC3F,wEAAwE;AACxE,MAAM,qBAAqB,GAA2B,MAAM,CAAC,MAAM,CAAC;IAClE,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,QAAQ;IACjB,GAAG,EAAE,QAAQ;IACb,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,QAAQ;IAChB,WAAW,EAAE,QAAQ;IACrB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE,QAAQ;IACnB,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,QAAQ;IACd,kBAAkB,EAAE,QAAQ;IAC5B,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACjB,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAA2B,MAAM,CAAC,MAAM,CAAC;IACvE,MAAM,EAAE,QAAQ;IAChB,SAAS,EAAE,QAAQ;IACnB,mBAAmB,EAAE,QAAQ;IAC7B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,QAAQ;CAClB,CAAC,CAAC;AAEH,MAAM,6BAA6B,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC1E,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,QAAQ;IACb,IAAI,EAAE,QAAQ;CACf,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAA2B,MAAM,CAAC,MAAM,CAAC;IACjE,GAAG,0BAA0B;IAC7B,GAAG,6BAA6B;CACjC,CAAC,CAAC;AAEH;8FAC8F;AAC9F,MAAM,UAAU,mBAAmB,CAAC,MAAc;IAChD,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,WAAW,KAAK,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC;IACpD,OAAO,MAAM,CAAC,WAAW,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,0BAA0B,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,6BAA6B,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,+FAA+F;AAE/F,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,MAAM;IACN,MAAM;IACN,wBAAwB;IACxB,qBAAqB;IACrB,QAAQ;IACR,WAAW;IACX,6BAA6B;IAC7B,0BAA0B;IAC1B,aAAa;CACd,CAAC,CAAC;AAEH;+CAC+C;AAC/C,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,OAAO,cAAc,CAAC,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,6FAA6F;AAC7F,6FAA6F;AAC7F,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAExE;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CAAC,MAAc;IACxD,OAAO,oBAAoB,CAAC,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;AAC/D,CAAC"}

package/dist/postgres.d.ts

@@ -0,0 +1,7 @@
+import type { Dialect } from "./dialect.ts";
+/**
+ * The Postgres dialect — the BYO-Postgres server-mutator read target. Emits `(sql, params)`
+ * with `$N::text::<type>` parameters and never imports a driver (Invariant 7).
+ */
+export declare const postgresDialect: Dialect;
+//# sourceMappingURL=postgres.d.ts.map

package/dist/postgres.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.d.ts","sourceRoot":"","sources":["../src/postgres.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,OAAO,EAAa,MAAM,cAAc,CAAC;AAqHvD;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,OAY7B,CAAC"}

package/dist/postgres.js

@@ -0,0 +1,134 @@
+// The Postgres dialect leaf (§6.1/§6.2) — the product target. The walker is shared with the
+// SQLite oracle; this file supplies only the Postgres-specific leaves:
+//
+//  - JSON assembly via `jsonb_build_object` / `jsonb_agg` / `'[]'::jsonb` (the design's §6.1
+//    choice — the direct analogue of `rindle-d2s`'s `json_object`, NOT z2s's `row_to_json`);
+//  - explicit `ASC NULLS FIRST` / `DESC NULLS LAST` (§8 — Postgres's default is the opposite
+//    of the engine's null-low order);
+//  - the outbound projection reconciliation (temporal → epoch-ms);
+//  - the inbound filter/paging cast strategy `$N::text::<type>`, ported verbatim from z2s's
+//    `sql.ts` — the `::text` intermediate pins the driver's parameter description to text, and
+//    the `::<type>` half is value-model↔native reconciliation (§6.2). Values are parameterized.
+//
+// NOTE: `$N` numbering is per-occurrence (no de-duplication of repeated values). z2s reuses a
+// placeholder for a repeated (value,type); that is a plan-cache optimization, not correctness —
+// deferred (203 §7 posture).
+import { formatTypeForLookup, isPgNativeStringType, isPgNumberType, isPgStringType, isPgTextRepresentedType, isTemporalType, needsTimeOfDayNormalization, } from "./pg-types.js";
+function quoteIdent(name) {
+    return `"${name.replace(/"/g, '""')}"`;
+}
+/** The Postgres cast for a literal whose type is inferred from its JS value (no column). */
+function pgTypeForLiteralType(litType) {
+    // `double precision` is IEEE-754 like a JS number, so it round-trips any zql number exactly.
+    return litType === "boolean" ? "boolean" : litType === "number" ? "double precision" : "text";
+}
+/**
+ * The inbound value↔native cast for a filter/paging value against a known column type — the
+ * verbatim port of z2s's `formatCommonToSingularAndPlural` (`sql.ts:194`). `vp` is the value
+ * placeholder (`$N`, or `value` inside an array unnest). `isComparison` widens strings to bare
+ * `text` and numbers to `double precision` so neither is forced to the column's width/precision.
+ */
+function pgCast(vp, type, isEnum, isComparison) {
+    const t = formatTypeForLookup(type);
+    // Temporal: epoch-ms ↔ native. The zone-naive spellings get `AT TIME ZONE 'UTC'`.
+    if (t === "timestamptz" || t === "timestamp with time zone") {
+        return `to_timestamp(${vp}::text::numeric / 1000.0)`;
+    }
+    if (t === "date" || t === "timestamp" || t === "timestamp without time zone") {
+        return `to_timestamp(${vp}::text::numeric / 1000.0) AT TIME ZONE 'UTC'`;
+    }
+    if (t === "timetz" || t === "time with time zone") {
+        return `(${vp}::text::int * interval'1ms')::time`;
+    }
+    if (t === "time" || t === "time without time zone") {
+        return `(${vp}::text::int * interval'1ms')::time AT TIME ZONE 'UTC'`;
+    }
+    if (t === "uuid")
+        return `${vp}::text::uuid`;
+    if (isEnum)
+        return `${vp}::text::"${type}"`;
+    if (isPgNativeStringType(type))
+        return isComparison ? `${vp}::text` : `${vp}::text::${type}`;
+    if (isPgTextRepresentedType(type))
+        return `${vp}::text::${type}`;
+    if (isPgNumberType(type)) {
+        return isComparison ? `${vp}::text::double precision` : `${vp}::text::${type}`;
+    }
+    return `${vp}::text::${type}`;
+}
+/** The text-pinned serialization of a bound value — z2s's `stringify` (`sql.ts:120`). Strings
+ *  and enum/string columns bind their raw text; everything else binds its JSON text form so the
+ *  `$N::text::…` cast re-parses it authoritatively. */
+function stringifyForColumn(value, col) {
+    if (value === null)
+        return null;
+    if (col.isArray)
+        return JSON.stringify(value);
+    if (col.isEnum || isPgStringType(col.type))
+        return String(value);
+    return JSON.stringify(value);
+}
+function bindValue(params, value, col, isComparison) {
+    const idx = params.length + 1;
+    // Free literal (no column context): infer the cast from the JS type.
+    if (col === null) {
+        if (value === null) {
+            params.push(null);
+            return `$${idx}`;
+        }
+        const litType = typeof value;
+        params.push(litType === "string" ? value : JSON.stringify(value));
+        return `$${idx}::text::${pgTypeForLiteralType(litType)}`;
+    }
+    params.push(stringifyForColumn(value, col));
+    if (value === null && col.isArray)
+        return `$${idx}`;
+    if (col.isArray) {
+        // Unnest a JSON array param, casting each element (z2s's `formatPlural`, `sql.ts:260`).
+        return `ARRAY(SELECT ${pgCast("value", col.type, col.isEnum, isComparison)} FROM jsonb_array_elements_text($${idx}::text::jsonb))`;
+    }
+    return pgCast(`$${idx}`, col.type, col.isEnum, isComparison);
+}
+/**
+ * Project a stored column into the value model's representation (§6.2 outbound half). Temporal
+ * columns become **integer epoch-ms** — the value model always snaps to whole milliseconds, so
+ * `::bigint` rounds off the native µs resolution (unlike z2s, which projects the non-normalized
+ * path as an unsnapped float). Time-of-day-with-offset types additionally wrap `mod 1 day`.
+ * Enums (their label), uuid, numeric, json, and the scalar types project raw. See
+ * `needsTimeOfDayNormalization` for the deliberate divergence from z2s on `timestamptz`.
+ *
+ * The rounding mode (`::bigint` = round-half-to-even) must match pg-source's projector for exact
+ * parity — it is the one shared value-model contract (§10), not an independent choice here.
+ */
+function projectColumn(colRef, col) {
+    if (!col || col.isEnum || !isTemporalType(col.type))
+        return colRef;
+    const normalize = needsTimeOfDayNormalization(col.type);
+    const toMs = (epoch) => normalize ? `((${epoch})::bigint + 86400000) % 86400000` : `(${epoch})::bigint`;
+    if (col.isArray) {
+        return `CASE WHEN ${colRef} IS NULL THEN NULL ELSE ARRAY(SELECT ${toMs(`EXTRACT(EPOCH FROM unnest(${colRef})) * 1000`)}) END`;
+    }
+    return toMs(`EXTRACT(EPOCH FROM ${colRef}) * 1000`);
+}
+function orderDir(dir) {
+    // Engine order is null-low; Postgres's default is the opposite, so make it explicit (§8).
+    return dir === "asc" ? "ASC NULLS FIRST" : "DESC NULLS LAST";
+}
+/**
+ * The Postgres dialect — the BYO-Postgres server-mutator read target. Emits `(sql, params)`
+ * with `$N::text::<type>` parameters and never imports a driver (Invariant 7).
+ */
+export const postgresDialect = {
+    name: "postgres",
+    objectBuild: (parts) => `jsonb_build_object(${parts.join(", ")})`,
+    groupArray: (elem, orderSql) => `jsonb_agg(${elem}${orderSql})`,
+    emptyArray: "'[]'::jsonb",
+    reassertJson: (x) => x, // jsonb is a real type; no re-assert needed
+    trueLit: "TRUE",
+    falseLit: "FALSE",
+    orderDir,
+    projectColumn,
+    bindValue,
+    quoteIdent,
+};
+//# sourceMappingURL=postgres.js.map

package/dist/postgres.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.js","sourceRoot":"","sources":["../src/postgres.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,uEAAuE;AACvE,EAAE;AACF,6FAA6F;AAC7F,6FAA6F;AAC7F,6FAA6F;AAC7F,sCAAsC;AACtC,mEAAmE;AACnE,4FAA4F;AAC5F,+FAA+F;AAC/F,gGAAgG;AAChG,EAAE;AACF,8FAA8F;AAC9F,gGAAgG;AAChG,6BAA6B;AAK7B,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,cAAc,EACd,2BAA2B,GAC5B,MAAM,eAAe,CAAC;AAEvB,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACzC,CAAC;AAED,4FAA4F;AAC5F,SAAS,oBAAoB,CAAC,OAAwC;IACpE,6FAA6F;IAC7F,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC;AAChG,CAAC;AAED;;;;;GAKG;AACH,SAAS,MAAM,CAAC,EAAU,EAAE,IAAY,EAAE,MAAe,EAAE,YAAqB;IAC9E,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACpC,kFAAkF;IAClF,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,0BAA0B,EAAE,CAAC;QAC5D,OAAO,gBAAgB,EAAE,2BAA2B,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,6BAA6B,EAAE,CAAC;QAC7E,OAAO,gBAAgB,EAAE,8CAA8C,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,qBAAqB,EAAE,CAAC;QAClD,OAAO,IAAI,EAAE,oCAAoC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,wBAAwB,EAAE,CAAC;QACnD,OAAO,IAAI,EAAE,uDAAuD,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,GAAG,EAAE,cAAc,CAAC;IAC7C,IAAI,MAAM;QAAE,OAAO,GAAG,EAAE,YAAY,IAAI,GAAG,CAAC;IAC5C,IAAI,oBAAoB,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,WAAW,IAAI,EAAE,CAAC;IAC7F,IAAI,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,EAAE,WAAW,IAAI,EAAE,CAAC;IACjE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,0BAA0B,CAAC,CAAC,CAAC,GAAG,EAAE,WAAW,IAAI,EAAE,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,EAAE,WAAW,IAAI,EAAE,CAAC;AAChC,CAAC;AAED;;uDAEuD;AACvD,SAAS,kBAAkB,CAAC,KAAgB,EAAE,GAAe;IAC3D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,GAAG,CAAC,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,SAAS,CAChB,MAAiB,EACjB,KAAgB,EAChB,GAAsB,EACtB,YAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAE9B,qEAAqE;IACrE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,IAAI,GAAG,EAAE,CAAC;QACnB,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,KAAwC,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAClE,OAAO,IAAI,GAAG,WAAW,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACpD,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,wFAAwF;QACxF,OAAO,gBAAgB,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,oCAAoC,GAAG,iBAAiB,CAAC;IACrI,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,aAAa,CAAC,MAAc,EAAE,GAAsB;IAC3D,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACnE,MAAM,SAAS,GAAG,2BAA2B,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,CAAC,KAAa,EAAU,EAAE,CACrC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,kCAAkC,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;IAClF,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,OAAO,aAAa,MAAM,wCAAwC,IAAI,CAAC,6BAA6B,MAAM,WAAW,CAAC,OAAO,CAAC;IAChI,CAAC;IACD,OAAO,IAAI,CAAC,sBAAsB,MAAM,UAAU,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,QAAQ,CAAC,GAAQ;IACxB,0FAA0F;IAC1F,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC;AAC/D,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAY;IACtC,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;IACjE,UAAU,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,aAAa,IAAI,GAAG,QAAQ,GAAG;IAC/D,UAAU,EAAE,aAAa;IACzB,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,4CAA4C;IACpE,OAAO,EAAE,MAAM;IACf,QAAQ,EAAE,OAAO;IACjB,QAAQ;IACR,aAAa;IACb,SAAS;IACT,UAAU;CACX,CAAC"}

package/dist/reject.d.ts

@@ -0,0 +1,3 @@
+import type { Ast } from "./ast.ts";
+export declare function rejectUnsupported(ast: Ast): void;
+//# sourceMappingURL=reject.d.ts.map

package/dist/reject.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reject.d.ts","sourceRoot":"","sources":["../src/reject.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,GAAG,EAAa,MAAM,UAAU,CAAC;AAG/C,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CAahD"}

package/dist/reject.js

@@ -0,0 +1,74 @@
+// Reject AST features the compiler does not lower, anywhere in the tree — so an unhandled
+// field fails loudly rather than producing silently-wrong SQL. Faithful port of
+// `rindle-d2s`'s `reject_unsupported` family (lib.rs:194).
+//
+// `start` (a paging bound) is lowered as a keyset predicate, but only on the **materialized
+// collections** the compiler emits (the root and each `related` child). It is *not* honored
+// inside an EXISTS/NOT EXISTS subquery, nor inside a `count(child)` aggregate — a `start`
+// there is rejected here rather than silently dropped.
+import { unsupported } from "./errors.js";
+export function rejectUnsupported(ast) {
+    for (const rel of ast.related ?? []) {
+        if (rel.subquery.aggregate) {
+            // A `count(child)` aggregate reduces its rows away: a `start`/`limit`/nested `related`
+            // would change the IVM count but `count_expr` ignores them — reject rather than diverge.
+            rejectAggregateSubquery(rel.subquery);
+        }
+        else {
+            rejectUnsupported(rel.subquery); // collection: start honored, recurse
+        }
+    }
+    if (ast.where) {
+        rejectUnsupportedCond(ast.where);
+    }
+}
+function rejectAggregateSubquery(ast) {
+    if (ast.start)
+        throw unsupported("start inside a count aggregate");
+    if (ast.limit !== undefined)
+        throw unsupported("limit inside a count aggregate");
+    if (ast.related && ast.related.length > 0) {
+        throw unsupported("nested related inside a count aggregate");
+    }
+    if (ast.where)
+        rejectUnsupportedCond(ast.where);
+}
+function rejectUnsupportedCond(cond) {
+    switch (cond.type) {
+        case "simple":
+            return;
+        case "correlatedSubquery":
+            rejectStartAnywhere(cond.related.subquery); // EXISTS: its `start` is not honored
+            return;
+        case "and":
+        case "or":
+            for (const c of cond.conditions)
+                rejectUnsupportedCond(c);
+            return;
+    }
+}
+/** Reject a `start` bound *anywhere* in `ast` (the EXISTS subtrees the compiler does not
+ *  page). Conservative: rejects even positions a clever lowering might honor. */
+function rejectStartAnywhere(ast) {
+    if (ast.start)
+        throw unsupported("start (paging) inside an EXISTS subquery");
+    for (const rel of ast.related ?? [])
+        rejectStartAnywhere(rel.subquery);
+    if (ast.where)
+        rejectStartAnywhereCond(ast.where);
+}
+function rejectStartAnywhereCond(cond) {
+    switch (cond.type) {
+        case "simple":
+            return;
+        case "correlatedSubquery":
+            rejectStartAnywhere(cond.related.subquery);
+            return;
+        case "and":
+        case "or":
+            for (const c of cond.conditions)
+                rejectStartAnywhereCond(c);
+            return;
+    }
+}
+//# sourceMappingURL=reject.js.map

package/dist/reject.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reject.js","sourceRoot":"","sources":["../src/reject.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,gFAAgF;AAChF,2DAA2D;AAC3D,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,0FAA0F;AAC1F,uDAAuD;AAGvD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,UAAU,iBAAiB,CAAC,GAAQ;IACxC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;YAC3B,uFAAuF;YACvF,yFAAyF;YACzF,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,qCAAqC;QACxE,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACd,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAQ;IACvC,IAAI,GAAG,CAAC,KAAK;QAAE,MAAM,WAAW,CAAC,gCAAgC,CAAC,CAAC;IACnE,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,WAAW,CAAC,gCAAgC,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,WAAW,CAAC,yCAAyC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,GAAG,CAAC,KAAK;QAAE,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAe;IAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,oBAAoB;YACvB,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,qCAAqC;YACjF,OAAO;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU;gBAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC;YAC1D,OAAO;IACX,CAAC;AACH,CAAC;AAED;iFACiF;AACjF,SAAS,mBAAmB,CAAC,GAAQ;IACnC,IAAI,GAAG,CAAC,KAAK;QAAE,MAAM,WAAW,CAAC,0CAA0C,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE;QAAE,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvE,IAAI,GAAG,CAAC,KAAK;QAAE,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAe;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,oBAAoB;YACvB,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU;gBAAE,uBAAuB,CAAC,CAAC,CAAC,CAAC;YAC5D,OAAO;IACX,CAAC;AACH,CAAC"}

package/dist/walker.d.ts

@@ -0,0 +1,11 @@
+import type { Ast } from "./ast.ts";
+import type { Catalog } from "./catalog.ts";
+import type { Dialect } from "./dialect.ts";
+export interface Compiled {
+    sql: string;
+    params: unknown[];
+}
+/** Compile `ast` against `catalog` for `dialect`. `singular` ⇒ a `.one()` root (single
+ *  object or `null`); else a plural root (a JSON array). Pure: mutates only a clone. */
+export declare function compileWith(ast: Ast, catalog: Catalog, dialect: Dialect, singular: boolean): Compiled;
+//# sourceMappingURL=walker.d.ts.map

package/dist/walker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walker.d.ts","sourceRoot":"","sources":["../src/walker.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EACV,GAAG,EAQJ,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,OAAO,EAAc,MAAM,cAAc,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAa,MAAM,cAAc,CAAC;AAgBvD,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB;AAED;wFACwF;AACxF,wBAAgB,WAAW,CACzB,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,OAAO,GAChB,QAAQ,CAOV"}