@quereus/quereus 3.3.0 → 4.0.0

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

@@ -12,13 +12,41 @@ import { SinkNode } from '../nodes/sink-node.js';
 import { ConstraintCheckNode } from '../nodes/constraint-check-node.js';
 import { RowOpFlag } from '../../schema/table.js';
 import { ReturningNode } from '../nodes/returning-node.js';
+import { expandReturningStar } from './returning-star.js';
 import { buildOldNewRowDescriptors } from '../../util/row-descriptor.js';
 import { DmlExecutorNode } from '../nodes/dml-executor-node.js';
 import { buildConstraintChecks } from './constraint-builder.js';
+import { columnSchemaToScalarType } from '../type-utils.js';
 import { buildParentSideFKChecks } from './foreign-key-builder.js';
 import { validateReturningQualifiers } from '../validation/returning-qualifier-validator.js';
 import { isCommittedSchemaRef } from './schema-resolution.js';
-export function buildDeleteStmt(ctx, stmt) {
+import { buildViewMutation } from './view-mutation-builder.js';
+import { isMaintainedTable, maintainedTableViewLike } from '../../schema/derivation.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';
+export function buildDeleteStmt(ctx, stmt, 
+/**
+ * Extra row constraints to enforce alongside the table's own — already resolved
+ * in the target table's column space. Set only when the view-mutation substrate
+ * re-plans a lens write onto its basis table: the lens **parent-side** FK
+ * `NOT EXISTS` checks (the cross-slot dual of the child-side FK) ride this seam so
+ * a delete through a logical parent enforces the RESTRICT existence check against
+ * the logical child (see `planner/mutation/lens-enforcement.ts`).
+ */
+additionalConstraints = [], 
+/**
+ * Whether this delete is the basis-table spine of a write routed through a lens
+ * view (the view-mutation builder sets it when the target view resolves to a lens
+ * slot). Threaded onto the {@link DmlExecutorNode} so the runtime parent-side
+ * **logical** FK machinery fires only for lens-routed writes — see that node's
+ * `lensRouted` field. Default `false` for ordinary base-table deletes.
+ */
+lensRouted = false) {
+    // Statement-level WITH TAGS validates at the dml-stmt site on every authoring
+    // path — base table, view/MV-mediated, nested DML (see buildInsertStmt).
+    raiseStmtTagDiagnostics(validateReservedTags(stmt.tags, 'dml-stmt'), stmt);
     // Block DML on committed pseudo-schema
     if (isCommittedSchemaRef(stmt.table.schema)) {
         throw new QuereusError(`Cannot modify committed-state table 'committed.${stmt.table.name}'`, StatusCode.ERROR);
@@ -27,8 +55,54 @@ export function buildDeleteStmt(ctx, stmt) {
     const contextWithSchemaPath = stmt.schemaPath
         ? { ...ctx, schemaPath: stmt.schemaPath }
         : ctx;
-    const tableRetrieve = buildTableReference({ type: 'table', table: stmt.table }, contextWithSchemaPath);
+    // Thread the statement's own leading WITH clause into scope. DELETE previously
+    // ignored `stmt.withClause` entirely, so even a CTE *read* in a WHERE subquery did
+    // not resolve; building it here closes that read gap AND makes a CTE-name DML target
+    // resolvable. A WITH-less delete with no parent CTEs gets the context back unchanged.
+    const { contextWithCTEs } = buildWithContext(contextWithSchemaPath, stmt);
+    // Inline subquery target: `delete from (select …) as v where …` routes the subquery
+    // body through the same ephemeral view-like substrate (the dual of the CTE-name
+    // target). Resolved BEFORE the CTE / schema dispatch — the synthetic `table.name` (=
+    // the user alias) must not be re-resolved as a same-named CTE / schema object. The
+    // statement's CTEs stay in scope (no own-name to shadow out). See
+    // docs/view-updateability.md § CTEs and Subqueries.
+    const subqueryTarget = resolveSubqueryTarget(contextWithCTEs, stmt);
+    if (subqueryTarget) {
+        return buildViewMutation(contextWithCTEs, subqueryTarget, { op: 'delete', stmt });
+    }
+    // CTE-name target: `with t as (…) delete from t …` writes through the CTE body via
+    // the ephemeral view-like substrate, SHADOWING any same-named schema table/view/MV
+    // (matching read-side FROM shadowing). Resolved ahead of the schema dispatch; a
+    // recursive target is rejected here with the structured `recursive-cte` reason.
+    // See docs/view-updateability.md § CTEs and Subqueries.
+    const cteTarget = resolveCteTarget(contextWithCTEs, stmt.table, stmt.withClause);
+    if (cteTarget) {
+        return buildViewMutation(contextForCteTarget(contextWithCTEs, stmt.withClause, cteTarget.name), cteTarget, { op: 'delete', stmt });
+    }
+    // View- or materialized-view-mediated delete: rewrite to target the underlying
+    // base table and re-plan. An MV is a single-source projection-and-filter, so the
+    // same rewrite routes write-through to its source `T`; the row-time maintenance
+    // 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);
+    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.
+    const deleteResolved = tableReference.tableSchema;
+    if (isMaintainedTable(deleteResolved)) {
+        return buildViewMutation(contextWithCTEs, maintainedTableViewLike(deleteResolved), { op: 'delete', stmt });
+    }
     // Process mutation context assignments if present
     const mutationContextValues = new Map();
     const contextAttributes = [];
@@ -49,7 +123,7 @@ export function buildDeleteStmt(ctx, stmt) {
         });
         // Build context value expressions (evaluated in the base scope, before table scope)
         stmt.contextValues.forEach((assignment) => {
-            const valueExpr = buildExpression(contextWithSchemaPath, assignment.value);
+            const valueExpr = buildExpression(contextWithCTEs, assignment.value);
             mutationContextValues.set(assignment.name, valueExpr);
         });
     }
@@ -57,17 +131,26 @@ export function buildDeleteStmt(ctx, stmt) {
     let sourceNode = tableRetrieve; // Use the RetrieveNode as source
     // Create a new scope with the table columns registered for column resolution.
     // Wrap with AliasedScope so correlated subqueries inside WHERE / RETURNING
-    // can reference the outer DML target via qualified `table.column` form.
-    const tableColumnScope = new RegisteredScope(ctx.scope);
+    // can reference the outer DML target via qualified `table.column` form. Parent on
+    // the CTE-aware scope so a CTE-qualified column reference correlates too.
+    const tableColumnScope = new RegisteredScope(contextWithCTEs.scope);
     const sourceAttributes = sourceNode.getAttributes();
     sourceNode.getType().columns.forEach((c, i) => {
         const attr = sourceAttributes[i];
         tableColumnScope.registerSymbol(c.name.toLowerCase(), (exp, s) => new ColumnReferenceNode(s, exp, c.type, attr.id, i));
     });
     const tableName = tableReference.tableSchema.name.toLowerCase();
-    const tableScope = new AliasedScope(tableColumnScope, tableName, tableName);
-    // Create a new planning context with the updated scope for WHERE clause resolution
-    const deleteCtx = { ...contextWithSchemaPath, scope: tableScope };
+    // The view-mutation single-source lowering may carry a synthesised collision-proof
+    // correlation name on the target (`stmt.alias`), so a substituted subquery-descent
+    // base term qualified with it binds the outer target row even when the user subquery
+    // FROM names the same base table. Ordinary DELETE never sets `stmt.alias`, so the
+    // correlation name is the table name and the AliasedScope behaves identically.
+    const correlationName = stmt.alias?.toLowerCase() ?? tableName;
+    const tableScope = new AliasedScope(tableColumnScope, tableName, correlationName);
+    // Create a new planning context with the updated scope for WHERE clause resolution.
+    // 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 };
     if (stmt.where) {
         const filterExpression = buildExpression(deleteCtx, stmt.where);
         sourceNode = new FilterNode(deleteCtx.scope, sourceNode, filterExpression);
@@ -76,23 +159,14 @@ export function buildDeleteStmt(ctx, stmt) {
     const oldAttributes = tableReference.tableSchema.columns.map((col) => ({
         id: PlanNode.nextAttrId(),
         name: col.name,
-        type: {
-            typeClass: 'scalar',
-            logicalType: col.logicalType,
-            nullable: !col.notNull,
-            isReadOnly: false
-        },
+        type: columnSchemaToScalarType(col),
         sourceRelation: `OLD.${tableReference.tableSchema.name}`
     }));
     const newAttributes = tableReference.tableSchema.columns.map((col) => ({
         id: PlanNode.nextAttrId(),
         name: col.name,
-        type: {
-            typeClass: 'scalar',
-            logicalType: col.logicalType,
-            nullable: true, // NEW values are always NULL for DELETE
-            isReadOnly: false
-        },
+        // NEW values are always NULL for DELETE
+        type: columnSchemaToScalarType(col, { nullable: true }),
         sourceRelation: `NEW.${tableReference.tableSchema.name}`
     }));
     const { oldRowDescriptor, newRowDescriptor, flatRowDescriptor } = buildOldNewRowDescriptors(oldAttributes, newAttributes);
@@ -104,7 +178,7 @@ export function buildDeleteStmt(ctx, stmt) {
         });
     }
     // Build constraint checks at plan time
-    const constraintChecks = buildConstraintChecks(deleteCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, flatRowDescriptor, contextAttributes);
+    const constraintChecks = buildConstraintChecks(deleteCtx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, flatRowDescriptor, contextAttributes, additionalConstraints);
     // Build parent-side FK constraint checks if foreign_keys pragma is enabled
     if (ctx.db.options.getBooleanOption('foreign_keys')) {
         const parentFKChecks = buildParentSideFKChecks(ctx, tableReference.tableSchema, RowOpFlag.DELETE, oldAttributes, newAttributes, contextAttributes);
@@ -118,7 +192,8 @@ export function buildDeleteStmt(ctx, stmt) {
     const constraintCheckNode = new ConstraintCheckNode(deleteCtx.scope, deleteNode, tableReference, RowOpFlag.DELETE, oldRowDescriptor, newRowDescriptor, flatRowDescriptor, constraintChecks, mutationContextValues.size > 0 ? mutationContextValues : undefined, contextAttributes.length > 0 ? contextAttributes : undefined, contextDescriptor);
     // Add DML executor node to perform the actual database delete operations
     const dmlExecutorNode = new DmlExecutorNode(deleteCtx.scope, constraintCheckNode, tableReference, 'delete', undefined, // onConflict not used for DELETE
-    mutationContextValues.size > 0 ? mutationContextValues : undefined, contextAttributes.length > 0 ? contextAttributes : undefined, contextDescriptor);
+    mutationContextValues.size > 0 ? mutationContextValues : undefined, contextAttributes.length > 0 ? contextAttributes : undefined, contextDescriptor, undefined, // upsertClauses — DELETE has none
+    lensRouted);
     const resultNode = dmlExecutorNode;
     if (stmt.returning && stmt.returning.length > 0) {
         // Create returning scope with OLD/NEW attribute access
@@ -140,11 +215,15 @@ export function buildDeleteStmt(ctx, stmt) {
             const tblQualified = `${tableReference.tableSchema.name.toLowerCase()}.${tableColumn.name.toLowerCase()}`;
             returningScope.registerSymbol(tblQualified, (exp, s) => new ColumnReferenceNode(s, exp, oldAttr.type, oldAttr.id, columnIndex));
         });
-        // Build RETURNING projections in the OLD/NEW context
-        const returningProjections = stmt.returning.map(rc => {
-            // TODO: Support RETURNING *
-            if (rc.type === 'all')
-                throw new QuereusError('RETURNING * not yet supported', StatusCode.UNSUPPORTED);
+        // Build RETURNING projections in the OLD/NEW context. A `*` / `t.*` expands
+        // in place; the unqualified symbols bind OLD for DELETE, so the star yields
+        // the pre-deletion image.
+        const returningProjections = [];
+        for (const rc of stmt.returning) {
+            if (rc.type === 'all') {
+                returningProjections.push(...expandReturningStar(deleteCtx, rc, returningScope, tableReference.tableSchema, stmt.alias));
+                continue;
+            }
             // Validate qualifier usage on the AST before column resolution so the
             // NEW-in-DELETE guard fires before any "column not found" error.
             validateReturningQualifiers(rc.expr, 'DELETE');
@@ -157,11 +236,11 @@ export function buildDeleteStmt(ctx, stmt) {
                     ? `${rc.expr.table}.${rc.expr.name}`
                     : rc.expr.name;
             }
-            return {
+            returningProjections.push({
                 node: buildExpression({ ...deleteCtx, scope: returningScope }, rc.expr),
                 alias: alias
-            };
-        });
+            });
+        }
         return new ReturningNode(deleteCtx.scope, dmlExecutorNode, returningProjections);
     }
     return new SinkNode(deleteCtx.scope, resultNode, 'delete');

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

@@ -1 +1 @@
-{"version":3,"file":"delete.js","sourceRoot":"","sources":["../../../../src/planner/building/delete.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAoF,MAAM,uBAAuB,CAAC;AACnI,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE9D,MAAM,UAAU,eAAe,CAC7B,GAAoB,EACpB,IAAoB;IAEpB,uCAAuC;IACvC,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,YAAY,CAAC,kDAAkD,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACjH,CAAC;IAED,8CAA8C;IAC9C,MAAM,qBAAqB,GAAG,IAAI,CAAC,UAAU;QAC3C,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;QACzC,CAAC,CAAC,GAAG,CAAC;IAER,MAAM,aAAa,GAAG,mBAAmB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,qBAAqB,CAAC,CAAC;IACvG,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,wCAAwC;IAEvF,kDAAkD;IAClD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChE,MAAM,iBAAiB,GAAgB,EAAE,CAAC;IAE1C,IAAI,IAAI,CAAC,aAAa,IAAI,cAAc,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC;QACrE,4BAA4B;QAC5B,cAAc,CAAC,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YAChE,iBAAiB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;gBACzB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,IAAI,EAAE;oBACJ,SAAS,EAAE,QAAiB;oBAC5B,WAAW,EAAE,UAAU,CAAC,WAAW;oBACnC,QAAQ,EAAE,CAAC,UAAU,CAAC,OAAO;oBAC7B,UAAU,EAAE,IAAI;iBACjB;gBACD,cAAc,EAAE,WAAW,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;aAC7D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,oFAAoF;QACpF,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,eAAe,CAAC,qBAAqB,EAAE,UAAU,CAAC,KAAK,CAAmB,CAAC;YAC7F,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+FAA+F;IAC/F,IAAI,UAAU,GAAuB,aAAa,CAAC,CAAC,iCAAiC;IAErF,8EAA8E;IAC9E,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,gBAAgB,GAAG,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,gBAAgB,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;IACpD,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACjC,gBAAgB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAChE,MAAM,UAAU,GAAG,IAAI,YAAY,CAAC,gBAAgB,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAE5E,mFAAmF;IACnF,MAAM,SAAS,GAAG,EAAE,GAAG,qBAAqB,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAElE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,gBAAgB,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,UAAU,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;IAC7E,CAAC;IAED,2FAA2F;IAC3F,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrE,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE;YACJ,SAAS,EAAE,QAAiB;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO;YACtB,UAAU,EAAE,KAAK;SAClB;QACD,cAAc,EAAE,OAAO,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;KACzD,CAAC,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrE,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE;YACJ,SAAS,EAAE,QAAiB;YAC5B,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,UAAU,EAAE,KAAK;SAClB;QACD,cAAc,EAAE,OAAO,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;KACzD,CAAC,CAAC,CAAC;IAEJ,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,GAAG,yBAAyB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAE1H,yDAAyD;IACzD,MAAM,iBAAiB,GAA8B,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACnG,IAAI,iBAAiB,EAAE,CAAC;QACtB,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACxC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,gBAAgB,GAAG,qBAAqB,CAC5C,SAAS,EACT,cAAc,CAAC,WAAW,EAC1B,SAAS,CAAC,MAAM,EAChB,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,iBAAiB,CAClB,CAAC;IAEF,2EAA2E;IAC3E,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAAE,CAAC;QACpD,MAAM,cAAc,GAAG,uBAAuB,CAC5C,GAAG,EAAE,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EACjD,aAAa,EAAE,aAAa,EAAE,iBAAiB,CAChD,CAAC;QACF,gBAAgB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAC3C,CAAC;IAED,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,UAAU,GAAG,IAAI,UAAU,CAC/B,SAAS,CAAC,KAAK,EACf,cAAc,EACd,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,CAClB,CAAC;IAEF,MAAM,mBAAmB,GAAG,IAAI,mBAAmB,CACjD,SAAS,CAAC,KAAK,EACf,UAAU,EACV,cAAc,EACd,SAAS,CAAC,MAAM,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,CAClB,CAAC;IAEF,yEAAyE;IACzE,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,SAAS,CAAC,KAAK,EACf,mBAAmB,EACnB,cAAc,EACd,QAAQ,EACR,SAAS,EAAE,iCAAiC;IAC5C,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,CAClB,CAAC;IAEF,MAAM,UAAU,GAAuB,eAAe,CAAC;IAEvD,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,uDAAuD;QACvD,MAAM,cAAc,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE5D,uDAAuD;QACvD,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YAC1C,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACpE,cAAc,CAAC,cAAc,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAChF,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CACnF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,2GAA2G;QAC3G,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YAC1C,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAEpE,sCAAsC;YACtC,cAAc,CAAC,cAAc,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAChF,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CACnF,CAAC;YAEF,kDAAkD;YAClD,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YAC3C,cAAc,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACvE,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CACzF,CAAC;YAEF,wDAAwD;YACxD,MAAM,YAAY,GAAG,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAC1G,cAAc,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACrD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CACzF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,qDAAqD;QACrD,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YACnD,4BAA4B;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,IAAI,YAAY,CAAC,+BAA+B,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YAEvG,sEAAsE;YACtE,iEAAiE;YACjE,2BAA2B,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAE/C,2DAA2D;YAC3D,kEAAkE;YAClE,kEAAkE;YAClE,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;YACrB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxC,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK;oBACnB,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;YAED,OAAO;gBACL,IAAI,EAAE,eAAe,CAAC,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,IAAI,CAAmB;gBACzF,KAAK,EAAE,KAAK;aACb,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;IACnF,CAAC;IAEF,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"delete.js","sourceRoot":"","sources":["../../../../src/planner/building/delete.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAoF,MAAM,uBAAuB,CAAC;AACnI,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,SAAS,EAA4B,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,aAAa,EAA4B,MAAM,4BAA4B,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAE/F,MAAM,UAAU,eAAe,CAC7B,GAAoB,EACpB,IAAoB;AACpB;;;;;;;GAOG;AACH,wBAA4D,EAAE;AAC9D;;;;;;GAMG;AACH,UAAU,GAAG,KAAK;IAElB,8EAA8E;IAC9E,yEAAyE;IACzE,uBAAuB,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IAE3E,uCAAuC;IACvC,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,YAAY,CAAC,kDAAkD,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACjH,CAAC;IAED,8CAA8C;IAC9C,MAAM,qBAAqB,GAAG,IAAI,CAAC,UAAU;QAC3C,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;QACzC,CAAC,CAAC,GAAG,CAAC;IAER,+EAA+E;IAC/E,mFAAmF;IACnF,qFAAqF;IACrF,sFAAsF;IACtF,MAAM,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IAE1E,oFAAoF;IACpF,gFAAgF;IAChF,qFAAqF;IACrF,mFAAmF;IACnF,kEAAkE;IAClE,oDAAoD;IACpD,MAAM,cAAc,GAAG,qBAAqB,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACpE,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,iBAAiB,CAAC,eAAe,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,mFAAmF;IACnF,mFAAmF;IACnF,gFAAgF;IAChF,gFAAgF;IAChF,wDAAwD;IACxD,MAAM,SAAS,GAAG,gBAAgB,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,iBAAiB,CAAC,mBAAmB,CAAC,eAAe,EAAE,IAAI,CAAC,UAAW,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACtI,CAAC;IAED,+EAA+E;IAC/E,iFAAiF;IACjF,gFAAgF;IAChF,gFAAgF;IAChF,0EAA0E;IAC1E,oEAAoE;IACpE,MAAM,gBAAgB,GAAG,GAAG,CAAC,aAAa,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1G,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;WACnF,CAAC,gBAAgB,CAAC,CAAC,CAAC,uBAAuB,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChF,IAAI,UAAU,EAAE,CAAC;QACf,2EAA2E;QAC3E,OAAO,iBAAiB,CAAC,eAAe,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,aAAa,GAAG,mBAAmB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,eAAe,CAAC,CAAC;IACjG,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,wCAAwC;IAEvF,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,yBAAyB;IACzB,MAAM,cAAc,GAAG,cAAc,CAAC,WAAW,CAAC;IAClD,IAAI,iBAAiB,CAAC,cAAc,CAAC,EAAE,CAAC;QACtC,OAAO,iBAAiB,CAAC,eAAe,EAAE,uBAAuB,CAAC,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,kDAAkD;IAClD,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChE,MAAM,iBAAiB,GAAgB,EAAE,CAAC;IAE1C,IAAI,IAAI,CAAC,aAAa,IAAI,cAAc,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC;QACrE,4BAA4B;QAC5B,cAAc,CAAC,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YAChE,iBAAiB,CAAC,IAAI,CAAC;gBACrB,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;gBACzB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,IAAI,EAAE;oBACJ,SAAS,EAAE,QAAiB;oBAC5B,WAAW,EAAE,UAAU,CAAC,WAAW;oBACnC,QAAQ,EAAE,CAAC,UAAU,CAAC,OAAO;oBAC7B,UAAU,EAAE,IAAI;iBACjB;gBACD,cAAc,EAAE,WAAW,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;aAC7D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,oFAAoF;QACpF,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YACxC,MAAM,SAAS,GAAG,eAAe,CAAC,eAAe,EAAE,UAAU,CAAC,KAAK,CAAmB,CAAC;YACvF,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,+FAA+F;IAC/F,IAAI,UAAU,GAAuB,aAAa,CAAC,CAAC,iCAAiC;IAErF,8EAA8E;IAC9E,2EAA2E;IAC3E,kFAAkF;IAClF,0EAA0E;IAC1E,MAAM,gBAAgB,GAAG,IAAI,eAAe,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;IACpD,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACjC,gBAAgB,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC/D,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAChE,mFAAmF;IACnF,mFAAmF;IACnF,qFAAqF;IACrF,kFAAkF;IAClF,+EAA+E;IAC/E,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,SAAS,CAAC;IAC/D,MAAM,UAAU,GAAG,IAAI,YAAY,CAAC,gBAAgB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAElF,oFAAoF;IACpF,oFAAoF;IACpF,sEAAsE;IACtE,MAAM,SAAS,GAAG,EAAE,GAAG,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAE5D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,gBAAgB,GAAG,eAAe,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,UAAU,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;IAC7E,CAAC;IAED,2FAA2F;IAC3F,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrE,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,wBAAwB,CAAC,GAAG,CAAC;QACnC,cAAc,EAAE,OAAO,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;KACzD,CAAC,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrE,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,wCAAwC;QACxC,IAAI,EAAE,wBAAwB,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACvD,cAAc,EAAE,OAAO,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE;KACzD,CAAC,CAAC,CAAC;IAEJ,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,GAAG,yBAAyB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAE1H,yDAAyD;IACzD,MAAM,iBAAiB,GAA8B,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACnG,IAAI,iBAAiB,EAAE,CAAC;QACtB,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACxC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,gBAAgB,GAAG,qBAAqB,CAC5C,SAAS,EACT,cAAc,CAAC,WAAW,EAC1B,SAAS,CAAC,MAAM,EAChB,aAAa,EACb,aAAa,EACb,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,CACtB,CAAC;IAEF,2EAA2E;IAC3E,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAAE,CAAC;QACpD,MAAM,cAAc,GAAG,uBAAuB,CAC5C,GAAG,EAAE,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,EACjD,aAAa,EAAE,aAAa,EAAE,iBAAiB,CAChD,CAAC;QACF,gBAAgB,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;IAC3C,CAAC;IAED,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,UAAU,GAAG,IAAI,UAAU,CAC/B,SAAS,CAAC,KAAK,EACf,cAAc,EACd,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,CAClB,CAAC;IAEF,MAAM,mBAAmB,GAAG,IAAI,mBAAmB,CACjD,SAAS,CAAC,KAAK,EACf,UAAU,EACV,cAAc,EACd,SAAS,CAAC,MAAM,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,CAClB,CAAC;IAEF,yEAAyE;IACzE,MAAM,eAAe,GAAG,IAAI,eAAe,CACzC,SAAS,CAAC,KAAK,EACf,mBAAmB,EACnB,cAAc,EACd,QAAQ,EACR,SAAS,EAAE,iCAAiC;IAC5C,qBAAqB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAClE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAC5D,iBAAiB,EACjB,SAAS,EAAE,kCAAkC;IAC7C,UAAU,CACX,CAAC;IAEF,MAAM,UAAU,GAAuB,eAAe,CAAC;IAEvD,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,uDAAuD;QACvD,MAAM,cAAc,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE5D,uDAAuD;QACvD,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YAC1C,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YACpE,cAAc,CAAC,cAAc,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAChF,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CACnF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,2GAA2G;QAC3G,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE;YAC1C,MAAM,WAAW,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;YAEpE,sCAAsC;YACtC,cAAc,CAAC,cAAc,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAChF,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CACnF,CAAC;YAEF,kDAAkD;YAClD,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YAC3C,cAAc,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACvE,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CACzF,CAAC;YAEF,wDAAwD;YACxD,MAAM,YAAY,GAAG,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAC1G,cAAc,CAAC,cAAc,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACrD,IAAI,mBAAmB,CAAC,CAAC,EAAE,GAAqB,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CACzF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,4EAA4E;QAC5E,4EAA4E;QAC5E,0BAA0B;QAC1B,MAAM,oBAAoB,GAA0B,EAAE,CAAC;QACvD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACtB,oBAAoB,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAC9C,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1E,SAAS;YACX,CAAC;YAED,sEAAsE;YACtE,iEAAiE;YACjE,2BAA2B,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAE/C,2DAA2D;YAC3D,kEAAkE;YAClE,kEAAkE;YAClE,IAAI,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;YACrB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxC,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK;oBACnB,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;YAED,oBAAoB,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,eAAe,CAAC,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,IAAI,CAAmB;gBACzF,KAAK,EAAE,KAAK;aACb,CAAC,CAAC;QACL,CAAC;QAED,OAAO,IAAI,aAAa,CAAC,SAAS,CAAC,KAAK,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;IACnF,CAAC;IAEF,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC"}

package/dist/src/planner/building/dml-target.d.ts

@@ -0,0 +1,118 @@
+import type * as AST from '../../parser/ast.js';
+import type { PlanningContext } from '../planning-context.js';
+import type { MutableViewLike } from '../mutation/single-source.js';
+/**
+ * Resolve a DML target identifier against the statement's own leading WITH clause,
+ * returning an ephemeral {@link MutableViewLike} over the named CTE's body — the
+ * adapter the view-mutation substrate routes through exactly as for a named view —
+ * or `undefined` when the target is not a CTE (a schema table / view / MV, whose
+ * dispatch is unchanged).
+ *
+ * A CTE name **shadows** a same-named schema table / view / MV as a write target,
+ * matching read semantics (a CTE shadows a base table in FROM). So the three DML
+ * builders call this *ahead* of their `getView` / `getMaintainedTable` /
+ * `buildTableReference` dispatch; a match short-circuits to the ephemeral substrate.
+ *
+ * Behavior:
+ *  - No leading WITH, or a schema-qualified target (`main.t` — a CTE is never
+ *    schema-qualified) → `undefined` (ordinary schema dispatch).
+ *  - Name miss against `withClause.ctes` → `undefined`.
+ *  - A genuinely-recursive (self-referential) target → the structured `recursive-cte`
+ *    diagnostic (never a generic table-not-found miss). Gated on the actual recursive
+ *    shape ({@link isRecursiveCte}), so a `with recursive` clause whose *target* member
+ *    is a plain non-self-referential body is still writable.
+ *  - Otherwise → an ephemeral view-like over the CTE body.
+ *
+ * The CTE body itself is re-planned by the substrate against its own base table(s);
+ * the caller threads the statement's CTEs into the planning context so any
+ * sibling-CTE read in the user `where` / `set` / source resolves.
+ *
+ * **Multi-level body.** When the body is a single-source projection-and-filter that reads
+ * ANOTHER (prior) sibling CTE, {@link flattenCteBody} collapses the linear chain down to a
+ * flat body over the terminal base table, so the substrate sees a genuine single base-table
+ * body (byte-equivalent to collapsing the chain into one CTE). The target's OWN name is passed
+ * as the shadow-out name so the load-bearing `with base as (… from base) …` case stays
+ * terminal; a non-updateable intermediate in the chain rejects with its own body-shape reason.
+ * When nothing inlines, `flattenCteBody` returns `cte.query`'s identity unchanged.
+ */
+export declare function resolveCteTarget(ctx: PlanningContext, table: AST.IdentifierExpr, withClause: AST.WithClause | undefined): MutableViewLike | undefined;
+/**
+ * Build an ephemeral {@link MutableViewLike} from an inline parenthesized subquery DML
+ * target (`update (select …) as v set …` / `delete from (select …) as v where …`), or
+ * `undefined` when the statement carries no `targetSource` (an ordinary named / CTE
+ * target — unchanged dispatch). This is the inline-subquery dual of
+ * {@link resolveCteTarget}: per docs/view-updateability.md, a subquery in `from` is
+ * structurally an inlined CTE, so the body routes through the SAME view-mutation
+ * substrate via the same ephemeral adapter.
+ *
+ *  - `name` is the user's alias `v` — the substrate resolves the user `where`/`set`
+ *    column refs (`v.col` and the bare form) against it, exactly as for a named view's
+ *    own name.
+ *  - `selectAst` is the parenthesized body, re-planned against its own base table(s).
+ *  - `columns` carries the optional `as v(a,b)` rename list (the renamed names are what
+ *    `where`/`set` reference; the body's own projection names are hidden).
+ *
+ * A **DML-bodied** inline target (`update (insert … returning …) as v …`) is rejected
+ * up front: {@link import('../../parser/parser.js')}'s `subquerySource` admits a
+ * RETURNING DML body in a FROM position, but it is not a meaningful *write* target — the
+ * body must be a SELECT/VALUES-shaped relation with recoverable base lineage. (A
+ * VALUES/`select`-with-no-base body still rejects downstream in `analyzeView`; this
+ * guard adds a target-named fast-fail for the DML case.)
+ *
+ * The caller threads the statement's CTEs into the planning context so a sibling-CTE
+ * read in the body / user `where` / `set` resolves. Unlike the CTE-name target, an
+ * inline subquery has no own-name to shadow out of its body, so no `cteNodes` deletion
+ * is needed.
+ */
+export declare function resolveSubqueryTarget(ctx: PlanningContext, stmt: AST.UpdateStmt | AST.DeleteStmt): MutableViewLike | undefined;
+/**
+ * The planning context the view-mutation substrate uses for a CTE-name target: the
+ * statement's CTE-threaded context narrowed to the target's **prior-sibling prefix** —
+ * the target's OWN name **and every sibling defined at or after it** are removed from
+ * `cteNodes`.
+ *
+ * `buildFrom` resolves a FROM name against `cteNodes` *before* the schema, so leaving
+ * the target's own name in scope would make its body's same-named FROM source
+ * self-resolve to the CTE instead of the real object — silently wrong for the
+ * load-bearing shadow case `with base as (select … from base) update base …`, whose
+ * body must reach the REAL `base` table. A non-recursive CTE cannot reference itself,
+ * so SQL scopes its own name OUT of its body anyway.
+ *
+ * The same definition-order rule applies to **later** siblings: a non-recursive CTE is
+ * visible only to siblings defined after it, so the target's body sees only its PRIOR
+ * siblings — a later sibling is out of scope and a same-named FROM in the body binds the
+ * real object instead (`with x as (select … from fwd), fwd as (…) update x …` writes
+ * through to the real `fwd`). This mirrors {@link import('./with.js').buildCommonTableExpr},
+ * which builds each body against the prior siblings only.
+ *
+ * PRIOR sibling CTEs stay in scope, so a prior-sibling read in the body still resolves.
+ *
+ * Two consequences for the shared user-clause context (body and user `where`/`set`/
+ * `returning` share this one context in v1 — see
+ * {@link import('./view-mutation-builder.js')}):
+ *  - A user-clause read of a LATER-defined sibling resolves to a real same-named table
+ *    (or errors table-not-found), not the later CTE — never silently wrong.
+ *  - A user-clause self-read of the target name (`… where id in (select id from t)`)
+ *    does NOT resolve the CTE here — the self-capture path (`ctxSelfRead`) re-adds the
+ *    target name for that, leaving this context Halloween-safe.
+ * See docs/view-updateability.md § CTEs and Subqueries.
+ */
+export declare function contextForCteTarget(ctx: PlanningContext, withClause: AST.WithClause, targetName: string): PlanningContext;
+/**
+ * True iff the user clauses of an UPDATE/DELETE **self-read** the CTE-name target
+ * `targetName` — a FROM source named `targetName` (unqualified) appears in any subquery
+ * reachable from the `where`, an assignment value, or a RETURNING expression. This is
+ * the gate the view-mutation builder uses to build the eager self-read capture + split
+ * planning context (docs/view-updateability.md § Common Table Expressions —
+ * self-reference): the body is planned target-EXCLUDED (so a same-named base FROM reaches
+ * the real table), while the user clause's self-read resolves `t` against a materialized
+ * snapshot of the body — a Halloween-safe positive write. Absent a self-read this returns
+ * false and the lowering is byte-identical to today (no extra materialization).
+ *
+ * A CTE name is never schema-qualified, so only an unqualified FROM-source name matches.
+ * The scan descends nested subqueries / their FROM (incl. join legs, TVF args, subquery
+ * sources) and compound / union legs; a DML…RETURNING subquery is not descended (the
+ * capture path never lowers one).
+ */
+export declare function needsSelfCapture(stmt: AST.UpdateStmt | AST.DeleteStmt, targetName: string): boolean;
+//# sourceMappingURL=dml-target.d.ts.map

package/dist/src/planner/building/dml-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dml-target.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/dml-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAKpE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,gBAAgB,CAC/B,GAAG,EAAE,eAAe,EACpB,KAAK,EAAE,GAAG,CAAC,cAAc,EACzB,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,SAAS,GACpC,eAAe,GAAG,SAAS,CAoC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,qBAAqB,CACpC,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,GACnC,eAAe,GAAG,SAAS,CA2B7B;AASD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,mBAAmB,CAClC,GAAG,EAAE,eAAe,EACpB,UAAU,EAAE,GAAG,CAAC,UAAU,EAC1B,UAAU,EAAE,MAAM,GAChB,eAAe,CAajB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAOnG"}