@quereus/quereus 4.3.1 → 4.3.2

package/dist/src/planner/optimizer.d.ts

@@ -1,10 +1,58 @@
 import { PlanNode } from './nodes/plan-node.js';
+import { PlanNodeType } from './nodes/plan-node-type.js';
 import { OptimizerTuning, DEFAULT_TUNING } from './optimizer-tuning.js';
 export { DEFAULT_TUNING };
 import { type StatsProvider } from './stats/index.js';
-import { type OptContext } from './framework/context.js';
 import type { OptimizerDiagnostics } from './framework/context.js';
+import { PassManager, PassId } from './framework/pass.js';
+import type { RuleFn, RulePhase, SideEffectMode } from './framework/registry.js';
 import { Database } from '../core/database.js';
+/**
+ * One rule's registration data. `RULE_MANIFEST` (below) is an ordered list of
+ * these; the array order IS the execution order within each pass — pass rules
+ * fire in registration order, and `registerRulesToPasses` registers strictly in
+ * manifest order (see `docs/optimizer.md` § Rule ordering).
+ *
+ * `nodeType` may be a single `PlanNodeType` or an array. An array FANS the same
+ * `fn` across every listed type, minting one handle per type with id
+ * `${id}-${nodeType}` (used by `grow-retrieve` and `monotonic-range-access`). A
+ * scalar `nodeType` registers a single handle with `id` verbatim.
+ */
+export interface RuleManifestEntry {
+    /** Pass this rule registers into. */
+    pass: PassId;
+    /**
+     * Rule id. Public-ish contract: `tuning.disabledRules` and optimizer/plan
+     * tests match rules by this string, so it must not change. For a fan-out
+     * entry (array `nodeType`) this is the id STEM and each handle becomes
+     * `${id}-${nodeType}`.
+     */
+    id: string;
+    /** Node type(s) the rule matches. Array → fan `fn` across each type. */
+    nodeType: PlanNodeType | PlanNodeType[];
+    phase: RulePhase;
+    fn: RuleFn;
+    sideEffectMode: SideEffectMode;
+}
+/**
+ * Register every entry of `manifest` with its pass on `passManager`, in manifest
+ * array order. That order is the execution contract: pass rules fire in
+ * registration order, so appending in manifest order reproduces the intended
+ * per-pass order.
+ *
+ * A fan-out entry (array `nodeType`) mints one handle per node type with id
+ * `${entry.id}-${nodeType}`; a scalar entry mints one handle with `entry.id`.
+ *
+ * Structural well-formedness is asserted here (once, at construction): the target
+ * pass must exist, and no two handles may share an id WITHIN a pass (the same id in
+ * two DIFFERENT passes is allowed — ids are scoped per pass). The duplicate check
+ * hard-fails with `quereusError(INTERNAL)` rather than silently skipping (as
+ * `PassManager.addRuleToPass` would) — a duplicate id is an author bug.
+ *
+ * Exported (not just the private method) so the guarantees above are unit-testable
+ * against a synthetic manifest; see `test/optimizer/rule-manifest.spec.ts`.
+ */
+export declare function registerManifest(manifest: readonly RuleManifestEntry[], passManager: PassManager): void;
 /**
  * The query optimizer transforms logical plan trees into physical plan trees
  */
@@ -15,12 +63,10 @@ export declare class Optimizer {
     tuning: OptimizerTuning;
     constructor(tuning?: OptimizerTuning, stats?: StatsProvider);
     updateTuning(tuning: OptimizerTuning): void;
-    private static globalRulesRegistered;
-    /**
-     * Legacy method removed; keep empty to avoid duplicate registrations
-     */
     /**
-     * Register rules with their appropriate passes
+     * Register every rule in `RULE_MANIFEST` with its pass, in manifest array order.
+     * Delegates to the exported {@link registerManifest} (kept module-level so the
+     * ordering / dedup guarantees are unit-testable against a synthetic manifest).
      */
     private registerRulesToPasses;
     /**
@@ -32,8 +78,6 @@ export declare class Optimizer {
      * suitable for pre-physical analysis (e.g., row-specific classification).
      */
     optimizeForAnalysis(plan: PlanNode, db: Database): PlanNode;
-    optimizeNode(node: PlanNode, context: OptContext): PlanNode;
-    private optimizeChildren;
     /**
      * Get the statistics provider
      */

package/dist/src/planner/optimizer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"optimizer.d.ts","sourceRoot":"","sources":["../../../src/planner/optimizer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAE,CAAC;AAI1B,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AA2DnE,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAI/C;;GAEG;AACH,qBAAa,SAAS;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgB;IACtC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,eAAe,CAAqC;IACrD,MAAM,EAAE,eAAe,CAAC;gBAG9B,MAAM,GAAE,eAAgC,EACxC,KAAK,CAAC,EAAE,aAAa;IAUtB,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI;IAI3C,OAAO,CAAC,MAAM,CAAC,qBAAqB,CAAS;IAE7C;;OAEG;IAEH;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA83B7B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ;IAgChD;;;OAGG;IACH,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ;IAe3D,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,GAAG,QAAQ;IAuC3D,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,QAAQ,IAAI,aAAa;IAIzB,qDAAqD;IACrD,kBAAkB,IAAI,oBAAoB,GAAG,IAAI;CAGjD"}
+{"version":3,"file":"optimizer.d.ts","sourceRoot":"","sources":["../../../src/planner/optimizer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGxE,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AA4DjF,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAI/C;;;;;;;;;;GAUG;AACH,MAAM,WAAW,iBAAiB;IACjC,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,wEAAwE;IACxE,QAAQ,EAAE,YAAY,GAAG,YAAY,EAAE,CAAC;IACxC,KAAK,EAAE,SAAS,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,cAAc,CAAC;CAC/B;AAi3BD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,GACtB,IAAI,CA0CN;AAED;;GAEG;AACH,qBAAa,SAAS;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgB;IACtC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAC1C,OAAO,CAAC,eAAe,CAAqC;IACrD,MAAM,EAAE,eAAe,CAAC;gBAG9B,MAAM,GAAE,eAAgC,EACxC,KAAK,CAAC,EAAE,aAAa;IAUtB,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI;IAI3C;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAI7B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ;IAgChD;;;OAGG;IACH,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,GAAG,QAAQ;IAe3D;;OAEG;IACH,QAAQ,IAAI,aAAa;IAIzB,qDAAqD;IACrD,kBAAkB,IAAI,oBAAoB,GAAG,IAAI;CAGjD"}