@quereus/quereus 4.10.0 → 4.12.0

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

@@ -1,5 +1,10 @@
 import { BlockNode } from '../nodes/block.js';
+import { isRelationalNode } from '../nodes/plan-node.js';
 import { buildSelectStmt } from './select.js';
+import { CTENode } from '../nodes/cte-node.js';
+import { SequenceNode } from '../nodes/sequence-node.js';
+import { SinkNode } from '../nodes/sink-node.js';
+import { buildWithClause, isDataModifyingCte } from './with.js';
 import { buildCreateTableStmt } from './ddl.js';
 import { buildCreateIndexStmt } from './ddl.js';
 import { buildDropTableStmt } from './drop-table.js';
@@ -22,92 +27,227 @@ import { quereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
 import { buildDeclareSchemaStmt, buildDeclareLensStmt, buildDiffSchemaStmt, buildApplySchemaStmt, buildExplainSchemaStmt } from './declare-schema.js';
 export function buildBlock(ctx, statements) {
+    // Mark these statements' own leading WITH clauses before anything is built: a
+    // data-modifying member is legal only there, and `buildWithClause` rejects one
+    // anywhere else (see its comment). Used for `attachUnreferencedDmlCtes` too — that
+    // rebuild goes through `buildWithClause` on the SAME clause object and must stay
+    // allowed.
+    //
+    // NOTE: accepted tradeoff — several analysis paths re-plan a STORED body as if it were a
+    // standalone top-level statement (`db._buildPlan([view.selectAst])` in
+    // `func/builtins/schema.ts`, `planner/analysis/assertion-plan.ts`,
+    // `core/database-materialized-views-plan-builders.ts`,
+    // `runtime/emit/materialized-view-helpers.ts`, `schema/lens-prover.ts`,
+    // `func/builtins/explain.ts`), so those calls mark the body's own clause top-level and a
+    // body that ALREADY contains a data-modifying member is still accepted there. A "this is
+    // a stored body" flag on `_buildPlan` was weighed and declined: the shape is unreachable
+    // for anything defined after this gate landed, so it needs a definition persisted by an
+    // older build (or hand-injected via `importCatalog`) — and on that path an ordinary READ
+    // of the object already rejects (the body plans nested) and write-through has its own
+    // `unsupported-body-cte-dml` guard, leaving only introspection, where succeeding is more
+    // useful than erroring. Revisit if a legacy definition is ever found to re-drive its write
+    // through one of those paths — the materialized-view refresh call is the one that would.
+    //
+    // NOTE: the gate is the marker, not the nesting site — nothing asserts that `buildBlock`
+    // is never re-entered on a NESTED statement. A future path that did so would mark that
+    // statement's clause top-level and open every nested position silently. `_buildPlan` is
+    // the only non-test caller today; keep it that way, or make the gate positive (a "this
+    // clause is owned" flag set by the statement builders) rather than by-omission.
+    const blockCtx = { ...ctx, topLevelWithClauses: collectTopLevelWithClauses(statements) };
     const plannedStatements = statements.map((stmt) => {
-        switch (stmt.type) {
-            case 'select':
-                // buildSelectStmt returns a BatchNode, which is a PlanNode.
-                return buildSelectStmt(ctx, stmt);
-            case 'createTable':
-                return buildCreateTableStmt(ctx, stmt);
-            case 'createIndex':
-                return buildCreateIndexStmt(ctx, stmt);
-            case 'createView':
-                return buildCreateViewStmt(ctx, stmt);
-            case 'createMaterializedView':
-                return buildCreateMaterializedViewStmt(ctx, stmt);
-            case 'refreshMaterializedView':
-                return buildRefreshMaterializedViewStmt(ctx, stmt);
-            case 'createAssertion':
-                return buildCreateAssertionStmt(ctx, stmt);
-            case 'drop': {
-                const dropStmt = stmt;
-                if (dropStmt.objectType === 'table') {
-                    return buildDropTableStmt(ctx, dropStmt);
-                }
-                else if (dropStmt.objectType === 'view') {
-                    return buildDropViewStmt(ctx, dropStmt);
-                }
-                else if (dropStmt.objectType === 'materializedView') {
-                    return buildDropMaterializedViewStmt(ctx, dropStmt);
-                }
-                else if (dropStmt.objectType === 'assertion') {
-                    return buildDropAssertionStmt(ctx, dropStmt);
-                }
-                else if (dropStmt.objectType === 'index') {
-                    return buildDropIndexStmt(ctx, dropStmt);
-                }
-                else if (dropStmt.objectType === 'trigger') {
-                    quereusError(`DROP TRIGGER is not supported`, StatusCode.UNSUPPORTED, undefined, dropStmt);
-                }
-                break;
-            }
-            case 'insert':
-                return buildInsertStmt(ctx, stmt);
-            case 'update':
-                return buildUpdateStmt(ctx, stmt);
-            case 'delete':
-                return buildDeleteStmt(ctx, stmt);
-            case 'begin':
-                return buildBeginStmt(ctx, stmt);
-            case 'commit':
-                return buildCommitStmt(ctx, stmt);
-            case 'rollback':
-                return buildRollbackStmt(ctx, stmt);
-            case 'savepoint':
-                return buildSavepointStmt(ctx, stmt);
-            case 'release':
-                return buildReleaseStmt(ctx, stmt);
-            case 'pragma':
-                return buildPragmaStmt(ctx, stmt);
-            case 'analyze':
-                return buildAnalyzeStmt(ctx, stmt);
-            case 'alterTable':
-                return buildAlterTableStmt(ctx, stmt);
-            case 'alterView':
-                return buildAlterViewStmt(ctx, stmt);
-            case 'alterMaterializedView':
-                return buildAlterMaterializedViewStmt(ctx, stmt);
-            case 'alterIndex':
-                return buildAlterIndexStmt(ctx, stmt);
-            case 'values':
-                return buildValuesStmt(ctx, stmt);
-            case 'declareSchema':
-                return buildDeclareSchemaStmt(ctx, stmt);
-            case 'declareLens':
-                return buildDeclareLensStmt(ctx, stmt);
-            case 'diffSchema':
-                return buildDiffSchemaStmt(ctx, stmt);
-            case 'applySchema':
-                return buildApplySchemaStmt(ctx, stmt);
-            case 'explainSchema':
-                return buildExplainSchemaStmt(ctx, stmt);
-            default:
-                // Throw an exception for unsupported statement types
-                quereusError(`Unsupported statement type: ${stmt.type}`, StatusCode.UNSUPPORTED, undefined, stmt);
-        }
+        const planned = buildStatement(blockCtx, stmt);
+        return planned === undefined ? undefined : attachUnreferencedDmlCtes(blockCtx, stmt, planned);
     }).filter(p => p !== undefined); // Ensure we only have valid PlanNodes and cast
     // The final BatchNode for the entire batch.
     // Its scope is batchParameterScope, and it contains all successfully planned statements.
     return new BlockNode(ctx.scope, plannedStatements, { ...ctx.parameters });
 }
+/** The leading `with` clause of each statement in this block, by AST object identity. */
+function collectTopLevelWithClauses(statements) {
+    const clauses = new Set();
+    for (const stmt of statements) {
+        const { withClause } = leadingClauses(stmt);
+        if (withClause)
+            clauses.add(withClause);
+    }
+    return clauses;
+}
+/**
+ * The leading `with` clause and `with schema` path a statement carries. Only the four
+ * query/DML forms can have either (`Parser.statementSupportsWithClause` attaches the
+ * clause to exactly those), so the narrowing is the union itself rather than a cast to
+ * a hand-written shape.
+ */
+function leadingClauses(stmt) {
+    switch (stmt.type) {
+        case 'select':
+        case 'insert':
+        case 'update':
+        case 'delete':
+            return stmt;
+        default:
+            return {};
+    }
+}
+function buildStatement(ctx, stmt) {
+    switch (stmt.type) {
+        case 'select':
+            // buildSelectStmt returns a BatchNode, which is a PlanNode.
+            return buildSelectStmt(ctx, stmt);
+        case 'createTable':
+            return buildCreateTableStmt(ctx, stmt);
+        case 'createIndex':
+            return buildCreateIndexStmt(ctx, stmt);
+        case 'createView':
+            return buildCreateViewStmt(ctx, stmt);
+        case 'createMaterializedView':
+            return buildCreateMaterializedViewStmt(ctx, stmt);
+        case 'refreshMaterializedView':
+            return buildRefreshMaterializedViewStmt(ctx, stmt);
+        case 'createAssertion':
+            return buildCreateAssertionStmt(ctx, stmt);
+        case 'drop': {
+            const dropStmt = stmt;
+            if (dropStmt.objectType === 'table') {
+                return buildDropTableStmt(ctx, dropStmt);
+            }
+            else if (dropStmt.objectType === 'view') {
+                return buildDropViewStmt(ctx, dropStmt);
+            }
+            else if (dropStmt.objectType === 'materializedView') {
+                return buildDropMaterializedViewStmt(ctx, dropStmt);
+            }
+            else if (dropStmt.objectType === 'assertion') {
+                return buildDropAssertionStmt(ctx, dropStmt);
+            }
+            else if (dropStmt.objectType === 'index') {
+                return buildDropIndexStmt(ctx, dropStmt);
+            }
+            else if (dropStmt.objectType === 'trigger') {
+                quereusError(`DROP TRIGGER is not supported`, StatusCode.UNSUPPORTED, undefined, dropStmt);
+            }
+            break;
+        }
+        case 'insert':
+            return buildInsertStmt(ctx, stmt);
+        case 'update':
+            return buildUpdateStmt(ctx, stmt);
+        case 'delete':
+            return buildDeleteStmt(ctx, stmt);
+        case 'begin':
+            return buildBeginStmt(ctx, stmt);
+        case 'commit':
+            return buildCommitStmt(ctx, stmt);
+        case 'rollback':
+            return buildRollbackStmt(ctx, stmt);
+        case 'savepoint':
+            return buildSavepointStmt(ctx, stmt);
+        case 'release':
+            return buildReleaseStmt(ctx, stmt);
+        case 'pragma':
+            return buildPragmaStmt(ctx, stmt);
+        case 'analyze':
+            return buildAnalyzeStmt(ctx, stmt);
+        case 'alterTable':
+            return buildAlterTableStmt(ctx, stmt);
+        case 'alterView':
+            return buildAlterViewStmt(ctx, stmt);
+        case 'alterMaterializedView':
+            return buildAlterMaterializedViewStmt(ctx, stmt);
+        case 'alterIndex':
+            return buildAlterIndexStmt(ctx, stmt);
+        case 'values':
+            return buildValuesStmt(ctx, stmt);
+        case 'declareSchema':
+            return buildDeclareSchemaStmt(ctx, stmt);
+        case 'declareLens':
+            return buildDeclareLensStmt(ctx, stmt);
+        case 'diffSchema':
+            return buildDiffSchemaStmt(ctx, stmt);
+        case 'applySchema':
+            return buildApplySchemaStmt(ctx, stmt);
+        case 'explainSchema':
+            return buildExplainSchemaStmt(ctx, stmt);
+        default:
+            // Throw an exception for unsupported statement types
+            quereusError(`Unsupported statement type: ${stmt.type}`, StatusCode.UNSUPPORTED, undefined, stmt);
+    }
+}
+/**
+ * Guarantee the write of every data-modifying `with` member the statement never
+ * references. A member enters the plan only when something reads it, but an
+ * `insert`/`update`/`delete` member is a stated effect of the statement — SQLite
+ * and PostgreSQL both perform it whether or not anything reads the block.
+ *
+ * This is the ONE safe attachment site: `buildBlock` is the single entry for
+ * user statements (`Database._buildPlan` is its only caller), sees both the
+ * statement AST and the finished plan, and runs once per top-level statement.
+ * Every site inside the statement builders is re-entered by the view
+ * write-through path (and once per base member by a multi-source decomposition),
+ * so a per-builder attachment would fan the sink out N times. A `with` clause on
+ * a NESTED statement (a sub-select's own clause, a stored view body) is out of
+ * scope, and that boundary is now ENFORCED rather than merely unimplemented:
+ * `buildWithClause` rejects a data-modifying member in any clause `buildBlock`
+ * did not mark top-level (PostgreSQL rejects the same shapes), so no position
+ * exists where a write would go unowned.
+ *
+ * Mechanics: each member's runtime identity (`CTENode.tableDescriptor`) is
+ * memoized per source AST member for the whole statement build
+ * (`PlanningContext.cteDescriptors`), so a member whose descriptor is absent
+ * from the built plan is provably unreferenced. The clause is then rebuilt —
+ * required because a member may read an earlier sibling — and each unreferenced
+ * data-modifying member's node is Sink-wrapped and sequenced AHEAD of the
+ * statement (a trailing effect could be skipped by a main abandoned early, e.g.
+ * `limit 0`). The rebuild cannot double a referenced member's write: its rebuilt
+ * `CTENode` shares the referenced one's descriptor, hence its one buffer.
+ */
+function attachUnreferencedDmlCtes(ctx, stmt, plan) {
+    const { withClause, schemaPath } = leadingClauses(stmt);
+    if (!withClause)
+        return plan;
+    const dmlMembers = withClause.ctes.filter(isDataModifyingCte);
+    if (dmlMembers.length === 0)
+        return plan;
+    const reachable = collectCteDescriptors(plan);
+    const unreferenced = dmlMembers.filter(cte => {
+        const descriptor = ctx.cteDescriptors.get(cte);
+        return descriptor !== undefined && !reachable.has(descriptor);
+    });
+    if (unreferenced.length === 0)
+        return plan;
+    // Rebuild the whole clause in order (a member may read an earlier sibling);
+    // the descriptor memo makes this safe — see the doc comment above. The
+    // statement's own WITH SCHEMA path applies to its clause, so mirror the
+    // statement builders' `contextWithSchemaPath`.
+    const rebuildCtx = schemaPath ? { ...ctx, schemaPath } : ctx;
+    const rebuilt = buildWithClause(rebuildCtx, withClause);
+    const sinks = unreferenced.map(cte => {
+        const node = rebuilt.get(cte.name.toLowerCase());
+        if (!node || !isRelationalNode(node)) {
+            quereusError(`CTE '${cte.name}' missing from rebuilt WITH clause`, StatusCode.INTERNAL, undefined, stmt);
+        }
+        return new SinkNode(ctx.scope, node, `unreferenced-cte ${cte.name}`);
+    });
+    return new SequenceNode(ctx.scope, sinks, plan);
+}
+/** Every `CTENode` runtime identity reachable from `plan`. Walks `getRelations`
+ *  as well as `getChildren` so DML write targets (outside `getChildren`) are
+ *  covered — mirrors `collectTableRefs` in analysis/change-scope.ts. */
+function collectCteDescriptors(plan) {
+    const descriptors = new Set();
+    const visited = new Set();
+    function walk(node) {
+        if (visited.has(node))
+            return;
+        visited.add(node);
+        if (node instanceof CTENode)
+            descriptors.add(node.tableDescriptor);
+        for (const c of node.getChildren())
+            walk(c);
+        for (const r of node.getRelations())
+            walk(r);
+    }
+    walk(plan);
+    return descriptors;
+}
 //# sourceMappingURL=block.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"block.js","sourceRoot":"","sources":["../../../../src/planner/building/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAG9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACN,+BAA+B,EAC/B,gCAAgC,EAChC,6BAA6B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,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,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC5H,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAEtJ,MAAM,UAAU,UAAU,CAAC,GAAoB,EAAE,UAA2B;IAC3E,MAAM,iBAAiB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ;gBACZ,4DAA4D;gBAC5D,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,aAAa;gBACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAA2B,CAAC,CAAC;YAC/D,KAAK,aAAa;gBACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAA2B,CAAC,CAAC;YAC/D,KAAK,YAAY;gBAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;YAC7D,KAAK,wBAAwB;gBAC5B,OAAO,+BAA+B,CAAC,GAAG,EAAE,IAAsC,CAAC,CAAC;YACrF,KAAK,yBAAyB;gBAC7B,OAAO,gCAAgC,CAAC,GAAG,EAAE,IAAuC,CAAC,CAAC;YACvF,KAAK,iBAAiB;gBACrB,OAAO,wBAAwB,CAAC,GAAG,EAAE,IAA+B,CAAC,CAAC;YACvE,KAAK,MAAM,CAAC,CAAC,CAAC;gBACb,MAAM,QAAQ,GAAG,IAAoB,CAAC;gBACtC,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;oBACrC,OAAO,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC1C,CAAC;qBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;oBAC3C,OAAO,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACzC,CAAC;qBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,kBAAkB,EAAE,CAAC;oBACvD,OAAO,6BAA6B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBACrD,CAAC;qBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;oBAChD,OAAO,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC9C,CAAC;qBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;oBAC5C,OAAO,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;gBAC1C,CAAC;qBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC9C,YAAY,CACX,+BAA+B,EAC/B,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,QAAQ,CACR,CAAC;gBACH,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,OAAO;gBACX,OAAO,cAAc,CAAC,GAAG,EAAE,IAAqB,CAAC,CAAC;YACnD,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,UAAU;gBACd,OAAO,iBAAiB,CAAC,GAAG,EAAE,IAAwB,CAAC,CAAC;YACzD,KAAK,WAAW;gBACf,OAAO,kBAAkB,CAAC,GAAG,EAAE,IAAyB,CAAC,CAAC;YAC3D,KAAK,SAAS;gBACb,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAuB,CAAC,CAAC;YACvD,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,SAAS;gBACb,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAuB,CAAC,CAAC;YACvD,KAAK,YAAY;gBAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;YAC7D,KAAK,WAAW;gBACf,OAAO,kBAAkB,CAAC,GAAG,EAAE,IAAyB,CAAC,CAAC;YAC3D,KAAK,uBAAuB;gBAC3B,OAAO,8BAA8B,CAAC,GAAG,EAAE,IAAqC,CAAC,CAAC;YACnF,KAAK,YAAY;gBAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;YAC7D,KAAK,QAAQ;gBACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;YACrD,KAAK,eAAe;gBACnB,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC1C,KAAK,aAAa;gBACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxC,KAAK,YAAY;gBAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACvC,KAAK,aAAa;gBACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxC,KAAK,eAAe;gBACnB,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC1C;gBACC,qDAAqD;gBACrD,YAAY,CACX,+BAAgC,IAAsB,CAAC,IAAI,EAAE,EAC7D,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,IAAI,CACJ,CAAC;QACJ,CAAC;IACF,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAe,CAAC,CAAC,+CAA+C;IAE3F,4CAA4C;IAC5C,yFAAyF;IAC5F,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;AAC3E,CAAC"}
+{"version":3,"file":"block.js","sourceRoot":"","sources":["../../../../src/planner/building/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,OAAO,EAAE,gBAAgB,EAAuC,MAAM,uBAAuB,CAAC;AAC9F,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACN,+BAA+B,EAC/B,gCAAgC,EAChC,6BAA6B,GAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,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,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,8BAA8B,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC/G,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAC5H,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAEtJ,MAAM,UAAU,UAAU,CAAC,GAAoB,EAAE,UAA2B;IAC3E,8EAA8E;IAC9E,+EAA+E;IAC/E,mFAAmF;IACnF,iFAAiF;IACjF,WAAW;IACX,EAAE;IACF,yFAAyF;IACzF,uEAAuE;IACvE,mEAAmE;IACnE,uDAAuD;IACvD,wEAAwE;IACxE,yFAAyF;IACzF,yFAAyF;IACzF,yFAAyF;IACzF,wFAAwF;IACxF,yFAAyF;IACzF,sFAAsF;IACtF,yFAAyF;IACzF,2FAA2F;IAC3F,yFAAyF;IACzF,EAAE;IACF,yFAAyF;IACzF,uFAAuF;IACvF,wFAAwF;IACxF,uFAAuF;IACvF,gFAAgF;IAChF,MAAM,QAAQ,GAAoB,EAAE,GAAG,GAAG,EAAE,mBAAmB,EAAE,0BAA0B,CAAC,UAAU,CAAC,EAAE,CAAC;IAE1G,MAAM,iBAAiB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAe,CAAC,CAAC,+CAA+C;IAE3F,4CAA4C;IAC5C,yFAAyF;IAC5F,OAAO,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,yFAAyF;AACzF,SAAS,0BAA0B,CAAC,UAA2B;IAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,EAAE,UAAU,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,UAAU;YAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAmB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACZ,OAAO,IAAI,CAAC;QACb;YACC,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CAAC,GAAoB,EAAE,IAAmB;IAChE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,4DAA4D;YAC5D,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,aAAa;YACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAA2B,CAAC,CAAC;QAC/D,KAAK,aAAa;YACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAA2B,CAAC,CAAC;QAC/D,KAAK,YAAY;YAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;QAC7D,KAAK,wBAAwB;YAC5B,OAAO,+BAA+B,CAAC,GAAG,EAAE,IAAsC,CAAC,CAAC;QACrF,KAAK,yBAAyB;YAC7B,OAAO,gCAAgC,CAAC,GAAG,EAAE,IAAuC,CAAC,CAAC;QACvF,KAAK,iBAAiB;YACrB,OAAO,wBAAwB,CAAC,GAAG,EAAE,IAA+B,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,IAAoB,CAAC;YACtC,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;gBACrC,OAAO,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC3C,OAAO,iBAAiB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACzC,CAAC;iBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,kBAAkB,EAAE,CAAC;gBACvD,OAAO,6BAA6B,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YACrD,CAAC;iBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;gBAChD,OAAO,sBAAsB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC9C,CAAC;iBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;gBAC5C,OAAO,kBAAkB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC1C,CAAC;iBAAM,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC9C,YAAY,CACX,+BAA+B,EAC/B,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,QAAQ,CACR,CAAC;YACH,CAAC;YACD,MAAM;QACP,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,OAAO;YACX,OAAO,cAAc,CAAC,GAAG,EAAE,IAAqB,CAAC,CAAC;QACnD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,UAAU;YACd,OAAO,iBAAiB,CAAC,GAAG,EAAE,IAAwB,CAAC,CAAC;QACzD,KAAK,WAAW;YACf,OAAO,kBAAkB,CAAC,GAAG,EAAE,IAAyB,CAAC,CAAC;QAC3D,KAAK,SAAS;YACb,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAuB,CAAC,CAAC;QACvD,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,SAAS;YACb,OAAO,gBAAgB,CAAC,GAAG,EAAE,IAAuB,CAAC,CAAC;QACvD,KAAK,YAAY;YAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;QAC7D,KAAK,WAAW;YACf,OAAO,kBAAkB,CAAC,GAAG,EAAE,IAAyB,CAAC,CAAC;QAC3D,KAAK,uBAAuB;YAC3B,OAAO,8BAA8B,CAAC,GAAG,EAAE,IAAqC,CAAC,CAAC;QACnF,KAAK,YAAY;YAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAA0B,CAAC,CAAC;QAC7D,KAAK,QAAQ;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,IAAsB,CAAC,CAAC;QACrD,KAAK,eAAe;YACnB,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,KAAK,aAAa;YACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,YAAY;YAChB,OAAO,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,KAAK,aAAa;YACjB,OAAO,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,KAAK,eAAe;YACnB,OAAO,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C;YACC,qDAAqD;YACrD,YAAY,CACX,+BAAgC,IAAsB,CAAC,IAAI,EAAE,EAC7D,UAAU,CAAC,WAAW,EACtB,SAAS,EACT,IAAI,CACJ,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAS,yBAAyB,CAAC,GAAoB,EAAE,IAAmB,EAAE,IAAc;IAC3F,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC9D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEzC,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;QAC5C,MAAM,UAAU,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO,UAAU,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3C,4EAA4E;IAC5E,uEAAuE;IACvE,wEAAwE;IACxE,+CAA+C;IAC/C,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC7D,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACpC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,YAAY,CAAC,QAAQ,GAAG,CAAC,IAAI,oCAAoC,EAAE,UAAU,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,oBAAoB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACjD,CAAC;AAED;;wEAEwE;AACxE,SAAS,qBAAqB,CAAC,IAAc;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAY,CAAC;IACpC,SAAS,IAAI,CAAC,IAAc;QAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC9B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,IAAI,YAAY,OAAO;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE;YAAE,IAAI,CAAC,CAAwB,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE;YAAE,IAAI,CAAC,CAAwB,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,WAAW,CAAC;AACpB,CAAC"}

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

@@ -4,11 +4,12 @@ import { RowOpFlag } from '../../schema/table.js';
 import type { Attribute, RowDescriptor } from '../nodes/plan-node.js';
 import type { ConstraintCheck, NotNullDefaultPlan } from '../nodes/constraint-check-node.js';
 import type { Scope } from '../scopes/scope.js';
+import { type MutationContextAttribute } from './mutation-context.js';
 /**
  * Builds constraint check expressions at plan time.
  * This allows the optimizer to see and optimize constraint expressions.
  */
-export declare function buildConstraintChecks(ctx: PlanningContext, tableSchema: TableSchema, operation: RowOpFlag, oldAttributes: Attribute[], newAttributes: Attribute[], _flatRowDescriptor: RowDescriptor, contextAttributes?: Attribute[], 
+export declare function buildConstraintChecks(ctx: PlanningContext, tableSchema: TableSchema, operation: RowOpFlag, oldAttributes: Attribute[], newAttributes: Attribute[], _flatRowDescriptor: RowDescriptor, contextAttributes?: ReadonlyArray<MutationContextAttribute>, 
 /**
  * Extra CHECK constraints to enforce alongside the table's own — already
  * resolved in this table's column space. The lens layer threads its logical
@@ -36,7 +37,7 @@ additionalConstraints?: ReadonlyArray<RowConstraintSchema>): ConstraintCheck[];
  * check time in `checkNotNullConstraints` by column index (the first NOT-NULL
  * column with a NULL effective value), so don't look for it in this builder.
  */
-export declare function buildNotNullDefaults(ctx: PlanningContext, tableSchema: TableSchema, newAttributes: Attribute[], contextAttributes?: Attribute[], 
+export declare function buildNotNullDefaults(ctx: PlanningContext, tableSchema: TableSchema, newAttributes: Attribute[], contextAttributes?: ReadonlyArray<MutationContextAttribute>, 
 /**
  * Parent scope for `new.<col>` resolution, threaded by a synthetic decomposition /
  * multi-source member insert (see {@link buildInsertStmt}'s `defaultRowContextScope`).

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;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"}
+{"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;AAYhD,OAAO,EAA2D,KAAK,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAU/H;;;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,aAAa,CAAC,wBAAwB,CAAM;AAC/D;;;;;GAKG;AACH,qBAAqB,GAAE,aAAa,CAAC,mBAAmB,CAAM,GAC7D,eAAe,EAAE,CAwKnB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,WAAW,EACxB,aAAa,EAAE,SAAS,EAAE,EAC1B,iBAAiB,GAAE,aAAa,CAAC,wBAAwB,CAAM;AAC/D;;;;;;;;GAQG;AACH,sBAAsB,CAAC,EAAE,KAAK,GAC7B,kBAAkB,EAAE,CA0CtB"}

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

@@ -6,9 +6,10 @@ import { hasRelationalDescendant } from '../analysis/scalar-subqueries.js';
 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 { stripSelfQualifierInSchemaExpression } from '../../schema/rename-rewriter.js';
 import { buildColumnSourceResolver } from '../../schema/column-source-resolver.js';
 import { cloneExpr } from '../mutation/scope-transform.js';
+import { mutationContextVarNames, registerMutationContextSymbols } from './mutation-context.js';
 /**
  * Determines if a constraint should be checked for the given operation
  */
@@ -47,20 +48,16 @@ additionalConstraints = []) {
     const applicableConstraints = [...tableSchema.checkConstraints, ...additionalConstraints]
         .filter(constraint => shouldCheckConstraint(constraint, operation));
     const resolveColumnInSource = buildColumnSourceResolver(ctx.db);
+    // Bare column names a mutation context variable claims. The unqualified form is left
+    // to the context variable (the documented WITH CONTEXT precedence); the shadowed
+    // column stays reachable as `new.<col>` / `old.<col>`.
+    const shadowedByContext = mutationContextVarNames(contextAttributes);
     // Build expression nodes for each constraint
     return applicableConstraints.map(constraint => {
         // Create scope with OLD/NEW column access for constraint evaluation
         const constraintScope = new RegisteredScope(ctx.scope);
         // Register mutation context variables FIRST (so they shadow column names if conflicts exist)
-        contextAttributes.forEach((attr, contextVarIndex) => {
-            if (contextVarIndex < (tableSchema.mutationContext?.length || 0)) {
-                const contextVar = tableSchema.mutationContext[contextVarIndex];
-                const varNameLower = contextVar.name.toLowerCase();
-                // Register both unqualified and qualified names
-                constraintScope.registerSymbol(varNameLower, (exp, s) => new ColumnReferenceNode(s, exp, attr.type, attr.id, contextVarIndex));
-                constraintScope.registerSymbol(`context.${varNameLower}`, (exp, s) => new ColumnReferenceNode(s, exp, attr.type, attr.id, contextVarIndex));
-            }
-        });
+        registerMutationContextSymbols(constraintScope, contextAttributes);
         // The per-relation write-row correlation for THIS op's target relation — the
         // decomposition analogue of `NEW`. A lens row-local CHECK rewritten over a multi-member
         // decomposition qualifies its write-row terms with `writeRowRelationCorrelation(owning
@@ -89,8 +86,9 @@ additionalConstraints = []) {
                 // Relation-qualified write-row correlation (lens decomposition rewrite) — the
                 // `<corr>.<col>` analogue of `new.<col>` for this member relation.
                 constraintScope.registerSymbol(`${writeRowCorr}.${colNameLower}`, (exp, s) => new ColumnReferenceNode(s, exp, newColumnType, newAttrId, tableColIndex));
-                // For INSERT/UPDATE, unqualified column defaults to NEW
-                if (operation === RowOpFlag.INSERT || operation === RowOpFlag.UPDATE) {
+                // For INSERT/UPDATE, unqualified column defaults to NEW — unless a mutation
+                // context variable claims the bare name.
+                if ((operation === RowOpFlag.INSERT || operation === RowOpFlag.UPDATE) && !shadowedByContext.has(colNameLower)) {
                     constraintScope.registerSymbol(colNameLower, (exp, s) => new ColumnReferenceNode(s, exp, newColumnType, newAttrId, tableColIndex));
                 }
             }
@@ -101,8 +99,9 @@ additionalConstraints = []) {
                 const oldColumnType = columnSchemaToScalarType(tableColumn, { nullable: true });
                 // OLD.column
                 constraintScope.registerSymbol(`old.${colNameLower}`, (exp, s) => new ColumnReferenceNode(s, exp, oldColumnType, oldAttrId, tableColIndex));
-                // For DELETE, unqualified column defaults to OLD
-                if (operation === RowOpFlag.DELETE) {
+                // For DELETE, unqualified column defaults to OLD — unless a mutation context
+                // variable claims the bare name.
+                if (operation === RowOpFlag.DELETE && !shadowedByContext.has(colNameLower)) {
                     constraintScope.registerSymbol(colNameLower, (exp, s) => new ColumnReferenceNode(s, exp, oldColumnType, oldAttrId, tableColIndex));
                 }
             }
@@ -131,7 +130,7 @@ additionalConstraints = []) {
             // peers' parent-chain fallback.
             let constraintExpr = constraint.expr;
             const stripped = cloneExpr(constraint.expr);
-            if (stripSelfQualifierInCheckExpression(stripped, tableSchema.name, tableSchema.schemaName, resolveColumnInSource)) {
+            if (stripSelfQualifierInSchemaExpression(stripped, tableSchema.name, tableSchema.schemaName, resolveColumnInSource)) {
                 constraintExpr = stripped;
             }
             const expression = buildExpression(constraintCtx, constraintExpr);
@@ -154,7 +153,9 @@ additionalConstraints = []) {
                 deferrable: needsDeferred,
                 initiallyDeferred: needsDeferred,
                 needsDeferred,
-                kind: 'check'
+                kind: 'check',
+                violationMessage: constraint.violationMessage,
+                messageValued: constraint.messageValued
             };
         }
         finally {
@@ -197,6 +198,8 @@ export function buildNotNullDefaults(ctx, tableSchema, newAttributes, contextAtt
  */
 defaultRowContextScope) {
     const result = [];
+    // Bare column names a mutation context variable claims (see buildConstraintChecks).
+    const reservedKeys = mutationContextVarNames(contextAttributes);
     for (let columnIndex = 0; columnIndex < tableSchema.columns.length; columnIndex++) {
         const column = tableSchema.columns[columnIndex];
         if (!column.notNull)
@@ -205,19 +208,9 @@ defaultRowContextScope) {
         if (!defaultExpr || typeof defaultExpr !== 'object' || !('type' in defaultExpr))
             continue;
         const scope = new RegisteredScope(defaultRowContextScope ?? ctx.scope);
-        const reservedKeys = new Set();
         // Mutation context variables first so they shadow column names if conflicts exist
         // (matches createRowExpansionProjection's resolution order).
-        contextAttributes.forEach((attr, contextVarIndex) => {
-            if (contextVarIndex < (tableSchema.mutationContext?.length || 0)) {
-                const contextVar = tableSchema.mutationContext[contextVarIndex];
-                const varNameLower = contextVar.name.toLowerCase();
-                scope.registerSymbol(varNameLower, (exp, s) => new ColumnReferenceNode(s, exp, attr.type, attr.id, contextVarIndex));
-                scope.registerSymbol(`context.${varNameLower}`, (exp, s) => new ColumnReferenceNode(s, exp, attr.type, attr.id, contextVarIndex));
-                reservedKeys.add(varNameLower);
-                reservedKeys.add(`context.${varNameLower}`);
-            }
-        });
+        registerMutationContextSymbols(scope, contextAttributes);
         // Register NEW columns (DEFAULT can reference siblings as in row-expansion).
         // Skip the unqualified form when shadowed by a mutation context variable; the
         // qualified `new.<col>` form remains available.

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,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,EAAE,CAAC,CAAC;IAEhE,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"}
+{"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,oCAAoC,EAAE,MAAM,iCAAiC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,8BAA8B,EAAiC,MAAM,uBAAuB,CAAC;AAE/H;;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,oBAA6D,EAAE;AAC/D;;;;;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,EAAE,CAAC,CAAC;IAEhE,qFAAqF;IACrF,iFAAiF;IACjF,uDAAuD;IACvD,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;IAErE,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,8BAA8B,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;QAEnE,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,4EAA4E;gBAC5E,yCAAyC;gBACzC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC/G,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,6EAA6E;gBAC7E,iCAAiC;gBACjC,IAAI,SAAS,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC3E,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,oCAAoC,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBACpH,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;gBACb,gBAAgB,EAAE,UAAU,CAAC,gBAAgB;gBAC7C,aAAa,EAAE,UAAU,CAAC,aAAa;aACd,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,oBAA6D,EAAE;AAC/D;;;;;;;;GAQG;AACH,sBAA8B;IAE9B,MAAM,MAAM,GAAyB,EAAE,CAAC;IAExC,oFAAoF;IACpF,MAAM,YAAY,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;IAEhE,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;QAEvE,kFAAkF;QAClF,6DAA6D;QAC7D,8BAA8B,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAEzD,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/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;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"}
+{"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,EAAoE,MAAM,uBAAuB,CAAC;AASnH,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAoB5E,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,CA+SV"}

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

@@ -28,6 +28,7 @@ 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';
+import { buildMutationContextAttributes, buildMutationContextValues } from './mutation-context.js';
 export function buildDeleteStmt(ctx, stmt, 
 /**
  * Extra row constraints to enforce alongside the table's own — already resolved
@@ -106,30 +107,12 @@ lensRouted = false) {
     if (isMaintainedTable(deleteResolved)) {
         return buildViewMutation(contextWithCTEs, maintainedTableViewLike(deleteResolved), { op: 'delete', stmt });
     }
-    // Process mutation context assignments if present
-    const mutationContextValues = new Map();
-    const contextAttributes = [];
-    if (stmt.contextValues && tableReference.tableSchema.mutationContext) {
-        // Create context attributes
-        tableReference.tableSchema.mutationContext.forEach((contextVar) => {
-            contextAttributes.push({
-                id: PlanNode.nextAttrId(),
-                name: contextVar.name,
-                type: {
-                    typeClass: 'scalar',
-                    logicalType: contextVar.logicalType,
-                    nullable: !contextVar.notNull,
-                    isReadOnly: true
-                },
-                sourceRelation: `context.${tableReference.tableSchema.name}`
-            });
-        });
-        // Build context value expressions (evaluated in the base scope, before table scope)
-        stmt.contextValues.forEach((assignment) => {
-            const valueExpr = buildExpression(contextWithCTEs, assignment.value);
-            mutationContextValues.set(assignment.name, valueExpr);
-        });
-    }
+    // Mutation context is driven by the TABLE's declaration, not by the statement — see
+    // building/mutation-context.ts. Values are evaluated in the base scope, before the
+    // table scope; a declared variable the statement omitted gets a NULL literal, and a
+    // NOT NULL one fails at reference time from any `check on delete` that reads it.
+    const contextAttributes = buildMutationContextAttributes(tableReference.tableSchema, stmt.contextValues);
+    const mutationContextValues = buildMutationContextValues(contextWithCTEs, contextAttributes, stmt.contextValues);
     // Plan the source of rows to delete. This is typically the table itself, potentially filtered.
     let sourceNode = tableRetrieve; // Use the RetrieveNode as source
     // Create a new scope with the table columns registered for column resolution.
@@ -200,7 +183,7 @@ lensRouted = false) {
     // statement-level OR clause, so the effective conflict resolution is the
     // 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) {
+        && getBatchableRestrictFks(ctx.db, tableReference.tableSchema, 'delete', undefined, lensRouted) === undefined) {
         const parentFKChecks = buildParentSideFKChecks(schemaAuthoredCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, contextAttributes);
         constraintChecks.push(...parentFKChecks);
     }