@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/planner/analysis/check-extraction.js

@@ -9,7 +9,9 @@
  * shape table; consumers wire the result into a TableReferenceNode's physical
  * properties via `fd-utils` helpers.
  */
-import { columnIndexFromExpr, literalValue, collectColumnNames, flattenDisjunction, flipComparison } from './predicate-shape.js';
+import { RowOpFlag } from '../../schema/table.js';
+import { columnIndexFromExpr, literalValue, collectColumnNames, flattenDisjunction, flipComparison, walkAstNodes } from './predicate-shape.js';
+import { isValueDiscriminatingAstComparison } from './comparison-collation.js';
 /**
  * Walk each CHECK constraint and emit FD/EC/binding/domain contributions.
  * `columnIndexMap` is the table's name → index map (lowercase keys).
@@ -25,15 +27,55 @@ import { columnIndexFromExpr, literalValue, collectColumnNames, flattenDisjuncti
  */
 const cache = new WeakMap();
 const allDeterministic = () => true;
-export function getCheckExtraction(tableSchema) {
+/**
+ * Raw (capability-blind) CHECK extraction. **Module-internal**: every external
+ * consumer must go through {@link getTrustedCheckExtraction} so the
+ * `permitsGrandfatheredCheckViolators` gate cannot be forgotten. Not exported.
+ */
+function getCheckExtraction(tableSchema) {
     let cached = cache.get(tableSchema);
     if (!cached) {
-        cached = extractCheckConstraints(tableSchema.checkConstraints, tableSchema.columnIndexMap, allDeterministic);
+        cached = extractCheckConstraints(tableSchema.checkConstraints, tableSchema.columnIndexMap, allDeterministic, tableSchema.columns);
         cache.set(tableSchema, cached);
     }
     return cached;
 }
-export function extractCheckConstraints(checks, columnIndexMap, isDeterministic) {
+/** Shared empty {@link CheckExtraction} returned when the capability gate in
+ *  {@link getTrustedCheckExtraction} suppresses the CHECK contribution lift. */
+export const EMPTY_CHECK_EXTRACTION = {
+    fds: [],
+    equivPairs: [],
+    constantBindings: [],
+    domainConstraints: [],
+};
+/**
+ * Capability-gated accessor over {@link getCheckExtraction}: returns
+ * {@link EMPTY_CHECK_EXTRACTION} when the table's owning vtab module declares
+ * `permitsGrandfatheredCheckViolators` (see `vtab/capabilities.ts`). Under that
+ * contract `ALTER TABLE … ADD CHECK` against non-conforming rows succeeds and
+ * grandfathers the violators, so a declared CHECK is not a universal invariant
+ * over the current row set — any consumer that treats the extraction as a
+ * row-set fact (physical-property lift, lens-prover domain enumeration) must
+ * go through this accessor rather than `getCheckExtraction` directly.
+ *
+ * `vtabModule` defaults to the schema's own module reference. Logical tables
+ * (lens-slot specs) carry no module and are never gated. Pass the module
+ * explicitly at sites that resolve it independently of the schema (e.g.
+ * `TableReferenceNode`, which is constructed with its module).
+ */
+export function getTrustedCheckExtraction(tableSchema, vtabModule = tableSchema.vtabModule) {
+    const permitsViolators = vtabModule?.getCapabilities?.().permitsGrandfatheredCheckViolators === true;
+    return permitsViolators ? EMPTY_CHECK_EXTRACTION : getCheckExtraction(tableSchema);
+}
+/**
+ * `columns` carries each column's declared collation + logical type (indexed
+ * by column position; `ColumnSchema` is assignable) for the value-discrimination
+ * gate: a value-level fact (FD / EC / binding / domain) is minted only when
+ * the enforcement comparison it derives from is value-discriminating
+ * ({@link isValueDiscriminatingAstComparison}) — non-BINARY collations over
+ * textual operands pass value-different rows, so their facts would over-claim.
+ */
+export function extractCheckConstraints(checks, columnIndexMap, isDeterministic, columns) {
     const fds = [];
     const equivPairs = [];
     const constantBindings = [];
@@ -41,13 +83,75 @@ export function extractCheckConstraints(checks, columnIndexMap, isDeterministic)
     for (const check of checks) {
         if (!check.expr)
             continue;
+        if (!isRowInvariantCheck(check))
+            continue;
         if (containsNonDeterministicCall(check.expr, isDeterministic))
             continue;
-        walkConjunction(check.expr, columnIndexMap, fds, equivPairs, constantBindings, domainConstraints);
+        walkConjunction(check.expr, columnIndexMap, columns, fds, equivPairs, constantBindings, domainConstraints);
     }
     return { fds, equivPairs, constantBindings, domainConstraints };
 }
-function walkConjunction(expr, columnIndexMap, fds, equivPairs, constantBindings, domainConstraints) {
+/**
+ * Row-invariant gate: a CHECK only contributes value facts when every stored
+ * row image is guaranteed to satisfy it — i.e. it is enforced on every path a
+ * row can enter the table. Two check-level legs, both required (they describe
+ * when the whole check runs):
+ *
+ * 1. The operation mask covers both INSERT and UPDATE. Enforcement filters by
+ *    `shouldCheckConstraint(constraint, operation)` (constraint-builder.ts),
+ *    so e.g. a `check on insert (...)` never runs on UPDATE and an UPDATE can
+ *    legally store a violating row. DELETE membership is irrelevant — a
+ *    delete adds no row image. ALTER ADD CHECK backfill validation plus the
+ *    `permitsGrandfatheredCheckViolators` consumer gate cover the
+ *    pre-existing-rows path for qualifying checks.
+ *
+ * 2. Not deferred. A deferred check is enforced at commit, so
+ *    same-transaction reads can observe violating rows. No SQL today can set
+ *    these flags on a stored table CHECK (the parser rejects DEFERRABLE on
+ *    CHECK constraints); this leg is defensive against hand-built or future
+ *    schemas.
+ *
+ * The third leg — no `old.<col>` row-image reference — is screened
+ * per-AND-conjunct inside {@link walkConjunction} rather than here:
+ * `old.a = b` is a transition constraint over the previous row image, not a
+ * predicate on stored rows — and OLD is registered nullable / NULL on the
+ * INSERT path, so even a default-mask `check (old.a = b)` admits rows
+ * violating the same-row reading. But under SQL ternary logic `C1 AND C2` is
+ * FALSE whenever C2 is FALSE regardless of C1, so each `old.`-free conjunct
+ * independently holds over stored rows and may extract normally even when a
+ * sibling conjunct references OLD. The per-conjunct argument does NOT extend
+ * through OR — an `old.` ref anywhere inside a non-AND conjunct (e.g. one
+ * disjunct of an implication form) kills that whole conjunct.
+ * `new.<col>` stays allowed: NEW is the stored row image, so NEW-qualified
+ * references are same-row (see `columnIndexFromExpr`, whose bare-name
+ * resolution deliberately tolerates the qualifier).
+ */
+function isRowInvariantCheck(check) {
+    const requiredOps = RowOpFlag.INSERT | RowOpFlag.UPDATE;
+    if ((check.operations & requiredOps) !== requiredOps)
+        return false;
+    return !(check.deferrable || check.initiallyDeferred);
+}
+/**
+ * True when any node in `expr`'s subtree is a column reference qualified with
+ * the `old` row-image marker (`old.a` parses as
+ * `ColumnExpr { name: 'a', table: 'old' }`). `walkAstNodes` discovers children
+ * reflectively, so guard disjuncts, compound operands, between bounds, and
+ * in-lists are all covered — so an `old.` ref inside any non-AND structure
+ * (OR disjunct, BETWEEN bound, IN list, compound operand) screens out the
+ * entire conjunct it appears in. Conservative edge: a table literally named
+ * `old` using self-qualified `old.col` refs also matches — sound, since the
+ * enforcement scope keys `old.<col>` to the OLD image there too.
+ */
+function containsOldRowImageRef(expr) {
+    for (const node of walkAstNodes(expr)) {
+        if (node.type === 'column' && node.table?.toLowerCase() === 'old') {
+            return true;
+        }
+    }
+    return false;
+}
+function walkConjunction(expr, columnIndexMap, columns, fds, equivPairs, constantBindings, domainConstraints) {
     const stack = [expr];
     while (stack.length > 0) {
         const cur = stack.pop();
@@ -56,27 +160,32 @@ function walkConjunction(expr, columnIndexMap, fds, equivPairs, constantBindings
             stack.push(b.left, b.right);
             continue;
         }
-        recognize(cur, columnIndexMap, fds, equivPairs, constantBindings, domainConstraints);
+        // Per-conjunct `old.`-screen: a conjunct referencing the OLD row image is
+        // a transition constraint, not a stored-row invariant — skip it while
+        // letting sibling conjuncts extract (see isRowInvariantCheck doc).
+        if (containsOldRowImageRef(cur))
+            continue;
+        recognize(cur, columnIndexMap, columns, fds, equivPairs, constantBindings, domainConstraints);
     }
 }
-function recognize(expr, columnIndexMap, fds, equivPairs, constantBindings, domainConstraints) {
+function recognize(expr, columnIndexMap, columns, fds, equivPairs, constantBindings, domainConstraints) {
     if (expr.type === 'binary') {
         const b = expr;
         switch (b.operator) {
             case '=':
             case '==': {
-                handleEquality(b.left, b.right, columnIndexMap, fds, equivPairs, constantBindings);
+                handleEquality(b.left, b.right, columnIndexMap, columns, fds, equivPairs, constantBindings);
                 return;
             }
             case '<':
             case '<=':
             case '>':
             case '>=': {
-                handleInequality(b, columnIndexMap, domainConstraints);
+                handleInequality(b, columnIndexMap, columns, domainConstraints);
                 return;
             }
             case 'OR': {
-                handleImplication(b, columnIndexMap, fds);
+                handleImplication(b, columnIndexMap, columns, fds);
                 return;
             }
             default:
@@ -94,6 +203,10 @@ function recognize(expr, columnIndexMap, fds, equivPairs, constantBindings, doma
         const hi = literalValue(bt.upper);
         if (lo === undefined || hi === undefined)
             return;
+        // Per-bound gate, mirroring emitBetween's per-bound collation resolution.
+        if (!isValueDiscriminatingAstComparison(bt.expr, bt.lower, columnIndexMap, columns)
+            || !isValueDiscriminatingAstComparison(bt.expr, bt.upper, columnIndexMap, columns))
+            return;
         domainConstraints.push({
             kind: 'range',
             column: colIdx,
@@ -116,6 +229,11 @@ function recognize(expr, columnIndexMap, fds, equivPairs, constantBindings, doma
             const lit = literalValue(v);
             if (lit === undefined)
                 return;
+            // Per-value gate (conservative: emitIn resolves the condition operand's
+            // collation, but textuality of each listed value participates in the
+            // non-textual escape).
+            if (!isValueDiscriminatingAstComparison(inExpr.expr, v, columnIndexMap, columns))
+                return;
             values.push(lit);
         }
         if (values.length === 0)
@@ -124,21 +242,28 @@ function recognize(expr, columnIndexMap, fds, equivPairs, constantBindings, doma
         return;
     }
 }
-function handleEquality(left, right, columnIndexMap, fds, equivPairs, constantBindings) {
+function handleEquality(left, right, columnIndexMap, columns, fds, equivPairs, constantBindings) {
+    // Value-discrimination gate: all three recognized shapes (col=col mirror
+    // FDs + EC pair, col=lit pin + binding, single-column col=expr one-way FD)
+    // are value-level claims over the enforcement comparison.
+    if (!isValueDiscriminatingAstComparison(left, right, columnIndexMap, columns))
+        return;
     const lIdx = columnIndexFromExpr(left, columnIndexMap);
     const rIdx = columnIndexFromExpr(right, columnIndexMap);
+    // All CHECK-derived FDs are `kind: 'determination'` — a CHECK constrains
+    // values, never row counts, so it can never witness row-uniqueness.
     if (lIdx !== undefined && rIdx !== undefined) {
         if (lIdx === rIdx)
             return;
-        fds.push({ determinants: [lIdx], dependents: [rIdx] });
-        fds.push({ determinants: [rIdx], dependents: [lIdx] });
+        fds.push({ determinants: [lIdx], dependents: [rIdx], kind: 'determination' });
+        fds.push({ determinants: [rIdx], dependents: [lIdx], kind: 'determination' });
         equivPairs.push([lIdx, rIdx]);
         return;
     }
     if (lIdx !== undefined) {
         const lit = literalValue(right);
         if (lit !== undefined) {
-            fds.push({ determinants: [], dependents: [lIdx] });
+            fds.push({ determinants: [], dependents: [lIdx], kind: 'determination' });
             constantBindings.push({ attrs: [lIdx], value: { kind: 'literal', value: lit } });
             return;
         }
@@ -146,7 +271,7 @@ function handleEquality(left, right, columnIndexMap, fds, equivPairs, constantBi
         if (cols.size === 1) {
             const [singleCol] = cols;
             if (singleCol !== lIdx) {
-                fds.push({ determinants: [singleCol], dependents: [lIdx] });
+                fds.push({ determinants: [singleCol], dependents: [lIdx], kind: 'determination' });
             }
         }
         return;
@@ -154,7 +279,7 @@ function handleEquality(left, right, columnIndexMap, fds, equivPairs, constantBi
     if (rIdx !== undefined) {
         const lit = literalValue(left);
         if (lit !== undefined) {
-            fds.push({ determinants: [], dependents: [rIdx] });
+            fds.push({ determinants: [], dependents: [rIdx], kind: 'determination' });
             constantBindings.push({ attrs: [rIdx], value: { kind: 'literal', value: lit } });
             return;
         }
@@ -162,12 +287,16 @@ function handleEquality(left, right, columnIndexMap, fds, equivPairs, constantBi
         if (cols.size === 1) {
             const [singleCol] = cols;
             if (singleCol !== rIdx) {
-                fds.push({ determinants: [singleCol], dependents: [rIdx] });
+                fds.push({ determinants: [singleCol], dependents: [rIdx], kind: 'determination' });
             }
         }
     }
 }
-function handleInequality(b, columnIndexMap, domainConstraints) {
+function handleInequality(b, columnIndexMap, columns, domainConstraints) {
+    // A text-typed range under a non-BINARY enforcement collation over-claims
+    // (consumers compare domain bounds under BINARY) — same gate as equalities.
+    if (!isValueDiscriminatingAstComparison(b.left, b.right, columnIndexMap, columns))
+        return;
     // Normalize so the column is on the left.
     const lIdx = columnIndexFromExpr(b.left, columnIndexMap);
     const rIdx = columnIndexFromExpr(b.right, columnIndexMap);
@@ -216,7 +345,7 @@ function handleInequality(b, columnIndexMap, domainConstraints) {
  * or enum that holds only under a guard isn't safely consumable until the
  * guard activation path also threads through domains.
  */
-function handleImplication(root, columnIndexMap, fds) {
+function handleImplication(root, columnIndexMap, columns, fds) {
     const disjuncts = flattenDisjunction(root);
     if (disjuncts.length < 2)
         return;
@@ -231,7 +360,7 @@ function handleImplication(root, columnIndexMap, fds) {
         return;
     const body = disjuncts[disjuncts.length - 1];
     const guard = { clauses: guardClauses };
-    recognizeGuardedBody(body, guard, columnIndexMap, fds);
+    recognizeGuardedBody(body, guard, columnIndexMap, columns, fds);
 }
 /**
  * Recognize one disjunct as the negation of an equality, is-null, or range
@@ -337,32 +466,48 @@ function recognizeNegatedGuard(expr, columnIndexMap) {
  * equivalence pairs or constant bindings — equivalences/bindings are
  * unconditional facts.
  */
-function recognizeGuardedBody(body, guard, columnIndexMap, fds) {
+function recognizeGuardedBody(body, guard, columnIndexMap, columns, fds) {
     if (body.type !== 'binary')
         return;
     const b = body;
     if (b.operator !== '=' && b.operator !== '==')
         return;
+    // Same value-discrimination gate as unconditional equalities — especially
+    // load-bearing for the `valueEquality: true` mirror tags, which the Filter
+    // guard-activation path lifts into ECs. Guard *scopes* (recognizeNegatedGuard)
+    // are deliberately ungated: enforcement evaluates them under declared
+    // collations (Part A of ticket check-extraction-collation-blind-fds), and
+    // the discharge gate in `buildPredicateFacts` keeps filter rows within the
+    // declared-collation guard scope.
+    if (!isValueDiscriminatingAstComparison(b.left, b.right, columnIndexMap, columns))
+        return;
     const lIdx = columnIndexFromExpr(b.left, columnIndexMap);
     const rIdx = columnIndexFromExpr(b.right, columnIndexMap);
+    // Guarded CHECK-derived FDs are `kind: 'determination'` like their
+    // unconditional twins — an implication-form CHECK still constrains values
+    // only, never row counts.
     if (lIdx !== undefined && rIdx !== undefined) {
         if (lIdx === rIdx)
             return;
-        fds.push({ determinants: [lIdx], dependents: [rIdx], guard });
-        fds.push({ determinants: [rIdx], dependents: [lIdx], guard });
+        // Tag the mirror pair as a genuine column value-equality so a downstream
+        // guard-activation (FilterNode) can soundly lift it as an EC — a one-way
+        // `col = expr` body (below) or an index-derived guarded mirror is NOT
+        // tagged and is never lifted (ticket fd-guarded-activation-key-bag-overclaim).
+        fds.push({ determinants: [lIdx], dependents: [rIdx], guard, valueEquality: true, kind: 'determination' });
+        fds.push({ determinants: [rIdx], dependents: [lIdx], guard, valueEquality: true, kind: 'determination' });
         return;
     }
     if (lIdx !== undefined) {
         const lit = literalValue(b.right);
         if (lit !== undefined) {
-            fds.push({ determinants: [], dependents: [lIdx], guard });
+            fds.push({ determinants: [], dependents: [lIdx], guard, kind: 'determination' });
             return;
         }
         const cols = collectColumnNames(b.right, columnIndexMap);
         if (cols.size === 1) {
             const [singleCol] = cols;
             if (singleCol !== lIdx) {
-                fds.push({ determinants: [singleCol], dependents: [lIdx], guard });
+                fds.push({ determinants: [singleCol], dependents: [lIdx], guard, kind: 'determination' });
             }
         }
         return;
@@ -370,14 +515,14 @@ function recognizeGuardedBody(body, guard, columnIndexMap, fds) {
     if (rIdx !== undefined) {
         const lit = literalValue(b.left);
         if (lit !== undefined) {
-            fds.push({ determinants: [], dependents: [rIdx], guard });
+            fds.push({ determinants: [], dependents: [rIdx], guard, kind: 'determination' });
             return;
         }
         const cols = collectColumnNames(b.left, columnIndexMap);
         if (cols.size === 1) {
             const [singleCol] = cols;
             if (singleCol !== rIdx) {
-                fds.push({ determinants: [singleCol], dependents: [rIdx], guard });
+                fds.push({ determinants: [singleCol], dependents: [rIdx], guard, kind: 'determination' });
             }
         }
     }
@@ -388,9 +533,7 @@ function recognizeGuardedBody(body, guard, columnIndexMap, fds) {
  * that we cannot reason about safely.
  */
 export function containsNonDeterministicCall(expr, isDeterministic) {
-    const stack = [expr];
-    while (stack.length > 0) {
-        const node = stack.pop();
+    for (const node of walkAstNodes(expr)) {
         if (node.type === 'subquery' || node.type === 'exists')
             return true;
         if (node.type === 'function') {
@@ -399,21 +542,6 @@ export function containsNonDeterministicCall(expr, isDeterministic) {
             if (!isDeterministic(fn.name, argc))
                 return true;
         }
-        for (const key of Object.keys(node)) {
-            const v = node[key];
-            if (!v)
-                continue;
-            if (Array.isArray(v)) {
-                for (const item of v) {
-                    if (item && typeof item === 'object' && 'type' in item) {
-                        stack.push(item);
-                    }
-                }
-            }
-            else if (typeof v === 'object' && 'type' in v) {
-                stack.push(v);
-            }
-        }
     }
     return false;
 }

package/dist/src/planner/analysis/check-extraction.js.map

@@ -1 +1 @@
-{"version":3,"file":"check-extraction.js","sourceRoot":"","sources":["../../../../src/planner/analysis/check-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAMH,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AASjI;;;;;;GAMG;AACH;;;;;GAKG;AACH,MAAM,KAAK,GAAG,IAAI,OAAO,EAAgC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C,MAAM,UAAU,kBAAkB,CAAC,WAAwB;IAC1D,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,GAAG,uBAAuB,CAC/B,WAAW,CAAC,gBAAgB,EAC5B,WAAW,CAAC,cAAc,EAC1B,gBAAgB,CAChB,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CACtC,MAA0C,EAC1C,cAA2C,EAC3C,eAA0D;IAE1D,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAC/C,MAAM,iBAAiB,GAAuB,EAAE,CAAC;IAEjD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,IAAI;YAAE,SAAS;QAC1B,IAAI,4BAA4B,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC;YAAE,SAAS;QACxE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IACnG,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,eAAe,CACvB,IAAoB,EACpB,cAA2C,EAC3C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC,EACnC,iBAAqC;IAErC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAK,GAAsB,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACzE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IACtF,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CACjB,IAAoB,EACpB,cAA2C,EAC3C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC,EACnC,iBAAqC;IAErC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpB,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBACnF,OAAO;YACR,CAAC;YACD,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,gBAAgB,CAAC,CAAC,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;gBACvD,OAAO;YACR,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;gBAC1C,OAAO;YACR,CAAC;YACD;gBACC,OAAO;QACT,CAAC;IACF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAuB,CAAC;QACnC,IAAI,EAAE,CAAC,GAAG;YAAE,OAAO;QACnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO;QACjD,iBAAiB,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,MAAM;YACd,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;YACP,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,OAAO;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,IAAkB,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QAC9C,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO;YAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAChC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO;IACR,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CACtB,IAAoB,EACpB,KAAqB,EACrB,cAA2C,EAC3C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC;IAEnC,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAExD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9B,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnD,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;QACF,CAAC;QACD,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnD,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,CAAiB,EACjB,cAA2C,EAC3C,iBAAqC;IAErC,0CAA0C;IAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAE1D,IAAI,MAA0B,CAAC;IAC/B,IAAI,GAAyB,CAAC;IAC9B,IAAI,EAAU,CAAC;IAEf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjB,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACP,OAAO;IACR,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IAEtD,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,IAAI;YACR,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7G,OAAO;QACR,KAAK,GAAG;YACP,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9G,OAAO;QACR,KAAK,IAAI;YACR,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7G,OAAO;QACR,KAAK,GAAG;YACP,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9G,OAAO;IACT,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,iBAAiB,CACzB,IAAoB,EACpB,cAA2C,EAC3C,GAA2B;IAE3B,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAEjC,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEtC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAmB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IACxD,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,qBAAqB,CAC7B,IAAoB,EACpB,cAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,uFAAuF;YACvF,mFAAmF;YACnF,0FAA0F;YAC1F,OAAO,CAAC,CAAC,QAAQ,KAAK,aAAa;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAClD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,CAAC,GAAG,IAAsB,CAAC;IACjC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAC5D,0CAA0C;QAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC1D,IAAI,MAA0B,CAAC;QAC/B,IAAI,GAAyB,CAAC;QAC9B,IAAI,MAAc,CAAC;QACnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,GAAG,IAAI,CAAC;YACd,MAAM,GAAG,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,GAAG,IAAI,CAAC;YACd,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACP,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAChF,QAAQ,MAAM,EAAE,CAAC;YAChB,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC7F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC9F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC7F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC/F,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC5B,IAAoB,EACpB,KAAqB,EACrB,cAA2C,EAC3C,GAA2B;IAE3B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IACnC,MAAM,CAAC,GAAG,IAAsB,CAAC;IACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO;IAEtD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAE1D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACpE,CAAC;QACF,CAAC;QACD,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACpE,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC3C,IAAoB,EACpB,eAA0D;IAE1D,MAAM,KAAK,GAAkB,CAAC,IAAmB,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAwB,CAAC;YACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClD,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACxD,KAAK,CAAC,IAAI,CAAC,IAAmB,CAAC,CAAC;oBACjC,CAAC;gBACF,CAAC;YACF,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAK,CAAY,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,CAAgB,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}
+{"version":3,"file":"check-extraction.js","sourceRoot":"","sources":["../../../../src/planner/analysis/check-extraction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAC/I,OAAO,EAAE,kCAAkC,EAA2B,MAAM,2BAA2B,CAAC;AASxG;;;;;;GAMG;AACH;;;;;GAKG;AACH,MAAM,KAAK,GAAG,IAAI,OAAO,EAAgC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,WAAwB;IACnD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,MAAM,GAAG,uBAAuB,CAC/B,WAAW,CAAC,gBAAgB,EAC5B,WAAW,CAAC,cAAc,EAC1B,gBAAgB,EAChB,WAAW,CAAC,OAAO,CACnB,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;gFACgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAoB;IACtD,GAAG,EAAE,EAAE;IACP,UAAU,EAAE,EAAE;IACd,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;CACrB,CAAC;AAQF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CACxC,WAAwB,EACxB,aAA6C,WAAW,CAAC,UAAU;IAEnE,MAAM,gBAAgB,GAAG,UAAU,EAAE,eAAe,EAAE,EAAE,CAAC,kCAAkC,KAAK,IAAI,CAAC;IACrG,OAAO,gBAAgB,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;AACpF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACtC,MAA0C,EAC1C,cAA2C,EAC3C,eAA0D,EAC1D,OAA0C;IAE1C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,UAAU,GAAqC,EAAE,CAAC;IACxD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAC/C,MAAM,iBAAiB,GAAuB,EAAE,CAAC;IAEjD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,IAAI;YAAE,SAAS;QAC1B,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC;YAAE,SAAS;QAC1C,IAAI,4BAA4B,CAAC,KAAK,CAAC,IAAI,EAAE,eAAe,CAAC;YAAE,SAAS;QACxE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAC5G,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,SAAS,mBAAmB,CAAC,KAA0B;IACtD,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IACxD,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,WAAW,CAAC,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,sBAAsB,CAAC,IAAoB;IACnD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAK,IAAuB,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;YACvF,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CACvB,IAAoB,EACpB,cAA2C,EAC3C,OAA0C,EAC1C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC,EACnC,iBAAqC;IAErC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAK,GAAsB,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACzE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,0EAA0E;QAC1E,sEAAsE;QACtE,mEAAmE;QACnE,IAAI,sBAAsB,CAAC,GAAG,CAAC;YAAE,SAAS;QAC1C,SAAS,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;IAC/F,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CACjB,IAAoB,EACpB,cAA2C,EAC3C,OAA0C,EAC1C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC,EACnC,iBAAqC;IAErC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;YACpB,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAC5F,OAAO;YACR,CAAC;YACD,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,gBAAgB,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC;gBAChE,OAAO;YACR,CAAC;YACD,KAAK,IAAI,CAAC,CAAC,CAAC;gBACX,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;gBACnD,OAAO;YACR,CAAC;YACD;gBACC,OAAO;QACT,CAAC;IACF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAuB,CAAC;QACnC,IAAI,EAAE,CAAC,GAAG;YAAE,OAAO;QACnB,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO;QACjD,0EAA0E;QAC1E,IAAI,CAAC,kCAAkC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;eAC/E,CAAC,kCAAkC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;YAAE,OAAO;QAC5F,iBAAiB,CAAC,IAAI,CAAC;YACtB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,MAAM;YACd,GAAG,EAAE,EAAE;YACP,GAAG,EAAE,EAAE;YACP,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;SAClB,CAAC,CAAC;QACH,OAAO;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,IAAkB,CAAC;QAClC,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QAC9C,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO;YAC9B,wEAAwE;YACxE,qEAAqE;YACrE,uBAAuB;YACvB,IAAI,CAAC,kCAAkC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC;gBAAE,OAAO;YACzF,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAChC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,OAAO;IACR,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CACtB,IAAoB,EACpB,KAAqB,EACrB,cAA2C,EAC3C,OAA0C,EAC1C,GAA2B,EAC3B,UAA4C,EAC5C,gBAAmC;IAEnC,yEAAyE;IACzE,2EAA2E;IAC3E,0DAA0D;IAC1D,IAAI,CAAC,kCAAkC,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;QAAE,OAAO;IAEtF,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAExD,yEAAyE;IACzE,oEAAoE;IACpE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAC9E,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC9B,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YAC1E,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YACpF,CAAC;QACF,CAAC;QACD,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YAC1E,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACtD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YACpF,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,CAAiB,EACjB,cAA2C,EAC3C,OAA0C,EAC1C,iBAAqC;IAErC,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;QAAE,OAAO;IAE1F,0CAA0C;IAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAE1D,IAAI,MAA0B,CAAC;IAC/B,IAAI,GAAyB,CAAC;IAC9B,IAAI,EAAU,CAAC;IAEf,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjB,CAAC;SAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,GAAG,IAAI,CAAC;QACd,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;SAAM,CAAC;QACP,OAAO;IACR,CAAC;IAED,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IAEtD,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,IAAI;YACR,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC7G,OAAO;QACR,KAAK,GAAG;YACP,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9G,OAAO;QACR,KAAK,IAAI;YACR,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7G,OAAO;QACR,KAAK,GAAG;YACP,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9G,OAAO;IACT,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,iBAAiB,CACzB,IAAoB,EACpB,cAA2C,EAC3C,OAA0C,EAC1C,GAA2B;IAE3B,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO;IAEjC,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEtC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAmB,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IACxD,oBAAoB,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAS,qBAAqB,CAC7B,IAAoB,EACpB,cAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;YAC9D,MAAM,GAAG,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,uFAAuF;YACvF,mFAAmF;YACnF,0FAA0F;YAC1F,OAAO,CAAC,CAAC,QAAQ,KAAK,aAAa;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;gBAClD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,CAAC,GAAG,IAAsB,CAAC;IACjC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,SAAS,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAC5D,0CAA0C;QAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC1D,IAAI,MAA0B,CAAC;QAC/B,IAAI,GAAyB,CAAC;QAC9B,IAAI,MAAc,CAAC;QACnB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,MAAM,GAAG,IAAI,CAAC;YACd,MAAM,GAAG,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,GAAG,IAAI,CAAC;YACd,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACP,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAChF,QAAQ,MAAM,EAAE,CAAC;YAChB,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC7F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC9F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;YAC7F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAC/F,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC5B,IAAoB,EACpB,KAAqB,EACrB,cAA2C,EAC3C,OAA0C,EAC1C,GAA2B;IAE3B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO;IACnC,MAAM,CAAC,GAAG,IAAsB,CAAC;IACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO;IAEtD,0EAA0E;IAC1E,2EAA2E;IAC3E,+EAA+E;IAC/E,sEAAsE;IACtE,0EAA0E;IAC1E,2EAA2E;IAC3E,kCAAkC;IAClC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC;QAAE,OAAO;IAE1F,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAE1D,mEAAmE;IACnE,0EAA0E;IAC1E,0BAA0B;IAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO;QAC1B,yEAAyE;QACzE,yEAAyE;QACzE,sEAAsE;QACtE,+EAA+E;QAC/E,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAC1G,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QAC1G,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YAC3F,CAAC;QACF,CAAC;QACD,OAAO;IACR,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;YACzB,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YAC3F,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC3C,IAAoB,EACpB,eAA0D;IAE1D,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAwB,CAAC;YACpC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClD,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}

package/dist/src/planner/analysis/coarsened-key.d.ts

@@ -0,0 +1,109 @@
+/**
+ * Coarsened-backing-key derivation for materialized views — the create-time
+ * policy that enables the parallel-migration-table pattern
+ * (`docs/migration.md` § Convergence hazards): a body like
+ * `select handle collate nocase as handle, email from Contact_v1` has **no
+ * provable unique key** (the collation-weakening projection correctly drops the
+ * source key from `keysOf` — two source rows can collide under the output
+ * collation), yet the projected source key is the *intended backing identity*.
+ *
+ * This module recognizes that shape: when the body is a **row-preserving
+ * single-source chain** and every source primary-key column is reachable from
+ * an output column through a **value-preserving passthrough chain** (a bare
+ * column reference, `collate`, or a no-op `cast` — the
+ * `traceInvertibleColumn` passthrough subset with no inverse steps), the
+ * corresponding output columns form the **coarsened backing key** K'.
+ *
+ * K' is deliberately NOT a planner key fact — it never enters `keysOf` /
+ * `RelationType.keys`, because it is not a key of the body relation. It is an
+ * MV-create policy consumed by `deriveBackingShape` (key the backing on K',
+ * with the *output* collations) and `buildFullRebuildPlan` (do not reject the
+ * body as a bag). The runtime contract that makes this sound is documented in
+ * `docs/materialized-views.md` § Coarsened backing keys: create-fill rejects
+ * colliding rows loudly (the backing host's duplicate guard), and steady-state
+ * row-time maintenance merges colliding source rows last-writer-wins.
+ *
+ * **Coarsening classification.** A key column *coarsens* when its output
+ * collation can equate values the source enforcement collation distinguishes.
+ * `BINARY` is the finest collation (byte equality — nothing distinguishes
+ * more), so an output column at `BINARY` never coarsens; an output collation
+ * equal to the source's never coarsens; any *other* difference (BINARY →
+ * NOCASE/RTRIM, NOCASE → RTRIM, or an unknown custom collation) is treated as
+ * coarsening — conservative, since incomparable collations can equate values
+ * the source key keeps distinct. A coarsening K' triggers the key-coarsening
+ * warning at create ("colliding source rows will last-write-win until they are
+ * merged"); a non-coarsening K' (equal or refining collations) is a genuine
+ * unique key the key-propagation analysis just could not prove, and is
+ * accepted silently.
+ *
+ * **Why the chain must be row-preserving.** The LWW backing-identity semantics
+ * assume each source row maps to ≤1 output row. A collapsing node (aggregate,
+ * DISTINCT) between the source and the projection would make a lineage-covered
+ * source key a *false* identity — e.g. `group by b collate nocase, c` covers
+ * source PK {b} by lineage while the output holds many rows per b — so the
+ * walk admits only row-preserving/row-reducing links (Project / Filter / Sort
+ * / physical access nodes) over exactly one base table. Anything else
+ * (joins, set ops, aggregates, DISTINCT, window, TVFs, row caps) abstains and
+ * the caller keeps today's bag rejection.
+ */
+import type { RelationalPlanNode, ScalarPlanNode } from '../nodes/plan-node.js';
+import type { TableSchema } from '../../schema/table.js';
+/** One column of a derived coarsened backing key. */
+export interface CoarsenedKeyColumn {
+    /** Output-column index in the body's output row (= backing column index). */
+    readonly outputIndex: number;
+    /** Source-table column index the output column passthrough-traces to. */
+    readonly sourceColumn: number;
+    /** Normalized (uppercased) output collation — what the backing key enforces. */
+    readonly outputCollation: string;
+    /** Normalized (uppercased) source key column enforcement collation. */
+    readonly sourceCollation: string;
+    /** True when the output collation can equate values the source collation
+     *  distinguishes (see the module doc's coarsening classification). */
+    readonly coarsens: boolean;
+}
+/** A coarsened backing key K' derived from source-key lineage. */
+export interface CoarsenedBackingKey {
+    /** Output-column indices forming K', in source-PK order. */
+    readonly keyIndices: readonly number[];
+    readonly columns: readonly CoarsenedKeyColumn[];
+    /** True when any key column coarsens — K' may equate distinct source keys,
+     *  so colliding source rows last-write-win (emit the warning). */
+    readonly coarsens: boolean;
+    /** The single source table whose primary key K' covers. */
+    readonly sourceTable: TableSchema;
+}
+/**
+ * Unwrap value-preserving wrappers — `collate` (comparison-only, value
+ * untouched) and no-op `cast` (target logical type === operand's) — down to
+ * the underlying expression. The `traceInvertibleColumn` passthrough subset
+ * with no `inverse` steps: the unwrapped expression evaluates to the SAME
+ * value as the wrapped one, which is what lets a wrapped column count as a
+ * passthrough projection of its source column.
+ */
+export declare function unwrapValuePreserving(expr: ScalarPlanNode): ScalarPlanNode;
+/**
+ * Resolve an output attribute id to a source column index through a
+ * transitive chain of **value-preserving** producing expressions: at each hop
+ * the attribute either belongs to the source directly or its producing
+ * expression unwraps ({@link unwrapValuePreserving}) to a column reference one
+ * hop closer. The value-preserving widening of
+ * `database-materialized-views.ts`'s `resolveTransitiveSourceCol` — shared by
+ * the coarsened-key derivation here and the inverse-projection arm's
+ * projector classification (a collate-wrapped projection copies the source
+ * value verbatim, so it is maintenance-passthrough).
+ */
+export declare function resolveValuePreservingSourceCol(attrId: number, sourceAttrToCol: ReadonlyMap<number, number>, producingByAttrId: ReadonlyMap<number, ScalarPlanNode>): number | undefined;
+/**
+ * Derive the coarsened backing key K' for `root` (the optimized body
+ * relation), or `undefined` when the shape does not qualify (the caller then
+ * keeps today's bag rejection / all-columns fallback). See the module doc for
+ * the recognition rules. Deterministic over a given plan, so the two
+ * create-path consumers (`deriveBackingShape`, `buildFullRebuildPlan`) agree
+ * by construction.
+ *
+ * Only call when `keysOf(root)` is empty — a body with a provable key never
+ * needs (and must not be re-keyed by) lineage derivation.
+ */
+export declare function deriveCoarsenedBackingKey(root: RelationalPlanNode): CoarsenedBackingKey | undefined;
+//# sourceMappingURL=coarsened-key.d.ts.map

package/dist/src/planner/analysis/coarsened-key.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coarsened-key.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/coarsened-key.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAKhF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,qDAAqD;AACrD,MAAM,WAAW,kBAAkB;IAClC,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,yEAAyE;IACzE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,gFAAgF;IAChF,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,uEAAuE;IACvE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC;0EACsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC3B;AAED,kEAAkE;AAClE,MAAM,WAAW,mBAAmB;IACnC,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD;sEACkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CAClC;AA2BD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,cAAc,GAAG,cAAc,CAO1E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,+BAA+B,CAC9C,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5C,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GACpD,MAAM,GAAG,SAAS,CAcpB;AAcD;;;;;;;;;;GAUG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,kBAAkB,GAAG,mBAAmB,GAAG,SAAS,CAyEnG"}