@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/planner/analysis/predicate-normalizer.js

@@ -1,6 +1,7 @@
 import { PlanNodeType } from '../nodes/plan-node-type.js';
 import { BinaryOpNode, UnaryOpNode, LiteralNode, BetweenNode } from '../nodes/scalar.js';
 import { InNode } from '../nodes/subquery.js';
+import { resolveComparisonCollation, resolveInCollation } from './comparison-collation.js';
 /**
  * Normalize a predicate for push-down and constraint extraction.
  *
@@ -176,9 +177,13 @@ function flipComparison(op) {
 // Attempt to collapse OR of equalities into an IN list when:
 // - All disjuncts are of the form (col = literal)
 // - The same column is used
+// - Every disjunct's effective comparison collation equals the collation the
+//   rewritten IN would compare under (the lattice merge of the column with
+//   every collected value)
 // - Literal list is small (<= 32) to avoid large INs
-function tryCollapseOrToIn(scope, disjuncts) {
+function tryCollapseOrToIn(_scope, disjuncts) {
     const values = [];
+    const disjunctCollations = [];
     let column = null;
     for (const d of disjuncts) {
         if (d.nodeType !== PlanNodeType.BinaryOp)
@@ -200,6 +205,16 @@ function tryCollapseOrToIn(scope, disjuncts) {
         else {
             return null;
         }
+        // Per-disjunct effective collation under the provenance lattice
+        // (symmetric, so the col/lit spelling order is immaterial). Constant
+        // folding keeps `'bob' COLLATE NOCASE` as a literal whose *type*
+        // carries rank-3 NOCASE, so the shape checks above never see the
+        // wrapper but the resolution still does. A conflict cannot normally
+        // reach here (plan-time validation rejected it); bail conservatively.
+        const disjunctResolution = resolveComparisonCollation(b.left.getType(), b.right.getType());
+        if (disjunctResolution.kind !== 'resolved')
+            return null;
+        disjunctCollations.push(disjunctResolution.name);
         if (!column) {
             column = col;
         }
@@ -212,6 +227,20 @@ function tryCollapseOrToIn(scope, disjuncts) {
     }
     if (!column || values.length === 0)
         return null;
+    // Collation gate (ticket `or-equality-collapse-collation-blind`): the
+    // rewritten IN compares every value under ONE lattice-merged collation
+    // (`emitIn`), while each written disjunct compares under its own effective
+    // collation. Collapse only when every disjunct agrees with the merged IN
+    // collation; both directions are unsound otherwise (a NOCASE disjunct
+    // collapsed into a BINARY IN under-matches, a BINARY disjunct into a
+    // NOCASE IN over-matches). Declining keeps the OR as-is — a completeness
+    // loss only, like the >32-values bail. Gating BEFORE construction also
+    // guarantees the InNode below validates cleanly.
+    const inResolution = resolveInCollation(column.getType(), values.map(v => v.getType()));
+    if (inResolution.kind !== 'resolved')
+        return null;
+    if (disjunctCollations.some(name => name !== inResolution.name))
+        return null;
     // Build an InNode with constant values
     const ast = {
         type: 'in',

package/dist/src/planner/analysis/predicate-normalizer.js.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-normalizer.js","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-normalizer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEzF,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAG9C;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACnD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,IAAoB;IACnC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,IAAmB,CAAC;YAC9B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAClC,OAAO,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,CAAC;YACD,UAAU;YACV,MAAM,iBAAiB,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC/C,OAAO,iBAAiB,KAAK,CAAC,CAAC,OAAO;gBAClC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,IAAoB,CAAC;YAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC9B,2BAA2B;gBAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjC,+BAA+B;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACpD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACd,MAAM,SAAS,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACpD,IAAI,SAAS;wBAAE,OAAO,SAAS,CAAC;gBACpC,CAAC;gBACD,OAAO,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAChE,CAAC;YACD,4CAA4C;YAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;gBACzC,OAAO,CAAC,CAAC;YACb,CAAC;YACD,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;YACxB,iCAAiC;YACjC,MAAM,EAAE,GAAG,IAAmB,CAAC;YAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,IAAI,MAAM,KAAK,EAAE,CAAC,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;gBAClE,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3E,CAAC;QACD;YACI,OAAO,IAAI,CAAC;IACpB,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB;IACrC,eAAe;IACf,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAmB,CAAC;QAC9B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,6EAA6E;QAC7E,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClF,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QACrF,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAoB,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,oCAAoC;QACpC,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5C,MAAM,IAAI,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAG,CAAC,CAAC,UAAU,CAAC,IAAuB,EAAE,KAAK,EAAG,CAAC,CAAC,UAAU,CAAC,KAAwB,EAAE,CAAC;YAC/J,gCAAgC;YAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;YACjF,OAAO,QAAQ,CAAC;QACpB,CAAC;QAED,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/B,CAAC;QAED,mDAAmD;QACnD,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,IAAI,IAAI,eAAe,KAAK,CAAC,CAAC,KAAK,CAAC;YACtE,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QACrF,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAmB,CAAC;QAC/B,MAAM,GAAG,GAAoB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC;IAED,uCAAuC;IACvC,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACxF,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU,EAAE,KAAuB;IAC3D,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,CAAiB,CAAC;YAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1D,SAAS;YACb,CAAC;QACL,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAY,EAAE,EAAU,EAAE,KAAuB,EAAE,QAAwB;IACnG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,+BAA+B;QAC/B,OAAO,IAAI,WAAW,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,2BAA2B;IAC3B,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClJ,GAAG,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,0BAA0B,CAAC,CAAe;IAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;IACjC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,GAAG,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IACxH,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,EAAU;IAC9B,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,+CAA+C;QACtE,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACzB,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,kDAAkD;AAClD,4BAA4B;AAC5B,qDAAqD;AACrD,SAAS,iBAAiB,CAAC,KAAY,EAAE,SAA2B;IAChE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,MAAM,GAA+B,IAAI,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,CAAC,GAAG,CAAiB,CAAC;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAE/C,uCAAuC;QACvC,IAAI,GAAG,GAA+B,IAAI,CAAC;QAC3C,IAAI,GAAG,GAAuB,IAAI,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,eAAe,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;YAChG,GAAG,GAAG,CAAC,CAAC,IAA2B,CAAC;YACpC,GAAG,GAAG,CAAC,CAAC,KAAoB,CAAC;QACjC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,eAAe,EAAE,CAAC;YACvG,GAAG,GAAG,CAAC,CAAC,KAA4B,CAAC;YACrC,GAAG,GAAG,CAAC,CAAC,IAAmB,CAAC;QAChC,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,CAAC;QACjB,CAAC;aAAM,IAAI,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;IACxE,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhD,uCAAuC;IACvC,MAAM,GAAG,GAAe;QACpB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,MAAM,CAAC,UAAU;QACvB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KACxC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC;AAClB,CAAC"}
+{"version":3,"file":"predicate-normalizer.js","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-normalizer.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEzF,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE9C,OAAO,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE3F;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACnD,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,IAAoB;IACnC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpB,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,GAAG,IAAmB,CAAC;YAC9B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;gBAClC,OAAO,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,CAAC;YACD,UAAU;YACV,MAAM,iBAAiB,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC/C,OAAO,iBAAiB,KAAK,CAAC,CAAC,OAAO;gBAClC,CAAC,CAAC,CAAC;gBACH,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,IAAoB,CAAC;YAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;YACjC,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC9B,2BAA2B;gBAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjC,+BAA+B;gBAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACpD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACd,MAAM,SAAS,GAAG,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACpD,IAAI,SAAS;wBAAE,OAAO,SAAS,CAAC;gBACpC,CAAC;gBACD,OAAO,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAChE,CAAC;YACD,4CAA4C;YAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;gBACzC,OAAO,CAAC,CAAC;YACb,CAAC;YACD,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;YACxB,iCAAiC;YACjC,MAAM,EAAE,GAAG,IAAmB,CAAC;YAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,KAAK,KAAK,EAAE,CAAC,IAAI,IAAI,MAAM,KAAK,EAAE,CAAC,KAAK,IAAI,MAAM,KAAK,EAAE,CAAC,KAAK,EAAE,CAAC;gBAClE,OAAO,EAAE,CAAC;YACd,CAAC;YACD,OAAO,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3E,CAAC;QACD;YACI,OAAO,IAAI,CAAC;IACpB,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB;IACrC,eAAe;IACf,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAmB,CAAC;QAC9B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,6EAA6E;QAC7E,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAClF,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QACrF,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAoB,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,oCAAoC;QACpC,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5C,MAAM,IAAI,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAG,CAAC,CAAC,UAAU,CAAC,IAAuB,EAAE,KAAK,EAAG,CAAC,CAAC,UAAU,CAAC,KAAwB,EAAE,CAAC;YAC/J,gCAAgC;YAChC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;YACjF,OAAO,QAAQ,CAAC;QACpB,CAAC;QAED,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,QAAQ,EAAE,CAAC;YACX,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/B,CAAC;QAED,mDAAmD;QACnD,MAAM,cAAc,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,eAAe,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,CAAC,cAAc,KAAK,CAAC,CAAC,IAAI,IAAI,eAAe,KAAK,CAAC,CAAC,KAAK,CAAC;YACtE,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,eAAe,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QACrF,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;QACzC,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAmB,CAAC;QAC/B,MAAM,GAAG,GAAoB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;QAC3E,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,IAAI,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC;IAED,uCAAuC;IACvC,MAAM,MAAM,GAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACxF,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAU,EAAE,KAAuB;IAC3D,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,CAAiB,CAAC;YAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,EAAE,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1D,SAAS;YACb,CAAC;QACL,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAY,EAAE,EAAU,EAAE,KAAuB,EAAE,QAAwB;IACnG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,+BAA+B;QAC/B,OAAO,IAAI,WAAW,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,2BAA2B;IAC3B,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClJ,GAAG,GAAG,IAAI,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,0BAA0B,CAAC,CAAe;IAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;IACjC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,GAAG,GAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;IACxH,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,EAAU;IAC9B,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,+CAA+C;QACtE,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACzB,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,kDAAkD;AAClD,4BAA4B;AAC5B,6EAA6E;AAC7E,2EAA2E;AAC3E,2BAA2B;AAC3B,qDAAqD;AACrD,SAAS,iBAAiB,CAAC,MAAa,EAAE,SAA2B;IACjE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,IAAI,MAAM,GAA+B,IAAI,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,CAAC,GAAG,CAAiB,CAAC;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QAE/C,uCAAuC;QACvC,IAAI,GAAG,GAA+B,IAAI,CAAC;QAC3C,IAAI,GAAG,GAAuB,IAAI,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,eAAe,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,EAAE,CAAC;YAChG,GAAG,GAAG,CAAC,CAAC,IAA2B,CAAC;YACpC,GAAG,GAAG,CAAC,CAAC,KAAoB,CAAC;QACjC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY,CAAC,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,YAAY,CAAC,eAAe,EAAE,CAAC;YACvG,GAAG,GAAG,CAAC,CAAC,KAA4B,CAAC;YACrC,GAAG,GAAG,CAAC,CAAC,IAAmB,CAAC;QAChC,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,gEAAgE;QAChE,qEAAqE;QACrE,iEAAiE;QACjE,iEAAiE;QACjE,oEAAoE;QACpE,sEAAsE;QACtE,MAAM,kBAAkB,GAAG,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,IAAI,kBAAkB,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QACxD,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAEjD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,CAAC;QACjB,CAAC;aAAM,IAAI,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,WAAW,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE;YAAE,OAAO,IAAI,CAAC,CAAC,+BAA+B;IACxE,CAAC;IAED,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhD,sEAAsE;IACtE,uEAAuE;IACvE,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,iDAAiD;IACjD,MAAM,YAAY,GAAG,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACxF,IAAI,YAAY,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7E,uCAAuC;IACvC,MAAM,GAAG,GAAe;QACpB,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,MAAM,CAAC,UAAU;QACvB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;KACxC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/src/planner/analysis/predicate-shape.d.ts

@@ -10,10 +10,29 @@
  */
 import type * as AST from '../../parser/ast.js';
 import type { SqlValue } from '../../common/types.js';
+/**
+ * Resolves an AST column/identifier expression to a base-table column index, or
+ * `undefined` when it is not a (recognized) column of the frame. The default
+ * realization is bare-name resolution — `columnIndexFromExpr` bound to a column
+ * index map, ignoring any table/alias qualifier. The coverage prover injects a
+ * qualifier-aware variant for join bodies, so `alias.col` resolves only against
+ * the source `alias` actually denotes (see `coverage-prover.ts`).
+ */
+export type ColumnIndexResolver = (expr: AST.Expression) => number | undefined;
 /**
  * Return the column index for an `AST.ColumnExpr` or unqualified
  * `AST.IdentifierExpr` that names a column in `columnIndexMap`; undefined
- * otherwise. Schema-qualified identifiers (`other.foo`) are rejected.
+ * otherwise. Schema-qualified identifiers (`other.foo`) are rejected. The
+ * table/alias qualifier on a `ColumnExpr` (`alias.col`) is **ignored** — bare
+ * name resolution only; callers needing qualifier-awareness compose a
+ * {@link ColumnIndexResolver}.
+ *
+ * The qualifier-blindness is load-bearing for CHECK extraction: `new.<col>`
+ * row-image references resolve to the bare column, which is deliberate — NEW
+ * is the stored row image, so NEW-qualified references are same-row facts.
+ * Self-table qualifiers (`t.col` on the owning table) resolve the same way.
+ * `old.<col>` references are NOT same-row; check-extraction screens those out
+ * wholesale (`containsOldRowImageRef`) before this resolver ever sees them.
  */
 export declare function columnIndexFromExpr(expr: AST.Expression, columnIndexMap: ReadonlyMap<string, number>): number | undefined;
 /**
@@ -41,6 +60,22 @@ export declare function flipComparison(op: string): string;
  * `partial-unique-extraction.ts` (top-level OR guard recognition).
  */
 export declare function flattenDisjunction(expr: AST.Expression): AST.Expression[];
+/**
+ * Depth-first iteration over every AST node in `expr`'s subtree. Children are
+ * discovered reflectively (any object/array property carrying a `type` field)
+ * rather than via a typed visitor table, so soundness-sensitive walkers (the
+ * collation gate, the non-determinism screen) cannot silently miss node kinds
+ * a visitor enumeration forgot.
+ */
+export declare function walkAstNodes(expr: AST.Expression): IterableIterator<AST.AstNode>;
+/**
+ * Collect the collation name of every COLLATE node anywhere in `expr`'s
+ * subtree, as written (uninterpreted — no normalization). Empty array when the
+ * subtree contains none. Used by the schema-level value-discrimination gate
+ * (`comparison-collation.ts`) to detect non-BINARY wrappers inside compound
+ * comparison operands.
+ */
+export declare function collectCollateNames(expr: AST.Expression): string[];
 /**
  * Collect the set of column indices referenced by `expr`. Only column /
  * identifier nodes naming columns in `columnIndexMap` count. Returns an empty

package/dist/src/planner/analysis/predicate-shape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-shape.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAClC,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,MAAM,GAAG,SAAS,CAWpB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,SAAS,CAMvE;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAQjD;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,EAAE,CAczE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CACjC,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,GAAG,CAAC,MAAM,CAAC,CAwBb"}
+{"version":3,"file":"predicate-shape.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,MAAM,GAAG,SAAS,CAAC;AAE/E;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CAClC,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,MAAM,GAAG,SAAS,CAWpB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,SAAS,CAMvE;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAQjD;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,EAAE,CAczE;AAED;;;;;;GAMG;AACH,wBAAiB,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAmBjF;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,MAAM,EAAE,CAQlE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CACjC,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,GAAG,CAAC,MAAM,CAAC,CASb"}

package/dist/src/planner/analysis/predicate-shape.js

@@ -11,7 +11,17 @@
 /**
  * Return the column index for an `AST.ColumnExpr` or unqualified
  * `AST.IdentifierExpr` that names a column in `columnIndexMap`; undefined
- * otherwise. Schema-qualified identifiers (`other.foo`) are rejected.
+ * otherwise. Schema-qualified identifiers (`other.foo`) are rejected. The
+ * table/alias qualifier on a `ColumnExpr` (`alias.col`) is **ignored** — bare
+ * name resolution only; callers needing qualifier-awareness compose a
+ * {@link ColumnIndexResolver}.
+ *
+ * The qualifier-blindness is load-bearing for CHECK extraction: `new.<col>`
+ * row-image references resolve to the bare column, which is deliberate — NEW
+ * is the stored row image, so NEW-qualified references are same-row facts.
+ * Self-table qualifiers (`t.col` on the owning table) resolve the same way.
+ * `old.<col>` references are NOT same-row; check-extraction screens those out
+ * wholesale (`containsOldRowImageRef`) before this resolver ever sees them.
  */
 export function columnIndexFromExpr(expr, columnIndexMap) {
     if (expr.type === 'column') {
@@ -82,22 +92,17 @@ export function flattenDisjunction(expr) {
     return out;
 }
 /**
- * Collect the set of column indices referenced by `expr`. Only column /
- * identifier nodes naming columns in `columnIndexMap` count. Returns an empty
- * set when the expression references zero recognized columns; the caller can
- * distinguish "no columns" (constant expression) from "exactly one column"
- * by inspecting the size.
+ * Depth-first iteration over every AST node in `expr`'s subtree. Children are
+ * discovered reflectively (any object/array property carrying a `type` field)
+ * rather than via a typed visitor table, so soundness-sensitive walkers (the
+ * collation gate, the non-determinism screen) cannot silently miss node kinds
+ * a visitor enumeration forgot.
  */
-export function collectColumnNames(expr, columnIndexMap) {
-    const out = new Set();
+export function* walkAstNodes(expr) {
     const stack = [expr];
     while (stack.length > 0) {
         const node = stack.pop();
-        const idx = node.type === 'column' || node.type === 'identifier'
-            ? columnIndexFromExpr(node, columnIndexMap)
-            : undefined;
-        if (idx !== undefined)
-            out.add(idx);
+        yield node;
         for (const key of Object.keys(node)) {
             const v = node[key];
             if (!v)
@@ -114,6 +119,39 @@ export function collectColumnNames(expr, columnIndexMap) {
             }
         }
     }
+}
+/**
+ * Collect the collation name of every COLLATE node anywhere in `expr`'s
+ * subtree, as written (uninterpreted — no normalization). Empty array when the
+ * subtree contains none. Used by the schema-level value-discrimination gate
+ * (`comparison-collation.ts`) to detect non-BINARY wrappers inside compound
+ * comparison operands.
+ */
+export function collectCollateNames(expr) {
+    const out = [];
+    for (const node of walkAstNodes(expr)) {
+        if (node.type === 'collate') {
+            out.push(node.collation);
+        }
+    }
+    return out;
+}
+/**
+ * Collect the set of column indices referenced by `expr`. Only column /
+ * identifier nodes naming columns in `columnIndexMap` count. Returns an empty
+ * set when the expression references zero recognized columns; the caller can
+ * distinguish "no columns" (constant expression) from "exactly one column"
+ * by inspecting the size.
+ */
+export function collectColumnNames(expr, columnIndexMap) {
+    const out = new Set();
+    for (const node of walkAstNodes(expr)) {
+        const idx = node.type === 'column' || node.type === 'identifier'
+            ? columnIndexFromExpr(node, columnIndexMap)
+            : undefined;
+        if (idx !== undefined)
+            out.add(idx);
+    }
     return out;
 }
 //# sourceMappingURL=predicate-shape.js.map

package/dist/src/planner/analysis/predicate-shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-shape.js","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAClC,IAAoB,EACpB,cAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;QACnC,OAAO,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAA0B,CAAC;QACvC,IAAI,GAAG,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QACjC,OAAO,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoB;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAuB,CAAC;IACpC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IACpB,IAAI,CAAC,YAAY,OAAO;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,CAAC,CAAC;AACV,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU;IACxC,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACtD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,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,IAAI,EAAE,CAAC;YACxE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,wEAAwE;YACxE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CACjC,IAAoB,EACpB,cAA2C;IAE3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,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,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAC/D,CAAC,CAAC,mBAAmB,CAAC,IAAsB,EAAE,cAAc,CAAC;YAC7D,CAAC,CAAC,SAAS,CAAC;QACb,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,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,GAAG,CAAC;AACZ,CAAC"}
+{"version":3,"file":"predicate-shape.js","sourceRoot":"","sources":["../../../../src/planner/analysis/predicate-shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAeH;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,mBAAmB,CAClC,IAAoB,EACpB,cAA2C;IAE3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;QACnC,OAAO,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAA0B,CAAC;QACvC,IAAI,GAAG,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QACjC,OAAO,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAoB;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAuB,CAAC;IACpC,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC;IACpB,IAAI,CAAC,YAAY,OAAO;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,CAAC,CAAC;AACV,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU;IACxC,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,KAAK,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC;QACvB,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACtD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,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,IAAI,EAAE,CAAC;YACxE,MAAM,CAAC,GAAG,GAAqB,CAAC;YAChC,wEAAwE;YACxE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,IAAoB;IACjD,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,MAAM,IAAI,CAAC;QACX,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;AACF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAoB;IACvD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAE,IAAwB,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CACjC,IAAoB,EACpB,cAA2C;IAE3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;YAC/D,CAAC,CAAC,mBAAmB,CAAC,IAAsB,EAAE,cAAc,CAAC;YAC7D,CAAC,CAAC,SAAS,CAAC;QACb,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC"}

package/dist/src/planner/analysis/query-rewrite-matcher.d.ts

@@ -0,0 +1,314 @@
+/**
+ * Query-rewrite matcher — the read-side dual of the coverage prover. It
+ * recognizes when an *arbitrary* scan-projection-filter query fragment (one that
+ * never names a materialized view) is **answered from** a covering MV, so the
+ * optimizer can scan the MV's backing table with a bounded residual instead of
+ * recomputing the body against the base tables.
+ *
+ * Distinct from `coverage-prover.ts` (which proves a *base-table UNIQUE
+ * constraint* is covered, on the write/enforcement path) but sharing its
+ * entailment vocabulary: `recognizeConjunctiveClauses` / `guardClausesEntail`
+ * (`partial-unique-extraction.ts`). The question answered here is **output-relation
+ * subsumption**: does the MV's stored output relation contain a superset (re-
+ * coverable via a bounded residual) of the rows the fragment produces, keyed so
+ * the residual recovers exactly the fragment's output?
+ *
+ * Soundness contract (mirrors the coverage prover exactly): **a false NotMatch
+ * only forgoes a speedup; a false Match returns wrong rows.** Every check forgoes
+ * the rewrite on doubt. The pre-existing recompute-over-base path is correct by
+ * construction; the rule only ever replaces it with a provably row-equivalent
+ * plan, so the rewrite is non-regressing.
+ *
+ * This phase delivers the **projection + filter subsumption** shape only.
+ * Aggregate rollup (`mv-query-rewrite-aggregate-rollup`) and join subsumption
+ * (`mv-query-rewrite-join-subsumption`) are pure additions to this matcher.
+ *
+ * ## Where the predicates come from (the pristine-fragment requirement)
+ *
+ * The fragment's WHERE is read from the live plan's `FilterNode` predicate (its
+ * `.expression` AST), and the MV's WHERE from `mv.derivation.selectAst.where`. Reading the
+ * fragment WHERE from the plan is only sound while the predicate is still an
+ * explicit `FilterNode` above the table access — *before* predicate-pushdown
+ * absorbs it into a range-bounded scan (where the matcher could no longer see it
+ * and would falsely treat the fragment as unfiltered). The rule that drives this
+ * matcher therefore fires in the **Structural rewrite pass, before grow-retrieve /
+ * predicate-pushdown**, where the fragment is the pristine
+ * `Project(Filter?(Retrieve(TableReference)))`. The shape walk additionally
+ * rejects any range-bounded physical scan (`SeqScan`/`IndexScan` with
+ * `rangeBoundedOn`, or an `IndexSeek`/`TableSeek`) as `'shape'` — defense in depth
+ * should an absorbed predicate ever reach the walk by another path.
+ *
+ * ## Why `.expression` recognition is sound under constant folding
+ *
+ * A scalar plan node retains its originating AST in `.expression`. Constant
+ * folding (which runs before the Structural pass) may make the *plan* more
+ * specific than its `.expression` (e.g. folding `1+1` → `2` while `.expression`
+ * still reads `amt > 1+1`). Such a divergence only ever makes a clause
+ * *unrecognized* (`literalValue` of a non-literal AST returns undefined), which is
+ * a conservative NotMatch — it never fabricates a recognized clause weaker than
+ * what the plan computes, so it cannot produce a false Match.
+ */
+import type { RelationalPlanNode, ScalarPlanNode, GuardClause, Attribute } from '../nodes/plan-node.js';
+import { ProjectNode } from '../nodes/project-node.js';
+import { TableReferenceNode } from '../nodes/reference.js';
+import { AggregateNode } from '../nodes/aggregate-node.js';
+import { JoinNode } from '../nodes/join-node.js';
+import type { MaintainedTableSchema } from '../../schema/derivation.js';
+import type { TableSchema } from '../../schema/table.js';
+export type RewriteFailureReason = 'no-candidate' | 'shape' | 'source-mismatch' | 'predicate-not-entailed' | 'missing-column' | 'aggregate-shape' | 'group-key-mismatch' | 'group-key-pinned' | 'aggregate-not-decomposable' | 'cost-declined';
+export interface RewriteMatch {
+    readonly mv: MaintainedTableSchema;
+    readonly backing: TableSchema;
+    /**
+     * The recognized clauses of {@link residualConjuncts} — the extra predicate the
+     * fragment imposes beyond the MV's WHERE, in **base-table column-index** space.
+     * Empty ⇒ no residual filter. Exposed for diagnostics / unit tests; the rule
+     * builds the residual `Filter` from {@link residualConjuncts}, not from these.
+     */
+    readonly residualClauses: readonly GuardClause[];
+    /**
+     * The fragment's own WHERE conjunct plan nodes that are NOT already entailed by
+     * the MV's WHERE — the residual `Filter` to apply on top of the backing scan.
+     * Still reference the fragment's base-table attributes; the rule re-binds their
+     * column references onto the backing scan (via {@link backingColOfBaseCol}).
+     * Empty ⇒ no residual filter.
+     */
+    readonly residualConjuncts: readonly ScalarPlanNode[];
+    /**
+     * For each fragment output attribute (in output order), the backing-table column
+     * index that supplies it (a bare passthrough) — drives the residual `Project`.
+     */
+    readonly outputColumnMap: ReadonlyArray<{
+        attrId: number;
+        backingCol: number;
+    }>;
+    /**
+     * Base-table column index → backing-table column index. The rule uses this to
+     * re-bind both the residual conjuncts' and the output projections' column
+     * references onto the backing scan.
+     */
+    readonly backingColOfBaseCol: ReadonlyMap<number, number>;
+    /**
+     * Present iff this match answers a **join** fragment from a 1:1-join MV (the
+     * {@link matchJoinFragmentToMv} arm). The single-source arms key their residual
+     * re-bind on the base column index, which is ambiguous across a join (the same
+     * index can name a column of either source). The join arm therefore re-binds the
+     * residual by **stable source attribute id** instead: this maps each fragment
+     * `T`/`P` source attribute id to the backing column that stores it. Absent ⇒ use
+     * {@link backingColOfBaseCol}.
+     */
+    readonly backingColOfSourceAttrId?: ReadonlyMap<number, number>;
+    /** Present iff this is a {@link matchJoinFragmentToMv} match — carries the cost
+     *  gate's per-side cardinality inputs. Absent for the single-source arms. */
+    readonly joinInfo?: JoinRewriteInfo;
+    /**
+     * Present iff this match answers an **aggregate** fragment from a grouped MV
+     * (the {@link matchAggregateFragmentToMv} arm). Absent ⇒ a plain
+     * projection-filter match (the foundation arm).
+     *
+     *  - `exact === true` (query group key == MV group key) — the backing rows *are*
+     *    the answer: {@link outputColumnMap} + {@link residualConjuncts} fully
+     *    describe a direct scan, so the rule reuses the foundation's `buildReplacement`
+     *    (scan → optional residual Filter on group-key columns → residual Project). No
+     *    re-aggregation. The other `rollup` fields are unused.
+     *  - `exact === false` (query group key ⊊ MV group key, incl. the empty global key)
+     *    — the rule re-aggregates the backing rows down to {@link groupKeyBackingCols}
+     *    using the per-aggregate {@link aggregates} recipes. {@link outputColumnMap}
+     *    is unused in this case.
+     */
+    readonly rollup?: AggregateRollup;
+}
+/**
+ * How to reconstruct one fragment aggregate from the MV's stored backing columns
+ * during a rollup re-aggregation. The recombine is sound only for the
+ * decomposable-aggregate allowlist (see {@link matchAggregateFragmentToMv}).
+ */
+export interface AggregateRecipe {
+    /** The fragment aggregate's output attribute (preserved through the rewrite). */
+    readonly outAttr: Attribute;
+    /**
+     * The recombine operator over the backing column(s):
+     *  - `'sum'` — re-aggregate `sum(backingCol)` (reconstructs `sum(x)`).
+     *  - `'count'` — re-aggregate `coalesce(sum(backingCol), 0)` (reconstructs
+     *    `count(*)` / `count(x)`; the coalesce restores the count-over-zero-rows = 0
+     *    semantics a bare `sum` would surface as NULL for the empty global group).
+     *  - `'min'` / `'max'` — re-aggregate `min`/`max` of the partials.
+     *  - `'avg'` — `sum(sumBackingCol) / sum(countBackingCol)` (Quereus `/` is real
+     *    division, matching the native `avg`; NULL/0 over zero rows ⇒ NULL).
+     */
+    readonly kind: 'sum' | 'count' | 'min' | 'max' | 'avg';
+    /** Backing column(s): `[col]` for sum/count/min/max; `[sumCol, countCol]` for avg. */
+    readonly backingCols: readonly number[];
+}
+/** The aggregate-rollup descriptor on a {@link RewriteMatch}. */
+export interface AggregateRollup {
+    /** True ⇒ exact-key direct scan (no re-aggregation); false ⇒ rollup re-aggregate. */
+    readonly exact: boolean;
+    /** Query group key in backing-column indices (in fragment group order; `[]` for the global scalar). */
+    readonly groupKeyBackingCols: readonly number[];
+    /** Fragment group-key output attributes (in order) — preserved by the re-aggregate's group columns. */
+    readonly groupOutAttrs: readonly Attribute[];
+    /** One recipe per fragment aggregate, in fragment aggregate order. */
+    readonly aggregates: readonly AggregateRecipe[];
+}
+/** Per-side cardinality inputs for the join arm's cost gate (see the rule). The
+ *  driving `T` side is 1:1 with the joined output, so the backing carries one row
+ *  per governed `T` row; the recompute side additionally pays the `P` scan + join. */
+export interface JoinRewriteInfo {
+    readonly drivingTable: TableSchema;
+    readonly lookupTable: TableSchema;
+}
+export type RewriteResult = {
+    match: RewriteMatch;
+} | {
+    match: undefined;
+    reason: RewriteFailureReason;
+};
+/** A predicate over the named function is deterministic iff this returns true. */
+export type DeterminismProbe = (fnName: string, argc: number) => boolean;
+/**
+ * The recognized scan-project-filter shape of a query fragment: its single base
+ * table, the bare-column output mapping, and the WHERE conjuncts. Shared so the
+ * rule can analyze the fragment once (to enumerate candidate MVs by base table)
+ * and reuse the result across every candidate match.
+ */
+export interface FragmentShape {
+    readonly project: ProjectNode;
+    readonly tableRef: TableReferenceNode;
+    readonly baseTable: TableSchema;
+    /** One per fragment output column, in order. `baseCol` is the base-table column
+     *  the bare-column projection passes through, or `undefined` for a computed
+     *  output (v1 cannot recover it from the backing — a `missing-column` NotMatch). */
+    readonly outputs: ReadonlyArray<{
+        attrId: number;
+        baseCol: number | undefined;
+    }>;
+    /** Top-level AND-split conjuncts of the fragment WHERE (empty ⇒ no filter). */
+    readonly conjuncts: readonly ScalarPlanNode[];
+}
+export type FragmentResult = {
+    ok: true;
+    shape: FragmentShape;
+} | {
+    ok: false;
+    reason: RewriteFailureReason;
+};
+/**
+ * Recognize a query fragment rooted at a `ProjectNode` as a single-source
+ * scan-project-filter chain. Walks `Project → Filter? → {Retrieve|Alias|full
+ * SeqScan/IndexScan}* → TableReference`. Any other node (Sort/Limit/Distinct/
+ * Aggregate/Join/SetOp, or a row-reducing seek / range-bounded scan) ⇒ `'shape'`.
+ */
+export declare function analyzeQueryFragment(root: RelationalPlanNode): FragmentResult;
+/**
+ * Decide whether `mv` (backed by `backing`) answers the fragment `shape`. See the
+ * module doc for the soundness contract. `isDeterministic` probes the function
+ * registry for the determinism gate (a registered MV is already deterministic by
+ * construction — the create gate rejects non-deterministic bodies — so this is
+ * defense in depth).
+ */
+export declare function matchFragmentToMv(shape: FragmentShape, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+/**
+ * Convenience entry point (used by the unit tests): analyze `root` as a fragment
+ * and, on success, match it against `mv`. Returns the fragment-analysis failure
+ * reason when `root` is not a recognizable scan-project-filter chain.
+ */
+export declare function matchMaterializedViewRewrite(root: RelationalPlanNode, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+/** A fragment aggregate recognized as `f([col])` / `count(*)` over the base table. */
+export interface FragmentAggregate {
+    /** Lowercased aggregate function name. */
+    readonly funcName: string;
+    /** Base-table column index of a bare-column argument; `undefined` ⇒ no argument (`count(*)`). */
+    readonly argBaseCol: number | undefined;
+    readonly isDistinct: boolean;
+    /** The fragment output attribute this aggregate produces. */
+    readonly outAttr: Attribute;
+}
+/**
+ * The recognized shape of an aggregate query fragment: its single base table, the
+ * bare-column GROUP BY key, the aggregates, and the pre-aggregation WHERE conjuncts.
+ */
+export interface AggregateFragmentShape {
+    readonly aggregateNode: AggregateNode;
+    readonly tableRef: TableReferenceNode;
+    readonly baseTable: TableSchema;
+    /** Query GROUP BY key as base-table column indices, in group order (`[]` for the global scalar). */
+    readonly groupBaseCols: readonly number[];
+    /** Query GROUP BY output attributes, in order. */
+    readonly groupOutAttrs: readonly Attribute[];
+    readonly aggregates: readonly FragmentAggregate[];
+    /** Top-level AND-split conjuncts of the pre-aggregation WHERE (empty ⇒ no filter). */
+    readonly conjuncts: readonly ScalarPlanNode[];
+}
+export type AggregateFragmentResult = {
+    ok: true;
+    shape: AggregateFragmentShape;
+} | {
+    ok: false;
+    reason: RewriteFailureReason;
+};
+/**
+ * Recognize a query fragment rooted at a logical {@link AggregateNode} (the shape
+ * the optimizer presents in the Structural pass, before physical aggregate
+ * selection) as a single-source aggregate over a scan-filter chain. Requires
+ * **bare-column** GROUP BY expressions and aggregate arguments — a computed group
+ * key or aggregate argument (`group by d+1`, `sum(amt*2)`, `group_concat(x, ',')`)
+ * is unrecoverable from a stored MV column in v1 ⇒ `aggregate-shape`. Mirrors the
+ * row-time aggregate eligibility gate, which likewise requires bare group columns.
+ */
+export declare function analyzeAggregateFragment(root: RelationalPlanNode): AggregateFragmentResult;
+/**
+ * Decide whether the grouped MV `mv` (backed by `backing`) answers the aggregate
+ * fragment `shape`. See the arm doc above for the two sub-cases and the soundness
+ * contract; every check forgoes on doubt (a false NotMatch only forgoes a speedup).
+ */
+export declare function matchAggregateFragmentToMv(shape: AggregateFragmentShape, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+/**
+ * Convenience entry point (used by the unit tests): analyze `root` as an aggregate
+ * fragment and, on success, match it against `mv`.
+ */
+export declare function matchAggregateMaterializedViewRewrite(root: RelationalPlanNode, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+/** The recognized shape of a join query fragment: its `Project` root, the single
+ *  binary join, the two base table references, and the post-join WHERE conjuncts. */
+export interface JoinFragmentShape {
+    readonly project: ProjectNode;
+    readonly joinNode: JoinNode;
+    /** The two base-table references under the join (exactly two, distinct tables). */
+    readonly tableRefs: readonly [TableReferenceNode, TableReferenceNode];
+    /** Top-level AND-split conjuncts of the post-join WHERE (empty ⇒ no filter). */
+    readonly conjuncts: readonly ScalarPlanNode[];
+}
+export type JoinFragmentResult = {
+    ok: true;
+    shape: JoinFragmentShape;
+} | {
+    ok: false;
+    reason: RewriteFailureReason;
+};
+/**
+ * Recognize a query fragment rooted at a `ProjectNode` whose source descends —
+ * through an optional `Filter` (post-join WHERE) and single-source pass-throughs —
+ * into a single binary {@link JoinNode} over exactly two distinct base tables. Any
+ * other shape (no join, a multi-way join, a non-passthrough node, a row-reducing
+ * scan) ⇒ `'shape'`. The fragment is pristine (the rule fires before
+ * predicate-pushdown / grow-retrieve), so the join's `ON` condition and the WHERE
+ * `Filter` are still explicit.
+ */
+export declare function analyzeJoinQueryFragment(root: RelationalPlanNode): JoinFragmentResult;
+/**
+ * Decide whether the 1:1-join MV `mv` (optimized body `mvBodyRoot`, backed by
+ * `backing`) answers the join fragment `shape`. See the arm doc above for the
+ * soundness contract; every check forgoes on doubt.
+ *
+ * `mvBodyRoot` is the MV body's optimized relational root (the rule plans it
+ * suppressed and caches it). When the rule could not plan it, pass `undefined` ⇒
+ * `no-candidate`.
+ */
+export declare function matchJoinFragmentToMv(shape: JoinFragmentShape, mv: MaintainedTableSchema, mvBodyRoot: RelationalPlanNode | undefined, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+/**
+ * Convenience entry point (used by the unit tests): analyze `root` as a join
+ * fragment and, on success, match it against `mv` (whose optimized body root is
+ * `mvBodyRoot`).
+ */
+export declare function matchJoinMaterializedViewRewrite(root: RelationalPlanNode, mv: MaintainedTableSchema, mvBodyRoot: RelationalPlanNode | undefined, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+//# sourceMappingURL=query-rewrite-matcher.d.ts.map

package/dist/src/planner/analysis/query-rewrite-matcher.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-rewrite-matcher.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/query-rewrite-matcher.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAY,MAAM,uBAAuB,CAAC;AAElH,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAIvD,OAAO,EAAE,kBAAkB,EAAuB,MAAM,uBAAuB,CAAC;AAGhF,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAMzD,MAAM,MAAM,oBAAoB,GAC7B,cAAc,GACd,OAAO,GACP,iBAAiB,GACjB,wBAAwB,GACxB,gBAAgB,GAChB,iBAAiB,GACjB,oBAAoB,GACpB,kBAAkB,GAClB,4BAA4B,GAC5B,eAAe,CAAC;AAEnB,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,SAAS,WAAW,EAAE,CAAC;IACjD;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D;;;;;;;;OAQG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE;iFAC6E;IAC7E,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IACpC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC/B,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IACvD,sFAAsF;IACtF,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC/B,qFAAqF;IACrF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uGAAuG;IACvG,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,uGAAuG;IACvG,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;CAChD;AAED;;sFAEsF;AACtF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CAClC;AAED,MAAM,MAAM,aAAa,GACtB;IAAE,KAAK,EAAE,YAAY,CAAA;CAAE,GACvB;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAEtD,kFAAkF;AAClF,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;AAMzE;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC;;wFAEoF;IACpF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC,CAAC;IACjF,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,cAAc,GACvB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAClC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAmB7E;AA6CD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,aAAa,EACpB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA+Ff;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC3C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf;AAkBD,sFAAsF;AACtF,MAAM,WAAW,iBAAiB;IACjC,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iGAAiG;IACjG,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,oGAAoG;IACpG,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,kDAAkD;IAClD,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,uBAAuB,GAChC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,GAC3C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,CAmD1F;AAkBD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACzC,KAAK,EAAE,sBAAsB,EAC7B,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAyKf;AAED;;;GAGG;AACH,wBAAgB,qCAAqC,CACpD,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf;AA4BD;qFACqF;AACrF,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACtE,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,kBAAkB,GAC3B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GACtC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,kBAAkB,CAgBrF;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACpC,KAAK,EAAE,iBAAiB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA4Ef;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC/C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf"}