@quereus/quereus 4.4.1 → 4.6.0

package/dist/src/func/registration.js

@@ -1,5 +1,6 @@
 import { FunctionFlags } from '../common/constants.js';
-import { REAL_TYPE } from '../types/builtin-types.js';
+import { MisuseError } from '../common/errors.js';
+import { ANY_RETURN } from './builtins/return-types.js';
 /** Clone an aggregate initial value so each group gets an independent accumulator. */
 export function cloneInitialValue(initialValue) {
     if (typeof initialValue === 'function') {
@@ -15,6 +16,221 @@ export function cloneInitialValue(initialValue) {
         return initialValue;
     }
 }
+/**
+ * The return type a function that declares none is taken to have.
+ *
+ * An undeclared return type is genuinely unknown, so it defaults to ANY rather
+ * than guessing. A concrete guess is worse than no answer: while this defaulted to
+ * REAL, the planner believed every undeclared function returned a number and
+ * `insertCrossTypeCoercion` cast the *other* side of a comparison to REAL —
+ * `my_text_udf(x) = 'abc'` silently became `… = 0`. ANY sets neither isNumeric nor
+ * isTextual, so coercion leaves both operands alone and the generic runtime
+ * comparison decides. Declare `returnType` when you know it: ANY is safe but
+ * forfeits plan-time typing and comparison specialization.
+ *
+ * Same declaration a built-in spells `ANY_RETURN` — named separately here because
+ * this one is the default nobody asked for, not a deliberate "unknown on purpose".
+ */
+const UNKNOWN_SCALAR_RETURN = ANY_RETURN;
+/**
+ * The relation a table-valued function that declares no columns gets. Its empty
+ * `columns` is load-bearing: it is how such a function opts out of row-width
+ * normalization (see {@link createTableValuedFunction}).
+ *
+ * NOTE: as with the shared constants in `func/builtins/return-types.ts`, one
+ * object is shared by every function that defaults to it, so a `returnType` is
+ * only ever read, never mutated.
+ */
+const UNDECLARED_RELATION_RETURN = {
+    typeClass: 'relation',
+    isReadOnly: true,
+    isSet: false, // Table functions can return duplicates by default
+    columns: [],
+    keys: [],
+    rowConstraints: []
+};
+/** Structural test for a logical type object — every one carries these two fields. */
+function isLogicalTypeObject(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const candidate = value;
+    return typeof candidate.name === 'string' && typeof candidate.physicalType === 'number';
+}
+/**
+ * Check a scalar type object (`{ typeClass: 'scalar', logicalType, … }`) and fill
+ * in its one omittable field. `nullable` is required by {@link ScalarType} but is
+ * easy to leave off a hand-built declaration, and it has one safe answer —
+ * nullable — so an absent one is filled rather than rejected. Everything that
+ * reads it today treats `undefined` as nullable already; filling it keeps the
+ * stored type honest to its own declared shape.
+ *
+ * Returns the input unchanged when nothing needed filling, or `null` when the
+ * value is not a scalar type object at all.
+ */
+function normalizeScalarType(value) {
+    if (typeof value !== 'object' || value === null)
+        return null;
+    const candidate = value;
+    if (candidate.typeClass !== 'scalar' || !isLogicalTypeObject(candidate.logicalType))
+        return null;
+    if (typeof candidate.nullable === 'boolean')
+        return candidate;
+    return { ...candidate, nullable: true };
+}
+function malformedReturnType(schema, problem) {
+    throw new MisuseError(`Function '${schema.name}/${schema.numArgs}': ${problem}`);
+}
+/**
+ * Check a relation's declared columns and fill in each one's omittable fields.
+ * Returns the input array unchanged when nothing needed filling.
+ */
+function normalizeRelationColumns(schema, columns) {
+    if (!Array.isArray(columns)) {
+        malformedReturnType(schema, 'returnType.columns must be an array of column definitions');
+    }
+    let changed = false;
+    const normalized = columns.map((column, index) => {
+        if (typeof column?.name !== 'string' || column.name === '') {
+            malformedReturnType(schema, `returnType.columns[${index}].name must be a non-empty string`);
+        }
+        const type = normalizeScalarType(column.type);
+        if (!type) {
+            malformedReturnType(schema, `returnType.columns[${index}] ('${column.name}') must carry a scalar type object such as `
+                + `{ typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: true }, not a type-name string`);
+        }
+        if (type === column.type)
+            return column;
+        changed = true;
+        return { ...column, type };
+    });
+    return changed ? normalized : columns;
+}
+/**
+ * Check a relation's declared unique keys. Each key is an array of `{ index }`
+ * references into the declared columns — `[]` is the empty key (the relation has
+ * at most one row), and `keys: []` declares no key at all.
+ *
+ * The indices are checked because a bad one is not inert: `keysOf`
+ * (`planner/util/fd-utils.ts`) reads `ref.index` straight through into the plan's
+ * key set, so `keys: [['v']]` — column names where references belong — mints a key
+ * over column `undefined`, and an out-of-range index mints one over a column that
+ * does not exist. Both survive registration and then drive DISTINCT elimination
+ * and join-cardinality reasoning off a key nothing enforces.
+ *
+ * NOTE: `TVFAdvertisement.keys` (`relationalAdvertisement`, see
+ * docs/optimizer-retrieve.md) is the same shape feeding the same consumer, and is
+ * still unchecked. Nothing in-tree declares a bad one; if a plugin's advertisement
+ * ever produces a phantom key, validate it the same way here.
+ */
+function validateRelationKeys(schema, keys, columnCount) {
+    if (!Array.isArray(keys)) {
+        malformedReturnType(schema, 'returnType.keys must be an array of key column references');
+    }
+    keys.forEach((key, keyIndex) => {
+        if (!Array.isArray(key)) {
+            malformedReturnType(schema, `returnType.keys[${keyIndex}] must be an array of { index } column references `
+                + '(an empty array declares the empty key)');
+        }
+        key.forEach((ref, refIndex) => {
+            const index = ref?.index;
+            if (typeof index !== 'number' || !Number.isInteger(index) || index < 0 || index >= columnCount) {
+                malformedReturnType(schema, `returnType.keys[${keyIndex}][${refIndex}].index must be an integer index into the `
+                    + `${columnCount} declared column(s), as { index: 0 }`);
+            }
+        });
+    });
+}
+/**
+ * Check a relation return type and fill in its omittable fields.
+ *
+ * `columns` is the field that carries meaning, so it is validated: a non-array,
+ * an unnamed column, or a column typed with anything but a scalar type object is
+ * rejected. `isReadOnly` / `isSet` / `keys` / `rowConstraints` all have one
+ * obvious answer for a function that says nothing about them, so an absent one
+ * is filled with the same value `createTableValuedFunction` uses rather than
+ * being demanded of the author — an absent `keys` otherwise registers fine and
+ * then fails at planning with `type.keys is not iterable`. Present-but-malformed
+ * is still a typo, and is rejected (see {@link validateRelationKeys}).
+ *
+ * Returns the input unchanged when nothing needed filling.
+ */
+function normalizeRelationReturnType(schema, returnType) {
+    const columns = normalizeRelationColumns(schema, returnType.columns);
+    const keys = returnType.keys;
+    if (keys !== undefined)
+        validateRelationKeys(schema, keys, columns.length);
+    const rowConstraints = returnType.rowConstraints;
+    if (rowConstraints !== undefined && !Array.isArray(rowConstraints)) {
+        malformedReturnType(schema, 'returnType.rowConstraints must be an array');
+    }
+    const needsDefaults = columns !== returnType.columns
+        || returnType.isReadOnly === undefined || returnType.isSet === undefined
+        || keys === undefined || rowConstraints === undefined;
+    if (!needsDefaults)
+        return returnType;
+    return {
+        ...returnType,
+        columns,
+        isReadOnly: returnType.isReadOnly ?? UNDECLARED_RELATION_RETURN.isReadOnly,
+        isSet: returnType.isSet ?? UNDECLARED_RELATION_RETURN.isSet,
+        keys: keys ?? UNDECLARED_RELATION_RETURN.keys,
+        rowConstraints: rowConstraints ?? UNDECLARED_RELATION_RETURN.rowConstraints,
+    };
+}
+/**
+ * The one stated contract for a registered function's `returnType`.
+ *
+ * - **Absent** means "unknown" and normalizes to a nullable scalar of ANY. A
+ *   schema carrying an implementation and no declared return type is therefore
+ *   taken to be SCALAR — nothing else distinguishes it from a table-valued
+ *   function, and a TVF with no declared columns is useless anyway. TVF authors
+ *   declare `returnType` or use {@link createTableValuedFunction}.
+ * - **Present but malformed** throws {@link MisuseError} naming the function and
+ *   the offending field. A typo is never silently downgraded to "unknown": that
+ *   is how the long-documented `{ typeClass: 'scalar', sqlType: 'TEXT' }` shape
+ *   half-worked for so long — it registered and evaluated, then failed with an
+ *   internal `undefined` read the first time anything compared against its type.
+ * - **Present and well-formed but incomplete** is filled in, for the fields that
+ *   have one obvious answer: a scalar's `nullable` (see {@link normalizeScalarType})
+ *   and a relation's `isReadOnly` / `isSet` / `keys` / `rowConstraints` (see
+ *   {@link normalizeRelationReturnType}).
+ *
+ * Both registration paths route through here: `Database.registerFunction` for a
+ * hand-built schema (the path every plugin takes via `registerPlugin`) and the
+ * `create*` helpers below.
+ *
+ * NOTE: `Schema.addFunction` (schema/schema.ts) is where all roads actually meet,
+ * including the built-ins registered at startup, but it is a plain map insert and
+ * deliberately stays one — gating there would revalidate every builtin on every
+ * database open for the same benefit. Anything that inserts into a Schema directly
+ * therefore bypasses this contract; the type guards in schema/function.ts are the
+ * backstop for that case.
+ */
+export function normalizeFunctionSchema(schema) {
+    const returnType = schema.returnType;
+    if (returnType === undefined || returnType === null) {
+        return { ...schema, returnType: UNKNOWN_SCALAR_RETURN };
+    }
+    if (typeof returnType !== 'object') {
+        malformedReturnType(schema, 'returnType must be an object');
+    }
+    switch (returnType.typeClass) {
+        case 'scalar': {
+            const scalar = normalizeScalarType(returnType);
+            if (!scalar) {
+                malformedReturnType(schema, 'returnType.logicalType must be a type object such as TEXT_TYPE — '
+                    + 'build the declaration with scalarReturn(TEXT_TYPE) or use the TEXT_RETURN / INTEGER_RETURN / … constants');
+            }
+            return scalar === returnType ? schema : { ...schema, returnType: scalar };
+        }
+        case 'relation': {
+            const relation = normalizeRelationReturnType(schema, returnType);
+            return relation === returnType ? schema : { ...schema, returnType: relation };
+        }
+        default:
+            malformedReturnType(schema, `returnType.typeClass must be 'scalar' or 'relation' (got ${String(returnType.typeClass)})`);
+    }
+}
 /**
  * Creates a function schema for a scalar SQL function.
  * This is the primary way to register scalar functions in Quereus.
@@ -24,17 +240,13 @@ export function cloneInitialValue(initialValue) {
  * @returns A FunctionSchema ready for registration
  */
 export function createScalarFunction(options, jsFunc) {
-    const returnType = options.returnType ?? {
-        typeClass: 'scalar',
-        logicalType: REAL_TYPE,
-        nullable: true,
-        isReadOnly: true
-    };
-    return {
+    // Defaulting and validation both live in normalizeFunctionSchema — see the
+    // contract there for what an absent return type means.
+    return normalizeFunctionSchema({
         name: options.name,
         numArgs: options.numArgs,
         flags: options.flags ?? (FunctionFlags.UTF8 | (options.deterministic !== false ? FunctionFlags.DETERMINISTIC : 0)),
-        returnType,
+        returnType: options.returnType ?? UNKNOWN_SCALAR_RETURN,
         implementation: jsFunc,
         replicable: options.replicable,
         inferReturnType: options.inferReturnType,
@@ -43,7 +255,9 @@ export function createScalarFunction(options, jsFunc) {
         monotoneOnArgs: options.monotoneOnArgs,
         rangeRewriteOnArg: options.rangeRewriteOnArg,
         hidden: options.hidden,
-    };
+        comparesArgs: options.comparesArgs,
+        returnsArg: options.returnsArg,
+    });
 }
 /**
  * Creates a function schema for a table-valued function.
@@ -61,23 +275,15 @@ export function createScalarFunction(options, jsFunc) {
  * @returns A FunctionSchema ready for registration
  */
 export function createTableValuedFunction(options, jsFunc) {
-    const returnType = options.returnType ?? {
-        typeClass: 'relation',
-        isReadOnly: true,
-        isSet: false, // Table functions can return duplicates by default
-        columns: [],
-        keys: [],
-        rowConstraints: []
-    };
-    return {
+    return normalizeFunctionSchema({
         name: options.name,
         numArgs: options.numArgs,
         flags: options.flags ?? (FunctionFlags.UTF8 | (options.deterministic !== false ? FunctionFlags.DETERMINISTIC : 0)),
-        returnType,
+        returnType: options.returnType ?? UNDECLARED_RELATION_RETURN,
         implementation: jsFunc,
         replicable: options.replicable,
         relationalAdvertisement: options.relationalAdvertisement
-    };
+    });
 }
 /**
  * Creates a function schema for an integrated table-valued function.
@@ -88,24 +294,16 @@ export function createTableValuedFunction(options, jsFunc) {
  * @returns A FunctionSchema ready for registration
  */
 export function createIntegratedTableValuedFunction(options, jsFunc) {
-    const returnType = options.returnType ?? {
-        typeClass: 'relation',
-        isReadOnly: true,
-        isSet: false, // Table functions can return duplicates by default
-        columns: [],
-        keys: [],
-        rowConstraints: []
-    };
-    return {
+    return normalizeFunctionSchema({
         name: options.name,
         numArgs: options.numArgs,
         flags: options.flags ?? (FunctionFlags.UTF8 | (options.deterministic !== false ? FunctionFlags.DETERMINISTIC : 0)),
-        returnType,
+        returnType: options.returnType ?? UNDECLARED_RELATION_RETURN,
         implementation: jsFunc,
         replicable: options.replicable,
         isIntegrated: true,
         relationalAdvertisement: options.relationalAdvertisement
-    };
+    });
 }
 /**
  * Creates a function schema for an aggregate function.
@@ -117,17 +315,14 @@ export function createIntegratedTableValuedFunction(options, jsFunc) {
  * @returns A FunctionSchema ready for registration
  */
 export function createAggregateFunction(options, stepFunc, finalizeFunc) {
-    const returnType = options.returnType ?? {
-        typeClass: 'scalar',
-        logicalType: REAL_TYPE,
-        nullable: true,
-        isReadOnly: true
-    };
-    return {
+    // Unknown rather than guessed — see UNKNOWN_SCALAR_RETURN. No built-in aggregate
+    // rides this default (every one declares a type or supplies inferReturnType); it
+    // guards user-defined aggregates registered through Database.createAggregateFunction.
+    return normalizeFunctionSchema({
         name: options.name,
         numArgs: options.numArgs,
         flags: options.flags ?? (FunctionFlags.UTF8 | (options.deterministic !== false ? FunctionFlags.DETERMINISTIC : 0)),
-        returnType,
+        returnType: options.returnType ?? UNKNOWN_SCALAR_RETURN,
         stepFunction: stepFunc,
         finalizeFunction: finalizeFunc,
         initialValue: options.initialValue,
@@ -136,7 +331,7 @@ export function createAggregateFunction(options, stepFunc, finalizeFunc) {
         replicable: options.replicable,
         inferReturnType: options.inferReturnType,
         validateArgTypes: options.validateArgTypes
-    };
+    });
 }
 /**
  * Specialize an aggregate schema to one call site's argument comparison context

package/dist/src/func/registration.js.map

@@ -1 +1 @@
-{"version":3,"file":"registration.js","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AA0EtD,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,YAAqB;IACtD,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;QACxC,OAAO,YAAY,EAAE,CAAC;IACvB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,YAAY,CAAa,CAAC;IACtC,CAAC;SAAM,IAAI,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,EAAE,GAAG,YAAY,EAAc,CAAC;IACxC,CAAC;SAAM,CAAC;QACP,OAAO,YAAwB,CAAC;IACjC,CAAC;AACF,CAAC;AAyCD;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAA0B,EAAE,MAAkB;IAClF,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;KACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA+B,EAAE,MAAuB;IACjG,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CAAC,OAA+B,EAAE,MAAiC;IACrH,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,IAAI;QAClB,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACtC,OAA6B,EAC7B,QAA0B,EAC1B,YAAgC;IAEhC,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,YAAY,EAAE,QAAQ;QACtB,gBAAgB,EAAE,YAAY;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC1C,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAClC,MAA+B,EAC/B,IAAoC;IAEpC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,gFAAgF;IAChF,0EAA0E;IAC1E,gFAAgF;IAChF,0EAA0E;IAC1E,OAAO;QACN,GAAG,MAAM;QACT,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY;QACvD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QACnE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO;KACxC,CAAC;AACH,CAAC"}
+{"version":3,"file":"registration.js","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAIvD,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAgFxD,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,YAAqB;IACtD,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;QACxC,OAAO,YAAY,EAAE,CAAC;IACvB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,YAAY,CAAa,CAAC;IACtC,CAAC;SAAM,IAAI,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,EAAE,GAAG,YAAY,EAAc,CAAC;IACxC,CAAC;SAAM,CAAC;QACP,OAAO,YAAwB,CAAC;IACjC,CAAC;AACF,CAAC;AAyCD;;;;;;;;;;;;;;GAcG;AACH,MAAM,qBAAqB,GAAe,UAAU,CAAC;AAErD;;;;;;;;GAQG;AACH,MAAM,0BAA0B,GAAiB;IAChD,SAAS,EAAE,UAAU;IACrB,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;IACjE,OAAO,EAAE,EAAE;IACX,IAAI,EAAE,EAAE;IACR,cAAc,EAAE,EAAE;CAClB,CAAC;AAEF,sFAAsF;AACtF,SAAS,mBAAmB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,SAAS,GAAG,KAA6B,CAAC;IAChD,OAAO,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,SAAS,CAAC,YAAY,KAAK,QAAQ,CAAC;AACzF,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAAC,KAAc;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,SAAS,GAAG,KAA4B,CAAC;IAC/C,IAAI,SAAS,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IACjG,IAAI,OAAO,SAAS,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAuB,CAAC;IAC5E,OAAO,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAgB,CAAC;AACvD,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsB,EAAE,OAAe;IACnE,MAAM,IAAI,WAAW,CAAC,aAAa,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,MAAM,OAAO,EAAE,CAAC,CAAC;AAClF,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,MAAsB,EAAE,OAAgB;IACzE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,mBAAmB,CAAC,MAAM,EAAE,2DAA2D,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,UAAU,GAAI,OAAgE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC1G,IAAI,OAAO,MAAM,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;YAC5D,mBAAmB,CAAC,MAAM,EAAE,sBAAsB,KAAK,mCAAmC,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,mBAAmB,CAAC,MAAM,EAAE,sBAAsB,KAAK,OAAO,MAAM,CAAC,IAAI,6CAA6C;kBACnH,4FAA4F,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI;YAAE,OAAO,MAAmB,CAAC;QACrD,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,EAAE,GAAG,MAAM,EAAE,IAAI,EAAe,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAE,OAAoC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,oBAAoB,CAAC,MAAsB,EAAE,IAAa,EAAE,WAAmB;IACvF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,mBAAmB,CAAC,MAAM,EAAE,2DAA2D,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,GAAY,EAAE,QAAgB,EAAE,EAAE;QAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACzB,mBAAmB,CAAC,MAAM,EAAE,mBAAmB,QAAQ,oDAAoD;kBACxG,yCAAyC,CAAC,CAAC;QAC/C,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,CAAC,GAAY,EAAE,QAAgB,EAAE,EAAE;YAC9C,MAAM,KAAK,GAAI,GAA0C,EAAE,KAAK,CAAC;YACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,WAAW,EAAE,CAAC;gBAChG,mBAAmB,CAAC,MAAM,EAAE,mBAAmB,QAAQ,KAAK,QAAQ,4CAA4C;sBAC7G,GAAG,WAAW,sCAAsC,CAAC,CAAC;YAC1D,CAAC;QACF,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,2BAA2B,CAAC,MAAsB,EAAE,UAAwB;IACpF,MAAM,OAAO,GAAG,wBAAwB,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAErE,MAAM,IAAI,GAAY,UAAU,CAAC,IAAI,CAAC;IACtC,IAAI,IAAI,KAAK,SAAS;QAAE,oBAAoB,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAE3E,MAAM,cAAc,GAAY,UAAU,CAAC,cAAc,CAAC;IAC1D,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QACpE,mBAAmB,CAAC,MAAM,EAAE,4CAA4C,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,KAAK,UAAU,CAAC,OAAO;WAChD,UAAU,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;WACrE,IAAI,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,CAAC;IACvD,IAAI,CAAC,aAAa;QAAE,OAAO,UAAU,CAAC;IAEtC,OAAO;QACN,GAAG,UAAU;QACb,OAAO;QACP,UAAU,EAAE,UAAU,CAAC,UAAU,IAAI,0BAA0B,CAAC,UAAU;QAC1E,KAAK,EAAE,UAAU,CAAC,KAAK,IAAI,0BAA0B,CAAC,KAAK;QAC3D,IAAI,EAAG,IAA6B,IAAI,0BAA0B,CAAC,IAAI;QACvE,cAAc,EAAG,cAAiD,IAAI,0BAA0B,CAAC,cAAc;KAC/G,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,uBAAuB,CAA2B,MAAS;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAyC,CAAC;IACpE,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,qBAAqB,EAAkB,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACpC,mBAAmB,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAC;IAC7D,CAAC;IACD,QAAQ,UAAU,CAAC,SAAS,EAAE,CAAC;QAC9B,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,MAAM,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACb,mBAAmB,CAAC,MAAM,EAAE,mEAAmE;sBAC5F,0GAA0G,CAAC,CAAC;YAChH,CAAC;YACD,OAAO,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,MAAM,EAAkB,CAAC;QAC3F,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,2BAA2B,CAAC,MAAM,EAAE,UAA0B,CAAC,CAAC;YACjF,OAAO,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAkB,CAAC;QAC/F,CAAC;QACD;YACC,mBAAmB,CAAC,MAAM,EAAE,4DAA4D,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC3H,CAAC;AACF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAA0B,EAAE,MAAkB;IAClF,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,uBAAuB,CAAC;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,qBAAqB;QACvD,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;KAC9B,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA+B,EAAE,MAAuB;IACjG,OAAO,uBAAuB,CAAC;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,0BAA0B;QAC5D,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CAAC,OAA+B,EAAE,MAAiC;IACrH,OAAO,uBAAuB,CAAC;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,0BAA0B;QAC5D,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,IAAI;QAClB,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACtC,OAA6B,EAC7B,QAA0B,EAC1B,YAAgC;IAEhC,iFAAiF;IACjF,iFAAiF;IACjF,sFAAsF;IACtF,OAAO,uBAAuB,CAAC;QAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,qBAAqB;QACvD,YAAY,EAAE,QAAQ;QACtB,gBAAgB,EAAE,YAAY;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC1C,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAClC,MAA+B,EAC/B,IAAoC;IAEpC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,gFAAgF;IAChF,0EAA0E;IAC1E,gFAAgF;IAChF,0EAA0E;IAC1E,OAAO;QACN,GAAG,MAAM;QACT,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY;QACvD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB;QACnE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO;KACxC,CAAC;AACH,CAAC"}

package/dist/src/index.d.ts

@@ -12,7 +12,7 @@ export type { BackingRowChange, MaintenanceOp, BackingHost, BackingScanRequest }
 export { Statement } from './core/statement.js';
 export { Table } from './core/table-handle.js';
 export { StatusCode, SqlDataType } from './common/types.js';
-export type { SqlValue, JsonSqlValue, SqlParameters, StatementOptions, Row, MaybePromise, RowOp, ConstraintType, UpdateResult } from './common/types.js';
+export type { SqlValue, JsonSqlValue, SqlParameters, StatementOptions, Row, MaybePromise, RowOp, ConstraintType, UpdateResult, CompareFn } from './common/types.js';
 export { isUpdateOk, isConstraintViolation, isSqlValue } from './common/types.js';
 export { ConflictResolution, IndexConstraintOp, VTabConfig, FunctionFlags } from './common/constants.js';
 export { QuereusError, MisuseError, ConstraintError, AbortError, throwIfAborted, isAbortError, unwrapError, formatErrorChain, getPrimaryError } from './common/errors.js';
@@ -35,8 +35,8 @@ export type { VTableDataChangeEvent, VTableDataChangeListener, VTableSchemaChang
 export { DefaultVTableEventEmitter } from './vtab/events.js';
 export type { DatabaseDataChangeEvent, DatabaseSchemaChangeEvent, MaintenanceCollisionEvent, TransactionCommitBatch, TransactionCommitListener, DataChangeSubscriptionOptions, SchemaChangeSubscriptionOptions, } from './core/database-events.js';
 export { DatabaseEventEmitter } from './core/database-events.js';
-export type { BestAccessPlanRequest, BestAccessPlanResult, ConstraintOp, ColumnMeta, PredicateConstraint, OrderingSpec } from './vtab/best-access-plan.js';
-export { AccessPlanBuilder, validateAccessPlan } from './vtab/best-access-plan.js';
+export type { BestAccessPlanRequest, BestAccessPlanResult, ConstraintOp, ColumnMeta, PredicateConstraint, RuntimeSetSpec, OrderingSpec } from './vtab/best-access-plan.js';
+export { AccessPlanBuilder, validateAccessPlan, validateAccessPlanRequest, equalitySeekKeyCount, isMultiValueEquality, } from './vtab/best-access-plan.js';
 export type { CollationFunction } from './util/comparison.js';
 export { BINARY_COLLATION, NOCASE_COLLATION, RTRIM_COLLATION, compareCodePoints, builtinCollationResolver, normalizeCollationName, resolveCollationFunctions, compareSqlValues, compareSqlValuesFast, rowsValueIdentical, sqlValueIdentical, compareRows, compareTypedValues, createTypedComparator, createTypedRowComparator, createCollationRowComparator, createSemanticRowComparator, hasSemanticOrdering, semanticKeyTransform, comparisonSemanticsDiffer, compareWithOrderByFast, createOrderByComparatorFast, createTypedOrderByComparator, SortDirection, NullsOrdering, isTruthy, getSqlDataTypeName } from './util/comparison.js';
 export type { LogicalType, CollationResolver, KeyNormalizer, KeyNormalizerResolver, CollationFunction as TypeCollationFunction } from './types/logical-type.js';
@@ -45,7 +45,8 @@ export { NULL_TYPE, INTEGER_TYPE, REAL_TYPE, TEXT_TYPE, BLOB_TYPE, BOOLEAN_TYPE,
 export { DATE_TYPE, TIME_TYPE, DATETIME_TYPE, TIMESPAN_TYPE } from './types/temporal-types.js';
 export { JSON_TYPE } from './types/json-type.js';
 export { typeRegistry, registerType, getType, getTypeOrDefault, inferType } from './types/registry.js';
-export { validateValue, parseValue, validateAndParse, coerceRowToSchema, isValidForType, tryParse } from './types/validation.js';
+export { validateValue, parseValue, validateAndParse, coerceRowToSchema, foldDefaultToType, planRetypeConversion, isValidForType, tryParse } from './types/validation.js';
+export type { RetypeConversion } from './types/validation.js';
 export { Parser } from './parser/parser.js';
 export { Lexer, TokenType, KEYWORDS } from './parser/lexer.js';
 export { ParseError } from './parser/parser.js';
@@ -53,9 +54,10 @@ export { tryFoldLiteral } from './parser/utils.js';
 export { quoteIdentifier } from './emit/ast-stringify.js';
 export { SchemaManager } from './schema/manager.js';
 export type { ImportCatalogOptions } from './schema/manager.js';
+export type { IndexLookupScope, IndexOwnerMatch } from './schema/manager.js';
 export type { SchemaChangeEvent, SchemaChangeListener, TableModifiedEvent, ViewAddedEvent, ViewRemovedEvent } from './schema/change-events.js';
-export { buildColumnIndexMap, columnDefToSchema, resolveNamedConstraintClass, validateCollationForType, resolveDefaultCollation, appendIndexToTableSchema } from './schema/table.js';
-export { buildUniqueConstraintSchema, buildForeignKeyConstraintSchema, buildCheckConstraintSchema, validateForeignKeyOverExistingRows, validateForeignKeyCollations, maintainedTableUniqueViolationError } from './schema/constraint-builder.js';
+export { buildColumnIndexMap, columnDefToSchema, resolveNamedConstraintClass, validateCollationForType, resolveDefaultCollation, appendIndexToTableSchema, shiftSchemaIndicesForDrop, rekeySchemaPrimaryKey } from './schema/table.js';
+export { buildUniqueConstraintSchema, buildForeignKeyConstraintSchema, buildCheckConstraintSchema, validateForeignKeyOverExistingRows, validateForeignKeyCollations, maintainedTableUniqueViolationError, formatKeyValue } from './schema/constraint-builder.js';
 export type { TableSchema, IndexSchema as TableIndexSchema, UniqueConstraintSchema, ForeignKeyConstraintSchema, NamedConstraintClass } from './schema/table.js';
 export { uniqueEnforcementCollations, resolveUniqueEnforcementCollations, uniqueEnforcementComparators } from './schema/unique-enforcement.js';
 export type { ColumnSchema } from './schema/column.js';
@@ -73,16 +75,21 @@ export type { CompiledPredicate } from './vtab/memory/utils/predicate.js';
 export { isAsyncIterable, getAsyncIterator, asyncIterableToArray } from './runtime/utils.js';
 export { CollectingInstructionTracer } from './runtime/types.js';
 export type { InstructionTracer, InstructionTraceEvent } from './runtime/types.js';
-export { createScalarFunction, createTableValuedFunction, createAggregateFunction } from './func/registration.js';
+export { createScalarFunction, createTableValuedFunction, createAggregateFunction, normalizeFunctionSchema } from './func/registration.js';
+export { scalarReturn, TEXT_RETURN, TEXT_RETURN_NOT_NULL, INTEGER_RETURN, INTEGER_RETURN_NOT_NULL, REAL_RETURN, REAL_RETURN_NOT_NULL, BOOLEAN_RETURN, BOOLEAN_RETURN_NOT_NULL, BLOB_RETURN, JSON_RETURN, ANY_RETURN } from './func/builtins/return-types.js';
+export type { ScalarType, RelationType, ColumnDef, ColRef } from './common/datatype.js';
 export type { ScalarFunc, TableValuedFunc, AggregateReducer, AggregateFinalizer, FunctionSchema } from './schema/function.js';
 export { tryCoerceToNumber, coerceToNumberForArithmetic, coerceForComparison, coerceForAggregate, isNumericValue } from './util/coercion.js';
 export { Latches } from './util/latches.js';
 export { BUILTIN_NORMALIZERS, serializeKey, serializeRowKey, serializeKeyNullGrouping } from './util/key-serializer.js';
+export { makePkIdentitySerializer, resolvePkIdentityKeying } from './util/key-serializer.js';
+export type { PkIdentityColumn, PkIdentityTable, PkIdentityKeying } from './util/key-serializer.js';
 export { logicalTypeCanHoldText, pkKeyCollationName } from './planner/analysis/comparison-collation.js';
 export { canonicalJsonString } from './util/json-canonical.js';
 export { registerPlugin } from './util/plugin-helper.js';
 export type { PluginFunction } from './util/plugin-helper.js';
 import './runtime/register.js';
+export type { TableStatistics, ColumnStatistics, EquiHeightHistogram, HistogramBucket } from './planner/stats/catalog-stats.js';
 export type { VirtualTableModule } from './vtab/module.js';
 export type { ModuleCapabilities, IsolationCapableTable } from './vtab/capabilities.js';
 export type { Schema } from './schema/schema.js';

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,YAAY,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACnE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAClJ,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC/G,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAG/C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACzJ,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1K,YAAY,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAGpD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,GACvB,MAAM,uBAAuB,CAAC;AAG/B,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7G,OAAO,EACN,kBAAkB,EAClB,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AAGpC,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvI,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAGxF,YAAY,EACX,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,kBAAkB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAG7D,YAAY,EACX,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,sBAAsB,EACtB,yBAAyB,EACzB,6BAA6B,EAC7B,+BAA+B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE,YAAY,EACX,qBAAqB,EACrB,oBAAoB,EACpB,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,YAAY,EACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAGnF,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAGN,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EAIf,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,yBAAyB,EAEzB,gBAAgB,EAChB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EAEzB,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,aAAa,EACb,aAAa,EAEb,QAAQ,EAER,kBAAkB,EAClB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,qBAAqB,EAAE,iBAAiB,IAAI,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChK,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACN,SAAS,EACT,YAAY,EACZ,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,SAAS,EACT,SAAS,EACT,aAAa,EACb,aAAa,EACb,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACN,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,QAAQ,EACR,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC/I,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AACrL,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACjP,YAAY,EAAE,WAAW,EAAE,WAAW,IAAI,gBAAgB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAKhK,OAAO,EAAE,2BAA2B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC/I,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,eAAe,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAC9L,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7G,YAAY,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAMjE,OAAO,EACN,6BAA6B,EAAE,4BAA4B,EAC3D,8BAA8B,EAAE,6BAA6B,GAC7D,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAOzE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGzH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAG1E,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,YAAY,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAGnF,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,MAAM,wBAAwB,CAAC;AAEhC,YAAY,EACX,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAM5C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAOxH,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAKxG,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,YAAY,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG9D,OAAO,uBAAuB,CAAC;AAG/B,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGxF,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAGjD,YAAY,EACX,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,WAAW,EACX,cAAc,GACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAUrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,YAAY,EACX,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,YAAY,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,mBAAmB,EACnB,MAAM,oBAAoB,CAAC;AAG5B,YAAY,EACX,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACV,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,YAAY,GACZ,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACN,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,cAAc,EACd,OAAO,EACP,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACtB,MAAM,oCAAoC,CAAC;AAG5C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AACxH,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,YAAY,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACnE,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAClJ,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC/G,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAG/C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC5D,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACpK,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1K,YAAY,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAGpD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC3G,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,GACvB,MAAM,uBAAuB,CAAC;AAG/B,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7G,OAAO,EACN,kBAAkB,EAClB,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AAGpC,YAAY,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvI,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAGxF,YAAY,EACX,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,kBAAkB,EAClB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAG7D,YAAY,EACX,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,sBAAsB,EACtB,yBAAyB,EACzB,6BAA6B,EAC7B,+BAA+B,GAC/B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAGjE,YAAY,EACX,qBAAqB,EACrB,oBAAoB,EACpB,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,cAAc,EACd,YAAY,EACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACN,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,GACpB,MAAM,4BAA4B,CAAC;AAGpC,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAGN,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EAIf,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,yBAAyB,EAEzB,gBAAgB,EAChB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB,EAEzB,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,aAAa,EACb,aAAa,EAEb,QAAQ,EAER,kBAAkB,EAClB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,qBAAqB,EAAE,iBAAiB,IAAI,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAChK,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACN,SAAS,EACT,YAAY,EACZ,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,SAAS,EACT,SAAS,EACT,aAAa,EACb,aAAa,EACb,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACN,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,cAAc,EACd,QAAQ,EACR,MAAM,uBAAuB,CAAC;AAC/B,YAAY,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAG9D,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAG1D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,YAAY,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAIhE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC7E,YAAY,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC/I,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AACvO,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,mCAAmC,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACjQ,YAAY,EAAE,WAAW,EAAE,WAAW,IAAI,gBAAgB,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAKhK,OAAO,EAAE,2BAA2B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAC/I,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,YAAY,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,eAAe,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAC9L,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7G,YAAY,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAMjE,OAAO,EACN,6BAA6B,EAAE,4BAA4B,EAC3D,8BAA8B,EAAE,6BAA6B,GAC7D,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAOzE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGzH,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAG1E,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,YAAY,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAGnF,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,MAAM,wBAAwB,CAAC;AAKhC,OAAO,EACN,YAAY,EACZ,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,uBAAuB,EACvB,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,uBAAuB,EACvB,WAAW,EACX,WAAW,EACX,UAAU,EACV,MAAM,iCAAiC,CAAC;AAKzC,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAExF,YAAY,EACX,UAAU,EACV,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EACd,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAM5C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAMxH,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAC7F,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAOpG,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAKxG,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,YAAY,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAG9D,OAAO,uBAAuB,CAAC;AAK/B,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAGhI,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGxF,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAGjD,YAAY,EACX,oBAAoB,EACpB,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,WAAW,EACX,cAAc,GACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAUrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,YAAY,EACX,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,GACnB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAGhE,YAAY,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,cAAc,EACd,mBAAmB,EACnB,MAAM,oBAAoB,CAAC;AAG5B,YAAY,EACX,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACV,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,qBAAqB,EACrB,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,YAAY,GACZ,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACN,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,cAAc,EACd,OAAO,EACP,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACtB,MAAM,oCAAoC,CAAC;AAG5C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AACxH,YAAY,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/src/index.js

@@ -23,7 +23,7 @@ export { encodeIdxStr, decodeIdxStr, idxStrSentinel, retargetIdxStr, makeIdxStrS
 export { getModuleConcurrencyMode, acquireConnectionLock } from './vtab/concurrency.js';
 export { DefaultVTableEventEmitter } from './vtab/events.js';
 export { DatabaseEventEmitter } from './core/database-events.js';
-export { AccessPlanBuilder, validateAccessPlan } from './vtab/best-access-plan.js';
+export { AccessPlanBuilder, validateAccessPlan, validateAccessPlanRequest, equalitySeekKeyCount, isMultiValueEquality, } from './vtab/best-access-plan.js';
 export { 
 // Built-in collation functions. Custom collations are registered per-database
 // with `db.registerCollation(...)` and resolved via `db.getCollationResolver()`.
@@ -45,7 +45,7 @@ export { NULL_TYPE, INTEGER_TYPE, REAL_TYPE, TEXT_TYPE, BLOB_TYPE, BOOLEAN_TYPE,
 export { DATE_TYPE, TIME_TYPE, DATETIME_TYPE, TIMESPAN_TYPE } from './types/temporal-types.js';
 export { JSON_TYPE } from './types/json-type.js';
 export { typeRegistry, registerType, getType, getTypeOrDefault, inferType } from './types/registry.js';
-export { validateValue, parseValue, validateAndParse, coerceRowToSchema, isValidForType, tryParse } from './types/validation.js';
+export { validateValue, parseValue, validateAndParse, coerceRowToSchema, foldDefaultToType, planRetypeConversion, isValidForType, tryParse } from './types/validation.js';
 // SQL Parser and Compiler
 export { Parser } from './parser/parser.js';
 export { Lexer, TokenType, KEYWORDS } from './parser/lexer.js';
@@ -54,8 +54,8 @@ export { tryFoldLiteral } from './parser/utils.js';
 export { quoteIdentifier } from './emit/ast-stringify.js';
 // Schema management
 export { SchemaManager } from './schema/manager.js';
-export { buildColumnIndexMap, columnDefToSchema, resolveNamedConstraintClass, validateCollationForType, resolveDefaultCollation, appendIndexToTableSchema } from './schema/table.js';
-export { buildUniqueConstraintSchema, buildForeignKeyConstraintSchema, buildCheckConstraintSchema, validateForeignKeyOverExistingRows, validateForeignKeyCollations, maintainedTableUniqueViolationError } from './schema/constraint-builder.js';
+export { buildColumnIndexMap, columnDefToSchema, resolveNamedConstraintClass, validateCollationForType, resolveDefaultCollation, appendIndexToTableSchema, shiftSchemaIndicesForDrop, rekeySchemaPrimaryKey } from './schema/table.js';
+export { buildUniqueConstraintSchema, buildForeignKeyConstraintSchema, buildCheckConstraintSchema, validateForeignKeyOverExistingRows, validateForeignKeyCollations, maintainedTableUniqueViolationError, formatKeyValue } from './schema/constraint-builder.js';
 // Per-column UNIQUE-enforcement collation resolver, plus the per-column comparators
 // built from it — the single source of truth shared by store/isolation re-validators
 // (memory's `checkUniqueViaIndex` is conformance-locked against the collation resolver
@@ -83,7 +83,11 @@ export { compilePredicate } from './vtab/memory/utils/predicate.js';
 export { isAsyncIterable, getAsyncIterator, asyncIterableToArray } from './runtime/utils.js';
 export { CollectingInstructionTracer } from './runtime/types.js';
 // Function registration utilities
-export { createScalarFunction, createTableValuedFunction, createAggregateFunction } from './func/registration.js';
+export { createScalarFunction, createTableValuedFunction, createAggregateFunction, normalizeFunctionSchema } from './func/registration.js';
+// Return-type declarations for registered functions. `scalarReturn(TEXT_TYPE)` and
+// the `*_RETURN` constants make declaring a function's return type a one-token edit
+// instead of a repeated four-field object literal.
+export { scalarReturn, TEXT_RETURN, TEXT_RETURN_NOT_NULL, INTEGER_RETURN, INTEGER_RETURN_NOT_NULL, REAL_RETURN, REAL_RETURN_NOT_NULL, BOOLEAN_RETURN, BOOLEAN_RETURN_NOT_NULL, BLOB_RETURN, JSON_RETURN, ANY_RETURN } from './func/builtins/return-types.js';
 // Coercion utilities (for module implementations)
 export { tryCoerceToNumber, coerceToNumberForArithmetic, coerceForComparison, coerceForAggregate, isNumericValue } from './util/coercion.js';
 // Utility functions
@@ -93,6 +97,11 @@ export { Latches } from './util/latches.js';
 // backs a store's default key-normalizer resolver for callers that hold no Database;
 // any caller that DOES hold one must resolve through `db.getKeyNormalizerResolver()`.
 export { BUILTIN_NORMALIZERS, serializeKey, serializeRowKey, serializeKeyNullGrouping } from './util/key-serializer.js';
+// The ONE pk row-identity recipe ("are these two primary keys the same row?"): per pk
+// column, its semantic key transform then its key-collation normalizer, serialized via
+// `serializeKeyNullGrouping`. Shared by `@quereus/isolation`'s overlay row-alignment key and
+// `@quereus/sync`'s per-row CRDT metadata key, so the two layers can never disagree.
+export { makePkIdentitySerializer, resolvePkIdentityKeying } from './util/key-serializer.js';
 // Whether a column's declared type can ever hold text, and therefore whether a key
 // built over it needs a key normalizer at all. Out-of-package hash-key sites (the
 // isolation overlay's modified-PK set) must gate on this exactly as the engine's own

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,8BAA8B;AAC9B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAK9C,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAE/C,kCAAkC;AAClC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAG1K,oBAAoB;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,GACvB,MAAM,uBAAuB,CAAC;AAI/B,OAAO,EACN,kBAAkB,EAClB,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AAIpC,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAUxF,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAY7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAWjE,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAInF,OAAO;AACN,8EAA8E;AAC9E,iFAAiF;AACjF,gBAAgB,EAChB,gBAAgB,EAChB,eAAe;AACf,mFAAmF;AACnF,oFAAoF;AACpF,gFAAgF;AAChF,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,yBAAyB;AACzB,kEAAkE;AAClE,gBAAgB,EAChB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB;AACzB,gCAAgC;AAChC,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,aAAa,EACb,aAAa;AACb,wBAAwB;AACxB,QAAQ;AACR,qBAAqB;AACrB,kBAAkB,EAClB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACN,SAAS,EACT,YAAY,EACZ,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,SAAS,EACT,SAAS,EACT,aAAa,EACb,aAAa,EACb,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACN,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,QAAQ,EACR,MAAM,uBAAuB,CAAC;AAE/B,0BAA0B;AAC1B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,oBAAoB;AACpB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AACrL,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AAEjP,oFAAoF;AACpF,qFAAqF;AACrF,uFAAuF;AACvF,wFAAwF;AACxF,OAAO,EAAE,2BAA2B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAI/I,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,eAAe,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAC9L,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7G,iFAAiF;AACjF,4EAA4E;AAC5E,8EAA8E;AAC9E,mFAAmF;AACnF,kCAAkC;AAClC,OAAO,EACN,6BAA6B,EAAE,4BAA4B,EAC3D,8BAA8B,EAAE,6BAA6B,GAC7D,MAAM,6BAA6B,CAAC;AAErC,sFAAsF;AACtF,oFAAoF;AACpF,2EAA2E;AAC3E,qEAAqE;AACrE,4EAA4E;AAC5E,4DAA4D;AAC5D,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEzH,sFAAsF;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAGpE,oBAAoB;AACpB,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAGjE,kCAAkC;AAClC,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,MAAM,wBAAwB,CAAC;AAUhC,kDAAkD;AAClD,OAAO,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,MAAM,oBAAoB,CAAC;AAE5B,oBAAoB;AACpB,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,4EAA4E;AAC5E,kFAAkF;AAClF,qFAAqF;AACrF,sFAAsF;AACtF,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAExH,mFAAmF;AACnF,kFAAkF;AAClF,qFAAqF;AACrF,oFAAoF;AACpF,iEAAiE;AACjE,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAExG,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,wDAAwD;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAGzD,iEAAiE;AACjE,OAAO,uBAAuB,CAAC;AAqB/B,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAErF,+EAA+E;AAC/E,2EAA2E;AAC3E,qEAAqE;AACrE,+DAA+D;AAC/D,gFAAgF;AAChF,4EAA4E;AAC5E,sEAAsE;AACtE,qEAAqE;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAoChE,OAAO,EACN,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,cAAc,EACd,OAAO,EACP,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACtB,MAAM,oCAAoC,CAAC;AAE5C,kCAAkC;AAClC,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,8BAA8B;AAC9B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAK9C,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAE/C,kCAAkC;AAClC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAG1K,oBAAoB;AACpB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAG/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EACN,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,GACvB,MAAM,uBAAuB,CAAC;AAI/B,OAAO,EACN,kBAAkB,EAClB,2BAA2B,EAC3B,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,4BAA4B,CAAC;AAIpC,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,gBAAgB,GAChB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAUxF,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAY7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAYjE,OAAO,EACN,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,GACpB,MAAM,4BAA4B,CAAC;AAIpC,OAAO;AACN,8EAA8E;AAC9E,iFAAiF;AACjF,gBAAgB,EAChB,gBAAgB,EAChB,eAAe;AACf,mFAAmF;AACnF,oFAAoF;AACpF,gFAAgF;AAChF,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,EACtB,yBAAyB;AACzB,kEAAkE;AAClE,gBAAgB,EAChB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,kBAAkB,EAClB,qBAAqB,EACrB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,mBAAmB,EACnB,oBAAoB,EACpB,yBAAyB;AACzB,gCAAgC;AAChC,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,aAAa,EACb,aAAa;AACb,wBAAwB;AACxB,QAAQ;AACR,qBAAqB;AACrB,kBAAkB,EAClB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EACN,SAAS,EACT,YAAY,EACZ,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACN,SAAS,EACT,SAAS,EACT,aAAa,EACb,aAAa,EACb,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EACN,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACN,aAAa,EACb,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,cAAc,EACd,QAAQ,EACR,MAAM,uBAAuB,CAAC;AAG/B,0BAA0B;AAC1B,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,oBAAoB;AACpB,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAOpD,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AACvO,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,mCAAmC,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEjQ,oFAAoF;AACpF,qFAAqF;AACrF,uFAAuF;AACvF,wFAAwF;AACxF,OAAO,EAAE,2BAA2B,EAAE,kCAAkC,EAAE,4BAA4B,EAAE,MAAM,gCAAgC,CAAC;AAI/I,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,eAAe,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAC9L,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7G,iFAAiF;AACjF,4EAA4E;AAC5E,8EAA8E;AAC9E,mFAAmF;AACnF,kCAAkC;AAClC,OAAO,EACN,6BAA6B,EAAE,4BAA4B,EAC3D,8BAA8B,EAAE,6BAA6B,GAC7D,MAAM,6BAA6B,CAAC;AAErC,sFAAsF;AACtF,oFAAoF;AACpF,2EAA2E;AAC3E,qEAAqE;AACrE,4EAA4E;AAC5E,4DAA4D;AAC5D,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEzH,sFAAsF;AACtF,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAGpE,oBAAoB;AACpB,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAGjE,kCAAkC;AAClC,OAAO,EACN,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,MAAM,wBAAwB,CAAC;AAEhC,mFAAmF;AACnF,oFAAoF;AACpF,mDAAmD;AACnD,OAAO,EACN,YAAY,EACZ,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,uBAAuB,EACvB,WAAW,EACX,oBAAoB,EACpB,cAAc,EACd,uBAAuB,EACvB,WAAW,EACX,WAAW,EACX,UAAU,EACV,MAAM,iCAAiC,CAAC;AAezC,kDAAkD;AAClD,OAAO,EACN,iBAAiB,EACjB,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,MAAM,oBAAoB,CAAC;AAE5B,oBAAoB;AACpB,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,4EAA4E;AAC5E,kFAAkF;AAClF,qFAAqF;AACrF,sFAAsF;AACtF,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AAExH,sFAAsF;AACtF,uFAAuF;AACvF,6FAA6F;AAC7F,qFAAqF;AACrF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAG7F,mFAAmF;AACnF,kFAAkF;AAClF,qFAAqF;AACrF,oFAAoF;AACpF,iEAAiE;AACjE,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAExG,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,wDAAwD;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAGzD,iEAAiE;AACjE,OAAO,uBAAuB,CAAC;AA0B/B,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAErF,+EAA+E;AAC/E,2EAA2E;AAC3E,qEAAqE;AACrE,+DAA+D;AAC/D,gFAAgF;AAChF,4EAA4E;AAC5E,sEAAsE;AACtE,qEAAqE;AACrE,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAoChE,OAAO,EACN,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,cAAc,EACd,OAAO,EACP,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACtB,MAAM,oCAAoC,CAAC;AAE5C,kCAAkC;AAClC,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/src/parser/parser.d.ts

@@ -17,6 +17,15 @@ export declare class Parser {
     private current;
     private parameterPosition;
     private parenStack;
+    /**
+     * Bare (no-`as`) alias barrier. While a declaration-block item body is being
+     * parsed, the leading keywords of a *sibling* item must not be absorbed as an
+     * implicit alias — block items carry no required separator, so the alias slot
+     * and the next item's first token compete for the same position. Scoped by a
+     * stack so it never leaks into ordinary statements, and by the paren depth the
+     * item started at, since a sibling item cannot begin inside an open `(`.
+     */
+    private aliasBarriers;
     /**
      * Initialize the parser with tokens from a SQL string
      * @param sql SQL string to parse
@@ -329,6 +338,18 @@ export declare class Parser {
      * it only ends the source list item (`from t a, u b`).
      */
     private matchBareSourceAlias;
+    /**
+     * Runs `parse` with `words` (uppercase lexemes) barred from the bare-alias slot.
+     * See {@link aliasBarriers}; nesting is supported and the barrier always pops.
+     */
+    private withAliasBarrier;
+    /**
+     * True when the cursor sits on a bare identifier an active barrier reserves.
+     * Only fires at the paren depth the barrier was pushed at: an alias inside an
+     * open `(` — a subquery source, a scalar subquery — cannot be confused with the
+     * start of a sibling item, so `from t2 materialized` keeps working there.
+     */
+    private atAliasBarrier;
     /**
      * True when the current token starts a `QueryExpr` (SELECT, VALUES, WITH,
      * INSERT, UPDATE, DELETE). Used by callers that have already consumed an
@@ -529,6 +550,31 @@ export declare class Parser {
      */
     private analyzeStatement;
     private declareSchemaStatement;
+    /** Parses one item of a `declare schema { … }` block, dispatched on its leading keyword. */
+    private declareBlockItem;
+    /**
+     * Fallback for an item kind the parser doesn't model yet (domain, collation, import):
+     * skip its tokens and keep a placeholder so the surrounding block still parses.
+     *
+     * NOTE: an unrecognized item is retained only as opaque text — a typo'd item keyword
+     * is therefore accepted and silently ignored rather than diagnosed. Diagnosing it
+     * needs a real grammar for these kinds, not a tighter skip.
+     */
+    private declareIgnoredItem;
+    /**
+     * Advances past the current declaration-block item, stopping at nesting depth 0 on
+     * a `;`, the block's closing `}`, or the leading keyword of the next item. Brace and
+     * paren depth is tracked so a braced column list or a parenthesized payload inside
+     * the item doesn't end the scan early.
+     *
+     * NOTE: stopping on an item keyword is a heuristic — these kinds have no grammar
+     * here, so the word `table` inside an unmodeled item would cut the skip short.
+     * Separating the items with `;` is exact; if domain/collation/import ever gain real
+     * bodies, give them a grammar rather than widening this scan.
+     */
+    private skipToDeclareItemBoundary;
+    /** True when the cursor sits on a keyword that can begin a declaration-block item. */
+    private atDeclareItemStart;
     /**
      * Parses `declare lens for <X> over <Y> { ( view <T> as <select> ;? )* }`.
      * The DECLARE token is already consumed by {@link statement}. `lens` and `for`