@quereus/quereus 2.8.0 → 3.0.0

package/dist/src/schema/change-events.d.ts

@@ -1,5 +1,6 @@
 import type { TableSchema } from './table.js';
 import type { FunctionSchema } from './function.js';
+import type { IntegrityAssertionSchema } from './assertion.js';
 interface SchemaObjectAdded<Type extends string, T> {
     type: Type;
     schemaName: string;
@@ -25,6 +26,9 @@ export type TableModifiedEvent = SchemaObjectModified<'table_modified', TableSch
 export type FunctionAddedEvent = SchemaObjectAdded<'function_added', FunctionSchema>;
 export type FunctionRemovedEvent = SchemaObjectRemoved<'function_removed', FunctionSchema>;
 export type FunctionModifiedEvent = SchemaObjectModified<'function_modified', FunctionSchema>;
+export type AssertionAddedEvent = SchemaObjectAdded<'assertion_added', IntegrityAssertionSchema>;
+export type AssertionRemovedEvent = SchemaObjectRemoved<'assertion_removed', IntegrityAssertionSchema>;
+export type AssertionModifiedEvent = SchemaObjectModified<'assertion_modified', IntegrityAssertionSchema>;
 interface SchemaNameEvent<Type extends string> {
     type: Type;
     schemaName: string;
@@ -34,7 +38,7 @@ export type ModuleAddedEvent = SchemaNameEvent<'module_added'>;
 export type ModuleRemovedEvent = SchemaNameEvent<'module_removed'>;
 export type CollationAddedEvent = SchemaNameEvent<'collation_added'>;
 export type CollationRemovedEvent = SchemaNameEvent<'collation_removed'>;
-export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
+export type SchemaChangeEvent = TableAddedEvent | TableRemovedEvent | TableModifiedEvent | FunctionAddedEvent | FunctionRemovedEvent | FunctionModifiedEvent | AssertionAddedEvent | AssertionRemovedEvent | AssertionModifiedEvent | ModuleAddedEvent | ModuleRemovedEvent | CollationAddedEvent | CollationRemovedEvent;
 /**
  * Function that handles schema change events.
  */

package/dist/src/schema/change-events.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAOpD,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}
+{"version":3,"file":"change-events.d.ts","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAO/D,UAAU,iBAAiB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACjD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,mBAAmB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACnD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;CACb;AAED,UAAU,oBAAoB,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,CAAC,CAAC;CACb;AAID,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;AAC5E,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;AAClF,MAAM,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAIrF,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;AAC3F,MAAM,MAAM,qBAAqB,GAAG,oBAAoB,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC;AAI9F,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC;AACjG,MAAM,MAAM,qBAAqB,GAAG,mBAAmB,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,CAAC;AACvG,MAAM,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,oBAAoB,EAAE,wBAAwB,CAAC,CAAC;AAI1G,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM;IAC5C,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;AAC/D,MAAM,MAAM,kBAAkB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;AACnE,MAAM,MAAM,mBAAmB,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACrE,MAAM,MAAM,qBAAqB,GAAG,eAAe,CAAC,mBAAmB,CAAC,CAAC;AAIzE,MAAM,MAAM,iBAAiB,GAC1B,eAAe,GACf,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,CAAC;AAEzB;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI,CAAC;AAEtE;;GAEG;AACH,qBAAa,oBAAoB;IAChC,OAAO,CAAC,SAAS,CAAmC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,oBAAoB,GAAG,MAAM,IAAI;IAMvD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,oBAAoB,GAAG,IAAI;IAOpD;;OAEG;IACH,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAa5C;;OAEG;IACH,gBAAgB,IAAI,MAAM;IAI1B;;OAEG;IACH,cAAc,IAAI,IAAI;CAKtB"}

package/dist/src/schema/change-events.js.map

@@ -1 +1 @@
-{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AAsEjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}
+{"version":3,"file":"change-events.js","sourceRoot":"","sources":["../../../src/schema/change-events.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,GAAG,GAAG,YAAY,CAAC,sBAAsB,CAAC,CAAC;AA+EjD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACxB,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAEpD;;;OAGG;IACH,WAAW,CAAC,QAA8B;QACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,GAAG,CAAC,mDAAmD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,QAA8B;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACb,GAAG,CAAC,qDAAqD,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,KAAwB;QACpC,GAAG,CAAC,gDAAgD,EACnD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAEpD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,CAAC;gBACJ,QAAQ,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,GAAG,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACF,CAAC;IACF,CAAC;IAED;;OAEG;IACH,gBAAgB;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,cAAc;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAClC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,GAAG,CAAC,wCAAwC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;CACD"}

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

@@ -1,12 +1,13 @@
 import type { MaybePromise, Row, SqlValue, DeepReadonly } from '../common/types.js';
 import { FunctionFlags } from '../common/constants.js';
 import type { Database } from '../core/database.js';
-import type { BaseType, ScalarType, RelationType } from '../common/datatype.js';
+import type { BaseType, ScalarType, RelationType, ColRef } from '../common/datatype.js';
 import type { AggValue } from '../func/registration.js';
 import type { LogicalType } from '../types/logical-type.js';
 import type { ScalarFunctionCallNode } from '../planner/nodes/function.js';
 import type { EmissionContext } from '../runtime/emission-context.js';
 import type { Instruction } from '../runtime/types.js';
+import type { ScalarPlanNode, ConstantBinding, FunctionalDependency, MonotonicOnInfo, PhysicalProperties } from '../planner/nodes/plan-node.js';
 /**
  * Type for a scalar function implementation.
  */
@@ -55,6 +56,30 @@ interface BaseFunctionSchema {
      * emission context, and a reference to the default emitter.
      */
     customEmitter?: CustomEmitterHook;
+    /**
+     * Argument indices on which this function is injective when all other
+     * arguments are held constant. Combines with operand-level recursion in
+     * `ScalarFunctionCallNode.isInjectiveIn`.
+     */
+    injectiveOnArgs?: readonly number[];
+    /**
+     * Per-argument monotonicity when all other arguments are held constant.
+     * Keys are zero-based argument indices.
+     */
+    monotoneOnArgs?: {
+        readonly [argIndex: number]: 'increasing' | 'decreasing';
+    };
+    /**
+     * Per-argument range-rewrite kind for monotone-but-lossy functions.
+     * The actual boundary computation lives on the argument's logical type
+     * (`LogicalType.bucketBounds(kind, value)`), so the function schema only
+     * names the bucketing kind here.
+     */
+    rangeRewriteOnArg?: {
+        readonly [argIndex: number]: {
+            readonly kind: string;
+        };
+    };
 }
 /**
  * Schema for scalar functions that return a single value.
@@ -79,6 +104,67 @@ export interface ScalarFunctionSchema extends BaseFunctionSchema {
      */
     validateArgTypes?: (argTypes: ReadonlyArray<DeepReadonly<LogicalType>>) => boolean;
 }
+/**
+ * Function form for parameter-dependent advertisements. Receives the call
+ * operands so the implementation can read literal values, parameter slots, or
+ * operand types. Return `undefined` to decline (no property advertised).
+ */
+export type TVFAdvertiseFn<T> = (operands: ReadonlyArray<ScalarPlanNode>, schema: TableValuedFunctionSchema) => T | undefined;
+/**
+ * Column-keyed monotonicity declaration. The TVF schema author talks in column
+ * indices; `TableFunctionCallNode` translates these to live attribute IDs when
+ * it builds physical properties.
+ */
+export interface MonotonicOnColumnInfo {
+    readonly column: number;
+    readonly direction: 'asc' | 'desc';
+    readonly strict?: boolean;
+}
+/**
+ * Optional advertisement of a TVF's relational and physical properties.
+ * Each field may be a static value or a function of the call's operands.
+ * Bad advertisements (invalid indices, wrong shape) are dropped at use time
+ * with a single warning rather than throwing.
+ */
+export interface TVFAdvertisement {
+    isSet?: boolean | TVFAdvertiseFn<boolean>;
+    keys?: ReadonlyArray<ReadonlyArray<ColRef>> | TVFAdvertiseFn<ReadonlyArray<ReadonlyArray<ColRef>>>;
+    fds?: ReadonlyArray<FunctionalDependency> | TVFAdvertiseFn<ReadonlyArray<FunctionalDependency>>;
+    equivClasses?: ReadonlyArray<ReadonlyArray<number>> | TVFAdvertiseFn<ReadonlyArray<ReadonlyArray<number>>>;
+    ordering?: ReadonlyArray<{
+        column: number;
+        desc: boolean;
+    }> | TVFAdvertiseFn<ReadonlyArray<{
+        column: number;
+        desc: boolean;
+    }>>;
+    monotonicOn?: ReadonlyArray<MonotonicOnInfo> | TVFAdvertiseFn<ReadonlyArray<MonotonicOnInfo>>;
+    /**
+     * Column-keyed monotonicOn declarations. Preferred over `monotonicOn` for
+     * schema-time annotations because attribute IDs are per-call and only the
+     * node knows them.
+     */
+    monotonicOnColumns?: ReadonlyArray<MonotonicOnColumnInfo> | TVFAdvertiseFn<ReadonlyArray<MonotonicOnColumnInfo>>;
+    constantBindings?: ReadonlyArray<ConstantBinding> | TVFAdvertiseFn<ReadonlyArray<ConstantBinding>>;
+    estimatedRows?: number | TVFAdvertiseFn<number>;
+    accessCapabilities?: PhysicalProperties['accessCapabilities'];
+    deterministic?: boolean;
+    readonly?: boolean;
+    idempotent?: boolean;
+}
+/**
+ * Resolves a possibly-functional advertisement spec to a concrete value.
+ * Returns `undefined` when the spec is absent or when the closure throws —
+ * a broken closure must never break planning.
+ */
+export declare function resolveAdvertisement<T>(spec: T | TVFAdvertiseFn<T> | undefined, operands: ReadonlyArray<ScalarPlanNode>, schema: TableValuedFunctionSchema): T | undefined;
+/**
+ * Returns the literal value of a scalar operand, or `undefined` when the
+ * operand is not a literal. Used by advertisement closures that want to read
+ * compile-time operand values (e.g. `generate_series(1, 100)` advertising
+ * `estimatedRows: 100`).
+ */
+export declare function evaluateLiteralOperand(operand: ScalarPlanNode): SqlValue | undefined;
 /**
  * Schema for table-valued functions that return rows.
  */
@@ -88,6 +174,8 @@ export interface TableValuedFunctionSchema extends BaseFunctionSchema {
     implementation: TableValuedFunc | IntegratedTableValuedFunc;
     /** Whether this TVF requires database access as first parameter */
     isIntegrated?: boolean;
+    /** Optional advertisement of relational / physical properties. */
+    relationalAdvertisement?: TVFAdvertisement;
 }
 /**
  * Schema for aggregate functions.

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

@@ -1 +1 @@
-{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,KAAK,EACX,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EAClB,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;AAEhH;;GAEG;AAIH,MAAM,MAAM,gBAAgB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AAEnF;;GAEG;AAGH,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,QAAQ,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,GAAG,EAAE,eAAe,EACpB,WAAW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,eAAe,KAAK,WAAW,KAC5E,WAAW,CAAC;AAEjB;;GAEG;AACH,UAAU,kBAAkB;IAC3B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,UAAU,EAAE,QAAQ,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;OAGG;IACH,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC/D,UAAU,EAAE,UAAU,CAAC;IACvB,4CAA4C;IAC5C,cAAc,EAAE,UAAU,CAAC;IAC3B;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAC/B,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,KAC7B,CAAC,GAAG,SAAS,CAAC;AAEnB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAChC,KAAK,CAAC,EAAE,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAChG,YAAY,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,CAAC;IAC/H,WAAW,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IAC9F;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,aAAa,CAAC,qBAAqB,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACjH,gBAAgB,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,aAAa,CAAC,EAAE,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAChD,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EACrC,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,SAAS,EACvC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,EACvC,MAAM,EAAE,yBAAyB,GAC/B,CAAC,GAAG,SAAS,CAUf;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,cAAc,GAAG,QAAQ,GAAG,SAAS,CAMpF;AAED;;GAEG;AACH,MAAM,WAAW,yBAA0B,SAAQ,kBAAkB;IACpE,UAAU,EAAE,YAAY,CAAC;IACzB,2CAA2C;IAC3C,cAAc,EAAE,eAAe,GAAG,yBAAyB,CAAC;IAC5D,mEAAmE;IACnE,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,kEAAkE;IAClE,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,kBAAkB;IAClE,UAAU,EAAE,UAAU,CAAC;IACvB,8BAA8B;IAC9B,YAAY,EAAE,gBAAgB,CAAC;IAC/B,mCAAmC;IACnC,gBAAgB,EAAE,kBAAkB,CAAC;IACrC,+CAA+C;IAC/C,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACvB,oBAAoB,GACpB,yBAAyB,GACzB,uBAAuB,CAAC;AAE3B;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,oBAAoB,CAE7F;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,yBAAyB,CAEvG;AAED,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,IAAI,uBAAuB,CAEnG;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEpE"}

package/dist/src/schema/function.js

@@ -1,3 +1,34 @@
+/**
+ * Resolves a possibly-functional advertisement spec to a concrete value.
+ * Returns `undefined` when the spec is absent or when the closure throws —
+ * a broken closure must never break planning.
+ */
+export function resolveAdvertisement(spec, operands, schema) {
+    if (spec === undefined)
+        return undefined;
+    if (typeof spec === 'function') {
+        try {
+            return spec(operands, schema);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    return spec;
+}
+/**
+ * Returns the literal value of a scalar operand, or `undefined` when the
+ * operand is not a literal. Used by advertisement closures that want to read
+ * compile-time operand values (e.g. `generate_series(1, 100)` advertising
+ * `estimatedRows: 100`).
+ */
+export function evaluateLiteralOperand(operand) {
+    const candidate = operand;
+    if (candidate.expression && candidate.expression.type === 'literal') {
+        return candidate.expression.value;
+    }
+    return undefined;
+}
 /**
  * Type guards for function schema types.
  */

package/dist/src/schema/function.js.map

@@ -1 +1 @@
-{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AAgJA;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"function.js","sourceRoot":"","sources":["../../../src/schema/function.ts"],"names":[],"mappings":"AA6KA;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CACnC,IAAuC,EACvC,QAAuC,EACvC,MAAiC;IAEjC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC;YACJ,OAAQ,IAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,SAAS,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAuB;IAC7D,MAAM,SAAS,GAAG,OAAyF,CAAC;IAC5G,IAAI,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;IACnC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAgDD;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAsB;IAC5D,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC;AAC9H,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,MAAsB;IAC/D,OAAO,cAAc,IAAI,MAAM,IAAI,kBAAkB,IAAI,MAAM,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,OAAe;IAC3D,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC;AAC3C,CAAC"}

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

@@ -30,6 +30,15 @@ export declare class SchemaManager {
     private defaultVTabModuleArgs;
     private db;
     private changeNotifier;
+    /**
+     * Re-entrancy guard: when truthy, optimizer-side assertion hoisting is
+     * suppressed. Set by `AssertionEvaluator` while compiling an assertion's
+     * own violation query — without this guard, the hoist would make the
+     * violation query plan to empty (the optimizer would trust the assertion
+     * to prove its own non-violation), defeating commit-time enforcement.
+     * See `assertion-hoist-cache.ts` and `core/database-assertions.ts`.
+     */
+    private assertionHoistSuppressed;
     /**
      * Creates a new schema manager
      *
@@ -66,6 +75,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
      *
@@ -115,10 +134,34 @@ export declare class SchemaManager {
      * Returns all assertions across all schemas
      */
     getAllAssertions(): IntegrityAssertionSchema[];
+    /**
+     * Adds (or replaces) an assertion in the named schema, firing
+     * `assertion_added` or `assertion_modified` events as appropriate.
+     * The Schema object itself does not hold a notifier; this wrapper exists
+     * so optimizer caches (e.g. assertion-hoist) can invalidate on change.
+     */
+    addAssertion(schemaName: string, assertion: IntegrityAssertionSchema): void;
+    /**
+     * Removes an assertion from the named schema, firing `assertion_removed`
+     * on success. Returns true iff the assertion existed and was removed.
+     */
+    removeAssertion(schemaName: string, name: string): boolean;
     /**
      * Gets the schema change notifier for listening to schema changes
      */
     getChangeNotifier(): SchemaChangeNotifier;
+    /**
+     * True when assertion-hoisting must be suppressed (the caller is currently
+     * planning an assertion's own violation query). Read by
+     * `getAssertionHoistedConstraints`.
+     */
+    isAssertionHoistSuppressed(): boolean;
+    /**
+     * Run `fn` with assertion-hoisting suppressed. Re-entrant via a depth
+     * counter so nested suppressions compose. Always restores the previous
+     * state, even when `fn` throws.
+     */
+    withSuppressedAssertionHoist<T>(fn: () => T): T;
     /**
      * Adds a new schema (e.g., for ATTACH)
      *

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;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;;;;;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"}
+{"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;IACpD;;;;;;;OAOG;IACH,OAAO,CAAC,wBAAwB,CAAa;IAE7C;;;;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;;;;;OAKG;IACH,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,wBAAwB,GAAG,IAAI;IAyB3E;;;OAGG;IACH,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO;IAiB1D;;OAEG;IACH,iBAAiB,IAAI,oBAAoB;IAIzC;;;;OAIG;IACH,0BAA0B,IAAI,OAAO;IAIrC;;;;OAIG;IACH,4BAA4B,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAS/C;;;;;;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;IA4B1B;;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;IA8D/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;IAmB7B;;;;;;;OAOG;IACG,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,GAAE,OAAe,GAAG,OAAO,CAAC,IAAI,CAAC;IA2EhG;;;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

@@ -29,6 +29,15 @@ export class SchemaManager {
     defaultVTabModuleArgs = {};
     db;
     changeNotifier = new SchemaChangeNotifier();
+    /**
+     * Re-entrancy guard: when truthy, optimizer-side assertion hoisting is
+     * suppressed. Set by `AssertionEvaluator` while compiling an assertion's
+     * own violation query — without this guard, the hoist would make the
+     * violation query plan to empty (the optimizer would trust the assertion
+     * to prove its own non-violation), defeating commit-time enforcement.
+     * See `assertion-hoist-cache.ts` and `core/database-assertions.ts`.
+     */
+    assertionHoistSuppressed = 0;
     /**
      * Creates a new schema manager
      *
@@ -85,6 +94,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
      *
@@ -189,12 +208,87 @@ export class SchemaManager {
         }
         return result;
     }
+    /**
+     * Adds (or replaces) an assertion in the named schema, firing
+     * `assertion_added` or `assertion_modified` events as appropriate.
+     * The Schema object itself does not hold a notifier; this wrapper exists
+     * so optimizer caches (e.g. assertion-hoist) can invalidate on change.
+     */
+    addAssertion(schemaName, assertion) {
+        const schema = this.schemas.get(schemaName.toLowerCase());
+        if (!schema) {
+            throw new QuereusError(`Schema not found: ${schemaName}`, StatusCode.ERROR);
+        }
+        const existing = schema.getAssertion(assertion.name);
+        schema.addAssertion(assertion);
+        if (existing) {
+            this.changeNotifier.notifyChange({
+                type: 'assertion_modified',
+                schemaName: schemaName,
+                objectName: assertion.name,
+                oldObject: existing,
+                newObject: assertion,
+            });
+        }
+        else {
+            this.changeNotifier.notifyChange({
+                type: 'assertion_added',
+                schemaName: schemaName,
+                objectName: assertion.name,
+                newObject: assertion,
+            });
+        }
+    }
+    /**
+     * Removes an assertion from the named schema, firing `assertion_removed`
+     * on success. Returns true iff the assertion existed and was removed.
+     */
+    removeAssertion(schemaName, name) {
+        const schema = this.schemas.get(schemaName.toLowerCase());
+        if (!schema)
+            return false;
+        const existing = schema.getAssertion(name);
+        if (!existing)
+            return false;
+        const removed = schema.removeAssertion(name);
+        if (removed) {
+            this.changeNotifier.notifyChange({
+                type: 'assertion_removed',
+                schemaName: schemaName,
+                objectName: name,
+                oldObject: existing,
+            });
+        }
+        return removed;
+    }
     /**
      * Gets the schema change notifier for listening to schema changes
      */
     getChangeNotifier() {
         return this.changeNotifier;
     }
+    /**
+     * True when assertion-hoisting must be suppressed (the caller is currently
+     * planning an assertion's own violation query). Read by
+     * `getAssertionHoistedConstraints`.
+     */
+    isAssertionHoistSuppressed() {
+        return this.assertionHoistSuppressed > 0;
+    }
+    /**
+     * Run `fn` with assertion-hoisting suppressed. Re-entrant via a depth
+     * counter so nested suppressions compose. Always restores the previous
+     * state, even when `fn` throws.
+     */
+    withSuppressedAssertionHoist(fn) {
+        this.assertionHoistSuppressed++;
+        try {
+            return fn();
+        }
+        finally {
+            this.assertionHoistSuppressed--;
+        }
+    }
     /**
      * Adds a new schema (e.g., for ATTACH)
      *
@@ -581,7 +675,7 @@ export class SchemaManager {
      */
     buildColumnSchemas(astColumns, astConstraints, defaultNotNull) {
         const preliminaryColumnSchemas = astColumns.map(colDef => columnDefToSchema(colDef, defaultNotNull));
-        const pkDefinition = findPKDefinition(preliminaryColumnSchemas, astConstraints);
+        const { pkDef: pkDefinition, defaultConflict: pkDefaultConflict } = findPKDefinition(preliminaryColumnSchemas, astConstraints);
         const columns = preliminaryColumnSchemas.map((col, idx) => {
             const isPkColumn = pkDefinition.some(pkCol => pkCol.index === idx);
             const pkOrder = isPkColumn
@@ -594,7 +688,7 @@ export class SchemaManager {
                 notNull: isPkColumn ? true : col.notNull,
             };
         });
-        return { columns, pkDefinition };
+        return { columns, pkDefinition, pkDefaultConflict };
     }
     /**
      * Extracts CHECK constraints from AST column and table constraint definitions.
@@ -749,7 +843,7 @@ export class SchemaManager {
         const defaultNullability = this.db.options.getStringOption('default_column_nullability');
         const defaultNotNull = defaultNullability === 'not_null';
         const astColumns = stmt.columns || [];
-        const { columns, pkDefinition } = this.buildColumnSchemas(astColumns, stmt.constraints, defaultNotNull);
+        const { columns, pkDefinition, pkDefaultConflict } = this.buildColumnSchemas(astColumns, stmt.constraints, defaultNotNull);
         const checkConstraints = this.extractCheckConstraints(astColumns, stmt.constraints);
         const columnIndexMap = buildColumnIndexMap(columns);
         const foreignKeys = this.extractForeignKeys(astColumns, stmt.constraints, columnIndexMap, tableName, targetSchemaName);
@@ -773,6 +867,7 @@ export class SchemaManager {
             columns: Object.freeze(columns),
             columnIndexMap,
             primaryKeyDefinition: pkDefinition,
+            primaryKeyDefaultConflict: pkDefaultConflict,
             checkConstraints: Object.freeze(checkConstraints),
             foreignKeys: foreignKeys.length > 0 ? Object.freeze(foreignKeys) : undefined,
             uniqueConstraints: uniqueConstraints.length > 0 ? Object.freeze(uniqueConstraints) : undefined,
@@ -1051,6 +1146,7 @@ export class SchemaManager {
                 name: indexSchema.name,
                 columns: Object.freeze(indexSchema.columns.map(c => c.index)),
                 predicate: indexSchema.predicate,
+                derivedFromIndex: indexSchema.name,
             };
             const updatedConstraints = [...(tableSchema.uniqueConstraints ?? []), newConstraint];
             result.uniqueConstraints = Object.freeze(updatedConstraints);
@@ -1100,11 +1196,16 @@ export class SchemaManager {
                 throw new QuereusError(`dropIndex failed for index '${indexName}' on table '${ownerTable.name}': ${message}`, code, e instanceof Error ? e : undefined);
             }
         }
-        // Remove the index from the table schema
+        // Remove the index from the table schema, along with any uniqueConstraint
+        // that was synthesized from this index (see addIndexToTableSchema).
         const updatedIndexes = (ownerTable.indexes || []).filter(idx => idx.name.toLowerCase() !== lowerIndexName);
+        const updatedUniqueConstraints = (ownerTable.uniqueConstraints ?? []).filter(uc => uc.derivedFromIndex?.toLowerCase() !== lowerIndexName);
         const updatedTableSchema = {
             ...ownerTable,
             indexes: Object.freeze(updatedIndexes),
+            uniqueConstraints: updatedUniqueConstraints.length > 0
+                ? Object.freeze(updatedUniqueConstraints)
+                : undefined,
         };
         schema.addTable(updatedTableSchema);
         this.changeNotifier.notifyChange({