@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/schema/table.js

@@ -1,3 +1,4 @@
+import { normalizeCollationName } from '../util/comparison.js';
 import { MemoryTableModule } from '../vtab/memory/module.js';
 import { StatusCode } from '../common/types.js';
 import { quereusError, QuereusError } from '../common/errors.js';
@@ -6,6 +7,42 @@ import { inferType } from '../types/registry.js';
 import { traverseAst } from '../parser/visitor.js';
 const log = createLogger('schema:table');
 const warnLog = log.extend('warn');
+/**
+ * Returns the table's virtual-table module, throwing if absent. Logical tables
+ * (held only in lens slots, never registered or executed) carry no module, so
+ * `vtabModule` is optional on {@link TableSchema}; every physical/registered
+ * table has one. Use this at module-backed sites to narrow the optional with a
+ * clear internal-error diagnostic rather than a silent `undefined` deref.
+ */
+export function requireVtabModule(table) {
+    if (!table.vtabModule) {
+        quereusError(`Table '${table.schemaName}.${table.name}' has no virtual-table module (logical tables are not directly executable)`, StatusCode.INTERNAL);
+    }
+    return table.vtabModule;
+}
+/**
+ * Resolves a named table-level constraint to its class, searching in the fixed
+ * order check → unique → foreign key. Used by `ALTER TABLE … DROP/RENAME
+ * CONSTRAINT` and `… ALTER CONSTRAINT … SET TAGS` so a single name maps to
+ * exactly one constraint.
+ *
+ * @throws QuereusError(NOTFOUND) if no named constraint matches.
+ * @throws QuereusError(ERROR) if the name exists in more than one class (ambiguous).
+ */
+export function resolveNamedConstraintClass(tableSchema, constraintName) {
+    const lower = constraintName.toLowerCase();
+    const inCheck = (tableSchema.checkConstraints ?? []).some(c => c.name?.toLowerCase() === lower);
+    const inUnique = (tableSchema.uniqueConstraints ?? []).some(c => c.name?.toLowerCase() === lower);
+    const inFk = (tableSchema.foreignKeys ?? []).some(c => c.name?.toLowerCase() === lower);
+    const matchCount = [inCheck, inUnique, inFk].filter(Boolean).length;
+    if (matchCount === 0) {
+        throw new QuereusError(`Named constraint '${constraintName}' not found in table '${tableSchema.name}'`, StatusCode.NOTFOUND);
+    }
+    if (matchCount > 1) {
+        throw new QuereusError(`Constraint name '${constraintName}' is ambiguous in table '${tableSchema.name}' (present in more than one of CHECK / UNIQUE / FOREIGN KEY)`, StatusCode.ERROR);
+    }
+    return inCheck ? 'check' : inUnique ? 'unique' : 'foreignKey';
+}
 /**
  * Builds a map from column names to their indices in the columns array
  *
@@ -28,14 +65,73 @@ export function buildColumnIndexMap(columns) {
 export function getPrimaryKeyIndices(pkDef) {
     return Object.freeze(pkDef.map(def => def.index));
 }
+/**
+ * Validates a collation name against a logical type's `supportedCollations` and
+ * returns its canonical (normalized) form. Shared by CREATE TABLE column parsing
+ * (`columnDefToSchema`) and the runtime `ALTER COLUMN ... SET COLLATE` path so
+ * both reject an unsupported collation with the same error shape.
+ *
+ * @param collation Collation name as written
+ * @param logicalType The column's logical type (carries `supportedCollations`)
+ * @param columnName Column name, for the error message
+ * @returns The canonical collation name
+ * @throws QuereusError when the type constrains its collations and this one is not among them
+ */
+export function validateCollationForType(collation, logicalType, columnName) {
+    const normalized = normalizeCollationName(collation);
+    if (logicalType.supportedCollations && !logicalType.supportedCollations.includes(normalized)) {
+        throw new QuereusError(`Unknown collation '${collation}' for type '${logicalType.name}' on column '${columnName}' (expected one of: ${logicalType.supportedCollations.join(', ')})`, StatusCode.ERROR);
+    }
+    return normalized;
+}
+/**
+ * Effective collation for a column that carries NO explicit COLLATE clause, given
+ * the session `default_collation`. The default applies only when the column's
+ * logical type explicitly supports it; otherwise BINARY (so a non-text column under
+ * a non-BINARY default stays creatable / canonical).
+ *
+ * Used by {@link columnDefToSchema} (CREATE) AND the schema differ's
+ * `extractDeclaredCollation` (APPLY) so the two never drift — create/apply parity
+ * is what keeps `apply schema` idempotent under a non-BINARY default.
+ *
+ * The explicit `supportedCollations?.includes()` gate is deliberate and NOT the
+ * same as {@link validateCollationForType}'s throw: a type with
+ * `supportedCollations === undefined` (INTEGER/REAL/BLOB) is *accepted* by
+ * `validateCollationForType` for any collation, so routing the default through that
+ * path would silently give an INTEGER column a NOCASE collation. Gating on explicit
+ * support instead falls those types back to BINARY, as the design requires. TEXT
+ * supports BINARY/NOCASE/RTRIM; JSON/temporal carry an empty list ⇒ BINARY.
+ *
+ * Only the *implicit* default is gated this way; an *explicit* `COLLATE` clause
+ * keeps its existing (looser) {@link validateCollationForType} handling.
+ *
+ * **Cross-backend divergence (intentional).** This function resolves the
+ * *engine/memory* default only. The store module deliberately overrides an
+ * implicit-default text PK column to its table-level key collation K (NOCASE by
+ * default) via `reconcilePkCollations` (`quereus-store/store-module.ts`). So the
+ * same DDL `create table t (x text primary key)` yields BINARY under the memory
+ * module and NOCASE under the store. This is a deliberate backward-compatibility
+ * choice, not a bug — see `docs/schema.md` §"Per-column PK key collation".
+ */
+export function resolveDefaultCollation(logicalType, defaultCollation) {
+    const normalized = normalizeCollationName(defaultCollation);
+    if (normalized === 'BINARY')
+        return 'BINARY';
+    if (logicalType.supportedCollations?.includes(normalized))
+        return normalized;
+    return 'BINARY';
+}
 /**
  * Converts a parsed ColumnDef AST node into a runtime ColumnSchema object
  *
  * @param def Column definition AST node
  * @param defaultNotNull Whether columns should be NOT NULL by default (Third Manifesto approach)
+ * @param defaultCollation Session `default_collation` applied to columns with no explicit
+ *   `COLLATE` clause (resolved via {@link resolveDefaultCollation}). Defaults to `'BINARY'`
+ *   (no behavior change); the rehydrate path passes `'BINARY'` so persisted DDL stays canonical.
  * @returns A runtime ColumnSchema object
  */
-export function columnDefToSchema(def, defaultNotNull = true) {
+export function columnDefToSchema(def, defaultNotNull = true, defaultCollation = 'BINARY') {
     // Infer logical type from the declared type name
     const logicalType = inferType(def.dataType);
     const schema = {
@@ -45,7 +141,7 @@ export function columnDefToSchema(def, defaultNotNull = true) {
         primaryKey: false,
         pkOrder: 0,
         defaultValue: null,
-        collation: 'BINARY',
+        collation: resolveDefaultCollation(logicalType, defaultCollation),
         generated: false,
     };
     for (const constraint of def.constraints ?? []) {
@@ -75,11 +171,12 @@ export function columnDefToSchema(def, defaultNotNull = true) {
                 schema.defaultValue = constraint.expr ?? null;
                 break;
             case 'collate': {
-                schema.collation = constraint.collation ?? 'BINARY';
-                if (constraint.collation && logicalType.supportedCollations &&
-                    !logicalType.supportedCollations.includes(constraint.collation)) {
-                    throw new QuereusError(`Collation '${constraint.collation}' is not supported for type '${logicalType.name}' on column '${def.name}'`, StatusCode.ERROR);
-                }
+                schema.collation = constraint.collation
+                    ? validateCollationForType(constraint.collation, logicalType, def.name)
+                    : 'BINARY';
+                // Mark the collation as user-declared so modules can tell an explicit
+                // `COLLATE` clause apart from the implicit default (see ColumnSchema).
+                schema.collationExplicit = true;
                 break;
             }
             case 'generated':
@@ -120,6 +217,36 @@ export function mutationContextVarToSchema(varDef, defaultNotNull = true) {
         notNull: varDef.notNull !== undefined ? varDef.notNull : defaultNotNull,
     };
 }
+/**
+ * Returns a new TableSchema with `indexSchema` appended to its index list. When
+ * the index is UNIQUE, also synthesizes a matching `derivedFromIndex`
+ * uniqueConstraint (carrying the partial predicate) so the mutation manager and
+ * the store's full-scan UNIQUE check enforce uniqueness through their existing
+ * paths, and so `emitTableConstraints` knows to skip it (it round-trips via the
+ * index, not as a table constraint).
+ *
+ * **Single source of truth** for the index→schema mutation. The three sites that
+ * must agree all route through here so they cannot drift:
+ *   - {@link SchemaManager.createIndex} — live `CREATE INDEX` DDL.
+ *   - `SchemaManager.importIndex`        — catalog rehydrate (re-parsed DDL).
+ *   - `StoreModule.createIndex`          — store-backed connected-table cache refresh.
+ * The symmetric removal lives in `SchemaManager.dropIndex` / `StoreModule.dropIndex`,
+ * which filter the derived constraint back out by `derivedFromIndex`.
+ */
+export function appendIndexToTableSchema(tableSchema, indexSchema) {
+    const updatedIndexes = Object.freeze([...(tableSchema.indexes ?? []), indexSchema]);
+    const result = { ...tableSchema, indexes: updatedIndexes };
+    if (indexSchema.unique) {
+        const derivedConstraint = {
+            name: indexSchema.name,
+            columns: Object.freeze(indexSchema.columns.map(c => c.index)),
+            predicate: indexSchema.predicate,
+            derivedFromIndex: indexSchema.name,
+        };
+        result.uniqueConstraints = Object.freeze([...(tableSchema.uniqueConstraints ?? []), derivedConstraint]);
+    }
+    return result;
+}
 /**
  * Creates a basic TableSchema with minimal configuration
  *
@@ -157,7 +284,6 @@ export function createBasicSchema(name, columns, pkColNames, defaultNotNull = tr
         vtabAuxData: null,
         vtabArgs: {},
         vtabModuleName: 'memory',
-        isTemporary: false,
         isView: false,
         subqueryAST: undefined,
         viewDefinition: undefined,
@@ -198,6 +324,22 @@ export function opsToMask(list) {
     });
     return mask;
 }
+/**
+ * Converts an operation bitmask back to a `RowOp[]` in canonical insert→update→
+ * delete order. Inverse of {@link opsToMask}. Used by the declarative differ's
+ * constraint-body canonicalization (a stored CHECK keeps its operations as a
+ * mask; comparing against a declared AST requires the array form).
+ */
+export function maskToOps(mask) {
+    const ops = [];
+    if (mask & RowOpFlag.INSERT)
+        ops.push('insert');
+    if (mask & RowOpFlag.UPDATE)
+        ops.push('update');
+    if (mask & RowOpFlag.DELETE)
+        ops.push('delete');
+    return ops;
+}
 /**
  * Resolves referenced column indices in the parent table from a FK schema.
  * Uses stored column names or falls back to the parent's primary key.
@@ -221,10 +363,14 @@ export function resolveReferencedColumns(fk, parentSchema) {
  * @param columns Parsed column definitions from AST.
  * @param constraints Parsed table constraints from AST.
  * @returns The primary-key column list plus any table-level
- * `PRIMARY KEY (...) ON CONFLICT <action>` directive. `defaultConflict` is
- * undefined when the PK was column-declared (column-level `ON CONFLICT`
- * lives on `ColumnSchema.defaultConflict`) or when no `ON CONFLICT` was
- * declared on the table-level constraint.
+ * `PRIMARY KEY (...) ON CONFLICT <action>` directive, and a `synthesized` flag.
+ * `defaultConflict` is undefined when the PK was column-declared (column-level
+ * `ON CONFLICT` lives on `ColumnSchema.defaultConflict`) or when no `ON CONFLICT`
+ * was declared on the table-level constraint. `synthesized` is `true` only on the
+ * no-PK all-columns fallback below (`false` for any explicitly-declared PK,
+ * including the empty-key `primary key ()` singleton). Callers must NOT promote a
+ * synthesized key's columns to NOT NULL — the whole row is the identity, but each
+ * column keeps its declared (or session-default) nullability.
  * @throws QuereusError if multiple primary keys are defined or PK column not found.
  */
 export function findPKDefinition(columns, constraints) {
@@ -233,24 +379,161 @@ export function findPKDefinition(columns, constraints) {
     if (constraintPK && columnPK) {
         throw new QuereusError("Cannot define both table-level and column-level PRIMARY KEYs", StatusCode.CONSTRAINT);
     }
-    let finalPkDef = constraintPK?.pkDef ?? columnPK;
-    if (!finalPkDef) {
-        // Quereus-specific behavior: Include all columns in the primary key when no explicit primary key is defined
-        // This differs from SQLite which would use the first INTEGER column or an implicit rowid
-        // This design choice ensures predictable behavior and avoids potential confusion with SQLite's implicit rules
-        warnLog(`No PRIMARY KEY explicitly defined. Including all columns in primary key.`);
-        finalPkDef = Object.freeze(columns.map((col, index) => ({
-            index,
-            desc: false,
-            collation: col.collation || 'BINARY'
-        })));
+    const declaredPkDef = constraintPK?.pkDef ?? columnPK;
+    if (declaredPkDef) {
+        return {
+            pkDef: declaredPkDef,
+            defaultConflict: constraintPK?.defaultConflict,
+            synthesized: false,
+        };
     }
-    // Don't require NOT NULL, we want to be more flexible
+    // Quereus-specific behavior: Include all columns in the primary key when no explicit primary key is defined
+    // This differs from SQLite which would use the first INTEGER column or an implicit rowid
+    // This design choice ensures predictable behavior and avoids potential confusion with SQLite's implicit rules
+    warnLog(`No PRIMARY KEY explicitly defined. Including all columns in primary key.`);
+    const synthesizedPkDef = Object.freeze(columns.map((col, index) => ({
+        index,
+        desc: false,
+        collation: col.collation || 'BINARY'
+    })));
+    // A synthesized all-columns key does NOT force NOT NULL on its members — each
+    // column keeps the nullability the author declared (or the session default).
+    // NULL-in-key is supported by both backends (memory: NULL == NULL sorts first;
+    // store: TYPE_NULL=0x00), so the whole-row identity stays valid with nullable
+    // members. Only an explicitly-declared PK promotes nullability (see
+    // `buildColumnSchemas` and `columnDefToSchema`).
     return {
-        pkDef: finalPkDef,
-        defaultConflict: constraintPK?.defaultConflict,
+        pkDef: synthesizedPkDef,
+        defaultConflict: undefined,
+        synthesized: true,
     };
 }
+/**
+ * True when a table's primary key is the **synthesized all-columns key** — the
+ * no-PK fallback produced by {@link findPKDefinition}: every column index in
+ * declaration order, ascending, with no declared PK conflict action.
+ *
+ * Canonical-DDL emitters ({@link generateTableDDL}) use this to OMIT the PRIMARY
+ * KEY clause for such a key. Re-parsing DDL that names an all-columns PK would
+ * treat it as an *explicitly-declared* PK and force its columns NOT NULL —
+ * silently dropping a nullable declaration on a store persistence round-trip
+ * (the very promotion {@link findPKDefinition} deliberately avoids for a
+ * synthesized key). Omitting the clause lets the re-parse re-synthesize the same
+ * key while preserving each column's declared nullability.
+ *
+ * Detection is by shape rather than a stored flag so it holds regardless of how
+ * the schema was constructed (CREATE, store rehydrate, module rebuild). An
+ * explicitly-declared all-columns PK has the identical shape and re-synthesizes
+ * to an identical schema (a declared PK has already forced its columns NOT NULL),
+ * so treating the two alike is sound. The conflict-action guard keeps an explicit
+ * `primary key (...) on conflict X` on its own declared emission path.
+ */
+export function isSynthesizedAllColumnsKey(tableSchema) {
+    const pk = tableSchema.primaryKeyDefinition;
+    const n = tableSchema.columns.length;
+    if (n === 0 || pk.length !== n)
+        return false;
+    if (tableSchema.primaryKeyDefaultConflict !== undefined)
+        return false;
+    return pk.every((def, i) => def.index === i && !def.desc);
+}
+/**
+ * Resolves the per-constraint default conflict action for PK conflicts, per the
+ * precedence documented on {@link TableSchema.primaryKeyDefaultConflict}:
+ * table-level `PRIMARY KEY (...) ON CONFLICT <action>` first, else the
+ * column-level `defaultConflict` on **any** PK column (set by a column-level
+ * `primary key` / `not null` / `null` `ON CONFLICT` clause). Returns undefined
+ * when no action is declared (⇒ the statement-level OR, else ABORT, applies).
+ *
+ * The single in-package source for this rule (used by the memory-layer runtime
+ * resolver and the lens prover's deploy-time soundness check, so the two agree
+ * on what a duplicate would resolve to). The separate `quereus-isolation` and
+ * `quereus-store` packages carry structurally identical copies for their own
+ * boundaries; consolidating those across packages is tracked separately.
+ */
+export function resolvePkDefaultConflict(schema) {
+    if (schema.primaryKeyDefaultConflict !== undefined)
+        return schema.primaryKeyDefaultConflict;
+    for (const def of schema.primaryKeyDefinition) {
+        const col = schema.columns[def.index];
+        if (col?.defaultConflict !== undefined)
+            return col.defaultConflict;
+    }
+    return undefined;
+}
+/**
+ * The declared whole-table key whose column set (as a set) exactly equals
+ * `indices` — the PRIMARY KEY or a non-partial UNIQUE constraint on `table` — or
+ * `undefined`. Exact set-equality mirrors how `on conflict (cols)` resolves a
+ * constraint by its column set; a partial UNIQUE (`predicate !== undefined`,
+ * synthesized from `CREATE UNIQUE INDEX … WHERE …`) only guarantees uniqueness
+ * within its scope and cannot back an unqualified conflict target, so it is
+ * skipped.
+ *
+ * The single in-package source for "do these columns form a declared whole-table
+ * key": the lens decomposition compiler's 1:1-stitch guard
+ * (`lens-compiler.ts validatePrimaryAdvertisement`, via {@link columnsFormDeclaredKey})
+ * and the prover's bijection-transport key proof
+ * (`lens-prover.ts proveKeyByBijectionTransport`, which reads the matched key)
+ * both consume it, so the two agree on what counts as a basis key.
+ */
+export function findDeclaredKey(table, indices) {
+    const want = new Set(indices);
+    const eq = (cols) => cols.length === want.size && cols.every(c => want.has(c));
+    const pk = table.primaryKeyDefinition.map(p => p.index);
+    if (pk.length > 0 && eq(pk))
+        return { kind: 'primaryKey' };
+    for (const uc of table.uniqueConstraints ?? []) {
+        if (uc.predicate !== undefined)
+            continue; // partial UNIQUE is not a whole-table key
+        if (eq(uc.columns))
+            return { kind: 'unique', constraint: uc };
+    }
+    return undefined;
+}
+/** True when `indices` exactly forms a declared whole-table key — the boolean-only
+ *  wrapper over {@link findDeclaredKey} (the caller does not need which key matched). */
+export function columnsFormDeclaredKey(table, indices) {
+    return findDeclaredKey(table, indices) !== undefined;
+}
+/**
+ * Every declared whole-table key on `table` whose column set is a **subset** of
+ * `indices` — the PRIMARY KEY and each non-partial UNIQUE constraint that `indices`
+ * subsumes. The subset (`⊆`) sibling of {@link findDeclaredKey}'s exact (`=`) match,
+ * returning *all* matches rather than the one exact key.
+ *
+ * Where exact-match answers "is this key `proved` **via transport**" — an authored
+ * bijection onto an *exact* basis key (a strict superset does not *prove* the smaller
+ * key's uniqueness, so exact-match is correct there) — subset answers a different
+ * question: "which declared basis keys **govern** a write-through duplicate of this
+ * key?" A logical key whose mapped basis columns ⊇ a basis key K is, for any two rows
+ * equal on the full logical key, also equal on K — so K fires on *every* logical-key
+ * duplicate. Governance therefore needs subset, not equality: a logical key that is a
+ * strict superkey of a smaller basis key is governed by that smaller basis key even
+ * though no basis key set-equals the logical key's columns.
+ *
+ * Consumed by the prover's proved-key conflict-action check
+ * (`lens-prover.ts rejectBasisGovernedConflictActionForProvedKey`): the basis key whose
+ * `defaultConflict` a duplicate actually resolves to must be identified by subset, so a
+ * superkey of a smaller basis key (which exact-match misses) is still covered. Partial
+ * UNIQUE constraints are skipped for the same reason as in {@link findDeclaredKey} — they
+ * only guarantee uniqueness within their scope, so they do not unconditionally govern.
+ */
+export function findGoverningBasisKeys(table, indices) {
+    const want = new Set(indices);
+    const subset = (cols) => cols.length > 0 && cols.every(c => want.has(c));
+    const matches = [];
+    const pk = table.primaryKeyDefinition.map(p => p.index);
+    if (subset(pk))
+        matches.push({ kind: 'primaryKey' });
+    for (const uc of table.uniqueConstraints ?? []) {
+        if (uc.predicate !== undefined)
+            continue; // partial UNIQUE only governs within its scope
+        if (subset(uc.columns))
+            matches.push({ kind: 'unique', constraint: uc });
+    }
+    return matches;
+}
 function findConstraintPKDefinition(columns, constraints) {
     const colMap = buildColumnIndexMap(columns);
     let result;

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

@@ -1 +1 @@
-{"version":3,"file":"table.js","sourceRoot":"","sources":["../../../src/schema/table.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAI7D,OAAO,EAAS,UAAU,EAAiB,MAAM,oBAAoB,CAAC;AAEtE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGnD,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;AACzC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAwEnC;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAoC;IACvE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgD;IACpF,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAc,EAAE,iBAA0B,IAAI;IAC/E,iDAAiD;IACjD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAiB;QAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,WAAW,EAAE,WAAW;QACxB,OAAO,EAAE,cAAc;QACvB,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,CAAC;QACV,YAAY,EAAE,IAAI;QAClB,SAAS,EAAE,QAAQ;QACnB,SAAS,EAAE,KAAK;KAChB,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACzB,KAAK,YAAY;gBAChB,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC;gBACzB,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC;gBAC1C,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,SAAS;gBACb,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;gBACtB,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,MAAM;gBACV,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;gBACvB,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,QAAQ;gBACZ,MAAM;YACP,KAAK,SAAS;gBACb,MAAM,CAAC,YAAY,GAAG,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC;gBAC9C,MAAM;YACP,KAAK,SAAS,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,QAAQ,CAAC;gBACpD,IAAI,UAAU,CAAC,SAAS,IAAI,WAAW,CAAC,mBAAmB;oBAC1D,CAAC,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;oBAClE,MAAM,IAAI,YAAY,CACrB,cAAc,UAAU,CAAC,SAAS,gCAAgC,WAAW,CAAC,IAAI,gBAAgB,GAAG,CAAC,IAAI,GAAG,EAC7G,UAAU,CAAC,KAAK,CAChB,CAAC;gBACH,CAAC;gBACD,MAAM;YACP,CAAC;YACD,KAAK,WAAW;gBACf,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;gBACxB,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;oBAC1B,MAAM,CAAC,aAAa,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjD,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;gBACtD,CAAC;gBACD,MAAM;QACR,CAAC;IACF,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,YAAY,CACrB,WAAW,GAAG,CAAC,IAAI,oDAAoD,EACvE,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;IACpB,CAAC;IAED,2BAA2B;IAC3B,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC;AAcD;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAA8B,EAAE,iBAA0B,IAAI;IACxG,OAAO;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;KACvE,CAAC;AACH,CAAC;AAgCD;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,OAAyC,EAAE,UAAqB,EAAE,iBAA0B,IAAI;IAC/I,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC;QACxD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,IAAI;QAChB,WAAW,EAAE,EAAE;KACf,EAAE,cAAc,CAAC,CAAC,CAAC;IACpB,MAAM,cAAc,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,UAAU;QACvB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YACzB,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YACrD,IAAI,GAAG,KAAK,SAAS;gBAAE,YAAY,CAAC,aAAa,MAAM,YAAY,CAAC,CAAC;YACrE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC,CAAC;QACF,CAAC,CAAC,EAAE,CAAC;IAEN,MAAM,mBAAmB,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,MAAM;QAClB,OAAO,EAAE,aAAa;QACtB,cAAc,EAAE,cAAc;QAC9B,oBAAoB,EAAE,KAAK;QAC3B,gBAAgB,EAAE,EAA2B;QAC7C,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,mBAAmB;QAC/B,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,EAAE;QACZ,cAAc,EAAE,QAAQ;QACxB,WAAW,EAAE,KAAK;QAClB,MAAM,EAAE,KAAK;QACb,WAAW,EAAE,SAAS;QACtB,cAAc,EAAE,SAAS;QACzB,gBAAgB,EAAE,EAAE;KACpB,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,MAAM,CAAN,IAAkB,SAIjB;AAJD,WAAkB,SAAS;IAC1B,6CAAU,CAAA;IACV,6CAAU,CAAA;IACV,6CAAU,CAAA;AACX,CAAC,EAJiB,SAAS,KAAT,SAAS,QAI1B;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAc;IACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,kBAAkB,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI,GAAc,CAAc,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QACjB,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;YAC/C,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;YAC/C,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;QAChD,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACb,CAAC;AA6DD;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACvC,EAA8B,EAC9B,YAAyB;IAEzB,MAAM,WAAW,GAAG,EAAE,CAAC,qBAAqB,CAAC;IAE7C,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAChE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,IAAI,YAAY,CACrB,sBAAsB,IAAI,yBAAyB,YAAY,CAAC,IAAI,GAAG,EACvE,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,OAAO,YAAY,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAmCD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAC/B,OAAoC,EACpC,WAA2D;IAK3D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,0BAA0B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAEtE,IAAI,YAAY,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,YAAY,CAAC,8DAA8D,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/G,CAAC;IAED,IAAI,UAAU,GACb,YAAY,EAAE,KAAK,IAAI,QAAQ,CAAC;IAEjC,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,4GAA4G;QAC5G,yFAAyF;QACzF,8GAA8G;QAC9G,OAAO,CAAC,0EAA0E,CAAC,CAAC;QACpF,UAAU,GAAG,MAAM,CAAC,MAAM,CACzB,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAC5B,KAAK;YACL,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,QAAQ;SACpC,CAAC,CAAC,CACH,CAAC;IACH,CAAC;IAED,sDAAsD;IAEtD,OAAO;QACN,KAAK,EAAE,UAAU;QACjB,eAAe,EAAE,YAAY,EAAE,eAAe;KAC9C,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAClC,OAAgC,EAChC,WAAmD;IAKnD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAGS,CAAC;IAEd,IAAI,WAAW,EAAE,CAAC;QACjB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACtC,IAAI,MAAM,EAAE,CAAC;oBACZ,MAAM,IAAI,YAAY,CAAC,sDAAsD,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;gBACvG,CAAC;gBACD,IAAI,KAAmC,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5D,8DAA8D;oBAC9D,KAAK,GAAG,EAAE,CAAC;gBACZ,CAAC;qBAAM,CAAC;oBACP,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;wBACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;wBACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BAC5B,MAAM,IAAI,YAAY,CAAC,uBAAuB,OAAO,CAAC,IAAI,iCAAiC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;wBAChH,CAAC;wBACD,OAAO;4BACN,KAAK,EAAE,QAAQ;4BACf,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,MAAM;4BAClC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,QAAQ;yBAClD,CAAC;oBACH,CAAC,CAAC,CAAC;gBACJ,CAAC;gBACD,MAAM,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;YAC5D,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAoC;IACnE,MAAM,MAAM,GAAG,OAAO;SACpB,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;SACvD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;SAC7B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IAExC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,6HAA6H,CAAC,CAAC;IACxI,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,mFAAmF,CAAC,CAAC;IAC9F,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,EAAE,GAAG,CAAC,aAAa;QACxB,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,MAAM;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,QAAQ;KACpC,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAwB;IAChE,MAAM,OAAO,GAAG,kCAAkC,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,GAAG,WAAW;YACd,2BAA2B,EAAE,SAAS;YACtC,wBAAwB,EAAE,SAAS;SACnC,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC5D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,WAAW;QACd,2BAA2B,EAAE,UAAU;QACvC,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;KAClD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kCAAkC,CACjD,OAAoC,EACpC,SAAiB;IAEjB,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;QAC/B,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,aAAa;YAAE,OAAO;QAEjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAC,aAA4B,EAAE;YAC7C,SAAS,EAAE,CAAC,IAAiB,EAAE,EAAE;gBAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;oBACnC,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,cAAc;wBAAE,OAAO;oBACpE,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC1B,MAAM,IAAI,YAAY,CACrB,WAAW,GAAG,CAAC,IAAI,qCAAqC,GAAG,CAAC,IAAI,yBAAyB,SAAS,GAAG,EACrG,UAAU,CAAC,KAAK,CAChB,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAClB,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,IAA0B,CAAC;oBACvC,IAAI,GAAG,CAAC,MAAM;wBAAE,OAAO;oBACvB,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC1D,IAAI,MAAM,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC5C,CAAC;YACF,CAAC;SACD,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACvC,OAAoC,EACpC,IAAgD;IAEhD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE;QAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEnD,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACtC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACF,CAAC;IAED,mBAAmB;IACnB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,oDAAoD;IAEjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC;YACvC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClB,4DAA4D;gBAC5D,IAAI,QAAQ,GAAG,KAAK,CAAC;gBACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC;wBACrB,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;wBACzB,QAAQ,GAAG,IAAI,CAAC;wBAChB,MAAM;oBACP,CAAC;gBACF,CAAC;gBACD,IAAI,CAAC,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;aACtC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;aAChC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,IAAI,YAAY,CACrB,2CAA2C,SAAS,EAAE,EACtD,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC"}
+{"version":3,"file":"table.js","sourceRoot":"","sources":["../../../src/schema/table.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAI7D,OAAO,EAAS,UAAU,EAAiB,MAAM,oBAAoB,CAAC;AAEtE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEjD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAGnD,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;AACzC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AA0FnC;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IACnD,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACvB,YAAY,CACX,UAAU,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,4EAA4E,EACpH,UAAU,CAAC,QAAQ,CACnB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC;AACzB,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,UAAU,2BAA2B,CAAC,WAAwB,EAAE,cAAsB;IAC3F,MAAM,KAAK,GAAG,cAAc,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAChG,MAAM,QAAQ,GAAG,CAAC,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACpE,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,YAAY,CAAC,qBAAqB,cAAc,yBAAyB,WAAW,CAAC,IAAI,GAAG,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC9H,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,YAAY,CACrB,oBAAoB,cAAc,4BAA4B,WAAW,CAAC,IAAI,8DAA8D,EAC5I,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAoC;IACvE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;QAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAgD;IACpF,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,wBAAwB,CACvC,SAAiB,EACjB,WAAwB,EACxB,UAAkB;IAElB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,WAAW,CAAC,mBAAmB,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9F,MAAM,IAAI,YAAY,CACrB,sBAAsB,SAAS,eAAe,WAAW,CAAC,IAAI,gBAAgB,UAAU,uBAAuB,WAAW,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAC5J,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAwB,EAAE,gBAAwB;IACzF,MAAM,UAAU,GAAG,sBAAsB,CAAC,gBAAgB,CAAC,CAAC;IAC5D,IAAI,UAAU,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7C,IAAI,WAAW,CAAC,mBAAmB,EAAE,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAC7E,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAc,EAAE,iBAA0B,IAAI,EAAE,mBAA2B,QAAQ;IACpH,iDAAiD;IACjD,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE5C,MAAM,MAAM,GAAiB;QAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,WAAW,EAAE,WAAW;QACxB,OAAO,EAAE,cAAc;QACvB,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,CAAC;QACV,YAAY,EAAE,IAAI;QAClB,SAAS,EAAE,uBAAuB,CAAC,WAAW,EAAE,gBAAgB,CAAC;QACjE,SAAS,EAAE,KAAK;KAChB,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACzB,KAAK,YAAY;gBAChB,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC;gBACzB,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,SAAS,CAAC;gBAC1C,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,SAAS;gBACb,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;gBACtB,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,MAAM;gBACV,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;gBACvB,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACzC,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,UAAU,CAAC;gBAChD,CAAC;gBACD,MAAM;YACP,KAAK,QAAQ;gBACZ,MAAM;YACP,KAAK,SAAS;gBACb,MAAM,CAAC,YAAY,GAAG,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC;gBAC9C,MAAM;YACP,KAAK,SAAS,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS;oBACtC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC;oBACvE,CAAC,CAAC,QAAQ,CAAC;gBACZ,sEAAsE;gBACtE,uEAAuE;gBACvE,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC;gBAChC,MAAM;YACP,CAAC;YACD,KAAK,WAAW;gBACf,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;gBACxB,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;oBAC1B,MAAM,CAAC,aAAa,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjD,MAAM,CAAC,eAAe,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC;gBACtD,CAAC;gBACD,MAAM;QACR,CAAC;IACF,CAAC;IAED,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACtD,MAAM,IAAI,YAAY,CACrB,WAAW,GAAG,CAAC,IAAI,oDAAoD,EACvE,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACvB,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;IACpB,CAAC;IAED,2BAA2B;IAC3B,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,MAAM,CAAC;AACf,CAAC;AAcD;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,MAA8B,EAAE,iBAA0B,IAAI;IACxG,OAAO;QACN,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;QACvC,OAAO,EAAE,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;KACvE,CAAC;AACH,CAAC;AAgCD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAwB,EAAE,WAAwB;IAC1F,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IACpF,MAAM,MAAM,GAAgB,EAAE,GAAG,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IACxE,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,iBAAiB,GAA2B;YACjD,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7D,SAAS,EAAE,WAAW,CAAC,SAAS;YAChC,gBAAgB,EAAE,WAAW,CAAC,IAAI;SAClC,CAAC;QACF,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,OAAyC,EAAE,UAAqB,EAAE,iBAA0B,IAAI;IAC/I,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC;QACxD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,IAAI;QAChB,WAAW,EAAE,EAAE;KACf,EAAE,cAAc,CAAC,CAAC,CAAC;IACpB,MAAM,cAAc,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,UAAU;QACvB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YACzB,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YACrD,IAAI,GAAG,KAAK,SAAS;gBAAE,YAAY,CAAC,aAAa,MAAM,YAAY,CAAC,CAAC;YACrE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC,CAAC;QACF,CAAC,CAAC,EAAE,CAAC;IAEN,MAAM,mBAAmB,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAEpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,IAAI;QACV,UAAU,EAAE,MAAM;QAClB,OAAO,EAAE,aAAa;QACtB,cAAc,EAAE,cAAc;QAC9B,oBAAoB,EAAE,KAAK;QAC3B,gBAAgB,EAAE,EAA2B;QAC7C,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,mBAAmB;QAC/B,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,EAAE;QACZ,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,KAAK;QACb,WAAW,EAAE,SAAS;QACtB,cAAc,EAAE,SAAS;QACzB,gBAAgB,EAAE,EAAE;KACpB,CAAC,CAAC;AACJ,CAAC;AAED,iCAAiC;AACjC,MAAM,CAAN,IAAkB,SAIjB;AAJD,WAAkB,SAAS;IAC1B,6CAAU,CAAA;IACV,6CAAU,CAAA;IACV,6CAAU,CAAA;AACX,CAAC,EAJiB,SAAS,KAAT,SAAS,QAI1B;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAc;IACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,kBAAkB,CAAC;IAC3B,CAAC;IACD,IAAI,IAAI,GAAc,CAAc,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QACjB,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;YAC/C,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;YAC/C,KAAK,QAAQ;gBAAE,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC;gBAAC,MAAM;QAChD,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,IAAe;IACxC,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,IAAI,IAAI,GAAG,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,IAAI,GAAG,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,IAAI,GAAG,SAAS,CAAC,MAAM;QAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC;AACZ,CAAC;AA0ED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACvC,EAA8B,EAC9B,YAAyB;IAEzB,MAAM,WAAW,GAAG,EAAE,CAAC,qBAAqB,CAAC;IAE7C,IAAI,WAAW,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAChE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,IAAI,YAAY,CACrB,sBAAsB,IAAI,yBAAyB,YAAY,CAAC,IAAI,GAAG,EACvE,UAAU,CAAC,KAAK,CAChB,CAAC;YACH,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,iCAAiC;IACjC,OAAO,YAAY,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AA4DD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAC/B,OAAoC,EACpC,WAA2D;IAM3D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,0BAA0B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAEtE,IAAI,YAAY,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,YAAY,CAAC,8DAA8D,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,aAAa,GAClB,YAAY,EAAE,KAAK,IAAI,QAAQ,CAAC;IAEjC,IAAI,aAAa,EAAE,CAAC;QACnB,OAAO;YACN,KAAK,EAAE,aAAa;YACpB,eAAe,EAAE,YAAY,EAAE,eAAe;YAC9C,WAAW,EAAE,KAAK;SAClB,CAAC;IACH,CAAC;IAED,4GAA4G;IAC5G,yFAAyF;IACzF,8GAA8G;IAC9G,OAAO,CAAC,0EAA0E,CAAC,CAAC;IACpF,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CACrC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5B,KAAK;QACL,IAAI,EAAE,KAAK;QACX,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,QAAQ;KACpC,CAAC,CAAC,CACH,CAAC;IAEF,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,8EAA8E;IAC9E,oEAAoE;IACpE,iDAAiD;IACjD,OAAO;QACN,KAAK,EAAE,gBAAgB;QACvB,eAAe,EAAE,SAAS;QAC1B,WAAW,EAAE,IAAI;KACjB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,0BAA0B,CAAC,WAAwB;IAClE,MAAM,EAAE,GAAG,WAAW,CAAC,oBAAoB,CAAC;IAC5C,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,WAAW,CAAC,yBAAyB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAmB;IAC3D,IAAI,MAAM,CAAC,yBAAyB,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,yBAAyB,CAAC;IAC5F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,oBAAoB,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,GAAG,EAAE,eAAe,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,eAAe,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAcD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,KAAkB,EAAE,OAA0B;IAC7E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,CAAC,IAAuB,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,EAAE,GAAG,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC3D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS,CAAC,0CAA0C;QACpF,IAAI,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;yFACyF;AACzF,MAAM,UAAU,sBAAsB,CAAC,KAAkB,EAAE,OAA0B;IACpF,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkB,EAAE,OAA0B;IACpF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,IAAuB,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,EAAE,GAAG,KAAK,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IACrD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS,CAAC,+CAA+C;QACzF,IAAI,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,0BAA0B,CAClC,OAAgC,EAChC,WAAmD;IAKnD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,MAGS,CAAC;IAEd,IAAI,WAAW,EAAE,CAAC;QACjB,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACtC,IAAI,MAAM,EAAE,CAAC;oBACZ,MAAM,IAAI,YAAY,CAAC,sDAAsD,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;gBACvG,CAAC;gBACD,IAAI,KAAmC,CAAC;gBACxC,IAAI,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5D,8DAA8D;oBAC9D,KAAK,GAAG,EAAE,CAAC;gBACZ,CAAC;qBAAM,CAAC;oBACP,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;wBACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;wBACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;4BAC5B,MAAM,IAAI,YAAY,CAAC,uBAAuB,OAAO,CAAC,IAAI,iCAAiC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;wBAChH,CAAC;wBACD,OAAO;4BACN,KAAK,EAAE,QAAQ;4BACf,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,MAAM;4BAClC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,QAAQ;yBAClD,CAAC;oBACH,CAAC,CAAC,CAAC;gBACJ,CAAC;gBACD,MAAM,GAAG,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;YAC5D,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAoC;IACnE,MAAM,MAAM,GAAG,OAAO;SACpB,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC;SACvD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;SAC7B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IAExC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,6HAA6H,CAAC,CAAC;IACxI,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,mFAAmF,CAAC,CAAC;IAC9F,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,KAAK,EAAE,GAAG,CAAC,aAAa;QACxB,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,MAAM;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS,IAAI,QAAQ;KACpC,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAwB;IAChE,MAAM,OAAO,GAAG,kCAAkC,CAAC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,GAAG,WAAW;YACd,2BAA2B,EAAE,SAAS;YACtC,wBAAwB,EAAE,SAAS;SACnC,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,wBAAwB,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC5D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,GAAG,WAAW;QACd,2BAA2B,EAAE,UAAU;QACvC,wBAAwB,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;KAClD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kCAAkC,CACjD,OAAoC,EACpC,SAAiB;IAEjB,MAAM,cAAc,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;QAC/B,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,aAAa;YAAE,OAAO;QAEjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,WAAW,CAAC,GAAG,CAAC,aAA4B,EAAE;YAC7C,SAAS,EAAE,CAAC,IAAiB,EAAE,EAAE;gBAChC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;oBACnC,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,cAAc;wBAAE,OAAO;oBACpE,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBAC1B,MAAM,IAAI,YAAY,CACrB,WAAW,GAAG,CAAC,IAAI,qCAAqC,GAAG,CAAC,IAAI,yBAAyB,SAAS,GAAG,EACrG,UAAU,CAAC,KAAK,CAChB,CAAC;oBACH,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAClB,CAAC;qBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,IAA0B,CAAC;oBACvC,IAAI,GAAG,CAAC,MAAM;wBAAE,OAAO;oBACvB,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC1D,IAAI,MAAM,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC5C,CAAC;YACF,CAAC;SACD,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACvC,OAAoC,EACpC,IAAgD;IAEhD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE;QAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEnD,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACtC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,CAAC;IACF,CAAC;IAED,mBAAmB;IACnB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,oDAAoD;IAEjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC;YACvC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClB,4DAA4D;gBAC5D,IAAI,QAAQ,GAAG,KAAK,CAAC;gBACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC;wBACrB,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;wBACzB,QAAQ,GAAG,IAAI,CAAC;wBAChB,MAAM;oBACP,CAAC;gBACF,CAAC;gBACD,IAAI,CAAC,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;aACtC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;aAChC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,IAAI,YAAY,CACrB,2CAA2C,SAAS,EAAE,EACtD,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACd,CAAC"}

package/dist/src/schema/unique-enforcement.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Shared UNIQUE-enforcement collation helpers. {@link uniqueEnforcementCollations}
+ * is the single source of truth across packages — it is re-exported from the
+ * package index (`@quereus/quereus`) and imported directly by the store and
+ * isolation re-validators (`quereus-store/store-table.ts`,
+ * `quereus-isolation/isolated-table.ts`), so cross-package drift is eliminated by
+ * construction rather than by a test.
+ *
+ * Two facts about a UNIQUE constraint that both the row-time covering-MV
+ * eligibility gate and memory's covering-MV re-validation need:
+ *
+ *  - {@link uniqueEnforcementCollations} — the comparison collation per
+ *    constrained column. For an index-derived constraint
+ *    (`CREATE UNIQUE INDEX … (col COLLATE x)`) it is the index's per-column
+ *    COLLATE (resolved BY NAME via `uc.derivedFromIndex`); otherwise the declared
+ *    column collation. Positional alignment `uc.columns[i]` ↔ `index.columns[i]`
+ *    is guaranteed by `appendIndexToTableSchema`.
+ *
+ *    Memory's `checkUniqueViaIndex` (manager.ts) is the one resolver that does NOT
+ *    import this helper: it reads the collation from the *live* `MemoryIndex`
+ *    handle that `findIndexForConstraint` returns. That resolver now looks an
+ *    index-derived UC up BY NAME via `uc.derivedFromIndex` (the same key this
+ *    helper uses), falling back to a column-set scan only for non-derived UCs, so
+ *    the two paths agree per column even when several UNIQUE indexes cover the
+ *    SAME column-set with differing collations — each UC resolves to its OWN
+ *    index. This `(schema, uc)` signature still has no live `MemoryIndex` handle,
+ *    so memory keeps the live-handle read rather than sharing the import; the
+ *    agreement is conformance-locked by `test/unique-enforcement-collation.spec.ts`.
+ *
+ *  - {@link coveringMvHonorsIndexCollation} — whether a row-time covering MV may
+ *    soundly answer this constraint. A covering MV generates its candidate set by
+ *    re-comparing each backing row under the SOURCE column's DECLARED collation
+ *    `D`, while the re-validators filter under the index per-column collation `I`.
+ *    The candidate set is therefore a sound *superset* of the `I`-matches — safe
+ *    to filter down — iff, per column, `D ⊒ I` (every `I`-equal pair is also
+ *    `D`-equal). Two name-only tests prove `D ⊒ I` without a collation lattice
+ *    (collations are opaque comparators):
+ *      - `I` normalizes to BINARY — BINARY equality is byte-identity, and every
+ *        comparator returns 0 for byte-identical inputs (reflexivity), so
+ *        byte-identical ⊆ `D`-equal for any `D` (the finer-index case).
+ *      - `D == I` (normalized names equal) — trivially `D`-equal == `I`-equal
+ *        (the common case, incl. every non-derived UNIQUE where `I` falls back
+ *        to `D`).
+ *    Otherwise (`I` non-BINARY and ≠ `D`) the candidate set may be a *subset* and
+ *    the MV must not be used as a covering structure — the per-scan / auto-index
+ *    path (already index-collation-correct) enforces instead. This under-claims
+ *    safely: an exotic custom pair where `D ⊒ I` holds semantically but neither
+ *    test fires is declined (perf-only loss in an already-exotic shape).
+ */
+import type { TableSchema, UniqueConstraintSchema } from './table.js';
+/**
+ * The per-`uc.column` comparison collation for UNIQUE enforcement, one entry per
+ * constrained column (positionally aligned with `uc.columns`): the index's
+ * per-column COLLATE for an index-derived constraint, else the declared column
+ * collation.
+ *
+ * Falls back to the declared column collation when (a) the constraint is not
+ * index-derived (table-level / column UNIQUE — declared IS the enforcement
+ * collation), (b) the index metadata did not survive (must not throw — mirrors
+ * the gate's tolerance), or (c) a column position carries no explicit index
+ * COLLATE (the common `CREATE UNIQUE INDEX ix ON t(b)` case).
+ */
+export declare function uniqueEnforcementCollations(schema: TableSchema, uc: UniqueConstraintSchema): (string | undefined)[];
+/**
+ * True iff a row-time covering MV may soundly answer `uc` — i.e. for every
+ * constrained column the index per-column collation `I` is coarser-or-equal to
+ * the declared column collation `D` (`D ⊒ I`), provable by the BINARY-floor or
+ * name-equality tests above. AND over all columns: one finer/incomparable column
+ * poisons the whole MV (it covers all UC columns or none).
+ *
+ * A non-index-derived constraint (`derivedFromIndex` unset) has `I == D` for
+ * every column ⇒ always eligible. Defensive on missing index metadata: a
+ * `derivedFromIndex` whose index record is gone falls back to `I = D` per column
+ * (eligible) rather than throwing — same tolerance as the enforcement-collation
+ * resolver.
+ */
+export declare function coveringMvHonorsIndexCollation(schema: TableSchema, uc: UniqueConstraintSchema): boolean;
+//# sourceMappingURL=unique-enforcement.d.ts.map

package/dist/src/schema/unique-enforcement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unique-enforcement.d.ts","sourceRoot":"","sources":["../../../src/schema/unique-enforcement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEtE;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAC1C,MAAM,EAAE,WAAW,EACnB,EAAE,EAAE,sBAAsB,GACxB,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAKxB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,8BAA8B,CAC7C,MAAM,EAAE,WAAW,EACnB,EAAE,EAAE,sBAAsB,GACxB,OAAO,CAUT"}