@quereus/quereus 4.3.1 → 4.4.0

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"}

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

@@ -1,197 +1,29 @@
 /**
- * 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 { createLogger } from '../../common/logger.js';
-import { traceRuleStart, traceRuleEnd } from './trace.js';
 import { StatusCode } from '../../common/types.js';
 import { quereusError } from '../../common/errors.js';
-const log = createLogger('optimizer:framework:registry');
 /**
- * Global rule registry
- */
-class RuleRegistry {
-    rules = new Map();
-    /**
-     * Register a new optimization rule
-     */
-    registerRule(handle) {
-        validateSideEffectMode(handle);
-        if (!this.rules.has(handle.nodeType)) {
-            this.rules.set(handle.nodeType, []);
-        }
-        const nodeRules = this.rules.get(handle.nodeType);
-        // Check for duplicate rule IDs
-        if (nodeRules.some(r => r.id === handle.id)) {
-            quereusError(`Optimization rule '${handle.id}' already registered for node type ${handle.nodeType}`, StatusCode.INTERNAL);
-        }
-        // Insert rule maintaining priority order (lower priority first)
-        const priority = handle.priority ?? 100;
-        const insertIndex = nodeRules.findIndex(r => (r.priority ?? 100) > priority);
-        if (insertIndex === -1) {
-            nodeRules.push(handle);
-        }
-        else {
-            nodeRules.splice(insertIndex, 0, handle);
-        }
-        log('Registered rule %s for %s (phase: %s, priority: %d)', handle.id, handle.nodeType, handle.phase, priority);
-    }
-    /**
-     * Get all rules for a specific node type
-     */
-    rulesFor(nodeType) {
-        return this.rules.get(nodeType) ?? [];
-    }
-    /**
-     * Check if a rule has already been applied to a node
-     */
-    hasRuleBeenApplied(nodeId, ruleId, context) {
-        const nodeVisited = context.visitedRules.get(nodeId);
-        return nodeVisited?.has(ruleId) ?? false;
-    }
-    /**
-     * Mark a rule as applied to a node
-     */
-    markRuleApplied(nodeId, ruleId, context) {
-        if (!context.visitedRules.has(nodeId)) {
-            context.visitedRules.set(nodeId, new Set());
-        }
-        context.visitedRules.get(nodeId).add(ruleId);
-    }
-    /**
-     * Get all registered rules (for debugging)
-     */
-    getAllRules() {
-        const result = new Map();
-        for (const [nodeType, rules] of this.rules) {
-            result.set(nodeType, [...rules]);
-        }
-        return result;
-    }
-    /**
-     * Get statistics about rule application
-     */
-    getStats(context) {
-        let totalRules = 0;
-        for (const rules of this.rules.values()) {
-            totalRules += rules.length;
-        }
-        let appliedRules = 0;
-        if (context) {
-            for (const ruleSet of context.visitedRules.values()) {
-                appliedRules += ruleSet.size;
-            }
-        }
-        return {
-            totalRules,
-            nodesWithRules: context?.visitedRules.size ?? 0,
-            appliedRules
-        };
-    }
-}
-/**
- * Global registry instance
- */
-const globalRegistry = new RuleRegistry();
-/**
- * Register an optimization rule
- */
-export function registerRule(handle) {
-    globalRegistry.registerRule(handle);
-}
-/**
- * Get rules for a specific node type
- */
-export function rulesFor(nodeType) {
-    return globalRegistry.rulesFor(nodeType);
-}
-/**
- * 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 function hasRuleBeenApplied(nodeId, ruleId, context) {
-    return globalRegistry.hasRuleBeenApplied(nodeId, ruleId, context);
+    const nodeVisited = context.visitedRules.get(nodeId);
+    return nodeVisited?.has(ruleId) ?? false;
 }
 /**
  * Mark a rule as applied to a node
  */
 export function markRuleApplied(nodeId, ruleId, context) {
-    globalRegistry.markRuleApplied(nodeId, ruleId, context);
-}
-/**
- * Get registry statistics
- */
-export function getRegistryStats(context) {
-    return globalRegistry.getStats(context);
-}
-/**
- * Get all registered rules (for debugging/tooling)
- */
-export function getAllRules() {
-    return globalRegistry.getAllRules();
-}
-/**
- * Apply rules to a node with tracing and loop detection
- */
-export function applyRules(node, context) {
-    const applicableRules = rulesFor(node.nodeType);
-    if (applicableRules.length === 0) {
-        return node;
-    }
-    let currentNode = node;
-    let appliedAnyRule = false;
-    for (const rule of applicableRules) {
-        // Skip if rule is disabled
-        if (context.tuning.disabledRules?.has(rule.id))
-            continue;
-        // Skip if rule already applied to this node
-        if (hasRuleBeenApplied(currentNode.id, rule.id, context)) {
-            log('Skipping rule %s for node %s (already applied)', rule.id, currentNode.id);
-            continue;
-        }
-        try {
-            const ruleLog = createLogger(`optimizer:rule:${rule.id}`);
-            // Trace rule start
-            traceRuleStart(rule, currentNode);
-            ruleLog('Applying rule to node %s', currentNode.id);
-            const result = rule.fn(currentNode, context);
-            if (result && result !== currentNode) {
-                ruleLog('Rule transformed %s to %s', currentNode.nodeType, result.nodeType);
-                markRuleApplied(currentNode.id, rule.id, context);
-                // Trace successful transformation
-                traceRuleEnd(rule, currentNode, result);
-                currentNode = result;
-                appliedAnyRule = true;
-            }
-            else {
-                ruleLog('Rule not applicable to node %s', currentNode.id);
-                // Trace rule not applicable
-                traceRuleEnd(rule, currentNode, null);
-            }
-        }
-        catch (error) {
-            const errorMsg = error instanceof Error ? error.message : String(error);
-            log('Rule %s failed on node %s: %s', rule.id, currentNode.id, errorMsg);
-            // Continue with other rules rather than failing entire optimization
-        }
+    if (!context.visitedRules.has(nodeId)) {
+        context.visitedRules.set(nodeId, new Set());
     }
-    if (appliedAnyRule) {
-        log('Applied rules to node %s, result: %s', node.id, currentNode.nodeType);
-    }
-    return currentNode;
-}
-/**
- * Convenience function to register multiple rules at once
- */
-export function registerRules(rules) {
-    for (const rule of rules) {
-        registerRule(rule);
-    }
-}
-/**
- * Helper to create rule handles with common patterns
- */
-export function createRule(id, nodeType, phase, fn, sideEffectMode, priority) {
-    return { id, nodeType, phase, fn, sideEffectMode, priority };
+    context.visitedRules.get(nodeId).add(ruleId);
 }
 /**
  * Reject any rule registration that fails to declare `sideEffectMode`. The
@@ -199,7 +31,7 @@ export function createRule(id, nodeType, phase, fn, sideEffectMode, priority) {
  * 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 function validateSideEffectMode(handle) {
     const mode = handle.sideEffectMode;

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

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../src/planner/framework/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,8BAA8B,CAAC,CAAC;AA0DzD;;GAEG;AACH,MAAM,YAAY;IACT,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IAEtD;;OAEG;IACH,YAAY,CAAC,MAAkB;QAC9B,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAE/B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAE,CAAC;QAEnD,+BAA+B;QAC/B,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7C,YAAY,CAAC,sBAAsB,MAAM,CAAC,EAAE,sCAAsC,MAAM,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC3H,CAAC;QAED,gEAAgE;QAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC;QACxC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC7E,IAAI,WAAW,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACP,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;QAED,GAAG,CAAC,qDAAqD,EACxD,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,QAAsB;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACvC,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;QACrE,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrD,OAAO,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;QAClE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,WAAW;QACV,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuC,CAAC;QAC9D,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,OAAoB;QAC5B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC;QAC5B,CAAC;QAED,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,OAAO,EAAE,CAAC;YACb,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;gBACrD,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC;YAC9B,CAAC;QACF,CAAC;QAED,OAAO;YACN,UAAU;YACV,cAAc,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC;YAC/C,YAAY;SACZ,CAAC;IACH,CAAC;CACD;AAED;;GAEG;AACH,MAAM,cAAc,GAAG,IAAI,YAAY,EAAE,CAAC;AAE1C;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC9C,cAAc,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAsB;IAC9C,OAAO,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;IACrF,OAAO,cAAc,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;IAClF,cAAc,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAoB;IACpD,OAAO,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW;IAC1B,OAAO,cAAc,CAAC,WAAW,EAAE,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc,EAAE,OAAmB;IAC7D,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEhD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACb,CAAC;IAED,IAAI,WAAW,GAAG,IAAI,CAAC;IACvB,IAAI,cAAc,GAAG,KAAK,CAAC;IAE3B,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACpC,2BAA2B;QAC3B,IAAI,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACzD,4CAA4C;QAC5C,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,gDAAgD,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;YAC/E,SAAS;QACV,CAAC;QAED,IAAI,CAAC;YACJ,MAAM,OAAO,GAAG,YAAY,CAAC,kBAAkB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAE1D,mBAAmB;YACnB,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAClC,OAAO,CAAC,0BAA0B,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;YAEpD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAE7C,IAAI,MAAM,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;gBACtC,OAAO,CAAC,2BAA2B,EAAE,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAC5E,eAAe,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBAElD,kCAAkC;gBAClC,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;gBAExC,WAAW,GAAG,MAAM,CAAC;gBACrB,cAAc,GAAG,IAAI,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACP,OAAO,CAAC,gCAAgC,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;gBAE1D,4BAA4B;gBAC5B,YAAY,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACxE,GAAG,CAAC,+BAA+B,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACxE,oEAAoE;QACrE,CAAC;IACF,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACpB,GAAG,CAAC,sCAAsC,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO,WAAW,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAmB;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,YAAY,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACzB,EAAU,EACV,QAAsB,EACtB,KAAgB,EAChB,EAAU,EACV,cAA8B,EAC9B,QAAiB;IAEjB,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAkB;IACxD,MAAM,IAAI,GAAI,MAAuC,CAAC,cAAc,CAAC;IACrE,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACzC,YAAY,CACX,sBAAsB,MAAM,CAAC,EAAE,mDAAmD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK;YAC3G,sFAAsF,EACtF,UAAU,CAAC,QAAQ,CACnB,CAAC;IACH,CAAC;AACF,CAAC"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../src/planner/framework/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAwDtD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;IACrF,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrD,OAAO,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,MAAc,EAAE,OAAmB;IAClF,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAkB;IACxD,MAAM,IAAI,GAAI,MAAuC,CAAC,cAAc,CAAC;IACrE,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACzC,YAAY,CACX,sBAAsB,MAAM,CAAC,EAAE,mDAAmD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK;YAC3G,sFAAsF,EACtF,UAAU,CAAC,QAAQ,CACnB,CAAC;IACH,CAAC;AACF,CAAC"}

package/dist/src/planner/mutation/backward-body.d.ts

@@ -6,7 +6,7 @@ import type { Scope } from '../scopes/scope.js';
 import type { MutableViewLike } from './single-source.js';
 /**
  * The **one** plan-node backward-walk consumer the multi-source join walk and the
- * decomposition fan-out share (docs/view-updateability.md § Round-Trip Laws and the
+ * decomposition fan-out share (docs/vu-roundtrip.md § Round-Trip Laws and the
  * Derived Backward Walk). It plans a view body **once** and reads the
  * `PhysicalProperties.updateLineage` the forward pass already threaded, routing
  * each output column back to its owning base relation — instead of each caller
@@ -61,7 +61,7 @@ export interface BackwardColumn {
      * `baseColumn` stay undefined so no verbatim-value consumer silently admits it).
      * Each put names its owning base relation by `TableReferenceNode` id; `newRefIndex`
      * maps `new.<name>` references to output column indexes
-     * (docs/view-updateability.md § Authored inverses).
+     * (docs/vu-inverses.md § Authored inverses).
      */
     readonly authored?: {
         readonly puts: ReadonlyArray<{

package/dist/src/planner/mutation/cte-flatten.js

@@ -2,7 +2,7 @@ import { transformExpr, cloneExpr, transformAliasScopedQuery } from './scope-tra
 import { combineAnd } from './single-source.js';
 import { raiseMutationDiagnostic } from './mutation-diagnostic.js';
 /**
- * Multi-level CTE-body flattener (`docs/view-updateability.md` § Common Table
+ * Multi-level CTE-body flattener (`docs/vu-operators.md` § Common Table
  * Expressions — multi-level CTE body).
  *
  * A CTE-name (or inline-subquery) DML target whose body is a single-source

package/dist/src/planner/mutation/decomposition.d.ts

@@ -112,7 +112,7 @@ import { type MultiSourceKeyCapture } from './multi-source.js';
  * are derived from the **threaded plan-node `updateLineage`** read through the
  * shared backward-walk consumer (`analyzeBodyLineage`) — the same n-way reader the
  * multi-source join walk consumes — rather than a parallel AST scan of the
- * synthesized body's projection list (docs/view-updateability.md § Round-Trip Laws
+ * synthesized body's projection list (docs/vu-roundtrip.md § Round-Trip Laws
  * and the Derived Backward Walk, docs/lens.md § The Default Mapper).
  */
 export interface DecompShape {
@@ -184,7 +184,7 @@ export interface DecompInsertOp {
  * column's declared `default` (`keyDefault`). Each member op reads its values back
  * out of that one materialized envelope, so the default is evaluated once per
  * produced row and the value threads across every member insert via the
- * equivalence class (docs/view-updateability.md § Mutation Context, docs/lens.md § The Default Mapper).
+ * equivalence class (docs/vu-mutation-context.md § Mutation Context, docs/lens.md § The Default Mapper).
  */
 export interface DecompInsertAnalysis {
     readonly suppliedColumns: readonly {

package/dist/src/planner/mutation/decomposition.js

@@ -58,7 +58,7 @@ export function analyzeDecomposition(ctx, view, storage) {
 }
 /**
  * The decomposition put fan-out for an authored (`with inverse`) column is
- * deferred (docs/view-updateability.md § Authored inverses — the documented
+ * deferred (docs/vu-inverses.md § Authored inverses — the documented
  * decomposition deferral): reject a write that targets one, naming the member(s)
  * its puts route to, rather than letting it fall through {@link classifyColumn}'s
  * EAV / computed-mapping fallbacks into a silent mis-route. Read consumers (the

package/dist/src/planner/mutation/lens-enforcement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lens-enforcement.d.ts","sourceRoot":"","sources":["../../../../src/planner/mutation/lens-enforcement.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAqB,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAuE,MAAM,uBAAuB,CAAC;AACtI,OAAO,EAAE,SAAS,EAA+B,MAAM,uBAAuB,CAAC;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAY7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,0FAA0F;AAC1F,eAAO,MAAM,0BAA0B,mCAAmC,CAAC;AAuR3E;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,GAAG,mBAAmB,EAAE,CA+B1G;AA4JD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,GAAG,mBAAmB,EAAE,CAmDpH;AA+DD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,wBAAgB,0CAA0C,CACzD,UAAU,EAAE,QAAQ,EACpB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,GAC5C,mBAAmB,EAAE,CAiEvB;AAyED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,aAAa,GAAG,mBAAmB,EAAE,CAqDnH;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAEvE"}
+{"version":3,"file":"lens-enforcement.d.ts","sourceRoot":"","sources":["../../../../src/planner/mutation/lens-enforcement.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAqB,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,mBAAmB,EAAuE,MAAM,uBAAuB,CAAC;AACtI,OAAO,EAAE,SAAS,EAA+B,MAAM,uBAAuB,CAAC;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAY7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,0FAA0F;AAC1F,eAAO,MAAM,0BAA0B,mCAAmC,CAAC;AAuR3E;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,GAAG,mBAAmB,EAAE,CA+B1G;AA4JD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,GAAG,mBAAmB,EAAE,CAmDpH;AAgED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,wBAAgB,0CAA0C,CACzD,UAAU,EAAE,QAAQ,EACpB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,GAC5C,mBAAmB,EAAE,CAiEvB;AAyED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,aAAa,GAAG,mBAAmB,EAAE,CAqDnH;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAEvE"}

package/dist/src/planner/mutation/lens-enforcement.js

@@ -584,7 +584,8 @@ export function collectLensForeignKeyConstraints(slot, schemaManager) {
  * synthesize into a constraint AST. Crucially this evaluates to a definite **false**
  * (never NULL) when exactly one side is NULL: the naive `(OLD = NEW) or (OLD is null
  * and NEW is null)` instead yields `NULL or false = NULL` there, which the
- * deferred-constraint check (`value === false || value === 0`) does not treat as a
+ * constraint check (NULL passes; only a non-NULL non-truthy value fails, per the
+ * shared `isTruthy` rule) does not treat as a
  * failure — so it would wrongly admit an orphaning value→NULL update.
  *
  * Null-safety matters for a **nullable** referenced parent key: a value→NULL update