@quereus/quereus 2.7.0 → 2.9.0

package/dist/src/schema/manager.d.ts

@@ -66,6 +66,16 @@ export declare class SchemaManager {
         module: AnyVirtualTableModule;
         auxData?: unknown;
     } | undefined;
+    /**
+     * Iterates registered virtual table modules in registration order.
+     * Each entry yields the registered (lowercased) name, the module, and
+     * any auxData supplied at registration time.
+     */
+    allModules(): IterableIterator<{
+        name: string;
+        module: AnyVirtualTableModule;
+        auxData?: unknown;
+    }>;
     /**
      * Sets the default virtual table module to use when USING is omitted
      *
@@ -192,6 +202,12 @@ export declare class SchemaManager {
      * @param schemaName Optional schema name (defaults to current schema)
      */
     setTableTags(tableName: string, tags: Record<string, SqlValue>, schemaName?: string): void;
+    /**
+     * Asserts that no other table has FK rows referencing the table being dropped.
+     * Self-referential FKs are skipped — those rows go away with the table.
+     * No-op when foreign_keys is off.
+     */
+    private assertNoReferencingChildrenForDrop;
     /**
      * Drops a table from the specified schema
      *
@@ -260,16 +276,36 @@ export declare class SchemaManager {
      */
     private buildTableSchemaFromAST;
     /**
-     * Validates that all DEFAULT expressions in the column schemas are deterministic.
-     * Skips expressions that reference columns (validated at INSERT time instead).
+     * Walks an expression AST and rejects bind-parameter and (optionally)
+     * column-reference nodes. Used by DDL-time DEFAULT/CHECK validators where
+     * such references are illegal even though they may otherwise build cleanly.
+     *
+     * Throws a QuereusError on the first offending node, with a message
+     * produced by the supplied formatters.
+     */
+    private rejectIllegalReferences;
+    /**
+     * Validates that all DEFAULT expressions in the column schemas are
+     * deterministic and free of bind parameters or (when no mutation
+     * context is defined) column references. Bind parameters and column
+     * references are rejected up-front via an AST pre-walk so the error
+     * messages stay specific (rather than degrading into "column not
+     * found" during expression building).
+     *
+     * When `hasMutationContext` is true, column-style identifiers are
+     * preserved because they may resolve to mutation-context variables at
+     * INSERT time (the AST cannot distinguish a real column from a
+     * context variable, and the build attempt is permitted to fail —
+     * scope resolution is deferred to row-time).
      */
     private validateDefaultDeterminism;
     /**
      * Validates that CHECK constraint expressions don't call non-deterministic
-     * functions. Walks the AST and looks up each function call against the
-     * registry; raises if any function lacks the DETERMINISTIC flag. Avoids the
-     * full planning pipeline because CHECK expressions reference table columns
-     * whose scope is not yet established at CREATE TABLE time.
+     * functions and don't reference bind parameters. Walks the AST and looks
+     * up each function call against the registry; raises if any function
+     * lacks the DETERMINISTIC flag. Avoids the full planning pipeline because
+     * CHECK expressions reference table columns whose scope is not yet
+     * established at CREATE TABLE time.
      */
     private validateCheckConstraintDeterminism;
     /**

package/dist/src/schema/manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../src/schema/manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAsI,MAAM,YAAY,CAAC;AAClL,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAIjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAI7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAe1D;;;GAGG;AACH,MAAM,WAAW,wBAAyB,SAAQ,gBAAgB;IACjE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,gBAAgB,CAAC,EAAE,SAAS,GAAG,CAAC,SAAS,EAAE,CAAC;IAC5C,oBAAoB,CAAC,EAAE,SAAS,GAAG,CAAC,eAAe,EAAE,CAAC;IACtD,WAAW,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,qBAAa,aAAa;IACzB,OAAO,CAAC,OAAO,CAAkC;IACjD,OAAO,CAAC,iBAAiB,CAAkB;IAC3C,OAAO,CAAC,OAAO,CAAgF;IAC/F,OAAO,CAAC,qBAAqB,CAAoB;IACjD,OAAO,CAAC,qBAAqB,CAAgC;IAC7D,OAAO,CAAC,EAAE,CAAW;IACrB,OAAO,CAAC,cAAc,CAA8B;IAEpD;;;;OAIG;gBACS,EAAE,EAAE,QAAQ;IAOxB;;;;OAIG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAQpC;;;;OAIG;IACH,oBAAoB,IAAI,MAAM;IAI9B;;;;;;OAMG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI;IASpF;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,qBAAqB,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS;IAIzF;;;;;OAKG;IACH,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAW5C;;;;OAIG;IACH,wBAAwB,IAAI,MAAM;IAwBlC;;;OAGG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;IAI9C;;;OAGG;IACH,oBAAoB,IAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;KAAE;IAOxE;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI3C;;;;OAIG;IACH,aAAa,IAAI,MAAM;IAIvB;;;;OAIG;IACH,aAAa,IAAI,MAAM;IAWvB;;OAEG;IACH,gBAAgB,IAAI,wBAAwB,EAAE;IAU9C;;OAEG;IACH,iBAAiB,IAAI,oBAAoB;IAIzC;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAW/B;;;;;;OAMG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAqDnC;;;;;;;OAOG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,GAAG,WAAW,GAAG,SAAS;IAI7F;;;;;;OAMG;IACH,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAavD;;;;;;OAMG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIxE;;;;;;OAMG;IACH,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAM5E;;;;;;OAMG;IACH,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS;IAWhG;;;;;;OAMG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,GAAG,SAAS;IAMpG;;;;;;OAMG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAe1F;;;;;;;OAOG;IACG,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,GAAE,OAAe,GAAG,OAAO,CAAC,OAAO,CAAC;IAkFnG;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAMvD;;OAEG;IACH,QAAQ,IAAI,IAAI;IAUhB;;;;;;OAMG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAQrC;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAMpF;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IA2B1B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAqC/B;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAmE1B;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IA4ChC;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IA4C/B;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IA0ClC;;;;;;OAMG;IACH,OAAO,CAAC,kCAAkC;IAgC1C;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAkClC;;;;;OAKG;IACG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAuD3D;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAkCxB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAiB7B;;;;;;;OAOG;IACG,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAoEhG;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IAUnC;;;;;;;OAOG;IACG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,WAAW,CAAC;IAsElE;;;;;;;;;;;;OAYG;IACG,aAAa,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAsB9F;;OAEG;YACW,eAAe;IAiB7B;;;OAGG;YACW,WAAW;IAmCzB;;OAEG;YACW,WAAW;CA8CzB"}
+{"version":3,"file":"manager.d.ts","sourceRoot":"","sources":["../../../src/schema/manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAsI,MAAM,YAAY,CAAC;AAClL,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAIjF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAI7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAgB1D;;;GAGG;AACH,MAAM,WAAW,wBAAyB,SAAQ,gBAAgB;IACjE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,gBAAgB,CAAC,EAAE,SAAS,GAAG,CAAC,SAAS,EAAE,CAAC;IAC5C,oBAAoB,CAAC,EAAE,SAAS,GAAG,CAAC,eAAe,EAAE,CAAC;IACtD,WAAW,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;;GAGG;AACH,qBAAa,aAAa;IACzB,OAAO,CAAC,OAAO,CAAkC;IACjD,OAAO,CAAC,iBAAiB,CAAkB;IAC3C,OAAO,CAAC,OAAO,CAAgF;IAC/F,OAAO,CAAC,qBAAqB,CAAoB;IACjD,OAAO,CAAC,qBAAqB,CAAgC;IAC7D,OAAO,CAAC,EAAE,CAAW;IACrB,OAAO,CAAC,cAAc,CAA8B;IAEpD;;;;OAIG;gBACS,EAAE,EAAE,QAAQ;IAOxB;;;;OAIG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAQpC;;;;OAIG;IACH,oBAAoB,IAAI,MAAM;IAI9B;;;;;;OAMG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI;IASpF;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,qBAAqB,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS;IAIzF;;;;OAIG;IACF,UAAU,IAAI,gBAAgB,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,qBAAqB,CAAC;QAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAMnG;;;;;OAKG;IACH,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAW5C;;;;OAIG;IACH,wBAAwB,IAAI,MAAM;IAwBlC;;;OAGG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;IAI9C;;;OAGG;IACH,oBAAoB,IAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;KAAE;IAOxE;;;;;OAKG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI3C;;;;OAIG;IACH,aAAa,IAAI,MAAM;IAIvB;;;;OAIG;IACH,aAAa,IAAI,MAAM;IAWvB;;OAEG;IACH,gBAAgB,IAAI,wBAAwB,EAAE;IAU9C;;OAEG;IACH,iBAAiB,IAAI,oBAAoB;IAIzC;;;;;;OAMG;IACH,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAW/B;;;;;;OAMG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAqDnC;;;;;;;OAOG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,GAAG,WAAW,GAAG,SAAS;IAI7F;;;;;;OAMG;IACH,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE;IAavD;;;;;;OAMG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAIxE;;;;;;OAMG;IACH,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;IAM5E;;;;;;OAMG;IACH,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS;IAWhG;;;;;;OAMG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,GAAG,SAAS;IAMpG;;;;;;OAMG;IACH,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAe1F;;;;OAIG;YACW,kCAAkC;IA+ChD;;;;;;;OAOG;IACG,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,GAAE,OAAe,GAAG,OAAO,CAAC,OAAO,CAAC;IAwFnG;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO;IAMvD;;OAEG;IACH,QAAQ,IAAI,IAAI;IAUhB;;;;;;OAMG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAQrC;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAMpF;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IA2B1B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAuC/B;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IA+E1B;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IA8ChC;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IA6D/B;;;;;;;OAOG;IACH,OAAO,CAAC,uBAAuB;IA8B/B;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,0BAA0B;IAoElC;;;;;;;OAOG;IACH,OAAO,CAAC,kCAAkC;IAuC1C;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAkClC;;;;;OAKG;IACG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAuD3D;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAmCxB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkB7B;;;;;;;OAOG;IACG,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IAoEhG;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IAUnC;;;;;;;OAOG;IACG,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,WAAW,CAAC;IAuElE;;;;;;;;;;;;OAYG;IACG,aAAa,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAsB9F;;OAEG;YACW,eAAe;IAiB7B;;;OAGG;YACW,WAAW;IAmCzB;;OAEG;YACW,WAAW;CA8CzB"}

package/dist/src/schema/manager.js

@@ -1,7 +1,7 @@
 import { Schema } from './schema.js';
 import { quereusError, QuereusError } from '../common/errors.js';
 import { StatusCode } from '../common/types.js';
-import { buildColumnIndexMap, columnDefToSchema, findPKDefinition, opsToMask, mutationContextVarToSchema } from './table.js';
+import { buildColumnIndexMap, columnDefToSchema, findPKDefinition, opsToMask, mutationContextVarToSchema, extractGeneratedColumnDependencies, topoSortGeneratedColumns } from './table.js';
 import { createLogger } from '../common/logger.js';
 import { Parser } from '../parser/parser.js';
 import { traverseAst } from '../parser/visitor.js';
@@ -13,6 +13,7 @@ import { BuildTimeDependencyTracker } from '../planner/planning-context.js';
 import { GlobalScope } from '../planner/scopes/global.js';
 import { ParameterScope } from '../planner/scopes/param.js';
 import { hasNativeEventSupport } from '../util/event-support.js';
+import { quoteIdentifier } from '../emit/ast-stringify.js';
 const log = createLogger('schema:manager');
 const warnLog = log.extend('warn');
 const errorLog = log.extend('error');
@@ -84,6 +85,16 @@ export class SchemaManager {
     getModule(name) {
         return this.modules.get(name.toLowerCase());
     }
+    /**
+     * Iterates registered virtual table modules in registration order.
+     * Each entry yields the registered (lowercased) name, the module, and
+     * any auxData supplied at registration time.
+     */
+    *allModules() {
+        for (const [name, reg] of this.modules) {
+            yield { name, module: reg.module, auxData: reg.auxData };
+        }
+    }
     /**
      * Sets the default virtual table module to use when USING is omitted
      *
@@ -372,6 +383,55 @@ export class SchemaManager {
         const schema = this.getSchemaOrFail(targetSchemaName);
         schema.addTable(updatedSchema);
     }
+    /**
+     * Asserts that no other table has FK rows referencing the table being dropped.
+     * Self-referential FKs are skipped — those rows go away with the table.
+     * No-op when foreign_keys is off.
+     */
+    async assertNoReferencingChildrenForDrop(parentSchemaName, parentTableName) {
+        if (!this.db.options.getBooleanOption('foreign_keys'))
+            return;
+        const parentSchemaLower = parentSchemaName.toLowerCase();
+        const parentTableLower = parentTableName.toLowerCase();
+        for (const schema of this._getAllSchemas()) {
+            for (const childTable of schema.getAllTables()) {
+                if (!childTable.foreignKeys)
+                    continue;
+                // Skip the table being dropped itself — self-FK rows are going away with it.
+                if (childTable.schemaName.toLowerCase() === parentSchemaLower &&
+                    childTable.name.toLowerCase() === parentTableLower)
+                    continue;
+                for (const fk of childTable.foreignKeys) {
+                    if (fk.referencedTable.toLowerCase() !== parentTableLower)
+                        continue;
+                    const targetSchema = fk.referencedSchema ?? childTable.schemaName;
+                    if (targetSchema.toLowerCase() !== parentSchemaLower)
+                        continue;
+                    // MATCH SIMPLE: row is referencing iff every FK column is non-NULL.
+                    const childColNames = fk.columns.map(idx => quoteIdentifier(childTable.columns[idx].name));
+                    const whereClause = childColNames.map(c => `${c} IS NOT NULL`).join(' AND ');
+                    const schemaPrefix = childTable.schemaName.toLowerCase() !== 'main'
+                        ? `${quoteIdentifier(childTable.schemaName)}.`
+                        : '';
+                    const sql = `select 1 from ${schemaPrefix}${quoteIdentifier(childTable.name)} where ${whereClause} limit 1`;
+                    const stmt = this.db.prepare(sql);
+                    try {
+                        let referenced = false;
+                        for await (const _row of stmt._iterateRowsRaw()) {
+                            referenced = true;
+                            break;
+                        }
+                        if (referenced) {
+                            throw new QuereusError(`FOREIGN KEY constraint failed: cannot drop table '${parentTableName}' because table '${childTable.name}' still has rows referencing it`, StatusCode.CONSTRAINT);
+                        }
+                    }
+                    finally {
+                        await stmt.finalize();
+                    }
+                }
+            }
+        }
+    }
     /**
      * Drops a table from the specified schema
      *
@@ -395,6 +455,11 @@ export class SchemaManager {
             }
             throw new QuereusError(`Table ${tableName} not found in schema ${schemaName}`, StatusCode.NOTFOUND);
         }
+        // FK guard: when foreign_keys is on, refuse to drop a parent that still has
+        // non-NULL FK rows in any child table (excluding self-FK; those rows go away
+        // with the table). MATCH SIMPLE: a row is "referencing" iff every FK column
+        // is non-NULL.
+        await this.assertNoReferencingChildrenForDrop(schemaName, tableName);
         // Remove any active connections for this table before destroying the module.
         // Connections become stale once the table is dropped and must not be reused
         // if the table is later recreated with the same name.
@@ -555,6 +620,7 @@ export class SchemaManager {
                         operations: opsToMask(con.operations),
                         deferrable: con.deferrable,
                         initiallyDeferred: con.initiallyDeferred,
+                        defaultConflict: con.onConflict,
                         tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                     });
                 }
@@ -568,6 +634,7 @@ export class SchemaManager {
                     operations: opsToMask(con.operations),
                     deferrable: con.deferrable,
                     initiallyDeferred: con.initiallyDeferred,
+                    defaultConflict: con.onConflict,
                     tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                 });
             }
@@ -592,6 +659,9 @@ export class SchemaManager {
                     }
                     // Parent column resolution is deferred — store names for now
                     // We need the parent table schema to resolve indices, but it may not exist yet
+                    if (fk.columns && fk.columns.length !== 1) {
+                        throw new QuereusError(`FK constraint '${con.name ?? `_fk_${tableName}_${colDef.name}`}' on table '${tableName}': child column count (1) does not match parent column count (${fk.columns.length})`, StatusCode.ERROR);
+                    }
                     result.push({
                         name: con.name ?? `_fk_${tableName}_${colDef.name}`,
                         columns: Object.freeze([childColIndex]),
@@ -599,8 +669,8 @@ export class SchemaManager {
                         referencedSchema: schemaName,
                         referencedColumns: Object.freeze([]), // resolved at enforcement time
                         referencedColumnNames: fk.columns, // deferred resolution via resolveReferencedColumns
-                        onDelete: fk.onDelete ?? 'ignore',
-                        onUpdate: fk.onUpdate ?? 'ignore',
+                        onDelete: fk.onDelete ?? 'restrict',
+                        onUpdate: fk.onUpdate ?? 'restrict',
                         deferred: fk.initiallyDeferred ?? false,
                         tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                     });
@@ -618,6 +688,9 @@ export class SchemaManager {
                     }
                     return idx;
                 });
+                if (fk.columns && fk.columns.length !== childColIndices.length) {
+                    throw new QuereusError(`FK constraint '${con.name ?? `_fk_${tableName}_${con.columns.map(c => c.name).join('_')}`}' on table '${tableName}': child column count (${childColIndices.length}) does not match parent column count (${fk.columns.length})`, StatusCode.ERROR);
+                }
                 result.push({
                     name: con.name ?? `_fk_${tableName}_${con.columns.map(c => c.name).join('_')}`,
                     columns: Object.freeze(childColIndices),
@@ -625,8 +698,8 @@ export class SchemaManager {
                     referencedSchema: schemaName,
                     referencedColumns: Object.freeze([]), // resolved at enforcement time
                     referencedColumnNames: fk.columns, // deferred resolution via resolveReferencedColumns
-                    onDelete: fk.onDelete ?? 'ignore',
-                    onUpdate: fk.onUpdate ?? 'ignore',
+                    onDelete: fk.onDelete ?? 'restrict',
+                    onUpdate: fk.onUpdate ?? 'restrict',
                     deferred: fk.initiallyDeferred ?? false,
                     tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                 });
@@ -649,6 +722,7 @@ export class SchemaManager {
                         result.push({
                             name: con.name,
                             columns: Object.freeze([colIndex]),
+                            defaultConflict: con.onConflict,
                             tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                         });
                     }
@@ -668,6 +742,7 @@ export class SchemaManager {
                 result.push({
                     name: con.name,
                     columns: Object.freeze(colIndices),
+                    defaultConflict: con.onConflict,
                     tags: con.tags && Object.keys(con.tags).length > 0 ? Object.freeze({ ...con.tags }) : undefined,
                 });
             }
@@ -692,6 +767,16 @@ export class SchemaManager {
         const mutationContextSchemas = stmt.contextDefinitions
             ? stmt.contextDefinitions.map(varDef => mutationContextVarToSchema(varDef, defaultNotNull))
             : undefined;
+        // Extract generated-column dependencies and validate that they form a DAG.
+        // Cycle detection runs before module.create so an invalid schema never
+        // reaches storage.
+        const rawGenDeps = extractGeneratedColumnDependencies(columns, tableName);
+        const genTopoOrder = rawGenDeps.size > 0
+            ? topoSortGeneratedColumns(columns, rawGenDeps)
+            : undefined;
+        const generatedColumnDependencies = rawGenDeps.size > 0
+            ? Object.freeze(new Map(Array.from(rawGenDeps.entries()).map(([k, v]) => [k, Object.freeze(v)])))
+            : undefined;
         return {
             name: tableName,
             schemaName: targetSchemaName,
@@ -709,14 +794,57 @@ export class SchemaManager {
             vtabAuxData: moduleInfo.auxData,
             estimatedRows: 0,
             mutationContext: mutationContextSchemas ? Object.freeze(mutationContextSchemas) : undefined,
+            generatedColumnDependencies,
+            generatedColumnTopoOrder: genTopoOrder ? Object.freeze(genTopoOrder) : undefined,
             tags: stmt.tags && Object.keys(stmt.tags).length > 0 ? Object.freeze({ ...stmt.tags }) : undefined,
         };
     }
     /**
-     * Validates that all DEFAULT expressions in the column schemas are deterministic.
-     * Skips expressions that reference columns (validated at INSERT time instead).
+     * Walks an expression AST and rejects bind-parameter and (optionally)
+     * column-reference nodes. Used by DDL-time DEFAULT/CHECK validators where
+     * such references are illegal even though they may otherwise build cleanly.
+     *
+     * Throws a QuereusError on the first offending node, with a message
+     * produced by the supplied formatters.
      */
-    validateDefaultDeterminism(columns, tableName) {
+    rejectIllegalReferences(expr, options) {
+        let offendingType;
+        traverseAst(expr, {
+            enterNode: (node) => {
+                if (offendingType)
+                    return false;
+                if (node.type === 'parameter') {
+                    offendingType = 'parameter';
+                    return false;
+                }
+                if (options.rejectColumns && node.type === 'column') {
+                    offendingType = 'column';
+                    return false;
+                }
+            },
+        });
+        if (offendingType === 'parameter') {
+            throw new QuereusError(options.formatParamError(), StatusCode.ERROR);
+        }
+        if (offendingType === 'column') {
+            throw new QuereusError(options.formatColumnError(), StatusCode.ERROR);
+        }
+    }
+    /**
+     * Validates that all DEFAULT expressions in the column schemas are
+     * deterministic and free of bind parameters or (when no mutation
+     * context is defined) column references. Bind parameters and column
+     * references are rejected up-front via an AST pre-walk so the error
+     * messages stay specific (rather than degrading into "column not
+     * found" during expression building).
+     *
+     * When `hasMutationContext` is true, column-style identifiers are
+     * preserved because they may resolve to mutation-context variables at
+     * INSERT time (the AST cannot distinguish a real column from a
+     * context variable, and the build attempt is permitted to fail —
+     * scope resolution is deferred to row-time).
+     */
+    validateDefaultDeterminism(columns, tableName, hasMutationContext) {
         const globalScope = new GlobalScope(this.db.schemaManager);
         const parameterScope = new ParameterScope(globalScope);
         const planningCtx = {
@@ -734,32 +862,54 @@ export class SchemaManager {
             if (!col.defaultValue || typeof col.defaultValue !== 'object' || col.defaultValue === null || !('type' in col.defaultValue)) {
                 continue;
             }
+            this.rejectIllegalReferences(col.defaultValue, {
+                rejectColumns: !hasMutationContext,
+                formatParamError: () => `DEFAULT for column '${col.name}' in table '${tableName}' may not reference bind parameters.`,
+                formatColumnError: () => `DEFAULT for column '${col.name}' in table '${tableName}' may not reference columns; use a generated column instead.`,
+            });
             let defaultExpr;
             try {
                 defaultExpr = buildExpression(planningCtx, col.defaultValue);
             }
-            catch (_e) {
-                log('Skipping determinism validation for default on column %s.%s at CREATE TABLE time (will validate at INSERT time): %s', tableName, col.name, _e.message);
-            }
-            if (defaultExpr) {
-                const result = checkDeterministic(defaultExpr);
-                if (!result.valid) {
-                    throw new QuereusError(`Non-deterministic expression not allowed in DEFAULT for column '${col.name}' in table '${tableName}'. ` +
-                        `Expression: ${result.expression}. ` +
-                        `Use mutation context to pass non-deterministic values (e.g., WITH CONTEXT (timestamp = datetime('now'))).`, StatusCode.ERROR);
+            catch (e) {
+                if (hasMutationContext) {
+                    // Column-style identifiers in DEFAULT may resolve to mutation
+                    // context variables at INSERT time; the row scope isn't
+                    // available here, so a build failure isn't necessarily a bug.
+                    // Determinism is re-checked at INSERT time.
+                    log('Skipping determinism validation for default on column %s.%s at CREATE TABLE time (deferred to INSERT, mutation context present): %s', tableName, col.name, e.message);
+                }
+                else {
+                    const message = e instanceof Error ? e.message : String(e);
+                    const code = e instanceof QuereusError ? e.code : StatusCode.ERROR;
+                    throw new QuereusError(`DEFAULT for column '${col.name}' in table '${tableName}' is invalid: ${message}`, code, e instanceof Error ? e : undefined);
                 }
             }
+            if (!defaultExpr)
+                continue;
+            const result = checkDeterministic(defaultExpr);
+            if (!result.valid) {
+                throw new QuereusError(`Non-deterministic expression not allowed in DEFAULT for column '${col.name}' in table '${tableName}'. ` +
+                    `Expression: ${result.expression}. ` +
+                    `Use mutation context to pass non-deterministic values (e.g., WITH CONTEXT (timestamp = datetime('now'))).`, StatusCode.ERROR);
+            }
         }
     }
     /**
      * Validates that CHECK constraint expressions don't call non-deterministic
-     * functions. Walks the AST and looks up each function call against the
-     * registry; raises if any function lacks the DETERMINISTIC flag. Avoids the
-     * full planning pipeline because CHECK expressions reference table columns
-     * whose scope is not yet established at CREATE TABLE time.
+     * functions and don't reference bind parameters. Walks the AST and looks
+     * up each function call against the registry; raises if any function
+     * lacks the DETERMINISTIC flag. Avoids the full planning pipeline because
+     * CHECK expressions reference table columns whose scope is not yet
+     * established at CREATE TABLE time.
      */
     validateCheckConstraintDeterminism(checkConstraints, tableName) {
         for (const cc of checkConstraints) {
+            const constraintName = cc.name ?? `_check_${tableName}`;
+            this.rejectIllegalReferences(cc.expr, {
+                rejectColumns: false,
+                formatParamError: () => `CHECK constraint '${constraintName}' on table '${tableName}' may not reference bind parameters.`,
+            });
             let offendingExpr;
             traverseAst(cc.expr, {
                 enterNode: (node) => {
@@ -778,7 +928,6 @@ export class SchemaManager {
                 },
             });
             if (offendingExpr) {
-                const constraintName = cc.name ?? `_check_${tableName}`;
                 throw new QuereusError(`Non-deterministic expression not allowed in CHECK constraint '${constraintName}' on table '${tableName}'. ` +
                     `Function '${offendingExpr.name}' is not deterministic. ` +
                     `Use mutation context to pass non-deterministic values (e.g., WITH CONTEXT (timestamp = datetime('now'))).`, StatusCode.ERROR);
@@ -892,6 +1041,7 @@ export class SchemaManager {
             name: indexName,
             columns: Object.freeze(indexColumns),
             unique: stmt.isUnique || undefined,
+            predicate: stmt.where,
             tags: stmt.tags && Object.keys(stmt.tags).length > 0 ? Object.freeze({ ...stmt.tags }) : undefined,
         };
     }
@@ -910,6 +1060,7 @@ export class SchemaManager {
             const newConstraint = {
                 name: indexSchema.name,
                 columns: Object.freeze(indexSchema.columns.map(c => c.index)),
+                predicate: indexSchema.predicate,
             };
             const updatedConstraints = [...(tableSchema.uniqueConstraints ?? []), newConstraint];
             result.uniqueConstraints = Object.freeze(updatedConstraints);
@@ -1028,7 +1179,8 @@ export class SchemaManager {
         }
         const { moduleName, effectiveModuleArgs, moduleInfo } = this.resolveModuleInfo(stmt);
         const baseTableSchema = this.buildTableSchemaFromAST(stmt, moduleName, effectiveModuleArgs, moduleInfo);
-        this.validateDefaultDeterminism(baseTableSchema.columns, tableName);
+        const hasMutationContext = !!baseTableSchema.mutationContext && baseTableSchema.mutationContext.length > 0;
+        this.validateDefaultDeterminism(baseTableSchema.columns, tableName, hasMutationContext);
         this.validateCheckConstraintDeterminism(baseTableSchema.checkConstraints, tableName);
         let tableInstance;
         try {