@quereus/quereus 0.2.1 → 0.4.0

package/dist/src/planner/framework/characteristics.js

@@ -0,0 +1,299 @@
+/* eslint-disable @typescript-eslint/no-explicit-any */
+/**
+ * Characteristics-based plan node analysis
+ *
+ * This module provides utilities for analyzing plan nodes based on their capabilities
+ * and characteristics rather than their specific types, enabling robust and extensible
+ * optimization rules.
+ */
+import { isRelationalNode } from '../nodes/plan-node.js';
+// Default row estimate when not available
+const DEFAULT_ROW_ESTIMATE = 1000;
+/**
+ * Core physical property-based characteristics
+ */
+export class PlanNodeCharacteristics {
+    // Physical property shortcuts
+    static hasSideEffects(node) {
+        return node.physical.readonly === false;
+    }
+    static isReadOnly(node) {
+        return node.physical.readonly !== false;
+    }
+    static isDeterministic(node) {
+        return node.physical.deterministic !== false;
+    }
+    static isIdempotent(node) {
+        return node.physical.idempotent !== false;
+    }
+    static isConstant(node) {
+        return node.physical.constant === true && 'getValue' in node;
+    }
+    static isFunctional(node) {
+        return this.isDeterministic(node) && this.isReadOnly(node);
+    }
+    // Ordering capabilities
+    static hasOrderedOutput(node) {
+        return node.physical.ordering !== undefined && node.physical.ordering.length > 0;
+    }
+    static preservesOrdering(node) {
+        // Check if node preserves input ordering (single child with ordered output)
+        const children = node.getChildren();
+        return children.length === 1 && this.hasOrderedOutput(children[0]);
+    }
+    static getOrdering(node) {
+        return node.physical.ordering;
+    }
+    // Cardinality analysis
+    static estimatesRows(node) {
+        return node.physical.estimatedRows ?? DEFAULT_ROW_ESTIMATE;
+    }
+    static guaranteesUniqueRows(node) {
+        return node.physical.uniqueKeys?.some(key => key.length === 0) === true;
+    }
+    static hasUniqueKeys(node) {
+        return node.physical.uniqueKeys !== undefined && node.physical.uniqueKeys.length > 0;
+    }
+    static getUniqueKeys(node) {
+        return node.physical.uniqueKeys;
+    }
+    // Relational capabilities
+    static isRelational(node) {
+        return isRelationalNode(node);
+    }
+    static producesRows(node) {
+        return isRelationalNode(node);
+    }
+    static isScalar(node) {
+        return node.getType().typeClass === 'scalar';
+    }
+    static isVoid(node) {
+        return node.getType().typeClass === 'void';
+    }
+    // Performance characteristics
+    static isExpensive(node) {
+        const estimatedRows = this.estimatesRows(node);
+        return estimatedRows > 10000; // Tunable threshold
+    }
+    static isLikelyRepeated(node) {
+        // Heuristic: nodes with side effects are likely to be repeated in joins
+        return this.hasSideEffects(node);
+    }
+}
+/**
+ * Type guards for capability detection
+ */
+export class CapabilityDetectors {
+    static canPushDownPredicate(node) {
+        return 'getPredicate' in node &&
+            typeof node.getPredicate === 'function' &&
+            'withPredicate' in node &&
+            typeof node.withPredicate === 'function';
+    }
+    static canCombinePredicates(node) {
+        return this.canPushDownPredicate(node) &&
+            'canCombinePredicates' in node &&
+            typeof node.canCombinePredicates === 'function';
+    }
+    static isPredicateSource(node) {
+        return 'getPredicates' in node && typeof node.getPredicates === 'function';
+    }
+    static isTableAccess(node) {
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'tableSchema' in node &&
+            'getAccessMethod' in node &&
+            typeof node.getAccessMethod === 'function';
+    }
+    static isAggregating(node) {
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'getGroupingKeys' in node &&
+            typeof node.getGroupingKeys === 'function' &&
+            'getAggregateExpressions' in node &&
+            typeof node.getAggregateExpressions === 'function';
+    }
+    static isSortable(node) {
+        return 'getSortKeys' in node &&
+            typeof node.getSortKeys === 'function' &&
+            'withSortKeys' in node &&
+            typeof node.withSortKeys === 'function';
+    }
+    static isLimit(node) {
+        return 'getLimitExpression' in node &&
+            typeof node.getLimitExpression === 'function' &&
+            'getOffsetExpression' in node &&
+            typeof node.getOffsetExpression === 'function';
+    }
+    static isColumnBindingProvider(node) {
+        return 'getBindingRelationName' in node &&
+            typeof node.getBindingRelationName === 'string' || typeof node.getBindingRelationName === 'function';
+    }
+    static canProject(node) {
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'getProjections' in node &&
+            typeof node.getProjections === 'function';
+    }
+    static isJoin(node) {
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'getJoinType' in node &&
+            typeof node.getJoinType === 'function' &&
+            'getLeftSource' in node &&
+            'getRightSource' in node;
+    }
+    static isCached(node) {
+        return 'getCacheStrategy' in node &&
+            typeof node.getCacheStrategy === 'function';
+    }
+    static isCTE(node) {
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'cteName' in node &&
+            typeof node.cteName === 'string' &&
+            'getCTESource' in node &&
+            typeof node.getCTESource === 'function';
+    }
+    static isColumnReference(node) {
+        if (!node)
+            return false;
+        return PlanNodeCharacteristics.isScalar(node) &&
+            'attributeId' in node &&
+            typeof node.attributeId === 'number' &&
+            'columnIndex' in node &&
+            typeof node.columnIndex === 'number' &&
+            'expression' in node;
+    }
+    static isWindowFunction(node) {
+        if (!node)
+            return false;
+        // Check nodeType specifically to distinguish from AggregateFunctionCallNode
+        return node.nodeType === 'WindowFunctionCall' &&
+            PlanNodeCharacteristics.isScalar(node) &&
+            'functionName' in node &&
+            typeof node.functionName === 'string' &&
+            'isDistinct' in node &&
+            typeof node.isDistinct === 'boolean';
+    }
+    static isAggregateFunction(node) {
+        if (!node)
+            return false;
+        // Check for AggregateFunctionCallNode - it uses ScalarFunctionCall nodeType but has args property
+        return PlanNodeCharacteristics.isScalar(node) &&
+            'functionName' in node &&
+            typeof node.functionName === 'string' &&
+            'isDistinct' in node &&
+            typeof node.isDistinct === 'boolean' &&
+            'args' in node &&
+            Array.isArray(node.args) &&
+            'functionSchema' in node;
+    }
+    static isRecursiveCTERef(node) {
+        if (!node)
+            return false;
+        return PlanNodeCharacteristics.isRelational(node) &&
+            'cteName' in node &&
+            typeof node.cteName === 'string' &&
+            'workingTableDescriptor' in node;
+    }
+}
+/**
+ * Extensible capability registry for custom characteristics
+ */
+export class CapabilityRegistry {
+    static detectors = new Map();
+    static register(capability, detector) {
+        this.detectors.set(capability, detector);
+    }
+    static hasCapability(node, capability) {
+        const detector = this.detectors.get(capability);
+        return detector ? detector(node) : false;
+    }
+    static getCapable(nodes, capability) {
+        const detector = this.detectors.get(capability);
+        if (!detector)
+            return [];
+        return nodes.filter(detector);
+    }
+    static getAllCapabilities() {
+        return Array.from(this.detectors.keys());
+    }
+    static unregister(capability) {
+        return this.detectors.delete(capability);
+    }
+}
+/**
+ * Caching analysis utilities
+ */
+export class CachingAnalysis {
+    static isCacheable(node) {
+        // Must be relational to cache results
+        if (!PlanNodeCharacteristics.isRelational(node)) {
+            return false;
+        }
+        // Already cached nodes don't need re-caching
+        if (CapabilityDetectors.isCached(node) && node.isCached()) {
+            return false;
+        }
+        // Check physical properties for side effects
+        if (PlanNodeCharacteristics.hasSideEffects(node)) {
+            // Only cache if execution would be expensive and repeated
+            return this.isExpensiveRepeatedOperation(node);
+        }
+        return true;
+    }
+    static shouldCache(node) {
+        if (!this.isCacheable(node)) {
+            return false;
+        }
+        // Cache expensive operations
+        if (PlanNodeCharacteristics.isExpensive(node)) {
+            return true;
+        }
+        // Cache likely repeated operations
+        if (PlanNodeCharacteristics.isLikelyRepeated(node)) {
+            return true;
+        }
+        return false;
+    }
+    static isExpensiveRepeatedOperation(node) {
+        return PlanNodeCharacteristics.isExpensive(node) &&
+            PlanNodeCharacteristics.isLikelyRepeated(node);
+    }
+    static getCacheThreshold(node) {
+        const estimatedRows = PlanNodeCharacteristics.estimatesRows(node);
+        return Math.min(Math.max(estimatedRows * 0.1, 1000), 100000);
+    }
+}
+/**
+ * Predicate analysis utilities
+ */
+export class PredicateAnalysis {
+    static canPushDown(predicate, targetNode) {
+        if (!CapabilityDetectors.canPushDownPredicate(targetNode)) {
+            return false;
+        }
+        // Check if predicate only references columns from target
+        return this.predicateReferencesOnly(predicate, targetNode);
+    }
+    static canCombine(pred1, pred2) {
+        // Basic heuristic: both must be deterministic
+        return PlanNodeCharacteristics.isDeterministic(pred1) &&
+            PlanNodeCharacteristics.isDeterministic(pred2);
+    }
+    static predicateReferencesOnly(_predicate, _targetNode) {
+        // TODO: Implement column reference analysis
+        // For now, conservatively return true
+        return true;
+    }
+}
+// Register built-in capabilities
+CapabilityRegistry.register('predicate-pushdown', CapabilityDetectors.canPushDownPredicate);
+CapabilityRegistry.register('table-access', CapabilityDetectors.isTableAccess);
+CapabilityRegistry.register('aggregation', CapabilityDetectors.isAggregating);
+CapabilityRegistry.register('sort', CapabilityDetectors.isSortable);
+CapabilityRegistry.register('projection', CapabilityDetectors.canProject);
+CapabilityRegistry.register('join', CapabilityDetectors.isJoin);
+CapabilityRegistry.register('cache', CapabilityDetectors.isCached);
+CapabilityRegistry.register('cte', CapabilityDetectors.isCTE);
+CapabilityRegistry.register('column-reference', CapabilityDetectors.isColumnReference);
+CapabilityRegistry.register('window-function', CapabilityDetectors.isWindowFunction);
+CapabilityRegistry.register('aggregate-function', CapabilityDetectors.isAggregateFunction);
+CapabilityRegistry.register('recursive-cte-ref', CapabilityDetectors.isRecursiveCTERef);
+//# sourceMappingURL=characteristics.js.map

package/dist/src/planner/framework/characteristics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"characteristics.js","sourceRoot":"","sources":["../../../../src/planner/framework/characteristics.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD;;;;;;GAMG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAIzD,0CAA0C;AAC1C,MAAM,oBAAoB,GAAG,IAAI,CAAC;AAElC;;GAEG;AACH,MAAM,OAAO,uBAAuB;IACnC,8BAA8B;IAC9B,MAAM,CAAC,cAAc,CAAC,IAAc;QACnC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,eAAe,CAAC,IAAc;QACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,KAAK,KAAK,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,KAAK,KAAK,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,UAAU,IAAI,IAAI,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,wBAAwB;IACxB,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,OAAO,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC/B,CAAC;IAED,uBAAuB;IACvB,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC;IACzE,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;IACjC,CAAC;IAED,0BAA0B;IAC1B,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,YAAY,CAAC,IAAc;QACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC;IAC9C,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC;IAC5C,CAAC;IAED,8BAA8B;IAC9B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/C,OAAO,aAAa,GAAG,KAAK,CAAC,CAAC,oBAAoB;IACnD,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,wEAAwE;QACxE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;CACD;AAiJD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAC/B,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,cAAc,IAAI,IAAI;YAC5B,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU;YAChD,eAAe,IAAI,IAAI;YACvB,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,IAAc;QACzC,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;YACrC,sBAAsB,IAAI,IAAI;YAC9B,OAAQ,IAAY,CAAC,oBAAoB,KAAK,UAAU,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,OAAO,eAAe,IAAI,IAAI,IAAI,OAAQ,IAAY,CAAC,aAAa,KAAK,UAAU,CAAC;IACrF,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc;QAClC,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,iBAAiB,IAAI,IAAI;YACzB,OAAQ,IAAY,CAAC,eAAe,KAAK,UAAU;YACnD,yBAAyB,IAAI,IAAI;YACjC,OAAQ,IAAY,CAAC,uBAAuB,KAAK,UAAU,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,aAAa,IAAI,IAAI;YAC3B,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,IAAc;QAC5B,OAAO,oBAAoB,IAAI,IAAI;YAClC,OAAQ,IAAY,CAAC,kBAAkB,KAAK,UAAU;YACtD,qBAAqB,IAAI,IAAI;YAC7B,OAAQ,IAAY,CAAC,mBAAmB,KAAK,UAAU,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,uBAAuB,CAAC,IAAc;QAC5C,OAAO,wBAAwB,IAAI,IAAI;YACtC,OAAQ,IAAY,CAAC,sBAAsB,KAAK,QAAQ,IAAI,OAAQ,IAAY,CAAC,sBAAsB,KAAK,UAAU,CAAC;IACzH,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAc;QAC/B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,gBAAgB,IAAI,IAAI;YACxB,OAAQ,IAAY,CAAC,cAAc,KAAK,UAAU,CAAC;IACrD,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAc;QAC3B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,UAAU;YAC/C,eAAe,IAAI,IAAI;YACvB,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,IAAc;QAC7B,OAAO,kBAAkB,IAAI,IAAI;YAChC,OAAQ,IAAY,CAAC,gBAAgB,KAAK,UAAU,CAAC;IACvD,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,IAAc;QAC1B,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,UAAU,CAAC;IACnD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,aAAa,IAAI,IAAI;YACrB,OAAQ,IAAY,CAAC,WAAW,KAAK,QAAQ;YAC7C,YAAY,IAAI,IAAI,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,IAAc;QACrC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,4EAA4E;QAC5E,OAAO,IAAI,CAAC,QAAQ,KAAK,oBAAoB;YAC5C,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS,CAAC;IAChD,CAAC;IAED,MAAM,CAAC,mBAAmB,CAAC,IAAc;QACxC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,kGAAkG;QAClG,OAAO,uBAAuB,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,cAAc,IAAI,IAAI;YACtB,OAAQ,IAAY,CAAC,YAAY,KAAK,QAAQ;YAC9C,YAAY,IAAI,IAAI;YACpB,OAAQ,IAAY,CAAC,UAAU,KAAK,SAAS;YAC7C,MAAM,IAAI,IAAI;YACd,KAAK,CAAC,OAAO,CAAE,IAAY,CAAC,IAAI,CAAC;YACjC,gBAAgB,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,OAAO,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC;YAChD,SAAS,IAAI,IAAI;YACjB,OAAQ,IAAY,CAAC,OAAO,KAAK,QAAQ;YACzC,wBAAwB,IAAI,IAAI,CAAC;IACnC,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,kBAAkB;IACtB,MAAM,CAAU,SAAS,GAAG,IAAI,GAAG,EAAuC,CAAC;IAEnF,MAAM,CAAC,QAAQ,CACd,UAAkB,EAClB,QAAqC;QAErC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,IAAc,EAAE,UAAkB;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAChB,KAA0B,EAC1B,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,kBAAkB;QACxB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,UAAkB;QACnC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;;AAGF;;GAEG;AACH,MAAM,OAAO,eAAe;IAC3B,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,sCAAsC;QACtC,IAAI,CAAC,uBAAuB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAK,IAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6CAA6C;QAC7C,IAAI,uBAAuB,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,0DAA0D;YAC1D,OAAO,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,IAAc;QAChC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACd,CAAC;QAED,6BAA6B;QAC7B,IAAI,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,OAAO,IAAI,CAAC;QACb,CAAC;QAED,mCAAmC;QACnC,IAAI,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC;QACb,CAAC;QAED,OAAO,KAAK,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,4BAA4B,CAAC,IAAc;QACzD,OAAO,uBAAuB,CAAC,WAAW,CAAC,IAAI,CAAC;YAC/C,uBAAuB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,IAAc;QACtC,MAAM,aAAa,GAAG,uBAAuB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9D,CAAC;CACD;AAED;;GAEG;AACH,MAAM,OAAO,iBAAiB;IAC7B,MAAM,CAAC,WAAW,CAAC,SAAyB,EAAE,UAAoB;QACjE,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC;QACd,CAAC;QAED,yDAAyD;QACzD,OAAO,IAAI,CAAC,uBAAuB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAqB,EAAE,KAAqB;QAC7D,8CAA8C;QAC9C,OAAO,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC;YACpD,uBAAuB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IAEO,MAAM,CAAC,uBAAuB,CAAC,UAA0B,EAAE,WAAqB;QACvF,4CAA4C;QAC5C,sCAAsC;QACtC,OAAO,IAAI,CAAC;IACb,CAAC;CACD;AAED,iCAAiC;AACjC,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;AAC5F,kBAAkB,CAAC,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC/E,kBAAkB,CAAC,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC,aAAa,CAAC,CAAC;AAC9E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACpE,kBAAkB,CAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;AAC1E,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;AAChE,kBAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,QAAQ,CAAC,CAAC;AACnE,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC9D,kBAAkB,CAAC,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;AACvF,kBAAkB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;AACrF,kBAAkB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;AAC3F,kBAAkB,CAAC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,iBAAiB,CAAC,CAAC"}

package/dist/src/planner/framework/context.d.ts

@@ -23,7 +23,9 @@ export interface OptContext {
     /** Rule application depth (for detecting infinite recursion) */
     readonly depth: number;
     /** Additional context data that rules can use */
-    readonly context: Map<string, any>;
+    readonly context: Map<string, unknown>;
+    /** Diagnostics bag that rules can populate (emitted after optimization) */
+    readonly diagnostics: OptimizerDiagnostics;
     /** Database instance */
     readonly db: Database;
     /** Context-scoped visited rules tracking (nodeId → ruleIds) */
@@ -31,6 +33,14 @@ export interface OptContext {
     /** Cache of already-optimized nodes within this context (nodeId → optimized result) */
     readonly optimizedNodes: Map<string, PlanNode>;
 }
+/** Optimizer diagnostics structure */
+export interface OptimizerDiagnostics {
+    quickpick?: {
+        tours?: number;
+        bestCost?: number;
+    };
+    [key: string]: any;
+}
 /**
  * Implementation of optimization context
  */
@@ -41,9 +51,10 @@ export declare class OptimizationContext implements OptContext {
     readonly phase: 'rewrite' | 'impl';
     readonly db: Database;
     readonly depth: number;
-    readonly context: Map<string, any>;
+    readonly context: Map<string, unknown>;
     readonly visitedRules: Map<string, Set<string>>;
     readonly optimizedNodes: Map<string, PlanNode>;
+    readonly diagnostics: OptimizerDiagnostics;
     constructor(optimizer: Optimizer, stats: StatsProvider, tuning: OptimizerTuning, phase: "rewrite" | "impl" | undefined, db: Database, depth?: number);
     /**
      * Create a new context for a different phase
@@ -56,7 +67,7 @@ export declare class OptimizationContext implements OptContext {
     /**
      * Create a new context with additional context data
      */
-    withContext(key: string, value: any): OptimizationContext;
+    withContext(key: string, value: unknown): OptimizationContext;
     /**
      * Copy visited tracking state to another context
      */
@@ -72,7 +83,7 @@ export declare class OptimizationContext implements OptContext {
     /**
      * Set context value (mutates current context)
      */
-    setContext(key: string, value: any): void;
+    setContext(key: string, value: unknown): void;
     /**
      * Remove context value (mutates current context)
      */
@@ -84,7 +95,7 @@ export declare class OptimizationContext implements OptContext {
     /**
      * Get a snapshot of all context data
      */
-    getContextSnapshot(): Record<string, any>;
+    getContextSnapshot(): Record<string, unknown>;
 }
 /**
  * Factory function to create optimization context

package/dist/src/planner/framework/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAItD;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAE9B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAE9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAEjC,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IAEnC,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAEnC,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhD,uFAAuF;IACvF,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED;;GAEG;AACH,qBAAa,mBAAoB,YAAW,UAAU;aAMpC,SAAS,EAAE,SAAS;aACpB,KAAK,EAAE,aAAa;aACpB,MAAM,EAAE,eAAe;aACvB,KAAK,EAAE,SAAS,GAAG,MAAM;aACzB,EAAE,EAAE,QAAQ;aACZ,KAAK,EAAE,MAAM;IAV9B,QAAQ,CAAC,OAAO,mBAA0B;IAC1C,QAAQ,CAAC,YAAY,2BAAkC;IACvD,QAAQ,CAAC,cAAc,wBAA+B;gBAGrC,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,SAAS,GAAG,MAAM,YAAY,EACrC,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,MAAU;IAKlC;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,mBAAmB;IAezD;;OAEG;IACH,oBAAoB,IAAI,mBAAmB;IAmB3C;;OAEG;IACH,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,mBAAmB;IAuBzD;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAYzB;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAIzC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIhC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,IAAI;IAIzC;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;CAOzC;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,SAAS,GAAG,MAAkB,GACnC,UAAU,CAEZ;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,UAAU,CASxD"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAItD;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,6BAA6B;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAE9B,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAE9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAEjC,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAAC;IAEnC,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEvC,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAE3C,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAEtB,+DAA+D;IAC/D,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhD,uFAAuF;IACvF,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED,sCAAsC;AACtC,MAAM,WAAW,oBAAoB;IAEnC,SAAS,CAAC,EAAE;QACV,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IAGF,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB;AAED;;GAEG;AACH,qBAAa,mBAAoB,YAAW,UAAU;aAOpC,SAAS,EAAE,SAAS;aACpB,KAAK,EAAE,aAAa;aACpB,MAAM,EAAE,eAAe;aACvB,KAAK,EAAE,SAAS,GAAG,MAAM;aACzB,EAAE,EAAE,QAAQ;aACZ,KAAK,EAAE,MAAM;IAX9B,QAAQ,CAAC,OAAO,uBAA8B;IAC9C,QAAQ,CAAC,YAAY,2BAAkC;IACvD,QAAQ,CAAC,cAAc,wBAA+B;IACrD,QAAQ,CAAC,WAAW,EAAS,oBAAoB,CAAC;gBAGlC,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,SAAS,GAAG,MAAM,YAAY,EACrC,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,MAAU;IAKlC;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,GAAG,mBAAmB;IAezD;;OAEG;IACH,oBAAoB,IAAI,mBAAmB;IAmB3C;;OAEG;IACH,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,mBAAmB;IAuB7D;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAYzB;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS;IAIzC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAIhC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAI7C;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO;IAInC;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAO7C;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,eAAe,EACvB,EAAE,EAAE,QAAQ,EACZ,KAAK,GAAE,SAAS,GAAG,MAAkB,GACnC,UAAU,CAEZ;AAED;;GAEG;AAEH,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,UAAU,CASxD"}

package/dist/src/planner/framework/context.js

@@ -19,6 +19,7 @@ export class OptimizationContext {
     context = new Map();
     visitedRules = new Map();
     optimizedNodes = new Map();
+    diagnostics = {};
     constructor(optimizer, stats, tuning, phase = 'rewrite', db, depth = 0) {
         this.optimizer = optimizer;
         this.stats = stats;
@@ -127,6 +128,7 @@ export function createOptContext(optimizer, stats, tuning, db, phase = 'rewrite'
 /**
  * Type guard to check if an object is an OptContext
  */
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
 export function isOptContext(obj) {
     return obj &&
         typeof obj === 'object' &&

package/dist/src/planner/framework/context.js.map

@@ -1 +1 @@
-{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,MAAM,GAAG,GAAG,YAAY,CAAC,6BAA6B,CAAC,CAAC;AAmCxD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAMd;IACA;IACA;IACA;IACA;IACA;IAVR,OAAO,GAAG,IAAI,GAAG,EAAe,CAAC;IACjC,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IAEtD,YACiB,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,QAA4B,SAAS,EACrC,EAAY,EACZ,QAAgB,CAAC;QALjB,cAAS,GAAT,SAAS,CAAW;QACpB,UAAK,GAAL,KAAK,CAAe;QACpB,WAAM,GAAN,MAAM,CAAiB;QACvB,UAAK,GAAL,KAAK,CAAgC;QACrC,OAAE,GAAF,EAAE,CAAU;QACZ,UAAK,GAAL,KAAK,CAAY;QAEjC,GAAG,CAAC,qDAAqD,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1E,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,KAAyB;QAClC,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,KAAK,EACL,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;QAEF,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,oBAAoB;QACnB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAC;YACpD,YAAY,CAAC,wCAAwC,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,GAAG,CAAC,CACd,CAAC;QAEF,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,GAAW,EAAE,KAAU;QAClC,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;QAEF,wBAAwB;QACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,CAAC;QAED,kBAAkB;QAClB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAEnC,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAA2B;QACpD,oBAAoB;QACpB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACnD,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAClD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;IACF,CAAC;IAED;;OAEG;IACH,UAAU,CAAI,GAAW;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAkB,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,GAAW;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,GAAW,EAAE,KAAU;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,GAAW;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,YAAY;QACX,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,kBAAkB;QACjB,MAAM,QAAQ,GAAwB,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACvB,CAAC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,EAAY,EACZ,QAA4B,SAAS;IAErC,OAAO,IAAI,mBAAmB,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,GAAQ;IACpC,OAAO,GAAG;QACT,OAAO,GAAG,KAAK,QAAQ;QACvB,WAAW,IAAI,GAAG;QAClB,OAAO,IAAI,GAAG;QACd,QAAQ,IAAI,GAAG;QACf,OAAO,IAAI,GAAG;QACd,OAAO,IAAI,GAAG;QACd,SAAS,IAAI,GAAG,CAAC;AACnB,CAAC"}
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/planner/framework/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,MAAM,GAAG,GAAG,YAAY,CAAC,6BAA6B,CAAC,CAAC;AAkDxD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAOd;IACA;IACA;IACA;IACA;IACA;IAXR,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IACrC,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,WAAW,GAAG,EAA0B,CAAC;IAEnD,YACiB,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,QAA4B,SAAS,EACrC,EAAY,EACZ,QAAgB,CAAC;QALjB,cAAS,GAAT,SAAS,CAAW;QACpB,UAAK,GAAL,KAAK,CAAe;QACpB,WAAM,GAAN,MAAM,CAAiB;QACvB,UAAK,GAAL,KAAK,CAAgC;QACrC,OAAE,GAAF,EAAE,CAAU;QACZ,UAAK,GAAL,KAAK,CAAY;QAEjC,GAAG,CAAC,qDAAqD,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1E,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,KAAyB;QAClC,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,KAAK,EACL,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;QAEF,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,oBAAoB;QACnB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,CAAC;YACpD,YAAY,CAAC,wCAAwC,IAAI,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,GAAG,CAAC,CACd,CAAC;QAEF,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,GAAW,EAAE,KAAc;QACtC,MAAM,UAAU,GAAG,IAAI,mBAAmB,CACzC,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;QAEF,wBAAwB;QACxB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,CAAC;QAED,kBAAkB;QAClB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAEnC,8BAA8B;QAC9B,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAA2B;QACpD,oBAAoB;QACpB,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACnD,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAClD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzC,CAAC;IACF,CAAC;IAED;;OAEG;IACH,UAAU,CAAI,GAAW;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAkB,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,GAAW;QACrB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,GAAW,EAAE,KAAc;QACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,GAAW;QACxB,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,YAAY;QACX,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,kBAAkB;QACjB,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACvB,CAAC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,EAAY,EACZ,QAA4B,SAAS;IAErC,OAAO,IAAI,mBAAmB,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACrE,CAAC;AAED;;GAEG;AACH,8DAA8D;AAC9D,MAAM,UAAU,YAAY,CAAC,GAAQ;IACpC,OAAO,GAAG;QACT,OAAO,GAAG,KAAK,QAAQ;QACvB,WAAW,IAAI,GAAG;QAClB,OAAO,IAAI,GAAG;QACd,QAAQ,IAAI,GAAG;QACf,OAAO,IAAI,GAAG;QACd,OAAO,IAAI,GAAG;QACd,SAAS,IAAI,GAAG,CAAC;AACnB,CAAC"}

package/dist/src/planner/framework/pass.d.ts

@@ -0,0 +1,116 @@
+/**
+ * Optimization pass framework for multi-pass query optimization
+ *
+ * This framework enables rules to run in separate tree traversals,
+ * allowing for proper sequencing of transformations that require
+ * different traversal orders or multiple passes over the tree.
+ */
+import type { PlanNode } from '../nodes/plan-node.js';
+import type { OptContext } from './context.js';
+import type { RuleHandle } from './registry.js';
+/**
+ * Traversal order for optimization passes
+ */
+export declare enum TraversalOrder {
+    /** Process children before parents */
+    BottomUp = "bottom-up",
+    /** Process parents before children */
+    TopDown = "top-down"
+}
+/**
+ * Definition of an optimization pass
+ */
+export interface OptimizationPass {
+    /** Unique identifier for this pass */
+    id: string;
+    /** Human-readable name for logging */
+    name: string;
+    /** Description of what this pass does */
+    description: string;
+    /** Traversal order for this pass */
+    traversalOrder: TraversalOrder;
+    /** Rules that belong to this pass (will be populated by registration) */
+    rules: RuleHandle[];
+    /** Optional custom execution logic (default uses standard rule application) */
+    execute?: (plan: PlanNode, context: OptContext) => PlanNode;
+    /** Whether this pass is enabled (default: true) */
+    enabled?: boolean;
+    /** Order in which passes execute (lower numbers first) */
+    order: number;
+}
+/**
+ * Standard optimization passes
+ */
+export declare enum PassId {
+    /** Pre-optimization constant folding */
+    ConstantFolding = "constant-folding",
+    /** Structural transformations (pushdown, pullup, boundary sliding) */
+    Structural = "structural",
+    /** Physical operator selection and implementation */
+    Physical = "physical",
+    /** Post-optimization cleanup and caching */
+    PostOptimization = "post-opt",
+    /** Final validation */
+    Validation = "validation"
+}
+/**
+ * Create a standard optimization pass
+ */
+export declare function createPass(id: string, name: string, description: string, order: number, traversalOrder?: TraversalOrder): OptimizationPass;
+/**
+ * Standard pass definitions
+ */
+export declare const STANDARD_PASSES: OptimizationPass[];
+/**
+ * Pass manager for coordinating multi-pass optimization
+ */
+export declare class PassManager {
+    private passes;
+    private sortedPasses;
+    constructor();
+    /**
+     * Register an optimization pass
+     */
+    registerPass(pass: OptimizationPass): void;
+    /**
+     * Get a pass by ID
+     */
+    getPass(id: string): OptimizationPass | undefined;
+    /**
+     * Add a rule to a specific pass
+     */
+    addRuleToPass(passId: string, rule: RuleHandle): void;
+    /**
+     * Get all passes in execution order
+     */
+    getPasses(): readonly OptimizationPass[];
+    /**
+     * Update sorted pass list after changes
+     */
+    private updateSortedPasses;
+    /**
+     * Execute all passes on a plan
+     */
+    execute(plan: PlanNode, context: OptContext): PlanNode;
+    /**
+     * Execute passes up to and including the specified pass id
+     */
+    executeUpTo(plan: PlanNode, context: OptContext, upToPassId?: string): PlanNode;
+    /**
+     * Execute a standard rule-based pass
+     */
+    private executeStandardPass;
+    /**
+     * Top-down traversal with rule application
+     */
+    private traverseTopDown;
+    /**
+     * Bottom-up traversal with rule application
+     */
+    private traverseBottomUp;
+    /**
+     * Apply all rules in a pass to a node
+     */
+    private applyPassRules;
+}
+//# sourceMappingURL=pass.d.ts.map

package/dist/src/planner/framework/pass.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAOhD;;GAEG;AACH,oBAAY,cAAc;IACzB,sCAAsC;IACtC,QAAQ,cAAc;IACtB,sCAAsC;IACtC,OAAO,aAAa;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IAEX,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IAEb,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IAEpB,oCAAoC;IACpC,cAAc,EAAE,cAAc,CAAC;IAE/B,yEAAyE;IACzE,KAAK,EAAE,UAAU,EAAE,CAAC;IAEpB,+EAA+E;IAC/E,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,KAAK,QAAQ,CAAC;IAE5D,mDAAmD;IACnD,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,oBAAY,MAAM;IACjB,wCAAwC;IACxC,eAAe,qBAAqB;IAEpC,sEAAsE;IACtE,UAAU,eAAe;IAEzB,qDAAqD;IACrD,QAAQ,aAAa;IAErB,4CAA4C;IAC5C,gBAAgB,aAAa;IAE7B,uBAAuB;IACvB,UAAU,eAAe;CACzB;AAED;;GAEG;AACH,wBAAgB,UAAU,CACzB,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,EACb,cAAc,GAAE,cAAwC,GACtD,gBAAgB,CAUlB;AAwBD;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,gBAAgB,EAkC7C,CAAC;AAEF;;GAEG;AACH,qBAAa,WAAW;IACvB,OAAO,CAAC,MAAM,CAA4C;IAC1D,OAAO,CAAC,YAAY,CAA0B;;IAS9C;;OAEG;IACH,YAAY,CAAC,IAAI,EAAE,gBAAgB,GAAG,IAAI;IAY1C;;OAEG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIjD;;OAEG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI;IAgBrD;;OAEG;IACH,SAAS,IAAI,SAAS,gBAAgB,EAAE;IAIxC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,GAAG,QAAQ;IAItD;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ;IAmB/E;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAe3B;;OAEG;IACH,OAAO,CAAC,eAAe;IAyBvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAyBxB;;OAEG;IACH,OAAO,CAAC,cAAc;CAkBtB"}