@quereus/quereus 3.3.0 → 4.0.0

package/dist/src/planner/mutation/scope-transform.js

@@ -0,0 +1,574 @@
+/**
+ * The one scope-aware column-substitution primitive the view-mutation backward
+ * path shares (`docs/view-updateability.md` § Selection).
+ *
+ * Three callers used to each carry a near-parallel copy of "rewrite column
+ * references X→Y in an expression / query, scope-aware (shadowing, taint, deep
+ * subquery descent)":
+ *  - `single-source.ts` — the view-column → base-term descent and the
+ *    correlation-qualifier of a substituted base term (both DEEP / scope-aware),
+ *  - `multi-source.ts` — view-column → alias-qualified base term,
+ *  - `lens-enforcement.ts` — logical → basis column rewriting.
+ *
+ * They share a shadowing/taint model and differ only in the substitution map and
+ * the qualification rule. This module owns the structural tree-walker
+ * ({@link transformExpr} and the clones built on it), the FROM-source column-name
+ * resolution that drives the shadow set ({@link collectFromColumnNames}), and the
+ * scope-aware descent ({@link transformScopedExpr} / {@link transformScopedQuery})
+ * parameterized by a {@link ScopeContext} value object. Each caller supplies a
+ * `ScopeContext` (its substitution closure + taint policy + reject builders); the
+ * descent itself — shadow accumulation across nested scopes, the
+ * `unsupported-subquery-correlation` taint logic, sibling-leg scoping — is shared.
+ */
+// --- structural expression walker -----------------------------------------
+/**
+ * Structurally clone an expression, substituting column references via
+ * `substitute`. A substituted replacement is cloned but NOT re-substituted
+ * (the replacement is already in target terms).
+ *
+ * Subquery operands (`subquery` / `exists` / `in … (select …)`) are descended
+ * into via the optional `descend` transformer, so a column reference nested
+ * inside a correlated subquery of a user predicate / assigned value is rewritten
+ * to its lineage (scope-aware — see {@link transformScopedQuery}). With `descend`
+ * omitted the subquery operand is passed through structurally — byte-identical to
+ * a plain structural rewrite — which keeps every top-level-only caller (and
+ * {@link cloneExpr}'s no-substitution clone) unchanged.
+ */
+export function transformExpr(expr, substitute, descend) {
+    switch (expr.type) {
+        case 'column': {
+            const replacement = substitute(expr);
+            if (replacement)
+                return cloneExpr(replacement);
+            return { ...expr };
+        }
+        case 'binary':
+            return { ...expr, left: transformExpr(expr.left, substitute, descend), right: transformExpr(expr.right, substitute, descend) };
+        case 'unary':
+            return { ...expr, expr: transformExpr(expr.expr, substitute, descend) };
+        case 'function':
+            return { ...expr, args: expr.args.map(a => transformExpr(a, substitute, descend)) };
+        case 'cast':
+            return { ...expr, expr: transformExpr(expr.expr, substitute, descend) };
+        case 'collate':
+            return { ...expr, expr: transformExpr(expr.expr, substitute, descend) };
+        case 'between':
+            return {
+                ...expr,
+                expr: transformExpr(expr.expr, substitute, descend),
+                lower: transformExpr(expr.lower, substitute, descend),
+                upper: transformExpr(expr.upper, substitute, descend),
+            };
+        case 'case':
+            return {
+                ...expr,
+                baseExpr: expr.baseExpr ? transformExpr(expr.baseExpr, substitute, descend) : undefined,
+                whenThenClauses: expr.whenThenClauses.map(w => ({
+                    when: transformExpr(w.when, substitute, descend),
+                    then: transformExpr(w.then, substitute, descend),
+                })),
+                elseExpr: expr.elseExpr ? transformExpr(expr.elseExpr, substitute, descend) : undefined,
+            };
+        case 'in':
+            return {
+                ...expr,
+                expr: transformExpr(expr.expr, substitute, descend),
+                values: expr.values ? expr.values.map(v => transformExpr(v, substitute, descend)) : undefined,
+                subquery: expr.subquery && descend ? descend(expr.subquery) : expr.subquery,
+            };
+        case 'subquery':
+            return { ...expr, query: descend ? descend(expr.query) : expr.query };
+        case 'exists':
+            return { ...expr, subquery: descend ? descend(expr.subquery) : expr.subquery };
+        case 'windowFunction':
+            // Window args / partitionBy / orderBy / frame bounds sit in the same scalar
+            // scope as sibling projections, so the substitution threads through them.
+            return {
+                ...expr,
+                function: { ...expr.function, args: expr.function.args.map(a => transformExpr(a, substitute, descend)) },
+                window: expr.window ? transformWindowDefinition(expr.window, substitute, descend) : undefined,
+            };
+        default:
+            // literal / identifier / parameter / functionSource —
+            // no nested scalar/relational operand to rewrite.
+            return { ...expr };
+    }
+}
+/** Rebuild an OVER clause, threading the substitution through partitionBy /
+ *  orderBy / frame-bound value expressions. */
+function transformWindowDefinition(window, substitute, descend) {
+    return {
+        ...window,
+        partitionBy: window.partitionBy?.map(p => transformExpr(p, substitute, descend)),
+        orderBy: window.orderBy?.map(ob => ({ ...ob, expr: transformExpr(ob.expr, substitute, descend) })),
+        frame: window.frame
+            ? {
+                ...window.frame,
+                start: transformFrameBound(window.frame.start, substitute, descend),
+                end: window.frame.end && transformFrameBound(window.frame.end, substitute, descend),
+            }
+            : undefined,
+    };
+}
+/** Rebuild a window frame bound; `preceding` / `following` carry a value expression. */
+function transformFrameBound(bound, substitute, descend) {
+    return bound.type === 'preceding' || bound.type === 'following'
+        ? { ...bound, value: transformExpr(bound.value, substitute, descend) }
+        : { ...bound };
+}
+/** Deep structural clone of an expression, including any nested subqueries. */
+export function cloneExpr(expr) {
+    return transformExpr(expr, () => undefined, cloneQueryExpr);
+}
+/**
+ * Substitute every `new.<name>`-qualified column reference in an authored
+ * inverse expression (docs/view-updateability.md § Authored inverses) — at any
+ * depth, including inside subquery operands (a `new.` ref correlates to the
+ * written view row wherever it appears; `new` is a reserved qualifier no FROM
+ * source legitimately shadows). The replacement is cloned by `transformExpr`,
+ * so `resolve` may return a shared expression.
+ */
+export function substituteNewRefs(expr, resolve) {
+    const sub = (col) => col.table?.toLowerCase() === 'new' && !col.schema ? resolve(col.name) : undefined;
+    return transformExpr(expr, sub, q => mapQueryExprUniform(q, sub));
+}
+/** Deep structural clone of a relation-producing subquery (no substitution). */
+export function cloneQueryExpr(query) {
+    return mapQueryExprUniform(query, () => undefined);
+}
+/**
+ * Apply a column substitution uniformly through a subquery's structure — NOT
+ * scope-aware. The substitution decides purely on the column's own qualifier
+ * (e.g. {@link cloneQueryExpr}'s no-op, or the multi-source SET-value qualifier
+ * strip), so the enclosing scope is irrelevant and the same `substitute` is
+ * applied at every nesting depth. The `with` clause is cloned without
+ * substitution — a CTE body cannot correlate to the enclosing query, so it
+ * needs no rewrite, only severed sharing (see {@link cloneWithClause}).
+ */
+export function mapQueryExprUniform(query, substitute) {
+    const descend = (q) => mapQueryExprUniform(q, substitute);
+    const onExpr = (e) => transformExpr(e, substitute, descend);
+    if (query.type === 'select')
+        return rebuildSelect(query, onExpr, descend, descend);
+    if (query.type === 'values')
+        return { ...query, values: query.values.map(row => row.map(onExpr)) };
+    // INSERT/UPDATE/DELETE … RETURNING as a subquery — pure structural deep clone
+    // (no substitution threading; the view-mutation descent rejects DML subqueries).
+    return cloneDmlStmt(query);
+}
+/**
+ * Structurally rebuild a `SelectStmt`, applying `onExpr` to every scalar
+ * expression in the select's OWN scope (projections, `where`, `groupBy`,
+ * `having`, `orderBy`, `limit`, `offset`, and join `ON` conditions), `onNested`
+ * to a subquery nested in that scope (a FROM `SubquerySource`), and `onLeg` to a
+ * sibling compound / union leg (which correlates to the SAME outer scope as this
+ * select, not to this select's FROM). The `with` clause is cloned without
+ * substitution — a CTE body cannot correlate to the enclosing query, so it needs
+ * no rewrite, only severed sharing (see {@link cloneWithClause}).
+ */
+function rebuildSelect(sel, onExpr, onNested, onLeg) {
+    return {
+        ...sel,
+        withClause: cloneWithClause(sel.withClause),
+        // A `with inverse` clause is write-through metadata, not a live scalar of the
+        // read query — pure-clone it (severs sharing for in-place rewriters) without
+        // threading the substitution (its refs are `new.`-qualified written-row reads).
+        columns: sel.columns.map(rc => rc.type === 'all'
+            ? { ...rc }
+            : { ...rc, expr: onExpr(rc.expr), inverse: cloneInverseClause(rc.inverse) }),
+        from: sel.from?.map(fc => rebuildFrom(fc, onExpr, onNested)),
+        where: sel.where ? onExpr(sel.where) : undefined,
+        groupBy: sel.groupBy ? sel.groupBy.map(onExpr) : undefined,
+        having: sel.having ? onExpr(sel.having) : undefined,
+        orderBy: sel.orderBy ? sel.orderBy.map(ob => ({ ...ob, expr: onExpr(ob.expr) })) : undefined,
+        limit: sel.limit ? onExpr(sel.limit) : undefined,
+        offset: sel.offset ? onExpr(sel.offset) : undefined,
+        // A `with defaults` clause is write-through metadata, not a live scalar of the
+        // read query — pure-clone it (severs sharing for the in-place rename
+        // rewriters that descend `select.defaults`) without threading the substitution,
+        // exactly like the sibling `with inverse` clause above.
+        defaults: cloneDefaultsClause(sel.defaults),
+        compound: sel.compound ? { ...sel.compound, select: onLeg(sel.compound.select) } : undefined,
+        union: sel.union ? onLeg(sel.union) : undefined,
+    };
+}
+/** Rebuild a FROM clause, threading `onExpr` into join conditions / TVF args and
+ *  `onNested` into a subquery source. */
+function rebuildFrom(fc, onExpr, onNested) {
+    switch (fc.type) {
+        case 'table':
+            // Clone the nested table identifier too: in-place rewriters over a cloned
+            // tree (the schema differ's rename reconcile) mutate `table.name`, and a
+            // shared identifier would leak that mutation back into the source AST.
+            return { ...fc, table: { ...fc.table } };
+        case 'join':
+            return {
+                ...fc,
+                left: rebuildFrom(fc.left, onExpr, onNested),
+                right: rebuildFrom(fc.right, onExpr, onNested),
+                condition: fc.condition ? onExpr(fc.condition) : undefined,
+            };
+        case 'functionSource':
+            return { ...fc, args: fc.args.map(onExpr) };
+        case 'subquerySource':
+            return { ...fc, subquery: onNested(fc.subquery) };
+    }
+}
+// --- structural deep clones (no substitution) ------------------------------
+// In-place rewriters (the schema differ's rename reconcile, the constraint
+// builder's qualifier strip) run over trees produced by `cloneExpr` /
+// `cloneQueryExpr` and mutate nodes in place — so every subtree the walkers can
+// reach must be rebuilt, never shared with the source AST.
+/**
+ * Pure structural clone of a `with` clause. CTE bodies go through
+ * {@link cloneQueryExpr}, NOT the substitution descend — a CTE body cannot
+ * correlate to the enclosing query, so no rewrite applies; the clone only
+ * severs reference sharing.
+ */
+function cloneWithClause(withClause) {
+    if (!withClause)
+        return undefined;
+    return {
+        ...withClause,
+        ctes: withClause.ctes.map(cte => ({
+            ...cte,
+            columns: cte.columns && [...cte.columns],
+            query: cloneQueryExpr(cte.query),
+        })),
+        options: withClause.options && { ...withClause.options },
+    };
+}
+/** Structural clone of a RETURNING / projection column list. */
+function cloneResultColumns(columns) {
+    return columns?.map(rc => rc.type === 'all'
+        ? { ...rc }
+        : { ...rc, expr: cloneExpr(rc.expr), inverse: cloneInverseClause(rc.inverse) });
+}
+/** Structural clone of a result column's `with inverse` assignment list. */
+function cloneInverseClause(inverse) {
+    return inverse?.map(a => ({ ...a, expr: cloneExpr(a.expr) }));
+}
+/** Structural clone of a select's `with defaults` assignment list (mirrors
+ *  {@link cloneInverseClause}). */
+function cloneDefaultsClause(defaults) {
+    return defaults?.map(d => ({ ...d, expr: cloneExpr(d.expr) }));
+}
+/** Structural clone of mutation-context assignments. */
+function cloneContextValues(values) {
+    return values?.map(cv => ({ ...cv, value: cloneExpr(cv.value) }));
+}
+/** Structural clone of an ON CONFLICT clause (conflict target, assignments, WHERE). */
+function cloneUpsertClause(clause) {
+    return {
+        ...clause,
+        conflictTarget: clause.conflictTarget && [...clause.conflictTarget],
+        assignments: clause.assignments?.map(a => ({ ...a, value: cloneExpr(a.value) })),
+        where: clause.where && cloneExpr(clause.where),
+    };
+}
+/**
+ * Pure structural deep clone of an INSERT/UPDATE/DELETE … RETURNING subquery.
+ * No substitution is threaded — the scope-aware view-mutation descent rejects
+ * DML subqueries before reaching here ({@link transformScopedQuery}).
+ */
+function cloneDmlStmt(stmt) {
+    switch (stmt.type) {
+        case 'insert':
+            return {
+                ...stmt,
+                withClause: cloneWithClause(stmt.withClause),
+                table: { ...stmt.table },
+                columns: stmt.columns && [...stmt.columns],
+                source: cloneQueryExpr(stmt.source),
+                upsertClauses: stmt.upsertClauses?.map(cloneUpsertClause),
+                returning: cloneResultColumns(stmt.returning),
+                contextValues: cloneContextValues(stmt.contextValues),
+                schemaPath: stmt.schemaPath && [...stmt.schemaPath],
+            };
+        case 'update':
+            return {
+                ...stmt,
+                withClause: cloneWithClause(stmt.withClause),
+                table: { ...stmt.table },
+                assignments: stmt.assignments.map(a => ({ ...a, value: cloneExpr(a.value) })),
+                where: stmt.where && cloneExpr(stmt.where),
+                returning: cloneResultColumns(stmt.returning),
+                contextValues: cloneContextValues(stmt.contextValues),
+                schemaPath: stmt.schemaPath && [...stmt.schemaPath],
+            };
+        case 'delete':
+            return {
+                ...stmt,
+                withClause: cloneWithClause(stmt.withClause),
+                table: { ...stmt.table },
+                where: stmt.where && cloneExpr(stmt.where),
+                returning: cloneResultColumns(stmt.returning),
+                contextValues: cloneContextValues(stmt.contextValues),
+                schemaPath: stmt.schemaPath && [...stmt.schemaPath],
+            };
+    }
+}
+// --- FROM column-name resolution (shadow-set construction) ----------------
+/**
+ * Resolve the lowercased set of column names a subquery's FROM sources introduce
+ * into scope, or `null` when any source's columns cannot be resolved statically
+ * (a TVF, a `select *` / unnamed-projection subquery source, or an unknown name
+ * such as a CTE reference). A `null` marks the scope (and everything nested in
+ * it) **tainted**: a descent can no longer prove an unqualified reference is
+ * *not* a local column, so the {@link ScopeContext} decides whether to reject or
+ * carry the taint forward.
+ */
+export function collectFromColumnNames(ctx, from) {
+    const acc = new Set();
+    if (!from)
+        return acc;
+    for (const fc of from) {
+        const names = fromSourceColumnNames(ctx, fc);
+        if (names === null)
+            return null;
+        for (const n of names)
+            acc.add(n);
+    }
+    return acc;
+}
+/** Lowercased column names a single FROM source introduces, or `null` if unresolvable. */
+function fromSourceColumnNames(ctx, fc) {
+    switch (fc.type) {
+        case 'table':
+            return tableSourceColumnNames(ctx, fc);
+        case 'join': {
+            const left = fromSourceColumnNames(ctx, fc.left);
+            if (left === null)
+                return null;
+            const right = fromSourceColumnNames(ctx, fc.right);
+            if (right === null)
+                return null;
+            for (const n of right)
+                left.add(n);
+            return left;
+        }
+        case 'subquerySource':
+            return fc.columns && fc.columns.length > 0
+                ? new Set(fc.columns.map(c => c.toLowerCase()))
+                : projectionOutputNames(fc.subquery);
+        case 'functionSource':
+            // A table-valued function's output columns are not statically known here.
+            return null;
+    }
+}
+/** Lowercased column names of a base table / view / MV named in a FROM, or `null`.
+ *  A maintained table (materialized view) resolves through the table branch —
+ *  its registered columns ARE the authoritative output names. */
+function tableSourceColumnNames(ctx, src) {
+    const schemaName = src.table.schema;
+    const table = ctx.schemaManager.getTable(schemaName, src.table.name);
+    if (table)
+        return new Set(table.columns.map(c => c.name.toLowerCase()));
+    const view = ctx.schemaManager.getView(schemaName ?? null, src.table.name);
+    if (view) {
+        return view.columns && view.columns.length > 0
+            ? new Set(view.columns.map(c => c.toLowerCase()))
+            : projectionOutputNames(view.selectAst);
+    }
+    // A CTE / context-backed source (a sibling CTE, or an injected eager-capture relation
+    // keyed under the CTE name) — never schema-qualified, so only an unqualified name can
+    // match. Resolve its columns from the planning context's `cteNodes` so the source
+    // SHADOWS (a clean local source) rather than tainting the scope. This is what lets a
+    // CTE-name DML target's user-predicate self-read (`from t`) over its eager capture
+    // resolve `t`'s bare columns as local instead of rejecting them as
+    // unprovable-correlation (docs/view-updateability.md § Common Table Expressions). A
+    // schema object of the same name was already resolved above, so this only fires for a
+    // genuine context-backed name. `buildFrom` resolves such a name the same way (its own
+    // `cteNodes` lookup), so the static shadow set matches the plan-time binding.
+    if (!schemaName && ctx.cteNodes) {
+        const cteNode = ctx.cteNodes.get(src.table.name.toLowerCase());
+        if (cteNode)
+            return new Set(cteNode.getType().columns.map(c => c.name.toLowerCase()));
+    }
+    // Unknown name (a not-yet-resolvable source).
+    return null;
+}
+/**
+ * The lowercased output column names of a relation-producing subquery, or `null`
+ * when they cannot be determined statically (`select *`, an unnamed computed
+ * projection, a VALUES / DML body) — a conservative signal to taint the scope.
+ */
+function projectionOutputNames(query) {
+    if (query.type !== 'select')
+        return null;
+    const names = new Set();
+    for (const rc of query.columns) {
+        if (rc.type === 'all')
+            return null;
+        const name = rc.alias ?? (rc.expr.type === 'column' ? rc.expr.name : undefined);
+        if (name === undefined)
+            return null;
+        names.add(name.toLowerCase());
+    }
+    return names;
+}
+const NO_SHADOW = new Set();
+/**
+ * Scope-aware substitution over an expression, entered at the outermost scope
+ * (no shadowing, untainted). Used to rewrite a substituted *term* whose own
+ * correlation refs must be (re-)bound (the single-source base-term qualifier).
+ */
+export function transformScopedExpr(ctx, scope, expr) {
+    const substitute = scope.makeSubstitute(NO_SHADOW, false, NO_ALIAS_SHADOW);
+    const descend = (q) => transformScopedQuery(ctx, scope, q, NO_SHADOW, false, NO_ALIAS_SHADOW);
+    return transformExpr(expr, substitute, descend);
+}
+/**
+ * Scope-aware transform of an inner `QueryExpr`. Rewrites column references
+ * correlated to the outer scope per the {@link ScopeContext}, while leaving
+ * subquery-local same-named columns untouched.
+ *
+ * `shadowed` is the set of column names introduced by ENCLOSING subquery scopes;
+ * `tainted` is set once an enclosing scope's columns proved unresolvable (so the
+ * `ScopeContext`'s substitution can reject an unqualified, ambiguous reference at
+ * this depth or below). A `select`'s own FROM column names join the shadow set
+ * for its clauses and any subquery nested in them; a sibling compound / union leg
+ * keeps the incoming `shadowed` / `tainted` (it correlates to the same outer
+ * scope, not to this select's FROM).
+ */
+export function transformScopedQuery(ctx, scope, query, shadowed, tainted, aliasShadowed = NO_ALIAS_SHADOW) {
+    if (query.type === 'values') {
+        // No FROM — the value rows correlate to the enclosing scope unchanged.
+        const substitute = scope.makeSubstitute(shadowed, tainted, aliasShadowed);
+        const descend = (q) => transformScopedQuery(ctx, scope, q, shadowed, tainted, aliasShadowed);
+        const onExpr = (e) => transformExpr(e, substitute, descend);
+        return { ...query, values: query.values.map(row => row.map(onExpr)) };
+    }
+    if (query.type !== 'select') {
+        // An embedded INSERT/UPDATE/DELETE … RETURNING subquery — too rich to analyse
+        // for correlation; reject rather than risk a partial rewrite.
+        scope.rejectDmlSubquery();
+    }
+    const sel = query;
+    const local = collectFromColumnNames(ctx, sel.from);
+    let innerShadow;
+    let scopeTainted;
+    if (local === null) {
+        if (scope.unresolvableScope === 'reject')
+            scope.rejectUnresolvableScope();
+        // Taint: shadowing cannot be proven, so the enclosing shadow set is kept and
+        // the scope (and everything nested in it) is marked tainted.
+        innerShadow = shadowed;
+        scopeTainted = true;
+    }
+    else {
+        // References in THIS select's clauses see this select's FROM in addition to
+        // any enclosing scope, so its locals join the shadow set.
+        innerShadow = new Set([...shadowed, ...local]);
+        scopeTainted = tainted;
+    }
+    // FROM **aliases** of this select join the alias-shadow set for its clauses and any
+    // subquery nested in them — the alias-only analog of `innerShadow`. Always known (a
+    // FROM alias is statically resolvable even when its columns are not), so this never
+    // taints; a tainted scope still accumulates aliases.
+    const innerAliasShadow = new Set([...aliasShadowed, ...collectFromAliases(sel.from)]);
+    const substitute = scope.makeSubstitute(innerShadow, scopeTainted, innerAliasShadow);
+    // A subquery nested inside this select's clauses / FROM sees this select's FROM,
+    // so it inherits `innerShadow` / `scopeTainted` / `innerAliasShadow`.
+    const onNested = (q) => transformScopedQuery(ctx, scope, q, innerShadow, scopeTainted, innerAliasShadow);
+    // A compound / union leg is a SIBLING select correlating to the SAME outer scope
+    // as this one — it does NOT see this select's FROM, so it keeps the incoming
+    // `shadowed` / `tainted` / `aliasShadowed`.
+    const onLeg = (q) => transformScopedQuery(ctx, scope, q, shadowed, tainted, aliasShadowed);
+    const onExpr = (e) => transformExpr(e, substitute, onNested);
+    return rebuildSelect(sel, onExpr, onNested, onLeg);
+}
+// --- alias-shadow-aware substitution (cross-source SET-value strip) --------
+/**
+ * The lowercased set of FROM aliases a subquery's FROM sources bind into scope.
+ * Unlike {@link collectFromColumnNames} this NEVER returns `null` and needs no
+ * `PlanningContext`: a FROM alias is always statically known from the FROM clause
+ * itself, even when the source's *columns* are unresolvable (a `select *` / TVF /
+ * CTE still binds its own alias), so alias shadowing needs no taint signal.
+ *
+ *   table          -> alias ?? table.name
+ *   subquerySource -> alias              (always present)
+ *   functionSource -> alias ?? name.name
+ *   join           -> union(left, right)
+ */
+export function collectFromAliases(from) {
+    const acc = new Set();
+    if (!from)
+        return acc;
+    for (const fc of from)
+        collectFromSourceAliases(fc, acc);
+    return acc;
+}
+/** Accumulate the lowercased alias(es) a single FROM source binds into `acc`. */
+function collectFromSourceAliases(fc, acc) {
+    switch (fc.type) {
+        case 'table':
+            acc.add((fc.alias ?? fc.table.name).toLowerCase());
+            return;
+        case 'subquerySource':
+            acc.add(fc.alias.toLowerCase());
+            return;
+        case 'functionSource':
+            acc.add((fc.alias ?? fc.name.name).toLowerCase());
+            return;
+        case 'join':
+            collectFromSourceAliases(fc.left, acc);
+            collectFromSourceAliases(fc.right, acc);
+            return;
+    }
+}
+const NO_ALIAS_SHADOW = new Set();
+/**
+ * Alias-shadow-aware structural substitution over an expression, entered at the
+ * outermost scope (no inner FROM aliases shadow yet). `substitute` receives each
+ * column AND the set of FROM aliases shadowing at the column's depth, so a
+ * qualifier shadowed by an inner value-subquery FROM alias can be left local
+ * (per innermost-scope SQL rules) instead of routed by the cross-source strip.
+ *
+ * Mirrors {@link transformScopedQuery}'s scope rules — a select's own FROM
+ * aliases join the shadow set for its clauses and any subquery nested in them; a
+ * compound / union leg keeps the incoming set (it correlates to the same outer
+ * scope); VALUES has no FROM — but threads ONLY an alias set: no column-name
+ * shadow set, no taint, no reject. An embedded INSERT/UPDATE/DELETE … RETURNING
+ * subquery is cloned through structurally (no substitution), exactly matching the
+ * cross-source strip's prior {@link mapQueryExprUniform} behaviour.
+ */
+export function transformAliasScopedExpr(expr, substitute) {
+    const sub = (col) => substitute(col, NO_ALIAS_SHADOW);
+    const descend = (q) => transformAliasScopedQuery(q, substitute, NO_ALIAS_SHADOW);
+    return transformExpr(expr, sub, descend);
+}
+/**
+ * Alias-shadow-aware transform of an inner `QueryExpr`, threading the FROM-alias
+ * shadow set exactly as {@link transformScopedQuery} threads its column-name
+ * `shadowed` set: a `select`'s own FROM aliases join the set for its clauses and
+ * nested subqueries; a sibling compound / union leg keeps the incoming set; a
+ * VALUES body (no FROM) keeps it too; a DML … RETURNING subquery clones through.
+ */
+export function transformAliasScopedQuery(query, substitute, aliasShadow = NO_ALIAS_SHADOW) {
+    if (query.type === 'values') {
+        // No FROM — the value rows correlate to the enclosing scope unchanged.
+        const sub = (col) => substitute(col, aliasShadow);
+        const descend = (q) => transformAliasScopedQuery(q, substitute, aliasShadow);
+        const onExpr = (e) => transformExpr(e, sub, descend);
+        return { ...query, values: query.values.map(row => row.map(onExpr)) };
+    }
+    if (query.type !== 'select') {
+        // An embedded INSERT/UPDATE/DELETE … RETURNING subquery — clone through
+        // structurally (no substitution, no reject), matching mapQueryExprUniform.
+        return cloneDmlStmt(query);
+    }
+    const sel = query;
+    // References in THIS select's clauses see this select's FROM aliases in addition
+    // to any enclosing scope, so its aliases join the shadow set.
+    const inner = new Set([...aliasShadow, ...collectFromAliases(sel.from)]);
+    const sub = (col) => substitute(col, inner);
+    // A subquery nested inside this select's clauses / FROM sees this select's FROM.
+    const onNested = (q) => transformAliasScopedQuery(q, substitute, inner);
+    // A compound / union leg is a SIBLING select correlating to the SAME outer scope
+    // as this one — it does NOT see this select's FROM, so it keeps the incoming set.
+    const onLeg = (q) => transformAliasScopedQuery(q, substitute, aliasShadow);
+    const onExpr = (e) => transformExpr(e, sub, onNested);
+    return rebuildSelect(sel, onExpr, onNested, onLeg);
+}
+//# sourceMappingURL=scope-transform.js.map

package/dist/src/planner/mutation/scope-transform.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-transform.js","sourceRoot":"","sources":["../../../../src/planner/mutation/scope-transform.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,6EAA6E;AAE7E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC5B,IAAoB,EACpB,UAA+D,EAC/D,OAAiD;IAEjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,WAAW;gBAAE,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;YAC/C,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;QACpB,CAAC;QACD,KAAK,QAAQ;YACZ,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QAChI,KAAK,OAAO;YACX,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACzE,KAAK,UAAU;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QACrF,KAAK,MAAM;YACV,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACzE,KAAK,SAAS;YACb,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACzE,KAAK,SAAS;YACb,OAAO;gBACN,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;gBACnD,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC;gBACrD,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC;aACrD,CAAC;QACH,KAAK,MAAM;YACV,OAAO;gBACN,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;gBACvF,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC/C,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;oBAChD,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;iBAChD,CAAC,CAAC;gBACH,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aACvF,CAAC;QACH,KAAK,IAAI;YACR,OAAO;gBACN,GAAG,IAAI;gBACP,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;gBACnD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC7F,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ;aAC3E,CAAC;QACH,KAAK,UAAU;YACd,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QACvE,KAAK,QAAQ;YACZ,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChF,KAAK,gBAAgB;YACpB,4EAA4E;YAC5E,0EAA0E;YAC1E,OAAO;gBACN,GAAG,IAAI;gBACP,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,EAAE;gBACxG,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;aAC7F,CAAC;QACH;YACC,sDAAsD;YACtD,kDAAkD;YAClD,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;IACrB,CAAC;AACF,CAAC;AAED;+CAC+C;AAC/C,SAAS,yBAAyB,CACjC,MAA4B,EAC5B,UAA+D,EAC/D,OAAiD;IAEjD,OAAO;QACN,GAAG,MAAM;QACT,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAChF,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QAClG,KAAK,EAAE,MAAM,CAAC,KAAK;YAClB,CAAC,CAAC;gBACD,GAAG,MAAM,CAAC,KAAK;gBACf,KAAK,EAAE,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC;gBACnE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC;aACnF;YACD,CAAC,CAAC,SAAS;KACZ,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,mBAAmB,CAC3B,KAA2B,EAC3B,UAA+D,EAC/D,OAAiD;IAEjD,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW;QAC9D,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE;QACtE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,SAAS,CAAC,IAAoB;IAC7C,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAoB,EAAE,OAAyC;IAChG,MAAM,GAAG,GAAG,CAAC,GAAmB,EAA8B,EAAE,CAC/D,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,cAAc,CAAC,KAAoB;IAClD,OAAO,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAClC,KAAoB,EACpB,UAA+D;IAE/D,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5F,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnF,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IACnG,8EAA8E;IAC9E,iFAAiF;IACjF,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,aAAa,CACrB,GAAmB,EACnB,MAA6C,EAC7C,QAA6C,EAC7C,KAA0C;IAE1C,OAAO;QACN,GAAG,GAAG;QACN,UAAU,EAAE,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,8EAA8E;QAC9E,6EAA6E;QAC7E,gFAAgF;QAChF,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK;YAC/C,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;YACX,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7E,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC5D,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;QAChD,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1D,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QACnD,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5F,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QACnD,+EAA+E;QAC/E,qEAAqE;QACrE,gFAAgF;QAChF,wDAAwD;QACxD,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC3C,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;QAC5F,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAmB,CAAC,CAAC,CAAC,SAAS;KACjE,CAAC;AACH,CAAC;AAED;yCACyC;AACzC,SAAS,WAAW,CACnB,EAAkB,EAClB,MAA6C,EAC7C,QAA6C;IAE7C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACX,0EAA0E;YAC1E,yEAAyE;YACzE,uEAAuE;YACvE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1C,KAAK,MAAM;YACV,OAAO;gBACN,GAAG,EAAE;gBACL,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC;gBAC5C,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC;gBAC9C,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;aAC1D,CAAC;QACH,KAAK,gBAAgB;YACpB,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,KAAK,gBAAgB;YACpB,OAAO,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;IACpD,CAAC;AACF,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,sEAAsE;AACtE,gFAAgF;AAChF,2DAA2D;AAE3D;;;;;GAKG;AACH,SAAS,eAAe,CAAC,UAAsC;IAC9D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO;QACN,GAAG,UAAU;QACb,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjC,GAAG,GAAG;YACN,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;YACxC,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;SAChC,CAAC,CAAC;QACH,OAAO,EAAE,UAAU,CAAC,OAAO,IAAI,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE;KACxD,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,kBAAkB,CAAC,OAAuC;IAClE,OAAO,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK;QAC1C,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACX,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,4EAA4E;AAC5E,SAAS,kBAAkB,CAC1B,OAA2D;IAE3D,OAAO,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;mCACmC;AACnC,SAAS,mBAAmB,CAC3B,QAA0D;IAE1D,OAAO,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,wDAAwD;AACxD,SAAS,kBAAkB,CAAC,MAA2C;IACtE,OAAO,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,uFAAuF;AACvF,SAAS,iBAAiB,CAAC,MAAwB;IAClD,OAAO;QACN,GAAG,MAAM;QACT,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;QACnE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChF,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;KAC9C,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAsD;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,OAAO;gBACN,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC5C,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE;gBACxB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;gBAC1C,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;gBACnC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,iBAAiB,CAAC;gBACzD,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC7C,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACrD,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;aACnD,CAAC;QACH,KAAK,QAAQ;YACZ,OAAO;gBACN,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC5C,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE;gBACxB,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC7E,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC1C,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC7C,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACrD,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;aACnD,CAAC;QACH,KAAK,QAAQ;YACZ,OAAO;gBACN,GAAG,IAAI;gBACP,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;gBAC5C,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE;gBACxB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC1C,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;gBAC7C,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;gBACrD,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;aACnD,CAAC;IACJ,CAAC;AACF,CAAC;AAED,6EAA6E;AAE7E;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CACrC,GAAoB,EACpB,IAA2C;IAE3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,0FAA0F;AAC1F,SAAS,qBAAqB,CAAC,GAAoB,EAAE,EAAkB;IACtE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACX,OAAO,sBAAsB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACnC,OAAO,IAAI,CAAC;QACb,CAAC;QACD,KAAK,gBAAgB;YACpB,OAAO,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACzC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC/C,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACvC,KAAK,gBAAgB;YACpB,0EAA0E;YAC1E,OAAO,IAAI,CAAC;IACd,CAAC;AACF,CAAC;AAED;;iEAEiE;AACjE,SAAS,sBAAsB,CAAC,GAAoB,EAAE,GAAoB;IACzE,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,IAAI,KAAK;QAAE,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,IAAI,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3E,IAAI,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAC7C,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACjD,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC;IACD,sFAAsF;IACtF,sFAAsF;IACtF,kFAAkF;IAClF,qFAAqF;IACrF,mFAAmF;IACnF,mEAAmE;IACnE,oFAAoF;IACpF,sFAAsF;IACtF,sFAAsF;IACtF,8EAA8E;IAC9E,IAAI,CAAC,UAAU,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/D,IAAI,OAAO;YAAE,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,8CAA8C;IAC9C,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAoB;IAClD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAsDD,MAAM,SAAS,GAAwB,IAAI,GAAG,EAAU,CAAC;AAEzD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAoB,EAAE,KAAmB,EAAE,IAAoB;IAClG,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAC5H,OAAO,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CACnC,GAAoB,EACpB,KAAmB,EACnB,KAAoB,EACpB,QAA6B,EAC7B,OAAgB,EAChB,gBAAqC,eAAe;IAEpD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,uEAAuE;QACvE,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;QAC3H,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5F,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,8EAA8E;QAC9E,8DAA8D;QAC9D,KAAK,CAAC,iBAAiB,EAAE,CAAC;IAC3B,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC;IAClB,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,WAAgC,CAAC;IACrC,IAAI,YAAqB,CAAC;IAC1B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,KAAK,CAAC,iBAAiB,KAAK,QAAQ;YAAE,KAAK,CAAC,uBAAuB,EAAE,CAAC;QAC1E,6EAA6E;QAC7E,6DAA6D;QAC7D,WAAW,GAAG,QAAQ,CAAC;QACvB,YAAY,GAAG,IAAI,CAAC;IACrB,CAAC;SAAM,CAAC;QACP,4EAA4E;QAC5E,0DAA0D;QAC1D,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;QACvD,YAAY,GAAG,OAAO,CAAC;IACxB,CAAC;IACD,oFAAoF;IACpF,oFAAoF;IACpF,oFAAoF;IACpF,qDAAqD;IACrD,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAS,CAAC,GAAG,aAAa,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEnH,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACrF,iFAAiF;IACjF,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,CAAC,CAAC;IACvI,iFAAiF;IACjF,6EAA6E;IAC7E,4CAA4C;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;IACzH,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7F,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AACpD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA2C;IAC7E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,KAAK,MAAM,EAAE,IAAI,IAAI;QAAE,wBAAwB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,iFAAiF;AACjF,SAAS,wBAAwB,CAAC,EAAkB,EAAE,GAAgB;IACrE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACX,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACnD,OAAO;QACR,KAAK,gBAAgB;YACpB,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;YAChC,OAAO;QACR,KAAK,gBAAgB;YACpB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAClD,OAAO;QACR,KAAK,MAAM;YACV,wBAAwB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,wBAAwB,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,OAAO;IACT,CAAC;AACF,CAAC;AAED,MAAM,eAAe,GAAwB,IAAI,GAAG,EAAU,CAAC;AAE/D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CACvC,IAAoB,EACpB,UAAiG;IAEjG,MAAM,GAAG,GAAG,CAAC,GAAmB,EAA8B,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;IAClG,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IAC/G,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACxC,KAAoB,EACpB,UAAiG,EACjG,cAAmC,eAAe;IAElD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,uEAAuE;QACvE,MAAM,GAAG,GAAG,CAAC,GAAmB,EAA8B,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAC9F,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC3G,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACrF,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,wEAAwE;QACxE,2EAA2E;QAC3E,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC;IAClB,iFAAiF;IACjF,8DAA8D;IAC9D,MAAM,KAAK,GAAwB,IAAI,GAAG,CAAS,CAAC,GAAG,WAAW,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,CAAC,GAAmB,EAA8B,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxF,iFAAiF;IACjF,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IACtG,iFAAiF;IACjF,kFAAkF;IAClF,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACtF,OAAO,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;AACpD,CAAC"}