@quereus/quereus 4.8.0 → 4.10.0

package/dist/src/runtime/emit/drop-column-guards.js

@@ -1,13 +1,17 @@
 import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
-import { expressionToString } from '../../emit/ast-stringify.js';
-import { columnReferencedInAst, columnReferencedInCheckExpression } from '../../schema/rename-rewriter.js';
+import { columnReferencedInAst, objectRefKey } from '../../schema/rename-rewriter.js';
 import { buildColumnSourceResolver } from '../../schema/column-source-resolver.js';
+import { snapshotObjectRefResolvers } from '../../schema/object-ref-resolver.js';
+import { collectColumnRepublication } from '../../schema/column-republication.js';
+import { assertionReachesHomeSchemaFirst, describeOwnedAssertion } from '../../schema/assertion.js';
+import { describeReachPath } from '../../schema/object-dependency-closure.js';
+import { findColumnExpressionDependent, describeDependentTable, } from '../../schema/expression-dependents.js';
 /**
  * The `ALTER TABLE … DROP COLUMN` guards over dependents that `runDropColumn` does not
- * otherwise see: the DEFAULT of another column on the table itself, a CHECK constraint on
- * the table itself, an assertion whose CHECK body names the column, and a foreign key in
- * *another* table pointing **at** the column.
+ * otherwise see: a column DEFAULT or `GENERATED ALWAYS AS` body that names the column, a
+ * CHECK constraint that names it, an assertion whose CHECK body names it, and a foreign
+ * key in *another* table pointing **at** the column.
  *
  * Whether a dependent is removed with the column or blocks the drop turns on two
  * questions: is it defined by a *column set* or by an *expression*, and does it live on
@@ -21,9 +25,10 @@ import { buildColumnSourceResolver } from '../../schema/column-source-resolver.j
  *   `WHERE`, and — here — a column DEFAULT, a CHECK expression and an assertion body) are
  *   arbitrary user-authored logic with no narrowed form at all. The only choices are
  *   delete-it-silently and refuse, and the engine **refuses**, `StatusCode.CONSTRAINT`.
- * - **Dependents living in another table** — here, a foreign key whose *parent* column is
- *   the one being dropped — refuse regardless of shape. Removing one would silently
- *   weaken a constraint on a table the user did not name in the statement.
+ * - **Dependents living in another table** — a foreign key whose *parent* column is the
+ *   one being dropped, and (through a subquery) another table's CHECK / DEFAULT /
+ *   generated body — refuse regardless of shape. Removing one would silently weaken, or
+ *   outright break, a constraint on a table the user did not name in the statement.
  *
  * Refuse is right for all four guards here because it is what the two expression guards
  * already inside `runDropColumn` do (so the function gains no second policy), it is
@@ -32,93 +37,123 @@ import { buildColumnSourceResolver } from '../../schema/column-source-resolver.j
  * assertion. Cascading here would make `drop table f` and `alter table f drop column x`
  * disagree about the same object.
  *
+ * The two expression guards below scan **every table in every schema**, not just the
+ * altered one, via `schema/expression-dependents.ts` — a CHECK or DEFAULT may contain a
+ * subquery, so another table's expression can legitimately name this column, and
+ * `ALTER TABLE … RENAME COLUMN` has always rewritten exactly those. See that module for
+ * the shared walk and the seeded/unseeded probe split it turns on. All three guards follow
+ * view / materialized-view bodies through the same closure
+ * (`schema/object-dependency-closure.ts`), so a CHECK reaching the column only through a
+ * view refuses the drop and the refusal names the chain.
+ *
  * Known cost, accepted: an **unnamed** table-level CHECK cannot be dropped
  * (`DROP CONSTRAINT` resolves by name only), so refusing leaves such a column
- * undroppable short of rebuilding the table — again SQLite's position. The refusal
- * message quotes the constraint's expression so the user can at least see what is in
- * the way.
+ * undroppable short of rebuilding the referencing table — again SQLite's position. The
+ * refusal message quotes the constraint's expression so the user can at least see what is
+ * in the way.
  *
  * All four guards must run **before** `requireVtabModule` / `module.alterTable`, so a
  * refused statement never reaches a persisting module and the table is left untouched
  * rather than reverted.
  */
 /**
- * Refuses the drop when the DEFAULT of some OTHER column on `tableSchema` names the column.
- *
- * A default is evaluated against the row being written, so it names its siblings through
- * the row-image qualifier — `b integer default (new.a + 1)`. Dropping `a` leaves that
- * default uncompilable and the table unable to accept any new row at all, with an error
- * naming a column the user deliberately removed. Refusing keeps the failure attached to
- * the statement that caused it.
- *
- * Decided by {@link columnReferencedInCheckExpression}, the same seeded probe the CHECK
- * guard below uses, and for the same two reasons: the seed owns the `new.` / `old.`
- * row-image namespace a default is written in, and it is scope-**aware**, so a default
- * whose subquery reads a like-named column on another table
- * (`default ((select min(v) from u))`) does not false-refuse dropping this table's own `v`.
- * Sharing the probe with the rename walk is what makes "the drop refuses exactly the
- * references a rename would have rewritten" true — the same equivalence the CHECK guard
- * rests on, case folding (`NEW.A`) and the `"new"`-named-table shadowing edge included.
- *
- * The dropped column's **own** default is skipped: it goes away with the column, so a
- * self-naming default (`a integer default (new.a)`) is not something the drop orphans.
- *
- * The generated-column half of this pair is NOT here — `runDropColumn` already refuses off
- * `generatedColumnDependencies`, the resolved column-index map `extractGeneratedColumnDependencies`
- * builds. Two mechanisms for one policy, but the existing one predates this guard and its map
- * is load-bearing elsewhere (evaluation order), so it stays where it is.
+ * Refuses the drop when a column DEFAULT or `GENERATED ALWAYS AS` body — on the altered
+ * table or on any other table in any schema — names the column.
+ *
+ * A default is evaluated against the row being written, so on the altered table it names
+ * its siblings through the row-image qualifier — `b integer default (new.a + 1)`.
+ * Dropping `a` leaves that default uncompilable and the table unable to accept any new
+ * row at all, with an error naming a column the user deliberately removed. On ANOTHER
+ * table the same expression reaches this column only through a subquery
+ * (`w integer default ((select min(v) from t))`), and the damage is worse: that table
+ * becomes unwritable and the error names neither `t`, nor the dropped column, nor the
+ * default that broke.
+ *
+ * "Names" is decided by {@link findColumnExpressionDependent}, which shares its walk with
+ * the rename propagation — so the drop refuses exactly the references a rename would have
+ * rewritten, case folding (`NEW.A`) and the `"new"`-named-table shadowing edge included,
+ * and the two definitions cannot drift. That scope-awareness is load-bearing rather than
+ * decorative: a default whose subquery reads a like-named column on another table
+ * (`default ((select min(v) from u))`) must NOT false-refuse dropping this table's own `v`.
+ *
+ * Two expressions on the altered table are deliberately skipped — the dropped column's
+ * own default (it goes away with the column) and every own-table generated body
+ * (`runDropColumn` already refuses off `generatedColumnDependencies`). See
+ * {@link findColumnExpressionDependent} for both.
  */
-export function assertNoColumnDefaultNamesColumn(db, tableSchema, columnName) {
-    const lowerColumn = columnName.toLowerCase();
-    const resolveColumnInSource = buildColumnSourceResolver(db.schemaManager);
-    for (const col of tableSchema.columns) {
-        if (col.name.toLowerCase() === lowerColumn)
-            continue;
-        if (!col.defaultValue)
-            continue;
-        if (!columnReferencedInCheckExpression(col.defaultValue, tableSchema.name, columnName, tableSchema.schemaName, resolveColumnInSource))
-            continue;
-        throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': it is referenced by the DEFAULT of column '${col.name}'`, StatusCode.CONSTRAINT);
-    }
+export function assertNoColumnExpressionNamesColumn(db, tableSchema, columnName) {
+    refuseColumnExpressionDependent(db, tableSchema, columnName, 'columnExpression');
 }
 /**
- * Refuses the drop when one of `tableSchema`'s own CHECK constraints names the column.
- *
- * "Names" is decided by {@link columnReferencedInCheckExpression} — a real rename to a
- * sentinel over a throwaway clone of the body — so the guard refuses exactly the
- * references `ALTER TABLE … RENAME COLUMN` would have rewritten, and the two
- * definitions cannot drift. That scope-awareness is load-bearing rather than
- * decorative: a CHECK may contain a subquery, so a depth-blind name match (what the
- * partial-index guard next door can afford, its predicates admitting no subqueries)
- * would false-refuse `check ((select min(v) from u) >= 0)` when dropping this table's
- * own `v`.
- *
- * Only the constraints on `tableSchema.checkConstraints` at drop time are probed —
+ * Refuses the drop when a CHECK constraint — on the altered table or on any other table
+ * in any schema — names the column.
+ *
+ * Same walk, same equivalence with the rename, as
+ * {@link assertNoColumnExpressionNamesColumn}. A CHECK may contain a subquery, so a
+ * depth-blind name match (what the partial-index guard next door can afford, its
+ * predicates admitting no subqueries) would both false-refuse
+ * `check ((select min(v) from u) >= 0)` when dropping this table's own `v` AND miss
+ * another table's `check (n < (select max(v) from t))` entirely.
+ *
+ * Only the constraints on each table's `checkConstraints` at drop time are probed —
  * the user's declared set. Lens- and FK-synthesized entries are attached to a write
- * plan's constraint list, not to the catalog entry this reads.
+ * plan's constraint list, not to the catalog entries this reads.
  *
  * A CHECK naming the column through the row-image qualifiers — `check (new.a > 0)`,
  * `check on delete (old.a > 0)` — refuses the drop just like the unqualified spelling:
- * the same walk owns that namespace, shadowing edge included, so a CHECK whose subquery
+ * the seeded walk owns that namespace, shadowing edge included, so a CHECK whose subquery
  * reads a real table named `"new"` still does not block dropping this table's own
  * like-named column.
  */
 export function assertNoCheckConstraintNamesColumn(db, tableSchema, columnName) {
-    const resolveColumnInSource = buildColumnSourceResolver(db.schemaManager);
-    for (const check of tableSchema.checkConstraints ?? []) {
-        if (!columnReferencedInCheckExpression(check.expr, tableSchema.name, columnName, tableSchema.schemaName, resolveColumnInSource))
-            continue;
-        // A table-level unnamed CHECK genuinely carries `name: undefined` — the
-        // `_check_<table>` spelling `manager.ts` produces is error text, not stored
-        // identity — so there is no name to quote and the expression stands in for one.
-        const referencedBy = check.name
-            ? `CHECK constraint '${check.name}'`
-            : `the CHECK constraint (${expressionToString(check.expr)})`;
-        throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': it is referenced by ${referencedBy}`, StatusCode.CONSTRAINT);
+    refuseColumnExpressionDependent(db, tableSchema, columnName, 'check');
+}
+/**
+ * The shared body of the two expression guards: probe, then refuse with a message that
+ * names the dropped column, the table it is being dropped from, the offending expression,
+ * and — when the expression lives somewhere else — the table carrying it. The own-table
+ * message is unchanged from before this guard learned to scan other tables.
+ *
+ * A {@link ExpressionDependent.breaksEntirely} match gets its own spelling: the
+ * expression references a view / MV the drop breaks OUTRIGHT (an explicit column list
+ * over a `*` covering the column), so telling the user one column is referenced would
+ * send them hunting for a name no body spells.
+ */
+function refuseColumnExpressionDependent(db, tableSchema, columnName, arm) {
+    const dependent = findColumnExpressionDependent(db, tableSchema, columnName, arm);
+    if (!dependent)
+        return;
+    if (dependent.breaksEntirely) {
+        throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': `
+            + `${referencedBy(dependent, tableSchema.schemaName)} references ${dependent.breaksEntirely}, `
+            + `whose explicit column list would no longer match its body once '*' expands without the `
+            + `column — dropping the column breaks it outright, not just one column`, StatusCode.CONSTRAINT);
     }
+    throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': ${refersTo(dependent, tableSchema.schemaName)}`, StatusCode.CONSTRAINT);
 }
 /**
- * Refuses the drop when a live assertion's CHECK body names the column.
+ * How the refusal describes the reference. A DIRECT one keeps the wording these guards
+ * have always used; an indirect one leads with the expression and names the chain, the
+ * same `… reaches it through view 'v'` split `assertNoAssertionDependsOn` uses. It is NOT
+ * the spelling {@link assertNoAssertionNamesColumn} uses next door
+ * (`it is referenced by assertion 'a' through view 'v'`) — that message was already in
+ * tests when the closure landed, and both read.
+ */
+function refersTo(dependent, homeSchemaName) {
+    const what = referencedBy(dependent, homeSchemaName);
+    return dependent.path.length === 0
+        ? `it is referenced by ${what}`
+        : `${what} reaches it${describeReachPath(dependent.path)}`;
+}
+/** `CHECK constraint 'ck1'`, or `CHECK constraint 'ck1' on table 'x'` when it lives elsewhere. */
+function referencedBy(dependent, homeSchemaName) {
+    if (dependent.ownTable)
+        return dependent.describe;
+    return `${dependent.describe} on table ${describeDependentTable(dependent.table, homeSchemaName)}`;
+}
+/**
+ * Refuses the drop when a live assertion's CHECK body, or any stored view /
+ * materialized-view body that assertion can reach, names the column.
  *
  * Blast radius is why this one is worth a guard at all: `AssertionEvaluator`
  * recompiles **every** live assertion on any commit that touched any table, so a
@@ -130,25 +165,55 @@ export function assertNoCheckConstraintNamesColumn(db, tableSchema, columnName)
  * (unlike a CHECK). A body that names the table but not the column — `select *`
  * included — is not a reference and does not block the drop.
  *
- * Scope is the altered table's OWN schema, matching `assertNoAssertionDependsOn` and
- * `propagateColumnRenameToAssertions`, and carrying the same documented gap: an
- * assertion living in schema A that names `B.t` explicitly is not caught. Tracked by
- * `bug-rename-not-propagated-across-schemas`.
+ * The same probe runs over EVERY body in the assertion's reach, its own included, so
+ * `create view v as select id, x from t` plus `create assertion a check (… from v
+ * where x < 0)` refuses `alter table t drop column x` — the match is on `v`'s body,
+ * not the assertion's.
+ *
+ * Each body is probed against every COLUMN REPUBLICATION target
+ * (`schema/column-republication.ts`), not the base table alone: a view that
+ * re-exposes the column by a star (`create view v as select * from t`, `select t.*`,
+ * or a materialized view of either) spells the name nowhere, and a reader's
+ * `where x < 0` references the column against `v`. Targets are swept OUTER — base
+ * table first, bodies inner — so every match the base sweep finds is found at the
+ * body it always was and the existing message spellings do not move. The
+ * broken-listed arm follows the sweep: an explicit column list over a covering `*`
+ * (`create view v(a, b) as select * from t`) breaks the whole view on the drop
+ * (the star's arity changes), so an assertion whose reach names such a view at all
+ * refuses, with a message saying the view breaks outright. The fixpoint's second
+ * catalog snapshot is taken at the same pre-mutation point as
+ * `assertionReachesHomeSchemaFirst`'s, so the two answer identically.
+ *
+ * Scope is EVERY schema, matching `assertNoAssertionDependsOn`: an assertion in
+ * `temp` naming `main.t`'s column blocks the drop, while one whose bare `t` resolves
+ * to `temp.t` does not. Each body resolves its unqualified names under its own home
+ * schema path. The scan itself is {@link assertionReachesHomeSchemaFirst}, shared
+ * with the table verb.
  */
 export function assertNoAssertionNamesColumn(db, tableSchema, columnName) {
-    const schema = db.schemaManager.getSchema(tableSchema.schemaName);
-    if (!schema)
-        return;
-    const resolveColumnInSource = buildColumnSourceResolver(db.schemaManager);
-    for (const assertion of schema.getAllAssertions()) {
-        // An assertion with no `checkExpression` has no AST to scan and is skipped,
-        // exactly as the rename propagation and `assertNoAssertionDependsOn` skip it.
-        const check = assertion.checkExpression;
-        if (!check)
-            continue;
-        if (!columnReferencedInAst(check, tableSchema.name, columnName, tableSchema.schemaName, resolveColumnInSource))
-            continue;
-        throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': it is referenced by assertion '${assertion.name}' — drop or redefine the assertion first`, StatusCode.CONSTRAINT);
+    const resolveColumnInSource = buildColumnSourceResolver(db);
+    const tableKey = objectRefKey(tableSchema.schemaName, tableSchema.name);
+    const republication = collectColumnRepublication(db, { targetKey: tableKey, tableName: tableSchema.name }, columnName, snapshotObjectRefResolvers(db), resolveColumnInSource);
+    for (const { owned, reach } of assertionReachesHomeSchemaFirst(db, tableSchema.schemaName)) {
+        for (const target of republication.targets) {
+            for (const reached of reach.bodies) {
+                // Row-image mode 'none': an assertion body and every view / MV body in
+                // its reach are relations with no written row.
+                if (!columnReferencedInAst(reached.body, target.tableName, columnName, reached.resolve, target.targetKey, 'none', resolveColumnInSource))
+                    continue;
+                throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': it is referenced by `
+                    + `assertion ${describeOwnedAssertion(owned, tableSchema.schemaName)}`
+                    + `${describeReachPath(reached.path)} — drop or redefine the assertion first`, StatusCode.CONSTRAINT);
+            }
+        }
+        for (const broken of republication.brokenListed) {
+            if (!reach.namerOf(broken.key))
+                continue;
+            throw new QuereusError(`Cannot drop column '${columnName}' from '${tableSchema.name}': assertion `
+                + `${describeOwnedAssertion(owned, tableSchema.schemaName)} references ${broken.describe}, `
+                + `whose explicit column list would no longer match its body once '*' expands without the `
+                + `column — dropping the column breaks it outright — drop or redefine the assertion first`, StatusCode.CONSTRAINT);
+        }
     }
 }
 /**

package/dist/src/runtime/emit/drop-column-guards.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop-column-guards.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-column-guards.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,iCAAiC,EAAE,MAAM,iCAAiC,CAAC;AAC3G,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AAEnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,gCAAgC,CAC/C,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC1E,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW;YAAE,SAAS;QACrD,IAAI,CAAC,GAAG,CAAC,YAAY;YAAE,SAAS;QAChC,IAAI,CAAC,iCAAiC,CACrC,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC;YAAE,SAAS;QAC1G,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,iDAAiD,GAAG,CAAC,IAAI,GAAG,EACxH,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,kCAAkC,CACjD,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;QACxD,IAAI,CAAC,iCAAiC,CACrC,KAAK,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC;YAAE,SAAS;QACpG,wEAAwE;QACxE,4EAA4E;QAC5E,gFAAgF;QAChF,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI;YAC9B,CAAC,CAAC,qBAAqB,KAAK,CAAC,IAAI,GAAG;YACpC,CAAC,CAAC,yBAAyB,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,0BAA0B,YAAY,EAAE,EACpG,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,4BAA4B,CAC3C,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC1E,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACnD,4EAA4E;QAC5E,8EAA8E;QAC9E,MAAM,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC;QACxC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,CAAC,qBAAqB,CACzB,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC;YAAE,SAAS;QAC/F,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,qCAAqC,SAAS,CAAC,IAAI,0CAA0C,EACzJ,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,kCAAkC,CACjD,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAEjE,KAAK,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACvH,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC;YAAE,SAAS;QAClD,IAAI,sBAAsB,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,CAAC;YAAE,SAAS;QAEhF,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,IAAI,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,uCAAuC,MAAM,eAAe,UAAU,CAAC,IAAI,GAAG,EAC1I,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,EAA8B,EAAE,WAAmB;IAC7E,MAAM,QAAQ,GAAG,EAAE,CAAC,qBAAqB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC9B,WAAwB,EACxB,UAAuB,EACvB,EAA8B,EAC9B,YAAgC;IAEhC,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/F,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"drop-column-guards.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-column-guards.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,sCAAsC,CAAC;AAClF,OAAO,EAAE,+BAA+B,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,EACN,6BAA6B,EAC7B,sBAAsB,GAGtB,MAAM,uCAAuC,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,mCAAmC,CAClD,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,+BAA+B,CAAC,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,kCAAkC,CACjD,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,+BAA+B,CAAC,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,+BAA+B,CACvC,EAAY,EACZ,WAAwB,EACxB,UAAkB,EAClB,GAAwB;IAExB,MAAM,SAAS,GAAG,6BAA6B,CAAC,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAClF,IAAI,CAAC,SAAS;QAAE,OAAO;IACvB,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;QAC9B,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,KAAK;cAC/D,GAAG,YAAY,CAAC,SAAS,EAAE,WAAW,CAAC,UAAU,CAAC,eAAe,SAAS,CAAC,cAAc,IAAI;cAC7F,yFAAyF;cACzF,sEAAsE,EACxE,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,MAAM,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,EAC/G,UAAU,CAAC,UAAU,CACrB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,SAA8B,EAAE,cAAsB;IACvE,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACrD,OAAO,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,CAAC,uBAAuB,IAAI,EAAE;QAC/B,CAAC,CAAC,GAAG,IAAI,cAAc,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,kGAAkG;AAClG,SAAS,YAAY,CAAC,SAA8B,EAAE,cAAsB;IAC3E,IAAI,SAAS,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC,QAAQ,CAAC;IAClD,OAAO,GAAG,SAAS,CAAC,QAAQ,aAAa,sBAAsB,CAAC,SAAS,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC;AACpG,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,4BAA4B,CAC3C,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,qBAAqB,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,YAAY,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,0BAA0B,CAAC,EAAE,EAClD,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,UAAU,EAChE,0BAA0B,CAAC,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAExD,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,+BAA+B,CAAC,EAAE,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5F,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,OAAO,EAAE,CAAC;YAC5C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACpC,uEAAuE;gBACvE,+CAA+C;gBAC/C,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,EACpE,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,qBAAqB,CAAC;oBAAE,SAAS;gBAC7E,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,yBAAyB;sBACnF,aAAa,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE;sBACpE,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,yCAAyC,EAC7E,UAAU,CAAC,UAAU,CACrB,CAAC;YACH,CAAC;QACF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,aAAa,CAAC,YAAY,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,SAAS;YACzC,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,eAAe;kBACzE,GAAG,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,eAAe,MAAM,CAAC,QAAQ,IAAI;kBAC1F,yFAAyF;kBACzF,wFAAwF,EAC1F,UAAU,CAAC,UAAU,CACrB,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,kCAAkC,CACjD,EAAY,EACZ,WAAwB,EACxB,UAAkB;IAElB,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,YAAY,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAEjE,KAAK,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,yBAAyB,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACvH,IAAI,CAAC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC;YAAE,SAAS;QAClD,IAAI,sBAAsB,CAAC,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,YAAY,CAAC;YAAE,SAAS;QAEhF,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,IAAI,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CACrB,uBAAuB,UAAU,WAAW,WAAW,CAAC,IAAI,uCAAuC,MAAM,eAAe,UAAU,CAAC,IAAI,GAAG,EAC1I,UAAU,CAAC,UAAU,CACrB,CAAC;IACH,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,EAA8B,EAAE,WAAmB;IAC7E,MAAM,QAAQ,GAAG,EAAE,CAAC,qBAAqB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAC9B,WAAwB,EACxB,UAAuB,EACvB,EAA8B,EAC9B,YAAgC;IAEhC,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE;QAAE,OAAO,KAAK,CAAC;IAC/F,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC1C,CAAC"}

package/dist/src/runtime/emit/drop-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drop-table.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAI/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAiDpF"}
+{"version":3,"file":"drop-table.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAI/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAO9D,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAqDpF"}

package/dist/src/runtime/emit/drop-table.js

@@ -5,6 +5,7 @@ import { dropMaintainedTable } from './materialized-view.js';
 import { requireVtabModule } from '../../schema/table.js';
 import { assertDdlTransactionPolicy } from './ddl-transaction-policy.js';
 import { assertNoAssertionDependsOn } from './assertion-drop-guard.js';
+import { assertNoExpressionDependsOn } from './expression-drop-guard.js';
 export function emitDropTable(plan, ctx) {
     const schemaManager = ctx.db.schemaManager;
     const stmt = plan.statementAst; // AST.DropStmt
@@ -27,6 +28,10 @@ export function emitDropTable(plan, ctx) {
             // `IF EXISTS` drop of an absent name is a no-op with nothing to protect
             // (and any assertion naming that name is already broken).
             assertNoAssertionDependsOn(rctx.db, targetSchemaName, objectName, 'table');
+            // Another table's CHECK / DEFAULT / generated body may name this one through a
+            // subquery; dropping out from under it leaves that table unwritable. Same gate
+            // (table exists) and same layer (emitter, not `SchemaManager.dropTable`) as above.
+            assertNoExpressionDependsOn(rctx.db, targetSchemaName, objectName, 'table');
         }
         // Ensure we're in a transaction before DDL (lazy/JIT transaction start)
         await rctx.db._ensureTransaction();

package/dist/src/runtime/emit/drop-table.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop-table.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-table.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAElE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,UAAU,aAAa,CAAC,IAAmB,EAAE,GAAoB;IACtE,MAAM,aAAa,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,eAAe;IAE/C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,CAAC;IAClF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAElC,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QACjC,+CAA+C;QAC/C,qGAAqG;QACrG,MAAM,IAAI,YAAY,CAAC,yBAAyB,IAAI,CAAC,UAAU,sCAAsC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;IAChI,CAAC;IAED,KAAK,UAAU,GAAG,CAAC,IAAoB;QACtC,yEAAyE;QACzE,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC5E,IAAI,MAAM,EAAE,CAAC;YACZ,0BAA0B,CACzB,IAAI,CAAC,EAAE,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,EACzD,cAAc,UAAU,EAAE,CAC1B,CAAC;YACF,+DAA+D;YAC/D,oEAAoE;YACpE,wEAAwE;YACxE,0DAA0D;YAC1D,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;QAED,wEAAwE;QACxE,MAAM,IAAI,CAAC,EAAE,CAAC,kBAAkB,EAAE,CAAC;QAEnC,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,wCAAwC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC1F,IAAI,UAAU,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC;QACb,CAAC;QAED,MAAM,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,gBAAgB,IAAI,UAAU,GAAG,EAAE,CAAC;AAC9F,CAAC"}
+{"version":3,"file":"drop-table.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-table.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAElE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,aAAa,CAAC,IAAmB,EAAE,GAAoB;IACtE,MAAM,aAAa,GAAG,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,eAAe;IAE/C,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,oBAAoB,EAAE,CAAC;IAClF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAElC,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QACjC,+CAA+C;QAC/C,qGAAqG;QACrG,MAAM,IAAI,YAAY,CAAC,yBAAyB,IAAI,CAAC,UAAU,sCAAsC,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;IAChI,CAAC;IAED,KAAK,UAAU,GAAG,CAAC,IAAoB;QACtC,yEAAyE;QACzE,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC5E,IAAI,MAAM,EAAE,CAAC;YACZ,0BAA0B,CACzB,IAAI,CAAC,EAAE,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,cAAc,EACzD,cAAc,UAAU,EAAE,CAC1B,CAAC;YACF,+DAA+D;YAC/D,oEAAoE;YACpE,wEAAwE;YACxE,0DAA0D;YAC1D,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAC3E,+EAA+E;YAC/E,+EAA+E;YAC/E,mFAAmF;YACnF,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC7E,CAAC;QAED,wEAAwE;QACxE,MAAM,IAAI,CAAC,EAAE,CAAC,kBAAkB,EAAE,CAAC;QAEnC,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,wCAAwC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,UAAU,CAAC,CAAC;QAC1F,IAAI,UAAU,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC;QACb,CAAC;QAED,MAAM,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,gBAAgB,EAAE,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,gBAAgB,IAAI,UAAU,GAAG,EAAE,CAAC;AAC9F,CAAC"}

package/dist/src/runtime/emit/drop-view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drop-view.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAC/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAK9D,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,GAAG,WAAW,CAuEnF"}
+{"version":3,"file":"drop-view.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAC/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D,wBAAgB,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,GAAG,WAAW,CA2EnF"}

package/dist/src/runtime/emit/drop-view.js

@@ -1,6 +1,7 @@
 import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
 import { assertNoAssertionDependsOn } from './assertion-drop-guard.js';
+import { assertNoExpressionDependsOn } from './expression-drop-guard.js';
 export function emitDropView(plan, _ctx) {
     async function run(rctx) {
         // Ensure we're in a transaction before DDL (lazy/JIT transaction start)
@@ -21,6 +22,10 @@ export function emitDropView(plan, _ctx) {
         // An assertion body may name a view exactly as it names a base table, and
         // dropping it out from under one breaks every write to the database.
         assertNoAssertionDependsOn(rctx.db, plan.schemaName, plan.viewName, 'view');
+        // A CHECK / DEFAULT / generated body may read a VIEW through a subquery exactly as
+        // it reads a base table, so the referencing table breaks the same way. (The
+        // asymmetry is on the other side: a table dropped under a plain view stays legal.)
+        assertNoExpressionDependsOn(rctx.db, plan.schemaName, plan.viewName, 'view');
         // Remove the view from the schema manager
         const schema = rctx.db.schemaManager.getSchema(plan.schemaName);
         if (!schema) {

package/dist/src/runtime/emit/drop-view.js.map

@@ -1 +1 @@
-{"version":3,"file":"drop-view.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-view.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,IAAqB;IACrE,KAAK,UAAU,GAAG,CAAC,IAAoB;QACtC,wEAAwE;QACxE,MAAM,IAAI,CAAC,EAAE,CAAC,kBAAkB,EAAE,CAAC;QAEnC,mEAAmE;QACnE,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,YAAY,CACrB,IAAI,IAAI,CAAC,QAAQ,uDAAuD,EACxE,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnF,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,YAAY,CACrB,SAAS,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,kBAAkB,EAC3D,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,qEAAqE;YACrE,OAAO,IAAI,CAAC;QACb,CAAC;QAED,0EAA0E;QAC1E,qEAAqE;QACrE,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE5E,0CAA0C;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,YAAY,CACrB,WAAW,IAAI,CAAC,UAAU,kBAAkB,EAC5C,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,YAAY,CACrB,SAAS,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,kBAAkB,EAC3D,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,2EAA2E;QAC3E,wDAAwD;QACxD,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,iBAAiB,EAAE,CAAC,YAAY,CAAC;gBACtD,IAAI,EAAE,cAAc;gBACpB,yCAAyC;gBACzC,2EAA2E;gBAC3E,UAAU,EAAE,YAAY,CAAC,UAAU;gBACnC,UAAU,EAAE,YAAY,CAAC,IAAI;gBAC7B,SAAS,EAAE,YAAY;aACvB,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,wDAAwD;IACtE,CAAC;IAED,OAAO;QACN,MAAM,EAAE,EAAE;QACV,GAAG;QACH,IAAI,EAAE,YAAY,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,GAAG;KACrD,CAAC;AACH,CAAC"}
+{"version":3,"file":"drop-view.js","sourceRoot":"","sources":["../../../../src/runtime/emit/drop-view.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAiB,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAEzE,MAAM,UAAU,YAAY,CAAC,IAAkB,EAAE,IAAqB;IACrE,KAAK,UAAU,GAAG,CAAC,IAAoB;QACtC,wEAAwE;QACxE,MAAM,IAAI,CAAC,EAAE,CAAC,kBAAkB,EAAE,CAAC;QAEnC,mEAAmE;QACnE,IAAI,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,YAAY,CACrB,IAAI,IAAI,CAAC,QAAQ,uDAAuD,EACxE,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEnF,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,IAAI,YAAY,CACrB,SAAS,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,kBAAkB,EAC3D,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,qEAAqE;YACrE,OAAO,IAAI,CAAC;QACb,CAAC;QAED,0EAA0E;QAC1E,qEAAqE;QACrE,0BAA0B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5E,mFAAmF;QACnF,4EAA4E;QAC5E,mFAAmF;QACnF,2BAA2B,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE7E,0CAA0C;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,YAAY,CACrB,WAAW,IAAI,CAAC,UAAU,kBAAkB,EAC5C,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,YAAY,CACrB,SAAS,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,kBAAkB,EAC3D,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,2EAA2E;QAC3E,wDAAwD;QACxD,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;YAC7B,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,iBAAiB,EAAE,CAAC,YAAY,CAAC;gBACtD,IAAI,EAAE,cAAc;gBACpB,yCAAyC;gBACzC,2EAA2E;gBAC3E,UAAU,EAAE,YAAY,CAAC,UAAU;gBACnC,UAAU,EAAE,YAAY,CAAC,IAAI;gBAC7B,SAAS,EAAE,YAAY;aACvB,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,wDAAwD;IACtE,CAAC;IAED,OAAO;QACN,MAAM,EAAE,EAAE;QACV,GAAG;QACH,IAAI,EAAE,YAAY,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,QAAQ,GAAG;KACrD,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/expression-drop-guard.d.ts

@@ -0,0 +1,57 @@
+import type { Database } from '../../core/database.js';
+import type { DroppableObjectKind } from './assertion-drop-guard.js';
+/**
+ * Refuses to drop a table / view / materialized view that another table's stored
+ * expression — a CHECK constraint, a column DEFAULT, or a `GENERATED ALWAYS AS` body —
+ * can still REACH through a subquery: directly, or through any chain of view /
+ * materialized-view bodies.
+ *
+ * The damage this prevents is the same one `assertNoCheckConstraintNamesColumn` prevents
+ * for the column verb, and both verbs resolve at the same missing catalog capability:
+ *
+ * ```sql
+ * create table t (id integer primary key, v integer);
+ * create table x (id integer primary key, n integer, check (n < (select max(v) from t)));
+ * drop table t;                  -- used to be accepted
+ * insert into x values (1, 1);   -- Table 't' not found in schema path: main
+ * ```
+ *
+ * `x` is now unwritable, and the error names neither the dropped table nor the constraint
+ * that broke. Refusing keeps the failure attached to the statement that caused it, which
+ * is what the whole expression-dependent family already does — and it keeps
+ * `drop table t` and `alter table t drop column v` from disagreeing about the same CHECK.
+ *
+ * Policy is **refuse**, not cascade, on the same reasoning as
+ * {@link assertNoAssertionDependsOn}: a cascade would silently delete a user's integrity
+ * rule. This is stricter than plain VIEWs, which are deliberately left to break (a broken
+ * view breaks queries OF that view; a broken CHECK makes a whole table unwritable). Views
+ * are guarded on the DROPPED side rather than the referencing side for that reason: a
+ * CHECK subquery may read a view, and dropping that view breaks the referencing table
+ * just as thoroughly as dropping a table would, so `DROP VIEW` and
+ * `DROP MATERIALIZED VIEW` call this too.
+ *
+ * Refusal never traps anyone: dropping (or rebuilding) the referencing constraint lets the
+ * drop through. Accepted cost, exactly as for the column verb: an **unnamed** table-level
+ * CHECK has no name for `DROP CONSTRAINT` to resolve, so a table it names can only be
+ * dropped by rebuilding the referencing table. The message quotes such a constraint's
+ * expression so the user can at least see what is in the way.
+ *
+ * Called from the user-facing DDL emitters only (`emitDropTable`, `emitDropView`,
+ * `emitDropMaterializedView`) — never from `SchemaManager.dropTable`, which also drives
+ * rollback, catalog import and the declarative differ's drop/recreate. Same wiring, and
+ * same reason, as {@link assertNoAssertionDependsOn}: a differ convergence that replaces
+ * both `t` and `x` must not be vetoed.
+ *
+ * Not gated on `IF EXISTS`: that clause governs ABSENCE, not dependency. Callers already
+ * skip the guard when the object does not exist, since there is then nothing to protect.
+ *
+ * "Can reach" is decided by {@link findTableExpressionDependent}, which runs the same
+ * breadth-first closure over stored bodies ({@link reachableObjects}) that
+ * {@link assertNoAssertionDependsOn} does — so a CHECK reading `vv` where
+ * `create view vv as select v from t` refuses `drop table t`, and the two guard families
+ * cannot disagree about what "reaches" means. The refusal names the chain, because a user
+ * told to fix a constraint whose body does not mention the dropped object has nothing to
+ * act on otherwise.
+ */
+export declare function assertNoExpressionDependsOn(db: Database, schemaName: string, objectName: string, objectKind: DroppableObjectKind): void;
+//# sourceMappingURL=expression-drop-guard.d.ts.map

package/dist/src/runtime/emit/expression-drop-guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-drop-guard.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/expression-drop-guard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAKvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,wBAAgB,2BAA2B,CAC1C,EAAE,EAAE,QAAQ,EACZ,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,mBAAmB,GAC7B,IAAI,CAYN"}

package/dist/src/runtime/emit/expression-drop-guard.js

@@ -0,0 +1,82 @@
+import { QuereusError } from '../../common/errors.js';
+import { StatusCode } from '../../common/types.js';
+import { findTableExpressionDependent, describeDependentTable } from '../../schema/expression-dependents.js';
+import { describeReachPath } from '../../schema/object-dependency-closure.js';
+/**
+ * Refuses to drop a table / view / materialized view that another table's stored
+ * expression — a CHECK constraint, a column DEFAULT, or a `GENERATED ALWAYS AS` body —
+ * can still REACH through a subquery: directly, or through any chain of view /
+ * materialized-view bodies.
+ *
+ * The damage this prevents is the same one `assertNoCheckConstraintNamesColumn` prevents
+ * for the column verb, and both verbs resolve at the same missing catalog capability:
+ *
+ * ```sql
+ * create table t (id integer primary key, v integer);
+ * create table x (id integer primary key, n integer, check (n < (select max(v) from t)));
+ * drop table t;                  -- used to be accepted
+ * insert into x values (1, 1);   -- Table 't' not found in schema path: main
+ * ```
+ *
+ * `x` is now unwritable, and the error names neither the dropped table nor the constraint
+ * that broke. Refusing keeps the failure attached to the statement that caused it, which
+ * is what the whole expression-dependent family already does — and it keeps
+ * `drop table t` and `alter table t drop column v` from disagreeing about the same CHECK.
+ *
+ * Policy is **refuse**, not cascade, on the same reasoning as
+ * {@link assertNoAssertionDependsOn}: a cascade would silently delete a user's integrity
+ * rule. This is stricter than plain VIEWs, which are deliberately left to break (a broken
+ * view breaks queries OF that view; a broken CHECK makes a whole table unwritable). Views
+ * are guarded on the DROPPED side rather than the referencing side for that reason: a
+ * CHECK subquery may read a view, and dropping that view breaks the referencing table
+ * just as thoroughly as dropping a table would, so `DROP VIEW` and
+ * `DROP MATERIALIZED VIEW` call this too.
+ *
+ * Refusal never traps anyone: dropping (or rebuilding) the referencing constraint lets the
+ * drop through. Accepted cost, exactly as for the column verb: an **unnamed** table-level
+ * CHECK has no name for `DROP CONSTRAINT` to resolve, so a table it names can only be
+ * dropped by rebuilding the referencing table. The message quotes such a constraint's
+ * expression so the user can at least see what is in the way.
+ *
+ * Called from the user-facing DDL emitters only (`emitDropTable`, `emitDropView`,
+ * `emitDropMaterializedView`) — never from `SchemaManager.dropTable`, which also drives
+ * rollback, catalog import and the declarative differ's drop/recreate. Same wiring, and
+ * same reason, as {@link assertNoAssertionDependsOn}: a differ convergence that replaces
+ * both `t` and `x` must not be vetoed.
+ *
+ * Not gated on `IF EXISTS`: that clause governs ABSENCE, not dependency. Callers already
+ * skip the guard when the object does not exist, since there is then nothing to protect.
+ *
+ * "Can reach" is decided by {@link findTableExpressionDependent}, which runs the same
+ * breadth-first closure over stored bodies ({@link reachableObjects}) that
+ * {@link assertNoAssertionDependsOn} does — so a CHECK reading `vv` where
+ * `create view vv as select v from t` refuses `drop table t`, and the two guard families
+ * cannot disagree about what "reaches" means. The refusal names the chain, because a user
+ * told to fix a constraint whose body does not mention the dropped object has nothing to
+ * act on otherwise.
+ */
+export function assertNoExpressionDependsOn(db, schemaName, objectName, objectKind) {
+    const dependent = findTableExpressionDependent(db, schemaName, objectName);
+    if (!dependent)
+        return;
+    // The catalog's spelling of the schema rather than the caller's: DROP emitters pass the
+    // name as the user typed it, so `drop table MAIN.t` would otherwise report a schema
+    // spelling that appears nowhere in the catalog. Same rule as `assertNoAssertionDependsOn`.
+    const home = db.schemaManager.getSchema(schemaName)?.name ?? schemaName;
+    const on = `on table ${describeDependentTable(dependent.table, home)}`;
+    throw new QuereusError(`cannot drop ${objectKind} '${home}.${objectName}': ${refersTo(dependent, on)} — drop or redefine it first`, StatusCode.CONSTRAINT);
+}
+/**
+ * How the refusal describes the reference. A DIRECT one keeps the wording this guard has
+ * always used; an indirect one leads with the expression and names the chain, the same
+ * `… reaches it through view 'v'` split `assertNoAssertionDependsOn` uses for the same
+ * verb. (The DROP COLUMN assertion guard spells its indirect clause differently —
+ * `it is referenced by assertion 'a' through view 'v'` — because that message was already
+ * in tests when the closure landed; both read, and neither is worth churning.)
+ */
+function refersTo(dependent, on) {
+    return dependent.path.length === 0
+        ? `it is referenced by ${dependent.describe} ${on}`
+        : `${dependent.describe} ${on} reaches it${describeReachPath(dependent.path)}`;
+}
+//# sourceMappingURL=expression-drop-guard.js.map

package/dist/src/runtime/emit/expression-drop-guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-drop-guard.js","sourceRoot":"","sources":["../../../../src/runtime/emit/expression-drop-guard.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,4BAA4B,EAAE,sBAAsB,EAA4B,MAAM,uCAAuC,CAAC;AACvI,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAG9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,MAAM,UAAU,2BAA2B,CAC1C,EAAY,EACZ,UAAkB,EAClB,UAAkB,EAClB,UAA+B;IAE/B,MAAM,SAAS,GAAG,4BAA4B,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3E,IAAI,CAAC,SAAS;QAAE,OAAO;IACvB,wFAAwF;IACxF,oFAAoF;IACpF,2FAA2F;IAC3F,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI,IAAI,UAAU,CAAC;IACxE,MAAM,EAAE,GAAG,YAAY,sBAAsB,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;IACvE,MAAM,IAAI,YAAY,CACrB,eAAe,UAAU,KAAK,IAAI,IAAI,UAAU,MAAM,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,8BAA8B,EAC3G,UAAU,CAAC,UAAU,CACrB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,SAA8B,EAAE,EAAU;IAC3D,OAAO,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,CAAC,uBAAuB,SAAS,CAAC,QAAQ,IAAI,EAAE,EAAE;QACnD,CAAC,CAAC,GAAG,SAAS,CAAC,QAAQ,IAAI,EAAE,cAAc,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;AACjF,CAAC"}

package/dist/src/runtime/emit/filter.d.ts

@@ -17,7 +17,7 @@ import type { EmissionContext } from '../emission-context.js';
  * predicate used before, so blob / string / numeric truthiness is unchanged.
  *
  * Nested `AND`s that are not at the top level of the predicate (under a `NOT`, inside
- * a `CASE`, below an `OR`) are untouched and still route through `emitLogicalOp`.
+ * a `CASE`, below an `OR`) are untouched and still route through `buildLogicalOpSpec`.
  */
 export declare function emitFilter(plan: FilterNode, ctx: EmissionContext): Instruction;
 //# sourceMappingURL=filter.d.ts.map

package/dist/src/runtime/emit/filter.js

@@ -41,7 +41,7 @@ function evaluatePredicate(rctx, predicate) {
  * predicate used before, so blob / string / numeric truthiness is unchanged.
  *
  * Nested `AND`s that are not at the top level of the predicate (under a `NOT`, inside
- * a `CASE`, below an `OR`) are untouched and still route through `emitLogicalOp`.
+ * a `CASE`, below an `OR`) are untouched and still route through `buildLogicalOpSpec`.
  */
 export function emitFilter(plan, ctx) {
     const sourceInstruction = emitPlanNode(plan.source, ctx);

package/dist/src/runtime/emit/hash-aggregate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hash-aggregate.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/hash-aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAI/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA2B9D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAkT5F"}
+{"version":3,"file":"hash-aggregate.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/hash-aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,aAAa,CAAC;AAI/D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAsB9D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CA4O5F"}