@rindle/query-compiler 0.4.3

package/LICENSE

@@ -0,0 +1,201 @@
+                                 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 [yyyy] [name of copyright owner]
+
+   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

@@ -0,0 +1,42 @@
+# @rindle/query-compiler
+
+Compiles a Rindle query **`Ast`** into **one SQL `SELECT`** whose single column
+`"rindle_result"` is the entire nested result tree as JSON — the server-side realization of
+[`203-MUTATOR-READS-DESIGN.md`](../../designs-implemented) Phase 2, specified in
+[`POSTGRES-READ-COMPILER-DESIGN.md`](../../designs/POSTGRES-READ-COMPILER-DESIGN.md).
+
+A server mutator runs the compiled SELECT on its **already-open** Postgres transaction, so it
+reads its own uncommitted writes for free (read-your-writes). Compilation is a **pure function
+of `(Ast, Catalog)`** — no database round-trip to plan a read, only to run it.
+
+```
+compile(ast, catalog, { dialect: "postgres" })  →  { sql, params }
+```
+
+## Design shape
+
+- **Port.** The walker skeleton is ported from `rindle-d2s` (`rust/rindle-d2s/`, the SQLite
+  AST→SELECT compiler that matches our exact `Ast` and shares `complete_ordering` with the
+  engine's builder). The Postgres leaves and the `::text::<type>` cast strategy are ported
+  from mono's `z2s`. `rindle-d2s` stays the differential **oracle** (§9), never a runtime dep.
+- **Two dialects, one product.** `postgres` is the product target. `sqlite` exists **only** as
+  the offline oracle: it lets the whole walker be proven end-to-end against Node's built-in
+  `node:sqlite` with zero infrastructure. It is never wired to a product consumer.
+- **Driver-free.** Emits `{ sql, params }` and imports no Postgres driver — the app's driver
+  runs it through the plugger seam (Invariant 7).
+- **The catalog** ([`src/catalog.ts`](src/catalog.ts)) is static and declared (§7): column
+  order, primary key, relationship cardinality, and per-column native type detail
+  (`{ type, isEnum, isArray }`) for the cast switch. Generated by `rindle pg prepare` from an
+  ephemeral migration-built Postgres (Phase B); hand-authored for tests.
+
+## Status
+
+Phase A (offline, oracle-tested; no api-server wiring). M1 — package scaffold + input
+contracts (`Ast`, `Catalog`) — is in place; the walker (M2), Postgres leaf + casts (M3), and
+edge semantics (M4) follow.
+
+## Test
+
+```sh
+pnpm --filter @rindle/query-compiler test   # tsc --noEmit + node --test (node:sqlite oracle)
+```

package/dist/ast.d.ts

@@ -0,0 +1,2 @@
+export type { Aggregate, Ast, Bound, Condition, CorrelatedSubquery, Correlation, Dir, ExistsOp, LitValue, OrderPart, SimpleOp, ValuePosition, } from "@rindle/client";
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAIA,YAAY,EACV,SAAS,EACT,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,WAAW,EACX,GAAG,EACH,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,aAAa,GACd,MAAM,gBAAgB,CAAC"}

package/dist/ast.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":""}

package/dist/catalog.d.ts

@@ -0,0 +1,51 @@
+/** Whether a relationship yields a single child object (`one`) or an array (`many`). */
+export type Cardinality = "one" | "many";
+/**
+ * Per-column type detail the Postgres compiler needs for value-model↔native-type
+ * reconciliation (§6.2). Mirrors z2s's `ServerColumnSchema`: the raw Postgres type name
+ * plus the two flags the cast switch branches on. The extension over what
+ * `rindle-pg-source` derives today (§7, review decision 2): enums and arrays are carried
+ * distinctly instead of collapsing into a text fallback.
+ *
+ * - `type` — the native Postgres type name: `"int4"`, `"text"`, `"bool"`, `"float8"`,
+ *   `"numeric"`, `"timestamptz"`, `"timestamp"`, `"date"`, `"timetz"`, `"time"`, `"uuid"`,
+ *   `"json"`/`"jsonb"`, or an **enum type name** (paired with `isEnum: true`).
+ * - `isEnum` — `type` names a Postgres enum ⇒ cast via `$N::text::"<type>"`.
+ * - `isArray` — the column is an array ⇒ unnest via `jsonb_array_elements_text`.
+ *
+ * The SQLite oracle dialect ignores this entirely: it binds native values (no casts).
+ */
+export interface ColumnType {
+    type: string;
+    isEnum: boolean;
+    isArray: boolean;
+}
+/**
+ * Per-table metadata the compiler needs beyond the `Ast`:
+ * - `columns` — the projected column list, **in projection order** (the order
+ *   `json_object`/`jsonb_build_object` enumerates), matching the View's `Schema`.
+ * - `primaryKey` — the PK columns, for ordering-completion (§8): the compiler appends the
+ *   full PK to every `orderBy` at every level for a total order, exactly as the engine's
+ *   builder does (`rindle::complete_ordering`).
+ * - `columnTypes` — per-column native type detail, keyed by column name (§6.2; Postgres
+ *   dialect only).
+ * - `relationships` — declared relationships → cardinality. This is the one structural
+ *   fact not carried by the `Ast` (the relationship *shape* — correlation keys, nesting,
+ *   where/order/limit — lives in the `Ast`'s `related` subqueries).
+ */
+export interface TableSchema {
+    columns: string[];
+    primaryKey: string[];
+    columnTypes: Record<string, ColumnType>;
+    relationships: Record<string, Cardinality>;
+}
+/**
+ * The catalog: every table the compiler may reference, keyed by table name. Produced
+ * statically by `rindle pg prepare` from an ephemeral migration-built Postgres (§7,
+ * Phase B); hand-authored for tests. A pure input — the compiler never touches a database
+ * to obtain it.
+ */
+export interface Catalog {
+    tables: Record<string, TableSchema>;
+}
+//# sourceMappingURL=catalog.d.ts.map

package/dist/catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../src/catalog.ts"],"names":[],"mappings":"AAMA,wFAAwF;AACxF,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,MAAM,CAAC;AAEzC;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACrC"}

package/dist/catalog.js

@@ -0,0 +1,7 @@
+// The static, declared type catalog (POSTGRES-READ-COMPILER-DESIGN.md §7) — the second
+// input to the compiler, beside the `Ast`. Compilation is a pure function of
+// `(Ast, Catalog)`; the catalog carries the facts the AST does not: column order, primary
+// key, relationship cardinality, and — for the Postgres dialect — the per-column native
+// type detail the `::text::<type>` cast strategy (§6.2) branches on.
+export {};
+//# sourceMappingURL=catalog.js.map

package/dist/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../src/catalog.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,6EAA6E;AAC7E,0FAA0F;AAC1F,wFAAwF;AACxF,qEAAqE"}

package/dist/complete-ordering.d.ts

@@ -0,0 +1,3 @@
+import type { Ast } from "./ast.ts";
+export declare function completeOrdering(ast: Ast, getPk: (table: string) => string[]): void;
+//# sourceMappingURL=complete-ordering.d.ts.map

package/dist/complete-ordering.d.ts.map

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

package/dist/complete-ordering.js

@@ -0,0 +1,44 @@
+// Ordering completion — the parity-critical pass (§8). The engine's builder appends the
+// full primary key (as `asc`) to every `orderBy`, at every level, for a total order; this is
+// a faithful port of `rindle::complete_ordering` (builder.rs:209), which is itself the port
+// of the client builder's `completeOrdering`. Running the *same* completion is what makes the
+// SELECT's row/child order match the engine's `Skip`/`Sort` tie-breaks exactly.
+//
+// Mutates `ast` in place (the caller passes a clone). `getPk(table)` yields a table's PK
+// column names in PK order.
+export function completeOrdering(ast, getPk) {
+    const pk = getPk(ast.table);
+    for (const csq of ast.related ?? []) {
+        completeOrdering(csq.subquery, getPk);
+    }
+    if (ast.where) {
+        completeOrderingInCondition(ast.where, getPk);
+    }
+    addPrimaryKeys(pk, ast);
+}
+function completeOrderingInCondition(cond, getPk) {
+    switch (cond.type) {
+        case "simple":
+            return;
+        case "correlatedSubquery":
+            completeOrdering(cond.related.subquery, getPk);
+            return;
+        case "and":
+        case "or":
+            for (const c of cond.conditions) {
+                completeOrderingInCondition(c, getPk);
+            }
+            return;
+    }
+}
+/** Append each PK column not already present (matched by name), as `asc`, in PK order.
+ *  Already-present PK columns keep their existing position and direction. */
+function addPrimaryKeys(pk, ast) {
+    const order = (ast.orderBy ??= []);
+    for (const pkCol of pk) {
+        if (!order.some(([field]) => field === pkCol)) {
+            order.push([pkCol, "asc"]);
+        }
+    }
+}
+//# sourceMappingURL=complete-ordering.js.map

package/dist/complete-ordering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete-ordering.js","sourceRoot":"","sources":["../src/complete-ordering.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,6FAA6F;AAC7F,4FAA4F;AAC5F,8FAA8F;AAC9F,gFAAgF;AAChF,EAAE;AACF,yFAAyF;AACzF,4BAA4B;AAI5B,MAAM,UAAU,gBAAgB,CAAC,GAAQ,EAAE,KAAkC;IAC3E,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACd,2BAA2B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IACD,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,2BAA2B,CAAC,IAAe,EAAE,KAAkC;IACtF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,oBAAoB;YACvB,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC/C,OAAO;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,2BAA2B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,OAAO;IACX,CAAC;AACH,CAAC;AAED;6EAC6E;AAC7E,SAAS,cAAc,CAAC,EAAY,EAAE,GAAQ;IAC5C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,EAAE,EAAE,CAAC;QACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/dialect.d.ts

@@ -0,0 +1,49 @@
+import type { Dir } from "./ast.ts";
+import type { ColumnType } from "./catalog.ts";
+/** A scalar value bindable as a parameter (an array filter value is split into scalars). */
+export type LitScalar = null | boolean | number | string;
+export interface Dialect {
+    readonly name: "postgres" | "sqlite";
+    /** `json_object('k', v, …)` | `jsonb_build_object('k', v, …)`. `parts` are the flat
+     *  `'key', valueExpr` fragments, in order. */
+    objectBuild(parts: string[]): string;
+    /** The array aggregate over `elem` with `orderSql` (e.g. ` ORDER BY __o0 ASC`) inside:
+     *  `json_group_array(elem ORDER BY …)` | `jsonb_agg(elem ORDER BY …)`. */
+    groupArray(elem: string, orderSql: string): string;
+    /** The empty-array default for the `COALESCE` wrapper: `'[]'` | `'[]'::jsonb`. */
+    readonly emptyArray: string;
+    /** Re-assert the JSON subtype on a value round-tripped through a subquery's `AS` column
+     *  (`json(x)` in SQLite; identity in Postgres, where `jsonb` is a real type). */
+    reassertJson(x: string): string;
+    /** The truthy/falsy constants for empty `AND`/`OR` folding and boolean keyword positions:
+     *  `1`/`0` | `TRUE`/`FALSE`. */
+    readonly trueLit: string;
+    readonly falseLit: string;
+    /** An `ORDER BY` direction with the engine's null-low ordering made explicit where the
+     *  dialect default differs (§8): SQLite is null-low by default (`ASC`/`DESC`); Postgres's
+     *  default is the opposite, so it must emit `ASC NULLS FIRST` / `DESC NULLS LAST`. */
+    orderDir(dir: Dir): string;
+    /** Project a stored column into the value model's representation for the result JSON.
+     *  Identity in SQLite; the outbound half of §6.2 in Postgres (e.g. timestamptz → epoch-ms). */
+    projectColumn(colRef: string, col: ColumnType | null): string;
+    /** Bind a scalar filter/paging value as a parameter: push onto `params`, return the
+     *  placeholder SQL. `col` is the compared column's type when known (drives the Postgres
+     *  `::text::<type>` casts, §6.2); `null` ⇒ infer from the JS type. SQLite ignores `col`
+     *  and `isComparison` — it binds natives. */
+    bindValue(params: unknown[], value: LitScalar, col: ColumnType | null, isComparison: boolean): string;
+    /** Double-quote an identifier, doubling embedded `"`. Identical across dialects (kept on
+     *  the seam for uniformity). */
+    quoteIdent(name: string): string;
+}
+/**
+ * The SQLite dialect — the daemon backend's session-read target (DAEMON-INTERACTIVE-TXN §5.4)
+ * and the offline differential oracle (§9). It binds native values as parameters (no
+ * `::text::<type>` casts — SQLite is the canonical store, so there is no driver seam to pin
+ * and no second representation to reconcile), relies on SQLite's null-low default ordering
+ * (which matches the engine's `null < everything`), and re-asserts the `json()` subtype where
+ * objects round-trip through a subquery column. Matches `rindle-d2s`'s raw SQL shapes so the
+ * two agree modulo parameterization; the executing connection must run
+ * `PRAGMA case_sensitive_like = ON` (every daemon cluster connection does — `open_wal2`).
+ */
+export declare const sqliteDialect: Dialect;
+//# sourceMappingURL=dialect.d.ts.map

package/dist/dialect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialect.d.ts","sourceRoot":"","sources":["../src/dialect.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,4FAA4F;AAC5F,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,CAAC;IAErC;kDAC8C;IAC9C,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAErC;8EAC0E;IAC1E,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAEnD,kFAAkF;IAClF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;qFACiF;IACjF,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAEhC;oCACgC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B;;0FAEsF;IACtF,QAAQ,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC;IAE3B;mGAC+F;IAC/F,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAAC;IAE9D;;;iDAG6C;IAC7C,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,EAAE,YAAY,EAAE,OAAO,GAAG,MAAM,CAAC;IAEtG;oCACgC;IAChC,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CAClC;AAMD;;;;;;;;;GASG;AACH,eAAO,MAAM,aAAa,EAAE,OAgB3B,CAAC"}

package/dist/dialect.js

@@ -0,0 +1,35 @@
+// The dialect seam (§6.1). The walker is dialect-independent; only these leaves differ
+// between SQLite and Postgres: the Postgres leaf carries the §6.2 `::text::<type>` casts and
+// explicit NULLS ordering; the SQLite leaf binds natives with NO casts (the canonical store
+// needs no reconciliation — DAEMON-INTERACTIVE-TXN-DESIGN.md §5.4).
+function quoteIdent(name) {
+    return `"${name.replace(/"/g, '""')}"`;
+}
+/**
+ * The SQLite dialect — the daemon backend's session-read target (DAEMON-INTERACTIVE-TXN §5.4)
+ * and the offline differential oracle (§9). It binds native values as parameters (no
+ * `::text::<type>` casts — SQLite is the canonical store, so there is no driver seam to pin
+ * and no second representation to reconcile), relies on SQLite's null-low default ordering
+ * (which matches the engine's `null < everything`), and re-asserts the `json()` subtype where
+ * objects round-trip through a subquery column. Matches `rindle-d2s`'s raw SQL shapes so the
+ * two agree modulo parameterization; the executing connection must run
+ * `PRAGMA case_sensitive_like = ON` (every daemon cluster connection does — `open_wal2`).
+ */
+export const sqliteDialect = {
+    name: "sqlite",
+    objectBuild: (parts) => `json_object(${parts.join(", ")})`,
+    groupArray: (elem, orderSql) => `json_group_array(${elem}${orderSql})`,
+    emptyArray: "'[]'",
+    reassertJson: (x) => `json(${x})`,
+    trueLit: "1",
+    falseLit: "0",
+    orderDir: (dir) => (dir === "asc" ? "ASC" : "DESC"),
+    projectColumn: (colRef) => colRef,
+    bindValue: (params, value) => {
+        // SQLite has no boolean type; its driver binds 1/0. Everything else binds natively.
+        params.push(typeof value === "boolean" ? (value ? 1 : 0) : value);
+        return "?";
+    },
+    quoteIdent,
+};
+//# sourceMappingURL=dialect.js.map

package/dist/dialect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialect.js","sourceRoot":"","sources":["../src/dialect.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,6FAA6F;AAC7F,4FAA4F;AAC5F,oEAAoE;AAmDpE,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACzC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAY;IACpC,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;IAC1D,UAAU,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,oBAAoB,IAAI,GAAG,QAAQ,GAAG;IACtE,UAAU,EAAE,MAAM;IAClB,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG;IACjC,OAAO,EAAE,GAAG;IACZ,QAAQ,EAAE,GAAG;IACb,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IACjC,SAAS,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC3B,oFAAoF;QACpF,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClE,OAAO,GAAG,CAAC;IACb,CAAC;IACD,UAAU;CACX,CAAC"}

package/dist/errors.d.ts

@@ -0,0 +1,13 @@
+export declare class CompileError extends Error {
+    constructor(message: string);
+}
+/** A referenced table is not in the catalog. */
+export declare function unknownTable(table: string): CompileError;
+/** A `related`/EXISTS relationship's cardinality is not declared in the catalog. */
+export declare function unknownRelationship(table: string, rel: string): CompileError;
+/** A `related` subquery is missing an alias (every child must be named). */
+export declare function missingAlias(table: string): CompileError;
+/** An AST feature the compiler does not lower in the position it appears — rejected loudly
+ *  rather than emitting silently-wrong SQL (e.g. a `start` paging bound inside EXISTS). */
+export declare function unsupported(what: string): CompileError;
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAGA,qBAAa,YAAa,SAAQ,KAAK;gBACzB,OAAO,EAAE,MAAM;CAI5B;AAED,gDAAgD;AAChD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAExD;AAED,oFAAoF;AACpF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,YAAY,CAE5E;AAED,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,CAExD;AAED;2FAC2F;AAC3F,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAEtD"}

package/dist/errors.js

@@ -0,0 +1,26 @@
+// Why a query could not be compiled. Mirrors `rindle-d2s`'s `CompileError` (lib.rs:133) so
+// the two compilers reject the same shapes with the same reasons.
+export class CompileError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "CompileError";
+    }
+}
+/** A referenced table is not in the catalog. */
+export function unknownTable(table) {
+    return new CompileError(`unknown table \`${table}\``);
+}
+/** A `related`/EXISTS relationship's cardinality is not declared in the catalog. */
+export function unknownRelationship(table, rel) {
+    return new CompileError(`unknown relationship \`${rel}\` on table \`${table}\``);
+}
+/** A `related` subquery is missing an alias (every child must be named). */
+export function missingAlias(table) {
+    return new CompileError(`related subquery on \`${table}\` has no alias`);
+}
+/** An AST feature the compiler does not lower in the position it appears — rejected loudly
+ *  rather than emitting silently-wrong SQL (e.g. a `start` paging bound inside EXISTS). */
+export function unsupported(what) {
+    return new CompileError(`unsupported AST feature: ${what}`);
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,kEAAkE;AAElE,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,gDAAgD;AAChD,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO,IAAI,YAAY,CAAC,mBAAmB,KAAK,IAAI,CAAC,CAAC;AACxD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,GAAW;IAC5D,OAAO,IAAI,YAAY,CAAC,0BAA0B,GAAG,iBAAiB,KAAK,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,OAAO,IAAI,YAAY,CAAC,yBAAyB,KAAK,iBAAiB,CAAC,CAAC;AAC3E,CAAC;AAED;2FAC2F;AAC3F,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,IAAI,YAAY,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,31 @@
+export type { Aggregate, Ast, Bound, Condition, CorrelatedSubquery, Correlation, Dir, ExistsOp, LitValue, OrderPart, SimpleOp, ValuePosition, } from "./ast.ts";
+export type { Cardinality, Catalog, ColumnType, TableSchema } from "./catalog.ts";
+export type { Dialect } from "./dialect.ts";
+export { sqliteDialect } from "./dialect.ts";
+export { postgresDialect } from "./postgres.ts";
+import type { Ast } from "./ast.ts";
+import type { Catalog } from "./catalog.ts";
+/** Which SQL dialect to emit. Both are product targets: `postgres` for the BYO-PG backend,
+ *  `sqlite` for the daemon backend's session reads (and the offline oracle, §9). */
+export type DialectName = "postgres" | "sqlite";
+export interface CompileOptions {
+    dialect: DialectName;
+}
+/**
+ * A compiled query: one SQL `SELECT` plus its positional bound parameters. `sql` returns a
+ * single row with a single column `"rindle_result"` — the whole nested result as JSON
+ * (`jsonb` on Postgres, `json` text on SQLite). No runtime value is ever interpolated into
+ * `sql`; every filter/paging value is a bound parameter (Invariant 4).
+ */
+export interface CompiledQuery {
+    sql: string;
+    /** In order: `$1..$n` for Postgres, `?` for SQLite. */
+    params: unknown[];
+}
+/**
+ * Compile `ast` against `catalog` into `{ sql, params }` (§4). A pure function of its
+ * inputs — no database access (Invariant 2). The root is **singular** when `ast.one` is set
+ * (a single JSON object or `null`), else **plural** (a JSON array).
+ */
+export declare function compile(ast: Ast, catalog: Catalog, opts: CompileOptions): CompiledQuery;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAeA,YAAY,EACV,SAAS,EACT,GAAG,EACH,KAAK,EACL,SAAS,EACT,kBAAkB,EAClB,WAAW,EACX,GAAG,EACH,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,aAAa,GACd,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAClF,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAK5C;oFACoF;AACpF,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,QAAQ,CAAC;AAEhD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,uDAAuD;IACvD,MAAM,EAAE,OAAO,EAAE,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,GAAG,aAAa,CAQvF"}

package/dist/index.js

@@ -0,0 +1,34 @@
+// @rindle/query-compiler — compile a Rindle query `Ast` into one SQL `SELECT` whose single
+// column `"rindle_result"` is the entire nested result tree as JSON, run on a live SQL
+// backend inside the caller's open transaction (POSTGRES-READ-COMPILER-DESIGN.md §4).
+//
+// Dialect-parametric, with BOTH dialects product targets:
+// - `postgres` — the BYO-Postgres server mutator read, with the §6.2 `::text::<type>` cast
+//   discipline (PG is a second type system whose driver parsing must be pinned + reconciled).
+// - `sqlite` — the daemon-backend mutator read, ridden through an interactive mutation
+//   session (DAEMON-INTERACTIVE-TXN-DESIGN.md §5.4). NO casts, by design: SQLite IS the
+//   canonical store and results return as raw storage classes over Rindle's own value
+//   encoding, so there is no second representation to reconcile — every value binds as a
+//   native parameter (`rindle-d2s`, the Rust twin, states the same principle: "Values
+//   (minimal — no casting)"). It doubles as the offline differential oracle (§9, §11),
+//   which is what proves the shared walker end-to-end against `node:sqlite`.
+export { sqliteDialect } from "./dialect.js";
+export { postgresDialect } from "./postgres.js";
+import { sqliteDialect } from "./dialect.js";
+import { postgresDialect } from "./postgres.js";
+import { compileWith } from "./walker.js";
+/**
+ * Compile `ast` against `catalog` into `{ sql, params }` (§4). A pure function of its
+ * inputs — no database access (Invariant 2). The root is **singular** when `ast.one` is set
+ * (a single JSON object or `null`), else **plural** (a JSON array).
+ */
+export function compile(ast, catalog, opts) {
+    const singular = ast.one === true;
+    switch (opts.dialect) {
+        case "sqlite":
+            return compileWith(ast, catalog, sqliteDialect, singular);
+        case "postgres":
+            return compileWith(ast, catalog, postgresDialect, singular);
+    }
+}
+//# 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,2FAA2F;AAC3F,uFAAuF;AACvF,sFAAsF;AACtF,EAAE;AACF,0DAA0D;AAC1D,2FAA2F;AAC3F,8FAA8F;AAC9F,uFAAuF;AACvF,wFAAwF;AACxF,sFAAsF;AACtF,yFAAyF;AACzF,sFAAsF;AACtF,uFAAuF;AACvF,6EAA6E;AAkB7E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIhD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAsB1C;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,GAAQ,EAAE,OAAgB,EAAE,IAAoB;IACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC;IAClC,QAAQ,IAAI,CAAC,OAAO,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC5D,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;IAChE,CAAC;AACH,CAAC"}

package/dist/pg-types.d.ts

@@ -0,0 +1,20 @@
+/** Strips args (the `(32)` in `char(32)`) and lowercases — mono's `formatTypeForLookup`.
+ *  Every predicate normalizes through this, so `VARCHAR(255)` / `UUID` classify correctly. */
+export declare function formatTypeForLookup(pgType: string): string;
+export declare function isPgNumberType(pgType: string): boolean;
+export declare function isPgNativeStringType(pgType: string): boolean;
+export declare function isPgTextRepresentedType(pgType: string): boolean;
+export declare function isPgStringType(pgType: string): boolean;
+/** A temporal type projected as epoch-ms (outbound) and reconciled via `to_timestamp`/interval
+ *  (inbound). Everything else projects raw. */
+export declare function isTemporalType(pgType: string): boolean;
+/**
+ * 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 declare function needsTimeOfDayNormalization(pgType: string): boolean;
+//# sourceMappingURL=pg-types.d.ts.map

package/dist/pg-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pg-types.d.ts","sourceRoot":"","sources":["../src/pg-types.ts"],"names":[],"mappings":"AA4DA;8FAC8F;AAC9F,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAI1D;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE5D;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE/D;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEtD;AAgBD;+CAC+C;AAC/C,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEtD;AAMD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnE"}