@quereus/quereus 3.2.1 → 4.0.0

package/dist/src/planner/building/dml-target.js

@@ -0,0 +1,282 @@
+import { raiseMutationDiagnostic } from '../mutation/mutation-diagnostic.js';
+import { flattenCteBody } from '../mutation/cte-flatten.js';
+import { isRecursiveCte } from './with.js';
+/**
+ * Resolve a DML target identifier against the statement's own leading WITH clause,
+ * returning an ephemeral {@link MutableViewLike} over the named CTE's body — the
+ * adapter the view-mutation substrate routes through exactly as for a named view —
+ * or `undefined` when the target is not a CTE (a schema table / view / MV, whose
+ * dispatch is unchanged).
+ *
+ * A CTE name **shadows** a same-named schema table / view / MV as a write target,
+ * matching read semantics (a CTE shadows a base table in FROM). So the three DML
+ * builders call this *ahead* of their `getView` / `getMaintainedTable` /
+ * `buildTableReference` dispatch; a match short-circuits to the ephemeral substrate.
+ *
+ * Behavior:
+ *  - No leading WITH, or a schema-qualified target (`main.t` — a CTE is never
+ *    schema-qualified) → `undefined` (ordinary schema dispatch).
+ *  - Name miss against `withClause.ctes` → `undefined`.
+ *  - A genuinely-recursive (self-referential) target → the structured `recursive-cte`
+ *    diagnostic (never a generic table-not-found miss). Gated on the actual recursive
+ *    shape ({@link isRecursiveCte}), so a `with recursive` clause whose *target* member
+ *    is a plain non-self-referential body is still writable.
+ *  - Otherwise → an ephemeral view-like over the CTE body.
+ *
+ * The CTE body itself is re-planned by the substrate against its own base table(s);
+ * the caller threads the statement's CTEs into the planning context so any
+ * sibling-CTE read in the user `where` / `set` / source resolves.
+ *
+ * **Multi-level body.** When the body is a single-source projection-and-filter that reads
+ * ANOTHER (prior) sibling CTE, {@link flattenCteBody} collapses the linear chain down to a
+ * flat body over the terminal base table, so the substrate sees a genuine single base-table
+ * body (byte-equivalent to collapsing the chain into one CTE). The target's OWN name is passed
+ * as the shadow-out name so the load-bearing `with base as (… from base) …` case stays
+ * terminal; a non-updateable intermediate in the chain rejects with its own body-shape reason.
+ * When nothing inlines, `flattenCteBody` returns `cte.query`'s identity unchanged.
+ */
+export function resolveCteTarget(ctx, table, withClause) {
+    // No leading WITH, or a schema-qualified name (a bare CTE reference can never be
+    // schema-qualified): not a CTE target — leave it to the schema lookups.
+    if (!withClause || table.schema)
+        return undefined;
+    const cte = withClause.ctes.find(c => c.name.toLowerCase() === table.name.toLowerCase());
+    if (!cte)
+        return undefined;
+    // A recursive (self-referential) CTE has no recoverable single base operation —
+    // reject with the structured reason rather than the generic table-not-found miss
+    // the schema dispatch would otherwise raise downstream.
+    if (isRecursiveCte(withClause.recursive, cte)) {
+        raiseMutationDiagnostic({
+            reason: 'recursive-cte',
+            table: cte.name,
+            message: `cannot write through common table expression '${cte.name}': a recursive CTE has no recoverable base operation`,
+        });
+    }
+    return {
+        name: cte.name,
+        // Cosmetic for an ephemeral target: only lens / dependency lookups read it,
+        // and both are suppressed (ephemeral) or return undefined (no schema object).
+        // The current schema name keeps any leaked diagnostic readable.
+        schemaName: ctx.schemaManager.getCurrentSchemaName(),
+        // Flatten a single-source multi-level chain (`with a …, t as (select * from a) …`) down
+        // to a flat body over the terminal base table; the target's own name shadows out so its
+        // own same-named FROM source stays the real table. A non-chain body is returned unchanged.
+        selectAst: flattenCteBody(ctx, cte.query, ctesBefore(withClause, cte), cte.name),
+        columns: cte.columns,
+        ephemeral: true,
+        // Marks this as a CTE-name target (vs an inline subquery), gating the
+        // user-predicate self-read eager-capture path in the view-mutation builder.
+        cteTarget: true,
+        noun: 'common table expression',
+    };
+}
+/**
+ * Build an ephemeral {@link MutableViewLike} from an inline parenthesized subquery DML
+ * target (`update (select …) as v set …` / `delete from (select …) as v where …`), or
+ * `undefined` when the statement carries no `targetSource` (an ordinary named / CTE
+ * target — unchanged dispatch). This is the inline-subquery dual of
+ * {@link resolveCteTarget}: per docs/view-updateability.md, a subquery in `from` is
+ * structurally an inlined CTE, so the body routes through the SAME view-mutation
+ * substrate via the same ephemeral adapter.
+ *
+ *  - `name` is the user's alias `v` — the substrate resolves the user `where`/`set`
+ *    column refs (`v.col` and the bare form) against it, exactly as for a named view's
+ *    own name.
+ *  - `selectAst` is the parenthesized body, re-planned against its own base table(s).
+ *  - `columns` carries the optional `as v(a,b)` rename list (the renamed names are what
+ *    `where`/`set` reference; the body's own projection names are hidden).
+ *
+ * A **DML-bodied** inline target (`update (insert … returning …) as v …`) is rejected
+ * up front: {@link import('../../parser/parser.js')}'s `subquerySource` admits a
+ * RETURNING DML body in a FROM position, but it is not a meaningful *write* target — the
+ * body must be a SELECT/VALUES-shaped relation with recoverable base lineage. (A
+ * VALUES/`select`-with-no-base body still rejects downstream in `analyzeView`; this
+ * guard adds a target-named fast-fail for the DML case.)
+ *
+ * The caller threads the statement's CTEs into the planning context so a sibling-CTE
+ * read in the body / user `where` / `set` resolves. Unlike the CTE-name target, an
+ * inline subquery has no own-name to shadow out of its body, so no `cteNodes` deletion
+ * is needed.
+ */
+export function resolveSubqueryTarget(ctx, stmt) {
+    const source = stmt.targetSource;
+    if (!source)
+        return undefined;
+    const body = source.subquery;
+    if (body.type === 'insert' || body.type === 'update' || body.type === 'delete') {
+        raiseMutationDiagnostic({
+            reason: 'no-base-lineage',
+            table: source.alias,
+            message: `cannot write through inline subquery target '${source.alias}': a ${body.type.toUpperCase()} body has no recoverable base operation — the write target must be a SELECT-shaped relation`,
+        });
+    }
+    return {
+        name: source.alias,
+        // Cosmetic for an ephemeral target (see resolveCteTarget): only lens / dependency
+        // lookups read it, and both are suppressed (ephemeral) or return undefined.
+        schemaName: ctx.schemaManager.getCurrentSchemaName(),
+        // Flatten a single-source multi-level chain (`with t as (…) update (select … from t) …`)
+        // down to the terminal base table. An inline subquery sees ALL the statement's CTEs (it
+        // sits after the WITH clause) and has no own-name to shadow out. Non-chain bodies are
+        // returned unchanged.
+        selectAst: flattenCteBody(ctx, body, stmt.withClause?.ctes ?? [], undefined),
+        columns: source.columns,
+        ephemeral: true,
+        noun: 'derived table',
+    };
+}
+/** The CTEs of `withClause` defined strictly before `cte` — its in-scope prior siblings (the
+ *  visibility prefix a CTE-name target's body may inline against). */
+function ctesBefore(withClause, cte) {
+    const idx = withClause.ctes.indexOf(cte);
+    return idx <= 0 ? [] : withClause.ctes.slice(0, idx);
+}
+/**
+ * The planning context the view-mutation substrate uses for a CTE-name target: the
+ * statement's CTE-threaded context narrowed to the target's **prior-sibling prefix** —
+ * the target's OWN name **and every sibling defined at or after it** are removed from
+ * `cteNodes`.
+ *
+ * `buildFrom` resolves a FROM name against `cteNodes` *before* the schema, so leaving
+ * the target's own name in scope would make its body's same-named FROM source
+ * self-resolve to the CTE instead of the real object — silently wrong for the
+ * load-bearing shadow case `with base as (select … from base) update base …`, whose
+ * body must reach the REAL `base` table. A non-recursive CTE cannot reference itself,
+ * so SQL scopes its own name OUT of its body anyway.
+ *
+ * The same definition-order rule applies to **later** siblings: a non-recursive CTE is
+ * visible only to siblings defined after it, so the target's body sees only its PRIOR
+ * siblings — a later sibling is out of scope and a same-named FROM in the body binds the
+ * real object instead (`with x as (select … from fwd), fwd as (…) update x …` writes
+ * through to the real `fwd`). This mirrors {@link import('./with.js').buildCommonTableExpr},
+ * which builds each body against the prior siblings only.
+ *
+ * PRIOR sibling CTEs stay in scope, so a prior-sibling read in the body still resolves.
+ *
+ * Two consequences for the shared user-clause context (body and user `where`/`set`/
+ * `returning` share this one context in v1 — see
+ * {@link import('./view-mutation-builder.js')}):
+ *  - A user-clause read of a LATER-defined sibling resolves to a real same-named table
+ *    (or errors table-not-found), not the later CTE — never silently wrong.
+ *  - A user-clause self-read of the target name (`… where id in (select id from t)`)
+ *    does NOT resolve the CTE here — the self-capture path (`ctxSelfRead`) re-adds the
+ *    target name for that, leaving this context Halloween-safe.
+ * See docs/view-updateability.md § CTEs and Subqueries.
+ */
+export function contextForCteTarget(ctx, withClause, targetName) {
+    if (!ctx.cteNodes?.size)
+        return ctx;
+    const target = targetName.toLowerCase();
+    // The target itself + every sibling defined at-or-after it are out of scope inside the
+    // target's body (a non-recursive CTE sees only PRIOR siblings). `resolveCteTarget`
+    // already matched targetName, so idx is normally >= 0; guard the not-found case to a
+    // no-op slice rather than slicing from the end.
+    const idx = withClause.ctes.findIndex(c => c.name.toLowerCase() === target);
+    if (idx < 0)
+        return ctx;
+    const shadowed = new Set(withClause.ctes.slice(idx).map(c => c.name.toLowerCase()));
+    const cteNodes = new Map(ctx.cteNodes);
+    for (const name of shadowed)
+        cteNodes.delete(name);
+    return { ...ctx, cteNodes };
+}
+/**
+ * True iff the user clauses of an UPDATE/DELETE **self-read** the CTE-name target
+ * `targetName` — a FROM source named `targetName` (unqualified) appears in any subquery
+ * reachable from the `where`, an assignment value, or a RETURNING expression. This is
+ * the gate the view-mutation builder uses to build the eager self-read capture + split
+ * planning context (docs/view-updateability.md § Common Table Expressions —
+ * self-reference): the body is planned target-EXCLUDED (so a same-named base FROM reaches
+ * the real table), while the user clause's self-read resolves `t` against a materialized
+ * snapshot of the body — a Halloween-safe positive write. Absent a self-read this returns
+ * false and the lowering is byte-identical to today (no extra materialization).
+ *
+ * A CTE name is never schema-qualified, so only an unqualified FROM-source name matches.
+ * The scan descends nested subqueries / their FROM (incl. join legs, TVF args, subquery
+ * sources) and compound / union legs; a DML…RETURNING subquery is not descended (the
+ * capture path never lowers one).
+ */
+export function needsSelfCapture(stmt, targetName) {
+    const target = targetName.toLowerCase();
+    const exprs = [];
+    if (stmt.where)
+        exprs.push(stmt.where);
+    if (stmt.type === 'update')
+        for (const a of stmt.assignments)
+            exprs.push(a.value);
+    if (stmt.returning)
+        for (const rc of stmt.returning)
+            if (rc.type !== 'all')
+                exprs.push(rc.expr);
+    return exprs.some(e => exprReadsTarget(e, target));
+}
+/** True iff any subquery operand of `expr` reads a FROM source named `target`. */
+function exprReadsTarget(expr, target) {
+    switch (expr.type) {
+        case 'binary':
+            return exprReadsTarget(expr.left, target) || exprReadsTarget(expr.right, target);
+        case 'unary':
+        case 'cast':
+        case 'collate':
+            return exprReadsTarget(expr.expr, target);
+        case 'function':
+            return expr.args.some(a => exprReadsTarget(a, target));
+        case 'between':
+            return exprReadsTarget(expr.expr, target) || exprReadsTarget(expr.lower, target) || exprReadsTarget(expr.upper, target);
+        case 'case':
+            return (!!expr.baseExpr && exprReadsTarget(expr.baseExpr, target))
+                || expr.whenThenClauses.some(w => exprReadsTarget(w.when, target) || exprReadsTarget(w.then, target))
+                || (!!expr.elseExpr && exprReadsTarget(expr.elseExpr, target));
+        case 'in':
+            return exprReadsTarget(expr.expr, target)
+                || (!!expr.values && expr.values.some(v => exprReadsTarget(v, target)))
+                || (!!expr.subquery && queryReadsTarget(expr.subquery, target));
+        case 'subquery':
+            return queryReadsTarget(expr.query, target);
+        case 'exists':
+            return queryReadsTarget(expr.subquery, target);
+        case 'windowFunction':
+            return expr.function.args.some(a => exprReadsTarget(a, target))
+                || (!!expr.window?.partitionBy && expr.window.partitionBy.some(e => exprReadsTarget(e, target)))
+                || (!!expr.window?.orderBy && expr.window.orderBy.some(ob => exprReadsTarget(ob.expr, target)));
+        default:
+            // literal / identifier / parameter / functionSource — no subquery operand.
+            return false;
+    }
+}
+/** True iff a relation-producing subquery reads (anywhere) a FROM source named `target`. */
+function queryReadsTarget(query, target) {
+    if (query.type === 'select') {
+        return (!!query.from && query.from.some(fc => fromReadsTarget(fc, target)))
+            || query.columns.some(rc => rc.type !== 'all' && exprReadsTarget(rc.expr, target))
+            || (!!query.where && exprReadsTarget(query.where, target))
+            || (!!query.groupBy && query.groupBy.some(e => exprReadsTarget(e, target)))
+            || (!!query.having && exprReadsTarget(query.having, target))
+            || (!!query.orderBy && query.orderBy.some(ob => exprReadsTarget(ob.expr, target)))
+            || (!!query.limit && exprReadsTarget(query.limit, target))
+            || (!!query.offset && exprReadsTarget(query.offset, target))
+            || (!!query.compound && queryReadsTarget(query.compound.select, target))
+            || (!!query.union && queryReadsTarget(query.union, target));
+    }
+    if (query.type === 'values') {
+        return query.values.some(row => row.some(e => exprReadsTarget(e, target)));
+    }
+    // A DML … RETURNING subquery — not descended (the capture path never lowers one).
+    return false;
+}
+/** True iff a FROM clause names (or nests a subquery that reads) a source named `target`. */
+function fromReadsTarget(fc, target) {
+    switch (fc.type) {
+        case 'table':
+            return !fc.table.schema && fc.table.name.toLowerCase() === target;
+        case 'join':
+            return fromReadsTarget(fc.left, target) || fromReadsTarget(fc.right, target)
+                || (!!fc.condition && exprReadsTarget(fc.condition, target));
+        case 'functionSource':
+            return fc.args.some(a => exprReadsTarget(a, target));
+        case 'subquerySource':
+            return queryReadsTarget(fc.subquery, target);
+    }
+}
+//# sourceMappingURL=dml-target.js.map

package/dist/src/planner/building/dml-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dml-target.js","sourceRoot":"","sources":["../../../../src/planner/building/dml-target.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,gBAAgB,CAC/B,GAAoB,EACpB,KAAyB,EACzB,UAAsC;IAEtC,iFAAiF;IACjF,wEAAwE;IACxE,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACzF,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAE3B,gFAAgF;IAChF,iFAAiF;IACjF,wDAAwD;IACxD,IAAI,cAAc,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/C,uBAAuB,CAAC;YACvB,MAAM,EAAE,eAAe;YACvB,KAAK,EAAE,GAAG,CAAC,IAAI;YACf,OAAO,EAAE,iDAAiD,GAAG,CAAC,IAAI,sDAAsD;SACxH,CAAC,CAAC;IACJ,CAAC;IAED,OAAO;QACN,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,4EAA4E;QAC5E,8EAA8E;QAC9E,gEAAgE;QAChE,UAAU,EAAE,GAAG,CAAC,aAAa,CAAC,oBAAoB,EAAE;QACpD,wFAAwF;QACxF,wFAAwF;QACxF,2FAA2F;QAC3F,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;QAChF,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,IAAI;QACf,sEAAsE;QACtE,4EAA4E;QAC5E,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,yBAAyB;KAC/B,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,qBAAqB,CACpC,GAAoB,EACpB,IAAqC;IAErC,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;IACjC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChF,uBAAuB,CAAC;YACvB,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,OAAO,EAAE,gDAAgD,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,6FAA6F;SACjM,CAAC,CAAC;IACJ,CAAC;IAED,OAAO;QACN,IAAI,EAAE,MAAM,CAAC,KAAK;QAClB,kFAAkF;QAClF,4EAA4E;QAC5E,UAAU,EAAE,GAAG,CAAC,aAAa,CAAC,oBAAoB,EAAE;QACpD,yFAAyF;QACzF,wFAAwF;QACxF,sFAAsF;QACtF,sBAAsB;QACtB,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,EAAE,SAAS,CAAC;QAC5E,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,eAAe;KACrB,CAAC;AACH,CAAC;AAED;sEACsE;AACtE,SAAS,UAAU,CAAC,UAA0B,EAAE,GAAwB;IACvE,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,mBAAmB,CAClC,GAAoB,EACpB,UAA0B,EAC1B,UAAkB;IAElB,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACxC,uFAAuF;IACvF,mFAAmF;IACnF,qFAAqF;IACrF,gDAAgD;IAChD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;IAC5E,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,QAAQ;QAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAqC,EAAE,UAAkB;IACzF,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IACxC,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,IAAI,IAAI,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClF,IAAI,IAAI,CAAC,SAAS;QAAE,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,kFAAkF;AAClF,SAAS,eAAe,CAAC,IAAoB,EAAE,MAAc;IAC5D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClF,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACb,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3C,KAAK,UAAU;YACd,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACxD,KAAK,SAAS;YACb,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzH,KAAK,MAAM;YACV,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;mBAC9D,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;mBAClG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,KAAK,IAAI;YACR,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC;mBACrC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;mBACpE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,KAAK,UAAU;YACd,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACZ,OAAO,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChD,KAAK,gBAAgB;YACpB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;mBAC3D,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;mBAC7F,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAClG;YACC,2EAA2E;YAC3E,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,4FAA4F;AAC5F,SAAS,gBAAgB,CAAC,KAAoB,EAAE,MAAc;IAC7D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;eACvE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;eAC/E,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;eACvD,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;eACxE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;eACzD,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;eAC/E,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;eACvD,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;eACzD,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;eACrE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,kFAAkF;IAClF,OAAO,KAAK,CAAC;AACd,CAAC;AAED,6FAA6F;AAC7F,SAAS,eAAe,CAAC,EAAkB,EAAE,MAAc;IAC1D,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC;QACnE,KAAK,MAAM;YACV,OAAO,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;mBACxE,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,eAAe,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/D,KAAK,gBAAgB;YACpB,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACtD,KAAK,gBAAgB;YACpB,OAAO,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;AACF,CAAC"}

package/dist/src/planner/building/drop-index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drop-index.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/drop-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,GAAG,aAAa,CAU1F"}
+{"version":3,"file":"drop-index.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/drop-index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,GAAG,aAAa,CAa1F"}

package/dist/src/planner/building/drop-index.js

@@ -3,7 +3,10 @@ import { DropIndexNode } from '../nodes/drop-index-node.js';
  * Builds a plan node for DROP INDEX statements.
  */
 export function buildDropIndexStmt(ctx, stmt) {
-    const schemaName = stmt.name.schema || 'main';
+    // Canonical schemaName, unqualified names landing in the current schema —
+    // symmetric with createIndex's resolution and the other DDL builders.
+    const sm = ctx.db.schemaManager;
+    const schemaName = stmt.name.schema ? sm.canonicalSchemaName(stmt.name.schema) : sm.getCurrentSchemaName();
     const indexName = stmt.name.name;
     return new DropIndexNode(ctx.scope, indexName, schemaName, stmt.ifExists);
 }

package/dist/src/planner/building/drop-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop-index.js","sourceRoot":"","sources":["../../../../src/planner/building/drop-index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAoB,EAAE,IAAkB;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEjC,OAAO,IAAI,aAAa,CACvB,GAAG,CAAC,KAAK,EACT,SAAS,EACT,UAAU,EACV,IAAI,CAAC,QAAQ,CACb,CAAC;AACH,CAAC"}
+{"version":3,"file":"drop-index.js","sourceRoot":"","sources":["../../../../src/planner/building/drop-index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAoB,EAAE,IAAkB;IAC1E,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC;IAC3G,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEjC,OAAO,IAAI,aAAa,CACvB,GAAG,CAAC,KAAK,EACT,SAAS,EACT,UAAU,EACV,IAAI,CAAC,QAAQ,CACb,CAAC;AACH,CAAC"}

package/dist/src/planner/building/drop-view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drop-view.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/drop-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,GAAG,YAAY,CAWxF"}
+{"version":3,"file":"drop-view.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/drop-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,GAAG,YAAY,CAaxF"}

package/dist/src/planner/building/drop-view.js

@@ -3,8 +3,10 @@ import { DropViewNode } from '../nodes/drop-view-node.js';
  * Builds a plan node for DROP VIEW statements.
  */
 export function buildDropViewStmt(ctx, stmt) {
-    // Extract schema and view name
-    const schemaName = stmt.name.schema || 'main';
+    // Canonical schemaName, unqualified names landing in the current schema —
+    // symmetric with buildCreateViewStmt and the other DDL builders.
+    const sm = ctx.db.schemaManager;
+    const schemaName = stmt.name.schema ? sm.canonicalSchemaName(stmt.name.schema) : sm.getCurrentSchemaName();
     const viewName = stmt.name.name;
     return new DropViewNode(ctx.scope, viewName, schemaName, stmt.ifExists);
 }

package/dist/src/planner/building/drop-view.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop-view.js","sourceRoot":"","sources":["../../../../src/planner/building/drop-view.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAoB,EAAE,IAAkB;IACzE,+BAA+B;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEhC,OAAO,IAAI,YAAY,CACtB,GAAG,CAAC,KAAK,EACT,QAAQ,EACR,UAAU,EACV,IAAI,CAAC,QAAQ,CACb,CAAC;AACH,CAAC"}
+{"version":3,"file":"drop-view.js","sourceRoot":"","sources":["../../../../src/planner/building/drop-view.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAoB,EAAE,IAAkB;IACzE,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC;IAC3G,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEhC,OAAO,IAAI,YAAY,CACtB,GAAG,CAAC,KAAK,EACT,QAAQ,EACR,UAAU,EACV,IAAI,CAAC,QAAQ,CACb,CAAC;AACH,CAAC"}

package/dist/src/planner/building/expression.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,KAAK,EAAE,cAAc,EAAsB,MAAM,uBAAuB,CAAC;AA4DhF;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,eAAe,GAAE,OAAe,GAAG,cAAc,CAqM5H"}
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/expression.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,KAAK,EAAE,cAAc,EAAsB,MAAM,uBAAuB,CAAC;AA6FhF;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,eAAe,GAAE,OAAe,GAAG,cAAc,CAsN5H"}

package/dist/src/planner/building/expression.js

@@ -5,10 +5,37 @@ import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
 import { resolveColumn, resolveParameter } from '../resolve.js';
 import { Ambiguous } from '../scopes/scope.js';
-import { buildSelectStmt } from './select.js';
+import { buildSelectStmt, buildValuesStmt } from './select.js';
+import { buildInsertStmt } from './insert.js';
+import { buildUpdateStmt } from './update.js';
+import { buildDeleteStmt } from './delete.js';
 import { resolveWindowFunction } from '../../schema/window-function.js';
 import { buildFunctionCall } from './function-call.js';
 import { createLogger } from '../../common/logger.js';
+/**
+ * Plans a `QueryExpr` in scalar / IN / EXISTS expression position.
+ *
+ * SELECT and VALUES legs lower to their normal relational builders. DML
+ * legs (INSERT/UPDATE/DELETE with RETURNING — the parser requires RETURNING
+ * in this position) build through the standard DML builders and yield a
+ * `ReturningNode`. The runtime emitters for scalar / IN / EXISTS detect a
+ * side-effecting inner via `subtreeHasSideEffects` and apply full-drain +
+ * run-once semantics (see `docs/runtime.md`).
+ */
+function buildExpressionPositionQueryExpr(ctx, query, preserveInputColumns, _siteLabel) {
+    switch (query.type) {
+        case 'select':
+            return buildSelectStmt(ctx, query, ctx.cteNodes, preserveInputColumns);
+        case 'values':
+            return buildValuesStmt(ctx, query);
+        case 'insert':
+            return buildInsertStmt(ctx, query);
+        case 'update':
+            return buildUpdateStmt(ctx, query);
+        case 'delete':
+            return buildDeleteStmt(ctx, query);
+    }
+}
 const logger = createLogger('planner:expression');
 /** Comparison operators that should trigger cross-category coercion insertion */
 const COMPARISON_OPS = new Set(['=', '==', '!=', '<>', '<', '<=', '>', '>=']);
@@ -97,7 +124,13 @@ export function buildExpression(ctx, expr, allowAggregates = false) {
             if (COMPARISON_OPS.has(expr.operator)) {
                 [left, right] = insertCrossTypeCoercion(ctx.scope, left, right);
             }
-            return new BinaryOpNode(ctx.scope, expr, left, right);
+            const binaryNode = new BinaryOpNode(ctx.scope, expr, left, right);
+            // Comparisons validate their collation lattice in generateType, which is
+            // lazily cached — force it so a conflict errors at prepare time.
+            if (COMPARISON_OPS.has(expr.operator)) {
+                binaryNode.getType();
+            }
+            return binaryNode;
         }
         case 'case': {
             // Build base expression if present
@@ -131,11 +164,8 @@ export function buildExpression(ctx, expr, allowAggregates = false) {
             };
             // Preserve input columns in scalar subqueries to ensure correlated predicates
             // have access to all underlying attributes.
-            const subqueryPlan = buildSelectStmt(subqueryContext, expr.query, ctx.cteNodes, true);
+            const subqueryPlan = buildExpressionPositionQueryExpr(subqueryContext, expr.query, true, 'scalar subquery');
             logger(`Building scalar subquery with preserveInputColumns=true`);
-            if (subqueryPlan.getType().typeClass !== 'relation') {
-                throw new QuereusError('Subquery must produce a relation', StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
-            }
             // Validate that scalar subquery returns exactly one column
             const scalarSubqueryType = subqueryPlan.getType();
             if (scalarSubqueryType.typeClass === 'relation' && scalarSubqueryType.columns.length !== 1) {
@@ -159,34 +189,42 @@ export function buildExpression(ctx, expr, allowAggregates = false) {
             if (windowSchema.requiresOrderBy && (!expr.window?.orderBy || expr.window.orderBy.length === 0)) {
                 throw new QuereusError(`Window function ${expr.function.name} requires ORDER BY clause`, StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
             }
-            return new WindowFunctionCallNode(ctx.scope, expr, expr.function.name, expr.function.distinct ?? false);
+            // Build the argument expressions to derive their logical types. The
+            // authoritative argument plan nodes are (re)built in select-window.ts for
+            // the WindowNode; these exist only so this node's getType() can consult
+            // inferReturnType (e.g. min(text_col) over (...) must type as TEXT so a
+            // surrounding `|| 'x'` types correctly).
+            const windowArgTypes = expr.function.args.map(arg => buildExpression(ctx, arg, false).getType().logicalType);
+            return new WindowFunctionCallNode(ctx.scope, expr, expr.function.name, expr.function.distinct ?? false, undefined, windowArgTypes);
         }
         case 'in': {
             // Build the left expression
             const leftExpr = buildExpression(ctx, expr.expr, allowAggregates);
             if (expr.subquery) {
-                // IN subquery: expr IN (SELECT ...)
+                // IN subquery: expr IN (<QueryExpr>)
                 const inSubqueryContext = {
                     ...ctx,
                     cteReferenceCache: ctx.cteReferenceCache || new Map()
                 };
-                const inSubqueryPlan = buildSelectStmt(inSubqueryContext, expr.subquery, ctx.cteNodes, true);
-                if (inSubqueryPlan.getType().typeClass !== 'relation') {
-                    throw new QuereusError('IN subquery must produce a relation', StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
-                }
+                const inSubqueryPlan = buildExpressionPositionQueryExpr(inSubqueryContext, expr.subquery, true, 'IN subquery');
                 // Validate that subquery returns exactly one column
                 const subqueryType = inSubqueryPlan.getType();
                 if (subqueryType.typeClass === 'relation' && subqueryType.columns.length !== 1) {
                     throw new QuereusError('IN subquery must return exactly one column', StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
                 }
-                return new InNode(ctx.scope, expr, leftExpr, inSubqueryPlan);
+                const inSubqueryNode = new InNode(ctx.scope, expr, leftExpr, inSubqueryPlan);
+                // Force the lazily-cached generateType so a collation-lattice
+                // conflict errors at prepare time, not first emit.
+                inSubqueryNode.getType();
+                return inSubqueryNode;
             }
             else if (expr.values) {
                 // IN value list: expr IN (value1, value2, ...)
                 const valueExprs = expr.values.map(val => buildExpression(ctx, val, allowAggregates));
-                // Create a special IN node for value lists
-                // Import the InNode from subquery module
-                return new InNode(ctx.scope, expr, leftExpr, undefined, valueExprs);
+                const inListNode = new InNode(ctx.scope, expr, leftExpr, undefined, valueExprs);
+                // Same eager collation-lattice validation as the subquery form.
+                inListNode.getType();
+                return inListNode;
             }
             else {
                 throw new QuereusError('IN expression must have either values or subquery', StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
@@ -198,10 +236,7 @@ export function buildExpression(ctx, expr, allowAggregates = false) {
                 ...ctx,
                 cteReferenceCache: ctx.cteReferenceCache || new Map()
             };
-            const existsSubqueryPlan = buildSelectStmt(existsSubqueryContext, expr.subquery, ctx.cteNodes, true);
-            if (existsSubqueryPlan.getType().typeClass !== 'relation') {
-                throw new QuereusError('EXISTS subquery must produce a relation', StatusCode.ERROR, undefined, expr.loc?.start.line, expr.loc?.start.column);
-            }
+            const existsSubqueryPlan = buildExpressionPositionQueryExpr(existsSubqueryContext, expr.subquery, true, 'EXISTS subquery');
             return new ExistsNode(ctx.scope, expr, existsSubqueryPlan);
         }
         case 'between': {
@@ -212,7 +247,11 @@ export function buildExpression(ctx, expr, allowAggregates = false) {
             // Insert explicit casts for cross-category operands (same logic as comparisons)
             [exprNode, lowerNode] = insertCrossTypeCoercion(ctx.scope, exprNode, lowerNode);
             [exprNode, upperNode] = insertCrossTypeCoercion(ctx.scope, exprNode, upperNode);
-            return new BetweenNode(ctx.scope, expr, exprNode, lowerNode, upperNode);
+            const betweenNode = new BetweenNode(ctx.scope, expr, exprNode, lowerNode, upperNode);
+            // Force the lazily-cached generateType so a per-bound collation-lattice
+            // conflict errors at prepare time.
+            betweenNode.getType();
+            return betweenNode;
         }
         default:
             // eslint-disable-next-line @typescript-eslint/no-explicit-any

package/dist/src/planner/building/expression.js.map

@@ -1 +1 @@
-{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../../../src/planner/building/expression.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAC9H,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAErE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,MAAM,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;AAElD,iFAAiF;AACjF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9E;;;;GAIG;AACH,SAAS,uBAAuB,CAC/B,KAAyC,EACzC,IAAoB,EACpB,KAAqB;IAErB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;IAEjD,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;IAC5C,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAC9C,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;IAC5C,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAE9C,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;QACjC,4DAA4D;QAC5D,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,YAAY,IAAI,WAAW,EAAE,CAAC;QACjC,4DAA4D;QAC5D,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtB,CAAC;AAED,sFAAsF;AACtF,SAAS,UAAU,CAClB,KAAyC,EACzC,OAAuB,EACvB,UAAkB;IAElB,gFAAgF;IAChF,MAAM,aAAa,GAAiB;QACnC,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAqB,EAAE,cAAc;QACzE,UAAU;KACV,CAAC;IACF,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,GAAoB,EAAE,IAAoB,EAAE,kBAA2B,KAAK;IAC1G,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAE1C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,oBAAoB,EAAE,CAAC,CAAC;YAElG,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,YAAY,CAAC,0BAA0B,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3I,CAAC;YACD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,MAAM,IAAI,YAAY,CAAC,qBAAqB,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtI,CAAC;YACD,OAAO,aAA+B,CAAC;QAC3C,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,IAAI,YAAY,CAAC,wBAAwB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvJ,CAAC;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,MAAM,IAAI,YAAY,CAAC,wBAAwB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvJ,CAAC;YACD,OAAO,eAAiC,CAAC;QAC7C,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,8EAA8E;YAC9E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAuB,CAAC;gBACjD,IAAI,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACnF,yDAAyD;oBACzD,MAAM,cAAc,GAAoB;wBACtC,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK;wBACtF,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS;wBACjE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,kDAAkD;qBACjE,CAAC;oBACF,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YAED,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACjE,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC5D,IAAI,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAC9D,mEAAmE;YACnE,sEAAsE;YACtE,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC;QAEC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,mCAAmC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAElG,0BAA0B;YAC1B,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC1D,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;gBACxD,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;aACzD,CAAC,CAAC,CAAC;YAEJ,mCAAmC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAElG,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;QAClF,CAAC;QAEC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACxE,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QAC1D,CAAC;QAEH,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QAEpE,KAAK,UAAU,CAAC,CAAC,CAAC;YACf,kEAAkE;YAClE,gGAAgG;YAChG,2FAA2F;YAC3F,MAAM,CAAC,0DAA0D,GAAG,CAAC,iBAAiB,EAAE,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;YAC/G,MAAM,eAAe,GAAG;gBACtB,GAAG,GAAG;gBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;aACtD,CAAC;YACF,8EAA8E;YAC9E,4CAA4C;YAC5C,MAAM,YAAY,GAAG,eAAe,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACtF,MAAM,CAAC,yDAAyD,CAAC,CAAC;YAClE,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpD,MAAM,IAAI,YAAY,CAAC,kCAAkC,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACxI,CAAC;YACD,2DAA2D;YAC3D,MAAM,kBAAkB,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;YAClD,IAAI,kBAAkB,CAAC,SAAS,KAAK,UAAU,IAAK,kBAAmC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7G,MAAM,IAAI,YAAY,CAAC,gDAAgD,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtJ,CAAC;YACD,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,YAAkC,CAAC,CAAC;QACxF,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACnB,oEAAoE;YACpE,2DAA2D;YAC3D,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,MAAM,IAAI,YAAY,CAAC,4BAA4B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtJ,CAAC;YAED,sDAAsD;YACtD,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;YACpG,IAAI,YAAY,CAAC,QAAQ,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;gBAChH,MAAM,IAAI,YAAY,CAAC,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,YAAY,YAAY,CAAC,QAAQ,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1N,CAAC;YAED,gCAAgC;YAChC,IAAI,YAAY,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChG,MAAM,IAAI,YAAY,CAAC,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,2BAA2B,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtK,CAAC;YAED,OAAO,IAAI,sBAAsB,CAC/B,GAAG,CAAC,KAAK,EACT,IAAI,EACJ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAChC,CAAC;QACP,CAAC;QAED,KAAK,IAAI,CAAC,CAAC,CAAC;YACP,4BAA4B;YAC5B,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAElE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,oCAAoC;gBACpC,MAAM,iBAAiB,GAAG;oBACxB,GAAG,GAAG;oBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;iBACtD,CAAC;gBACF,MAAM,cAAc,GAAG,eAAe,CAAC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC7F,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;oBACtD,MAAM,IAAI,YAAY,CAAC,qCAAqC,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC3I,CAAC;gBACD,oDAAoD;gBACpD,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC;gBAC9C,IAAI,YAAY,CAAC,SAAS,KAAK,UAAU,IAAK,YAA6B,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjG,MAAM,IAAI,YAAY,CAAC,4CAA4C,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBAClJ,CAAC;gBACS,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAoC,CAAC,CAAC;YACvF,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9B,+CAA+C;gBAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;gBACtF,2CAA2C;gBAC3C,yCAAyC;gBACzC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,YAAY,CAAC,mDAAmD,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACzJ,CAAC;QACN,CAAC;QAEC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACb,4BAA4B;YAC5B,MAAM,qBAAqB,GAAG;gBAC5B,GAAG,GAAG;gBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,kBAAkB,GAAG,eAAe,CAAC,qBAAqB,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACrG,IAAI,kBAAkB,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBAC1D,MAAM,IAAI,YAAY,CAAC,yCAAyC,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC/I,CAAC;YACD,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAwC,CAAC,CAAC;QACtF,CAAC;QAEC,KAAK,SAAS,CAAC,CAAC,CAAC;YACd,6DAA6D;YAC7D,IAAI,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAChE,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAClE,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAClE,gFAAgF;YAChF,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAChF,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAChF,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAC7E,CAAC;QAED;YACI,8DAA8D;YAC9D,MAAM,IAAI,YAAY,CAAC,oBAAqB,IAAY,CAAC,IAAI,yCAAyC,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7L,CAAC;AACH,CAAC"}
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../../../src/planner/building/expression.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAC9H,OAAO,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAErE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD;;;;;;;;;GASG;AACH,SAAS,gCAAgC,CACxC,GAAoB,EACpB,KAAoB,EACpB,oBAA6B,EAC7B,UAAiE;IAEjE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,oBAAoB,CAAuB,CAAC;QAC9F,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpC,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,CAAuB,CAAC;QAC1D,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,CAAuB,CAAC;QAC1D,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,KAAK,CAAuB,CAAC;IAC3D,CAAC;AACF,CAAC;AAED,MAAM,MAAM,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;AAElD,iFAAiF;AACjF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAE9E;;;;GAIG;AACH,SAAS,uBAAuB,CAC/B,KAAyC,EACzC,IAAoB,EACpB,KAAqB;IAErB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;IAC/C,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC;IAEjD,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;IAC5C,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAC9C,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;IAC5C,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;IAE9C,IAAI,WAAW,IAAI,YAAY,EAAE,CAAC;QACjC,4DAA4D;QAC5D,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,YAAY,IAAI,WAAW,EAAE,CAAC;QACjC,4DAA4D;QAC5D,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtB,CAAC;AAED,sFAAsF;AACtF,SAAS,UAAU,CAClB,KAAyC,EACzC,OAAuB,EACvB,UAAkB;IAElB,gFAAgF;IAChF,MAAM,aAAa,GAAiB;QACnC,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAqB,EAAE,cAAc;QACzE,UAAU;KACV,CAAC;IACF,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,GAAoB,EAAE,IAAoB,EAAE,kBAA2B,KAAK;IAC1G,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAE1C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,oBAAoB,EAAE,CAAC,CAAC;YAElG,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,YAAY,CAAC,0BAA0B,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3I,CAAC;YACD,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,MAAM,IAAI,YAAY,CAAC,qBAAqB,IAAI,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtI,CAAC;YACD,OAAO,aAA+B,CAAC;QAC3C,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC1D,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,IAAI,YAAY,CAAC,wBAAwB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvJ,CAAC;YACD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,MAAM,IAAI,YAAY,CAAC,wBAAwB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvJ,CAAC;YACD,OAAO,eAAiC,CAAC;QAC7C,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,8EAA8E;YAC9E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC1D,MAAM,WAAW,GAAG,IAAI,CAAC,IAAuB,CAAC;gBACjD,IAAI,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBACnF,yDAAyD;oBACzD,MAAM,cAAc,GAAoB;wBACtC,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK;wBACtF,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS;wBACjE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,kDAAkD;qBACjE,CAAC;oBACF,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;YAED,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACjE,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC5D,IAAI,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAC9D,mEAAmE;YACnE,sEAAsE;YACtE,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAClE,yEAAyE;YACzE,iEAAiE;YACjE,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,UAAU,CAAC,OAAO,EAAE,CAAC;YACvB,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;QAEC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,mCAAmC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAElG,0BAA0B;YAC1B,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC1D,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;gBACxD,IAAI,EAAE,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC;aACzD,CAAC,CAAC,CAAC;YAEJ,mCAAmC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAElG,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;QAClF,CAAC;QAEC,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACrE,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACpD,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACxE,OAAO,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QAC1D,CAAC;QAEH,KAAK,UAAU,CAAC,CAAC,OAAO,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;QAEpE,KAAK,UAAU,CAAC,CAAC,CAAC;YACf,kEAAkE;YAClE,gGAAgG;YAChG,2FAA2F;YAC3F,MAAM,CAAC,0DAA0D,GAAG,CAAC,iBAAiB,EAAE,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;YAC/G,MAAM,eAAe,GAAG;gBACtB,GAAG,GAAG;gBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;aACtD,CAAC;YACF,8EAA8E;YAC9E,4CAA4C;YAC5C,MAAM,YAAY,GAAG,gCAAgC,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAC5G,MAAM,CAAC,yDAAyD,CAAC,CAAC;YAClE,2DAA2D;YAC3D,MAAM,kBAAkB,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC;YAClD,IAAI,kBAAkB,CAAC,SAAS,KAAK,UAAU,IAAK,kBAAmC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7G,MAAM,IAAI,YAAY,CAAC,gDAAgD,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtJ,CAAC;YACD,OAAO,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QAClE,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACnB,oEAAoE;YACpE,2DAA2D;YAC3D,MAAM,YAAY,GAAG,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,MAAM,IAAI,YAAY,CAAC,4BAA4B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtJ,CAAC;YAED,sDAAsD;YACtD,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC;YACpG,IAAI,YAAY,CAAC,QAAQ,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,YAAY,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;gBAChH,MAAM,IAAI,YAAY,CAAC,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,YAAY,YAAY,CAAC,QAAQ,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1N,CAAC;YAED,gCAAgC;YAChC,IAAI,YAAY,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;gBAChG,MAAM,IAAI,YAAY,CAAC,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,2BAA2B,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACtK,CAAC;YAED,oEAAoE;YACpE,0EAA0E;YAC1E,wEAAwE;YACxE,wEAAwE;YACxE,yCAAyC;YACzC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAClD,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,CACvD,CAAC;YAEF,OAAO,IAAI,sBAAsB,CAC/B,GAAG,CAAC,KAAK,EACT,IAAI,EACJ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,KAAK,EAC/B,SAAS,EACT,cAAc,CACf,CAAC;QACP,CAAC;QAED,KAAK,IAAI,CAAC,CAAC,CAAC;YACP,4BAA4B;YAC5B,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAElE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,qCAAqC;gBACrC,MAAM,iBAAiB,GAAG;oBACxB,GAAG,GAAG;oBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;iBACtD,CAAC;gBACF,MAAM,cAAc,GAAG,gCAAgC,CAAC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;gBAC/G,oDAAoD;gBACpD,MAAM,YAAY,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC;gBAC9C,IAAI,YAAY,CAAC,SAAS,KAAK,UAAU,IAAK,YAA6B,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjG,MAAM,IAAI,YAAY,CAAC,4CAA4C,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBAClJ,CAAC;gBACS,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;gBAC7E,8DAA8D;gBAC9D,mDAAmD;gBACnD,cAAc,CAAC,OAAO,EAAE,CAAC;gBACzB,OAAO,cAAc,CAAC;YAC1B,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC9B,+CAA+C;gBAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;gBACtF,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBAChF,gEAAgE;gBAChE,UAAU,CAAC,OAAO,EAAE,CAAC;gBACrB,OAAO,UAAU,CAAC;YACrB,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,YAAY,CAAC,mDAAmD,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACzJ,CAAC;QACN,CAAC;QAEC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACb,4BAA4B;YAC5B,MAAM,qBAAqB,GAAG;gBAC5B,GAAG,GAAG;gBACN,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,IAAI,GAAG,EAAE;aACtD,CAAC;YACF,MAAM,kBAAkB,GAAG,gCAAgC,CAAC,qBAAqB,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAC3H,OAAO,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAChE,CAAC;QAEC,KAAK,SAAS,CAAC,CAAC,CAAC;YACd,6DAA6D;YAC7D,IAAI,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAChE,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAClE,IAAI,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YAClE,gFAAgF;YAChF,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAChF,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,uBAAuB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAChF,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;YACrF,wEAAwE;YACxE,mCAAmC;YACnC,WAAW,CAAC,OAAO,EAAE,CAAC;YACtB,OAAO,WAAW,CAAC;QACxB,CAAC;QAED;YACI,8DAA8D;YAC9D,MAAM,IAAI,YAAY,CAAC,oBAAqB,IAAY,CAAC,IAAI,yCAAyC,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7L,CAAC;AACH,CAAC"}

package/dist/src/planner/building/foreign-key-builder.d.ts

@@ -3,6 +3,36 @@ import type { TableSchema } from '../../schema/table.js';
 import { RowOpFlag } from '../../schema/table.js';
 import type { Attribute } from '../nodes/plan-node.js';
 import type { ConstraintCheck } from '../nodes/constraint-check-node.js';
+import * as AST from '../../parser/ast.js';
+/**
+ * Assembles the MATCH SIMPLE-guarded child-side FK existence expression:
+ *
+ *   ( <q>.<child1> IS NULL OR … OR
+ *     EXISTS(SELECT 1 FROM [<schema>.]<parent> WHERE <parent>.<ref_i> = <q>.<child_i> …) )
+ *
+ * The child column names are taken verbatim — the physical builder passes the
+ * child table's own column names; the lens collector passes basis-rewritten
+ * names. The parent column names are the referenced-column names (logical names
+ * for the lens, which resolve against the logical view named by `fromSchema`).
+ * Shared by the physical child-side FK check and the lens FK collector so the
+ * synthesis lives in exactly one place.
+ */
+export declare function synthesizeFKExistsExpr(parentTableName: string, parentColumns: readonly string[], childColumns: readonly string[], qualifier: 'NEW' | 'OLD', fromSchema?: string): AST.Expression;
+/**
+ * Assembles the parent-side FK non-existence expression:
+ *
+ *   not exists (select 1 from [<schema>.]<child> where <child>.<childCol_i> = <q>.<parentCol_i> …)
+ *
+ * The dual of {@link synthesizeFKExistsExpr}: the physical parent-side RESTRICT
+ * check passes the child table's own column names and the parent's referenced
+ * column names off the `TableSchema`s (no `fromSchema`); the lens parent-side
+ * collector passes the logical child column names, the parent's referenced
+ * columns rewritten to basis terms, and the logical child schema as `fromSchema`
+ * so the child relation resolves to the registered logical view regardless of the
+ * basis search path the routed constraint is built under. Shared so the
+ * `NOT EXISTS` synthesis lives in exactly one place.
+ */
+export declare function synthesizeFKNotExistsExpr(childTableName: string, childColumns: readonly string[], parentColumns: readonly string[], qualifier: 'NEW' | 'OLD', fromSchema?: string): AST.UnaryExpr;
 /**
  * Builds child-side FK constraint checks (for INSERT/UPDATE on the referencing table).
  * For each FK, generates an EXISTS check ensuring the parent row exists.

package/dist/src/planner/building/foreign-key-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-builder.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/foreign-key-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAmD,MAAM,uBAAuB,CAAC;AAC1G,OAAO,EAAE,SAAS,EAA4C,MAAM,uBAAuB,CAAC;AAC5F,OAAO,KAAK,EAAE,SAAS,EAAkB,MAAM,uBAAuB,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAiHzE;;;GAGG;AACH,wBAAgB,sBAAsB,CACrC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO,GACjC,eAAe,EAAE,CA0HnB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACtC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO,GACjC,eAAe,EAAE,CA0HnB"}
+{"version":3,"file":"foreign-key-builder.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/foreign-key-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAmD,MAAM,uBAAuB,CAAC;AAC1G,OAAO,EAAE,SAAS,EAA4C,MAAM,uBAAuB,CAAC;AAC5F,OAAO,KAAK,EAAE,SAAS,EAAkB,MAAM,uBAAuB,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAMzE,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AA6C3C;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACrC,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,SAAS,EAAE,KAAK,GAAG,KAAK,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,GAAG,CAAC,UAAU,CAyBhB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,yBAAyB,CACxC,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,SAAS,MAAM,EAAE,EAC/B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,SAAS,EAAE,KAAK,GAAG,KAAK,EACxB,UAAU,CAAC,EAAE,MAAM,GACjB,GAAG,CAAC,SAAS,CAgBf;AAiDD;;;GAGG;AACH,wBAAgB,sBAAsB,CACrC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO,GACjC,eAAe,EAAE,CAmHnB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACtC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO,GACjC,eAAe,EAAE,CAqHnB"}