@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/planner/rules/join/rule-inner-join-existence-recovery.js

@@ -0,0 +1,206 @@
+/**
+ * Rule: Inner-Join Existence-Flag Recovery (demand-SHAPE gated)
+ *
+ * The **fallback complement** of `rule-semijoin-existence-recovery`. The semi rule
+ * recovers a semi/anti join from a probe-only `exists … as` flag, but abstains on
+ * TWO shapes of a POSITIVE probe: (a) a right-side column is demanded above the
+ * join (a semi join exposes left columns only, so it would drop the very right
+ * columns the caller needs), or (b) R **fans out** — a left row matches >1 right
+ * row — where a semi join would (unsoundly) collapse K→1, dropping the duplicate
+ * rows. This rule handles BOTH abstention points: a **positive** probe
+ * (`where flag` ⇒ `semi` polarity) where **a right column is demanded OR R fans
+ * out** rewrites the flag-bearing `left join` to a plain **inner join** — dropping
+ * the flag, keeping both sides, and (unlike a semi join) preserving every
+ * fanned-out match. Together the two rules partition the ENTIRE positive-probe space.
+ *
+ *   -- (a) right column demanded → keep R
+ *   select c.cc, p.pv
+ *     from exc c left join exp p on p.pp = c.pr exists right as hasP
+ *     where hasP;        -- ⇒ inner join (matched rows only; p.pv is needed → keep R)
+ *
+ *   -- (b) no right column, but R fans out (cc=1 matches 3 rows) → semi would lose dups
+ *   select c.cc
+ *     from fc c left join fp p on p.pp = c.cc exists right as h
+ *     where h;           -- ⇒ inner join (all K fanned rows kept; semi abstains here)
+ *
+ * Like the sibling, this is a **pure optimization** — byte-identical rows to the
+ * flag-bearing nested-loop baseline — that re-opens inner-join physical selection
+ * (`join-physical-selection` → hash/merge join), non-nullable right-column typing,
+ * and the FK/IND reasoning the live flag pinned shut (the five flag-guarded join
+ * rules re-enable once `hasExistenceColumns` flips false).
+ *
+ * ## Why this is sound (and SIMPLER than the semi rule)
+ *
+ * `emitLoopJoin` drives a `left join … exists right as` exactly like a normal left
+ * join with one appended flag bit (`runtime/emit/join.ts` `driveFromLeft`):
+ *
+ *  - a matched left row with **K** matching right rows → **K** output rows, each
+ *    `flag = true`;
+ *  - an unmatched left row → **1** null-extended row, `flag = false`.
+ *
+ * A positive probe `where flag` keeps exactly the K matched rows per left row and
+ * drops the unmatched. An **inner join** on the same condition yields exactly K
+ * rows per matched left row and drops the unmatched. **Identical, row-for-row, for
+ * ANY condition.** Three consequences distinguish this rule from the semi rule:
+ *
+ *  - **No fan-out guard needed for soundness.** A semi join collapses K→1, so the
+ *    semi rule needs `rightMatchesAtMostOne`; an inner join does not collapse, so K
+ *    matches stay K and this conversion is sound under ANY fan-out. We DO import
+ *    `rightMatchesAtMostOne`, but only to locate the abstention boundary — defer to
+ *    the leaner semi join exactly where it is sound (unique R, no right col) — never
+ *    as a precondition for our own correctness.
+ *  - **No condition-shape restriction.** Unlike `join-elimination` (AND-of-
+ *    equalities + FK→PK), the inner conversion replays the flag's exact per-pair
+ *    match, so non-equi / residual ON conditions are fine — carry `join.condition`
+ *    verbatim.
+ *  - **No NOT-NULL FK requirement.** A `NULL` FK never satisfies `p.pp = c.pr`, so
+ *    it is unmatched under both the flag (`false`, dropped by `where flag`) and the
+ *    inner join (no match). No NULL-FK row leaks.
+ *
+ * ## Attribute-id / nullability preservation
+ *
+ * `buildJoinAttributes` emits `[left…, right…]` for both `left` and `inner`, taking
+ * right attribute ids **verbatim** from `rightAttrs`; the only difference is that
+ * `left` marks the right columns `nullable: true` while `inner` keeps their
+ * declared nullability. So the consuming Project/Filter resolves right columns by
+ * attribute id (key-based addressing) and finds them at the same ids — no rebinding
+ * needed — and dropping the flag (appended *after* both sides) shifts nothing. The
+ * inner join's non-nullable right typing is a sound **strengthening**: after
+ * `where flag` only matched rows survive, on which the right side is fully present.
+ * That is the property that re-enables downstream FD/key reasoning.
+ *
+ * ## Soundness of dropping the flag + stripping the probe
+ *
+ * The demand-SHAPE proof (reused verbatim from the sibling's `analyzeChain`)
+ * guarantees the flag is referenced **only** in the single probe conjunct. After
+ * `left → inner` the probe `where flag` is subsumed by the inner join (which keeps
+ * only matched rows where the flag would be `true`), so the probe conjunct is
+ * stripped via `rebuildChainStrippingProbe` (Filter omitted if it was the sole
+ * conjunct). Any flag reference outside the probe lands in `demanded`, and the
+ * `!demanded.has(flagId)` check abstains.
+ *
+ * ## Relationship to `semijoin-existence-recovery` (disjoint by construction)
+ *
+ *  | Probe                | Right col demanded? | R unique? | Fires                         | Result        |
+ *  |----------------------|---------------------|-----------|-------------------------------|---------------|
+ *  | `where flag` (semi)  | NO                  | **yes**   | `semijoin-existence-recovery` | `semi(L,R,c)` |
+ *  | `where flag` (semi)  | NO                  | **no**    | **this rule** (fan-out)       | `inner join`  |
+ *  | `where flag` (semi)  | **YES**             | any       | **this rule**                 | `inner join`  |
+ *  | `where not f` (anti) | NO                  | any       | `semijoin-existence-recovery` | `anti(L,R,c)` |
+ *  | `where not f` (anti) | YES                 | any       | *neither*                     | stays `left`  |
+ *
+ * On the positive-probe space (anti is excluded by `polarity === 'semi'`) the two
+ * rules are DISJOINT independent of registration order, because both consult the
+ * SAME `rightMatchesAtMostOne`:
+ *
+ *   - semi fires iff:  `!rightColDemanded && unique-R`
+ *   - inner fires iff: `rightColDemanded || !unique-R`
+ *   - intersection = `!rightColDemanded && unique-R && (rightColDemanded || !unique-R)` = ∅
+ *
+ * So correctness-of-optimization no longer leans on "registered after so semi wins"
+ * — the gates are provably non-overlapping, and either registration order yields
+ * the same fixpoint (semi then inner at priority 23 is now merely conventional).
+ * The negative-probe + right-col case stays a `left` join: an anti row has the right
+ * side all-NULL, so an inner join would be wrong (guarded by `polarity === 'semi'`).
+ * Registered BEFORE `join-elimination` / the IND folders so the recovered inner join
+ * threads into them in the same `applyRules` loop. Under the fallback's own domain
+ * (no right col, NON-unique R) `join-elimination` cannot fire on the result anyway —
+ * it requires an at-most-one unique FK→PK alignment, which the fan-out precondition
+ * contradicts — so the win there is hash/merge join only.
+ *
+ * ## `sideEffectMode: 'aware'` + impure-R guard
+ *
+ * Registered `'aware'` with a `subtreeHasSideEffects(join.right)` refusal. Although
+ * the *logical* inner join scans R the same number of times as the flag-bearing
+ * left join (both full-scan R per left row in `driveFromLeft`, neither short-
+ * circuits), dropping the flag **re-enables `join-physical-selection`**, which can
+ * pick a hash join that scans R **once** total — changing an impure R's execution
+ * count. Guarding at the recovery site (rather than trusting every re-enabled
+ * downstream rule) mirrors the sibling's impure-R guard and
+ * `subquery-decorrelation`'s impure-inner refusal. The write-half is otherwise
+ * safe by construction: a flag writable through a view is always SELECTed by its
+ * routing Project, so it lands in `demanded` and `!demanded.has(flagId)` abstains.
+ *
+ * **Termination.** The output is an inner join with no existence spec, so re-running
+ * the rule sees `joinType !== 'left'` and no-ops. No rewrite loop.
+ */
+import { createLogger } from '../../../common/logger.js';
+import { ProjectNode } from '../../nodes/project-node.js';
+import { JoinNode } from '../../nodes/join-node.js';
+import { PlanNodeCharacteristics } from '../../framework/characteristics.js';
+import { collectAttrIds, walkChain, rebuildProject } from './rule-join-elimination.js';
+import { analyzeChain, rebuildChainStrippingProbe, rightMatchesAtMostOne } from './rule-semijoin-existence-recovery.js';
+const log = createLogger('optimizer:rule:inner-join-existence-recovery');
+export function ruleInnerJoinExistenceRecovery(node, _context) {
+    if (!(node instanceof ProjectNode))
+        return null;
+    // `walkChain` mutates its `demanded` set; we ignore it (a throwaway) and
+    // recompute demand conjunct-by-conjunct in `analyzeChain` so the probe is
+    // excluded — identical to the sibling rule.
+    const walk = walkChain(node.source, new Set());
+    if (!walk)
+        return null;
+    const { join, chain } = walk;
+    // Only the reachable flag-bearing shape: a `left join … exists right as` with
+    // a SOLE existence spec. A mixed join cannot be converted (other flags would be
+    // dropped); `join-existence-pruning` strips an undemanded sibling first.
+    if (join.joinType !== 'left')
+        return null;
+    if (!join.hasExistenceColumns)
+        return null;
+    const existence = join.existence;
+    if (existence.length !== 1)
+        return null;
+    const spec = existence[0];
+    if (spec.side !== 'right')
+        return null;
+    if (!join.condition)
+        return null;
+    const flagId = spec.attrId;
+    // Demand-SHAPE analysis (shared with the semi rule): seed `demanded` from the
+    // Project's projections, then `analyzeChain` folds in the chain's non-probe
+    // conjuncts + sort keys and classifies the sole probe conjunct. The returned
+    // `demanded` is the same set we passed in.
+    const demanded = new Set();
+    for (const proj of node.projections) {
+        collectAttrIds(proj.node, demanded);
+    }
+    const analysis = analyzeChain(demanded, chain, flagId);
+    if (!analysis)
+        return null;
+    const { probe } = analysis;
+    // POSITIVE probe only. A negative probe (`where not flag`, anti polarity) with a
+    // right column demanded must stay a `left` join: an anti row has the right side
+    // all-NULL, so an inner join would be wrong (it drops the very rows anti keeps).
+    if (probe.polarity !== 'semi')
+        return null;
+    // The flag must not be demanded anywhere but the stripped probe (a flag that is
+    // selected or sorted on lands in `demanded` via projections / sort keys).
+    if (demanded.has(flagId))
+        return null;
+    // The gate: fire on a positive probe whenever a right column is demanded OR R
+    // fans out. Defer to `semijoin-existence-recovery` ONLY where it can actually
+    // fire — no right column demanded AND R unique on the join column (≤1 match ⇒
+    // the leaner semi join is sound and strictly better: collapses to L, folds via
+    // the IND cascade). When R fans out (non-unique), the semi rule abstains on its
+    // own fan-out guard and the sound inner join is the only win available here. The
+    // two rules share `rightMatchesAtMostOne`, so they are provably disjoint
+    // independent of registration order (see the header partition table).
+    const rightAttrIds = join.right.getAttributes().map(a => a.id);
+    const rightColDemanded = rightAttrIds.some(id => demanded.has(id));
+    if (!rightColDemanded && rightMatchesAtMostOne(join))
+        return null;
+    // Dropping the flag re-enables `join-physical-selection`, which can pick a hash
+    // join that scans R once total — refuse to change an impure R's execution count.
+    if (PlanNodeCharacteristics.subtreeHasSideEffects(join.right)) {
+        log('Inner recovery skipped: right side has side effects');
+        return null;
+    }
+    // Replay the flag's exact per-pair match as an inner join — full ON condition
+    // carried verbatim (no condition-shape restriction; see the soundness note).
+    const innerJoin = new JoinNode(join.scope, join.left, join.right, 'inner', join.condition);
+    log('Recovered inner join from positive probe-only existence flag %s', spec.name);
+    const newSource = rebuildChainStrippingProbe(chain, probe, innerJoin);
+    return rebuildProject(node, newSource);
+}
+//# sourceMappingURL=rule-inner-join-existence-recovery.js.map

package/dist/src/planner/rules/join/rule-inner-join-existence-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-inner-join-existence-recovery.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-inner-join-existence-recovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6HG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAExH,MAAM,GAAG,GAAG,YAAY,CAAC,8CAA8C,CAAC,CAAC;AAEzE,MAAM,UAAU,8BAA8B,CAAC,IAAc,EAAE,QAAoB;IAClF,IAAI,CAAC,CAAC,IAAI,YAAY,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhD,yEAAyE;IACzE,0EAA0E;IAC1E,4CAA4C;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAE7B,8EAA8E;IAC9E,gFAAgF;IAChF,yEAAyE;IACzE,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,CAAC,IAAI,CAAC,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAU,CAAC;IAClC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,8EAA8E;IAC9E,4EAA4E;IAC5E,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;IAE3B,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAE3C,gFAAgF;IAChF,0EAA0E;IAC1E,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,8EAA8E;IAC9E,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,gFAAgF;IAChF,iFAAiF;IACjF,yEAAyE;IACzE,sEAAsE;IACtE,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,gBAAgB,IAAI,qBAAqB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAElE,gFAAgF;IAChF,iFAAiF;IACjF,IAAI,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,qDAAqD,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC;IACb,CAAC;IAED,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,SAAS,GAAG,IAAI,QAAQ,CAC7B,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,KAAK,EACV,OAAO,EACP,IAAI,CAAC,SAAS,CAEd,CAAC;IAEF,GAAG,CAAC,iEAAiE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAElF,MAAM,SAAS,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACtE,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC"}

package/dist/src/planner/rules/join/rule-join-elimination.d.ts

@@ -21,9 +21,38 @@
  * Non-equi residual conjuncts in the ON-clause disqualify the rewrite (they
  * may alter cardinality beyond the FK→PK guarantee).
  */
-import type { PlanNode, ScalarPlanNode } from '../../nodes/plan-node.js';
+import type { PlanNode, RelationalPlanNode, ScalarPlanNode } from '../../nodes/plan-node.js';
 import type { OptContext } from '../../framework/context.js';
+import { ProjectNode } from '../../nodes/project-node.js';
+import { FilterNode } from '../../nodes/filter.js';
+import { SortNode } from '../../nodes/sort.js';
+import { LimitOffsetNode } from '../../nodes/limit-offset.js';
+import { DistinctNode } from '../../nodes/distinct-node.js';
+import { AliasNode } from '../../nodes/alias-node.js';
+import { JoinNode } from '../../nodes/join-node.js';
+export type ChainEntry = {
+    kind: 'filter';
+    node: FilterNode;
+} | {
+    kind: 'sort';
+    node: SortNode;
+} | {
+    kind: 'limit';
+    node: LimitOffsetNode;
+} | {
+    kind: 'distinct';
+    node: DistinctNode;
+} | {
+    kind: 'alias';
+    node: AliasNode;
+};
+export interface ChainWalkResult {
+    join: JoinNode;
+    chain: ChainEntry[];
+}
 export declare function ruleJoinElimination(node: PlanNode, _context: OptContext): PlanNode | null;
+export declare function collectAttrIds(expr: PlanNode, out: Set<number>): void;
+export declare function walkChain(root: RelationalPlanNode, demanded: Set<number>): ChainWalkResult | null;
 /**
  * AND-of-equalities check: every conjunct must be `colRef = colRef`. Any other
  * predicate shape (range comparison, non-equality, OR, function calls, …)
@@ -31,26 +60,50 @@ export declare function ruleJoinElimination(node: PlanNode, _context: OptContext
  * the FK→PK guarantee covers.
  */
 export declare function isAndOfColumnEqualities(expr: ScalarPlanNode): boolean;
+export declare function rebuildChain(chain: ReadonlyArray<ChainEntry>, bottom: RelationalPlanNode): RelationalPlanNode;
 /**
  * Aggregate counterpart of `ruleJoinElimination`: when an Aggregate sits over
- * a chain ending in an FK-covered inner join and the aggregate's payload only
- * depends on the FK (left) side, drop the join.
+ * a chain ending in an FK-covered `left`/`right`/`inner` join and the
+ * aggregate's payload only depends on the preserved (FK) side, drop the join.
+ * Structurally identical to the Project entrypoint apart from the demand
+ * prologue (group-by + aggregate exprs) and the rebuild epilogue (reconstruct
+ * the `AggregateNode`).
  *
- * Why correct for `count(*)` and similar cardinality-only aggregates: a
- * non-null FK with the IND `L.fk ⊆ R.pk` and an unfiltered R guarantees
- * `|L ⋈ R| == |L|`, so `count(*)` over the join equals `count(*)` over L.
- * More generally, when no aggregate argument or group key references R, the
- * inner join's only effect is to gate L by `fk IS NOT NULL`, which the
- * NOT-NULL precondition already rules out.
+ * Why correct for `count(*)` and similar cardinality-only aggregates:
+ *
+ *  - INNER: a non-null FK with the IND `L.fk ⊆ R.pk` and an unfiltered R
+ *    guarantees `|L ⋈ R| == |L|`, so `count(*)` over the join equals `count(*)`
+ *    over L. More generally, when no aggregate argument or group key references
+ *    R, the inner join's only effect is to gate L by `fk IS NOT NULL`, which the
+ *    NOT-NULL precondition (checked in `tryEliminate`) already rules out.
+ *  - LEFT: `L LEFT JOIN R` preserves every L row (matched → 1 row; unmatched →
+ *    1 null-padded row) and FK→PK alignment guarantees ≤1 match, so
+ *    `|L LEFT JOIN R| == |L|` *unconditionally* — needing **neither** a NOT-NULL
+ *    FK **nor** a row-preserving path to R's base table (a null FK or a filtered
+ *    R simply null-pads the L row rather than dropping it). `tryEliminate` gates
+ *    those two extra checks behind `joinType === 'inner'`, so the outer-join path
+ *    performs exactly the FK→PK alignment + side-effect checks — the correct gate.
+ *  - RIGHT: the mirror of LEFT.
+ *
+ * `full` joins are out of scope (both sides preserved); the `usesRight` /
+ * `usesLeft` demand gate already retains a side the aggregate reads.
+ *
+ * The `hasExistenceColumns` guard is **load-bearing** once outer joins are
+ * eligible: a live `exists … as` flag's attribute id is not a column of either
+ * side, so the `usesRight`/`usesLeft` demand scan cannot see the aggregate's
+ * dependency on the non-preserved side — eliminating the join out from under the
+ * flag would be unsound. (The inner-only gate used to make this guard implicit,
+ * since flags only exist on outer joins.) The `join-existence-pruning-aggregate`
+ * rule (priority 22) strips *undemanded* flags before this rule (priority 26)
+ * sees the node, so all-undemanded → flag gone → eliminate; any demanded → flag
+ * retained → guard abstains.
  *
  * Implementation mirrors the Project entrypoint: collect attribute IDs the
  * Aggregate demands (group-key expressions + every aggregate expression),
  * walk the wrapper chain to find the Join, run the same FK-PK alignment +
- * row-preserving checks as the inner-join case, then rebuild the chain on
- * the preserved side.
- *
- * Only `inner` joins are eligible here — outer joins reduce to inner in this
- * context only when both sides demand attrs, which we'd have rejected already.
+ * (inner-only) row-preserving checks, then rebuild the chain on the preserved
+ * side.
  */
 export declare function ruleJoinEliminationUnderAggregate(node: PlanNode, _context: OptContext): PlanNode | null;
+export declare function rebuildProject(project: ProjectNode, newSource: RelationalPlanNode): ProjectNode;
 //# sourceMappingURL=rule-join-elimination.d.ts.map

package/dist/src/planner/rules/join/rule-join-elimination.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-join-elimination.d.ts","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-elimination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAsB,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AA6B7D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAuDzF;AA+DD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAgBrE;AA8ED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAwDvG"}
+{"version":3,"file":"rule-join-elimination.d.ts","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-elimination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE7F,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,QAAQ,EAAiC,MAAM,0BAA0B,CAAC;AAUnF,MAAM,MAAM,UAAU,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,eAAe,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEtC,MAAM,WAAW,eAAe;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,UAAU,EAAE,CAAC;CACpB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CA4DzF;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,CAQrE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,eAAe,GAAG,IAAI,CAyCjG;AAUD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO,CAgBrE;AAkDD,wBAAgB,YAAY,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,CAkC7G;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,GAAG,QAAQ,GAAG,IAAI,CAyEvG;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,kBAAkB,GAAG,WAAW,CAkB/F"}

package/dist/src/planner/rules/join/rule-join-elimination.js

@@ -36,6 +36,7 @@ import { BinaryOpNode } from '../../nodes/scalar.js';
 import { normalizePredicate } from '../../analysis/predicate-normalizer.js';
 import { checkFkPkAlignment, extractTableSchema } from '../../util/key-utils.js';
 import { lookupCoveringFK, isRowPreservingPathToTable } from '../../util/ind-utils.js';
+import { PlanNodeCharacteristics } from '../../framework/characteristics.js';
 const log = createLogger('optimizer:rule:join-elimination');
 export function ruleJoinElimination(node, _context) {
     if (!(node instanceof ProjectNode))
@@ -48,6 +49,12 @@ export function ruleJoinElimination(node, _context) {
     if (!walk)
         return null;
     const { join, chain } = walk;
+    // An `exists … as` flag depends on whether the non-preserved side matched, but
+    // its attribute id is not a column of that side — so the `usesRight`/`usesLeft`
+    // demand scan cannot see the dependency and the join could be wrongly eliminated
+    // out from under a live flag. Keep the flag-bearing join intact (read half).
+    if (join.hasExistenceColumns)
+        return null;
     if (join.joinType !== 'left' && join.joinType !== 'right' && join.joinType !== 'inner')
         return null;
     if (!join.condition)
@@ -91,7 +98,7 @@ export function ruleJoinElimination(node, _context) {
     const newSource = rebuildChain(chain, preserved);
     return rebuildProject(node, newSource);
 }
-function collectAttrIds(expr, out) {
+export function collectAttrIds(expr, out) {
     if (expr instanceof ColumnReferenceNode) {
         out.add(expr.attributeId);
         return;
@@ -100,7 +107,7 @@ function collectAttrIds(expr, out) {
         collectAttrIds(child, out);
     }
 }
-function walkChain(root, demanded) {
+export function walkChain(root, demanded) {
     const chain = [];
     let current = root;
     while (true) {
@@ -182,6 +189,13 @@ export function isAndOfColumnEqualities(expr) {
  * preserved side relational node when safe.
  */
 function tryEliminate(join, sideToRemove, pairs) {
+    // Refuse to drop a side that carries a write — the rewrite returns the
+    // preserved side directly and the eliminated side never executes again.
+    const eliminable = sideToRemove === 'right' ? join.right : join.left;
+    if (PlanNodeCharacteristics.subtreeHasSideEffects(eliminable)) {
+        log('join-elimination skipped: %s side has side effects', sideToRemove);
+        return null;
+    }
     const leftSchema = extractTableSchema(join.left);
     const rightSchema = extractTableSchema(join.right);
     if (!leftSchema || !rightSchema)
@@ -213,7 +227,7 @@ function tryEliminate(join, sideToRemove, pairs) {
     }
     return (sideToRemove === 'right' ? join.left : join.right);
 }
-function rebuildChain(chain, bottom) {
+export function rebuildChain(chain, bottom) {
     let current = bottom;
     // Chain was collected top→bottom (root pushed first); rebuild bottom→top.
     for (let i = chain.length - 1; i >= 0; i--) {
@@ -245,24 +259,46 @@ function rebuildChain(chain, bottom) {
 }
 /**
  * Aggregate counterpart of `ruleJoinElimination`: when an Aggregate sits over
- * a chain ending in an FK-covered inner join and the aggregate's payload only
- * depends on the FK (left) side, drop the join.
+ * a chain ending in an FK-covered `left`/`right`/`inner` join and the
+ * aggregate's payload only depends on the preserved (FK) side, drop the join.
+ * Structurally identical to the Project entrypoint apart from the demand
+ * prologue (group-by + aggregate exprs) and the rebuild epilogue (reconstruct
+ * the `AggregateNode`).
+ *
+ * Why correct for `count(*)` and similar cardinality-only aggregates:
  *
- * Why correct for `count(*)` and similar cardinality-only aggregates: a
- * non-null FK with the IND `L.fk ⊆ R.pk` and an unfiltered R guarantees
- * `|L ⋈ R| == |L|`, so `count(*)` over the join equals `count(*)` over L.
- * More generally, when no aggregate argument or group key references R, the
- * inner join's only effect is to gate L by `fk IS NOT NULL`, which the
- * NOT-NULL precondition already rules out.
+ *  - INNER: a non-null FK with the IND `L.fk ⊆ R.pk` and an unfiltered R
+ *    guarantees `|L ⋈ R| == |L|`, so `count(*)` over the join equals `count(*)`
+ *    over L. More generally, when no aggregate argument or group key references
+ *    R, the inner join's only effect is to gate L by `fk IS NOT NULL`, which the
+ *    NOT-NULL precondition (checked in `tryEliminate`) already rules out.
+ *  - LEFT: `L LEFT JOIN R` preserves every L row (matched → 1 row; unmatched →
+ *    1 null-padded row) and FK→PK alignment guarantees ≤1 match, so
+ *    `|L LEFT JOIN R| == |L|` *unconditionally* — needing **neither** a NOT-NULL
+ *    FK **nor** a row-preserving path to R's base table (a null FK or a filtered
+ *    R simply null-pads the L row rather than dropping it). `tryEliminate` gates
+ *    those two extra checks behind `joinType === 'inner'`, so the outer-join path
+ *    performs exactly the FK→PK alignment + side-effect checks — the correct gate.
+ *  - RIGHT: the mirror of LEFT.
+ *
+ * `full` joins are out of scope (both sides preserved); the `usesRight` /
+ * `usesLeft` demand gate already retains a side the aggregate reads.
+ *
+ * The `hasExistenceColumns` guard is **load-bearing** once outer joins are
+ * eligible: a live `exists … as` flag's attribute id is not a column of either
+ * side, so the `usesRight`/`usesLeft` demand scan cannot see the aggregate's
+ * dependency on the non-preserved side — eliminating the join out from under the
+ * flag would be unsound. (The inner-only gate used to make this guard implicit,
+ * since flags only exist on outer joins.) The `join-existence-pruning-aggregate`
+ * rule (priority 22) strips *undemanded* flags before this rule (priority 26)
+ * sees the node, so all-undemanded → flag gone → eliminate; any demanded → flag
+ * retained → guard abstains.
  *
  * Implementation mirrors the Project entrypoint: collect attribute IDs the
  * Aggregate demands (group-key expressions + every aggregate expression),
  * walk the wrapper chain to find the Join, run the same FK-PK alignment +
- * row-preserving checks as the inner-join case, then rebuild the chain on
- * the preserved side.
- *
- * Only `inner` joins are eligible here — outer joins reduce to inner in this
- * context only when both sides demand attrs, which we'd have rejected already.
+ * (inner-only) row-preserving checks, then rebuild the chain on the preserved
+ * side.
  */
 export function ruleJoinEliminationUnderAggregate(node, _context) {
     if (!(node instanceof AggregateNode))
@@ -278,8 +314,14 @@ export function ruleJoinEliminationUnderAggregate(node, _context) {
     if (!walk)
         return null;
     const { join, chain } = walk;
-    // Only inner-eliminable shapes — see `ruleJoinElimination` notes.
-    if (join.joinType !== 'inner')
+    // A live `exists … as` flag's attr id is not a column of either side, so the
+    // usesRight/usesLeft demand scan cannot see its dependency on the
+    // non-preserved side — eliminating out from under it would be unsound. (The
+    // inner-only gate used to make this guard implicit, since flags only exist on
+    // outer joins.) See `ruleJoinElimination` for the same guard.
+    if (join.hasExistenceColumns)
+        return null;
+    if (join.joinType !== 'left' && join.joinType !== 'right' && join.joinType !== 'inner')
         return null;
     if (!join.condition)
         return null;
@@ -296,22 +338,36 @@ export function ruleJoinEliminationUnderAggregate(node, _context) {
     const usesLeft = setsIntersect(demanded, leftIds);
     const usesRight = setsIntersect(demanded, rightIds);
     let preserved = null;
-    if (!usesRight) {
-        preserved = tryEliminate(join, 'right', pairs);
-    }
-    if (!preserved && !usesLeft) {
-        preserved = tryEliminate(join, 'left', pairs);
+    switch (join.joinType) {
+        case 'left':
+            if (usesRight)
+                return null;
+            preserved = tryEliminate(join, 'right', pairs);
+            break;
+        case 'right':
+            if (usesLeft)
+                return null;
+            preserved = tryEliminate(join, 'left', pairs);
+            break;
+        case 'inner':
+            if (!usesRight) {
+                preserved = tryEliminate(join, 'right', pairs);
+            }
+            if (!preserved && !usesLeft) {
+                preserved = tryEliminate(join, 'left', pairs);
+            }
+            break;
     }
     if (!preserved)
         return null;
-    log('Eliminating inner join under Aggregate; preserved side has %d attrs', preserved.getAttributes().length);
+    log('Eliminating %s join under Aggregate; preserved side has %d attrs', join.joinType, preserved.getAttributes().length);
     const newSource = rebuildChain(chain, preserved);
     if (!isRelationalNode(newSource)) {
         throw new Error('rule-join-elimination-aggregate: rebuilt source must be relational');
     }
     return new AggregateNode(node.scope, newSource, node.groupBy, node.aggregates, undefined, node.getAttributes());
 }
-function rebuildProject(project, newSource) {
+export function rebuildProject(project, newSource) {
     const attributes = project.getAttributes();
     const newProjections = project.projections.map((p, i) => ({
         node: p.node,

package/dist/src/planner/rules/join/rule-join-elimination.js.map

@@ -1 +1 @@
-{"version":3,"file":"rule-join-elimination.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-elimination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAEvF,MAAM,GAAG,GAAG,YAAY,CAAC,iCAAiC,CAAC,CAAC;AAc5D,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,QAAoB;IACvE,IAAI,CAAC,CAAC,IAAI,YAAY,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,SAAS,GAA8B,IAAI,CAAC;IAChD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,MAAM;YACV,IAAI,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC1B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC9C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,CAAC,SAAS,EAAE,CAAC;gBAChB,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;IACR,CAAC;IAED,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,GAAG,CAAC,gEAAgE,EACnE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,IAAc,EAAE,GAAgB;IACvD,IAAI,IAAI,YAAY,mBAAmB,EAAE,CAAC;QACzC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1B,OAAO;IACR,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;AACF,CAAC;AAED,SAAS,SAAS,CAAC,IAAwB,EAAE,QAAqB;IACjE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAuB,IAAI,CAAC;IAEvC,OAAO,IAAI,EAAE,CAAC;QACb,IAAI,OAAO,YAAY,QAAQ,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,YAAY,UAAU,EAAE,CAAC;YACnC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,QAAQ,EAAE,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAClC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC5C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,eAAe,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,YAAY,EAAE,CAAC;YACrC,0EAA0E;YAC1E,0DAA0D;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAChD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,CAAsB,EAAE,CAAsB;IACpE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAoB;IAC3D,IAAI,CAAC,CAAC,IAAI,YAAY,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,mBAAmB,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACpB,IAAc,EACd,YAA8B,EAC9B,KAAqD;IAErD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAA0B,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAA2B,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAE7C,oEAAoE;IACpE,MAAM,QAAQ,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACrE,MAAM,QAAQ,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;IACrE,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE/E,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjF,oCAAoC;IACpC,yEAAyE;IACzE,qEAAqE;IACrE,0EAA0E;IAC1E,qEAAqE;IACrE,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,cAAc,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzE,IAAI,CAAC,0BAA0B,CAAC,cAAoC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpF,CAAC;IAED,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAuB,CAAC;AAClF,CAAC;AAED,SAAS,YAAY,CAAC,KAAgC,EAAE,MAA0B;IACjF,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACf,OAAO,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1E,MAAM;YACP,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACb,OAAO,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvE,MAAM;YACP,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,eAAe,CAC5B,KAAK,CAAC,IAAI,CAAC,KAAK,EAChB,OAAO,EACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAChB,KAAK,CAAC,IAAI,CAAC,MAAM,CACjB,CAAC;gBACF,MAAM;YACP,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBACjB,OAAO,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACtD,MAAM;YACP,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrE,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,iCAAiC,CAAC,IAAc,EAAE,QAAoB;IACrF,IAAI,CAAC,CAAC,IAAI,YAAY,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAC7B,kEAAkE;IAClE,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,SAAS,GAA8B,IAAI,CAAC;IAChD,IAAI,CAAC,SAAS,EAAE,CAAC;QAChB,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,GAAG,CAAC,qEAAqE,EACxE,SAAS,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;IAEnC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,UAAU,EACf,SAAS,EACT,IAAI,CAAC,aAAa,EAAE,CACpB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,OAAoB,EAAE,SAA6B;IAC1E,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;KAC7B,CAAC,CAAC,CAAC;IACJ,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,WAAW,CACrB,OAAO,CAAC,KAAK,EACb,SAAS,EACT,cAAc,EACd,SAAS,EACT,UAAU,EACV,OAAO,CAAC,oBAAoB,CAC5B,CAAC;AACH,CAAC"}
+{"version":3,"file":"rule-join-elimination.js","sourceRoot":"","sources":["../../../../../src/planner/rules/join/rule-join-elimination.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAE5D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACnF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAE7E,MAAM,GAAG,GAAG,YAAY,CAAC,iCAAiC,CAAC,CAAC;AAc5D,MAAM,UAAU,mBAAmB,CAAC,IAAc,EAAE,QAAoB;IACvE,IAAI,CAAC,CAAC,IAAI,YAAY,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAC7B,+EAA+E;IAC/E,gFAAgF;IAChF,iFAAiF;IACjF,6EAA6E;IAC7E,IAAI,IAAI,CAAC,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,SAAS,GAA8B,IAAI,CAAC;IAChD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,MAAM;YACV,IAAI,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC1B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC9C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,CAAC,SAAS,EAAE,CAAC;gBAChB,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;IACR,CAAC;IAED,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,GAAG,CAAC,gEAAgE,EACnE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAc,EAAE,GAAgB;IAC9D,IAAI,IAAI,YAAY,mBAAmB,EAAE,CAAC;QACzC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1B,OAAO;IACR,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxC,cAAc,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;AACF,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAwB,EAAE,QAAqB;IACxE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAuB,IAAI,CAAC;IAEvC,OAAO,IAAI,EAAE,CAAC;QACb,IAAI,OAAO,YAAY,QAAQ,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,YAAY,UAAU,EAAE,CAAC;YACnC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,QAAQ,EAAE,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBAClC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACxC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC5C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,eAAe,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,YAAY,EAAE,CAAC;YACrC,0EAA0E;YAC1E,0DAA0D;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAChD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,IAAI,OAAO,YAAY,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC7C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YACzB,SAAS;QACV,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,CAAsB,EAAE,CAAsB;IACpE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAoB;IAC3D,IAAI,CAAC,CAAC,IAAI,YAAY,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,MAAM,KAAK,GAAqB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;QACjC,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5B,SAAS;QACV,CAAC;QACD,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,mBAAmB,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,mBAAmB,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACpB,IAAc,EACd,YAA8B,EAC9B,KAAqD;IAErD,uEAAuE;IACvE,wEAAwE;IACxE,MAAM,UAAU,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACrE,IAAI,uBAAuB,CAAC,qBAAqB,CAAC,UAAgC,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,oDAAoD,EAAE,YAAY,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAA0B,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAA2B,CAAC,CAAC;IACzE,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAE7C,oEAAoE;IACpE,MAAM,QAAQ,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACrE,MAAM,QAAQ,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;IACrE,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE/E,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjF,oCAAoC;IACpC,yEAAyE;IACzE,qEAAqE;IACrE,0EAA0E;IAC1E,qEAAqE;IACrE,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QAC3E,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,cAAc,GAAG,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzE,IAAI,CAAC,0BAA0B,CAAC,cAAoC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpF,CAAC;IAED,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAuB,CAAC;AAClF,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAgC,EAAE,MAA0B;IACxF,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACf,OAAO,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC1E,MAAM;YACP,CAAC;YACD,KAAK,MAAM,CAAC,CAAC,CAAC;gBACb,OAAO,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvE,MAAM;YACP,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,eAAe,CAC5B,KAAK,CAAC,IAAI,CAAC,KAAK,EAChB,OAAO,EACP,KAAK,CAAC,IAAI,CAAC,KAAK,EAChB,KAAK,CAAC,IAAI,CAAC,MAAM,CACjB,CAAC;gBACF,MAAM;YACP,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBACjB,OAAO,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACtD,MAAM;YACP,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACrE,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,MAAM,UAAU,iCAAiC,CAAC,IAAc,EAAE,QAAoB;IACrF,IAAI,CAAC,CAAC,IAAI,YAAY,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,cAAc,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAC7B,6EAA6E;IAC7E,kEAAkE;IAClE,4EAA4E;IAC5E,8EAA8E;IAC9E,8DAA8D;IAC9D,IAAI,IAAI,CAAC,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,CAAC,uBAAuB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEpD,IAAI,SAAS,GAA8B,IAAI,CAAC;IAChD,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,MAAM;YACV,IAAI,SAAS;gBAAE,OAAO,IAAI,CAAC;YAC3B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,QAAQ;gBAAE,OAAO,IAAI,CAAC;YAC1B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC9C,MAAM;QACP,KAAK,OAAO;YACX,IAAI,CAAC,SAAS,EAAE,CAAC;gBAChB,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,CAAC,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC7B,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YACD,MAAM;IACR,CAAC;IACD,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAE5B,GAAG,CAAC,kEAAkE,EACrE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,aAAa,CACvB,IAAI,CAAC,KAAK,EACV,SAA+B,EAC/B,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,UAAU,EACf,SAAS,EACT,IAAI,CAAC,aAAa,EAAE,CACpB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAoB,EAAE,SAA6B;IACjF,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC3C,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;KAC7B,CAAC,CAAC,CAAC;IACJ,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,WAAW,CACrB,OAAO,CAAC,KAAK,EACb,SAAS,EACT,cAAc,EACd,SAAS,EACT,UAAU,EACV,OAAO,CAAC,oBAAoB,CAC5B,CAAC;AACH,CAAC"}