typhex 0.1.0-alpha.0

package/dist/orm/helpers/query-plan/expr-builder.js

@@ -0,0 +1,297 @@
+/**
+ * IR → Expr conversion.
+ *
+ * The planner-side IR (`src/ir/types.ts`) is the parser's output: arrow
+ * predicates and select bodies turned into a tree of nodes that still
+ * reference user-facing names like the row parameter (`u`, `c`, …) and
+ * relation keys (`u.author`). The runtime Expr model (`src/orm/expr.ts`)
+ * is what the dialect compiles to SQL: every column reference has been
+ * resolved to a (table-alias, column-path) pair, every captured
+ * `QueryBuilder` has been inlined as a child `QueryPlan`, and every
+ * one-to-many `EXISTS` has been pre-resolved to its target table and
+ * join keys.
+ *
+ * `ExprBuilder` performs that conversion. The planner constructs it once
+ * per plan with precomputed context: row-param aliases, relation join
+ * aliases, one-to-many EXISTS metadata, and already-built child subquery
+ * plans. It does not build child plans itself; when conversion reaches a
+ * subquery placeholder, it only swaps in the `QueryPlan` the planner
+ * prepared earlier.
+ */
+/**
+ * Converts IR nodes to runtime `Expr` against a precomputed alias context.
+ *
+ * Constructor inputs:
+ * - `paramToAlias` — maps every row-param name in scope (including
+ *   outer-correlated ones) to its SQL table alias. Built by the planner's
+ *   `buildParamToAlias` phase.
+ * - `relationPathToAlias` — maps `"<param>.<relKey>"` to the join alias
+ *   the planner allocated for that relation. Drives the column-path
+ *   rewrite in `resolveColumn` (a member access through a joined relation
+ *   becomes a column reference on the join's alias).
+ * - `oneToManyExists` — pre-resolved EXISTS metadata keyed by
+ *   `"<rootParam>.<relationKey>"`. Lets `convertExists` emit a fully
+ *   structured `ExprExists` without redoing the relation lookup.
+ * - `subqueryPlans` — child plans keyed by the runtime param/subquery
+ *   placeholder names that reference captured `QueryBuilder`s.
+ */
+export class ExprBuilder {
+    paramToAlias;
+    relationPathToAlias;
+    oneToManyExists;
+    subqueryPlans;
+    relationKeys;
+    cteNames;
+    constructor(paramToAlias, relationPathToAlias, oneToManyExists, subqueryPlans, relationKeys = new Set(), cteNames = new Set()) {
+        this.paramToAlias = paramToAlias;
+        this.relationPathToAlias = relationPathToAlias;
+        this.oneToManyExists = oneToManyExists;
+        this.subqueryPlans = subqueryPlans;
+        this.relationKeys = relationKeys;
+        this.cteNames = cteNames;
+    }
+    /**
+     * Recursively convert any IR node to an `Expr`.
+     *
+     * `scope` is the row-param-to-table-alias mapping in effect for this
+     * conversion. It defaults to the builder's `paramToAlias` (the top-level
+     * scope of the plan being built). `convertExists` augments and re-passes
+     * it: when an `EXISTS` predicate binds a fresh inner row-param (e.g.
+     * `d.employees.some(e => e.name === "Alice")` binds `e`), the recursive
+     * call uses `{ ...scope, [innerParam]: innerAlias }` so the inner
+     * predicate's `e.name` resolves against the inner-relation table alias
+     * rather than the outer row's.
+     *
+     * Throws on unknown node kinds — the IR types are a closed union, so
+     * hitting the default branch means a future-added kind wasn't handled.
+     */
+    convert(node, scope = this.paramToAlias, inlineParams) {
+        switch (node.kind) {
+            case "binary":
+                return {
+                    kind: "binary",
+                    op: node.op,
+                    left: this.convert(node.left, scope, inlineParams),
+                    right: this.convert(node.right, scope, inlineParams),
+                };
+            case "unary":
+                return {
+                    kind: "unary",
+                    op: node.op,
+                    operand: this.convert(node.operand, scope, inlineParams),
+                };
+            case "member":
+                return this.resolveColumn(node.param, node.path, scope);
+            case "const":
+                return { kind: "const", value: node.value };
+            case "param":
+                return this.resolveParamRef(node.key, inlineParams);
+            case "in":
+                return this.convertIn(node, scope, inlineParams);
+            case "call":
+                return {
+                    kind: "call",
+                    method: node.method,
+                    receiver: this.convert(node.receiver, scope, inlineParams),
+                    args: node.args.map((a) => this.convert(a, scope, inlineParams)),
+                };
+            case "exists":
+                return this.convertExists(node, scope, inlineParams);
+            case "subqueryRef":
+                return this.convertSubqueryRef(node);
+            case "aggregate":
+                return this.convertAggregate(node, scope, inlineParams);
+            case "case":
+                return {
+                    kind: "case",
+                    branches: node.branches.map((b) => ({
+                        when: this.convert(b.when, scope, inlineParams),
+                        then: this.convert(b.then, scope, inlineParams),
+                    })),
+                    ...(node.else !== undefined
+                        ? { else: this.convert(node.else, scope, inlineParams) }
+                        : {}),
+                };
+            default:
+                throw new Error(`[typhex] Unknown IR node kind: ${node.kind}`);
+        }
+    }
+    /**
+     * Resolve `param.path` (an IR member reference) to a (alias, column-path)
+     * pair the dialect can render directly.
+     *
+     * Resolution proceeds in two steps:
+     *
+     * 1. **Alias lookup.** The starting alias is `scope[param]`. The planner
+     *    builds that scope before conversion, including local and correlated
+     *    row params.
+     *
+     * 2. **Relation rewrite.** If `path[0]` names a relation that has been
+     *    joined into the query (`relationPathToAlias` has an entry for
+     *    `"<param>.<path[0]>"`), the alias is replaced with the join's
+     *    alias and the leading segment is dropped from the path. Example:
+     *    `u.author.name` with `relationPathToAlias["u.author"] = "t1"`
+     *    rewrites to `(alias: "t1", column: ["name"])`.
+     *
+     * The returned `ExprColumn.column` is a path array: empty means the
+     * alias itself (rare — only when relation rewrite consumed the entire
+     * path), single element is a leaf column, multiple elements is a
+     * dotted path (rare; preserved for forward compatibility).
+     */
+    resolveColumn(param, path, scope = this.paramToAlias) {
+        this.assertColumnPath(path);
+        if (path.length > 0 && this.cteNames.has(path[0])) {
+            return { kind: "column", alias: path[0], column: path.slice(1) };
+        }
+        let alias = scope[param];
+        let p = path;
+        const relAlias = path.length > 1 ? this.relationPathToAlias[`${param}.${path[0]}`] : undefined;
+        if (relAlias) {
+            alias = relAlias;
+            p = path.slice(1);
+        }
+        return { kind: "column", alias, column: p };
+    }
+    assertColumnPath(path) {
+        const key = path[0];
+        if (!key)
+            return;
+        if (this.cteNames.has(key)) {
+            if (path.length === 1) {
+                throw new Error(`[typhex] CTE "${key}" must reference a column`);
+            }
+            return;
+        }
+        if (path.length === 1 && this.relationKeys.has(key)) {
+            throw new Error(`[typhex] relation "${key}" must reference a column`);
+        }
+    }
+    /**
+     * Convert an `IrAggregate` (e.g. `count(u.id)`, `sum(p.price)`) to an
+     * `ExprAggregate`. The argument expression — when present — is converted
+     * recursively so nested member paths resolve through the same alias
+     * scope. `null` arg means `COUNT(*)` style.
+     *
+     * Public so the planner's `buildSelectItems` can convert select-list
+     * aggregates directly without a wrapping `IrNode` that would otherwise
+     * route through `convert`.
+     */
+    convertAggregate(agg, scope = this.paramToAlias, inlineParams) {
+        return {
+            kind: "aggregate",
+            func: agg.func,
+            arg: agg.arg ? this.convert(agg.arg, scope, inlineParams) : null,
+            alias: agg.alias,
+            distinct: agg.distinct,
+            separator: agg.separator,
+        };
+    }
+    /**
+     * Convert an `IrSubqueryRef` (a transformer-emitted placeholder pointing
+     * at a captured `QueryBuilder` in the param bags) to an `ExprSubquery`
+     * by looking up the child plan the planner already built.
+     * Public so `buildSelectItems` can use it for select-list subqueries
+     * (`Entity.query()....` projected as a column value).
+     */
+    convertSubqueryRef(ref) {
+        return { kind: "subquery", plan: this.getSubqueryPlan(ref.key) };
+    }
+    /**
+     * Resolve an `IrParam` (free variable referenced by name from a runtime-
+     * parsed predicate). Captured subqueries are represented as
+     * `IrSubqueryRef`, so params always stay late-bound.
+     */
+    resolveParamRef(key, inlineParams) {
+        if (inlineParams === undefined) {
+            return { kind: "param", name: key };
+        }
+        if (key in inlineParams) {
+            const value = inlineParams[key];
+            if (value !== null &&
+                typeof value !== "string" &&
+                typeof value !== "number" &&
+                typeof value !== "boolean") {
+                throw new Error(`[typhex] Cannot inline SQL literal "${key}" of type ${typeof value}`);
+            }
+            return { kind: "const", value };
+        }
+        throw new Error(`[typhex] inline param "${key}" not provided`);
+    }
+    /**
+     * Convert `<expr> IN <rhs>` (or `NOT IN`). The right-hand side has three
+     * legal IR shapes that map to three different `ExprInRhs` shapes:
+     *
+     * - `IrConst` array → `{ kind: "values", values }` — inline literal list,
+     *   compiled to `(?, ?, ?)` placeholders.
+     * - `IrParam` → a late-bound param reference. It expands at execution
+     *   time when the dialect resolves `__param` sentinels.
+     * - `IrSubqueryRef` → a pre-built inline subquery plan.
+     *
+     * Anything else throws — IN's right side is a closed union by spec.
+     */
+    convertIn(node, scope, inlineParams) {
+        const left = this.convert(node.left, scope, inlineParams);
+        const { negated } = node;
+        const right = node.right;
+        if (right.kind === "const" && Array.isArray(right.value)) {
+            return { kind: "in", left, right: { kind: "values", values: right.value }, negated };
+        }
+        if (right.kind === "param") {
+            return { kind: "in", left, right: { kind: "param", name: right.key }, negated };
+        }
+        if (right.kind === "subqueryRef") {
+            return {
+                kind: "in",
+                left,
+                right: { kind: "subquery", plan: this.subqueryPlans.get(right.key) },
+                negated,
+            };
+        }
+        throw new Error("[typhex] IN right side must be const array, param, or subqueryRef");
+    }
+    /**
+     * Convert an `IrExists` (a one-to-many `EXISTS (...)` subquery).
+     *
+     * The relation lookup was done up-front by the planner's
+     * `OneToManyExistsBuilder`, which produced `oneToManyExists` keyed by
+     * `"<rootParam>.<relationKey>"`. We just look up the entry and stamp it
+     * onto the runtime `ExprExists`.
+     *
+     * Two scope details worth noting:
+     *
+     * 1. **outerAlias.** This is the alias the EXISTS predicate joins
+     *    against (typically the main table). Resolving via
+     *    `scope[node.rootParam]` is what makes nested EXISTS work: when an
+     *    EXISTS is itself inside another EXISTS' inner predicate, the
+     *    inner-most rootParam is actually the parent EXISTS' bound row,
+     *    and `scope` will have been augmented to map it to the parent's
+     *    inner alias.
+     *
+     * 2. **innerScope.** Augmenting with `[innerParam]: info.alias` is what
+     *    lets the inner predicate's column references (`e.name` in
+     *    `.some(e => e.name === ...)`) resolve to the inner relation's
+     *    table alias rather than the outer row's.
+     */
+    convertExists(node, scope, inlineParams) {
+        const key = `${node.rootParam}.${node.relationKey}`;
+        const meta = this.oneToManyExists[key];
+        if (!meta) {
+            throw new Error(`[typhex] EXISTS predicate for relation "${node.relationKey}" could not be planned`);
+        }
+        const innerScope = { ...scope, [node.innerParam]: meta.alias };
+        return {
+            kind: "exists",
+            negated: node.negated,
+            outerAlias: scope[node.rootParam],
+            innerAlias: meta.alias,
+            targetTable: meta.targetTable,
+            fkColumns: meta.fkColumns,
+            mainPk: meta.mainPk,
+            predicate: this.convert(node.innerWhere, innerScope, inlineParams),
+        };
+    }
+    getSubqueryPlan(key) {
+        return this.subqueryPlans.get(key);
+    }
+}
+//# sourceMappingURL=expr-builder.js.map

package/dist/orm/helpers/query-plan/expr-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-builder.js","sourceRoot":"","sources":["../../../../src/orm/helpers/query-plan/expr-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AASH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,WAAW;IAEH;IACA;IACA;IACA;IACA;IACA;IANnB,YACmB,YAAoC,EACpC,mBAA2C,EAC3C,eAAoD,EACpD,aAA4B,EAC5B,eAA4B,IAAI,GAAG,EAAE,EACrC,WAAwB,IAAI,GAAG,EAAE;QALjC,iBAAY,GAAZ,YAAY,CAAwB;QACpC,wBAAmB,GAAnB,mBAAmB,CAAwB;QAC3C,oBAAe,GAAf,eAAe,CAAqC;QACpD,kBAAa,GAAb,aAAa,CAAe;QAC5B,iBAAY,GAAZ,YAAY,CAAyB;QACrC,aAAQ,GAAR,QAAQ,CAAyB;IACjD,CAAC;IAEJ;;;;;;;;;;;;;;OAcG;IACH,OAAO,CACL,IAAY,EACZ,QAAgC,IAAI,CAAC,YAAY,EACjD,YAAsC;QAEtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC;oBAClD,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC;iBACrD,CAAC;YACJ,KAAK,OAAO;gBACV,OAAO;oBACL,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,CAAC;iBACzD,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC1D,KAAK,OAAO;gBACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9C,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;YACtD,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;YACnD,KAAK,MAAM;gBACT,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC;oBAC1D,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;iBACjE,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;YACvD,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;YAC1D,KAAK,MAAM;gBACT,OAAO;oBACL,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAClC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC;wBAC/C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC;qBAChD,CAAC,CAAC;oBACH,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;wBACzB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE;wBACxD,CAAC,CAAC,EAAE,CAAC;iBACR,CAAC;YACJ;gBACE,MAAM,IAAI,KAAK,CAAC,kCAAmC,IAAyB,CAAC,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,aAAa,CACX,KAAa,EACb,IAAc,EACd,QAAgC,IAAI,CAAC,YAAY;QAEjD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAE5B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,CAAC;QAED,IAAI,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC;QACb,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/F,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,GAAG,QAAQ,CAAC;YACjB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9C,CAAC;IAEO,gBAAgB,CAAC,IAAc;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,2BAA2B,CAAC,CAAC;YACnE,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,sBAAsB,GAAG,2BAA2B,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED;;;;;;;;;OASG;IACH,gBAAgB,CACd,GAAgB,EAChB,QAAgC,IAAI,CAAC,YAAY,EACjD,YAAsC;QAEtC,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;YAChE,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;SACzB,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACH,kBAAkB,CAAC,GAAkB;QACnC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IACnE,CAAC;IAED;;;;OAIG;IACK,eAAe,CAAC,GAAW,EAAE,YAAiD;QACpF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,GAAG,IAAI,YAAY,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;YAChC,IACE,KAAK,KAAK,IAAI;gBACd,OAAO,KAAK,KAAK,QAAQ;gBACzB,OAAO,KAAK,KAAK,QAAQ;gBACzB,OAAO,KAAK,KAAK,SAAS,EAC1B,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,aAAa,OAAO,KAAK,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,gBAAgB,CAAC,CAAC;IACjE,CAAC;IAED;;;;;;;;;;;OAWG;IACK,SAAS,CACf,IAA6B,EAC7B,KAA6B,EAC7B,YAAiD;QAEjD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAC1D,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAEzB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC;QACvF,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,CAAC;QAClF,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI;gBACJ,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAE,EAAE;gBACrE,OAAO;aACR,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACK,aAAa,CACnB,IAAiC,EACjC,KAA6B,EAC7B,YAAiD;QAEjD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,2CAA2C,IAAI,CAAC,WAAW,wBAAwB,CACpF,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/D,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;YACjC,UAAU,EAAE,IAAI,CAAC,KAAK;YACtB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC;SACnE,CAAC;IACJ,CAAC;IAEO,eAAe,CAAC,GAAW;QACjC,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IACtC,CAAC;CACF"}

package/dist/orm/helpers/query-plan/query-ir-analyzer.d.ts

@@ -0,0 +1,48 @@
+import type { IrExists, IrSubqueryRef } from "../../../ir/types.js";
+import type { QueryState } from "../../query-state.js";
+export interface ExprIrAnalysis {
+    paramNames: Set<string>;
+    relationKeys: Set<string>;
+    subqueryRefs: Record<string, IrSubqueryRef>;
+    existsNodes: IrExists[];
+    referencedRegisteredCtes: Set<string>;
+}
+export interface QueryIrAnalysis {
+    rootParam: string;
+    localParamNames: string[];
+    correlatedParamNames: Set<string>;
+    subqueries: Record<string, QueryIrAnalysis>;
+    where: ExprIrAnalysis;
+    having: ExprIrAnalysis;
+    orderBy: ExprIrAnalysis;
+    select: ExprIrAnalysis;
+    all: ExprIrAnalysis;
+    joinRelationKeys: Set<string>;
+    reusableJoinKeys: Set<string>;
+}
+export declare class QueryIrAnalyzer {
+    private readonly state;
+    private readonly fallbackParam;
+    private readonly relations;
+    private readonly registeredCteNames;
+    constructor(state: QueryState<unknown>, fallbackParam: string);
+    analyze(): QueryIrAnalysis;
+    private inferRootParam;
+    private getLocalParamNames;
+    private analyzeSubqueries;
+    private getCorrelatedParamNames;
+    private analyzeOrderBy;
+    private analyzeSelectIr;
+    private analyzeUpsertIr;
+    private analyzeExprIr;
+    /** Pre-order: accumulate analysis, then recurse. Child edges match ExprBuilder; skips exists.innerWhere. */
+    private visitExprIr;
+    private relationKeysWithHints;
+    private reusableJoinKeys;
+    private merge;
+    private empty;
+    private mergeInto;
+    /** Ordered registered CTE names referenced in IR (where/having/select + updateSetIr / insertIr from analyze()). */
+    planReferencedRegisteredCtes(analysis: QueryIrAnalysis): string[];
+}
+//# sourceMappingURL=query-ir-analyzer.d.ts.map

package/dist/orm/helpers/query-plan/query-ir-analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-ir-analyzer.d.ts","sourceRoot":"","sources":["../../../../src/orm/helpers/query-plan/query-ir-analyzer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAA+B,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEjG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC5C,WAAW,EAAE,QAAQ,EAAE,CAAC;IACxB,wBAAwB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,KAAK,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,cAAc,CAAC;IACxB,MAAM,EAAE,cAAc,CAAC;IACvB,GAAG,EAAE,cAAc,CAAC;IACpB,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC/B;AAQD,qBAAa,eAAe;IAKxB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,aAAa;IALhC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA2B;IACrD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAc;gBAG9B,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,EAC1B,aAAa,EAAE,MAAM;IASxC,OAAO,IAAI,eAAe;IA4B1B,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;IAmB1B,OAAO,CAAC,iBAAiB;IAQzB,OAAO,CAAC,uBAAuB;IAU/B,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,eAAe;IA0BvB,OAAO,CAAC,eAAe;IAWvB,OAAO,CAAC,aAAa;IAWrB,4GAA4G;IAC5G,OAAO,CAAC,WAAW;IAgEnB,OAAO,CAAC,qBAAqB;IAS7B,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,KAAK;IAMb,OAAO,CAAC,KAAK;IAUb,OAAO,CAAC,SAAS;IAUjB,mHAAmH;IACnH,4BAA4B,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,EAAE;CAOlE"}

package/dist/orm/helpers/query-plan/query-ir-analyzer.js

@@ -0,0 +1,262 @@
+export class QueryIrAnalyzer {
+    state;
+    fallbackParam;
+    relations;
+    registeredCteNames;
+    constructor(state, fallbackParam) {
+        this.state = state;
+        this.fallbackParam = fallbackParam;
+        this.relations = state.relations;
+        this.registeredCteNames = new Set([
+            ...(state.inScopeRegisteredCteNames ?? []),
+            ...(state.ctes ?? []).map((c) => c.name),
+        ]);
+    }
+    analyze() {
+        const rootParam = this.inferRootParam();
+        const where = this.analyzeExprIr(this.state.whereIr?.node, rootParam);
+        const having = this.analyzeExprIr(this.state.havingIr?.node, rootParam);
+        const orderBy = this.analyzeOrderBy(this.state.orderBy ?? [], rootParam);
+        const select = this.analyzeSelectIr(this.state.selectIr);
+        const updateSet = this.analyzeUpsertIr(this.state.updateSetIr, rootParam);
+        const insertValues = this.analyzeUpsertIr(this.state.insertIr, rootParam);
+        const joinSources = this.merge(where, orderBy);
+        const joinRelationKeys = this.relationKeysWithHints(joinSources.relationKeys);
+        const subqueries = this.analyzeSubqueries();
+        const correlatedParamNames = this.getCorrelatedParamNames(subqueries);
+        return {
+            rootParam,
+            localParamNames: this.getLocalParamNames(),
+            correlatedParamNames,
+            subqueries,
+            where,
+            having,
+            orderBy,
+            select,
+            all: this.merge(where, having, orderBy, select, updateSet, insertValues),
+            joinRelationKeys,
+            reusableJoinKeys: this.reusableJoinKeys(where.relationKeys, select.relationKeys),
+        };
+    }
+    inferRootParam() {
+        if (this.state.selectIr?.param)
+            return this.state.selectIr.param;
+        if (this.state.whereIr?.rootParam)
+            return this.state.whereIr.rootParam;
+        if (this.state.havingIr?.rootParam)
+            return this.state.havingIr.rootParam;
+        const firstOrder = this.state.orderBy?.[0]?.expr;
+        if (firstOrder?.kind === "member")
+            return firstOrder.param;
+        return this.fallbackParam;
+    }
+    getLocalParamNames() {
+        const names = new Set();
+        if (this.state.selectIr?.param)
+            names.add(this.state.selectIr.param);
+        if (this.state.whereIr) {
+            for (const param of this.state.whereIr.localParamNames ?? [this.state.whereIr.rootParam]) {
+                names.add(param);
+            }
+        }
+        if (this.state.havingIr) {
+            for (const param of this.state.havingIr.localParamNames ?? [this.state.havingIr.rootParam]) {
+                names.add(param);
+            }
+        }
+        for (const order of this.state.orderBy ?? []) {
+            if (order.expr.kind === "member")
+                names.add(order.expr.param);
+        }
+        return [...names];
+    }
+    analyzeSubqueries() {
+        const analyses = {};
+        for (const [key, captured] of Object.entries(this.state.subqueryParams ?? {})) {
+            analyses[key] = new QueryIrAnalyzer(captured.state, this.fallbackParam).analyze();
+        }
+        return analyses;
+    }
+    getCorrelatedParamNames(subqueries) {
+        const names = new Set();
+        for (const analysis of Object.values(subqueries)) {
+            const required = new Set([...analysis.all.paramNames, ...analysis.correlatedParamNames]);
+            for (const param of analysis.localParamNames)
+                required.delete(param);
+            for (const param of required)
+                names.add(param);
+        }
+        return names;
+    }
+    analyzeOrderBy(orderBy, rootParam) {
+        const out = this.empty();
+        for (const order of orderBy) {
+            this.mergeInto(out, this.analyzeExprIr(order.expr, rootParam, 2, false));
+        }
+        return out;
+    }
+    analyzeSelectIr(select) {
+        const out = this.empty();
+        if (!select)
+            return out;
+        out.paramNames.add(select.param);
+        for (const path of select.paths) {
+            if (path.length > 0 && this.relations?.[path[0]])
+                out.relationKeys.add(path[0]);
+        }
+        for (const relation of select.relations ?? []) {
+            if (this.relations?.[relation.name])
+                out.relationKeys.add(relation.name);
+            if (relation.whereIr) {
+                this.mergeInto(out, this.analyzeExprIr(relation.whereIr.node, relation.whereIr.rootParam));
+            }
+            for (const order of relation.orderBy ?? []) {
+                this.mergeInto(out, this.analyzeExprIr(order.expr, select.param, 2));
+            }
+        }
+        for (const aggregate of select.aggregates ?? []) {
+            this.mergeInto(out, this.analyzeExprIr(aggregate.arg, select.param));
+        }
+        for (const entry of select.subqueries ?? []) {
+            out.subqueryRefs[entry.subquery.key] = entry.subquery;
+        }
+        return out;
+    }
+    analyzeUpsertIr(values, rootParam) {
+        const out = this.empty();
+        for (const node of Object.values(values ?? {})) {
+            this.mergeInto(out, this.analyzeExprIr(node, rootParam));
+        }
+        return out;
+    }
+    analyzeExprIr(node, rootParam, relationMinPathLength = 1, requireRootParamForRelations = true) {
+        const out = this.empty();
+        this.visitExprIr(node, { rootParam, relationMinPathLength, requireRootParamForRelations }, out);
+        return out;
+    }
+    /** Pre-order: accumulate analysis, then recurse. Child edges match ExprBuilder; skips exists.innerWhere. */
+    visitExprIr(node, ctx, out) {
+        if (!node)
+            return;
+        switch (node.kind) {
+            case "member":
+                out.paramNames.add(node.param);
+                if (node.path.length > 0 && this.registeredCteNames.has(node.path[0])) {
+                    out.referencedRegisteredCtes.add(node.path[0]);
+                }
+                if ((!ctx.requireRootParamForRelations || node.param === ctx.rootParam) &&
+                    node.path.length >= ctx.relationMinPathLength &&
+                    this.relations?.[node.path[0]]) {
+                    out.relationKeys.add(node.path[0]);
+                }
+                return;
+            case "subqueryRef":
+                out.subqueryRefs[node.key] = node;
+                return;
+            case "exists":
+                out.paramNames.add(node.rootParam);
+                if (node.rootParam === ctx.rootParam)
+                    out.relationKeys.add(node.relationKey);
+                out.existsNodes.push(node);
+                return;
+            case "binary":
+                this.visitExprIr(node.left, ctx, out);
+                this.visitExprIr(node.right, ctx, out);
+                return;
+            case "unary":
+                this.visitExprIr(node.operand, ctx, out);
+                return;
+            case "in":
+                this.visitExprIr(node.left, ctx, out);
+                this.visitExprIr(node.right, ctx, out);
+                return;
+            case "call":
+                this.visitExprIr(node.receiver, ctx, out);
+                for (const arg of node.args)
+                    this.visitExprIr(arg, ctx, out);
+                return;
+            case "aggregate":
+                this.visitExprIr(node.arg, ctx, out);
+                return;
+            case "case":
+                for (const b of node.branches) {
+                    this.visitExprIr(b.when, ctx, out);
+                    this.visitExprIr(b.then, ctx, out);
+                }
+                if (node.else)
+                    this.visitExprIr(node.else, ctx, out);
+                return;
+            case "const":
+            case "param":
+                return;
+            default: {
+                const _exhaustive = node;
+                return _exhaustive;
+            }
+        }
+    }
+    relationKeysWithHints(relationKeys) {
+        const out = new Set(relationKeys);
+        if (!this.relations || !this.state.joinHints)
+            return out;
+        for (const hint of this.state.joinHints) {
+            if (hint.relationKey in this.relations)
+                out.add(hint.relationKey);
+        }
+        return out;
+    }
+    reusableJoinKeys(whereKeys, selectKeys) {
+        const out = new Set();
+        if (!this.relations)
+            return out;
+        for (const key of whereKeys) {
+            if (!selectKeys.has(key))
+                continue;
+            if (this.relations[key]?._relType === "one-to-many")
+                continue;
+            out.add(key);
+        }
+        return out;
+    }
+    merge(...items) {
+        const out = this.empty();
+        for (const item of items)
+            this.mergeInto(out, item);
+        return out;
+    }
+    empty() {
+        return {
+            paramNames: new Set(),
+            relationKeys: new Set(),
+            subqueryRefs: {},
+            existsNodes: [],
+            referencedRegisteredCtes: new Set(),
+        };
+    }
+    mergeInto(target, source) {
+        for (const param of source.paramNames)
+            target.paramNames.add(param);
+        for (const key of source.relationKeys)
+            target.relationKeys.add(key);
+        Object.assign(target.subqueryRefs, source.subqueryRefs);
+        target.existsNodes.push(...source.existsNodes);
+        for (const name of source.referencedRegisteredCtes) {
+            target.referencedRegisteredCtes.add(name);
+        }
+    }
+    /** Ordered registered CTE names referenced in IR (where/having/select + updateSetIr / insertIr from analyze()). */
+    planReferencedRegisteredCtes(analysis) {
+        return orderReferencedRegisteredCtes(analysis.all.referencedRegisteredCtes, this.state.inScopeRegisteredCteNames, this.state.ctes?.map((c) => c.name));
+    }
+}
+function orderReferencedRegisteredCtes(referenced, inScopeRegisteredCteNames, cteNames) {
+    const order = [...(inScopeRegisteredCteNames ?? []), ...(cteNames ?? [])];
+    const seen = new Set();
+    return order.filter((n) => {
+        if (!referenced.has(n) || seen.has(n))
+            return false;
+        seen.add(n);
+        return true;
+    });
+}
+//# sourceMappingURL=query-ir-analyzer.js.map

package/dist/orm/helpers/query-plan/query-ir-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-ir-analyzer.js","sourceRoot":"","sources":["../../../../src/orm/helpers/query-plan/query-ir-analyzer.ts"],"names":[],"mappings":"AAgCA,MAAM,OAAO,eAAe;IAKP;IACA;IALF,SAAS,CAA2B;IACpC,kBAAkB,CAAc;IAEjD,YACmB,KAA0B,EAC1B,aAAqB;QADrB,UAAK,GAAL,KAAK,CAAqB;QAC1B,kBAAa,GAAb,aAAa,CAAQ;QAEtC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QACjC,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,CAAC;YAChC,GAAG,CAAC,KAAK,CAAC,yBAAyB,IAAI,EAAE,CAAC;YAC1C,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,SAAS,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,IAAI,CAAC,qBAAqB,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC5C,MAAM,oBAAoB,GAAG,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC;QAEtE,OAAO;YACL,SAAS;YACT,eAAe,EAAE,IAAI,CAAC,kBAAkB,EAAE;YAC1C,oBAAoB;YACpB,UAAU;YACV,KAAK;YACL,MAAM;YACN,OAAO;YACP,MAAM;YACN,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,CAAC;YACxE,gBAAgB;YAChB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC;SACjF,CAAC;IACJ,CAAC;IAEO,cAAc;QACpB,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QACjE,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QACvE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QACzE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QACjD,IAAI,UAAU,EAAE,IAAI,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC,KAAK,CAAC;QAC3D,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAEO,kBAAkB;QACxB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrE,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACvB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACxB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3F,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACpB,CAAC;IAEO,iBAAiB;QACvB,MAAM,QAAQ,GAAoC,EAAE,CAAC;QACrD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9E,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC;QACpF,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,uBAAuB,CAAC,UAA2C;QACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;YACzF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,eAAe;gBAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACrE,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,cAAc,CAAC,OAAoB,EAAE,SAAiB;QAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,eAAe,CAAC,MAAuB;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM;YAAE,OAAO,GAAG,CAAC;QAExB,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzE,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACrB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;YAC7F,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBAC3C,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;QACxD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,eAAe,CACrB,MAA0C,EAC1C,SAAiB;QAEjB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,aAAa,CACnB,IAA+B,EAC/B,SAAiB,EACjB,qBAAqB,GAAG,CAAC,EACzB,4BAA4B,GAAG,IAAI;QAEnC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,EAAE,GAAG,CAAC,CAAC;QAChG,OAAO,GAAG,CAAC;IACb,CAAC;IAED,4GAA4G;IACpG,WAAW,CACjB,IAA+B,EAC/B,GAAiB,EACjB,GAAmB;QAEnB,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtE,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjD,CAAC;gBACD,IACE,CAAC,CAAC,GAAG,CAAC,4BAA4B,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,SAAS,CAAC;oBACnE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,qBAAqB;oBAC7C,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAC9B,CAAC;oBACD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACrC,CAAC;gBACD,OAAO;YACT,KAAK,aAAa;gBAChB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBAClC,OAAO;YACT,KAAK,QAAQ;gBACX,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS;oBAAE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC7E,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3B,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACvC,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACzC,OAAO;YACT,KAAK,IAAI;gBACP,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACtC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACvC,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBAC7D,OAAO;YACT,KAAK,WAAW;gBACd,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACrC,OAAO;YACT,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;oBACnC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACrC,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI;oBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gBACrD,OAAO;YACT,KAAK,OAAO,CAAC;YACb,KAAK,OAAO;gBACV,OAAO;YACT,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,WAAW,GAAU,IAAI,CAAC;gBAChC,OAAO,WAAW,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAEO,qBAAqB,CAAC,YAAyB;QACrD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS;YAAE,OAAO,GAAG,CAAC;QACzD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,gBAAgB,CAAC,SAAsB,EAAE,UAAuB;QACtE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,OAAO,GAAG,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACnC,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,QAAQ,KAAK,aAAa;gBAAE,SAAS;YAC9D,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACf,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,KAAK,CAAC,GAAG,KAAuB;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,KAAK;QACX,OAAO;YACL,UAAU,EAAE,IAAI,GAAG,EAAE;YACrB,YAAY,EAAE,IAAI,GAAG,EAAE;YACvB,YAAY,EAAE,EAAE;YAChB,WAAW,EAAE,EAAE;YACf,wBAAwB,EAAE,IAAI,GAAG,EAAE;SACpC,CAAC;IACJ,CAAC;IAEO,SAAS,CAAC,MAAsB,EAAE,MAAsB;QAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,UAAU;YAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY;YAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;YACnD,MAAM,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,mHAAmH;IACnH,4BAA4B,CAAC,QAAyB;QACpD,OAAO,6BAA6B,CAClC,QAAQ,CAAC,GAAG,CAAC,wBAAwB,EACrC,IAAI,CAAC,KAAK,CAAC,yBAAyB,EACpC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpC,CAAC;IACJ,CAAC;CACF;AAED,SAAS,6BAA6B,CACpC,UAAuB,EACvB,yBAA+C,EAC/C,QAA8B;IAE9B,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,yBAAyB,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACpD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}