@quereus/quereus 4.5.0 → 4.7.0

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

@@ -1,6 +1,5 @@
 import { CastNode } from '../nodes/scalar.js';
-import { PhysicalType } from '../../types/logical-type.js';
-import { NULL_TYPE } from '../../types/builtin-types.js';
+import { comparisonGroupCoercions, comparisonGroupIndices, crossTypeCoercion } from '../../types/comparison-coercion.js';
 /**
  * Plan-build cross-type coercion for comparison sites. Every construct that
  * compares operands — `=` and friends, BETWEEN, IN value lists, simple CASE,
@@ -8,103 +7,48 @@ import { NULL_TYPE } from '../../types/builtin-types.js';
  * ({@link import('../../schema/function.js').BaseFunctionSchema.comparesArgs}) —
  * reconciles its operands through this one module so none of them can drift
  * from the others.
+ *
+ * This file owns only the *rewrite*: which operand gets wrapped in a synthetic
+ * `CastNode`. The decision of which operand converts and to what lives in
+ * `types/comparison-coercion.ts`, shared with the emit-time consumer
+ * (`runtime/emit/operand-comparator.ts` `makeComparisonGroup`) that serves the
+ * builtins which return one of their arguments and so cannot be rewritten here.
  */
 /**
  * Reconcile operands of a comparison whose plan-time types cannot be compared
  * meaningfully as-is, by wrapping one side in a synthetic CastNode.
  * Returns `[left, right]` — possibly with one side replaced by a CastNode.
  *
- * Two pairings are handled, in this order:
- *
- * 1. **Object-physical vs anything else.** JSON is the engine's only logical type
- *    whose `physicalType` is `PhysicalType.OBJECT`: its runtime values are native
- *    JS objects/arrays, which `compareSqlValuesFast` short-circuits against any
- *    other storage class — so `json_col = '{"a":1}'` was unconditionally false,
- *    even for byte-identical text. The non-object side is cast to the object
- *    side's type, never the reverse: casting the JSON side to text would make
- *    equality depend on spelling and put `=` out of step with the index, which
- *    compares structurally.
- *
- *    The gate is deliberately `physicalType === OBJECT`, **not**
- *    `semanticOrdering`. DATE/TIME/DATETIME/TIMESPAN also carry semantic ordering
- *    but are physically text, and the runtime's `tryTemporalComparison` already
- *    reconciles them; routing them through a cast would change behavior for no
- *    gain.
- *
- *    A cast to JSON is lenient (see `runtime/emit/cast.ts`): text that does not
- *    parse comes back unchanged, so `json_col = 'not json'` is false rather than
- *    an error. Note the consequence for JSON *string scalars*, which are stored
- *    as plain JS strings: a column holding `"hello"` matches BOTH the SQL literal
- *    `'"hello"'` (parses to the JSON string `hello`) and the bare `'hello'` (does
- *    not parse, falls back to the raw string `hello`, which `JSON_TYPE.compare`
- *    then compares as text). Only the first form generalizes — `'[1,2]'` matches
- *    the JSON array while a bare `[1,2]` is not SQL text at all.
- *
- * 2. **Numeric vs textual.** The textual operand is cast to the numeric side's
- *    type name (e.g. 'INTEGER' or 'REAL') so the runtime can take the fast path.
+ * See {@link crossTypeCoercion} for the rule (object-physical vs anything else,
+ * then numeric vs textual) and why each side is chosen.
  */
 export function insertCrossTypeCoercion(scope, left, right) {
-    const leftLogical = left.getType().logicalType;
-    const rightLogical = right.getType().logicalType;
-    const leftObject = leftLogical.physicalType === PhysicalType.OBJECT;
-    const rightObject = rightLogical.physicalType === PhysicalType.OBJECT;
-    // NOTE: two object-physical operands of DIFFERENT logical types fall through both
-    // arms onto the generic runtime path. Unreachable while JSON is the only
-    // PhysicalType.OBJECT type; adding a second one means deciding which side converts.
-    // Exactly one side is object-physical. A NULL-typed operand is left alone: the
-    // comparison is UNKNOWN regardless, so the cast would only add a runtime hop.
-    if (leftObject !== rightObject) {
-        if (leftObject && rightLogical !== NULL_TYPE) {
-            return [left, wrapInCast(scope, right, leftLogical.name)];
-        }
-        if (rightObject && leftLogical !== NULL_TYPE) {
-            return [wrapInCast(scope, left, rightLogical.name), right];
-        }
+    const coercion = crossTypeCoercion(left.getType().logicalType, right.getType().logicalType);
+    if (!coercion)
         return [left, right];
-    }
-    const leftNumeric = !!leftLogical.isNumeric;
-    const rightNumeric = !!rightLogical.isNumeric;
-    const leftTextual = !!leftLogical.isTextual;
-    const rightTextual = !!rightLogical.isTextual;
-    if (leftNumeric && rightTextual) {
-        // Wrap right (textual) in a cast to the left's numeric type
-        return [left, wrapInCast(scope, right, leftLogical.name)];
-    }
-    if (rightNumeric && leftTextual) {
-        // Wrap left (textual) in a cast to the right's numeric type
-        return [wrapInCast(scope, left, rightLogical.name), right];
-    }
-    return [left, right];
+    return coercion.side === 'left'
+        ? [wrapInCast(scope, left, coercion.target.name), right]
+        : [left, wrapInCast(scope, right, coercion.target.name)];
 }
 /**
- * Apply the object-physical arm of {@link insertCrossTypeCoercion} across the
- * one-probe-against-many-values shape shared by an IN value list and a simple
- * CASE, so `json_col in ('{"a":1}')` and `case json_col when '{"a":1}' …` agree
- * with `json_col = '{"a":1}'`.
- *
- * Scoped to the object-physical pairing on purpose. The numeric ↔ textual arm has
- * never been applied to either site (`int_col in ('1')` is false today for the same
- * underlying reason), and turning it on here would change unrelated behavior; that
- * case is tracked by `bug-numeric-text-coercion-skips-in-and-case`. Note `=` and
- * BETWEEN DO apply it, so those two forms currently disagree with IN / simple CASE
- * on a numeric column compared against a numeric-looking string.
- *
- * The probe is shared by every value, so it is wrapped at most once — if any value
- * is object-physical while the probe is not, the probe is cast first and the values
- * are then reconciled against it.
+ * Apply {@link comparisonGroupCoercions} across the one-probe-against-many-values
+ * shape shared by an IN value list, a simple CASE and a scalar builtin's
+ * comparison group, so `json_col in ('{"a":1}')`, `int_col in ('1')` and
+ * `case int_col when '1' …` all agree with the `=` spelling of the same
+ * comparison. See that function for the probe-vs-value asymmetry and the one
+ * documented gap it leaves.
  */
-export function coerceObjectPhysicalSet(scope, probe, values) {
-    const isObject = (node) => node.getType().logicalType.physicalType === PhysicalType.OBJECT;
-    const objectValue = values.find(isObject);
-    if (!isObject(probe) && !objectValue)
-        return [probe, values];
-    const coercedProbe = isObject(probe)
-        ? probe
-        : wrapInCast(scope, probe, objectValue.getType().logicalType.name);
-    return [coercedProbe, values.map(val => insertCrossTypeCoercion(scope, coercedProbe, val)[1])];
+export function coerceComparisonSet(scope, probe, values) {
+    const nodes = [probe, ...values];
+    const targets = comparisonGroupCoercions(nodes.map(node => node.getType().logicalType));
+    const coerced = nodes.map((node, i) => {
+        const target = targets[i];
+        return target ? wrapInCast(scope, node, target.name) : node;
+    });
+    return [coerced[0], coerced.slice(1)];
 }
 /**
- * Apply {@link coerceObjectPhysicalSet} across the argument positions a scalar
+ * Apply {@link coerceComparisonSet} across the argument positions a scalar
  * function declares as one comparison group
  * ({@link import('../../schema/function.js').BaseFunctionSchema.comparesArgs}),
  * so `nullif(json_col, '{"a":1}')` reconciles its operands exactly as
@@ -112,24 +56,31 @@ export function coerceObjectPhysicalSet(scope, probe, values) {
  * the rest the value-list role; positions outside the argument list are ignored
  * (defensive — a well-formed declaration never names one). Mutates `args` in
  * place, replacing coerced members with their CastNode wrappers.
+ *
+ * NOT for a function that returns one of its arguments verbatim
+ * ({@link import('../../schema/function.js').BaseFunctionSchema.returnsArg}):
+ * replacing the argument replaces the *returned value* too. Those go through
+ * `makeComparisonGroup` at emit time instead.
  */
 export function coerceComparisonGroup(scope, comparesArgs, args) {
-    const indices = comparesArgs === 'all'
-        ? args.map((_, i) => i)
-        : comparesArgs.filter(i => i >= 0 && i < args.length);
+    const indices = comparisonGroupIndices(comparesArgs, args.length);
     if (indices.length < 2)
         return;
     const [probeIdx, ...valueIdx] = indices;
-    const [probe, values] = coerceObjectPhysicalSet(scope, args[probeIdx], valueIdx.map(i => args[i]));
+    const [probe, values] = coerceComparisonSet(scope, args[probeIdx], valueIdx.map(i => args[i]));
     args[probeIdx] = probe;
     valueIdx.forEach((argIdx, j) => { args[argIdx] = values[j]; });
 }
 /** Create a synthetic CastNode wrapping `operand` with the given target type name. */
 export function wrapInCast(scope, operand, targetType) {
-    // Synthesise a minimal AST.CastExpr — `targetType` is the only field CastNode reads.
+    // Synthesise an AST.CastExpr. `targetType` is the only field CastNode itself
+    // reads, but `formatExpression` renders a node from its AST rather than from
+    // its children — a `literal null` placeholder here made every coerced operand
+    // print as `cast(null as integer)` in EXPLAIN while the real operand child was
+    // intact. Carrying the operand's own AST keeps the rendering truthful.
     const syntheticExpr = {
         type: 'cast',
-        expr: { type: 'literal', value: null }, // placeholder
+        expr: operand.expression,
         targetType,
     };
     return new CastNode(scope, syntheticExpr, operand);

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

@@ -1 +1 @@
-{"version":3,"file":"coercion.js","sourceRoot":"","sources":["../../../../src/planner/building/coercion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAEzD;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,uBAAuB,CACtC,KAAY,EACZ,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,UAAU,GAAG,WAAW,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;IACpE,MAAM,WAAW,GAAG,YAAY,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;IACtE,kFAAkF;IAClF,yEAAyE;IACzE,oFAAoF;IACpF,+EAA+E;IAC/E,8EAA8E;IAC9E,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QAChC,IAAI,UAAU,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,WAAW,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9C,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtB,CAAC;IAED,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;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,uBAAuB,CACtC,KAAY,EACZ,KAAqB,EACrB,MAAwB;IAExB,MAAM,QAAQ,GAAG,CAAC,IAAoB,EAAW,EAAE,CAClD,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,YAAY,KAAK,YAAY,CAAC,MAAM,CAAC;IAEjE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAE7D,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC;QACnC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,WAAY,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACrE,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACpC,KAAY,EACZ,YAAuC,EACvC,IAAsB;IAEtB,MAAM,OAAO,GAAG,YAAY,KAAK,KAAK;QACrC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAE/B,MAAM,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,GAAG,OAAO,CAAC;IACxC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,UAAU,CACzB,KAAY,EACZ,OAAuB,EACvB,UAAkB;IAElB,qFAAqF;IACrF,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"}
+{"version":3,"file":"coercion.js","sourceRoot":"","sources":["../../../../src/planner/building/coercion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AAEzH;;;;;;;;;;;;;GAaG;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACtC,KAAY,EACZ,IAAoB,EACpB,KAAqB;IAErB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC;IAC5F,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,OAAO,QAAQ,CAAC,IAAI,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;QACxD,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAClC,KAAY,EACZ,KAAqB,EACrB,MAAwB;IAExB,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,wBAAwB,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACpC,KAAY,EACZ,YAAuC,EACvC,IAAsB;IAEtB,MAAM,OAAO,GAAG,sBAAsB,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAE/B,MAAM,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,GAAG,OAAO,CAAC;IACxC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,UAAU,CACzB,KAAY,EACZ,OAAuB,EACvB,UAAkB;IAElB,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,+EAA+E;IAC/E,uEAAuE;IACvE,MAAM,aAAa,GAAiB;QACnC,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,OAAO,CAAC,UAAU;QACxB,UAAU;KACV,CAAC;IACF,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"constraint-builder.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/constraint-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,SAAS,EAA+B,MAAM,uBAAuB,CAAC;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAE7F,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAoBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,kBAAkB,EAAE,aAAa,EACjC,iBAAiB,GAAE,SAAS,EAAO;AACnC;;;;;GAKG;AACH,qBAAqB,GAAE,aAAa,CAAC,mBAAmB,CAAM,GAC7D,eAAe,EAAE,CA0KnB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO;AACnC;;;;;;;;GAQG;AACH,sBAAsB,CAAC,EAAE,KAAK,GAC7B,kBAAkB,EAAE,CAqDtB"}
+{"version":3,"file":"constraint-builder.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/constraint-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,SAAS,EAA+B,MAAM,uBAAuB,CAAC;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAE7F,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAqBhD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,kBAAkB,EAAE,aAAa,EACjC,iBAAiB,GAAE,SAAS,EAAO;AACnC;;;;;GAKG;AACH,qBAAqB,GAAE,aAAa,CAAC,mBAAmB,CAAM,GAC7D,eAAe,EAAE,CA4KnB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,SAAS,EAAO;AACnC;;;;;;;;GAQG;AACH,sBAAsB,CAAC,EAAE,KAAK,GAC7B,kBAAkB,EAAE,CAqDtB"}

package/dist/src/planner/building/constraint-builder.js

@@ -7,6 +7,7 @@ import { TableReferenceNode } from '../nodes/reference.js';
 import { validateDeterministicConstraint } from '../validation/determinism-validator.js';
 import { columnSchemaToScalarType } from '../type-utils.js';
 import { stripSelfQualifierInCheckExpression } from '../../schema/rename-rewriter.js';
+import { buildColumnSourceResolver } from '../../schema/column-source-resolver.js';
 import { cloneExpr } from '../mutation/scope-transform.js';
 /**
  * Determines if a constraint should be checked for the given operation
@@ -45,7 +46,7 @@ additionalConstraints = []) {
     // Filter constraints by operation (the table's own plus any threaded extras)
     const applicableConstraints = [...tableSchema.checkConstraints, ...additionalConstraints]
         .filter(constraint => shouldCheckConstraint(constraint, operation));
-    const resolveColumnInSource = (schemaName, tableName, columnName) => ctx.schemaManager.getSchema(schemaName)?.getTable(tableName)?.columnIndexMap.has(columnName.toLowerCase()) ?? false;
+    const resolveColumnInSource = buildColumnSourceResolver(ctx.schemaManager);
     // Build expression nodes for each constraint
     return applicableConstraints.map(constraint => {
         // Create scope with OLD/NEW column access for constraint evaluation
@@ -115,10 +116,13 @@ additionalConstraints = []) {
             ctx.schemaManager.setCurrentSchema(tableSchema.schemaName);
         }
         try {
-            // Create a context with the table's schema in the search path
-            // This ensures unqualified table references in subqueries resolve to the same schema
-            const constraintSchemaPath = [tableSchema.schemaName];
-            const constraintCtx = { ...ctx, scope: constraintScope, schemaPath: constraintSchemaPath };
+            // The search path is already narrowed to the table's own schema by
+            // `schemaAuthoredContext` (building/schema-authored-context.ts) — the ONE place that
+            // decides it for every schema-authored expression kind. Every caller reaches here
+            // through a context derived from it (`core/derived-row-validator.ts` included), so
+            // do not re-narrow: a second copy is how the CHECK and the column DEFAULT on one
+            // table drifted apart in the first place.
+            const constraintCtx = { ...ctx, scope: constraintScope };
             // Fold table-qualified self-references (`check (t.qty > 0)`) to the bare
             // column form the row-context scope registers. Done as an AST rewrite on a
             // clone (never the stored constraint) rather than by seeding `<table>.<col>`

package/dist/src/planner/building/constraint-builder.js.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-builder.js","sourceRoot":"","sources":["../../../../src/planner/building/constraint-builder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAG/E,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,+BAA+B,EAAE,MAAM,wCAAwC,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,mCAAmC,EAA8B,MAAM,iCAAiC,CAAC;AAClH,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAE3D;;GAEG;AACH,SAAS,qBAAqB,CAAC,UAA+B,EAAE,SAAoB;IAClF,2EAA2E;IAC3E,OAAO,CAAC,UAAU,CAAC,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAoB,EACpB,WAAwB,EACxB,SAAoB,EACpB,aAA0B,EAC1B,aAA0B,EAC1B,kBAAiC,EACjC,oBAAiC,EAAE;AACnC;;;;;GAKG;AACH,wBAA4D,EAAE;IAE9D,sDAAsD;IACtD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAElD,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;QAC1C,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChD,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;QAC1C,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChD,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,6EAA6E;IAC7E,MAAM,qBAAqB,GAAG,CAAC,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,qBAAqB,CAAC;SACtF,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IAEtE,MAAM,qBAAqB,GAA0B,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CACzF,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,IAAI,KAAK,CAAC;IAEtH,6CAA6C;IAC7C,OAAO,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;QAC5C,oEAAoE;QACpE,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEvD,6FAA6F;QAC7F,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,EAAE;YAClD,IAAI,eAAe,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAgB,CAAC,eAAe,CAAC,CAAC;gBACjE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAEnD,gDAAgD;gBAChD,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,eAAe,CAAC,cAAc,CAAC,WAAW,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACnE,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,wFAAwF;QACxF,uFAAuF;QACvF,sFAAsF;QACtF,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,uFAAuF;QACvF,0FAA0F;QAC1F,uFAAuF;QACvF,wFAAwF;QACxF,2BAA2B;QAC3B,MAAM,YAAY,GAAG,2BAA2B,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAE3F,yEAAyE;QACzE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE;YACzD,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAEpD,2FAA2F;YAC3F,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,kEAAkE;gBAClE,oEAAoE;gBACpE,qEAAqE;gBACrE,MAAM,aAAa,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;gBAE5D,aAAa;gBACb,eAAe,CAAC,cAAc,CAAC,OAAO,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,8EAA8E;gBAC9E,mEAAmE;gBACnE,eAAe,CAAC,cAAc,CAAC,GAAG,YAAY,IAAI,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC3E,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,wDAAwD;gBACxD,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBACrE,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;YAED,mBAAmB;YACnB,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,iDAAiD;gBACjD,MAAM,aAAa,GAAG,wBAAwB,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBAEhF,aAAa;gBACb,eAAe,CAAC,cAAc,CAAC,OAAO,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,iDAAiD;gBACjD,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBACnC,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,8DAA8D;QAC9D,iEAAiE;QACjE,mFAAmF;QACnF,MAAM,qBAAqB,GAAG,GAAG,CAAC,aAAa,CAAC,oBAAoB,EAAE,CAAC;QACvE,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,KAAK,qBAAqB,CAAC;QAE3E,IAAI,iBAAiB,EAAE,CAAC;YACtB,GAAG,CAAC,aAAa,CAAC,gBAAgB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,CAAC;YACH,8DAA8D;YAC9D,qFAAqF;YACrF,MAAM,oBAAoB,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,aAAa,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC;YAE3F,yEAAyE;YACzE,2EAA2E;YAC3E,6EAA6E;YAC7E,yEAAyE;YACzE,0EAA0E;YAC1E,gCAAgC;YAChC,IAAI,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC;YACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,mCAAmC,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBACnH,cAAc,GAAG,QAAQ,CAAC;YAC5B,CAAC;YAED,MAAM,UAAU,GAAG,eAAe,CAChC,aAAa,EACb,cAAc,CACG,CAAC;YAEpB,uEAAuE;YACvE,yEAAyE;YACzE,mEAAmE;YACnE,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,WAAW,CAAC,IAAI,EAAE,CAAC;YACvE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,EAAE,CAAC;gBAChE,+BAA+B,CAAC,UAAU,EAAE,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAChF,CAAC;YAED,4EAA4E;YAC5E,6EAA6E;YAC7E,0EAA0E;YAC1E,6EAA6E;YAC7E,6CAA6C;YAC7C,MAAM,aAAa,GAAG,uBAAuB,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,CAAC;YAE9F,OAAO;gBACL,UAAU;gBACV,UAAU;gBACV,UAAU,EAAE,aAAa;gBACzB,iBAAiB,EAAE,aAAa;gBAChC,aAAa;gBACb,IAAI,EAAE,OAAO;aACY,CAAC;QAC9B,CAAC;gBAAS,CAAC;YACT,kCAAkC;YAClC,IAAI,iBAAiB,EAAE,CAAC;gBACtB,GAAG,CAAC,aAAa,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAoB,EACpB,WAAwB,EACxB,aAA0B,EAC1B,oBAAiC,EAAE;AACnC;;;;;;;;GAQG;AACH,sBAA8B;IAE9B,MAAM,MAAM,GAAyB,EAAE,CAAC;IAExC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAC9B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC;QACxC,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC;YAAE,SAAS;QAE1F,MAAM,KAAK,GAAG,IAAI,eAAe,CAAC,sBAAsB,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QAEvC,kFAAkF;QAClF,6DAA6D;QAC7D,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,EAAE;YAClD,IAAI,eAAe,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAgB,CAAC,eAAe,CAAC,CAAC;gBACjE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnD,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC5C,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,KAAK,CAAC,cAAc,CAAC,WAAW,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACzD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC/B,YAAY,CAAC,GAAG,CAAC,WAAW,YAAY,EAAE,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,8EAA8E;QAC9E,gDAAgD;QAChD,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,MAAM,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtC,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CACzE,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,OAAO,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/C,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CACzE,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,WAA6B,CAAmB,CAAC;QAClG,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,WAA6B,EAAE,WAAW,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,IAAoB;IAChD,MAAM,KAAK,GAAe,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,kBAAkB,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"constraint-builder.js","sourceRoot":"","sources":["../../../../src/planner/building/constraint-builder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAG/E,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,+BAA+B,EAAE,MAAM,wCAAwC,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,mCAAmC,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAE3D;;GAEG;AACH,SAAS,qBAAqB,CAAC,UAA+B,EAAE,SAAoB;IAClF,2EAA2E;IAC3E,OAAO,CAAC,UAAU,CAAC,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAAoB,EACpB,WAAwB,EACxB,SAAoB,EACpB,aAA0B,EAC1B,aAA0B,EAC1B,kBAAiC,EACjC,oBAAiC,EAAE;AACnC;;;;;GAKG;AACH,wBAA4D,EAAE;IAE9D,sDAAsD;IACtD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAClD,MAAM,cAAc,GAA2B,EAAE,CAAC;IAElD,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;QAC1C,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChD,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;QAC1C,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAChD,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,6EAA6E;IAC7E,MAAM,qBAAqB,GAAG,CAAC,GAAG,WAAW,CAAC,gBAAgB,EAAE,GAAG,qBAAqB,CAAC;SACtF,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;IAEtE,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAE3E,6CAA6C;IAC7C,OAAO,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;QAC5C,oEAAoE;QACpE,MAAM,eAAe,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEvD,6FAA6F;QAC7F,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,EAAE;YAClD,IAAI,eAAe,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAgB,CAAC,eAAe,CAAC,CAAC;gBACjE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAEnD,gDAAgD;gBAChD,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,eAAe,CAAC,cAAc,CAAC,WAAW,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACnE,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,wFAAwF;QACxF,uFAAuF;QACvF,sFAAsF;QACtF,yFAAyF;QACzF,0FAA0F;QAC1F,wFAAwF;QACxF,uFAAuF;QACvF,0FAA0F;QAC1F,uFAAuF;QACvF,wFAAwF;QACxF,2BAA2B;QAC3B,MAAM,YAAY,GAAG,2BAA2B,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAE3F,yEAAyE;QACzE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE;YACzD,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAEpD,2FAA2F;YAC3F,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,kEAAkE;gBAClE,oEAAoE;gBACpE,qEAAqE;gBACrE,MAAM,aAAa,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;gBAE5D,aAAa;gBACb,eAAe,CAAC,cAAc,CAAC,OAAO,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,8EAA8E;gBAC9E,mEAAmE;gBACnE,eAAe,CAAC,cAAc,CAAC,GAAG,YAAY,IAAI,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC3E,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,wDAAwD;gBACxD,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBACrE,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;YAED,mBAAmB;YACnB,MAAM,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;YAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,iDAAiD;gBACjD,MAAM,aAAa,GAAG,wBAAwB,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBAEhF,aAAa;gBACb,eAAe,CAAC,cAAc,CAAC,OAAO,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAE9F,iDAAiD;gBACjD,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;oBACnC,eAAe,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;gBAChG,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,8DAA8D;QAC9D,iEAAiE;QACjE,mFAAmF;QACnF,MAAM,qBAAqB,GAAG,GAAG,CAAC,aAAa,CAAC,oBAAoB,EAAE,CAAC;QACvE,MAAM,iBAAiB,GAAG,WAAW,CAAC,UAAU,KAAK,qBAAqB,CAAC;QAE3E,IAAI,iBAAiB,EAAE,CAAC;YACtB,GAAG,CAAC,aAAa,CAAC,gBAAgB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,CAAC;YACH,mEAAmE;YACnE,qFAAqF;YACrF,kFAAkF;YAClF,mFAAmF;YACnF,iFAAiF;YACjF,0CAA0C;YAC1C,MAAM,aAAa,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;YAEzD,yEAAyE;YACzE,2EAA2E;YAC3E,6EAA6E;YAC7E,yEAAyE;YACzE,0EAA0E;YAC1E,gCAAgC;YAChC,IAAI,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC;YACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,mCAAmC,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBACnH,cAAc,GAAG,QAAQ,CAAC;YAC5B,CAAC;YAED,MAAM,UAAU,GAAG,eAAe,CAChC,aAAa,EACb,cAAc,CACG,CAAC;YAEpB,uEAAuE;YACvE,yEAAyE;YACzE,mEAAmE;YACnE,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,WAAW,CAAC,IAAI,EAAE,CAAC;YACvE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,EAAE,CAAC;gBAChE,+BAA+B,CAAC,UAAU,EAAE,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;YAChF,CAAC;YAED,4EAA4E;YAC5E,6EAA6E;YAC7E,0EAA0E;YAC1E,6EAA6E;YAC7E,6CAA6C;YAC7C,MAAM,aAAa,GAAG,uBAAuB,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,CAAC;YAE9F,OAAO;gBACL,UAAU;gBACV,UAAU;gBACV,UAAU,EAAE,aAAa;gBACzB,iBAAiB,EAAE,aAAa;gBAChC,aAAa;gBACb,IAAI,EAAE,OAAO;aACY,CAAC;QAC9B,CAAC;gBAAS,CAAC;YACT,kCAAkC;YAClC,IAAI,iBAAiB,EAAE,CAAC;gBACtB,GAAG,CAAC,aAAa,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAoB,EACpB,WAAwB,EACxB,aAA0B,EAC1B,oBAAiC,EAAE;AACnC;;;;;;;;GAQG;AACH,sBAA8B;IAE9B,MAAM,MAAM,GAAyB,EAAE,CAAC;IAExC,KAAK,IAAI,WAAW,GAAG,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAC9B,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC;QACxC,IAAI,CAAC,WAAW,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC;YAAE,SAAS;QAE1F,MAAM,KAAK,GAAG,IAAI,eAAe,CAAC,sBAAsB,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QAEvC,kFAAkF;QAClF,6DAA6D;QAC7D,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,EAAE;YAClD,IAAI,eAAe,GAAG,CAAC,WAAW,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,MAAM,UAAU,GAAG,WAAW,CAAC,eAAgB,CAAC,eAAe,CAAC,CAAC;gBACjE,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnD,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC5C,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,KAAK,CAAC,cAAc,CAAC,WAAW,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACzD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CACvF,CAAC;gBACF,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC/B,YAAY,CAAC,GAAG,CAAC,WAAW,YAAY,EAAE,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6EAA6E;QAC7E,8EAA8E;QAC9E,gDAAgD;QAChD,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,MAAM,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACtC,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CACzE,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,cAAc,CAAC,OAAO,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/C,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CACzE,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,MAAM,WAAW,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,WAA6B,CAAmB,CAAC;QAClG,MAAM,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,WAA6B,EAAE,WAAW,EAAE,CAAC,CAAC;IACxF,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,IAAoB;IAChD,MAAM,KAAK,GAAe,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,kBAAkB,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/planner/building/create-assertion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"create-assertion.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/create-assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAExE,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAEjH"}
+{"version":3,"file":"create-assertion.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/create-assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAkFxE,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,mBAAmB,GAAG,mBAAmB,CAOjH"}

package/dist/src/planner/building/create-assertion.js

@@ -1,5 +1,76 @@
 import { CreateAssertionNode } from '../nodes/create-assertion-node.js';
+import { buildAssertionViolationSql } from '../../schema/assertion.js';
+import { buildSelectStmt } from './select.js';
+import { Parser } from '../../parser/parser.js';
+import { QuereusError } from '../../common/errors.js';
+import { StatusCode } from '../../common/types.js';
+import { storedBodyContext } from '../stored-body-context.js';
+/**
+ * Plans the assertion's violation query so a body that cannot resolve fails the
+ * `CREATE ASSERTION` itself.
+ *
+ * Without this gate the create succeeds and the failure surfaces at COMMIT —
+ * `AssertionEvaluator` recompiles EVERY live assertion on any commit that
+ * touched any table, so one unresolvable body blocks writes to the whole
+ * database, at some unrelated later statement, with an error that never names
+ * the assertion.
+ *
+ * Strictness deliberately matches `CREATE VIEW`, which plans its body at build
+ * time via {@link planViewBody}: whatever the planner rejects for a view body
+ * (missing table, missing column, unknown function) is rejected here too, and
+ * nothing more (a type mismatch such as `x + 'abc'` is not a planner error and
+ * still creates).
+ *
+ * What is planned is the derived violation SQL round-tripped through
+ * {@link buildAssertionViolationSql} + the parser, NOT the CHECK expression
+ * directly. That text is exactly what the emitter stores and what the
+ * commit-time evaluator re-parses and re-plans, so validating it also covers a
+ * stringify/parse round trip that loses or mangles part of the expression —
+ * planning the AST in hand would miss that.
+ *
+ * Build time, not emit time: statements execute one at a time (`apply schema`
+ * runs each migration statement through its own `_execWithinTransaction`), so
+ * the catalog left by every preceding statement is visible here, and a
+ * rejection happens before any transaction start or catalog mutation — a clean
+ * no-op.
+ *
+ * NOTE: no assertion-hoist suppression is needed (unlike the emitter's
+ * dependency discovery, which calls `withSuppressedAssertionHoist`). Hoisting
+ * is an optimizer pass; this path builds only, and the optimizer never runs
+ * over the body here.
+ *
+ * NOTE: `CREATE ASSERTION` now plans its body twice — once here (build only)
+ * and once in `emitCreateAssertion` for dependency discovery (build +
+ * optimize). Immaterial today: creates are rare and the body is one small
+ * query. If assertion creates ever show up hot (a large declarative schema
+ * applied repeatedly), hang the node planned here on `CreateAssertionNode` and
+ * have the emitter walk that instead of re-planning.
+ */
+function planAssertionBody(ctx, schemaName, assertionName, check) {
+    // Unqualified names in a stored body resolve against the assertion's own
+    // schema first — the same home-schema rule `planViewBody` applies.
+    const bodyCtx = storedBodyContext(ctx, schemaName);
+    try {
+        const violationSql = buildAssertionViolationSql(check);
+        const parsed = new Parser().parse(violationSql);
+        if (parsed.type !== 'select') {
+            throw new QuereusError(`violation query rendered as '${parsed.type}', expected a select`, StatusCode.INTERNAL);
+        }
+        buildSelectStmt(bodyCtx, parsed);
+    }
+    catch (e) {
+        const cause = e instanceof Error ? e : undefined;
+        // Keep the underlying text — it is what names the missing table / column /
+        // function — and prefix the assertion so the user knows which one failed.
+        throw new QuereusError(`Cannot create assertion '${assertionName}': ${cause?.message ?? String(e)}`, e instanceof QuereusError ? e.code : StatusCode.ERROR, cause, check.loc?.start.line, check.loc?.start.column);
+    }
+}
 export function buildCreateAssertionStmt(ctx, stmt) {
-    return new CreateAssertionNode(ctx.scope, stmt.name, stmt.check);
+    const sm = ctx.schemaManager;
+    // Canonical schemaName (see SchemaManager.canonicalSchemaName) — it becomes
+    // the assertion's stored home schema.
+    const schemaName = stmt.name.schema ? sm.canonicalSchemaName(stmt.name.schema) : sm.getCurrentSchemaName();
+    planAssertionBody(ctx, schemaName, stmt.name.name, stmt.check);
+    return new CreateAssertionNode(ctx.scope, schemaName, stmt.name.name, stmt.check);
 }
 //# sourceMappingURL=create-assertion.js.map

package/dist/src/planner/building/create-assertion.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-assertion.js","sourceRoot":"","sources":["../../../../src/planner/building/create-assertion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAExE,MAAM,UAAU,wBAAwB,CAAC,GAAoB,EAAE,IAA6B;IAC3F,OAAO,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC"}
+{"version":3,"file":"create-assertion.js","sourceRoot":"","sources":["../../../../src/planner/building/create-assertion.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,SAAS,iBAAiB,CACzB,GAAoB,EACpB,UAAkB,EAClB,aAAqB,EACrB,KAAqB;IAErB,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,OAAO,GAAoB,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,CAAC;QACJ,MAAM,YAAY,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,YAAY,CACrB,gCAAgC,MAAM,CAAC,IAAI,sBAAsB,EACjE,UAAU,CAAC,QAAQ,CACnB,CAAC;QACH,CAAC;QACD,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjD,2EAA2E;QAC3E,0EAA0E;QAC1E,MAAM,IAAI,YAAY,CACrB,4BAA4B,aAAa,MAAM,KAAK,EAAE,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,EAC5E,CAAC,YAAY,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EACrD,KAAK,EACL,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EACrB,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CACvB,CAAC;IACH,CAAC;AACF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAoB,EAAE,IAA6B;IAC3F,MAAM,EAAE,GAAG,GAAG,CAAC,aAAa,CAAC;IAC7B,4EAA4E;IAC5E,sCAAsC;IACtC,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,iBAAiB,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,OAAO,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACnF,CAAC"}

package/dist/src/planner/building/create-view.d.ts

@@ -8,8 +8,13 @@ import { type RelationalPlanNode } from '../nodes/plan-node.js';
  * permanently — a view body re-evaluates on every reference, so a DML body
  * would re-drive writes on every read, which is incoherent with view
  * semantics. Mutations must be expressed in the query that *uses* the view.
+ *
+ * `homeSchemaName` — the schema the view/maintained table lands in. When given,
+ * the body plans under that schema's home path ({@link Database._homeSchemaPath})
+ * so unqualified names in the body resolve next to the object that owns them,
+ * not against the creating statement's search path.
  */
-export declare function planViewBody(ctx: PlanningContext, viewName: string, body: AST.QueryExpr): RelationalPlanNode;
+export declare function planViewBody(ctx: PlanningContext, viewName: string, body: AST.QueryExpr, homeSchemaName?: string): RelationalPlanNode;
 /**
  * Builds a plan node for CREATE VIEW statements.
  */

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

@@ -1 +1 @@
-{"version":3,"file":"create-view.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/create-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAG9D,OAAO,EAAoB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAIlF;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,kBAAkB,CAyB5G;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,cAAc,GAAG,cAAc,CAuClG"}
+{"version":3,"file":"create-view.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/create-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAG9D,OAAO,EAAoB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAKlF;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,kBAAkB,CA4BrI;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,CAAC,cAAc,GAAG,cAAc,CAuClG"}

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

@@ -4,14 +4,23 @@ import { buildSelectStmt, buildValuesStmt } from './select.js';
 import { isRelationalNode } from '../nodes/plan-node.js';
 import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
+import { storedBodyContext } from '../stored-body-context.js';
 /**
  * Plan the view body for arity validation. SELECT and VALUES bodies build
  * directly. DML bodies (INSERT/UPDATE/DELETE with RETURNING) are rejected
  * permanently — a view body re-evaluates on every reference, so a DML body
  * would re-drive writes on every read, which is incoherent with view
  * semantics. Mutations must be expressed in the query that *uses* the view.
+ *
+ * `homeSchemaName` — the schema the view/maintained table lands in. When given,
+ * the body plans under that schema's home path ({@link Database._homeSchemaPath})
+ * so unqualified names in the body resolve next to the object that owns them,
+ * not against the creating statement's search path.
  */
-export function planViewBody(ctx, viewName, body) {
+export function planViewBody(ctx, viewName, body, homeSchemaName) {
+    if (homeSchemaName) {
+        ctx = storedBodyContext(ctx, homeSchemaName);
+    }
     switch (body.type) {
         case 'select': {
             const planned = buildSelectStmt(ctx, body);
@@ -41,7 +50,7 @@ export function buildCreateViewStmt(ctx, stmt) {
     // If an explicit column list was provided, validate that its arity matches the body's projection.
     // Plan the body (read-only) so star-expansion and CTEs are resolved.
     if (stmt.columns && stmt.columns.length > 0) {
-        const planned = planViewBody(ctx, viewName, stmt.select);
+        const planned = planViewBody(ctx, viewName, stmt.select, schemaName);
         const bodyArity = planned.getAttributes().length;
         if (stmt.columns.length !== bodyArity) {
             throw new QuereusError(`View '${viewName}' has ${stmt.columns.length} declared columns but body produces ${bodyArity}`, StatusCode.ERROR);
@@ -50,7 +59,7 @@ export function buildCreateViewStmt(ctx, stmt) {
     else {
         // No explicit column list — still run the gate so a DML body is
         // rejected at plan time rather than waiting until first reference.
-        planViewBody(ctx, viewName, stmt.select);
+        planViewBody(ctx, viewName, stmt.select, schemaName);
     }
     // The original SQL text is needed for the view definition
     // Reconstruct it from the AST using the proper stringifier

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

@@ -1 +1 @@
-{"version":3,"file":"create-view.js","sourceRoot":"","sources":["../../../../src/planner/building/create-view.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAA2B,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAoB,EAAE,QAAgB,EAAE,IAAmB;IACvF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,YAAY,CACrB,gBAAgB,QAAQ,4CAA4C,EACpE,UAAU,CAAC,QAAQ,CACnB,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACZ,MAAM,IAAI,YAAY,CACrB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,yKAAyK,EACnM,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EACpB,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CACtB,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAoB,EAAE,IAAwB;IACjF,4EAA4E;IAC5E,4EAA4E;IAC5E,+DAA+D;IAC/D,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,kGAAkG;IAClG,qEAAqE;IACrE,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,IAAI,YAAY,CACrB,SAAS,QAAQ,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,uCAAuC,SAAS,EAAE,EAC/F,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;IACF,CAAC;SAAM,CAAC;QACP,gEAAgE;QAChE,mEAAmE;QACnE,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,0DAA0D;IAC1D,2DAA2D;IAC3D,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAErC,OAAO,IAAI,cAAc,CACxB,GAAG,CAAC,KAAK,EACT,QAAQ,EACR,UAAU,EACV,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,MAAM,EACX,GAAG,EACH,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CACvD,CAAC;AACH,CAAC"}
+{"version":3,"file":"create-view.js","sourceRoot":"","sources":["../../../../src/planner/building/create-view.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAA2B,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAC,GAAoB,EAAE,QAAgB,EAAE,IAAmB,EAAE,cAAuB;IAChH,IAAI,cAAc,EAAE,CAAC;QACpB,GAAG,GAAG,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAC9C,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,YAAY,CACrB,gBAAgB,QAAQ,4CAA4C,EACpE,UAAU,CAAC,QAAQ,CACnB,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QAChB,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACZ,MAAM,IAAI,YAAY,CACrB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,yKAAyK,EACnM,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EACpB,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CACtB,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAoB,EAAE,IAAwB;IACjF,4EAA4E;IAC5E,4EAA4E;IAC5E,+DAA+D;IAC/D,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,kGAAkG;IAClG,qEAAqE;IACrE,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrE,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,IAAI,YAAY,CACrB,SAAS,QAAQ,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,uCAAuC,SAAS,EAAE,EAC/F,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;IACF,CAAC;SAAM,CAAC;QACP,gEAAgE;QAChE,mEAAmE;QACnE,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACtD,CAAC;IAED,0DAA0D;IAC1D,2DAA2D;IAC3D,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAErC,OAAO,IAAI,cAAc,CACxB,GAAG,CAAC,KAAK,EACT,QAAQ,EACR,UAAU,EACV,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,MAAM,EACX,GAAG,EACH,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CACvD,CAAC;AACH,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"ddl.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/ddl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAOhE,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,GAAG,CAAC,eAAe,GACvB,eAAe,CAYjB;AAqGD,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,GAAG,CAAC,eAAe,GACvB,eAAe,CAOjB"}
+{"version":3,"file":"ddl.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/ddl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAOhE,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,GAAG,CAAC,eAAe,GACvB,eAAe,CAYjB;AAyGD,wBAAgB,oBAAoB,CACnC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,GAAG,CAAC,eAAe,GACvB,eAAe,CAOjB"}

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

@@ -28,7 +28,12 @@ export function buildCreateTableStmt(context, stmt) {
  */
 function raiseCreateMaintainedDiagnostics(context, stmt) {
     const tableName = stmt.table.name;
-    const planned = planViewBody(context, tableName, stmt.maintained.select);
+    // The body plans under the table's home-schema path (same landing rule as the
+    // CREATE TABLE emitter: explicit qualifier, else the current schema) so its
+    // unqualified source names resolve next to the maintained table.
+    const sm = context.db.schemaManager;
+    const homeSchemaName = stmt.table.schema ? sm.canonicalSchemaName(stmt.table.schema) : sm.getCurrentSchemaName();
+    const planned = planViewBody(context, tableName, stmt.maintained.select, homeSchemaName);
     const bodyArity = planned.getAttributes().length;
     if (bodyArity !== stmt.columns.length) {
         throw new QuereusError(`cannot create maintained table '${tableName}': body produces ${bodyArity} columns but the table declares ${stmt.columns.length}`, StatusCode.ERROR, undefined, stmt.table.loc?.start.line, stmt.table.loc?.start.column);
@@ -45,7 +50,6 @@ function raiseCreateMaintainedDiagnostics(context, stmt) {
     }
     // Resolve the hosting module exactly as CREATE TABLE will (the `using`
     // clause, else the session default) and require the backing-host capability.
-    const sm = context.db.schemaManager;
     const moduleName = stmt.moduleName ?? sm.getDefaultVTabModuleName();
     const moduleInfo = sm.getModule(moduleName);
     if (!moduleInfo?.module) {

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

@@ -1 +1 @@
-{"version":3,"file":"ddl.js","sourceRoot":"","sources":["../../../../src/planner/building/ddl.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,MAAM,UAAU,oBAAoB,CACnC,OAAwB,EACxB,IAAyB;IAEzB,gFAAgF;IAChF,+EAA+E;IAC/E,8EAA8E;IAC9E,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,eAAe,CACzB,OAAO,CAAC,KAAK,EACb,IAAI,CACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gCAAgC,CAAC,OAAwB,EAAE,IAAyB;IAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,UAAW,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;IACjD,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,oBAAoB,SAAS,mCAAmC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EACjI,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,mFAAmF;IACnF,8EAA8E;IAC9E,kFAAkF;IAClF,kFAAkF;IAClF,oEAAoE;IACpE,oCAAoC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;IAC/F,IAAI,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,cAAc,SAAS,CAAC,IAAI,2EAA2E,EACnJ,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,6EAA6E;IAC7E,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,aAAa,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,wBAAwB,EAAE,CAAC;IACpE,MAAM,UAAU,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,YAAY,CACrB,kCAAkC,UAAU,GAAG,EAC/C,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,cAAc,UAAU,sFAAsF,EAC1J,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,oCAAoC,CAAC,IAAyB,EAAE,SAAiB;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAW,CAAC,OAAO,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,qCAAqC,IAAI,CAAC,MAAM,mCAAmC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EACpJ,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAClE,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,wBAAwB,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,6BAA6B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,qEAAqE,EACpN,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,oBAAoB,CACnC,OAAwB,EACxB,IAAyB;IAEzB,mFAAmF;IACnF,uBAAuB,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,IAAI,CAAC,CAAC;IACjF,OAAO,IAAI,eAAe,CACzB,OAAO,CAAC,KAAK,EACb,IAAI,CACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,8BAA8B,CAAC,IAAyB;IAChE,MAAM,WAAW,GAAG;QACnB,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC;QACpD,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;KAC7F,CAAC;IACF,uBAAuB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"ddl.js","sourceRoot":"","sources":["../../../../src/planner/building/ddl.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,MAAM,UAAU,oBAAoB,CACnC,OAAwB,EACxB,IAAyB;IAEzB,gFAAgF;IAChF,+EAA+E;IAC/E,8EAA8E;IAC9E,8BAA8B,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAI,eAAe,CACzB,OAAO,CAAC,KAAK,EACb,IAAI,CACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gCAAgC,CAAC,OAAwB,EAAE,IAAyB;IAC5F,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAClC,8EAA8E;IAC9E,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,aAAa,CAAC;IACpC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC;IACjH,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,UAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC1F,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;IACjD,IAAI,SAAS,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,oBAAoB,SAAS,mCAAmC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EACjI,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,mFAAmF;IACnF,8EAA8E;IAC9E,kFAAkF;IAClF,kFAAkF;IAClF,oEAAoE;IACpE,oCAAoC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;IAC/F,IAAI,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,cAAc,SAAS,CAAC,IAAI,2EAA2E,EACnJ,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,6EAA6E;IAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,wBAAwB,EAAE,CAAC;IACpE,MAAM,UAAU,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,YAAY,CACrB,kCAAkC,UAAU,GAAG,EAC/C,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QACvC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,cAAc,UAAU,sFAAsF,EAC1J,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,oCAAoC,CAAC,IAAyB,EAAE,SAAiB;IACzF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAW,CAAC,OAAO,CAAC;IACtC,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,qCAAqC,IAAI,CAAC,MAAM,mCAAmC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EACpJ,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAClE,MAAM,IAAI,YAAY,CACrB,mCAAmC,SAAS,wBAAwB,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,6BAA6B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,qEAAqE,EACpN,UAAU,CAAC,KAAK,EAChB,SAAS,EACT,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAC5B,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,oBAAoB,CACnC,OAAwB,EACxB,IAAyB;IAEzB,mFAAmF;IACnF,uBAAuB,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,IAAI,CAAC,CAAC;IACjF,OAAO,IAAI,eAAe,CACzB,OAAO,CAAC,KAAK,EACb,IAAI,CACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,8BAA8B,CAAC,IAAyB;IAChE,MAAM,WAAW,GAAG;QACnB,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC;QACpD,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;KAC7F,CAAC;IACF,uBAAuB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"delete.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/delete.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,QAAQ,EAAoF,MAAM,uBAAuB,CAAC;AASnI,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAiB5E,wBAAgB,eAAe,CAC7B,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,UAAU;AACpB;;;;;;;GAOG;AACH,qBAAqB,GAAE,aAAa,CAAC,mBAAmB,CAAM;AAC9D;;;;;;GAMG;AACH,UAAU,UAAQ,GACjB,QAAQ,CAuTV"}
+{"version":3,"file":"delete.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/delete.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,QAAQ,EAAoF,MAAM,uBAAuB,CAAC;AASnI,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAmB5E,wBAAgB,eAAe,CAC7B,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,UAAU;AACpB;;;;;;;GAOG;AACH,qBAAqB,GAAE,aAAa,CAAC,mBAAmB,CAAM;AAC9D;;;;;;GAMG;AACH,UAAU,UAAQ,GACjB,QAAQ,CAmUV"}

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

@@ -22,10 +22,12 @@ import { validateReturningQualifiers } from '../validation/returning-qualifier-v
 import { isCommittedSchemaRef } from './schema-resolution.js';
 import { buildViewMutation } from './view-mutation-builder.js';
 import { isMaintainedTable, maintainedTableViewLike } from '../../schema/derivation.js';
+import { isViewSchema } from '../../schema/view.js';
 import { validateReservedTags } from '../../schema/reserved-tags.js';
 import { raiseStmtTagDiagnostics } from './tag-diagnostics.js';
 import { buildWithContext } from './select-context.js';
 import { resolveCteTarget, contextForCteTarget, resolveSubqueryTarget } from './dml-target.js';
+import { schemaAuthoredContext } from './schema-authored-context.js';
 export function buildDeleteStmt(ctx, stmt, 
 /**
  * Extra row constraints to enforce alongside the table's own — already resolved
@@ -85,20 +87,21 @@ lensRouted = false) {
     // hook then syncs the backing. See docs/materialized-views.md § Write boundary.
     // Dispatch order is load-bearing: a maintained table (derivation-bearing)
     // must hit the view-mutation rewrite, never the direct table write.
-    const deleteMaintained = ctx.schemaManager.getMaintainedTable(stmt.table.schema ?? null, stmt.table.name);
-    const deleteView = ctx.schemaManager.getView(stmt.table.schema ?? null, stmt.table.name)
-        ?? (deleteMaintained ? maintainedTableViewLike(deleteMaintained) : undefined);
+    // An unqualified target resolves through the schema search path, exactly as an
+    // unqualified read does (see `SchemaManager.findSchemaItem`).
+    const deleteTarget = ctx.schemaManager.findSchemaItem(stmt.table.name, stmt.table.schema, contextWithSchemaPath.schemaPath);
+    const deleteView = isViewSchema(deleteTarget) ? deleteTarget
+        : (isMaintainedTable(deleteTarget) ? maintainedTableViewLike(deleteTarget) : undefined);
     if (deleteView) {
         // Route through the view-mutation substrate (single-source = one base op).
         return buildViewMutation(contextWithCTEs, deleteView, { op: 'delete', stmt });
     }
     const tableRetrieve = buildTableReference({ type: 'table', table: stmt.table }, contextWithCTEs);
     const tableReference = tableRetrieve.tableRef; // Extract the actual TableReferenceNode
-    // Backstop on the RESOLVED table: the dispatch above defaults an unqualified
-    // name to the current schema, but buildTableReference resolves through the
-    // schema path, which can land on a maintained table the dispatch missed. A
-    // direct write would corrupt derived contents — route it through the same
-    // view-mutation rewrite.
+    // Backstop on the RESOLVED table: the dispatch above and buildTableReference
+    // walk the same path today, so this should be unreachable — but they are two
+    // resolvers, and a direct write to a maintained table would corrupt derived
+    // contents. Keep the belt: route any that slips through to the same rewrite.
     const deleteResolved = tableReference.tableSchema;
     if (isMaintainedTable(deleteResolved)) {
         return buildViewMutation(contextWithCTEs, maintainedTableViewLike(deleteResolved), { op: 'delete', stmt });
@@ -151,6 +154,16 @@ lensRouted = false) {
     // Built off the CTE-aware context so `stmt.cteNodes` thread into the WHERE subquery
     // builds — a CTE read there now resolves (closes the prior read gap).
     const deleteCtx = { ...contextWithCTEs, scope: tableScope };
+    // Contexts for the table's OWN schema-authored SQL (`check on delete` constraints,
+    // parent-side FK probes). Derived once here rather than per call site; both clear the
+    // CTE namespace so none of that SQL can bind this statement's common table
+    // expressions — its own leading `with` clause or ones it inherited from an enclosing
+    // statement — and both narrow the schema path to the target's own schema.
+    // `schemaAuthoredDeleteCtx` keeps the table scope so `old.` still resolves;
+    // `schemaAuthoredCtx` matches the bare `ctx` the FK builder already took.
+    const targetSchemaName = tableReference.tableSchema.schemaName;
+    const schemaAuthoredDeleteCtx = schemaAuthoredContext(deleteCtx, targetSchemaName);
+    const schemaAuthoredCtx = schemaAuthoredContext(ctx, targetSchemaName);
     if (stmt.where) {
         const filterExpression = buildExpression(deleteCtx, stmt.where);
         sourceNode = new FilterNode(deleteCtx.scope, sourceNode, filterExpression);
@@ -178,7 +191,7 @@ lensRouted = false) {
         });
     }
     // Build constraint checks at plan time
-    const constraintChecks = buildConstraintChecks(deleteCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, flatRowDescriptor, contextAttributes, additionalConstraints);
+    const constraintChecks = buildConstraintChecks(schemaAuthoredDeleteCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, flatRowDescriptor, contextAttributes, additionalConstraints);
     // Build parent-side FK constraint checks if foreign_keys pragma is enabled.
     // Skipped entirely when the batchability gate admits the statement — the
     // runtime DML executor then enforces every inbound RESTRICT FK with ONE
@@ -188,7 +201,7 @@ lensRouted = false) {
     // ABORT default (matching the `undefined` onConflict on the DmlExecutorNode).
     if (ctx.db.options.getBooleanOption('foreign_keys')
         && getBatchableRestrictFks(ctx.schemaManager, tableReference.tableSchema, 'delete', undefined, lensRouted) === undefined) {
-        const parentFKChecks = buildParentSideFKChecks(ctx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, contextAttributes);
+        const parentFKChecks = buildParentSideFKChecks(schemaAuthoredCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, contextAttributes);
         constraintChecks.push(...parentFKChecks);
     }
     // Mirror INSERT/UPDATE wiring: the DML prep node (DeleteNode) expands the