@quereus/quereus 4.3.1 → 4.3.2

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

@@ -13,7 +13,6 @@ export class OptimizationContext {
     tuning;
     phase;
     db;
-    context = new Map();
     visitedRules = new Map();
     optimizedNodes = new Map();
     diagnostics = {};
@@ -25,83 +24,6 @@ export class OptimizationContext {
         this.db = db;
         log('Created optimization context (phase: %s)', phase);
     }
-    /**
-     * Create a new context for a different phase
-     */
-    withPhase(phase) {
-        const newContext = new OptimizationContext(this.optimizer, this.stats, this.tuning, phase, this.db);
-        // Copy visited tracking state
-        this.copyTrackingState(newContext);
-        return newContext;
-    }
-    /**
-     * Create a new context with additional context data
-     */
-    withContext(key, value) {
-        const newContext = new OptimizationContext(this.optimizer, this.stats, this.tuning, this.phase, this.db);
-        // Copy existing context
-        for (const [k, v] of this.context) {
-            newContext.context.set(k, v);
-        }
-        // Add new context
-        newContext.context.set(key, value);
-        // Copy visited tracking state
-        this.copyTrackingState(newContext);
-        return newContext;
-    }
-    /**
-     * Copy visited tracking state to another context
-     */
-    copyTrackingState(target) {
-        // Copy visitedRules
-        for (const [nodeId, ruleIds] of this.visitedRules) {
-            target.visitedRules.set(nodeId, new Set(ruleIds));
-        }
-        // Copy optimizedNodes
-        for (const [nodeId, node] of this.optimizedNodes) {
-            target.optimizedNodes.set(nodeId, node);
-        }
-    }
-    /**
-     * Get context value
-     */
-    getContext(key) {
-        return this.context.get(key);
-    }
-    /**
-     * Check if context has a key
-     */
-    hasContext(key) {
-        return this.context.has(key);
-    }
-    /**
-     * Set context value (mutates current context)
-     */
-    setContext(key, value) {
-        this.context.set(key, value);
-    }
-    /**
-     * Remove context value (mutates current context)
-     */
-    deleteContext(key) {
-        return this.context.delete(key);
-    }
-    /**
-     * Clear all context data (mutates current context)
-     */
-    clearContext() {
-        this.context.clear();
-    }
-    /**
-     * Get a snapshot of all context data
-     */
-    getContextSnapshot() {
-        const snapshot = {};
-        for (const [key, value] of this.context) {
-            snapshot[key] = value;
-        }
-        return snapshot;
-    }
 }
 /**
  * Factory function to create optimization context
@@ -109,17 +31,4 @@ export class OptimizationContext {
 export function createOptContext(optimizer, stats, tuning, db, phase = 'rewrite') {
     return new OptimizationContext(optimizer, stats, tuning, phase, db);
 }
-/**
- * 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' &&
-        'optimizer' in obj &&
-        'stats' in obj &&
-        'tuning' in obj &&
-        'phase' in obj &&
-        'context' in obj;
-}
 //# sourceMappingURL=context.js.map

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;AAItD,MAAM,GAAG,GAAG,YAAY,CAAC,6BAA6B,CAAC,CAAC;AA+CxD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAOd;IACA;IACA;IACA;IACA;IAVR,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IACrC,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,WAAW,GAAG,EAA0B,CAAC;IAElD,YACiB,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,QAA4B,SAAS,EACrC,EAAY;QAJZ,cAAS,GAAT,SAAS,CAAW;QACpB,UAAK,GAAL,KAAK,CAAe;QACpB,WAAM,GAAN,MAAM,CAAiB;QACvB,UAAK,GAAL,KAAK,CAAgC;QACrC,OAAE,GAAF,EAAE,CAAU;QAE5B,GAAG,CAAC,0CAA0C,EAAE,KAAK,CAAC,CAAC;IACxD,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,CACP,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,CACP,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,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;AAItD,MAAM,GAAG,GAAG,YAAY,CAAC,6BAA6B,CAAC,CAAC;AAmDxD;;GAEG;AACH,MAAM,OAAO,mBAAmB;IAMd;IACA;IACA;IACA;IACA;IATR,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,cAAc,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,WAAW,GAAG,EAA0B,CAAC;IAElD,YACiB,SAAoB,EACpB,KAAoB,EACpB,MAAuB,EACvB,QAA4B,SAAS,EACrC,EAAY;QAJZ,cAAS,GAAT,SAAS,CAAW;QACpB,UAAK,GAAL,KAAK,CAAe;QACpB,WAAM,GAAN,MAAM,CAAiB;QACvB,UAAK,GAAL,KAAK,CAAgC;QACrC,OAAE,GAAF,EAAE,CAAU;QAE5B,GAAG,CAAC,0CAA0C,EAAE,KAAK,CAAC,CAAC;IACxD,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"}

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

@@ -50,6 +50,8 @@ export declare enum PassId {
     Physical = "physical",
     /** Post-optimization cleanup and caching */
     PostOptimization = "post-opt",
+    /** Cache materialization advisory — one whole-tree pass */
+    Materialization = "materialization",
     /** Final validation */
     Validation = "validation"
 }
@@ -70,6 +72,11 @@ export declare class PassManager {
     constructor(passes?: readonly OptimizationPass[]);
     /**
      * Register an optimization pass
+     *
+     * NOTE: `pass.rules` is taken as-is; only `addRuleToPass` runs
+     * `validateSideEffectMode` (see docs/invariants.md § OPT-001). Every pass ships with
+     * `rules: []`, so nothing bypasses the gate today. If a pass ever arrives pre-populated,
+     * validate each rule here.
      */
     registerPass(pass: OptimizationPass): void;
     /**

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

@@ -1 +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;AAUhD;;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;AAyBD;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,gBAAgB,EAkC7C,CAAC;AAoDF;;GAEG;AACH,qBAAa,WAAW;IACvB,OAAO,CAAC,MAAM,CAA4C;IAC1D,OAAO,CAAC,YAAY,CAA0B;gBAElC,MAAM,GAAE,SAAS,gBAAgB,EAAoB;IAOjE;;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;IAkBrD;;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;IAqB/E;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA0B3B,OAAO,CAAC,uBAAuB;IAM/B;;;;;;;;OAQG;IACH,OAAO,CAAC,YAAY;IA6BpB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAoDvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAmDxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAsCtB,OAAO,CAAC,mBAAmB;CAc3B"}
+{"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;AAWhD;;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,2DAA2D;IAC3D,eAAe,oBAAoB;IAEnC,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;AAoED;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,gBAAgB,EAoC7C,CAAC;AAoDF;;GAEG;AACH,qBAAa,WAAW;IACvB,OAAO,CAAC,MAAM,CAA4C;IAC1D,OAAO,CAAC,YAAY,CAA0B;gBAElC,MAAM,GAAE,SAAS,gBAAgB,EAAoB;IAOjE;;;;;;;OAOG;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;IAkBrD;;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;IAqB/E;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA0B3B,OAAO,CAAC,uBAAuB;IAM/B;;;;;;;;OAQG;IACH,OAAO,CAAC,YAAY;IA6BpB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAoDvB;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB;IAmDxB;;OAEG;IACH,OAAO,CAAC,cAAc;IAsEtB,OAAO,CAAC,mBAAmB;CAc3B"}

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

@@ -9,6 +9,7 @@ import { hasRuleBeenApplied, markRuleApplied, validateSideEffectMode } from './r
 import { createLogger } from '../../common/logger.js';
 import { performConstantFolding } from '../analysis/const-pass.js';
 import { createRuntimeExpressionEvaluator, createRuntimeRelationalEvaluator } from '../analysis/const-evaluator.js';
+import { MaterializationAdvisory } from '../cache/materialization-advisory.js';
 import { StatusCode } from '../../common/types.js';
 import { quereusError } from '../../common/errors.js';
 const log = createLogger('optimizer:framework:pass');
@@ -35,6 +36,8 @@ export var PassId;
     PassId["Physical"] = "physical";
     /** Post-optimization cleanup and caching */
     PassId["PostOptimization"] = "post-opt";
+    /** Cache materialization advisory — one whole-tree pass */
+    PassId["Materialization"] = "materialization";
     /** Final validation */
     PassId["Validation"] = "validation";
 })(PassId || (PassId = {}));
@@ -74,6 +77,48 @@ function createConstantFoldingPass() {
         }
     };
 }
+/**
+ * Create the materialization-advisory pass with custom execution.
+ *
+ * Runs the cache materialization advisory exactly ONCE over the whole plan.
+ * `analyzeAndTransform` builds a single reference graph (parent counts are then
+ * global — strictly more correct than the previous per-anchor-subtree-local
+ * counts, which under-counted sharing that spanned two anchors) and walks every
+ * descendant via `getChildren()`, wrapping each recommended relational node with
+ * a `CacheNode`. This replaces the previous 12 per-anchor-type `RuleHandle`
+ * registrations, each of which rebuilt a reference graph over its own subtree
+ * (O(anchors) graph builds per optimize, now 1).
+ *
+ * Placement (order 35) is between PostOptimization (30) and Validation (40) so
+ * the advisory runs AFTER the CacheNodes injected by `cte-optimization` /
+ * `in-subquery-cache` are already in place — it skips `nodeType === Cache`, so
+ * running last avoids double-wrapping.
+ *
+ * Side-effect soundness (a custom `execute` bypasses `sideEffectMode`
+ * validation, so the reasoning lives here rather than in a RuleHandle field):
+ * the advisory does not explicitly consult `hasSideEffects` — soundness for
+ * impure subtrees rests on CacheNode itself being a run-once fence
+ * (materialize-on-first-read, replay thereafter), so a side-effect-bearing
+ * subtree that the advisory would otherwise wrap runs exactly once instead of
+ * per-reference. That is a count-change but order-preserving rewrite — and
+ * matches the run-once contract the scalar / IN / EXISTS emitters apply
+ * directly when their inner is impure (see `docs/runtime.md`).
+ */
+function createMaterializationPass() {
+    return {
+        id: PassId.Materialization,
+        name: 'Materialization Advisory',
+        description: 'Inject caching where reference analysis shows materialization pays off',
+        traversalOrder: TraversalOrder.BottomUp,
+        rules: [],
+        enabled: true,
+        order: 35,
+        execute: (plan, context) => {
+            const advisory = new MaterializationAdvisory(context.tuning);
+            return advisory.analyzeAndTransform(plan);
+        },
+    };
+}
 /**
  * Standard pass definitions
  */
@@ -82,6 +127,7 @@ export const STANDARD_PASSES = [
     createPass(PassId.Structural, 'Structural Transformations', 'Restructure the plan tree for optimal execution boundaries', 10, TraversalOrder.TopDown),
     createPass(PassId.Physical, 'Physical Selection', 'Convert logical operators to physical implementations', 20, TraversalOrder.BottomUp),
     createPass(PassId.PostOptimization, 'Post-Optimization', 'Final cleanup, materialization decisions, and caching', 30, TraversalOrder.BottomUp),
+    createMaterializationPass(),
     createPass(PassId.Validation, 'Validation', 'Validate the correctness of the optimized plan', 40, TraversalOrder.BottomUp),
 ];
 /**
@@ -116,6 +162,11 @@ export class PassManager {
     }
     /**
      * Register an optimization pass
+     *
+     * NOTE: `pass.rules` is taken as-is; only `addRuleToPass` runs
+     * `validateSideEffectMode` (see docs/invariants.md § OPT-001). Every pass ships with
+     * `rules: []`, so nothing bypasses the gate today. If a pass ever arrives pre-populated,
+     * validate each rule here.
      */
     registerPass(pass) {
         if (this.passes.has(pass.id)) {
@@ -341,6 +392,18 @@ export class PassManager {
     applyPassRules(node, context, pass, state) {
         let currentNode = node;
         let changed = true;
+        // Rules that declined (returned null / the same node) on the *current*
+        // node id. A declining rule is deterministic in its input node, so once it
+        // declines on a given node it will decline again on the same node — no
+        // point re-offering it every `while` fixpoint iteration. This set is
+        // ephemeral (not stored on the context) and, crucially, is reset whenever
+        // a transform mints a NEW node: the plan piece changed, so every decliner
+        // gets a fresh shot on the new node (a rule that declined on the old shape
+        // may well apply to the new one). Applied rules are handled separately by
+        // `hasRuleBeenApplied` (they are inherited across the re-mint for loop
+        // prevention); declines are not inherited, so no plan output changes vs.
+        // re-scanning every iteration — only redundant same-node re-runs are cut.
+        let declinedOnCurrent = new Set();
         while (changed) {
             changed = false;
             for (const rule of pass.rules) {
@@ -350,8 +413,17 @@ export class PassManager {
                     continue;
                 if (hasRuleBeenApplied(currentNode.id, rule.id, context))
                     continue;
+                if (declinedOnCurrent.has(rule.id))
+                    continue;
                 const result = rule.fn(currentNode, context);
                 if (result && result !== currentNode) {
+                    // NOTE: a rule is not re-offered its own output. marking the old node id
+                    // applied and then inheriting that applied-rule set onto the new node id
+                    // means `hasRuleBeenApplied` short-circuits `rule.id` on `result` too, so
+                    // the fixpoint loop above never re-invokes this rule on the node it just
+                    // produced. A rule that needs a fixpoint over its own rewrites (e.g. merging
+                    // an arbitrarily deep stack of nested nodes) must loop internally rather than
+                    // rely on the engine to re-offer it — see rule-filter-merge for the pattern.
                     markRuleApplied(currentNode.id, rule.id, context);
                     this.inheritVisitedRules(currentNode.id, result.id, context);
                     state.rulesFired++;
@@ -360,8 +432,20 @@ export class PassManager {
                     }
                     log('Rule %s transformed node in pass %s', rule.id, pass.id);
                     currentNode = result;
+                    // New node id — the plan piece changed, so re-offer every decliner.
+                    declinedOnCurrent = new Set();
                     changed = true;
                 }
+                else {
+                    // Declined on this exact node id; suppress re-offering it until
+                    // the node changes (a transform resets the set above).
+                    // NOTE: this assumes a decline is a pure function of the node — a
+                    // rule that declines but mutates shared `context` state expecting
+                    // to re-apply on the *same unchanged* node next iteration would no
+                    // longer get that second look. No such rule exists today; if one
+                    // is added, exclude it here or key the skip on a context epoch.
+                    declinedOnCurrent.add(rule.id);
+                }
             }
         }
         return currentNode;

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

@@ -1 +1 @@
-{"version":3,"file":"pass.js","sourceRoot":"","sources":["../../../../src/planner/framework/pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AACpH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,0BAA0B,CAAC,CAAC;AAErD;;GAEG;AACH,MAAM,CAAN,IAAY,cAKX;AALD,WAAY,cAAc;IACzB,sCAAsC;IACtC,wCAAsB,CAAA;IACtB,sCAAsC;IACtC,sCAAoB,CAAA;AACrB,CAAC,EALW,cAAc,KAAd,cAAc,QAKzB;AA+BD;;GAEG;AACH,MAAM,CAAN,IAAY,MAeX;AAfD,WAAY,MAAM;IACjB,wCAAwC;IACxC,8CAAoC,CAAA;IAEpC,sEAAsE;IACtE,mCAAyB,CAAA;IAEzB,qDAAqD;IACrD,+BAAqB,CAAA;IAErB,4CAA4C;IAC5C,uCAA6B,CAAA;IAE7B,uBAAuB;IACvB,mCAAyB,CAAA;AAC1B,CAAC,EAfW,MAAM,KAAN,MAAM,QAejB;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACzB,EAAU,EACV,IAAY,EACZ,WAAmB,EACnB,KAAa,EACb,iBAAiC,cAAc,CAAC,QAAQ;IAExD,OAAO;QACN,EAAE;QACF,IAAI;QACJ,WAAW;QACX,cAAc;QACd,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,KAAK;KACL,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB;IACjC,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,eAAe;QAC1B,IAAI,EAAE,kBAAkB;QACxB,WAAW,EAAE,+DAA+D;QAC5E,cAAc,EAAE,cAAc,CAAC,QAAQ;QACvC,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC,IAAc,EAAE,OAAmB,EAAE,EAAE;YAChD,wCAAwC;YACxC,MAAM,eAAe,GAAG,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrE,MAAM,mBAAmB,GAAG,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;YAClF,GAAG,CAAC,4BAA4B,CAAC,CAAC;YAClC,OAAO,MAAM,CAAC;QACf,CAAC;KACD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAuB;IAClD,yBAAyB,EAAE;IAE3B,UAAU,CACT,MAAM,CAAC,UAAU,EACjB,4BAA4B,EAC5B,4DAA4D,EAC5D,EAAE,EACF,cAAc,CAAC,OAAO,CACtB;IAED,UAAU,CACT,MAAM,CAAC,QAAQ,EACf,oBAAoB,EACpB,uDAAuD,EACvD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;IAED,UAAU,CACT,MAAM,CAAC,gBAAgB,EACvB,mBAAmB,EACnB,uDAAuD,EACvD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;IAED,UAAU,CACT,MAAM,CAAC,UAAU,EACjB,YAAY,EACZ,gDAAgD,EAChD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;CACD,CAAC;AAEF;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAc;IACrC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,MAAM,KAAK,GAA6C,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,KAAK,GAAG,QAAQ;YAAE,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC;QAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAkCD;;GAEG;AACH,MAAM,OAAO,WAAW;IACf,MAAM,GAAkC,IAAI,GAAG,EAAE,CAAC;IAClD,YAAY,GAAuB,EAAE,CAAC;IAE9C,YAAY,SAAsC,eAAe;QAChE,yCAAyC;QACzC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACF,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,IAAsB;QAClC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,uCAAuC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE1B,GAAG,CAAC,+CAA+C,EAClD,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,MAAc,EAAE,IAAgB;QAC7C,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,yDAAyD;QACzD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,wCAAwC,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC/D,OAAO;QACR,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,GAAG,CAAC,0BAA0B,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,SAAS;QACR,OAAO,IAAI,CAAC,YAAY,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,kBAAkB;QACzB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;aAClD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC;aACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAc,EAAE,OAAmB;QAC1C,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAc,EAAE,OAAmB,EAAE,UAAmB;QACnE,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtC,GAAG,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,0EAA0E;YAC1E,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;YAE/B,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,yBAAyB;gBACzB,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACP,gCAAgC;gBAChC,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACpE,CAAC;YAED,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,UAAU,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;gBAAE,MAAM;QACjD,CAAC;QACD,OAAO,WAAW,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAC1B,IAAc,EACd,OAAmB,EACnB,IAAsB;QAEtB,oEAAoE;QACpE,qEAAqE;QACrE,6BAA6B;QAC7B,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAC3B,OAAO,CAAC,MAAM,CAAC,oBAAoB,EACnC,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,yBAAyB,CACrD,CAAC;QACF,MAAM,KAAK,GAAc;YACxB,WAAW;YACX,UAAU,EAAE,CAAC;YACb,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa;SAC3C,CAAC;QAEF,IAAI,IAAI,CAAC,cAAc,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IAEO,uBAAuB,CAAC,KAAgB,EAAE,KAAa;QAC9D,IAAI,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChC,YAAY,CAAC,wCAAwC,KAAK,YAAY,KAAK,CAAC,WAAW,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/G,CAAC;IACF,CAAC;IAED;;;;;;;;OAQG;IACK,YAAY,CACnB,KAAoB,EACpB,WAAuB,EACvB,OAAmB,EACnB,eAAyF;QAEzF,MAAM,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC;QACxC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAElE,IAAI,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC;QAC7B,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,eAAe,GAAG,IAAI,CAAC;gBACvB,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,eAAe,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,SAAS,GAAG,eAAe;YAChC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC;YACjG,CAAC,CAAC,IAAI,CAAC;QAER,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACxD,OAAO,SAAS,CAAC;IAClB,CAAC;IAED;;;;;OAKG;IACK,eAAe,CACtB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,MAAM,SAAS,GAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,WAAW,GAAe,EAAE,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAG,CAAC;YAE/B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzD,IAAI,MAAM,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAEjD,0CAA0C;gBAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAExC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;oBACpD,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBAED,SAAS,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;oBACzB,WAAW,EAAE,QAAQ;oBACrB,gBAAgB,EAAE,QAAQ;oBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;iBAClB,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9E,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,yEAAyE;gBACzE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBACvE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED;;;;;OAKG;IACK,gBAAgB,CACvB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,MAAM,SAAS,GAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,WAAW,GAAe,EAAE,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAG,CAAC;YAE/B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzD,IAAI,MAAM,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAEjD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACrE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBAClD,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,SAAS,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;oBACzB,WAAW,EAAE,KAAK,CAAC,IAAI;oBACvB,gBAAgB,EAAE,QAAQ;oBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;iBAClB,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9E,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,sDAAsD;gBACtD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3F,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,cAAc,CACrB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,IAAI,OAAO,GAAG,IAAI,CAAC;QAEnB,OAAO,OAAO,EAAE,CAAC;YAChB,OAAO,GAAG,KAAK,CAAC;YAEhB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC,QAAQ;oBAAE,SAAS;gBACrD,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACzD,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC;oBAAE,SAAS;gBAEnE,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;gBAC7C,IAAI,MAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;oBACtC,eAAe,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAClD,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAC7D,KAAK,CAAC,UAAU,EAAE,CAAC;oBACnB,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;wBAC5C,YAAY,CACX,qBAAqB,IAAI,CAAC,EAAE,4BAA4B,KAAK,CAAC,aAAa,iCAAiC,EAC5G,UAAU,CAAC,KAAK,CAChB,CAAC;oBACH,CAAC;oBACD,GAAG,CAAC,qCAAqC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC7D,WAAW,GAAG,MAAM,CAAC;oBACrB,OAAO,GAAG,IAAI,CAAC;gBAChB,CAAC;YACF,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC;IACpB,CAAC;IAEO,mBAAmB,CAAC,UAAkB,EAAE,QAAgB,EAAE,OAAmB;QACpF,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAErC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAClD,OAAO;QACR,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;IACF,CAAC;CACD"}
+{"version":3,"file":"pass.js","sourceRoot":"","sources":["../../../../src/planner/framework/pass.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AACpH,OAAO,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AAC/E,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,0BAA0B,CAAC,CAAC;AAErD;;GAEG;AACH,MAAM,CAAN,IAAY,cAKX;AALD,WAAY,cAAc;IACzB,sCAAsC;IACtC,wCAAsB,CAAA;IACtB,sCAAsC;IACtC,sCAAoB,CAAA;AACrB,CAAC,EALW,cAAc,KAAd,cAAc,QAKzB;AA+BD;;GAEG;AACH,MAAM,CAAN,IAAY,MAkBX;AAlBD,WAAY,MAAM;IACjB,wCAAwC;IACxC,8CAAoC,CAAA;IAEpC,sEAAsE;IACtE,mCAAyB,CAAA;IAEzB,qDAAqD;IACrD,+BAAqB,CAAA;IAErB,4CAA4C;IAC5C,uCAA6B,CAAA;IAE7B,2DAA2D;IAC3D,6CAAmC,CAAA;IAEnC,uBAAuB;IACvB,mCAAyB,CAAA;AAC1B,CAAC,EAlBW,MAAM,KAAN,MAAM,QAkBjB;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACzB,EAAU,EACV,IAAY,EACZ,WAAmB,EACnB,KAAa,EACb,iBAAiC,cAAc,CAAC,QAAQ;IAExD,OAAO;QACN,EAAE;QACF,IAAI;QACJ,WAAW;QACX,cAAc;QACd,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,KAAK;KACL,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB;IACjC,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,eAAe;QAC1B,IAAI,EAAE,kBAAkB;QACxB,WAAW,EAAE,+DAA+D;QAC5E,cAAc,EAAE,cAAc,CAAC,QAAQ;QACvC,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC,IAAc,EAAE,OAAmB,EAAE,EAAE;YAChD,wCAAwC;YACxC,MAAM,eAAe,GAAG,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrE,MAAM,mBAAmB,GAAG,gCAAgC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzE,MAAM,MAAM,GAAG,sBAAsB,CAAC,IAAI,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;YAClF,GAAG,CAAC,4BAA4B,CAAC,CAAC;YAClC,OAAO,MAAM,CAAC;QACf,CAAC;KACD,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,SAAS,yBAAyB;IACjC,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,eAAe;QAC1B,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,wEAAwE;QACrF,cAAc,EAAE,cAAc,CAAC,QAAQ;QACvC,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,CAAC,IAAc,EAAE,OAAmB,EAAE,EAAE;YAChD,MAAM,QAAQ,GAAG,IAAI,uBAAuB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC7D,OAAO,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;KACD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAuB;IAClD,yBAAyB,EAAE;IAE3B,UAAU,CACT,MAAM,CAAC,UAAU,EACjB,4BAA4B,EAC5B,4DAA4D,EAC5D,EAAE,EACF,cAAc,CAAC,OAAO,CACtB;IAED,UAAU,CACT,MAAM,CAAC,QAAQ,EACf,oBAAoB,EACpB,uDAAuD,EACvD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;IAED,UAAU,CACT,MAAM,CAAC,gBAAgB,EACvB,mBAAmB,EACnB,uDAAuD,EACvD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;IAED,yBAAyB,EAAE;IAE3B,UAAU,CACT,MAAM,CAAC,UAAU,EACjB,YAAY,EACZ,gDAAgD,EAChD,EAAE,EACF,cAAc,CAAC,QAAQ,CACvB;CACD,CAAC;AAEF;;;GAGG;AACH,SAAS,cAAc,CAAC,IAAc;IACrC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,MAAM,KAAK,GAA6C,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,CAAC,KAAK,GAAG,QAAQ;YAAE,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC;QAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAkCD;;GAEG;AACH,MAAM,OAAO,WAAW;IACf,MAAM,GAAkC,IAAI,GAAG,EAAE,CAAC;IAClD,YAAY,GAAuB,EAAE,CAAC;IAE9C,YAAY,SAAsC,eAAe;QAChE,yCAAyC;QACzC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;IACF,CAAC;IAED;;;;;;;OAOG;IACH,YAAY,CAAC,IAAsB;QAClC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,uCAAuC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAE1B,GAAG,CAAC,+CAA+C,EAClD,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,MAAc,EAAE,IAAgB;QAC7C,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAC5C,CAAC;QAED,yDAAyD;QACzD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,wCAAwC,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAC/D,OAAO;QACR,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,GAAG,CAAC,0BAA0B,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,SAAS;QACR,OAAO,IAAI,CAAC,YAAY,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,kBAAkB;QACzB,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;aAClD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC;aACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAc,EAAE,OAAmB;QAC1C,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,IAAc,EAAE,OAAmB,EAAE,UAAmB;QACnE,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtC,GAAG,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,0EAA0E;YAC1E,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;YAE/B,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,yBAAyB;gBACzB,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACP,gCAAgC;gBAChC,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YACpE,CAAC;YAED,GAAG,CAAC,oBAAoB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,UAAU,IAAI,IAAI,CAAC,EAAE,KAAK,UAAU;gBAAE,MAAM;QACjD,CAAC;QACD,OAAO,WAAW,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAC1B,IAAc,EACd,OAAmB,EACnB,IAAsB;QAEtB,oEAAoE;QACpE,qEAAqE;QACrE,6BAA6B;QAC7B,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAC3B,OAAO,CAAC,MAAM,CAAC,oBAAoB,EACnC,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,yBAAyB,CACrD,CAAC;QACF,MAAM,KAAK,GAAc;YACxB,WAAW;YACX,UAAU,EAAE,CAAC;YACb,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa;SAC3C,CAAC;QAEF,IAAI,IAAI,CAAC,cAAc,KAAK,cAAc,CAAC,OAAO,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IAEO,uBAAuB,CAAC,KAAgB,EAAE,KAAa;QAC9D,IAAI,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;YAChC,YAAY,CAAC,wCAAwC,KAAK,YAAY,KAAK,CAAC,WAAW,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/G,CAAC;IACF,CAAC;IAED;;;;;;;;OAQG;IACK,YAAY,CACnB,KAAoB,EACpB,WAAuB,EACvB,OAAmB,EACnB,eAAyF;QAEzF,MAAM,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC;QACxC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAElE,IAAI,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC;QAC7B,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,eAAe,GAAG,IAAI,CAAC;gBACvB,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,eAAe,EAAE,CAAC;YACrB,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QACvC,CAAC;QAED,MAAM,SAAS,GAAG,eAAe;YAChC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC;YACjG,CAAC,CAAC,IAAI,CAAC;QAER,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACxD,OAAO,SAAS,CAAC;IAClB,CAAC;IAED;;;;;OAKG;IACK,eAAe,CACtB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,MAAM,SAAS,GAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,WAAW,GAAe,EAAE,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAG,CAAC;YAE/B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzD,IAAI,MAAM,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAEjD,0CAA0C;gBAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAExC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;oBACpD,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC3B,SAAS;gBACV,CAAC;gBAED,SAAS,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;oBACzB,WAAW,EAAE,QAAQ;oBACrB,gBAAgB,EAAE,QAAQ;oBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;iBAClB,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9E,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,yEAAyE;gBACzE,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBACvE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED;;;;;OAKG;IACK,gBAAgB,CACvB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,MAAM,SAAS,GAAY,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,WAAW,GAAe,EAAE,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAG,CAAC;YAE/B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzD,IAAI,MAAM,EAAE,CAAC;oBACZ,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAEjD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;oBACrE,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;oBAClD,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACzB,SAAS;gBACV,CAAC;gBAED,SAAS,CAAC,IAAI,CAAC;oBACd,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;oBACzB,WAAW,EAAE,KAAK,CAAC,IAAI;oBACvB,gBAAgB,EAAE,QAAQ;oBAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;iBAClB,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9E,CAAC;YACF,CAAC;iBAAM,CAAC;gBACP,sDAAsD;gBACtD,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3F,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,cAAc,CACrB,IAAc,EACd,OAAmB,EACnB,IAAsB,EACtB,KAAgB;QAEhB,IAAI,WAAW,GAAG,IAAI,CAAC;QACvB,IAAI,OAAO,GAAG,IAAI,CAAC;QAEnB,uEAAuE;QACvE,2EAA2E;QAC3E,uEAAuE;QACvE,qEAAqE;QACrE,0EAA0E;QAC1E,0EAA0E;QAC1E,2EAA2E;QAC3E,0EAA0E;QAC1E,uEAAuE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,IAAI,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;QAE1C,OAAO,OAAO,EAAE,CAAC;YAChB,OAAO,GAAG,KAAK,CAAC;YAEhB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,WAAW,CAAC,QAAQ;oBAAE,SAAS;gBACrD,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACzD,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC;oBAAE,SAAS;gBACnE,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAE7C,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;gBAC7C,IAAI,MAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;oBACtC,yEAAyE;oBACzE,yEAAyE;oBACzE,0EAA0E;oBAC1E,yEAAyE;oBACzE,6EAA6E;oBAC7E,8EAA8E;oBAC9E,6EAA6E;oBAC7E,eAAe,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAClD,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAC7D,KAAK,CAAC,UAAU,EAAE,CAAC;oBACnB,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;wBAC5C,YAAY,CACX,qBAAqB,IAAI,CAAC,EAAE,4BAA4B,KAAK,CAAC,aAAa,iCAAiC,EAC5G,UAAU,CAAC,KAAK,CAChB,CAAC;oBACH,CAAC;oBACD,GAAG,CAAC,qCAAqC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC7D,WAAW,GAAG,MAAM,CAAC;oBACrB,oEAAoE;oBACpE,iBAAiB,GAAG,IAAI,GAAG,EAAE,CAAC;oBAC9B,OAAO,GAAG,IAAI,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACP,gEAAgE;oBAChE,uDAAuD;oBACvD,kEAAkE;oBAClE,kEAAkE;oBAClE,mEAAmE;oBACnE,iEAAiE;oBACjE,gEAAgE;oBAChE,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChC,CAAC;YACF,CAAC;QACF,CAAC;QAED,OAAO,WAAW,CAAC;IACpB,CAAC;IAEO,mBAAmB,CAAC,UAAkB,EAAE,QAAgB,EAAE,OAAmB;QACpF,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAErC,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAClD,OAAO;QACR,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;IACF,CAAC;CACD"}

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

@@ -1,9 +1,9 @@
 /**
- * Rule registration and management framework for the Titan optimizer
- * Provides centralized rule registry with tracing and loop detection
+ * Rule handle types and per-node visited-rule tracking for the optimizer's
+ * pass framework. Rule application itself lives in `PassManager` (`pass.ts`).
  */
 import type { PlanNode } from '../nodes/plan-node.js';
-import { PlanNodeType } from '../nodes/plan-node-type.js';
+import type { PlanNodeType } from '../nodes/plan-node-type.js';
 import type { OptContext } from './context.js';
 /**
  * Rule function signature for optimization transformations
@@ -31,9 +31,9 @@ export type RulePhase = 'rewrite' | 'impl';
  *   side effects through run-once memoization (e.g. mutating-subquery-cache).
  *
  * This field is intentionally not optional: every future rule author has to
- * actively pick one. The registry validates the choice at registration time
- * and rejects rules that fail to declare. See `docs/optimizer.md` § Audit
- * discipline.
+ * actively pick one. `PassManager.addRuleToPass` validates the choice via
+ * `validateSideEffectMode` at registration time and rejects rules that fail to
+ * declare. See `docs/optimizer.md` § Audit discipline.
  */
 export type SideEffectMode = 'safe' | 'aware';
 /**
@@ -48,8 +48,6 @@ export interface RuleHandle {
     phase: RulePhase;
     /** Rule implementation function */
     fn: RuleFn;
-    /** Optional priority (lower numbers run first) */
-    priority?: number;
     /**
      * Side-effect awareness declaration — see {@link SideEffectMode}. Required:
      * registration fails when omitted, so every rule author has to make an
@@ -58,52 +56,25 @@ export interface RuleHandle {
     sideEffectMode: SideEffectMode;
 }
 /**
- * Register an optimization rule
- */
-export declare function registerRule(handle: RuleHandle): void;
-/**
- * Get rules for a specific node type
- */
-export declare function rulesFor(nodeType: PlanNodeType): readonly RuleHandle[];
-/**
- * Check if a rule has been applied to a node
+ * Check if a rule has already been applied to a node.
+ *
+ * Records only *transforming* applications (loop prevention), inherited across
+ * a transform's re-mint by `PassManager.inheritVisitedRules`. A rule that
+ * *declines* is tracked separately and ephemerally inside
+ * `PassManager.applyPassRules` (per node id, not inherited) — see that method.
  */
 export declare function hasRuleBeenApplied(nodeId: string, ruleId: string, context: OptContext): boolean;
 /**
  * Mark a rule as applied to a node
  */
 export declare function markRuleApplied(nodeId: string, ruleId: string, context: OptContext): void;
-/**
- * Get registry statistics
- */
-export declare function getRegistryStats(context?: OptContext): {
-    totalRules: number;
-    nodesWithRules: number;
-    appliedRules: number;
-};
-/**
- * Get all registered rules (for debugging/tooling)
- */
-export declare function getAllRules(): Map<PlanNodeType, readonly RuleHandle[]>;
-/**
- * Apply rules to a node with tracing and loop detection
- */
-export declare function applyRules(node: PlanNode, context: OptContext): PlanNode;
-/**
- * Convenience function to register multiple rules at once
- */
-export declare function registerRules(rules: RuleHandle[]): void;
-/**
- * Helper to create rule handles with common patterns
- */
-export declare function createRule(id: string, nodeType: PlanNodeType, phase: RulePhase, fn: RuleFn, sideEffectMode: SideEffectMode, priority?: number): RuleHandle;
 /**
  * Reject any rule registration that fails to declare `sideEffectMode`. The
  * field is typed as required, but plenty of call sites build rule handles
  * dynamically (object spreads, generated registries) where TypeScript can't
  * see through — this runtime check is the load-bearing audit gate. Exported
  * so the PassManager can apply the same validation when rules are pushed
- * directly into a pass's `rules` array (bypassing the global registry).
+ * directly into a pass's `rules` array.
  */
 export declare function validateSideEffectMode(handle: RuleHandle): void;
 //# sourceMappingURL=registry.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAO/C;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,KAAK,QAAQ,GAAG,IAAI,CAAC;AAE9E;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,OAAO,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,UAAU;IAC1B,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,QAAQ,EAAE,YAAY,CAAC;IACvB,2BAA2B;IAC3B,KAAK,EAAE,SAAS,CAAC;IACjB,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,cAAc,EAAE,cAAc,CAAC;CAC/B;AAuGD;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAErD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE,CAEtE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAE/F;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI,CAEzF;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,CAAC,EAAE,UAAU,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAE3H;AAED;;GAEG;AACH,wBAAgB,WAAW,IAAI,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAC,CAEtE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,GAAG,QAAQ,CAuDxE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAIvD;AAED;;GAEG;AACH,wBAAgB,UAAU,CACzB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,YAAY,EACtB,KAAK,EAAE,SAAS,EAChB,EAAE,EAAE,MAAM,EACV,cAAc,EAAE,cAAc,EAC9B,QAAQ,CAAC,EAAE,MAAM,GACf,UAAU,CAEZ;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAS/D"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../src/planner/framework/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAI/C;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,KAAK,QAAQ,GAAG,IAAI,CAAC;AAE9E;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,OAAO,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,UAAU;IAC1B,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,QAAQ,EAAE,YAAY,CAAC;IACvB,2BAA2B;IAC3B,KAAK,EAAE,SAAS,CAAC;IACjB,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX;;;;OAIG;IACH,cAAc,EAAE,cAAc,CAAC;CAC/B;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAG/F;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI,CAKzF;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAS/D"}