@quereus/quereus 4.5.0 → 4.7.0

package/dist/src/planner/rules/window/rule-monotonic-window.js

@@ -19,9 +19,11 @@
  *     (`UNBOUNDED PRECEDING TO CURRENT ROW`, ROWS or RANGE — RANGE handles peer
  *     groups via delayed emit at peer boundaries)
  *   - `SUM` / `COUNT` / `AVG` / `MIN` / `MAX` / `FIRST_VALUE` / `LAST_VALUE`
- *     over a sliding frame `ROWS BETWEEN n PRECEDING AND m FOLLOWING` (literal
- *     non-negative integers `n`, `m`) or `RANGE BETWEEN <num> PRECEDING AND
- *     <num> FOLLOWING` (single numeric ORDER BY, literal non-negative offsets)
+ *     over a sliding frame `ROWS BETWEEN n PRECEDING AND m FOLLOWING` or
+ *     `RANGE BETWEEN n PRECEDING AND m FOLLOWING` (single numeric ORDER BY key),
+ *     `n` and `m` being non-negative integer literals in both modes. Either
+ *     bound may instead be `CURRENT ROW`, which is that bound at offset zero;
+ *     a start-only frame (`ROWS n PRECEDING`) means `... AND CURRENT ROW`.
  *
  * Bail conditions:
  *
@@ -34,12 +36,20 @@
  *   - frame is anything other than the default (or the explicit equivalent
  *     `UNBOUNDED PRECEDING TO CURRENT ROW` in `ROWS` or `RANGE`), or a
  *     supported sliding shape (see above)
+ *   - `RANGE` sliding frame whose ORDER BY is not a single numeric key
+ *     (`isRangeSlidingEligible`)
+ *   - frame offset that is not a non-negative integer literal (`readFrameOffset`)
+ *
+ * Every bail is a *performance* decision, never a semantic one: a shape this
+ * rule recognizes must produce exactly the rows the buffered frame walk in
+ * `runtime/emit/window.ts` produces for it. The two RANGE-specific bails above
+ * exist precisely because the two paths would otherwise answer differently.
+ * `test/plan/window-one-sided-frames.spec.ts` runs every case both ways.
  *
  * Out of scope (deferred): NTILE/PERCENT_RANK/CUME_DIST (need partition size up
- * front), DISTINCT aggregates, asymmetric sliding shapes
- * (`UNBOUNDED PRECEDING AND m FOLLOWING`, `n PRECEDING AND UNBOUNDED FOLLOWING`,
- * `CURRENT ROW AND m FOLLOWING`), splitting a mixed WindowNode into streaming +
- * buffered halves.
+ * front), DISTINCT aggregates, unbounded-on-one-side sliding shapes
+ * (`UNBOUNDED PRECEDING AND m FOLLOWING`, `n PRECEDING AND UNBOUNDED
+ * FOLLOWING`), splitting a mixed WindowNode into streaming + buffered halves.
  */
 import { createLogger } from '../../../common/logger.js';
 import { WindowNode } from '../../nodes/window-node.js';
@@ -68,52 +78,110 @@ function isDefaultEquivalentFrame(frame) {
     return frame.end.type === 'currentRow';
 }
 /**
- * Recognize a sliding-frame shape supported by streaming.
+ * Read one frame bound as a non-negative offset from the current row, in the
+ * direction that bound sits on (`preceding` for the start bound, `following`
+ * for the end bound).
+ *
+ * `CURRENT ROW` is the offset-zero case of the bound it replaces:
+ *
+ *   - ROWS: row `j` itself, which is what `0 PRECEDING` / `0 FOLLOWING` select.
+ *   - RANGE: every peer row sharing `v_j`, which is what the range scan's
+ *     `[v_j - 0, v_j + 0]` interval already selects.
  *
- *   - `ROWS BETWEEN n PRECEDING AND m FOLLOWING`: both `n` and `m` are
- *     non-negative integer literals.
- *   - `RANGE BETWEEN <num> PRECEDING AND <num> FOLLOWING`: both offsets are
- *     non-negative finite numeric literals.
+ * Returns undefined when the bound is not a recognized offset shape
+ * (`UNBOUNDED PRECEDING`/`FOLLOWING`, a non-literal offset, or an offset that
+ * is not a non-negative integer).
+ *
+ * The non-negative-integer rule is what the buffered frame walk's
+ * `getFrameOffset` (runtime/emit/window.ts) enforces — it *throws* on anything
+ * else, in RANGE mode as much as in ROWS. Accepting a wider set here would make
+ * `range between 1.5 preceding and current row` succeed or raise depending on
+ * whether the optimizer happened to pick the streaming plan.
+ */
+function readFrameOffset(bound, direction) {
+    if (bound.type === 'currentRow')
+        return 0;
+    if (bound.type !== direction)
+        return undefined;
+    const offset = tryExtractNumericLiteral(bound.value);
+    if (offset === undefined)
+        return undefined;
+    if (!Number.isInteger(offset) || offset < 0)
+        return undefined;
+    return offset;
+}
+/**
+ * Recognize a sliding-frame shape supported by streaming: a start bound that is
+ * `n PRECEDING` or `CURRENT ROW`, and an end bound that is `m FOLLOWING` or
+ * `CURRENT ROW` (or absent, since a start-only frame means `... AND CURRENT
+ * ROW`). Offsets must be non-negative integer literals in both modes.
+ *
+ * One-sided shapes reduce to the two-sided form with the `CURRENT ROW` side at
+ * offset zero, so `n PRECEDING AND CURRENT ROW` runs the same sliding-buffer
+ * state machine as `n PRECEDING AND 0 FOLLOWING`.
  *
  * Returns the recognized shape, or null when the frame is not a supported
- * sliding shape (caller falls back to other recognition paths).
+ * sliding shape (caller falls back to other recognition paths). Note that
+ * `UNBOUNDED PRECEDING AND CURRENT ROW` is rejected here — callers check
+ * `isDefaultEquivalentFrame` first so it keeps routing to the cheaper
+ * running-accumulator path.
  */
 function recognizeSlidingFrame(frame) {
     if (!frame)
         return null;
     if (frame.exclusion && frame.exclusion !== 'no others')
         return null;
-    if (frame.end === null)
-        return null;
-    if (frame.start.type !== 'preceding')
-        return null;
-    if (frame.end.type !== 'following')
-        return null;
     if (frame.type !== 'rows' && frame.type !== 'range')
         return null;
-    const preceding = tryExtractNumericLiteral(frame.start.value);
-    const following = tryExtractNumericLiteral(frame.end.value);
-    if (preceding === undefined || following === undefined)
-        return null;
-    if (!Number.isFinite(preceding) || !Number.isFinite(following))
+    const preceding = readFrameOffset(frame.start, 'preceding');
+    if (preceding === undefined)
         return null;
-    if (preceding < 0 || following < 0)
+    const following = frame.end === null
+        ? 0
+        : readFrameOffset(frame.end, 'following');
+    if (following === undefined)
         return null;
-    if (frame.type === 'rows') {
-        if (!Number.isInteger(preceding) || !Number.isInteger(following))
-            return null;
-    }
     return { mode: frame.type, preceding, following };
 }
+/**
+ * Whether a RANGE-mode sliding frame may stream on this WindowNode at all.
+ *
+ * A numeric RANGE offset is arithmetic on the ORDER BY value (`[v - n, v + m]`),
+ * which the SQL standard only defines for a single ORDER BY key of a type that
+ * arithmetic applies to. The streaming range scan does that arithmetic in
+ * `Number` space; the buffered frame walk falls back to peer-group scanning when
+ * the value isn't numeric, and the two do NOT agree there — e.g. under a TEXT
+ * ORDER BY key the buffered walk still bounds the frame at peer-group edges
+ * while the streaming scan treats the whole non-numeric run as one span. So a
+ * non-numeric ORDER BY key must keep the buffered path.
+ */
+function isRangeSlidingEligible(orderByExpressions) {
+    if (orderByExpressions.length !== 1)
+        return false;
+    return orderByExpressions[0].getType().logicalType.isNumeric === true;
+}
+/** Classify a WindowNode's frame once, for every function in the node to share. */
+function classifyFrame(frame, orderByExpressions) {
+    const sliding = recognizeSlidingFrame(frame);
+    const streamable = sliding !== null
+        && (sliding.mode !== 'range' || isRangeSlidingEligible(orderByExpressions));
+    return { isDefault: isDefaultEquivalentFrame(frame), sliding: streamable ? sliding : null };
+}
+/** Build the sliding-buffer mode for a recognized aggregate under a sliding frame. */
+function slidingAggMode(name, sliding) {
+    return {
+        kind: 'slidingAgg',
+        name,
+        frameMode: sliding.mode,
+        preceding: sliding.preceding,
+        following: sliding.following,
+    };
+}
 /**
  * Decide the streaming mode for a single window function. Returns null if the
  * function is not streaming-capable under v1 preconditions.
- *
- * `orderByLength` is the number of ORDER BY keys on the WindowNode — required
- * for the RANGE-sliding-frame check, which mandates a single numeric ORDER BY
- * key.
  */
-function recognizeFunctionMode(functionName, isDistinct, args, frame, orderByLength) {
+function recognizeFunctionMode(functionName, isDistinct, args, frame) {
     if (isDistinct)
         return null;
     const name = functionName.toLowerCase();
@@ -127,47 +195,21 @@ function recognizeFunctionMode(functionName, isDistinct, args, frame, orderByLen
             return { kind: 'rank' };
         case 'dense_rank':
             return { kind: 'denseRank' };
-        case 'first_value': {
+        case 'first_value':
             if (args.length < 1)
                 return null;
             // Default-equivalent frame: cache first row's value for the partition.
-            if (isDefaultEquivalentFrame(frame))
+            if (frame.isDefault)
                 return { kind: 'firstValue' };
             // Sliding frame: defer to slidingAgg machinery.
-            const sliding = recognizeSlidingFrame(frame);
-            if (sliding) {
-                if (sliding.mode === 'range' && orderByLength !== 1)
-                    return null;
-                return {
-                    kind: 'slidingAgg',
-                    name: 'first_value',
-                    frameMode: sliding.mode,
-                    preceding: sliding.preceding,
-                    following: sliding.following,
-                };
-            }
-            return null;
-        }
-        case 'last_value': {
+            return frame.sliding && slidingAggMode('first_value', frame.sliding);
+        case 'last_value':
             if (args.length < 1)
                 return null;
             // LAST_VALUE under the default frame == current row.
-            if (isDefaultEquivalentFrame(frame))
+            if (frame.isDefault)
                 return { kind: 'lastValue' };
-            const sliding = recognizeSlidingFrame(frame);
-            if (sliding) {
-                if (sliding.mode === 'range' && orderByLength !== 1)
-                    return null;
-                return {
-                    kind: 'slidingAgg',
-                    name: 'last_value',
-                    frameMode: sliding.mode,
-                    preceding: sliding.preceding,
-                    following: sliding.following,
-                };
-            }
-            return null;
-        }
+            return frame.sliding && slidingAggMode('last_value', frame.sliding);
         case 'lag':
         case 'lead': {
             if (args.length < 1)
@@ -186,26 +228,13 @@ function recognizeFunctionMode(functionName, isDistinct, args, frame, orderByLen
             return { kind: name === 'lag' ? 'lag' : 'lead', offset };
         }
         default:
-            if (RECOGNIZED_RUNNING_AGG.has(name)) {
-                if (isDefaultEquivalentFrame(frame))
-                    return { kind: 'runningAgg' };
-                if (RECOGNIZED_SLIDING_AGG.has(name)) {
-                    const sliding = recognizeSlidingFrame(frame);
-                    if (sliding) {
-                        if (sliding.mode === 'range' && orderByLength !== 1)
-                            return null;
-                        return {
-                            kind: 'slidingAgg',
-                            name: name,
-                            frameMode: sliding.mode,
-                            preceding: sliding.preceding,
-                            following: sliding.following,
-                        };
-                    }
-                }
+            if (!RECOGNIZED_RUNNING_AGG.has(name))
                 return null;
-            }
-            return null;
+            if (frame.isDefault)
+                return { kind: 'runningAgg' };
+            if (!RECOGNIZED_SLIDING_AGG.has(name) || !frame.sliding)
+                return null;
+            return slidingAggMode(name, frame.sliding);
     }
 }
 export function ruleMonotonicWindow(node, _context) {
@@ -288,6 +317,13 @@ export function ruleMonotonicWindow(node, _context) {
         log('Source ordering prefix too short (have=%d, need=%d)', orderingAttrIds.length, requiredPrefixLen);
         return null;
     }
+    // NOTE: a PARTITION BY window never reaches here in practice today. A table
+    // access advertises `monotonicOn` for its leading *unbound* index column only
+    // (`buildMonotonicAdvertisement`, vtab/memory/module.ts), so on an index
+    // (g, k) the advertisement names `g`, and the `monotonicOn` check above
+    // rejects `partition by g order by k` before this prefix check runs. If
+    // partitioned windows should stream, that advertisement is the thing to
+    // widen — the checks below already handle the multi-key shape.
     // First slice: partition attrs in any permutation.
     const partitionPrefix = orderingAttrIds.slice(0, partitionAttrIds.length);
     const partitionSet = new Set(partitionAttrIds);
@@ -311,7 +347,8 @@ export function ruleMonotonicWindow(node, _context) {
             return null;
         }
     }
-    // Per-function recognition.
+    // Per-function recognition, against the node's one shared frame classification.
+    const frameShape = classifyFrame(frame, node.orderByExpressions);
     const modes = [];
     for (let fi = 0; fi < node.functions.length; fi++) {
         const func = node.functions[fi];
@@ -319,7 +356,7 @@ export function ruleMonotonicWindow(node, _context) {
         // LAG/LEAD/FIRST_VALUE/LAST_VALUE need the actual literal AST for the
         // offset. We approximate by inspecting LiteralNode in args.
         const argDescriptors = args.map(a => ({ expression: a.expression }));
-        const mode = recognizeFunctionMode(func.functionName, func.isDistinct, argDescriptors, frame, node.orderByExpressions.length);
+        const mode = recognizeFunctionMode(func.functionName, func.isDistinct, argDescriptors, frameShape);
         if (!mode) {
             log('Function %s not streaming-capable; falling back', func.functionName);
             return null;

package/dist/src/planner/rules/window/rule-monotonic-window.js.map

@@ -1 +1 @@
-{"version":3,"file":"rule-monotonic-window.js","sourceRoot":"","sources":["../../../../../src/planner/rules/window/rule-monotonic-window.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EAAE,UAAU,EAAoC,MAAM,4BAA4B,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAGxE,MAAM,GAAG,GAAG,YAAY,CAAC,iCAAiC,CAAC,CAAC;AAE5D,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9E,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;AAE3G;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,KAAkC;IACnE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACrE,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,KAAK,CAAC;IAC5D,4EAA4E;IAC5E,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;AACxC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,qBAAqB,CAC7B,KAAkC;IAElC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAEjE,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AACnD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAC7B,YAAoB,EACpB,UAAmB,EACnB,IAA+C,EAC/C,KAAkC,EAClC,aAAqB;IAErB,IAAI,UAAU;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;IAExC,sEAAsE;IACtE,wEAAwE;IACxE,mDAAmD;IACnD,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,YAAY;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,YAAY;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC9B,KAAK,aAAa,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,uEAAuE;YACvE,IAAI,wBAAwB,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACnE,gDAAgD;YAChD,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACb,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACjE,OAAO;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,OAAO,CAAC,IAAI;oBACvB,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC5B,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACb,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YACnB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,qDAAqD;YACrD,IAAI,wBAAwB,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAClE,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACb,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACjE,OAAO;oBACN,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,YAAY;oBAClB,SAAS,EAAE,OAAO,CAAC,IAAI;oBACvB,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC5B,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnD,MAAM,GAAG,GAAG,CAAC;YACd,CAAC;YACD,gEAAgE;YAChE,2DAA2D;YAC3D,OAAO,EAAE,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAC1D,CAAC;QACD;YACC,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,IAAI,wBAAwB,CAAC,KAAK,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;gBACnE,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;oBAC7C,IAAI,OAAO,EAAE,CAAC;wBACb,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,KAAK,CAAC;4BAAE,OAAO,IAAI,CAAC;wBACjE,OAAO;4BACN,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,IAA+C;4BACrD,SAAS,EAAE,OAAO,CAAC,IAAI;4BACvB,SAAS,EAAE,OAAO,CAAC,SAAS;4BAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;yBAC5B,CAAC;oBACH,CAAC;gBACF,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC;YACD,OAAO,IAAI,CAAC;IACd,CAAC;AACF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,QAAoB;IACvE,IAAI,CAAC,CAAC,IAAI,YAAY,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;IACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,GAAG,CAAC,2DAA2D,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,sEAAsE;IACtE,kEAAkE;IAClE,2CAA2C;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IAEpC,qDAAqD;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,WAAW,YAAY,mBAAmB,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,4CAA4C,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;IAC5C,MAAM,eAAe,GAAG,cAAc,CAAC,WAAW,IAAI,EAAE,CAAC;IACzD,MAAM,cAAc,GAAG,cAAc,CAAC,QAAQ,IAAI,EAAE,CAAC;IAErD,MAAM,aAAa,GAAmB,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACvF,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpB,GAAG,CAAC,0DAA0D,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,oFAAoF;IACpF,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;IAC3G,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,GAAG,CAAC,+CAA+C,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,+EAA+E;IAC/E,2EAA2E;IAC3E,MAAM,cAAc,GAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,iBAAiB,GAAuB,CAAC,aAAa,CAAC,CAAC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,kDAAkD,EAAE,CAAC,CAAC,CAAC;YAC3D,OAAO,IAAI,CAAC;QACb,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IAED,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,kCAAkC,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC;QACb,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,8DAA8D;IAC9D,+DAA+D;IAC/D,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,YAAY,GAAuB,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,CAAC;YACR,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC;IACF,CAAC;IAED,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IAC1E,IAAI,eAAe,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAChD,GAAG,CAAC,qDAAqD,EACxD,eAAe,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACb,CAAC;IAED,mDAAmD;IACnD,MAAM,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC/C,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,sEAAsE,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9D,GAAG,CAAC,iCAAiC,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IACrD,CAAC;IAED,iEAAiE;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;QAChD,IAAI,eAAe,CAAC,WAAW,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,0EAA0E,EAC7E,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,YAAY,CAAC,WAAW,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,qEAAqE,EACxE,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IAED,4BAA4B;IAC5B,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACxC,sEAAsE;QACtE,4DAA4D;QAC5D,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,qBAAqB,CACjC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,CACzF,CAAC;QACF,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,GAAG,CAAC,iDAAiD,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;YAC1E,OAAO,IAAI,CAAC;QACb,CAAC;QACD,2EAA2E;QAC3E,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,gDAAgD,CAAC,CAAC;gBACtD,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,GAAG,CAAC,yDAAyD,EAC5D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtC,CAAC"}
+{"version":3,"file":"rule-monotonic-window.js","sourceRoot":"","sources":["../../../../../src/planner/rules/window/rule-monotonic-window.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EAAE,UAAU,EAAoC,MAAM,4BAA4B,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAGxE,MAAM,GAAG,GAAG,YAAY,CAAC,iCAAiC,CAAC,CAAC;AAE5D,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9E,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;AAE3G;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,KAAkC;IACnE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACrE,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,KAAK,CAAC;IAC5D,4EAA4E;IAC5E,IAAI,KAAK,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,eAAe,CACvB,KAA2B,EAC3B,SAAoC;IAEpC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9D,OAAO,MAAM,CAAC;AACf,CAAC;AAuBD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,qBAAqB,CAC7B,KAAkC;IAElC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAEjE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC5D,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,KAAK,IAAI;QACnC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC3C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,sBAAsB,CAAC,kBAA6C;IAC5E,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,SAAS,KAAK,IAAI,CAAC;AACvE,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CACrB,KAAkC,EAClC,kBAA6C;IAE7C,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,OAAO,KAAK,IAAI;WAC/B,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,sBAAsB,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,SAAS,EAAE,wBAAwB,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7F,CAAC;AAED,sFAAsF;AACtF,SAAS,cAAc,CACtB,IAA4E,EAC5E,OAA0B;IAE1B,OAAO;QACN,IAAI,EAAE,YAAY;QAClB,IAAI;QACJ,SAAS,EAAE,OAAO,CAAC,IAAI;QACvB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;KAC5B,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAC7B,YAAoB,EACpB,UAAmB,EACnB,IAA+C,EAC/C,KAAiB;IAEjB,IAAI,UAAU;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;IAExC,sEAAsE;IACtE,wEAAwE;IACxE,mDAAmD;IACnD,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,YAAY;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,YAAY;YAChB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC9B,KAAK,aAAa;YACjB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,uEAAuE;YACvE,IAAI,KAAK,CAAC,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACnD,gDAAgD;YAChD,OAAO,KAAK,CAAC,OAAO,IAAI,cAAc,CAAC,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtE,KAAK,YAAY;YAChB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,qDAAqD;YACrD,IAAI,KAAK,CAAC,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC,OAAO,IAAI,cAAc,CAAC,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACrE,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACzD,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACnD,MAAM,GAAG,GAAG,CAAC;YACd,CAAC;YACD,gEAAgE;YAChE,2DAA2D;YAC3D,OAAO,EAAE,IAAI,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QAC1D,CAAC;QACD;YACC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnD,IAAI,KAAK,CAAC,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACnD,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YACrE,OAAO,cAAc,CAAC,IAA+C,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACxF,CAAC;AACF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,QAAoB;IACvE,IAAI,CAAC,CAAC,IAAI,YAAY,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEhC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;IACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,GAAG,CAAC,2DAA2D,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,sEAAsE;IACtE,kEAAkE;IAClE,2CAA2C;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IAEpC,qDAAqD;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,WAAW,YAAY,mBAAmB,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,4CAA4C,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;IAC5C,MAAM,eAAe,GAAG,cAAc,CAAC,WAAW,IAAI,EAAE,CAAC;IACzD,MAAM,cAAc,GAAG,cAAc,CAAC,QAAQ,IAAI,EAAE,CAAC;IAErD,MAAM,aAAa,GAAmB,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IACvF,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACpB,GAAG,CAAC,0DAA0D,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,oFAAoF;IACpF,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC;IAC3G,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,GAAG,CAAC,+CAA+C,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC;IACb,CAAC;IAED,+EAA+E;IAC/E,2EAA2E;IAC3E,MAAM,cAAc,GAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,iBAAiB,GAAuB,CAAC,aAAa,CAAC,CAAC;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,kDAAkD,EAAE,CAAC,CAAC,CAAC;YAC3D,OAAO,IAAI,CAAC;QACb,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IAED,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,kCAAkC,CAAC,CAAC;YACxC,OAAO,IAAI,CAAC;QACb,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzC,CAAC;IAED,8DAA8D;IAC9D,+DAA+D;IAC/D,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,MAAM,YAAY,GAAuB,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,EAAE,CAAC;YACR,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC;IACF,CAAC;IAED,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC;IAC1E,IAAI,eAAe,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QAChD,GAAG,CAAC,qDAAqD,EACxD,eAAe,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACb,CAAC;IAED,4EAA4E;IAC5E,8EAA8E;IAC9E,yEAAyE;IACzE,wEAAwE;IACxE,wEAAwE;IACxE,wEAAwE;IACxE,+DAA+D;IAC/D,mDAAmD;IACnD,MAAM,eAAe,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC/C,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,sEAAsE,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9D,GAAG,CAAC,iCAAiC,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IACrD,CAAC;IAED,iEAAiE;IACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;QAChD,IAAI,eAAe,CAAC,WAAW,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,0EAA0E,EAC7E,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,YAAY,CAAC,WAAW,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,GAAG,CAAC,qEAAqE,EACxE,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,OAAO,IAAI,CAAC;QACb,CAAC;IACF,CAAC;IAED,gFAAgF;IAChF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjE,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACxC,sEAAsE;QACtE,4DAA4D;QAC5D,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,qBAAqB,CACjC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE,UAAU,CAC9D,CAAC;QACF,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,GAAG,CAAC,iDAAiD,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;YAC1E,OAAO,IAAI,CAAC;QACb,CAAC;QACD,2EAA2E;QAC3E,yEAAyE;QACzE,uEAAuE;QACvE,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,WAAW,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,gDAAgD,CAAC,CAAC;gBACtD,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAED,GAAG,CAAC,yDAAyD,EAC5D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtC,CAAC"}

package/dist/src/planner/scopes/aliased.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aliased.d.ts","sourceRoot":"","sources":["../../../../src/planner/scopes/aliased.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;aAKzB,MAAM,EAAE,KAAK;IAJ9B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;gBAGf,MAAM,EAAE,KAAK,EAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM;IAOd,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,OAAO,SAAS,GAAG,SAAS;CAwBrG"}
+{"version":3,"file":"aliased.d.ts","sourceRoot":"","sources":["../../../../src/planner/scopes/aliased.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;aAKzB,MAAM,EAAE,KAAK;IAJ9B,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAS;gBAGf,MAAM,EAAE,KAAK,EAC7B,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM;IAOd,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,QAAQ,GAAG,OAAO,SAAS,GAAG,SAAS;CA8BrG"}

package/dist/src/planner/scopes/aliased.js

@@ -17,6 +17,12 @@ export class AliasedScope extends BaseScope {
     resolveSymbol(symbolKey, expression) {
         const parts = symbolKey.split('.');
         // Handle schema-qualified symbols like "main.j.value"
+        // NOTE: for a non-empty parent name this rewrites to "main.<parentName>.value" and asks
+        // the parent, but a FROM source's RegisteredScope only holds BARE column names, so the
+        // lookup always misses. Three-part column references are unsupported today either way
+        // ("main.t.id isn't a column"). If they are ever supported, strip to the bare column name
+        // here the way the two-part branch below does — the parent no longer falls back to the
+        // enclosing query's scope (see registerColumnScope), so a miss now ends the search.
         if (parts.length === 3 && parts[1].toLowerCase() === this._alias) {
             // Replace alias with parent name: "main.j.value" -> "main..value" -> "main.value" (if parent name is empty)
             if (this._parentName === '') {

package/dist/src/planner/scopes/aliased.js.map

@@ -1 +1 @@
-{"version":3,"file":"aliased.js","sourceRoot":"","sources":["../../../../src/planner/scopes/aliased.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,SAAS;IAKzB;IAJA,WAAW,CAAS;IACpB,MAAM,CAAS;IAEhC,YACiB,MAAa,EAC7B,UAAkB,EAClB,KAAa;QAEb,KAAK,EAAE,CAAC;QAJQ,WAAM,GAAN,MAAM,CAAO;QAK7B,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC;IAED,aAAa,CAAC,SAAiB,EAAE,UAA0B;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAEnC,sDAAsD;QACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAClE,4GAA4G;YAC5G,IAAI,IAAI,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;gBAC7B,mFAAmF;gBACnF,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;gBAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;YAC/D,CAAC;QACF,CAAC;QACD,0CAA0C;aACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACvE,8DAA8D;YAC9D,iFAAiF;YACjF,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACxD,CAAC;QAED,4EAA4E;QAC5E,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;CACD"}
+{"version":3,"file":"aliased.js","sourceRoot":"","sources":["../../../../src/planner/scopes/aliased.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC;;;;GAIG;AACH,MAAM,OAAO,YAAa,SAAQ,SAAS;IAKzB;IAJA,WAAW,CAAS;IACpB,MAAM,CAAS;IAEhC,YACiB,MAAa,EAC7B,UAAkB,EAClB,KAAa;QAEb,KAAK,EAAE,CAAC;QAJQ,WAAM,GAAN,MAAM,CAAO;QAK7B,IAAI,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC;IAED,aAAa,CAAC,SAAiB,EAAE,UAA0B;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAEnC,sDAAsD;QACtD,wFAAwF;QACxF,uFAAuF;QACvF,sFAAsF;QACtF,0FAA0F;QAC1F,uFAAuF;QACvF,oFAAoF;QACpF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAClE,4GAA4G;YAC5G,IAAI,IAAI,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;gBAC7B,mFAAmF;gBACnF,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACP,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;gBAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;YAC/D,CAAC;QACF,CAAC;QACD,0CAA0C;aACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACvE,8DAA8D;YAC9D,iFAAiF;YACjF,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACxD,CAAC;QAED,4EAA4E;QAC5E,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;CACD"}

package/dist/src/planner/stats/catalog-stats.d.ts

@@ -7,7 +7,7 @@
 import type { SqlValue } from '../../common/types.js';
 import type { ScalarPlanNode } from '../nodes/plan-node.js';
 import type { TableSchema } from '../../schema/table.js';
-import type { StatsProvider } from './index.js';
+import type { ColumnStatsResolver, StatsProvider } from './index.js';
 import { NaiveStatsProvider } from './index.js';
 /**
  * An equi-height histogram bucket.
@@ -63,15 +63,24 @@ export declare class CatalogStatsProvider implements StatsProvider {
     private readonly fallback;
     constructor(fallback?: NaiveStatsProvider);
     tableRows(table: TableSchema): number | undefined;
-    selectivity(table: TableSchema, predicate: ScalarPlanNode): number | undefined;
+    selectivity(table: TableSchema, predicate: ScalarPlanNode, resolve?: ColumnStatsResolver): number | undefined;
     /**
      * The catalog half of {@link selectivity}: undefined rather than a naive guess
      * when the table carries no statistics, or when the predicate's shape puts it out
-     * of reach of the ones it has (`lower(cat) = 'x'` — {@link extractColumnFromPredicate}
-     * reads the column off a direct child of the comparison and finds none).
+     * of reach of the ones it has —
+     *
+     * - the column is not a direct child of the comparison (`lower(cat) = 'x'` —
+     *   {@link extractColumnFromPredicate} looks one level down and finds none), or
+     * - the column was minted above the base table (a computed projection, an
+     *   aggregate or window output), which a caller-supplied
+     *   {@link ColumnStatsResolver} reports by resolving the attribute to nothing.
+     *
+     * A partly-known OR reads as undefined here: this method means "real statistics
+     * answered *the predicate*", and `rule-filter-selectivity` uses it as its
+     * does-this-relation-have-usable-statistics gate. A floor is not an answer.
      */
-    statsOnlySelectivity(table: TableSchema, predicate: ScalarPlanNode): number | undefined;
-    joinSelectivity(leftTable: TableSchema, rightTable: TableSchema, joinCondition: ScalarPlanNode): number | undefined;
+    statsOnlySelectivity(table: TableSchema, predicate: ScalarPlanNode, resolve?: ColumnStatsResolver): number | undefined;
+    joinSelectivity(leftTable: TableSchema, rightTable: TableSchema, joinCondition: ScalarPlanNode, resolve?: ColumnStatsResolver): number | undefined;
     /**
      * Check if an equi-join column pair represents a FK→PK relationship.
      * If so, return selectivity = 1/ndv_pk (each FK row matches at most one PK row).
@@ -80,13 +89,20 @@ export declare class CatalogStatsProvider implements StatsProvider {
     private isFkColumn;
     private getPkDistinct;
     distinctValues(table: TableSchema, columnName: string): number | undefined;
+    /**
+     * NOTE: no {@link ColumnStatsResolver} is threaded here, so the delegated estimate
+     * matches columns by AST name. Nothing in the engine calls this today (only its own
+     * tests do), so nothing is wrong now — but the first production caller must widen
+     * this signature to take a resolver and pass it down, or it will silently get the
+     * name matching the selectivity family no longer uses.
+     */
     indexSelectivity(table: TableSchema, indexName: string, predicate: ScalarPlanNode): number | undefined;
     private getDistinct;
     /**
-     * Entry point for predicate selectivity: short-circuit the empty table, then
-     * walk the predicate's boolean structure.
+     * Entry point for predicate selectivity: no statistics at all, or the empty
+     * table, short-circuit; otherwise walk the predicate's boolean structure.
      */
-    private estimatePredicateSelectivity;
+    private estimate;
     /**
      * Recurse over the boolean structure (AND / OR / NOT) of a predicate,
      * delegating anything else to {@link estimateLeaf}.
@@ -96,6 +112,8 @@ export declare class CatalogStatsProvider implements StatsProvider {
      * existed.
      */
     private estimateNode;
+    /** {@link estimateLeaf} lifted into the {@link Estimate} vocabulary. */
+    private leafEstimate;
     /**
      * AND: estimate each conjunct and combine the ones we could estimate.
      *
@@ -108,15 +126,28 @@ export declare class CatalogStatsProvider implements StatsProvider {
      *
      * If *every* conjunct is unknown we return undefined so the whole-predicate
      * naive fallback in `selectivity()` still runs.
+     *
+     * A conjunct that only produced a lower bound (a partly-known OR) counts as
+     * unknown here for the same reason: folding a floor into the product would drag
+     * the result down, and AND deliberately errs high.
      */
     private estimateConjunction;
     /**
-     * OR: estimate every disjunct, or give up.
+     * OR: estimate every disjunct; combine them when all were readable, otherwise
+     * report what was proved as a lower bound.
      *
      * Unlike AND there is no safe default for an unknown disjunct — assuming 1.0
-     * would make the whole disjunction 1.0 (safe but useless), and assuming 0
-     * would silently drop a branch that may match everything. So a single unknown
-     * disjunct makes the whole OR unknown.
+     * would make the whole disjunction 1.0 (safe but useless), and assuming 0 would
+     * silently drop a branch that may match everything. But giving up outright
+     * discards a bound already in hand: `a or b` keeps at least as many rows as `a`,
+     * so the most permissive branch that COULD be read floors the whole disjunction.
+     * That floor travels out as a `lowerBound`, which `selectivity` uses to lift the
+     * naive guess (see there) and `statsOnlySelectivity` still reports as unknown.
+     *
+     * The floor is the max of the readable branches, NOT their disjunctive
+     * combination: `1 - Π(1 - sᵢ)` assumes the branches are independent, which is an
+     * estimate rather than a proof — if one readable branch subsumes another the true
+     * value is only the max.
      */
     private estimateDisjunction;
     /**

package/dist/src/planner/stats/catalog-stats.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-stats.d.ts","sourceRoot":"","sources":["../../../../src/planner/stats/catalog-stats.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAoBhD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC/B,6CAA6C;IAC7C,UAAU,EAAE,QAAQ,CAAC;IACrB,2DAA2D;IAC3D,eAAe,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,aAAa,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,mDAAmD;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,sDAAsD;IACtD,SAAS,CAAC,EAAE,mBAAmB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,mCAAmC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACnD,mDAAmD;IACnD,YAAY,CAAC,EAAE,MAAM,CAAC;CACtB;AAID;;;GAGG;AACH,qBAAa,oBAAqB,YAAW,aAAa;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;gBAElC,QAAQ,CAAC,EAAE,kBAAkB;IAIzC,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IASjD,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAS9E;;;;;OAKG;IACH,oBAAoB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAMvF,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAwBnH;;;OAGG;IACH,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,aAAa;IAMrB,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAM1E,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAStG,OAAO,CAAC,WAAW;IAKnB;;;OAGG;IACH,OAAO,CAAC,4BAA4B;IAQpC;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY;IAsCpB;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;;;;;;OAOG;IACH,OAAO,CAAC,mBAAmB;IAoB3B;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAOrB,4EAA4E;IAC5E,OAAO,CAAC,YAAY;CAsFpB"}
+{"version":3,"file":"catalog-stats.d.ts","sourceRoot":"","sources":["../../../../src/planner/stats/catalog-stats.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AA4DhD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC/B,6CAA6C;IAC7C,UAAU,EAAE,QAAQ,CAAC;IACrB,2DAA2D;IAC3D,eAAe,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,aAAa,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IACnC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IACpC,qDAAqD;IACrD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,mDAAmD;IACnD,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,sDAAsD;IACtD,SAAS,CAAC,EAAE,mBAAmB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC/B,mCAAmC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACnD,mDAAmD;IACnD,YAAY,CAAC,EAAE,MAAM,CAAC;CACtB;AAID;;;GAGG;AACH,qBAAa,oBAAqB,YAAW,aAAa;IACzD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;gBAElC,QAAQ,CAAC,EAAE,kBAAkB;IAIzC,SAAS,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS;IAOjD,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,mBAAmB,GAAG,MAAM,GAAG,SAAS;IAoB7G;;;;;;;;;;;;;;OAcG;IACH,oBAAoB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,mBAAmB,GAAG,MAAM,GAAG,SAAS;IAKtH,eAAe,CACd,SAAS,EAAE,WAAW,EACtB,UAAU,EAAE,WAAW,EACvB,aAAa,EAAE,cAAc,EAC7B,OAAO,CAAC,EAAE,mBAAmB,GAC3B,MAAM,GAAG,SAAS;IAwBrB;;;OAGG;IACH,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,UAAU;IAUlB,OAAO,CAAC,aAAa;IAMrB,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAM1E;;;;;;OAMG;IACH,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS;IAStG,OAAO,CAAC,WAAW;IAKnB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAWhB;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY;IAwCpB,wEAAwE;IACxE,OAAO,CAAC,YAAY;IAKpB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,mBAAmB;IAwB3B;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,mBAAmB;IA+B3B;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAOrB,4EAA4E;IAC5E,OAAO,CAAC,YAAY;CAsFpB"}