@quereus/quereus 2.7.0 → 2.9.0

package/dist/src/planner/rules/join/rule-join-physical-selection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-join-physical-selection.d.ts","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-physical-selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAiD,MAAM,0BAA0B,CAAC;AACxG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AA6K7D,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAiJ/F"}
+{"version":3,"file":"rule-join-physical-selection.d.ts","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-physical-selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAiD,MAAM,0BAA0B,CAAC;AACxG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AA+C7D,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAqI/F"}

package/dist/src/planner/rules/join/rule-join-physical-selection.js

@@ -15,118 +15,10 @@ import { JoinNode } from '../../nodes/join-node.js';
 import { BloomJoinNode } from '../../nodes/bloom-join-node.js';
 import { MergeJoinNode } from '../../nodes/merge-join-node.js';
 import { SortNode } from '../../nodes/sort.js';
-import { BinaryOpNode } from '../../nodes/scalar.js';
 import { ColumnReferenceNode } from '../../nodes/reference.js';
-import { normalizePredicate } from '../../analysis/predicate-normalizer.js';
 import { nestedLoopJoinCost, hashJoinCost, mergeJoinCost } from '../../cost/index.js';
-import { PlanNodeCharacteristics } from '../../framework/characteristics.js';
+import { extractEquiPairs, extractEquiPairsFromUsing, isOrderedOnEquiPairs, reorderEquiPairsForMerge, } from './equi-pair-extractor.js';
 const log = createLogger('optimizer:rule:join-physical-selection');
-/**
- * Extract equi-join pairs and residual predicates from an ON condition.
- * Returns null if no equi-pairs found.
- */
-function extractEquiPairs(condition, leftAttrIds, rightAttrIds) {
-    if (!condition)
-        return null;
-    const norm = normalizePredicate(condition);
-    const equiPairs = [];
-    const residuals = [];
-    // Walk AND-tree and classify each conjunct
-    const stack = [norm];
-    while (stack.length) {
-        const n = stack.pop();
-        if (n instanceof BinaryOpNode && n.expression.operator === 'AND') {
-            stack.push(n.left, n.right);
-            continue;
-        }
-        // Check for equi-join: col_ref = col_ref across left/right
-        let isEqui = false;
-        if (n instanceof BinaryOpNode && n.expression.operator === '=') {
-            if (n.left instanceof ColumnReferenceNode && n.right instanceof ColumnReferenceNode) {
-                const lId = n.left.attributeId;
-                const rId = n.right.attributeId;
-                if (leftAttrIds.has(lId) && rightAttrIds.has(rId)) {
-                    equiPairs.push({ leftAttrId: lId, rightAttrId: rId });
-                    isEqui = true;
-                }
-                else if (leftAttrIds.has(rId) && rightAttrIds.has(lId)) {
-                    equiPairs.push({ leftAttrId: rId, rightAttrId: lId });
-                    isEqui = true;
-                }
-            }
-        }
-        if (!isEqui) {
-            residuals.push(n);
-        }
-    }
-    if (equiPairs.length === 0)
-        return null;
-    // Combine residuals back into an AND-tree
-    let residual;
-    if (residuals.length > 0) {
-        residual = residuals.reduce((acc, cur) => new BinaryOpNode(cur.scope, { type: 'binary', operator: 'AND' }, acc, cur));
-    }
-    return { equiPairs, residual };
-}
-/**
- * Check if a source's ordering covers the given equi-pair columns.
- * Returns true if the source is already sorted ascending on the equi-pair
- * columns in the exact order the equi-pairs specify.  Positional matching
- * is required because the merge-join emitter compares keys in equi-pair
- * order; a mismatch (e.g. source sorted (b, a) vs equi-pairs (a, b))
- * would break the linear-scan invariant.
- */
-function isOrderedOnEquiPairs(source, equiPairs, side) {
-    const ordering = PlanNodeCharacteristics.getOrdering(source);
-    if (!ordering || ordering.length === 0)
-        return false;
-    if (equiPairs.length > ordering.length)
-        return false;
-    const attrs = source.getAttributes();
-    for (let i = 0; i < equiPairs.length; i++) {
-        const attrId = side === 'left' ? equiPairs[i].leftAttrId : equiPairs[i].rightAttrId;
-        const idx = attrs.findIndex(a => a.id === attrId);
-        if (idx === -1)
-            return false;
-        // Ordering entry at position i must match this equi-pair column and
-        // must be ascending (merge join's compareKeys assumes ASC order).
-        if (ordering[i].column !== idx || ordering[i].desc)
-            return false;
-    }
-    return true;
-}
-/**
- * Reorder equi-pairs to match the left source's physical ordering prefix.
- * The merge-join emitter compares keys in equi-pair order, so the pairs
- * must align with both sources' sort order.  Returns null if the pairs
- * cannot be reordered to match both sides simultaneously.
- */
-function reorderEquiPairsForMerge(equiPairs, left, right) {
-    const leftOrdering = PlanNodeCharacteristics.getOrdering(left);
-    if (!leftOrdering || leftOrdering.length < equiPairs.length)
-        return null;
-    const leftAttrs = left.getAttributes();
-    // Build a map from left column index → equi-pair index
-    const colToEqIdx = new Map();
-    for (let i = 0; i < equiPairs.length; i++) {
-        const attrIdx = leftAttrs.findIndex(a => a.id === equiPairs[i].leftAttrId);
-        if (attrIdx === -1)
-            return null;
-        colToEqIdx.set(attrIdx, i);
-    }
-    // Reorder to match the left ordering prefix
-    const reordered = [];
-    for (let i = 0; i < equiPairs.length; i++) {
-        const eqIdx = colToEqIdx.get(leftOrdering[i].column);
-        if (eqIdx === undefined || leftOrdering[i].desc)
-            return null;
-        reordered.push(equiPairs[eqIdx]);
-    }
-    // Verify the reordered pairs also match the right source's ordering
-    if (!isOrderedOnEquiPairs(right, reordered, 'right'))
-        return null;
-    return reordered;
-}
 /**
  * Create a SortNode that sorts a source on the equi-pair columns for this side.
  */
@@ -137,7 +29,7 @@ function createSortForEquiPairs(source, equiPairs, side, scope) {
         const idx = attrs.findIndex(a => a.id === attrId);
         const attr = attrs[idx];
         // Create a ColumnReferenceNode for this attribute
-        const colRef = new ColumnReferenceNode(scope, { type: 'column', table: '', column: attr.name, schema: '' }, attr.type, attr.id, idx);
+        const colRef = new ColumnReferenceNode(scope, { type: 'column', table: '', name: attr.name, schema: '' }, attr.type, attr.id, idx);
         return {
             expression: colRef,
             direction: 'asc',
@@ -165,19 +57,7 @@ export function ruleJoinPhysicalSelection(node, _context) {
         extracted = extractEquiPairs(node.condition, leftAttrIds, rightAttrIds);
     }
     else if (node.usingColumns) {
-        // Convert USING columns to equi-pairs
-        const equiPairs = [];
-        for (const colName of node.usingColumns) {
-            const lowerName = colName.toLowerCase();
-            const leftAttr = leftAttrs.find(a => a.name.toLowerCase() === lowerName);
-            const rightAttr = rightAttrs.find(a => a.name.toLowerCase() === lowerName);
-            if (leftAttr && rightAttr) {
-                equiPairs.push({ leftAttrId: leftAttr.id, rightAttrId: rightAttr.id });
-            }
-        }
-        if (equiPairs.length > 0) {
-            extracted = { equiPairs, residual: undefined };
-        }
+        extracted = extractEquiPairsFromUsing(node.usingColumns, leftAttrs, rightAttrs);
     }
     if (!extracted || extracted.equiPairs.length === 0)
         return null;

package/dist/src/planner/rules/join/rule-join-physical-selection.js.map

@@ -1 +1 @@
-{"version":3,"file":"rule-join-physical-selection.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-physical-selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,aAAa,EAAqB,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAE7E,MAAM,GAAG,GAAG,YAAY,CAAC,wCAAwC,CAAC,CAAC;AAEnE;;;GAGG;AACH,SAAS,gBAAgB,CACxB,SAAqC,EACrC,WAAwB,EACxB,YAAyB;IAEzB,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,MAAM,IAAI,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,2CAA2C;IAC3C,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,YAAY,YAAY,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QAED,2DAA2D;QAC3D,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,YAAY,YAAY,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;YAChE,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,IAAI,CAAC,CAAC,KAAK,YAAY,mBAAmB,EAAE,CAAC;gBACrF,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;gBAEhC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnD,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,IAAI,CAAC;gBACf,CAAC;qBAAM,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1D,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;oBACtD,MAAM,GAAG,IAAI,CAAC;gBACf,CAAC;YACF,CAAC;QACF,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACF,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAExC,0CAA0C;IAC1C,IAAI,QAAoC,CAAC;IACzC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CACxC,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CACjF,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAC5B,MAA0B,EAC1B,SAAkC,EAClC,IAAsB;IAEtB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAErD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QACpF,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAClD,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAE7B,oEAAoE;QACpE,kEAAkE;QAClE,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;IAClE,CAAC;IAED,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAS,wBAAwB,CAChC,SAAkC,EAClC,IAAwB,EACxB,KAAyB;IAEzB,MAAM,YAAY,GAAG,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzE,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAEvC,uDAAuD;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC3E,IAAI,OAAO,KAAK,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAChC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,4CAA4C;IAC5C,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7D,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,oEAAoE;IACpE,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAElE,OAAO,SAAS,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC9B,MAA0B,EAC1B,SAAkC,EAClC,IAAsB,EACtB,KAA4C;IAE5C,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACrC,MAAM,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,kDAAkD;QAClD,MAAM,MAAM,GAAG,IAAI,mBAAmB,CACrC,KAAK,EACL,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAS,EACnE,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,EAAE,EACP,GAAG,CACH,CAAC;QACF,OAAO;YACN,UAAU,EAAE,MAAwB;YACpC,SAAS,EAAE,KAAc;YACzB,KAAK,EAAE,SAAS;SAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAc,EAAE,QAAoB;IAC7E,oEAAoE;IACpE,IAAI,CAAC,CAAC,IAAI,YAAY,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAE/B,4CAA4C;IAC5C,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAE3G,6CAA6C;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAExD,2DAA2D;IAC3D,IAAI,SAAS,GAA+E,IAAI,CAAC;IAEjG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACpB,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC9B,sCAAsC;QACtC,MAAM,SAAS,GAAmB,EAAE,CAAC;QACrC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,CAAC;YACzE,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,CAAC;YAC3E,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;gBAC3B,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;YACxE,CAAC;QACF,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,SAAS,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;QAChD,CAAC;IACF,CAAC;IAED,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhE,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;IAElD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEvD,kDAAkD;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAEzD,iEAAiE;IACjE,iEAAiE;IACjE,IAAI,cAAc,GAAG,SAAS,CAAC,SAAS,CAAC;IACzC,IAAI,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,wBAAwB,CAAC,cAAc,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,IAAI,SAAS,EAAE,CAAC;YACf,cAAc,GAAG,SAAS,CAAC;YAC3B,WAAW,GAAG,IAAI,CAAC;YACnB,YAAY,GAAG,IAAI,CAAC;QACrB,CAAC;IACF,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,CAAC;IAIvF,IAAI,QAAQ,GAAa,aAAa,CAAC;IACvC,IAAI,QAAQ,GAAG,MAAM,CAAC;IAEtB,IAAI,aAAa,GAAG,QAAQ,EAAE,CAAC;QAC9B,QAAQ,GAAG,MAAM,CAAC;QAClB,QAAQ,GAAG,aAAa,CAAC;IAC1B,CAAC;IACD,IAAI,cAAc,GAAG,QAAQ,EAAE,CAAC;QAC/B,QAAQ,GAAG,OAAO,CAAC;QACnB,QAAQ,GAAG,cAAc,CAAC;IAC3B,CAAC;IAED,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAChC,GAAG,CAAC,wEAAwE,EAC3E,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,GAAG,CAAC,qEAAqE,EACxE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEvE,mDAAmD;IACnD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,EAAiB,CAAC;IAElE,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC1B,kDAAkD;QAClD,IAAI,UAAU,GAAuB,IAAI,CAAC,IAAI,CAAC;QAC/C,IAAI,WAAW,GAAuB,IAAI,CAAC,KAAK,CAAC;QAEjD,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACnF,GAAG,CAAC,mCAAmC,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YACnB,WAAW,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACtF,GAAG,CAAC,oCAAoC,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,UAAU,EACV,WAAW,EACX,QAAQ,EACR,cAAc,EACd,SAAS,CAAC,QAAQ,EAClB,aAAa,CACb,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7B,IAAI,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IAEpC,sEAAsE;IACtE,oEAAoE;IACpE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,GAAG,SAAS,EAAE,CAAC;QAClD,gDAAgD;QAChD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;QACxB,4BAA4B;QAC5B,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,WAAW,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,WAAW,EACX,WAAW,EACX,QAAQ,EACR,SAAS,EACT,SAAS,CAAC,QAAQ,EAClB,aAAa,CACb,CAAC;AACH,CAAC"}
+{"version":3,"file":"rule-join-physical-selection.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-physical-selection.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,aAAa,EAAqB,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACtF,OAAO,EACN,gBAAgB,EAChB,yBAAyB,EACzB,oBAAoB,EACpB,wBAAwB,GACxB,MAAM,0BAA0B,CAAC;AAElC,MAAM,GAAG,GAAG,YAAY,CAAC,wCAAwC,CAAC,CAAC;AAEnE;;GAEG;AACH,SAAS,sBAAsB,CAC9B,MAA0B,EAC1B,SAAkC,EAClC,IAAsB,EACtB,KAA4C;IAE5C,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACrC,MAAM,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,kDAAkD;QAClD,MAAM,MAAM,GAAG,IAAI,mBAAmB,CACrC,KAAK,EACL,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAC1D,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,EAAE,EACP,GAAG,CACH,CAAC;QACF,OAAO;YACN,UAAU,EAAE,MAAwB;YACpC,SAAS,EAAE,KAAc;YACzB,KAAK,EAAE,SAAS;SAChB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,IAAc,EAAE,QAAoB;IAC7E,oEAAoE;IACpE,IAAI,CAAC,CAAC,IAAI,YAAY,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAE/B,4CAA4C;IAC5C,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAE3G,6CAA6C;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAExD,2DAA2D;IAC3D,IAAI,SAAS,GAA+E,IAAI,CAAC;IAEjG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACpB,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC9B,SAAS,GAAG,yBAAyB,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhE,0DAA0D;IAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,GAAG,CAAC;IAElD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEvD,kDAAkD;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAEzD,iEAAiE;IACjE,iEAAiE;IACjE,IAAI,cAAc,GAAG,SAAS,CAAC,SAAS,CAAC;IACzC,IAAI,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,YAAY,CAAC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,wBAAwB,CAAC,cAAc,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,IAAI,SAAS,EAAE,CAAC;YACf,cAAc,GAAG,SAAS,CAAC;YAC3B,WAAW,GAAG,IAAI,CAAC;YACnB,YAAY,GAAG,IAAI,CAAC;QACrB,CAAC;IACF,CAAC;IACD,MAAM,cAAc,GAAG,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,CAAC;IAIvF,IAAI,QAAQ,GAAa,aAAa,CAAC;IACvC,IAAI,QAAQ,GAAG,MAAM,CAAC;IAEtB,IAAI,aAAa,GAAG,QAAQ,EAAE,CAAC;QAC9B,QAAQ,GAAG,MAAM,CAAC;QAClB,QAAQ,GAAG,aAAa,CAAC;IAC1B,CAAC;IACD,IAAI,cAAc,GAAG,QAAQ,EAAE,CAAC;QAC/B,QAAQ,GAAG,OAAO,CAAC;QACnB,QAAQ,GAAG,cAAc,CAAC;IAC3B,CAAC;IAED,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;QAChC,GAAG,CAAC,wEAAwE,EAC3E,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,GAAG,CAAC,qEAAqE,EACxE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEvE,mDAAmD;IACnD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,KAAK,EAAiB,CAAC;IAElE,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC1B,kDAAkD;QAClD,IAAI,UAAU,GAAuB,IAAI,CAAC,IAAI,CAAC;QAC/C,IAAI,WAAW,GAAuB,IAAI,CAAC,KAAK,CAAC;QAEjD,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACnF,GAAG,CAAC,mCAAmC,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YACnB,WAAW,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACtF,GAAG,CAAC,oCAAoC,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,UAAU,EACV,WAAW,EACX,QAAQ,EACR,cAAc,EACd,SAAS,CAAC,QAAQ,EAClB,aAAa,CACb,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7B,IAAI,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC;IAEpC,sEAAsE;IACtE,oEAAoE;IACpE,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,GAAG,SAAS,EAAE,CAAC;QAClD,gDAAgD;QAChD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC;QACxB,4BAA4B;QAC5B,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,WAAW,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,WAAW,EACX,WAAW,EACX,QAAQ,EACR,SAAS,EACT,SAAS,CAAC,QAAQ,EAClB,aAAa,CACb,CAAC;AACH,CAAC"}

package/dist/src/planner/rules/join/rule-lateral-top1-asof.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Rule: Recognize lateral-top-1 over asof predicate, replace with AsofScanNode.
+ *
+ * Pattern (the rule peels through these in any nesting order, ignoring AliasNode):
+ *
+ *     JoinNode (joinType ∈ {inner, left, cross} with `on true` or no condition)
+ *       left:  Left
+ *       right: AliasNode? | ProjectNode | LimitOffsetNode(LIMIT 1, no OFFSET) | SortNode
+ *                 ...peeled in any nesting order...
+ *                 └─ FilterNode (ANDed: q.K op left.K  AND  q.P_i = left.P_i ...)
+ *                       └─ <physical right> with monotonicOn(K) and accessCapabilities.asofRight
+ *
+ * The right side must be correlated against the left (uses outer columns). On
+ * a successful match we emit an AsofScanNode preserving the JoinNode's output
+ * attribute IDs; otherwise we return null and the existing physical-join
+ * selection takes over.
+ */
+import type { PlanNode } from '../../nodes/plan-node.js';
+import type { OptContext } from '../../framework/context.js';
+export declare function ruleLateralTop1Asof(node: PlanNode, context: OptContext): PlanNode | null;
+//# sourceMappingURL=rule-lateral-top1-asof.d.ts.map

package/dist/src/planner/rules/join/rule-lateral-top1-asof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-lateral-top1-asof.d.ts","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-lateral-top1-asof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAiD,MAAM,0BAA0B,CAAC;AAExG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAmT7D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAgGxF"}

package/dist/src/planner/rules/join/rule-lateral-top1-asof.js

@@ -0,0 +1,405 @@
+/**
+ * Rule: Recognize lateral-top-1 over asof predicate, replace with AsofScanNode.
+ *
+ * Pattern (the rule peels through these in any nesting order, ignoring AliasNode):
+ *
+ *     JoinNode (joinType ∈ {inner, left, cross} with `on true` or no condition)
+ *       left:  Left
+ *       right: AliasNode? | ProjectNode | LimitOffsetNode(LIMIT 1, no OFFSET) | SortNode
+ *                 ...peeled in any nesting order...
+ *                 └─ FilterNode (ANDed: q.K op left.K  AND  q.P_i = left.P_i ...)
+ *                       └─ <physical right> with monotonicOn(K) and accessCapabilities.asofRight
+ *
+ * The right side must be correlated against the left (uses outer columns). On
+ * a successful match we emit an AsofScanNode preserving the JoinNode's output
+ * attribute IDs; otherwise we return null and the existing physical-join
+ * selection takes over.
+ */
+import { createLogger } from '../../../common/logger.js';
+import { isRelationalNode } from '../../nodes/plan-node.js';
+import { JoinNode } from '../../nodes/join-node.js';
+import { AsofScanNode } from '../../nodes/asof-scan-node.js';
+import { ProjectNode } from '../../nodes/project-node.js';
+import { LimitOffsetNode } from '../../nodes/limit-offset.js';
+import { SortNode } from '../../nodes/sort.js';
+import { FilterNode } from '../../nodes/filter.js';
+import { AliasNode } from '../../nodes/alias-node.js';
+import { BinaryOpNode, LiteralNode } from '../../nodes/scalar.js';
+import { ColumnReferenceNode, TableReferenceNode } from '../../nodes/reference.js';
+import { RetrieveNode } from '../../nodes/retrieve-node.js';
+import { isCorrelatedSubquery } from '../../cache/correlation-detector.js';
+const log = createLogger('optimizer:rule:lateral-top1-asof');
+/**
+ * Peel the right subtree of the lateral, looking for the canonical
+ * (Project | LimitOffset | Sort | Alias)* → Filter chain.
+ */
+function peelLateral(right) {
+    let project;
+    let limit;
+    let sort;
+    let cursor = right;
+    let safety = 16;
+    while (safety-- > 0) {
+        if (cursor instanceof AliasNode) {
+            cursor = cursor.source;
+            continue;
+        }
+        if (cursor instanceof ProjectNode) {
+            if (project)
+                return null; // multiple Projects not handled
+            project = cursor;
+            cursor = cursor.source;
+            continue;
+        }
+        if (cursor instanceof LimitOffsetNode) {
+            if (limit)
+                return null;
+            limit = cursor;
+            cursor = cursor.source;
+            continue;
+        }
+        if (cursor instanceof SortNode) {
+            if (sort)
+                return null;
+            sort = cursor;
+            cursor = cursor.source;
+            continue;
+        }
+        break;
+    }
+    if (!limit || !sort || !(cursor instanceof FilterNode))
+        return null;
+    return { filter: cursor, limit, sort, project };
+}
+/** Verify that the limit is the literal integer 1 and there's no offset. */
+function isLimitOne(limit) {
+    if (limit.offset && !isLiteralZeroOrUndefined(limit.offset))
+        return false;
+    if (!limit.limit)
+        return false;
+    if (!(limit.limit instanceof LiteralNode))
+        return false;
+    const v = limit.limit.expression.value;
+    if (typeof v === 'number')
+        return v === 1;
+    if (typeof v === 'bigint')
+        return v === 1n;
+    return false;
+}
+/** A null-or-zero literal for OFFSET. */
+function isLiteralZeroOrUndefined(node) {
+    if (!(node instanceof LiteralNode))
+        return false;
+    const v = node.expression.value;
+    if (v === null || v === undefined)
+        return true;
+    if (typeof v === 'number')
+        return v === 0;
+    if (typeof v === 'bigint')
+        return v === 0n;
+    return false;
+}
+/**
+ * Verify the SortNode has a single key that is a trivial column reference and
+ * a definite direction. Returns the attribute id and direction, or null.
+ */
+function extractSortAttrId(sort) {
+    if (sort.sortKeys.length !== 1)
+        return null;
+    const key = sort.sortKeys[0];
+    if (key.direction !== 'desc' && key.direction !== 'asc')
+        return null;
+    if (!(key.expression instanceof ColumnReferenceNode))
+        return null;
+    return { attrId: key.expression.attributeId, direction: key.direction };
+}
+/** Walk an AND tree, returning each leaf conjunct. */
+function flattenAnd(node) {
+    const result = [];
+    const stack = [node];
+    while (stack.length) {
+        const cur = stack.pop();
+        if (cur instanceof BinaryOpNode && cur.expression.operator === 'AND') {
+            stack.push(cur.left, cur.right);
+        }
+        else {
+            result.push(cur);
+        }
+    }
+    return result;
+}
+/**
+ * Classify each conjunct of the lateral's Filter.
+ *
+ * `rightAttrIds` is the set of attribute IDs defined within the lateral's
+ * inner subtree (anything below the Filter). The asof inequality must
+ * resolve to (right K op left K); equalities must resolve to (right P = left P).
+ *
+ * Returns null when any conjunct does not fit the asof shape.
+ */
+function classifyPredicates(conjuncts, rightAttrIds) {
+    let asof;
+    const partition = [];
+    for (const c of conjuncts) {
+        if (!(c instanceof BinaryOpNode))
+            return null;
+        if (!(c.left instanceof ColumnReferenceNode) || !(c.right instanceof ColumnReferenceNode))
+            return null;
+        const op = c.expression.operator;
+        const lAttrId = c.left.attributeId;
+        const rAttrId = c.right.attributeId;
+        const lFromRight = rightAttrIds.has(lAttrId);
+        const rFromRight = rightAttrIds.has(rAttrId);
+        // Both sides referencing the same side are not valid asof shape.
+        if (lFromRight === rFromRight)
+            return null;
+        // Canonicalize as (right side, left side).
+        const rightAttrId = lFromRight ? lAttrId : rAttrId;
+        const leftAttrId = lFromRight ? rAttrId : lAttrId;
+        if (op === '=') {
+            partition.push({ leftAttrId, rightAttrId });
+            continue;
+        }
+        // Asof inequality. Two directions are supported:
+        //   'desc' — right ≤ left (latest right ≤ left); strict variant: right < left.
+        //   'asc'  — right ≥ left (earliest right ≥ left); strict variant: right > left.
+        // All operator forms canonicalize to (right op left) before mapping:
+        //   - q.K <= t.K  → desc, strict=false        - q.K >= t.K  → asc, strict=false
+        //   - q.K <  t.K  → desc, strict=true         - q.K >  t.K  → asc, strict=true
+        //   - t.K >= q.K  → desc, strict=false        - t.K <= q.K  → asc, strict=false
+        //   - t.K >  q.K  → desc, strict=true         - t.K <  q.K  → asc, strict=true
+        let strict;
+        let direction;
+        if (lFromRight) {
+            // op is between (right.col, left.col)
+            if (op === '<=') {
+                strict = false;
+                direction = 'desc';
+            }
+            else if (op === '<') {
+                strict = true;
+                direction = 'desc';
+            }
+            else if (op === '>=') {
+                strict = false;
+                direction = 'asc';
+            }
+            else if (op === '>') {
+                strict = true;
+                direction = 'asc';
+            }
+        }
+        else {
+            // op is between (left.col, right.col); flip
+            if (op === '>=') {
+                strict = false;
+                direction = 'desc';
+            }
+            else if (op === '>') {
+                strict = true;
+                direction = 'desc';
+            }
+            else if (op === '<=') {
+                strict = false;
+                direction = 'asc';
+            }
+            else if (op === '<') {
+                strict = true;
+                direction = 'asc';
+            }
+        }
+        if (strict === undefined || direction === undefined)
+            return null;
+        if (asof)
+            return null; // multiple asof inequalities — bail
+        asof = { rightAttrId, leftAttrId, strict, direction };
+    }
+    if (!asof)
+        return null;
+    return { asof, partition };
+}
+/**
+ * Find the table reference at the bottom of a structural pipeline (Filter →
+ * AliasNode → ProjectNode → ... → Retrieve → TableReference).
+ *
+ * Returns null when the chain branches or terminates before reaching a leaf
+ * that's a direct TableReference.
+ */
+function findTableReference(node) {
+    let cur = node;
+    let safety = 64;
+    while (safety-- > 0) {
+        if (cur instanceof TableReferenceNode)
+            return cur;
+        if (cur instanceof RetrieveNode) {
+            cur = cur.tableRef;
+            continue;
+        }
+        const relChildren = cur.getChildren().filter(isRelationalNode);
+        if (relChildren.length !== 1)
+            return null;
+        cur = relChildren[0];
+    }
+    return null;
+}
+/**
+ * Probe the table's vtab module to see if its best-access plan would advertise
+ * `supportsAsofRight` and `monotonicOn` on `column` for an ordered, unfiltered
+ * scan. If the module lacks `getBestAccessPlan`, returns false.
+ */
+function tableAdvertisesAsof(context, tableRef, column) {
+    const vtabModule = tableRef.vtabModule;
+    if (!vtabModule.getBestAccessPlan)
+        return false;
+    const tableSchema = tableRef.tableSchema;
+    const columns = tableSchema.columns.map((col, index) => ({
+        index,
+        name: col.name,
+        type: col.logicalType,
+        isPrimaryKey: col.primaryKey || false,
+        isUnique: col.primaryKey || false,
+    }));
+    const request = {
+        columns,
+        filters: [],
+        requiredOrdering: [{ columnIndex: column, desc: false }],
+        estimatedRows: tableRef.estimatedRows ?? undefined,
+    };
+    try {
+        const plan = vtabModule.getBestAccessPlan(context.db, tableSchema, request);
+        if (!plan.supportsAsofRight)
+            return false;
+        if (!plan.monotonicOn)
+            return false;
+        if (plan.monotonicOn.columnIndex !== column)
+            return false;
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function isTriviallyTrue(condition) {
+    if (condition instanceof LiteralNode) {
+        const v = condition.expression.value;
+        return v === true || v === 1 || v === 1n;
+    }
+    return false;
+}
+/**
+ * Build right output column indices and preserve the projection's attribute IDs
+ * (so the parent of the JoinNode keeps seeing the same attribute IDs after the
+ * rewrite).
+ *
+ * Returns null when any projection isn't a trivial column reference into the
+ * Filter source.
+ */
+function resolveProjectedRightAttrs(project, joinAttrs, leftAttrCount, filterSourceAttrs) {
+    const filterIdToIndex = new Map(filterSourceAttrs.map((a, i) => [a.id, i]));
+    const rightOutputAttrs = joinAttrs.slice(leftAttrCount);
+    if (!project) {
+        // No projection — emit the filter source's columns directly. Attribute
+        // IDs match the filter source already (Project/Alias would have wrapped
+        // otherwise).
+        return {
+            columnIndices: filterSourceAttrs.map((_, i) => i),
+            attrs: rightOutputAttrs.slice(),
+        };
+    }
+    // With a projection: each projection node must be a trivial column ref into
+    // the filter source. Map its source attribute id → column index.
+    const projections = project.projections;
+    if (projections.length !== rightOutputAttrs.length)
+        return null;
+    const columnIndices = [];
+    for (let i = 0; i < projections.length; i++) {
+        const projNode = projections[i].node;
+        if (!(projNode instanceof ColumnReferenceNode))
+            return null;
+        const idx = filterIdToIndex.get(projNode.attributeId);
+        if (idx === undefined)
+            return null;
+        columnIndices.push(idx);
+    }
+    return {
+        columnIndices,
+        attrs: rightOutputAttrs.slice(),
+    };
+}
+export function ruleLateralTop1Asof(node, context) {
+    if (!(node instanceof JoinNode))
+        return null;
+    const joinType = node.joinType;
+    // LATERAL is meaningful for inner / left / cross with `ON TRUE` (or no condition).
+    if (joinType !== 'inner' && joinType !== 'left' && joinType !== 'cross')
+        return null;
+    // JoinNode condition must be absent or trivially true (LATERAL ON TRUE).
+    if (node.condition && !isTriviallyTrue(node.condition))
+        return null;
+    // Right subtree must be correlated against the outer (left) attributes.
+    if (!isCorrelatedSubquery(node.right))
+        return null;
+    const peeled = peelLateral(node.right);
+    if (!peeled)
+        return null;
+    if (!isLimitOne(peeled.limit))
+        return null;
+    const sortInfo = extractSortAttrId(peeled.sort);
+    if (sortInfo === null)
+        return null;
+    // The Filter's source defines the right attribute set we'll classify against.
+    const filterSourceAttrs = peeled.filter.source.getAttributes();
+    const rightAttrIds = new Set(filterSourceAttrs.map(a => a.id));
+    const conjuncts = flattenAnd(peeled.filter.predicate);
+    const classified = classifyPredicates(conjuncts, rightAttrIds);
+    if (!classified)
+        return null;
+    // Sort key must match the asof match attribute on the right.
+    if (classified.asof.rightAttrId !== sortInfo.attrId)
+        return null;
+    // Sort direction must match the asof direction (desc → latest-le, asc → earliest-ge).
+    if (sortInfo.direction !== classified.asof.direction)
+        return null;
+    // Locate the underlying table reference at the bottom of the lateral.
+    const tableRef = findTableReference(peeled.filter.source);
+    if (!tableRef) {
+        log('Right subtree does not bottom out in a TableReference');
+        return null;
+    }
+    // Translate the asof match attribute id to a table column index.
+    const tableAttrs = tableRef.getAttributes();
+    const matchColumnIdx = tableAttrs.findIndex(a => a.id === classified.asof.rightAttrId);
+    if (matchColumnIdx === -1) {
+        log('Asof match attr %d is not a column of the underlying table', classified.asof.rightAttrId);
+        return null;
+    }
+    // Probe the vtab module for asofRight + monotonicOn(K).
+    if (!tableAdvertisesAsof(context, tableRef, matchColumnIdx)) {
+        log('Vtab module does not advertise monotonicOn(col=%d) + asofRight', matchColumnIdx);
+        return null;
+    }
+    // Left must be monotonic on the match attribute (its cursor cannot regress
+    // per partition). Without this, the streaming scan would produce wrong rows
+    // for left rows whose match value decreases. We require global
+    // monotonicOn(left.matchAttr) — stronger than "monotonic within partition"
+    // but the only check we can make uniformly. The user can wrap the left in
+    // `ORDER BY matchAttr` to satisfy this.
+    const leftMonotonic = node.left.physical?.monotonicOn?.find(m => m.attrId === classified.asof.leftAttrId);
+    if (!leftMonotonic) {
+        log('Left input is not monotonicOn(left.matchAttr=%d); skipping asof rewrite', classified.asof.leftAttrId);
+        return null;
+    }
+    // Resolve the right output projection (preserving the original Project's
+    // attribute IDs so the parent of the join keeps the same IDs after rewrite).
+    const joinAttrs = node.getAttributes();
+    const leftAttrCount = node.left.getAttributes().length;
+    const projection = resolveProjectedRightAttrs(peeled.project, joinAttrs, leftAttrCount, filterSourceAttrs);
+    if (!projection) {
+        log('Lateral projection is non-trivial; skipping');
+        return null;
+    }
+    const asof = new AsofScanNode(node.scope, node.left, peeled.filter.source, { leftAttrId: classified.asof.leftAttrId, rightAttrId: classified.asof.rightAttrId }, classified.partition, classified.asof.strict, classified.asof.direction, joinType === 'left', projection.columnIndices, projection.attrs);
+    log('Recognized lateral-top-1 asof: outer=%s, direction=%s, strict=%s, partitions=%d', joinType === 'left', classified.asof.direction, classified.asof.strict, classified.partition.length);
+    return asof;
+}
+//# sourceMappingURL=rule-lateral-top1-asof.js.map

package/dist/src/planner/rules/join/rule-lateral-top1-asof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-lateral-top1-asof.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-lateral-top1-asof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAG3E,MAAM,GAAG,GAAG,YAAY,CAAC,kCAAkC,CAAC,CAAC;AAa7D;;;GAGG;AACH,SAAS,WAAW,CAAC,KAAyB;IAC7C,IAAI,OAAgC,CAAC;IACrC,IAAI,KAAkC,CAAC;IACvC,IAAI,IAA0B,CAAC;IAC/B,IAAI,MAAM,GAAuB,KAAK,CAAC;IAEvC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,OAAO,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,MAAM,YAAY,SAAS,EAAE,CAAC;YACjC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS;QACV,CAAC;QACD,IAAI,MAAM,YAAY,WAAW,EAAE,CAAC;YACnC,IAAI,OAAO;gBAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;YAC1D,OAAO,GAAG,MAAM,CAAC;YACjB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS;QACV,CAAC;QACD,IAAI,MAAM,YAAY,eAAe,EAAE,CAAC;YACvC,IAAI,KAAK;gBAAE,OAAO,IAAI,CAAC;YACvB,KAAK,GAAG,MAAM,CAAC;YACf,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS;QACV,CAAC;QACD,IAAI,MAAM,YAAY,QAAQ,EAAE,CAAC;YAChC,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACtB,IAAI,GAAG,MAAM,CAAC;YACd,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS;QACV,CAAC;QACD,MAAM;IACP,CAAC;IAED,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,YAAY,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,4EAA4E;AAC5E,SAAS,UAAU,CAAC,KAAsB;IACzC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/B,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,YAAY,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC;IACvC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IAC3C,OAAO,KAAK,CAAC;AACd,CAAC;AAED,yCAAyC;AACzC,SAAS,wBAAwB,CAAC,IAAoB;IACrD,IAAI,CAAC,CAAC,IAAI,YAAY,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IAChC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IAC3C,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAc;IACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,YAAY,mBAAmB,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;AACzE,CAAC;AAED,sDAAsD;AACtD,SAAS,UAAU,CAAC,IAAoB;IACvC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,YAAY,YAAY,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YACtE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAOD;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAC1B,SAAoC,EACpC,YAAiC;IAEjC,IAAI,IAAiD,CAAC;IACtD,MAAM,SAAS,GAAmB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,mBAAmB,CAAC;YAAE,OAAO,IAAI,CAAC;QACvG,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;QACnC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;QACpC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAE7C,iEAAiE;QACjE,IAAI,UAAU,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAE3C,2CAA2C;QAC3C,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QACnD,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAElD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;YAC5C,SAAS;QACV,CAAC;QAED,iDAAiD;QACjD,+EAA+E;QAC/E,iFAAiF;QACjF,qEAAqE;QACrE,gFAAgF;QAChF,+EAA+E;QAC/E,gFAAgF;QAChF,+EAA+E;QAC/E,IAAI,MAA2B,CAAC;QAChC,IAAI,SAAqC,CAAC;QAC1C,IAAI,UAAU,EAAE,CAAC;YAChB,sCAAsC;YACtC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC;gBAAC,SAAS,GAAG,MAAM,CAAC;YAAC,CAAC;iBACnD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,MAAM,CAAC;YAAC,CAAC;iBACtD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;iBACvD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACP,4CAA4C;YAC5C,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC;gBAAC,SAAS,GAAG,MAAM,CAAC;YAAC,CAAC;iBACnD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,MAAM,CAAC;YAAC,CAAC;iBACtD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAAC,MAAM,GAAG,KAAK,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;iBACvD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,SAAS,GAAG,KAAK,CAAC;YAAC,CAAC;QAC3D,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACjE,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,oCAAoC;QAC3D,IAAI,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,IAAwB;IACnD,IAAI,GAAG,GAAuB,IAAI,CAAC;IACnC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,OAAO,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,GAAG,YAAY,kBAAkB;YAAE,OAAO,GAAG,CAAC;QAClD,IAAI,GAAG,YAAY,YAAY,EAAE,CAAC;YACjC,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC;YACnB,SAAS;QACV,CAAC;QACD,MAAM,WAAW,GAChB,GAAG,CAAC,WAAW,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAC5C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAC3B,OAAmB,EACnB,QAA4B,EAC5B,MAAc;IAEd,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;IACzC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACxD,KAAK;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,WAAW;QACrB,YAAY,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;QACrC,QAAQ,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;KAClB,CAAA,CAAC,CAAC;IAClB,MAAM,OAAO,GAA0B;QACtC,OAAO;QACP,OAAO,EAAE,EAAE;QACX,gBAAgB,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACxD,aAAa,EAAE,QAAQ,CAAC,aAAa,IAAI,SAAS;KAClD,CAAC;IACF,IAAI,CAAC;QACJ,MAAM,IAAI,GAAG,UAAU,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,WAAW;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1D,OAAO,IAAI,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,KAAK,CAAC;IACd,CAAC;AACF,CAAC;AAED,SAAS,eAAe,CAAC,SAAyB;IACjD,IAAI,SAAS,YAAY,WAAW,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;QACrC,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,0BAA0B,CAClC,OAAgC,EAChC,SAA+B,EAC/B,aAAqB,EACrB,iBAAuC;IAEvC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,gBAAgB,GAAG,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAExD,IAAI,CAAC,OAAO,EAAE,CAAC;QACd,uEAAuE;QACvE,wEAAwE;QACxE,cAAc;QACd,OAAO;YACN,aAAa,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjD,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE;SAC/B,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;IACxC,IAAI,WAAW,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEhE,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrC,IAAI,CAAC,CAAC,QAAQ,YAAY,mBAAmB,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5D,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACnC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,OAAO;QACN,aAAa;QACb,KAAK,EAAE,gBAAgB,CAAC,KAAK,EAAE;KAC/B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,OAAmB;IACtE,IAAI,CAAC,CAAC,IAAI,YAAY,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAE7C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC/B,mFAAmF;IACnF,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAErF,yEAAyE;IACzE,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpE,wEAAwE;IACxE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAEnC,8EAA8E;IAC9E,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEvE,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IAC/D,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,6DAA6D;IAC7D,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,KAAK,QAAQ,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACjE,sFAAsF;IACtF,IAAI,QAAQ,CAAC,SAAS,KAAK,UAAU,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAElE,sEAAsE;IACtE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;QACf,GAAG,CAAC,uDAAuD,CAAC,CAAC;QAC7D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,iEAAiE;IACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,cAAc,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvF,IAAI,cAAc,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3B,GAAG,CAAC,4DAA4D,EAAE,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/F,OAAO,IAAI,CAAC;IACb,CAAC;IAED,wDAAwD;IACxD,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,gEAAgE,EAAE,cAAc,CAAC,CAAC;QACtF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,2EAA2E;IAC3E,4EAA4E;IAC5E,+DAA+D;IAC/D,2EAA2E;IAC3E,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAC1D,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,UAAU,CAC5C,CAAC;IACF,IAAI,CAAC,aAAa,EAAE,CAAC;QACpB,GAAG,CAAC,yEAAyE,EAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3G,OAAO,IAAI,CAAC;IACb,CAAC;IAED,yEAAyE;IACzE,6EAA6E;IAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;IACvD,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAC3G,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,GAAG,CAAC,6CAA6C,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAC5B,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,IAAI,EACT,MAAM,CAAC,MAAM,CAAC,MAAM,EACpB,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,EACpF,UAAU,CAAC,SAAS,EACpB,UAAU,CAAC,IAAI,CAAC,MAAM,EACtB,UAAU,CAAC,IAAI,CAAC,SAAS,EACzB,QAAQ,KAAK,MAAM,EACnB,UAAU,CAAC,aAAa,EACxB,UAAU,CAAC,KAAK,CAChB,CAAC;IAEF,GAAG,CAAC,iFAAiF,EACpF,QAAQ,KAAK,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAEtG,OAAO,IAAI,CAAC;AACb,CAAC"}