@rindle/query-compiler 0.4.3

package/dist/walker.js

@@ -0,0 +1,350 @@
+// The compiler core — a syntax-directed `Ast → SELECT` lowering, ported one-to-one from
+// `rindle-d2s` (rust/rindle-d2s/src/lib.rs) and bound to our exact wire `Ast`. The one
+// deliberate change from `rindle-d2s` is that filter/paging **values are parameterized**
+// (pushed onto `params`, emitted as placeholders by the dialect) instead of inlined — so the
+// output is injection-safe and plan-cacheable (Invariant 4). Everything else — the walker
+// structure, ordering completion, keyset-paging predicate, empty-fold — matches the oracle.
+import { completeOrdering } from "./complete-ordering.js";
+import { missingAlias, unknownRelationship, unknownTable } from "./errors.js";
+import { rejectUnsupported } from "./reject.js";
+/** 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 function compileWith(ast, catalog, dialect, singular) {
+    rejectUnsupported(ast);
+    const cloned = structuredClone(ast);
+    completeOrdering(cloned, (t) => pkOf(catalog, t));
+    const cx = new Cx(catalog, dialect);
+    const expr = cx.collection(cloned, singular, null);
+    return { sql: `SELECT ${expr} AS "rindle_result"`, params: cx.params };
+}
+/** Compile context: the catalog, dialect, the accumulating params, and an alias counter. */
+class Cx {
+    params = [];
+    #n = 0;
+    // Explicit fields (not constructor parameter properties): Node's strip-only type stripping
+    // does not support parameter properties, and this source runs directly from `.ts`.
+    #catalog;
+    #d;
+    constructor(catalog, d) {
+        this.#catalog = catalog;
+        this.#d = d;
+    }
+    #alias(table) {
+        return `${table}_${this.#n++}`;
+    }
+    /** A scalar-subquery expression producing the JSON for `ast` as a single object
+     *  (`singular`) or a `json_group_array`/`jsonb_agg` of objects, correlated to a parent
+     *  when `correlate` is set (`[parentAlias, Correlation]`). */
+    collection(ast, singular, correlate) {
+        const table = ast.table;
+        const cols = columnsOf(this.#catalog, table);
+        const alias = this.#alias(table);
+        const scope = { table, alias };
+        const row = this.#rowObject(ast, scope, cols);
+        const conds = [];
+        if (correlate)
+            conds.push(correlateSql(this.#d, correlate[0], alias, correlate[1]));
+        if (ast.where)
+            conds.push(this.#whereSql(ast.where, scope));
+        // Keyset paging: keep rows at/after `start` under the already-PK-completed sort — the
+        // exact comparator the engine's `Skip` uses.
+        if (ast.start)
+            conds.push(this.#startSql(ast.start, ast.orderBy ?? [], scope));
+        const from = `${this.#d.quoteIdent(table)} AS ${this.#d.quoteIdent(alias)}`;
+        return this.#pluralOrSingular(singular, row, from, whereClause(conds), ast.orderBy ?? [], alias, ast.limit);
+    }
+    /** `json_object('c', a."c", …, 'rel', <child expr>, …)`. A column shadowed by a
+     *  same-named relationship is dropped (the relationship wins, as in the View). */
+    #rowObject(ast, scope, cols) {
+        const relNames = new Set((ast.related ?? []).map((r) => r.subquery.alias).filter((a) => a != null));
+        const selected = ast.select ? new Set(ast.select) : null;
+        const parts = [];
+        for (const col of cols) {
+            if (relNames.has(col))
+                continue;
+            if (selected && !selected.has(col))
+                continue;
+            const colRef = `${this.#d.quoteIdent(scope.alias)}.${this.#d.quoteIdent(col)}`;
+            const projected = this.#d.projectColumn(colRef, columnTypeOf(this.#catalog, scope.table, col));
+            parts.push(`${jsonKey(col)}, ${projected}`);
+        }
+        for (const rel of ast.related ?? []) {
+            const name = rel.subquery.alias;
+            if (name == null)
+                throw missingAlias(rel.subquery.table);
+            // A relationship aggregate (`count(child)`) is a scalar column, not a nested collection.
+            const expr = rel.subquery.aggregate === "count"
+                ? this.#countExpr(rel, scope.alias)
+                : this.#relationExpr(scope.table, rel, scope.alias);
+            parts.push(`${jsonKey(name)}, ${expr}`);
+        }
+        return this.#d.objectBuild(parts);
+    }
+    /** One materialized relationship as a nested-JSON column. */
+    #relationExpr(parentTable, rel, parentAlias) {
+        const name = rel.subquery.alias;
+        if (name == null)
+            throw missingAlias(rel.subquery.table);
+        const singular = cardinalityOf(this.#catalog, parentTable, name) === "one";
+        return this.collection(rel.subquery, singular, [parentAlias, rel.correlation]);
+    }
+    /** A scalar `count(*)` for a relationship aggregate: `(SELECT count(*) FROM child AS a
+     *  WHERE <correlation> [AND <child.where>])`. `0` when no child matches. */
+    #countExpr(rel, parentAlias) {
+        const sub = rel.subquery;
+        const alias = this.#alias(sub.table);
+        const conds = [correlateSql(this.#d, parentAlias, alias, rel.correlation)];
+        if (sub.where)
+            conds.push(this.#whereSql(sub.where, { table: sub.table, alias }));
+        return `(SELECT count(*) FROM ${this.#d.quoteIdent(sub.table)} AS ${this.#d.quoteIdent(alias)} WHERE ${conds.join(" AND ")})`;
+    }
+    /** A boolean SQL expression for a `where` condition tree. */
+    #whereSql(cond, scope) {
+        switch (cond.type) {
+            case "and":
+                return cond.conditions.length === 0
+                    ? this.#d.trueLit
+                    : `(${cond.conditions.map((c) => this.#whereSql(c, scope)).join(" AND ")})`;
+            case "or":
+                return cond.conditions.length === 0
+                    ? this.#d.falseLit
+                    : `(${cond.conditions.map((c) => this.#whereSql(c, scope)).join(" OR ")})`;
+            case "correlatedSubquery":
+                return this.#existsSql(cond, scope.alias);
+            case "simple":
+                return this.#simpleSql(cond, scope);
+        }
+    }
+    /** `[NOT] EXISTS (SELECT 1 FROM child AS a WHERE <correlation> [AND <child.where>])`.
+     *  `flip`/`scalar` are IVM routing flags with no effect on the SQL. */
+    #existsSql(c, parentAlias) {
+        const sub = c.related.subquery;
+        const alias = this.#alias(sub.table);
+        const conds = [correlateSql(this.#d, parentAlias, alias, c.related.correlation)];
+        if (sub.where)
+            conds.push(this.#whereSql(sub.where, { table: sub.table, alias }));
+        const inner = `SELECT 1 FROM ${this.#d.quoteIdent(sub.table)} AS ${this.#d.quoteIdent(alias)} WHERE ${conds.join(" AND ")}`;
+        return c.op === "EXISTS" ? `EXISTS (${inner})` : `NOT EXISTS (${inner})`;
+    }
+    /** A single comparison. Operators render verbatim except: `IS`/`IS NOT` render the RHS as
+     *  a SQL keyword (`NULL`/`TRUE`/`FALSE`) not a param; `ILIKE` folds via `lower()`; `IN`/
+     *  `NOT IN` bind the list (empty ⇒ the constant truth value). */
+    #simpleSql(sc, scope) {
+        // A literal is bound with the *other* side's column type when that side is a column
+        // (drives Postgres casts); `null` ⇒ infer from the JS type.
+        const leftColType = this.#colTypeOf(scope, sc.left);
+        const rightColType = this.#colTypeOf(scope, sc.right);
+        const l = this.#valuePos(scope, sc.left, rightColType);
+        const r = () => this.#valuePos(scope, sc.right, leftColType);
+        switch (sc.op) {
+            case "=":
+                return `${l} = ${r()}`;
+            case "!=":
+                return `${l} != ${r()}`;
+            case "<":
+                return `${l} < ${r()}`;
+            case "<=":
+                return `${l} <= ${r()}`;
+            case ">":
+                return `${l} > ${r()}`;
+            case ">=":
+                return `${l} >= ${r()}`;
+            case "IS":
+                return `${l} IS ${this.#isRhs(scope, sc.right)}`;
+            case "IS NOT":
+                return `${l} IS NOT ${this.#isRhs(scope, sc.right)}`;
+            case "LIKE":
+                return `${l} LIKE ${r()} ESCAPE '\\'`;
+            case "NOT LIKE":
+                return `${l} NOT LIKE ${r()} ESCAPE '\\'`;
+            case "ILIKE":
+                return `lower(${l}) LIKE lower(${r()}) ESCAPE '\\'`;
+            case "NOT ILIKE":
+                return `lower(${l}) NOT LIKE lower(${r()}) ESCAPE '\\'`;
+            case "IN":
+                return this.#inSql(scope, l, sc.right, false, leftColType);
+            case "NOT IN":
+                return this.#inSql(scope, l, sc.right, true, leftColType);
+        }
+    }
+    /** The RHS of `IS`/`IS NOT` — a SQL keyword position (Postgres forbids a param here), so
+     *  `NULL`/`TRUE`/`FALSE` render literally. Any other RHS (unusual) falls back to a value. */
+    #isRhs(scope, vp) {
+        if (vp.type === "literal") {
+            if (vp.value === null)
+                return "NULL";
+            if (vp.value === true)
+                return this.#d.trueLit;
+            if (vp.value === false)
+                return this.#d.falseLit;
+        }
+        return this.#valuePos(scope, vp, null);
+    }
+    /** The column type of `vp` when it is a column reference; `null` for a literal. */
+    #colTypeOf(scope, vp) {
+        return vp.type === "column" ? columnTypeOf(this.#catalog, scope.table, vp.name) : null;
+    }
+    /** A column reference (`a."c"`) or a bound literal (`?` / `$N::text::<type>`). `siblingCol`
+     *  is the compared column's type, used when `vp` is a literal. */
+    #valuePos(scope, vp, siblingCol) {
+        if (vp.type === "column") {
+            return `${this.#d.quoteIdent(scope.alias)}.${this.#d.quoteIdent(vp.name)}`;
+        }
+        return this.#d.bindValue(this.params, vp.value, siblingCol, true);
+    }
+    /** `lhs [NOT] IN (v0, v1, …)`. An empty list folds to the constant truth value; a non-array
+     *  RHS falls back to `=`/`!=` (as `rindle-d2s`'s `in_sql`). */
+    #inSql(scope, lhs, right, negate, lhsCol) {
+        if (right.type === "literal" && Array.isArray(right.value)) {
+            const items = right.value;
+            if (items.length === 0)
+                return negate ? this.#d.trueLit : this.#d.falseLit;
+            const list = items
+                .map((it) => this.#d.bindValue(this.params, it, lhsCol, true))
+                .join(", ");
+            return `${lhs} ${negate ? "NOT IN" : "IN"} (${list})`;
+        }
+        const rr = this.#valuePos(scope, right, lhsCol);
+        return negate ? `${lhs} != ${rr}` : `${lhs} = ${rr}`;
+    }
+    /** Emit the plural (`json_group_array`/`jsonb_agg`) or singular (`… LIMIT 1`) form. When a
+     *  `LIMIT` is present the rows are selected (ordered + limited) in an inner subquery and
+     *  then array-aggregated in declared order, so both the top-N selection and the array order
+     *  are correct. */
+    #pluralOrSingular(singular, row, from, where, order, alias, limit) {
+        if (singular) {
+            return `(SELECT ${row} FROM ${from}${where}${this.#orderClause(order, alias)} LIMIT 1)`;
+        }
+        if (limit !== undefined) {
+            const innerOrder = this.#orderClause(order, alias);
+            const proj = this.#orderProj(order, alias);
+            const agg = this.#aggOrderProjected(order);
+            // Re-assert the JSON subtype: the object round-trips through the inner subquery's
+            // `AS __r` column, which SQLite would otherwise re-encode as a string.
+            const elem = this.#d.reassertJson("__r");
+            const lim = Math.max(0, Math.trunc(Number(limit)));
+            return `COALESCE((SELECT ${this.#d.groupArray(elem, agg)} FROM (SELECT ${row} AS __r${proj} FROM ${from}${where}${innerOrder} LIMIT ${lim})), ${this.#d.emptyArray})`;
+        }
+        const agg = this.#aggOrderInline(order, alias);
+        return `COALESCE((SELECT ${this.#d.groupArray(row, agg)} FROM ${from}${where}), ${this.#d.emptyArray})`;
+    }
+    /** ` ORDER BY a."c0" ASC, a."c1" DESC` (empty when `order` is empty). */
+    #orderClause(order, alias) {
+        return order.length === 0 ? "" : ` ORDER BY ${this.#orderTerms(order, alias)}`;
+    }
+    /** In-aggregate ordering referencing the FROM columns. */
+    #aggOrderInline(order, alias) {
+        return order.length === 0 ? "" : ` ORDER BY ${this.#orderTerms(order, alias)}`;
+    }
+    /** In-aggregate ordering over the inner subquery's projected order columns (`__o0`, …). */
+    #aggOrderProjected(order) {
+        if (order.length === 0)
+            return "";
+        return ` ORDER BY ${order.map(([, dir], i) => `__o${i} ${this.#d.orderDir(dir)}`).join(", ")}`;
+    }
+    /** Project the order columns into the inner subquery: `, a."c0" AS __o0, …`. */
+    #orderProj(order, alias) {
+        return order
+            .map(([field], i) => `, ${this.#d.quoteIdent(alias)}.${this.#d.quoteIdent(field)} AS __o${i}`)
+            .join("");
+    }
+    #orderTerms(order, alias) {
+        return order
+            .map(([field, dir]) => `${this.#d.quoteIdent(alias)}.${this.#d.quoteIdent(field)} ${this.#d.orderDir(dir)}`)
+            .join(", ");
+    }
+    /** The keyset paging predicate for a `start` bound: keep a row iff the bound sorts before
+     *  it (`B < R`), or sorts equal with an inclusive bound (`B <= R`), under the already-PK-
+     *  completed sort. Lexicographic with **null-low** ordering (NULL before any value on ASC,
+     *  after every value on DESC) — faithful to the engine's `Skip`. */
+    #startSql(start, order, scope) {
+        // Per sort column: the column ref, direction, bound value (absent/NULL ⇒ null-low), type.
+        const cols = order.map(([field, dir]) => ({
+            x: `${this.#d.quoteIdent(scope.alias)}.${this.#d.quoteIdent(field)}`,
+            asc: dir === "asc",
+            b: nullLowBound(start.row[field]),
+            col: columnTypeOf(this.#catalog, scope.table, field),
+        }));
+        if (cols.length === 0)
+            return this.#d.trueLit; // no sort columns (unreachable post-completion)
+        // `B < R` = OR_i ( AND_{j<i} eq_j AND before_i ). Each `eq`/`before` fragment is
+        // (re)emitted exactly where it appears — regenerated, not string-reused — so every
+        // placeholder gets its own bound param, in left-to-right order. (`rindle-d2s` can reuse a
+        // fragment string because its literals are inlined and side-effect-free; our params are
+        // positional, so a reused or discarded fragment would desync placeholders from params.)
+        const orTerms = [];
+        for (let i = 0; i < cols.length; i++) {
+            const conj = [];
+            for (let j = 0; j < i; j++)
+                conj.push(this.#eqSql(cols[j].x, cols[j].b, cols[j].col));
+            conj.push(this.#beforeSql(cols[i].x, cols[i].asc, cols[i].b, cols[i].col));
+            orTerms.push(`(${conj.join(" AND ")})`);
+        }
+        const strictLt = `(${orTerms.join(" OR ")})`;
+        if (start.exclusive)
+            return strictLt;
+        // `B <= R` adds the all-columns-equal term.
+        const allEq = cols.map((c) => this.#eqSql(c.x, c.b, c.col)).join(" AND ");
+        return `(${strictLt} OR (${allEq}))`;
+    }
+    /** `x` strictly after the bound value `b` in this column's direction, null-low. `b` is
+     *  `undefined` for an omitted/NULL bound. */
+    #beforeSql(x, asc, b, col) {
+        if (b === undefined) {
+            // NULL bound: before every non-null `x` on ASC; never before on DESC.
+            return asc ? `${x} IS NOT NULL` : this.#d.falseLit;
+        }
+        const v = this.#d.bindValue(this.params, b, col, true);
+        // ASC: `v < x` (NULL `x` ⇒ NULL ⇒ false, i.e. a null row is not after a non-null bound).
+        // DESC: a null `x` sorts last, so it is after the bound; else `v > x`.
+        return asc ? `${v} < ${x}` : `(${x} IS NULL OR ${v} > ${x})`;
+    }
+    /** `x` equal to the bound value `b` under the sort's null-identical equality. */
+    #eqSql(x, b, col) {
+        if (b === undefined)
+            return `${x} IS NULL`;
+        return `${x} = ${this.#d.bindValue(this.params, b, col, true)}`;
+    }
+}
+// ── free helpers (dialect-independent) ────────────────────────────────────────────────────
+/** `parent."p0" = child."c0" AND parent."p1" = child."c1" …`. */
+function correlateSql(d, parentAlias, childAlias, corr) {
+    return corr.parentField
+        .map((p, i) => {
+        const c = corr.childField[i];
+        return `${d.quoteIdent(parentAlias)}.${d.quoteIdent(p)} = ${d.quoteIdent(childAlias)}.${d.quoteIdent(c)}`;
+    })
+        .join(" AND ");
+}
+function whereClause(conds) {
+    return conds.length === 0 ? "" : ` WHERE ${conds.join(" AND ")}`;
+}
+/** A `json_object`/`jsonb_build_object` key: a single-quoted string literal. */
+function jsonKey(name) {
+    return `'${name.replace(/'/g, "''")}'`;
+}
+/** A paging bound value, with an absent or explicit-NULL value normalized to `undefined`
+ *  (the null-low sentinel `beforeSql`/`eqSql` treat as "sorts below everything"). */
+function nullLowBound(raw) {
+    return raw === undefined || raw === null ? undefined : raw;
+}
+// ── catalog accessors ─────────────────────────────────────────────────────────────────────
+function columnsOf(catalog, table) {
+    const t = catalog.tables[table];
+    if (!t)
+        throw unknownTable(table);
+    return t.columns;
+}
+function pkOf(catalog, table) {
+    return catalog.tables[table]?.primaryKey ?? [];
+}
+function cardinalityOf(catalog, table, rel) {
+    const card = catalog.tables[table]?.relationships[rel];
+    if (!card)
+        throw unknownRelationship(table, rel);
+    return card;
+}
+function columnTypeOf(catalog, table, col) {
+    return catalog.tables[table]?.columnTypes[col] ?? null;
+}
+//# sourceMappingURL=walker.js.map

package/dist/walker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walker.js","sourceRoot":"","sources":["../src/walker.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,uFAAuF;AACvF,yFAAyF;AACzF,6FAA6F;AAC7F,0FAA0F;AAC1F,4FAA4F;AAc5F,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAkBhD;wFACwF;AACxF,MAAM,UAAU,WAAW,CACzB,GAAQ,EACR,OAAgB,EAChB,OAAgB,EAChB,QAAiB;IAEjB,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnD,OAAO,EAAE,GAAG,EAAE,UAAU,IAAI,qBAAqB,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC;AACzE,CAAC;AAED,4FAA4F;AAC5F,MAAM,EAAE;IACG,MAAM,GAAc,EAAE,CAAC;IAChC,EAAE,GAAG,CAAC,CAAC;IACP,2FAA2F;IAC3F,mFAAmF;IAC1E,QAAQ,CAAU;IAClB,EAAE,CAAU;IAErB,YAAY,OAAgB,EAAE,CAAU;QACtC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAa;QAClB,OAAO,GAAG,KAAK,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;IACjC,CAAC;IAED;;kEAE8D;IAC9D,UAAU,CAAC,GAAQ,EAAE,QAAiB,EAAE,SAAuC;QAC7E,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;QACxB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,KAAK,GAAU,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAE9C,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpF,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5D,sFAAsF;QACtF,6CAA6C;QAC7C,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QAE/E,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9G,CAAC;IAED;sFACkF;IAClF,UAAU,CAAC,GAAQ,EAAE,KAAY,EAAE,IAAc;QAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CACvF,CAAC;QACF,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEzD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC7C,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;YAC/F,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChC,IAAI,IAAI,IAAI,IAAI;gBAAE,MAAM,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzD,yFAAyF;YACzF,MAAM,IAAI,GACR,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,OAAO;gBAChC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC;gBACnC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACxD,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,6DAA6D;IAC7D,aAAa,CAAC,WAAmB,EAAE,GAAuB,EAAE,WAAmB;QAC7E,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChC,IAAI,IAAI,IAAI,IAAI;YAAE,MAAM,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,KAAK,CAAC;QAC3E,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACjF,CAAC;IAED;gFAC4E;IAC5E,UAAU,CAAC,GAAuB,EAAE,WAAmB;QACrD,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;QAC3E,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClF,OAAO,yBAAyB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;IAChI,CAAC;IAED,6DAA6D;IAC7D,SAAS,CAAC,IAAe,EAAE,KAAY;QACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO;oBACjB,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAChF,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;oBACjC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ;oBAClB,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YAC/E,KAAK,oBAAoB;gBACvB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5C,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED;2EACuE;IACvE,UAAU,CAAC,CAAa,EAAE,WAAmB;QAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QACjF,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAClF,MAAM,KAAK,GAAG,iBAAiB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5H,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,eAAe,KAAK,GAAG,CAAC;IAC3E,CAAC;IAED;;qEAEiE;IACjE,UAAU,CAAC,EAAc,EAAE,KAAY;QACrC,oFAAoF;QACpF,4DAA4D;QAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAC7D,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YACd,KAAK,GAAG;gBACN,OAAO,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACzB,KAAK,IAAI;gBACP,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;YAC1B,KAAK,GAAG;gBACN,OAAO,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACzB,KAAK,IAAI;gBACP,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;YAC1B,KAAK,GAAG;gBACN,OAAO,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACzB,KAAK,IAAI;gBACP,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;YAC1B,KAAK,IAAI;gBACP,OAAO,GAAG,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,KAAK,QAAQ;gBACX,OAAO,GAAG,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,KAAK,MAAM;gBACT,OAAO,GAAG,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;YACxC,KAAK,UAAU;gBACb,OAAO,GAAG,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC;YAC5C,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,gBAAgB,CAAC,EAAE,eAAe,CAAC;YACtD,KAAK,WAAW;gBACd,OAAO,SAAS,CAAC,oBAAoB,CAAC,EAAE,eAAe,CAAC;YAC1D,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;YAC7D,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED;iGAC6F;IAC7F,MAAM,CAAC,KAAY,EAAE,EAAiB;QACpC,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC;YACrC,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC;YAC9C,IAAI,EAAE,CAAC,KAAK,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,mFAAmF;IACnF,UAAU,CAAC,KAAY,EAAE,EAAiB;QACxC,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzF,CAAC;IAED;sEACkE;IAClE,SAAS,CAAC,KAAY,EAAE,EAAiB,EAAE,UAA6B;QACtE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzB,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,CAAC;QACD,OAAO,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,KAAkB,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IAED;mEAC+D;IAC/D,MAAM,CACJ,KAAY,EACZ,GAAW,EACX,KAAoB,EACpB,MAAe,EACf,MAAyB;QAEzB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;YAC3E,MAAM,IAAI,GAAG,KAAK;iBACf,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,EAAe,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;iBAC1E,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,GAAG,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,EAAE,EAAE,CAAC;IACvD,CAAC;IAED;;;uBAGmB;IACnB,iBAAiB,CACf,QAAiB,EACjB,GAAW,EACX,IAAY,EACZ,KAAa,EACb,KAAkB,EAClB,KAAa,EACb,KAAyB;QAEzB,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,WAAW,GAAG,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC;QAC1F,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC3C,kFAAkF;YAClF,uEAAuE;YACvE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,oBAAoB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,iBAAiB,GAAG,UAAU,IAAI,SAAS,IAAI,GAAG,KAAK,GAAG,UAAU,UAAU,GAAG,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,GAAG,CAAC;QACxK,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO,oBAAoB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,IAAI,GAAG,KAAK,MAAM,IAAI,CAAC,EAAE,CAAC,UAAU,GAAG,CAAC;IAC1G,CAAC;IAED,yEAAyE;IACzE,YAAY,CAAC,KAAkB,EAAE,KAAa;QAC5C,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;IACjF,CAAC;IAED,0DAA0D;IAC1D,eAAe,CAAC,KAAkB,EAAE,KAAa;QAC/C,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;IACjF,CAAC;IAED,2FAA2F;IAC3F,kBAAkB,CAAC,KAAkB;QACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAClC,OAAO,aAAa,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACjG,CAAC;IAED,gFAAgF;IAChF,UAAU,CAAC,KAAkB,EAAE,KAAa;QAC1C,OAAO,KAAK;aACT,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;aAC7F,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,CAAC;IAED,WAAW,CAAC,KAAkB,EAAE,KAAa;QAC3C,OAAO,KAAK;aACT,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;aAC3G,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED;;;wEAGoE;IACpE,SAAS,CAAC,KAAY,EAAE,KAAkB,EAAE,KAAY;QACtD,0FAA0F;QAC1F,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;YACpE,GAAG,EAAE,GAAG,KAAK,KAAK;YAClB,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;SACrD,CAAC,CAAC,CAAC;QACJ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,gDAAgD;QAE/F,iFAAiF;QACjF,mFAAmF;QACnF,0FAA0F;QAC1F,wFAAwF;QACxF,wFAAwF;QACxF,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3E,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAC7C,IAAI,KAAK,CAAC,SAAS;YAAE,OAAO,QAAQ,CAAC;QACrC,4CAA4C;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1E,OAAO,IAAI,QAAQ,QAAQ,KAAK,IAAI,CAAC;IACvC,CAAC;IAED;iDAC6C;IAC7C,UAAU,CAAC,CAAS,EAAE,GAAY,EAAE,CAAwB,EAAE,GAAsB;QAClF,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,sEAAsE;YACtE,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvD,yFAAyF;QACzF,uEAAuE;QACvE,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC;IAC/D,CAAC;IAED,iFAAiF;IACjF,MAAM,CAAC,CAAS,EAAE,CAAwB,EAAE,GAAsB;QAChE,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,UAAU,CAAC;QAC3C,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;IAClE,CAAC;CACF;AAED,6FAA6F;AAE7F,iEAAiE;AACjE,SAAS,YAAY,CAAC,CAAU,EAAE,WAAmB,EAAE,UAAkB,EAAE,IAAiB;IAC1F,OAAO,IAAI,CAAC,WAAW;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO,GAAG,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5G,CAAC,CAAC;SACD,IAAI,CAAC,OAAO,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,KAAe;IAClC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACzC,CAAC;AAED;qFACqF;AACrF,SAAS,YAAY,CAAC,GAAyB;IAC7C,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,GAAiB,CAAC;AAC5E,CAAC;AAED,6FAA6F;AAE7F,SAAS,SAAS,CAAC,OAAgB,EAAE,KAAa;IAChD,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC;QAAE,MAAM,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,IAAI,CAAC,OAAgB,EAAE,KAAa;IAC3C,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CAAC,OAAgB,EAAE,KAAa,EAAE,GAAW;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,MAAM,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,OAAgB,EAAE,KAAa,EAAE,GAAW;IAChE,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;AACzD,CAAC"}

package/package.json

@@ -0,0 +1,39 @@
+{
+  "name": "@rindle/query-compiler",
+  "version": "0.4.3",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/rindle-sh/rindle.git",
+    "directory": "packages/query-compiler"
+  },
+  "type": "module",
+  "description": "Compiles a Rindle query AST to one SQL SELECT (whole nested result as a single JSON column) for a live SQL backend — the server realization of 203-MUTATOR-READS Phase 2 (POSTGRES-READ-COMPILER-DESIGN.md). Postgres dialect drives the BYO-Postgres mutator read; the SQLite dialect drives the daemon-backend mutator read through an interactive mutation session (and doubles as the offline differential oracle).",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "sideEffects": false,
+  "exports": {
+    ".": {
+      "@rindle/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md"
+  ],
+  "dependencies": {
+    "@rindle/client": "0.4.3"
+  },
+  "devDependencies": {
+    "@types/node": "^22.10.0",
+    "typescript": "^5.7.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc --noEmit",
+    "test": "tsc --noEmit && node --conditions=@rindle/source --test test/*.test.ts"
+  }
+}

package/src/ast.ts

@@ -0,0 +1,18 @@
+// Re-export the canonical Zero-wire AST types from @rindle/client — the single source of
+// truth for the query shape the builder emits (`client/src/ast.ts`) and the Rust engine
+// deserializes (`rust/src/ast.rs`). The compiler consumes these verbatim, so it can never
+// drift from what the client produces.
+export type {
+  Aggregate,
+  Ast,
+  Bound,
+  Condition,
+  CorrelatedSubquery,
+  Correlation,
+  Dir,
+  ExistsOp,
+  LitValue,
+  OrderPart,
+  SimpleOp,
+  ValuePosition,
+} from "@rindle/client";

package/src/catalog.ts

@@ -0,0 +1,59 @@
+// 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.
+
+/** 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>;
+}

package/src/complete-ordering.ts

@@ -0,0 +1,48 @@
+// 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.
+
+import type { Ast, Condition } from "./ast.ts";
+
+export function completeOrdering(ast: Ast, getPk: (table: string) => string[]): void {
+  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: Condition, getPk: (table: string) => string[]): void {
+  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: string[], ast: Ast): void {
+  const order = (ast.orderBy ??= []);
+  for (const pkCol of pk) {
+    if (!order.some(([field]) => field === pkCol)) {
+      order.push([pkCol, "asc"]);
+    }
+  }
+}

package/src/dialect.ts

@@ -0,0 +1,85 @@
+// 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).
+
+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;
+}
+
+function quoteIdent(name: string): string {
+  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: Dialect = {
+  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,
+};