@quereus/quereus 3.3.0 → 4.0.0

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

@@ -18,6 +18,50 @@ export class PlanNodeCharacteristics {
     static hasSideEffects(node) {
         return node.physical.readonly === false;
     }
+    /**
+     * True iff this node OR any descendant in its subtree has side effects.
+     *
+     * `PlanNode.physical.readonly` propagates as AND-of-children, so for any
+     * well-formed plan tree `hasSideEffects(node) ⇔ subtreeHasSideEffects(node)`.
+     * This helper exists for rules that want to express the audit intent
+     * explicitly ("refuse if any subtree I am about to move / drop / dedup
+     * carries a write") — and as a defensive belt against a node that fails to
+     * forward the property through its own `computePhysical` override.
+     */
+    static subtreeHasSideEffects(node) {
+        if (this.hasSideEffects(node))
+            return true;
+        for (const child of node.getChildren()) {
+            if (this.subtreeHasSideEffects(child))
+                return true;
+        }
+        return false;
+    }
+    /**
+     * True iff the subtree rooted at `node` is safe to drive concurrently with a
+     * sibling subtree under a parallel-track operator (`EagerPrefetchNode`,
+     * `AsyncGatherNode`, `FanOutLookupJoinNode`).
+     *
+     * For now, the only gate is **side-effect freedom**: a subtree carrying a
+     * write violates the per-connection lock contract under every module
+     * concurrency mode except `'fully-reentrant'`, and no module currently
+     * advertises that level. The module-level concurrency contract
+     * (`'serial'` / `'reentrant-reads'` / `'fully-reentrant'`) is enforced
+     * separately via `PhysicalProperties.concurrencySafe`, which the parallel-
+     * track rules already consult; this predicate is the **side-effect** gate
+     * that pairs with it. Once a `'fully-reentrant'` module ships, this
+     * predicate can be refined to allow concurrent impure execution on it.
+     *
+     * Pairs with the parallel-track recognition rules' refusal discipline: any
+     * rule that introduces an `EagerPrefetchNode` / `AsyncGatherNode` /
+     * `FanOutLookupJoinNode` consults this predicate on every participating
+     * branch and refuses (leaves the serial plan in place) when any branch
+     * reports unsafe. See `docs/optimizer.md` § "Parallel-track side-effect
+     * refusal" for the cross-rule discipline.
+     */
+    static isConcurrencySafe(node) {
+        return !this.subtreeHasSideEffects(node);
+    }
     static isReadOnly(node) {
         return node.physical.readonly !== false;
     }
@@ -58,8 +102,8 @@ export class PlanNodeCharacteristics {
     }
     /**
      * True iff the relation is guaranteed to produce at most one row — i.e.,
-     * the singleton FD `∅ → all_cols` holds. (Replaces the legacy `[[]]`
-     * uniqueKeys marker.)
+     * the kind-aware ≤1-row read (`hasSingletonFd`) holds. (Replaces the legacy
+     * `[[]]` uniqueKeys marker.)
      */
     static guaranteesUniqueRows(node) {
         if (!isRelationalNode(node))
@@ -70,18 +114,18 @@ export class PlanNodeCharacteristics {
             // since the singleton FD isn't representable.
             return node.physical.estimatedRows === 1;
         }
-        return hasSingletonFd(node.physical.fds, colCount);
+        return hasSingletonFd(node.physical.fds, colCount, node.getType().isSet);
     }
     /**
      * True iff the relation has at least one non-trivial unique key — i.e., an
-     * FD whose determinants form a superkey of all output columns, with the
-     * determinant set strictly smaller than the full column list.
+     * FD whose determinants are provably row-unique over all output columns,
+     * with the determinant set strictly smaller than the full column list.
      */
     static hasUniqueKeys(node) {
         if (!isRelationalNode(node))
             return false;
         const colCount = node.getAttributes().length;
-        return hasAnyKey(node.physical.fds, colCount);
+        return hasAnyKey(node.physical.fds, colCount, node.getType().isSet);
     }
     // Relational capabilities
     static isRelational(node) {

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

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

package/dist/src/planner/framework/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;IAgBrD;;OAEG;IACH,SAAS,IAAI,SAAS,gBAAgB,EAAE;IAIxC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,GAAG,QAAQ;IAItD;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ;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;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"}

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

@@ -5,7 +5,7 @@
  * allowing for proper sequencing of transformations that require
  * different traversal orders or multiple passes over the tree.
  */
-import { hasRuleBeenApplied, markRuleApplied } from './registry.js';
+import { hasRuleBeenApplied, markRuleApplied, validateSideEffectMode } from './registry.js';
 import { createLogger } from '../../common/logger.js';
 import { performConstantFolding } from '../analysis/const-pass.js';
 import { createRuntimeExpressionEvaluator, createRuntimeRelationalEvaluator } from '../analysis/const-evaluator.js';
@@ -135,6 +135,7 @@ export class PassManager {
      * Add a rule to a specific pass
      */
     addRuleToPass(passId, rule) {
+        validateSideEffectMode(rule);
         const pass = this.passes.get(passId);
         if (!pass) {
             throw new Error(`Unknown pass: ${passId}`);

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,MAAM,eAAe,CAAC;AACpE,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,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,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"}

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

@@ -13,6 +13,29 @@ export type RuleFn = (node: PlanNode, context: OptContext) => PlanNode | null;
  * Rule phases for categorizing optimization rules
  */
 export type RulePhase = 'rewrite' | 'impl';
+/**
+ * Required side-effect awareness declaration for every registered rule.
+ *
+ * - `'safe'` — the rule never moves, duplicates, drops, or merges any
+ *   subtree it does not separately verify pure. Reordering scalar properties
+ *   on an existing node, replacing a logical node with a physical one whose
+ *   children survive in the same positions, and annotation-only transforms
+ *   all qualify. The rule does not need to consult
+ *   `PlanNodeCharacteristics.hasSideEffects` because its own structural shape
+ *   guarantees side-effect preservation.
+ *
+ * - `'aware'` — the rule DOES move, duplicate, drop, or merge subtrees, and
+ *   explicitly consults `PlanNodeCharacteristics.hasSideEffects` (or
+ *   `subtreeHasSideEffects`) to refuse / weaken when any participating
+ *   subtree carries a write. Includes rules that *intentionally* preserve
+ *   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.
+ */
+export type SideEffectMode = 'safe' | 'aware';
 /**
  * Handle for registered optimization rules
  */
@@ -27,6 +50,12 @@ export interface RuleHandle {
     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
+     * active choice rather than silently dropping a write.
+     */
+    sideEffectMode: SideEffectMode;
 }
 /**
  * Register an optimization rule
@@ -67,5 +96,14 @@ 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, priority?: number): RuleHandle;
+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).
+ */
+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;;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;CAClB;AAqGD;;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,QAAQ,CAAC,EAAE,MAAM,GACf,UAAU,CAEZ"}
+{"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"}

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

@@ -16,6 +16,7 @@ class RuleRegistry {
      * Register a new optimization rule
      */
     registerRule(handle) {
+        validateSideEffectMode(handle);
         if (!this.rules.has(handle.nodeType)) {
             this.rules.set(handle.nodeType, []);
         }
@@ -189,7 +190,22 @@ export function registerRules(rules) {
 /**
  * Helper to create rule handles with common patterns
  */
-export function createRule(id, nodeType, phase, fn, priority) {
-    return { id, nodeType, phase, fn, priority };
+export function createRule(id, nodeType, phase, fn, sideEffectMode, priority) {
+    return { id, nodeType, phase, fn, sideEffectMode, priority };
+}
+/**
+ * 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).
+ */
+export function validateSideEffectMode(handle) {
+    const mode = handle.sideEffectMode;
+    if (mode !== 'safe' && mode !== 'aware') {
+        quereusError(`Optimization rule '${handle.id}' is missing or has invalid sideEffectMode (got ${JSON.stringify(mode)}); ` +
+            `every rule must declare 'safe' or 'aware'. See docs/optimizer.md § Audit discipline.`, StatusCode.INTERNAL);
+    }
 }
 //# sourceMappingURL=registry.js.map

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;AA4BzD;;GAEG;AACH,MAAM,YAAY;IACT,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IAEtD;;OAEG;IACH,YAAY,CAAC,MAAkB;QAC9B,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,QAAiB;IAEjB,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;AAC9C,CAAC"}
+{"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"}

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

@@ -0,0 +1,131 @@
+import type * as AST from '../../parser/ast.js';
+import type { PlanningContext } from '../planning-context.js';
+import { type PlanNode, type RelationalComponentRef, type RelationalPlanNode } from '../nodes/plan-node.js';
+import { TableReferenceNode } from '../nodes/reference.js';
+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
+ * 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
+ * re-deriving column→base lineage from the body's projection AST.
+ *
+ * It is source-count-agnostic: a single base table (a value-only EAV anchor), a
+ * two-table inner join (the multi-source acceptance shape), or an n-way
+ * anchor-rooted decomposition join (mandatory inner + optional outer members) all
+ * funnel through the same read. Multi-source layers its `JoinNode` / side mapping
+ * on top of {@link BodyBackwardLineage}; the decomposition fan-out layers its
+ * member routing / anchor-resolvable predicate gate on top. Neither re-walks the body's
+ * projection AST for routing.
+ */
+/** One output column of a planned view body, by backward lineage. */
+export interface BackwardColumn {
+    /** Output (view/logical) column name, lowercased. */
+    readonly name: string;
+    /** Output column name in its original display spelling. */
+    readonly displayName: string;
+    /**
+     * Owning base relation's `TableReferenceNode` plan-node id (a `base` or — with
+     * {@link nullExtended} — outer-join-`null-extended` site). `undefined` for a
+     * `computed` output (e.g. an EAV correlated subquery, a non-invertible expr).
+     */
+    readonly baseTableId?: number;
+    /** Owning base column name (present whenever {@link baseTableId} is). */
+    readonly baseColumn?: string;
+    /**
+     * True for an identity-or-inverse `base` site that is NOT null-extended — the
+     * site is value-writable (an `inverse` is applied by the consumer; identity
+     * otherwise). A `computed` / `null-extended` site is read-only here.
+     */
+    readonly writable: boolean;
+    /** True when the owning site is potentially null-extended by an outer join (optional member). */
+    readonly nullExtended: boolean;
+    /** Backward inverse closure for a non-identity invertible base site (absent for identity). */
+    readonly inverse?: (written: AST.Expression) => AST.Expression;
+    /** Domain restriction an `inverse` profile carries (conjoined into the identifying predicate). */
+    readonly domain?: AST.Expression;
+    /**
+     * Set for an outer-join `existence` (`exists … as`) flag — the relational component
+     * whose membership the flag reifies. It has no `baseTableId` / `baseColumn` (it maps
+     * to no base column), but is **writable through an effect**: the multi-source write
+     * path routes a flag-flip to an insert/delete of this component (§ Existence columns).
+     */
+    readonly existenceComponent?: RelationalComponentRef;
+    /** The join-predicate guard the existence flag is the truth-value of (present iff {@link existenceComponent}). */
+    readonly existenceGuard?: AST.Expression;
+    /**
+     * Set for an authored (`with inverse`) column — writable and insertable through the
+     * put expressions rather than a single verbatim base column (`baseTableId` /
+     * `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).
+     */
+    readonly authored?: {
+        readonly puts: ReadonlyArray<{
+            readonly table: number;
+            readonly baseColumn: string;
+            readonly expr: AST.Expression;
+        }>;
+        readonly newRefIndex: ReadonlyMap<string, number>;
+    };
+    /** The projection's source expression (already in base terms) — the substitution target for a user predicate / assigned value over this column. */
+    readonly baseTermExpr: AST.Expression;
+}
+export interface BodyBackwardLineage {
+    readonly sel: AST.SelectStmt;
+    /** The planned view body (the source of `updateLineage`); reused by callers, not re-planned. */
+    readonly root: RelationalPlanNode;
+    /** Every `TableReferenceNode` in the planned body's relational spine, by plan-node id. */
+    readonly tableRefsById: Map<number, TableReferenceNode>;
+    /** Output (view) column name (lowercased) → its base-term replacement expression. */
+    readonly viewColToBaseRef: Map<string, AST.Expression>;
+    /** Per output column, in projection order. */
+    readonly columns: BackwardColumn[];
+    /**
+     * The relational source the lowered base-term columns resolve against — the
+     * outermost `JoinNode` for a join body (`anchor ⋈ members`, or an n-way join), or
+     * the bare anchor table/retrieve node for an anchor-only body. Reused (not
+     * re-planned) as the source an up-front identity/value capture builds on top of
+     * ({@link findBodySource}; the decomposition dual of `analyzeJoinView`'s `joinNode`).
+     */
+    readonly bodySource: RelationalPlanNode;
+    /**
+     * {@link bodySource}'s combined column scope (`ctx.outputScopes.get(bodySource)`) — the
+     * exact scope `buildSelectStmt` resolved the body's own predicate/projections against,
+     * so a capture built over it resolves the member-relationId-qualified base columns
+     * byte-identically. `undefined` when the source exposes no registered scope (a defensive
+     * miss the capture builder rejects).
+     */
+    readonly bodyScope: Scope | undefined;
+}
+/**
+ * The relational source a planned view body's lowered base columns resolve against: the
+ * **outermost** relational node from the root that carries a **registered output scope** —
+ * the `JoinNode` for a columnar / n-way join body (its nested joins ride inside via
+ * `getRelations()`), or the FROM relation (the aliased base table) for an anchor-only body
+ * with no join (a value-only EAV decomposition). The capture builds its
+ * `Project(Filter(source))` on this node and resolves the member-relationId-qualified base
+ * columns against its scope, so the returned node **must** be the one the scope was registered
+ * on (`buildFrom`/`buildJoin` register on the FROM `AliasNode` / `JoinNode`, NOT the inner
+ * `TableReferenceNode` an anchor-only body would otherwise surface). `outputScopes` is the
+ * builder's node→scope map; we return the first node reachable from `root` that has an entry,
+ * falling back to `root` only if none does (defensive — every body analyzed here has a scoped
+ * FROM). (§ Round-Trip Laws and the Derived Backward Walk; the decomposition dual of
+ * `analyzeJoinView`'s `joinNode`, the generalized `findJoinNode` in multi-source.ts.)
+ */
+export declare function findBodySource(root: RelationalPlanNode, outputScopes: ReadonlyMap<PlanNode, Scope>): RelationalPlanNode;
+/** Collect every `TableReferenceNode` in a planned body's relational spine, indexed by plan-node id. */
+export declare function collectTableRefs(root: PlanNode): Map<number, TableReferenceNode>;
+/**
+ * Plan a view body once and read its threaded `updateLineage` into a per-column
+ * backward map. The caller must already have rejected any structural shape it does
+ * not accept (the multi-source walk rejects `select *` / non-inner joins up front;
+ * the decomposition body is synthesized with an explicit projection list). A
+ * remaining `select *` projection or projection/attribute arity mismatch surfaces
+ * a structured `no-base-lineage` diagnostic here.
+ */
+export declare function analyzeBodyLineage(ctx: PlanningContext, view: MutableViewLike): BodyBackwardLineage;
+//# sourceMappingURL=backward-body.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"backward-body.d.ts","sourceRoot":"","sources":["../../../../src/planner/mutation/backward-body.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAoB,KAAK,QAAQ,EAAE,KAAK,sBAAsB,EAAE,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC9H,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;;;;;;;;;;;;GAeG;AAEH,qEAAqE;AACrE,MAAM,WAAW,cAAc;IAC9B,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2DAA2D;IAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,yEAAyE;IACzE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,iGAAiG;IACjG,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,8FAA8F;IAC9F,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,CAAC;IAC/D,kGAAkG;IAClG,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IACjC;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,sBAAsB,CAAC;IACrD,kHAAkH;IAClH,QAAQ,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IACzC;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QACnB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAA;SAAE,CAAC,CAAC;QACrH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAClD,CAAC;IACF,mJAAmJ;IACnJ,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC;IAC7B,gGAAgG;IAChG,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,0FAA0F;IAC1F,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxD,qFAAqF;IACrF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACvD,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IACnC;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,SAAS,CAAC;CACtC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,kBAAkB,EAAE,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,kBAAkB,CAYvH;AAED,wGAAwG;AACxG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAWhF;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,GAAG,mBAAmB,CA+EnG"}

package/dist/src/planner/mutation/backward-body.js

@@ -0,0 +1,135 @@
+import { isRelationalNode } from '../nodes/plan-node.js';
+import { TableReferenceNode } from '../nodes/reference.js';
+import { buildSelectStmt } from '../building/select.js';
+import { resolveBaseSite } from '../analysis/update-lineage.js';
+import { raiseMutationDiagnostic } from './mutation-diagnostic.js';
+/**
+ * The relational source a planned view body's lowered base columns resolve against: the
+ * **outermost** relational node from the root that carries a **registered output scope** —
+ * the `JoinNode` for a columnar / n-way join body (its nested joins ride inside via
+ * `getRelations()`), or the FROM relation (the aliased base table) for an anchor-only body
+ * with no join (a value-only EAV decomposition). The capture builds its
+ * `Project(Filter(source))` on this node and resolves the member-relationId-qualified base
+ * columns against its scope, so the returned node **must** be the one the scope was registered
+ * on (`buildFrom`/`buildJoin` register on the FROM `AliasNode` / `JoinNode`, NOT the inner
+ * `TableReferenceNode` an anchor-only body would otherwise surface). `outputScopes` is the
+ * builder's node→scope map; we return the first node reachable from `root` that has an entry,
+ * falling back to `root` only if none does (defensive — every body analyzed here has a scoped
+ * FROM). (§ Round-Trip Laws and the Derived Backward Walk; the decomposition dual of
+ * `analyzeJoinView`'s `joinNode`, the generalized `findJoinNode` in multi-source.ts.)
+ */
+export function findBodySource(root, outputScopes) {
+    let scoped;
+    const visit = (n) => {
+        if (scoped)
+            return;
+        // The outermost scoped node is the FROM relation: a JoinNode (join body) or the FROM
+        // AliasNode/table (anchor-only body). Both carry the combined column scope the capture
+        // resolves against; an inner TableReferenceNode (deeper) carries none.
+        if (isRelationalNode(n) && outputScopes.has(n)) {
+            scoped = n;
+            return;
+        }
+        for (const child of n.getRelations())
+            visit(child);
+    };
+    visit(root);
+    return scoped ?? root;
+}
+/** Collect every `TableReferenceNode` in a planned body's relational spine, indexed by plan-node id. */
+export function collectTableRefs(root) {
+    const out = new Map();
+    const visit = (n) => {
+        if (n instanceof TableReferenceNode) {
+            out.set(Number(n.id), n);
+            return;
+        }
+        for (const child of n.getRelations())
+            visit(child);
+    };
+    visit(root);
+    return out;
+}
+/**
+ * Plan a view body once and read its threaded `updateLineage` into a per-column
+ * backward map. The caller must already have rejected any structural shape it does
+ * not accept (the multi-source walk rejects `select *` / non-inner joins up front;
+ * the decomposition body is synthesized with an explicit projection list). A
+ * remaining `select *` projection or projection/attribute arity mismatch surfaces
+ * a structured `no-base-lineage` diagnostic here.
+ */
+export function analyzeBodyLineage(ctx, view) {
+    if (view.selectAst.type !== 'select') {
+        raiseMutationDiagnostic({
+            reason: 'no-base-lineage',
+            table: view.name,
+            message: `view '${view.name}' has a ${view.selectAst.type.toUpperCase()} body, which has no recoverable base operation`,
+        });
+    }
+    const sel = view.selectAst;
+    const bodyPlan = buildSelectStmt(ctx, sel);
+    if (!isRelationalNode(bodyPlan)) {
+        raiseMutationDiagnostic({
+            reason: 'no-base-lineage',
+            table: view.name,
+            message: `view '${view.name}' body did not produce a relation`,
+        });
+    }
+    const root = bodyPlan;
+    const tableRefsById = collectTableRefs(root);
+    const attrs = root.getAttributes();
+    const lineage = root.physical.updateLineage;
+    const projections = sel.columns;
+    if (projections.length !== attrs.length) {
+        raiseMutationDiagnostic({
+            reason: 'no-base-lineage',
+            table: view.name,
+            message: `cannot write through view '${view.name}': projection/attribute arity mismatch (${projections.length} vs ${attrs.length})`,
+        });
+    }
+    const viewColToBaseRef = new Map();
+    const columns = [];
+    projections.forEach((rc, i) => {
+        const attr = attrs[i];
+        const displayName = view.columns?.[i] ?? attr.name;
+        const name = displayName.toLowerCase();
+        if (rc.type === 'all') {
+            // Defensive: callers reject `select *` first (it has no 1:1 projection→base
+            // routing). Reaching here is a caller bug, not a user shape.
+            raiseMutationDiagnostic({
+                reason: 'no-base-lineage',
+                table: view.name,
+                message: `cannot write through view '${view.name}': a 'select *' body has no per-column base lineage`,
+            });
+        }
+        // The projection's source expression is already in base terms (it lives in the
+        // body's own FROM scope), so it is the substitution target for user
+        // predicates / assignments written against this output column.
+        const baseTermExpr = rc.expr;
+        viewColToBaseRef.set(name, baseTermExpr);
+        const resolved = resolveBaseSite(lineage?.get(attr.id));
+        columns.push({
+            name,
+            displayName,
+            baseTableId: resolved.table,
+            baseColumn: resolved.baseColumn,
+            writable: resolved.writable,
+            nullExtended: resolved.nullExtended,
+            ...(resolved.inverse ? { inverse: resolved.inverse } : {}),
+            ...(resolved.domain ? { domain: resolved.domain } : {}),
+            ...(resolved.existenceComponent ? { existenceComponent: resolved.existenceComponent } : {}),
+            ...(resolved.existenceGuard ? { existenceGuard: resolved.existenceGuard } : {}),
+            ...(resolved.authored ? { authored: resolved.authored } : {}),
+            baseTermExpr,
+        });
+    });
+    // The relational source the lowered base-term columns resolve against + its combined
+    // column scope, captured from the SINGLE plan above (the body is planned once). The
+    // decomposition value capture / the EAV follow-up build their `Project(Filter(source))`
+    // over these rather than re-planning a cloned body (multi-source layers its own typed
+    // `findJoinNode` accessor on `root`; the two find the same outermost join).
+    const bodySource = findBodySource(root, ctx.outputScopes);
+    const bodyScope = ctx.outputScopes.get(bodySource);
+    return { sel, root, tableRefsById, viewColToBaseRef, columns, bodySource, bodyScope };
+}
+//# sourceMappingURL=backward-body.js.map