@quereus/quereus 4.3.0 → 4.3.2

package/dist/src/vtab/idx-str.js

@@ -0,0 +1,130 @@
+/**
+ * The `idxStr` wire format: one encoder, one decoder.
+ *
+ * `FilterInfo.idxStr` is the text the planner hands a module's runtime to say which
+ * index it chose and how it means to walk it. Its shape is:
+ *
+ *     idx=<indexName>(<nameArg>);plan=<code>[;<key>=<value>]*
+ *
+ * plus two sentinels — `fullscan` (no index) and `empty` (provably no rows). Every
+ * producer and consumer in the engine goes through this module, so the format is
+ * defined in exactly one place. The structured, typed form of the same information
+ * is `FilterInfo.accessPath` (see `index-descriptor.ts`); prefer that when you need
+ * to know *what the index is* rather than what to hand a module runtime.
+ */
+import { quereusError } from '../common/errors.js';
+import { StatusCode } from '../common/types.js';
+const IDX_NAME_ARG_RE = /^(.*?)\((\d+)\)$/;
+/** No parameters — shared to avoid allocating an empty Map per decode. */
+const NO_PARAMS = new Map();
+/** The two sentinel `idxStr` values, which name no index. */
+const FULL_SCAN_SENTINEL = 'fullscan';
+const EMPTY_SENTINEL = 'empty';
+const PLAN_CODE_BY_KIND = new Map([
+    ['scan', 0],
+    ['eqSeek', 2],
+    ['rangeSeek', 3],
+    ['multiSeek', 5],
+    ['multiRangeSeek', 6],
+    ['prefixRangeSeek', 7],
+]);
+const PLAN_KIND_BY_CODE = new Map([...PLAN_CODE_BY_KIND].map(([kind, code]) => [code, kind]));
+/** The {@link IndexPlanKind} for a `plan=` code, or undefined for a code this engine never emits. */
+export function planKindFromCode(code) {
+    return PLAN_KIND_BY_CODE.get(code);
+}
+/** The `plan=` code for an {@link IndexPlanKind}. Total — every kind has a code. */
+export function planCodeFromKind(kind) {
+    const code = PLAN_CODE_BY_KIND.get(kind);
+    if (code === undefined) {
+        quereusError(`Unknown index plan kind '${kind}'`, StatusCode.INTERNAL);
+    }
+    return code;
+}
+/**
+ * Distinguish the two sentinel strings from a genuine index string.
+ * Returns null for `null`, `''`, and anything that is not a sentinel.
+ */
+export function idxStrSentinel(idxStr) {
+    if (idxStr === FULL_SCAN_SENTINEL)
+        return 'fullScan';
+    if (idxStr === EMPTY_SENTINEL)
+        return 'empty';
+    return null;
+}
+/** Render an {@link IdxStrSpec} to its wire form. */
+export function encodeIdxStr(spec) {
+    const parts = [`idx=${spec.indexName}(${spec.nameArg})`, `plan=${spec.plan}`];
+    for (const [key, value] of spec.params) {
+        if (key === 'idx' || key === 'plan') {
+            quereusError(`idxStr parameter '${key}' is reserved and cannot appear in params`, StatusCode.INTERNAL);
+        }
+        parts.push(`${key}=${value}`);
+    }
+    return parts.join(';');
+}
+/**
+ * Parse an `idxStr`.
+ *
+ * Returns null for `null`, `''`, the `fullscan` / `empty` sentinels, and any string
+ * without a parseable `idx=<name>(<n>)` term — i.e. exactly the cases where no index
+ * is named. Use {@link idxStrSentinel} to tell the two sentinels apart from garbage.
+ *
+ * A parameter's value may contain `=`, `:` and `,` (e.g. `rangeOps=ge:lt,gt`); only the
+ * FIRST `=` in each `;`-separated term separates key from value.
+ */
+export function decodeIdxStr(idxStr) {
+    if (!idxStr || idxStrSentinel(idxStr) !== null)
+        return null;
+    let indexTerm;
+    let planTerm;
+    const params = new Map();
+    for (const part of idxStr.split(';')) {
+        const sep = part.indexOf('=');
+        if (sep <= 0)
+            continue;
+        const key = part.slice(0, sep);
+        const value = part.slice(sep + 1);
+        if (key === 'idx') {
+            indexTerm = value;
+        }
+        else if (key === 'plan') {
+            planTerm = value;
+        }
+        else {
+            params.set(key, value);
+        }
+    }
+    if (indexTerm === undefined)
+        return null;
+    const match = IDX_NAME_ARG_RE.exec(indexTerm);
+    if (!match)
+        return null;
+    const plan = planTerm === undefined ? 0 : Number.parseInt(planTerm, 10);
+    return {
+        indexName: match[1],
+        nameArg: Number.parseInt(match[2], 10),
+        plan: Number.isNaN(plan) ? 0 : plan,
+        params: params.size === 0 ? NO_PARAMS : params,
+    };
+}
+/**
+ * Rename the index inside an `idxStr`, preserving `plan`, `nameArg`, and every parameter
+ * verbatim — including parameters and plan codes this engine does not understand. Strings
+ * that name no index (sentinels, null, garbage) are returned unchanged.
+ *
+ * Implemented as decode → swap name → encode, so it cannot corrupt what it cannot read.
+ */
+export function retargetIdxStr(idxStr, newIndexName) {
+    const spec = decodeIdxStr(idxStr);
+    if (!spec)
+        return idxStr;
+    if (spec.indexName === newIndexName)
+        return idxStr;
+    return encodeIdxStr({ ...spec, indexName: newIndexName });
+}
+/** Build an {@link IdxStrSpec} for a plan the engine itself chose. `nameArg` is always 0. */
+export function makeIdxStrSpec(indexName, plan, params) {
+    return { indexName, nameArg: 0, plan: planCodeFromKind(plan), params: params ?? NO_PARAMS };
+}
+//# sourceMappingURL=idx-str.js.map

package/dist/src/vtab/idx-str.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"idx-str.js","sourceRoot":"","sources":["../../../src/vtab/idx-str.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAkBhD,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAE3C,0EAA0E;AAC1E,MAAM,SAAS,GAAgC,IAAI,GAAG,EAAE,CAAC;AAEzD,6DAA6D;AAC7D,MAAM,kBAAkB,GAAG,UAAU,CAAC;AACtC,MAAM,cAAc,GAAG,OAAO,CAAC;AAE/B,MAAM,iBAAiB,GAAuC,IAAI,GAAG,CAAwB;IAC5F,CAAC,MAAM,EAAE,CAAC,CAAC;IACX,CAAC,QAAQ,EAAE,CAAC,CAAC;IACb,CAAC,WAAW,EAAE,CAAC,CAAC;IAChB,CAAC,WAAW,EAAE,CAAC,CAAC;IAChB,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACrB,CAAC,iBAAiB,EAAE,CAAC,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAuC,IAAI,GAAG,CACpE,CAAC,GAAG,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAC1D,CAAC;AAEF,qGAAqG;AACrG,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC5C,OAAO,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,gBAAgB,CAAC,IAAmB;IACnD,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,YAAY,CAAC,4BAA4B,IAAI,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB;IACnD,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,UAAU,CAAC;IACrD,IAAI,MAAM,KAAK,cAAc;QAAE,OAAO,OAAO,CAAC;IAC9C,OAAO,IAAI,CAAC;AACb,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC5C,MAAM,KAAK,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,OAAO,GAAG,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACxC,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACrC,YAAY,CAAC,qBAAqB,GAAG,2CAA2C,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxG,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,MAAqB;IACjD,IAAI,CAAC,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5D,IAAI,SAA6B,CAAC;IAClC,IAAI,QAA4B,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,GAAG,IAAI,CAAC;YAAE,SAAS;QACvB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnB,SAAS,GAAG,KAAK,CAAC;QACnB,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC3B,QAAQ,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,CAAC;YACP,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;IACF,CAAC;IAED,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACxE,OAAO;QACN,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACnC,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;KAC9C,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,MAAqB,EAAE,YAAoB;IACzE,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IACzB,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY;QAAE,OAAO,MAAM,CAAC;IACnD,OAAO,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,cAAc,CAC7B,SAAiB,EACjB,IAAmB,EACnB,MAAoC;IAEpC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,IAAI,SAAS,EAAE,CAAC;AAC7F,CAAC"}

package/dist/src/vtab/index-descriptor.d.ts

@@ -0,0 +1,122 @@
+/**
+ * Typed identity of the index an access plan iterates.
+ *
+ * The planner records its chosen index twice: as the free-text `FilterInfo.idxStr`
+ * wire format (see `idx-str.ts`) and as the structured {@link AccessPath} on
+ * `FilterInfo.accessPath`. Consumers that care about *what the index is* — most
+ * importantly anything that must merge or compare rows in the scan's emission
+ * order — read the structured form. `idxStr` remains the text projection consumed
+ * by module runtimes.
+ */
+import type { TableSchema } from '../schema/table.js';
+import type { BestAccessPlanResult } from './best-access-plan.js';
+/** One key column of an index, expressed table-relative. */
+export interface IndexKeyColumn {
+    /** 0-based index into `TableSchema.columns`. */
+    readonly columnIndex: number;
+    /** true ⇒ this key column is ordered descending within the index. */
+    readonly desc: boolean;
+    /** Declared collation name for this key column; undefined ⇒ BINARY. */
+    readonly collation?: string;
+}
+/**
+ * Structured identity of the index an access plan iterates.
+ *
+ * `name` is the module's own name for the index and is what appears in `idxStr`;
+ * it may be a per-plan alias that resolves to nothing in the table schema. `role`
+ * is therefore authoritative, not the name: a descriptor with `role: 'primary'`
+ * IS the table's primary key however it is named.
+ */
+export interface IndexDescriptor {
+    readonly name: string;
+    readonly role: 'primary' | 'secondary';
+    /** The index's FULL key columns, in index order (not just the seek prefix). */
+    readonly keyColumns: readonly IndexKeyColumn[];
+    /** true ⇒ a walk of this index yields at most one row per distinct key. */
+    readonly unique: boolean;
+    /**
+     * true ⇒ the SCAN walks this index in REVERSE of its declared `keyColumns`
+     * order (an `ORDER BY … DESC` over an ascending index). Absent/false ⇒ forward.
+     *
+     * This is the one place scan DIRECTION is modelled structurally, so an
+     * emission-order consumer (the isolation overlay's merged read) can walk the
+     * reversed stream correctly. A module whose `idxStr` already encodes direction
+     * (the in-memory vtab's `ordCons=DESC`) need not set it; a module that carries
+     * direction only in an opaque per-plan index name (lamina) MUST, or the overlay
+     * merges a reversed underlying stream against a forward comparator.
+     */
+    readonly reverse?: boolean;
+}
+/**
+ * Which seek/scan strategy the planner chose over an {@link IndexDescriptor}.
+ * One-to-one with the `plan=N` codes carried in `idxStr`.
+ *
+ * Scan DIRECTION is not part of the plan KIND. For the in-memory vtab it rides
+ * `idxStr` (the `plan=1` / `plan=4` descending codes and the `ordCons=DESC`
+ * parameter its scan-plan builder recognises). A module that carries direction
+ * only in an opaque per-plan index name (lamina) instead sets
+ * {@link IndexDescriptor.reverse} so an emission-order consumer can still learn
+ * the scan is reversed.
+ */
+export type IndexPlanKind = 'scan' | 'eqSeek' | 'rangeSeek' | 'multiSeek' | 'multiRangeSeek' | 'prefixRangeSeek';
+/** Structured description of the access path chosen for one table reference. */
+export type AccessPath = {
+    readonly kind: 'fullScan';
+} | {
+    readonly kind: 'empty';
+} | {
+    readonly kind: 'index';
+    readonly index: IndexDescriptor;
+    readonly plan: IndexPlanKind;
+}
+/**
+ * The plan named an index the engine could not resolve, and the module supplied no
+ * `indexDescriptor` for it. Consumers that need the index identity (to merge in scan
+ * order, say) MUST fail loudly rather than guess — an unresolved secondary index
+ * merged as if it were the primary key silently reorders rows.
+ */
+ | {
+    readonly kind: 'unresolvedIndex';
+    readonly indexName: string;
+    readonly plan: IndexPlanKind;
+};
+/** The canonical name the engine uses for a table's primary-key index in `idxStr`. */
+export declare const PRIMARY_INDEX_NAME = "_primary_";
+/** The name physical plan nodes use for the primary-key index (`IndexScanNode.indexName`). */
+export declare const PRIMARY_PHYSICAL_INDEX_NAME = "primary";
+/** True when `name` is one of the two spellings the engine uses for the primary key. */
+export declare function isPrimaryIndexName(name: string): boolean;
+/**
+ * The table's primary key as an {@link IndexDescriptor}, named `_primary_`.
+ *
+ * Returns undefined for a table with no declared primary key: a descriptor with an
+ * empty `keyColumns` describes nothing, and every consumer that would read it wants
+ * a full scan instead.
+ */
+export declare function primaryKeyDescriptor(tableSchema: TableSchema): IndexDescriptor | undefined;
+/**
+ * Resolve the structured identity of `indexName` for this plan. Resolution order:
+ *   1. `accessPlan.indexDescriptor`, when the module supplied one naming this index.
+ *   2. `indexName` is `_primary_` or `primary` ⇒ {@link primaryKeyDescriptor}.
+ *   3. Case-insensitive hit in `tableSchema.indexes`.
+ *   4. undefined — the caller emits `{ kind: 'unresolvedIndex' }` and logs.
+ *
+ * `indexName` is taken explicitly rather than read off `accessPlan.indexName`: the
+ * ordering-only arm of `rule-select-access-path` walks `accessPlan.orderingIndexName`
+ * and the legacy arms hardcode `_primary_`, so the name that lands in `idxStr` is not
+ * always `accessPlan.indexName`. The descriptor must describe the index actually walked.
+ *
+ * There is deliberately no prefix rule: a secondary index genuinely named
+ * `_primary_extra` resolves via the schema lookup as `role: 'secondary'`.
+ */
+export declare function resolveIndexDescriptor(tableSchema: TableSchema, accessPlan: BestAccessPlanResult, indexName: string): IndexDescriptor | undefined;
+/**
+ * Validate a module-supplied {@link IndexDescriptor} against the plan that carries it
+ * and the request it answers. Called from `validateAccessPlan`; separated so the rules
+ * stay readable.
+ *
+ * The descriptor must name the index the plan actually drives. That is `indexName` for
+ * a seek plan; an ordering-only plan sets `orderingIndexName` alone, so accept either.
+ */
+export declare function validateIndexDescriptor(descriptor: IndexDescriptor, indexName: string | undefined, orderingIndexName: string | undefined, columnCount: number): void;
+//# sourceMappingURL=index-descriptor.d.ts.map

package/dist/src/vtab/index-descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-descriptor.d.ts","sourceRoot":"","sources":["../../../src/vtab/index-descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAElE,4DAA4D;AAC5D,MAAM,WAAW,cAAc;IAC9B,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,CAAC;IACvC,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,GACtB,MAAM,GACN,QAAQ,GACR,WAAW,GACX,WAAW,GACX,gBAAgB,GAChB,iBAAiB,CAAC;AAErB,gFAAgF;AAChF,MAAM,MAAM,UAAU,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE;AAC3F;;;;;GAKG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC;AAElG,sFAAsF;AACtF,eAAO,MAAM,kBAAkB,cAAc,CAAC;AAE9C,8FAA8F;AAC9F,eAAO,MAAM,2BAA2B,YAAY,CAAC;AAErD,wFAAwF;AACxF,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAExD;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE,WAAW,GAAG,eAAe,GAAG,SAAS,CAa1F;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CACrC,WAAW,EAAE,WAAW,EACxB,UAAU,EAAE,oBAAoB,EAChC,SAAS,EAAE,MAAM,GACf,eAAe,GAAG,SAAS,CAoB7B;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACtC,UAAU,EAAE,eAAe,EAC3B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,iBAAiB,EAAE,MAAM,GAAG,SAAS,EACrC,WAAW,EAAE,MAAM,GACjB,IAAI,CA4BN"}

package/dist/src/vtab/index-descriptor.js

@@ -0,0 +1,104 @@
+/**
+ * Typed identity of the index an access plan iterates.
+ *
+ * The planner records its chosen index twice: as the free-text `FilterInfo.idxStr`
+ * wire format (see `idx-str.ts`) and as the structured {@link AccessPath} on
+ * `FilterInfo.accessPath`. Consumers that care about *what the index is* — most
+ * importantly anything that must merge or compare rows in the scan's emission
+ * order — read the structured form. `idxStr` remains the text projection consumed
+ * by module runtimes.
+ */
+import { quereusError } from '../common/errors.js';
+import { StatusCode } from '../common/types.js';
+/** The canonical name the engine uses for a table's primary-key index in `idxStr`. */
+export const PRIMARY_INDEX_NAME = '_primary_';
+/** The name physical plan nodes use for the primary-key index (`IndexScanNode.indexName`). */
+export const PRIMARY_PHYSICAL_INDEX_NAME = 'primary';
+/** True when `name` is one of the two spellings the engine uses for the primary key. */
+export function isPrimaryIndexName(name) {
+    return name === PRIMARY_INDEX_NAME || name === PRIMARY_PHYSICAL_INDEX_NAME;
+}
+/**
+ * The table's primary key as an {@link IndexDescriptor}, named `_primary_`.
+ *
+ * Returns undefined for a table with no declared primary key: a descriptor with an
+ * empty `keyColumns` describes nothing, and every consumer that would read it wants
+ * a full scan instead.
+ */
+export function primaryKeyDescriptor(tableSchema) {
+    const pkCols = tableSchema.primaryKeyDefinition ?? [];
+    if (pkCols.length === 0)
+        return undefined;
+    return {
+        name: PRIMARY_INDEX_NAME,
+        role: 'primary',
+        keyColumns: pkCols.map(col => ({
+            columnIndex: col.index,
+            desc: col.desc === true,
+            collation: col.collation,
+        })),
+        unique: true,
+    };
+}
+/**
+ * Resolve the structured identity of `indexName` for this plan. Resolution order:
+ *   1. `accessPlan.indexDescriptor`, when the module supplied one naming this index.
+ *   2. `indexName` is `_primary_` or `primary` ⇒ {@link primaryKeyDescriptor}.
+ *   3. Case-insensitive hit in `tableSchema.indexes`.
+ *   4. undefined — the caller emits `{ kind: 'unresolvedIndex' }` and logs.
+ *
+ * `indexName` is taken explicitly rather than read off `accessPlan.indexName`: the
+ * ordering-only arm of `rule-select-access-path` walks `accessPlan.orderingIndexName`
+ * and the legacy arms hardcode `_primary_`, so the name that lands in `idxStr` is not
+ * always `accessPlan.indexName`. The descriptor must describe the index actually walked.
+ *
+ * There is deliberately no prefix rule: a secondary index genuinely named
+ * `_primary_extra` resolves via the schema lookup as `role: 'secondary'`.
+ */
+export function resolveIndexDescriptor(tableSchema, accessPlan, indexName) {
+    const supplied = accessPlan.indexDescriptor;
+    if (supplied && supplied.name === indexName)
+        return supplied;
+    if (isPrimaryIndexName(indexName))
+        return primaryKeyDescriptor(tableSchema);
+    const lowered = indexName.toLowerCase();
+    const schemaIndex = tableSchema.indexes?.find(idx => idx.name.toLowerCase() === lowered);
+    if (!schemaIndex)
+        return undefined;
+    return {
+        name: schemaIndex.name,
+        role: 'secondary',
+        keyColumns: schemaIndex.columns.map(col => ({
+            columnIndex: col.index,
+            desc: col.desc === true,
+            collation: col.collation,
+        })),
+        unique: schemaIndex.unique === true,
+    };
+}
+/**
+ * Validate a module-supplied {@link IndexDescriptor} against the plan that carries it
+ * and the request it answers. Called from `validateAccessPlan`; separated so the rules
+ * stay readable.
+ *
+ * The descriptor must name the index the plan actually drives. That is `indexName` for
+ * a seek plan; an ordering-only plan sets `orderingIndexName` alone, so accept either.
+ */
+export function validateIndexDescriptor(descriptor, indexName, orderingIndexName, columnCount) {
+    const expected = indexName ?? orderingIndexName;
+    if (expected === undefined) {
+        quereusError(`indexDescriptor '${descriptor.name}' supplied but the plan names no index via indexName or orderingIndexName`, StatusCode.FORMAT);
+    }
+    if (descriptor.name !== expected) {
+        quereusError(`indexDescriptor.name '${descriptor.name}' must equal the plan's index name '${expected}'`, StatusCode.FORMAT);
+    }
+    if (descriptor.keyColumns.length === 0) {
+        quereusError(`indexDescriptor '${descriptor.name}' must declare at least one key column`, StatusCode.FORMAT);
+    }
+    for (const keyColumn of descriptor.keyColumns) {
+        if (keyColumn.columnIndex < 0 || keyColumn.columnIndex >= columnCount) {
+            quereusError(`Invalid indexDescriptor key column index ${keyColumn.columnIndex}, must be 0-${columnCount - 1}`, StatusCode.FORMAT);
+        }
+    }
+}
+//# sourceMappingURL=index-descriptor.js.map

package/dist/src/vtab/index-descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-descriptor.js","sourceRoot":"","sources":["../../../src/vtab/index-descriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AA2EhD,sFAAsF;AACtF,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAC;AAE9C,8FAA8F;AAC9F,MAAM,CAAC,MAAM,2BAA2B,GAAG,SAAS,CAAC;AAErD,wFAAwF;AACxF,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC9C,OAAO,IAAI,KAAK,kBAAkB,IAAI,IAAI,KAAK,2BAA2B,CAAC;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAwB;IAC5D,MAAM,MAAM,GAAG,WAAW,CAAC,oBAAoB,IAAI,EAAE,CAAC;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,OAAO;QACN,IAAI,EAAE,kBAAkB;QACxB,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9B,WAAW,EAAE,GAAG,CAAC,KAAK;YACtB,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI;YACvB,SAAS,EAAE,GAAG,CAAC,SAAS;SACxB,CAAC,CAAC;QACH,MAAM,EAAE,IAAI;KACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CACrC,WAAwB,EACxB,UAAgC,EAChC,SAAiB;IAEjB,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC;IAC5C,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAE7D,IAAI,kBAAkB,CAAC,SAAS,CAAC;QAAE,OAAO,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAE5E,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IACxC,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,CAAC;IACzF,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,OAAO;QACN,IAAI,EAAE,WAAW,CAAC,IAAI;QACtB,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3C,WAAW,EAAE,GAAG,CAAC,KAAK;YACtB,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI;YACvB,SAAS,EAAE,GAAG,CAAC,SAAS;SACxB,CAAC,CAAC;QACH,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,IAAI;KACnC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACtC,UAA2B,EAC3B,SAA6B,EAC7B,iBAAqC,EACrC,WAAmB;IAEnB,MAAM,QAAQ,GAAG,SAAS,IAAI,iBAAiB,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,YAAY,CACX,oBAAoB,UAAU,CAAC,IAAI,2EAA2E,EAC9G,UAAU,CAAC,MAAM,CACjB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,YAAY,CACX,yBAAyB,UAAU,CAAC,IAAI,uCAAuC,QAAQ,GAAG,EAC1F,UAAU,CAAC,MAAM,CACjB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,YAAY,CACX,oBAAoB,UAAU,CAAC,IAAI,wCAAwC,EAC3E,UAAU,CAAC,MAAM,CACjB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,SAAS,CAAC,WAAW,GAAG,CAAC,IAAI,SAAS,CAAC,WAAW,IAAI,WAAW,EAAE,CAAC;YACvE,YAAY,CACX,4CAA4C,SAAS,CAAC,WAAW,eAAe,WAAW,GAAG,CAAC,EAAE,EACjG,UAAU,CAAC,MAAM,CACjB,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/src/vtab/mapping-advertisement.d.ts

@@ -116,7 +116,7 @@ export interface SharedKey {
      * column is also a logical column. It is not a generation policy: the engine no
      * longer invents a key. Both kinds source the threaded value from ordinary
      * column-default / supplied-value machinery and propagate it across the fan-out
-     * via the equivalence class (`docs/view-updateability.md` § Mutation Context):
+     * via the equivalence class (`docs/vu-mutation-context.md` § Mutation Context):
      * - `surrogate`: a substrate-managed key distinct from any logical column. The
      *   value comes from the **anchor's shared-key column `default`**, evaluated once
      *   per produced row at the envelope (evaluate-once-and-thread). A basis author

package/dist/src/vtab/memory/index.d.ts

@@ -1,5 +1,6 @@
 import { BTree } from 'inheritree';
 import { type Row } from '../../common/types.js';
+import type { CollationResolver } from '../../types/logical-type.js';
 import type { BTreeKeyForPrimary, BTreeKeyForIndex, MemoryIndexEntry } from './types.js';
 import type { IndexColumnSchema as IndexColumnSpec } from '../../schema/table.js';
 import type { ColumnSchema } from '../../schema/column.js';
@@ -27,8 +28,9 @@ export declare class MemoryIndex {
      * used to sort each entry's `primaryKeys` on read (see {@link getSortedPrimaryKeys}).
      * It is per-index — identical for every entry — so it lives here, not duplicated
      * per entry. A PK-collation change via `ALTER COLUMN … SET COLLATE` forces a full
-     * base rebuild (`rebuildAllSecondaryIndexes` / `rebuildPrimaryTreeStrict`),
-     * recreating entries under the new comparator/encoder — so no stale order or
+     * base rebuild (`rebuildAllSecondaryIndexes` / `rebuildPrimaryTreeStrict`) and, on
+     * every layer of an open transaction, `TransactionLayer.rekeyPrimaryKey` — each
+     * recreating its entries under the new comparator/encoder, so no stale order or
      * encoding survives an ALTER.
      */
     private readonly primaryKeyComparator;
@@ -40,7 +42,13 @@ export declare class MemoryIndex {
      * add/remove. See `utils/primary-key-encode.ts`.
      */
     private readonly encode;
-    constructor(spec: IndexSpec, allTableColumnsSchema: ReadonlyArray<ColumnSchema>, primaryKeyComparator: (a: BTreeKeyForPrimary, b: BTreeKeyForPrimary) => number, encode: (pk: BTreeKeyForPrimary) => string, baseInheritreeTable?: BTree<BTreeKeyForIndex, MemoryIndexEntry>);
+    /**
+     * Resolves this index's declared column collations against the owning database.
+     * A layer hands down its own resolver, so a child layer's comparator is built
+     * from the same collation function as the parent tree it inherits.
+     */
+    private readonly collationResolver;
+    constructor(spec: IndexSpec, allTableColumnsSchema: ReadonlyArray<ColumnSchema>, collationResolver: CollationResolver, primaryKeyComparator: (a: BTreeKeyForPrimary, b: BTreeKeyForPrimary) => number, encode: (pk: BTreeKeyForPrimary) => string, tableName: string, baseInheritreeTable?: BTree<BTreeKeyForIndex, MemoryIndexEntry>);
     /** True when the partial-index predicate is satisfied by `row` (or there is no predicate). */
     rowMatchesPredicate(row: Row): boolean;
     private validateColumnIndexes;
@@ -93,7 +101,7 @@ export declare class MemoryIndex {
     getPrimaryKeys(indexKey: BTreeKeyForIndex): BTreeKeyForPrimary[];
     /**
      * True when at least one PK is mapped under `indexKey`. O(1) (Map size), so the
-     * build-time UNIQUE check (BaseLayer `populateNewIndex`) can probe per row without
+     * build-time UNIQUE check (`populateIndexFromRows`) can probe per row without
      * sorting the bucket.
      */
     hasAnyPrimaryKey(indexKey: BTreeKeyForIndex): boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/vtab/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAc,KAAK,GAAG,EAAiB,MAAM,uBAAuB,CAAC;AAE5E,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,KAAK,EAAE,iBAAiB,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAoB,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEhF,mFAAmF;AACnF,MAAM,WAAW,SAAS;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACxC,SAAS,CAAC,EAAE,UAAU,CAAC;CACvB;AAQD,wDAAwD;AACxD,qBAAa,WAAW;IACvB,SAAgB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,SAAgB,WAAW,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC5D,SAAgB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,gBAAgB,CAAC;IAC3D,SAAgB,WAAW,EAAE,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,gBAAgB,KAAK,MAAM,CAAC;IAC3E,IAAI,EAAE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACvD;6DACyD;IACzD,SAAgB,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACzD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAA8B;IACpE;;;;;;;;OAQG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA2D;IAEhG;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAqC;gBAG3D,IAAI,EAAE,SAAS,EACf,qBAAqB,EAAE,aAAa,CAAC,YAAY,CAAC,EAClD,oBAAoB,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,KAAK,MAAM,EAC9E,MAAM,EAAE,CAAC,EAAE,EAAE,kBAAkB,KAAK,MAAM,EAC1C,mBAAmB,CAAC,EAAE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAmBhE,8FAA8F;IAC9F,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO;IAKtC,OAAO,CAAC,qBAAqB;IAU7B,OAAO,CAAC,uBAAuB;IAQ/B,OAAO,CAAC,8BAA8B;IAsBtC,OAAO,CAAC,iCAAiC;IAuCzC,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,WAAW;IAQnB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,YAAY,CAAmC;IAEvD;;;;;;;OAOG;IACH,OAAO,CAAC,WAAW,CAAyD;IAE5E,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,GAAG,IAAI;IAiC1E,oFAAoF;IACpF,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,GAAG,IAAI;IA8B7E;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,GAAG,SAAS,kBAAkB,EAAE;IAS5E,yFAAyF;IACzF,cAAc,CAAC,QAAQ,EAAE,gBAAgB,GAAG,kBAAkB,EAAE;IAKhE;;;;OAIG;IACH,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IAIrD,4CAA4C;IAC5C,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,sEAAsE;IACtE,KAAK,IAAI,IAAI;IAIb,yFAAyF;IACzF,SAAS,IAAI,IAAI;CAGjB"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/vtab/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAc,KAAK,GAAG,EAAiB,MAAM,uBAAuB,CAAC;AAE5E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,KAAK,EAAE,iBAAiB,IAAI,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAoB,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEhF,mFAAmF;AACnF,MAAM,WAAW,SAAS;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACxC,SAAS,CAAC,EAAE,UAAU,CAAC;CACvB;AAQD,wDAAwD;AACxD,qBAAa,WAAW;IACvB,SAAgB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,SAAgB,WAAW,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC5D,SAAgB,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,gBAAgB,CAAC;IAC3D,SAAgB,WAAW,EAAE,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,gBAAgB,KAAK,MAAM,CAAC;IAC3E,IAAI,EAAE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IACvD;6DACyD;IACzD,SAAgB,SAAS,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACzD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAA8B;IACpE;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAA2D;IAEhG;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAqC;IAE5D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAoB;gBAGrD,IAAI,EAAE,SAAS,EACf,qBAAqB,EAAE,aAAa,CAAC,YAAY,CAAC,EAClD,iBAAiB,EAAE,iBAAiB,EACpC,oBAAoB,EAAE,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,KAAK,MAAM,EAC9E,MAAM,EAAE,CAAC,EAAE,EAAE,kBAAkB,KAAK,MAAM,EAC1C,SAAS,EAAE,MAAM,EACjB,mBAAmB,CAAC,EAAE,KAAK,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAoBhE,8FAA8F;IAC9F,mBAAmB,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO;IAKtC,OAAO,CAAC,qBAAqB;IAU7B,OAAO,CAAC,uBAAuB;IAQ/B,OAAO,CAAC,8BAA8B;IAsBtC,OAAO,CAAC,iCAAiC;IAuCzC,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,WAAW;IAQnB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,YAAY,CAAmC;IAEvD;;;;;;;OAOG;IACH,OAAO,CAAC,WAAW,CAAyD;IAE5E,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,GAAG,IAAI;IAiC1E,oFAAoF;IACpF,WAAW,CAAC,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB,GAAG,IAAI;IA8B7E;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,GAAG,SAAS,kBAAkB,EAAE;IAS5E,yFAAyF;IACzF,cAAc,CAAC,QAAQ,EAAE,gBAAgB,GAAG,kBAAkB,EAAE;IAKhE;;;;OAIG;IACH,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IAIrD,4CAA4C;IAC5C,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,sEAAsE;IACtE,KAAK,IAAI,IAAI;IAIb,yFAAyF;IACzF,SAAS,IAAI,IAAI;CAGjB"}

package/dist/src/vtab/memory/index.js

@@ -1,6 +1,6 @@
 import { BTree } from 'inheritree';
 import { StatusCode } from '../../common/types.js';
-import { createTypedComparator, resolveCollation } from '../../util/comparison.js';
+import { createTypedComparator } from '../../util/comparison.js';
 import { quereusError } from '../../common/errors.js';
 import { compilePredicate } from './utils/predicate.js';
 /** Represents a secondary index within a MemoryTable */
@@ -19,8 +19,9 @@ export class MemoryIndex {
      * used to sort each entry's `primaryKeys` on read (see {@link getSortedPrimaryKeys}).
      * It is per-index — identical for every entry — so it lives here, not duplicated
      * per entry. A PK-collation change via `ALTER COLUMN … SET COLLATE` forces a full
-     * base rebuild (`rebuildAllSecondaryIndexes` / `rebuildPrimaryTreeStrict`),
-     * recreating entries under the new comparator/encoder — so no stale order or
+     * base rebuild (`rebuildAllSecondaryIndexes` / `rebuildPrimaryTreeStrict`) and, on
+     * every layer of an open transaction, `TransactionLayer.rekeyPrimaryKey` — each
+     * recreating its entries under the new comparator/encoder, so no stale order or
      * encoding survives an ALTER.
      */
     primaryKeyComparator;
@@ -32,17 +33,24 @@ export class MemoryIndex {
      * add/remove. See `utils/primary-key-encode.ts`.
      */
     encode;
-    constructor(spec, allTableColumnsSchema, primaryKeyComparator, encode, baseInheritreeTable) {
+    /**
+     * Resolves this index's declared column collations against the owning database.
+     * A layer hands down its own resolver, so a child layer's comparator is built
+     * from the same collation function as the parent tree it inherits.
+     */
+    collationResolver;
+    constructor(spec, allTableColumnsSchema, collationResolver, primaryKeyComparator, encode, tableName, baseInheritreeTable) {
         this.name = spec.name;
         this.specColumns = Object.freeze(spec.columns.map(c => ({ ...c })));
         this.allTableColumnsSchema = allTableColumnsSchema;
+        this.collationResolver = collationResolver;
         this.primaryKeyComparator = primaryKeyComparator;
         this.encode = encode;
         this.validateColumnIndexes(allTableColumnsSchema);
         const keyFunctions = this.createIndexKeyFunctions();
         this.keyFromRow = keyFunctions.keyFromRow;
         this.compareKeys = keyFunctions.compareKeys;
-        this.predicate = spec.predicate ? compilePredicate(spec.predicate, allTableColumnsSchema) : undefined;
+        this.predicate = spec.predicate ? compilePredicate(spec.predicate, allTableColumnsSchema, tableName) : undefined;
         this.data = this.createBTree(baseInheritreeTable);
     }
     /** True when the partial-index predicate is satisfied by `row` (or there is no predicate). */
@@ -71,7 +79,7 @@ export class MemoryIndex {
         const columnSchema = this.allTableColumnsSchema[colSchemaIndex];
         const descMultiplier = specCol.desc ? -1 : 1;
         // Create type-aware comparator
-        const collationFunc = specCol.collation ? resolveCollation(specCol.collation) : undefined;
+        const collationFunc = specCol.collation ? this.collationResolver(specCol.collation) : undefined;
         const typedComparator = createTypedComparator(columnSchema.logicalType, collationFunc);
         const keyFromRow = (row) => {
             this.validateRowLength(row, colSchemaIndex);
@@ -87,7 +95,7 @@ export class MemoryIndex {
         // Pre-create type-aware comparators for each column
         const comparators = localSpecColumns.map(sc => {
             const columnSchema = this.allTableColumnsSchema[sc.index];
-            const collationFunc = sc.collation ? resolveCollation(sc.collation) : undefined;
+            const collationFunc = sc.collation ? this.collationResolver(sc.collation) : undefined;
             return createTypedComparator(columnSchema.logicalType, collationFunc);
         });
         const keyFromRow = (row) => {
@@ -119,7 +127,7 @@ export class MemoryIndex {
         }
     }
     createBTree(baseInheritreeTable) {
-        return new BTree((entry) => entry.indexKey, this.compareKeys, baseInheritreeTable);
+        return new BTree((entry) => entry.indexKey, this.compareKeys, { base: baseInheritreeTable });
     }
     /**
      * Entries created by THIS index instance — safe to mutate in place. An entry
@@ -236,7 +244,7 @@ export class MemoryIndex {
     }
     /**
      * True when at least one PK is mapped under `indexKey`. O(1) (Map size), so the
-     * build-time UNIQUE check (BaseLayer `populateNewIndex`) can probe per row without
+     * build-time UNIQUE check (`populateIndexFromRows`) can probe per row without
      * sorting the bucket.
      */
     hasAnyPrimaryKey(indexKey) {

package/dist/src/vtab/memory/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/vtab/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,UAAU,EAA2B,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAKnF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAA0B,MAAM,sBAAsB,CAAC;AAehF,wDAAwD;AACxD,MAAM,OAAO,WAAW;IACP,IAAI,CAAqB;IACzB,WAAW,CAAiC;IAC5C,UAAU,CAAiC;IAC3C,WAAW,CAAuD;IAC3E,IAAI,CAA4C;IACvD;6DACyD;IACzC,SAAS,CAAgC;IACxC,qBAAqB,CAA8B;IACpE;;;;;;;;OAQG;IACc,oBAAoB,CAA2D;IAEhG;;;;;;OAMG;IACc,MAAM,CAAqC;IAE5D,YACC,IAAe,EACf,qBAAkD,EAClD,oBAA8E,EAC9E,MAA0C,EAC1C,mBAA+D;QAE/D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,qBAAqB,GAAG,qBAAqB,CAAC;QACnD,IAAI,CAAC,oBAAoB,GAAG,oBAAoB,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QAErB,IAAI,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,CAAC;QAElD,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACpD,IAAI,CAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;QAC1C,IAAI,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;QAE5C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEtG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACnD,CAAC;IAED,8FAA8F;IAC9F,mBAAmB,CAAC,GAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IAC9C,CAAC;IAEO,qBAAqB,CAAC,qBAAkD;QAC/E,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAClD,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,qBAAqB,CAAC,MAAM,CACxD,CAAC;QAEF,IAAI,eAAe,EAAE,CAAC;YACrB,YAAY,CAAC,kCAAkC,IAAI,CAAC,IAAI,IAAI,WAAW,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnG,CAAC;IACF,CAAC;IAEO,uBAAuB;QAC9B,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,8BAA8B,EAAE,CAAC;QAC9C,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,CAAC,iCAAiC,EAAE,CAAC;QACjD,CAAC;IACF,CAAC;IAEO,8BAA8B;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC;QACrC,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE7C,+BAA+B;QAC/B,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,eAAe,GAAG,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAEvF,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAoB,EAAE;YACjD,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC5C,OAAO,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,CAAC,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAU,EAAE;YACxE,OAAO,eAAe,CAAC,CAAa,EAAE,CAAa,CAAC,GAAG,cAAc,CAAC;QACvE,CAAC,CAAC;QAEF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAEO,iCAAiC;QACxC,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,CAAC;QAE1C,oDAAoD;QACpD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,aAAa,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAChF,OAAO,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QAEH,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAoB,EAAE;YACjD,OAAO,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAChC,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;gBACtC,OAAO,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAU,EAAE;YACxE,MAAM,IAAI,GAAG,CAAe,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAe,CAAC;YAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC1C,OAAO,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC;gBAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAEpD,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;oBACtB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;gBAChD,CAAC;YACF,CAAC;YACD,OAAO,CAAC,CAAC;QACV,CAAC,CAAC;QAEF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAEO,iBAAiB,CAAC,GAAQ,EAAE,WAAmB;QACtD,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAClD,YAAY,CAAC,uBAAuB,WAAW,oBAAoB,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvG,CAAC;IACF,CAAC;IAEO,WAAW,CAAC,mBAA+D;QAClF,OAAO,IAAI,KAAK,CACf,CAAC,KAAuB,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAC3C,IAAI,CAAC,WAAW,EAChB,mBAAmB,CACnB,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,YAAY,GAAG,IAAI,OAAO,EAAoB,CAAC;IAEvD;;;;;;;OAOG;IACK,WAAW,GAAG,IAAI,OAAO,EAA0C,CAAC;IAE5E,uFAAuF;IACvF,QAAQ,CAAC,QAA0B,EAAE,UAA8B;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1C,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;gBAC/C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBACvC,OAAO;YACR,CAAC;YACD,sEAAsE;YACtE,6EAA6E;YAC7E,2EAA2E;YAC3E,4EAA4E;YAC5E,oEAAoE;YACpE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;YACvD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACjC,MAAM,OAAO,GAAqB;gBACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;gBAChC,WAAW;aACX,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACP,MAAM,QAAQ,GAAqB;gBAClC,QAAQ;gBACR,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;aACzC,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;IACF,CAAC;IAED,oFAAoF;IACpF,WAAW,CAAC,QAA0B,EAAE,UAA8B;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,EAAE;YAAE,OAAO;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAEpC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,qDAAqD;YACrD,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YACD,OAAO;QACR,CAAC;QAED,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7C,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,MAAM,OAAO,GAAqB,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;YACvF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;IACF,CAAC;IAED;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAuB;QAC3C,IAAI,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACzE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED,yFAAyF;IACzF,cAAc,CAAC,QAA0B;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACH,gBAAgB,CAAC,QAA0B;QAC1C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7D,CAAC;IAED,4CAA4C;IAC5C,IAAI,IAAI;QACP,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC7B,CAAC;IAED,sEAAsE;IACtE,KAAK;QACJ,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAChC,CAAC;IAED,yFAAyF;IACzF,SAAS;QACR,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;IACvB,CAAC;CACD"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/vtab/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,UAAU,EAA2B,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAMjE,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAA0B,MAAM,sBAAsB,CAAC;AAehF,wDAAwD;AACxD,MAAM,OAAO,WAAW;IACP,IAAI,CAAqB;IACzB,WAAW,CAAiC;IAC5C,UAAU,CAAiC;IAC3C,WAAW,CAAuD;IAC3E,IAAI,CAA4C;IACvD;6DACyD;IACzC,SAAS,CAAgC;IACxC,qBAAqB,CAA8B;IACpE;;;;;;;;;OASG;IACc,oBAAoB,CAA2D;IAEhG;;;;;;OAMG;IACc,MAAM,CAAqC;IAE5D;;;;OAIG;IACc,iBAAiB,CAAoB;IAEtD,YACC,IAAe,EACf,qBAAkD,EAClD,iBAAoC,EACpC,oBAA8E,EAC9E,MAA0C,EAC1C,SAAiB,EACjB,mBAA+D;QAE/D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,qBAAqB,GAAG,qBAAqB,CAAC;QACnD,IAAI,CAAC,iBAAiB,GAAG,iBAAiB,CAAC;QAC3C,IAAI,CAAC,oBAAoB,GAAG,oBAAoB,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QAErB,IAAI,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,CAAC;QAElD,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACpD,IAAI,CAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;QAC1C,IAAI,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;QAE5C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEjH,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACnD,CAAC;IAED,8FAA8F;IAC9F,mBAAmB,CAAC,GAAQ;QAC3B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IAC9C,CAAC;IAEO,qBAAqB,CAAC,qBAAkD;QAC/E,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAClD,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,qBAAqB,CAAC,MAAM,CACxD,CAAC;QAEF,IAAI,eAAe,EAAE,CAAC;YACrB,YAAY,CAAC,kCAAkC,IAAI,CAAC,IAAI,IAAI,WAAW,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnG,CAAC;IACF,CAAC;IAEO,uBAAuB;QAC9B,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,8BAA8B,EAAE,CAAC;QAC9C,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,CAAC,iCAAiC,EAAE,CAAC;QACjD,CAAC;IACF,CAAC;IAEO,8BAA8B;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC;QACrC,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE7C,+BAA+B;QAC/B,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChG,MAAM,eAAe,GAAG,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAEvF,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAoB,EAAE;YACjD,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC5C,OAAO,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,CAAC,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAU,EAAE;YACxE,OAAO,eAAe,CAAC,CAAa,EAAE,CAAa,CAAC,GAAG,cAAc,CAAC;QACvE,CAAC,CAAC;QAEF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAEO,iCAAiC;QACxC,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,CAAC;QAE1C,oDAAoD;QACpD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,aAAa,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACtF,OAAO,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QAEH,MAAM,UAAU,GAAG,CAAC,GAAQ,EAAoB,EAAE;YACjD,OAAO,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAChC,IAAI,CAAC,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;gBACtC,OAAO,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,WAAW,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAU,EAAE;YACxE,MAAM,IAAI,GAAG,CAAe,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAe,CAAC;YAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC1C,OAAO,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAClC,CAAC;gBAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAEpD,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;oBACtB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;gBAChD,CAAC;YACF,CAAC;YACD,OAAO,CAAC,CAAC;QACV,CAAC,CAAC;QAEF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IAEO,iBAAiB,CAAC,GAAQ,EAAE,WAAmB;QACtD,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAClD,YAAY,CAAC,uBAAuB,WAAW,oBAAoB,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvG,CAAC;IACF,CAAC;IAEO,WAAW,CAAC,mBAA+D;QAClF,OAAO,IAAI,KAAK,CACf,CAAC,KAAuB,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAC3C,IAAI,CAAC,WAAW,EAChB,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAC7B,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,YAAY,GAAG,IAAI,OAAO,EAAoB,CAAC;IAEvD;;;;;;;OAOG;IACK,WAAW,GAAG,IAAI,OAAO,EAA0C,CAAC;IAE5E,uFAAuF;IACvF,QAAQ,CAAC,QAA0B,EAAE,UAA8B;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACb,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1C,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;gBAC/C,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;gBACvC,OAAO;YACR,CAAC;YACD,sEAAsE;YACtE,6EAA6E;YAC7E,2EAA2E;YAC3E,4EAA4E;YAC5E,oEAAoE;YACpE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;YACvD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACjC,MAAM,OAAO,GAAqB;gBACjC,QAAQ,EAAE,aAAa,CAAC,QAAQ;gBAChC,WAAW;aACX,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACP,MAAM,QAAQ,GAAqB;gBAClC,QAAQ;gBACR,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;aACzC,CAAC;YACF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5B,CAAC;IACF,CAAC;IAED,oFAAoF;IACpF,WAAW,CAAC,QAA0B,EAAE,UAA8B;QACrE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,EAAE;YAAE,OAAO;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAEpC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,qDAAqD;YACrD,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChC,CAAC;YACD,OAAO;QACR,CAAC;QAED,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC7C,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,MAAM,OAAO,GAAqB,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;YACvF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnC,CAAC;IACF,CAAC;IAED;;;;;;;OAOG;IACH,oBAAoB,CAAC,KAAuB;QAC3C,IAAI,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;YACzE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED,yFAAyF;IACzF,cAAc,CAAC,QAA0B;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,CAAC;IAED;;;;OAIG;IACH,gBAAgB,CAAC,QAA0B;QAC1C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7D,CAAC;IAED,4CAA4C;IAC5C,IAAI,IAAI;QACP,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC7B,CAAC;IAED,sEAAsE;IACtE,KAAK;QACJ,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAChC,CAAC;IAED,yFAAyF;IACzF,SAAS;QACR,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;IACvB,CAAC;CACD"}