@quereus/quereus 3.2.1 → 4.0.0

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"backward-body.js","sourceRoot":"","sources":["../../../../src/planner/mutation/backward-body.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAuE,MAAM,uBAAuB,CAAC;AAC9H,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAmGnE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,YAA0C;IAClG,IAAI,MAAsC,CAAC;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAW,EAAQ,EAAE;QACnC,IAAI,MAAM;YAAE,OAAO;QACnB,qFAAqF;QACrF,uFAAuF;QACvF,uEAAuE;QACvE,IAAI,gBAAgB,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,YAAY,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,MAAM,IAAI,IAAI,CAAC;AACvB,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,gBAAgB,CAAC,IAAc;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,MAAM,KAAK,GAAG,CAAC,CAAW,EAAQ,EAAE;QACnC,IAAI,CAAC,YAAY,kBAAkB,EAAE,CAAC;YACrC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,OAAO;QACR,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,YAAY,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAoB,EAAE,IAAqB;IAC7E,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,uBAAuB,CAAC;YACvB,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,IAAI,CAAC,IAAI;YAChB,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,gDAAgD;SACvH,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;IAE3B,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,uBAAuB,CAAC;YACvB,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,IAAI,CAAC,IAAI;YAChB,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,mCAAmC;SAC9D,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,QAA8B,CAAC;IAC5C,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAE7C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC5C,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC;IAChC,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,uBAAuB,CAAC;YACvB,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,IAAI,CAAC,IAAI;YAChB,OAAO,EAAE,8BAA8B,IAAI,CAAC,IAAI,2CAA2C,WAAW,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,GAAG;SACnI,CAAC,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC3D,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC;QACnD,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,4EAA4E;YAC5E,6DAA6D;YAC7D,uBAAuB,CAAC;gBACvB,MAAM,EAAE,iBAAiB;gBACzB,KAAK,EAAE,IAAI,CAAC,IAAI;gBAChB,OAAO,EAAE,8BAA8B,IAAI,CAAC,IAAI,qDAAqD;aACrG,CAAC,CAAC;QACJ,CAAC;QACD,+EAA+E;QAC/E,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,YAAY,GAAI,EAA2B,CAAC,IAAI,CAAC;QACvD,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAEzC,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI;YACJ,WAAW;YACX,WAAW,EAAE,QAAQ,CAAC,KAAK;YAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3F,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,YAAY;SACZ,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,qFAAqF;IACrF,oFAAoF;IACpF,wFAAwF;IACxF,sFAAsF;IACtF,4EAA4E;IAC5E,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAEnD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,gBAAgB,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AACvF,CAAC"}

package/dist/src/planner/mutation/cte-flatten.d.ts

@@ -0,0 +1,17 @@
+import type * as AST from '../../parser/ast.js';
+import type { PlanningContext } from '../planning-context.js';
+/**
+ * Flatten a single-source CTE/subquery body's linear chain of sibling-CTE reads down to a
+ * body over the terminal base table. Returns the ORIGINAL object identity when nothing is
+ * inlined (the FROM is already a base table / view / MV, or not a single CTE source), so the
+ * common single-level path is provably untouched.
+ *
+ * @param body       the target body (a CTE's `query` or an inline subquery's body).
+ * @param visible    the CTEs that resolve in `body`'s FROM, **in definition order** (the
+ *                   prefix of the WITH clause up to — and excluding — a CTE-name target).
+ * @param targetName the CTE-name target's own name, which must NOT be inlined (its body's
+ *                   same-named FROM source is the REAL outer table — the load-bearing shadow
+ *                   case). Undefined for an inline-subquery target (no own-name to shadow).
+ */
+export declare function flattenCteBody(ctx: PlanningContext, body: AST.QueryExpr, visible: ReadonlyArray<AST.CommonTableExpr>, targetName?: string): AST.QueryExpr;
+//# sourceMappingURL=cte-flatten.d.ts.map

package/dist/src/planner/mutation/cte-flatten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cte-flatten.d.ts","sourceRoot":"","sources":["../../../../src/planner/mutation/cte-flatten.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA6C9D;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC7B,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,SAAS,EACnB,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,EAC3C,UAAU,CAAC,EAAE,MAAM,GACjB,GAAG,CAAC,SAAS,CAEf"}

package/dist/src/planner/mutation/cte-flatten.js

@@ -0,0 +1,364 @@
+import { transformExpr, cloneExpr, transformAliasScopedQuery } from './scope-transform.js';
+import { combineAnd } from './single-source.js';
+import { raiseMutationDiagnostic } from './mutation-diagnostic.js';
+/**
+ * Multi-level CTE-body flattener (`docs/view-updateability.md` § Common Table
+ * Expressions — multi-level CTE body).
+ *
+ * A CTE-name (or inline-subquery) DML target whose body is a single-source
+ * projection-and-filter that reads ANOTHER CTE —
+ *
+ *   with a as (select id, color from ml), t as (select * from a) update t …
+ *
+ * — used to reject `no-base-lineage`: the body's FROM resolves to a `CTEReferenceNode`,
+ * not a base `TableReferenceNode`, so the mutation-propagation walk found no recoverable
+ * base operation. This module collapses such a **linear single-source chain** down to a
+ * flat `SELECT … FROM <terminal base table> …` by *pure syntactic AST composition*
+ * (projection substitution + filter conjunction), so the produced body is byte-equivalent
+ * to collapsing the whole chain into one CTE body. Every downstream consumer — `analyzeView`,
+ * `classifyViewBody`, the INSERT/UPDATE/DELETE rewriters, RETURNING — then runs unchanged on
+ * a genuine single base-table body.
+ *
+ * Crucially the flattener does **no** lineage / inverse reasoning: it substitutes references
+ * and conjoins filters. All the hard backward-composition (inverses, passthrough, authored
+ * inverses, computed columns) is recovered by the existing planner when `analyzeView`
+ * re-plans the flat body — so a `select id, v+1 as vp from ml2` inlined through two levels
+ * still inverts `set vp = 9` to `v = 8`.
+ *
+ * Non-updateable INTERMEDIATES (an aggregate / distinct / limit / set-op / join CTE in the
+ * chain) reject with *that intermediate's* body-shape reason, matching the diagnostic the
+ * equivalent collapsed body (or single-level CTE of that shape) raises. A non-updateable
+ * CONSUMER (the target body itself — `select sum(v) from a`) is carried through unchanged so
+ * the FINAL `analyzeView` on the flattened body rejects it with the same reason a collapsed
+ * body would.
+ */
+/**
+ * Defensive cap on chain depth. Non-recursive CTEs cannot truly cycle under
+ * definition-order visibility (a CTE inlines only against CTEs defined *before* it), but a
+ * visited-set + depth cap guard against a pathological AST and convert it into a structured
+ * diagnostic rather than a stack overflow.
+ */
+const MAX_FLATTEN_DEPTH = 64;
+/**
+ * Flatten a single-source CTE/subquery body's linear chain of sibling-CTE reads down to a
+ * body over the terminal base table. Returns the ORIGINAL object identity when nothing is
+ * inlined (the FROM is already a base table / view / MV, or not a single CTE source), so the
+ * common single-level path is provably untouched.
+ *
+ * @param body       the target body (a CTE's `query` or an inline subquery's body).
+ * @param visible    the CTEs that resolve in `body`'s FROM, **in definition order** (the
+ *                   prefix of the WITH clause up to — and excluding — a CTE-name target).
+ * @param targetName the CTE-name target's own name, which must NOT be inlined (its body's
+ *                   same-named FROM source is the REAL outer table — the load-bearing shadow
+ *                   case). Undefined for an inline-subquery target (no own-name to shadow).
+ */
+export function flattenCteBody(ctx, body, visible, targetName) {
+    return flattenSelect(ctx, body, visible, targetName, 0, new Set());
+}
+function flattenSelect(ctx, body, visible, targetName, depth, visited) {
+    // A non-SELECT body (VALUES / DML) is terminal — `analyzeView` rejects it natively.
+    if (body.type !== 'select')
+        return body;
+    const inlineSource = singleCteSource(body, visible, targetName);
+    if (!inlineSource)
+        return body; // terminal: FROM is not a single inlinable-CTE source
+    const { inner, sourceName } = inlineSource;
+    const innerFlat = flattenInner(ctx, inner, visible, depth, visited);
+    return composeBody(ctx, body, innerFlat, inner, sourceName);
+}
+/**
+ * If `body` is a single-source SELECT whose sole FROM source names a visible sibling CTE that
+ * may be inlined, return that CTE and the name the body references it by; otherwise undefined
+ * (the body is terminal — its FROM is a base table / view / MV, or it is not a plain
+ * single-source SELECT).
+ */
+function singleCteSource(body, visible, targetName) {
+    // A body carrying its OWN with clause is scoped to that clause — do not cross-inline the
+    // outer chain into it (treat as terminal; `analyzeView` proceeds/rejects). Low-risk corner.
+    if (body.withClause)
+        return undefined;
+    if (!body.from || body.from.length !== 1)
+        return undefined;
+    const fc = body.from[0];
+    if (fc.type !== 'table')
+        return undefined;
+    // A schema-qualified name (`main.a`) is never a bare CTE reference → a real object.
+    if (fc.table.schema)
+        return undefined;
+    const lcName = fc.table.name.toLowerCase();
+    // The CTE-name target's own name is shadowed OUT of its body — a same-named FROM source is
+    // the REAL outer table, not the CTE (SQL's non-recursive CTE scoping). Leave it terminal.
+    if (targetName && lcName === targetName.toLowerCase())
+        return undefined;
+    const inner = visible.find(c => c.name.toLowerCase() === lcName);
+    if (!inner)
+        return undefined; // not a visible sibling CTE → terminal base/view/MV source
+    return { inner, sourceName: fc.alias ?? fc.table.name };
+}
+/**
+ * Flatten the body of an inlinable inner CTE down to a single base-table SELECT, gating its
+ * shape FIRST so a non-updateable intermediate rejects with its own body-shape reason
+ * (`composeBody` only carries projection + filter, so silently inlining an aggregate /
+ * distinct / limit / set-op / join intermediate would DROP the disqualifying clause — hence
+ * the explicit reject here rather than at the final `analyzeView`).
+ */
+function flattenInner(ctx, inner, visible, depth, visited) {
+    const lcName = inner.name.toLowerCase();
+    if (visited.has(lcName) || depth >= MAX_FLATTEN_DEPTH) {
+        raiseMutationDiagnostic({
+            reason: 'no-base-lineage',
+            table: inner.name,
+            message: `cannot write through common table expression chain: inlining '${inner.name}' exceeded the supported nesting depth or revisited a CTE (possible cycle)`,
+        });
+    }
+    assertInlinableInner(inner);
+    const prefix = ctesBefore(visible, inner);
+    const nextVisited = new Set(visited);
+    nextVisited.add(lcName);
+    // `assertInlinableInner` proved a SELECT body whose FROM is a single base table or a
+    // further CTE; `flattenSelect` returns a SELECT in both the terminal and composed cases.
+    return flattenSelect(ctx, inner.query, prefix, undefined, depth + 1, nextVisited);
+}
+/**
+ * Reject an inner (intermediate) CTE whose body shape cannot be faithfully inlined — the
+ * composition would silently drop the disqualifying clause. The reason mirrors `analyzeView` /
+ * `classifyViewBody` so the chain rejects with the same diagnostic the equivalent collapsed
+ * body or single-level CTE of that shape would. A SELECT whose FROM is a single `{type:'table'}`
+ * source (a base table OR a further sibling CTE) passes — the recursion handles the latter.
+ */
+function assertInlinableInner(inner) {
+    const q = inner.query;
+    const name = inner.name;
+    if (q.type !== 'select') {
+        reject('no-base-lineage', name, `cannot write through common table expression '${name}': its ${q.type.toUpperCase()} body has no recoverable base operation`);
+    }
+    // A body carrying its own WITH clause is scoped to that clause; inlining it would drop the
+    // nested CTEs its FROM may reference. Reject cleanly rather than risk a dangling reference.
+    if (q.withClause) {
+        reject('no-base-lineage', name, `cannot write through common table expression '${name}': a body that carries its own WITH clause is not inlinable and is not updateable in phase 1`);
+    }
+    if (q.distinct) {
+        reject('unsupported-distinct', name, `cannot write through common table expression '${name}': a DISTINCT intermediate has no 1:1 base-row lineage and is not updateable in phase 1`);
+    }
+    if (q.limit || q.offset) {
+        reject('unsupported-limit', name, `cannot write through common table expression '${name}': a LIMIT/OFFSET intermediate is not updateable in phase 1 (a mutation would escape the limited window)`);
+    }
+    if (q.groupBy || q.having) {
+        reject('unsupported-aggregate', name, `cannot write through common table expression '${name}': an aggregate/grouping intermediate is not updateable in phase 1`);
+    }
+    if (q.compound || q.union) {
+        reject('unsupported-set-op', name, `cannot write through common table expression '${name}': a set-operation intermediate is not updateable in phase 1`);
+    }
+    if (!q.from || q.from.length !== 1) {
+        reject('unsupported-join', name, `cannot write through common table expression '${name}': a multi-source (join) intermediate is not updateable in phase 1`);
+    }
+    const fc = q.from[0];
+    if (fc.type === 'join') {
+        reject('unsupported-join', name, `cannot write through common table expression '${name}': a join intermediate is not updateable in phase 1`);
+    }
+    if (fc.type !== 'table') {
+        // A FROM subquery source / table-valued function — no recoverable base lineage.
+        reject('no-base-lineage', name, `cannot write through common table expression '${name}': its body has no recoverable base table and is not updateable in phase 1`);
+    }
+}
+/**
+ * Compose the consumer body over the already-flattened inner body: substitute references to
+ * the inner source with its defining expressions, conjoin the two filters, and re-point the
+ * FROM at the terminal base table. The consumer's own shape clauses (`distinct` / `limit` /
+ * `group by` / `compound` / …) ride through unchanged (carried by the spread, scalar clauses
+ * substituted) so a non-updateable CONSUMER is still rejected — by the final `analyzeView`.
+ */
+function composeBody(ctx, consumer, innerFlat, inner, sourceName) {
+    const lcSource = sourceName.toLowerCase();
+    // The inner's output columns: output-name → defining expression (already in base terms).
+    // `null` ⇒ the identity-strip fast path (`select *` inner with no rename): no map, no
+    // schema touch — substitution merely drops the `sourceName.` qualifier.
+    const innerColumns = resolveInnerColumns(ctx, innerFlat, inner);
+    const { topSubst, nestedSubst } = makeSubstitutions(lcSource, innerColumns);
+    // Alias-shadow-aware descent: a subquery nested in the consumer that re-binds `sourceName`
+    // as a LOCAL FROM alias shadows it, so a `sourceName.`-qualified ref there is local to the
+    // nested scope and is NOT rewritten to the inner CTE's defining term (silent-wrong otherwise).
+    const descend = (q) => transformAliasScopedQuery(q, nestedSubst);
+    const sub = (e) => transformExpr(e, topSubst, descend);
+    const columns = composeColumns(consumer.columns, innerFlat.columns, innerColumns, sub);
+    const consumerWhere = consumer.where ? sub(consumer.where) : undefined;
+    const innerWhere = innerFlat.where ? cloneExpr(innerFlat.where) : undefined;
+    const where = combineAnd(consumerWhere, innerWhere);
+    return {
+        ...consumer,
+        withClause: undefined,
+        columns,
+        from: cloneTableFrom(innerFlat.from),
+        where,
+        // Substitute the carried-over scalar shape clauses so they bind against the terminal
+        // base table (a non-updateable consumer still rejects, but the plan must BUILD to reach
+        // the reject). The `compound` / `union` legs ride untouched — a set-op consumer rejects
+        // `unsupported-set-op` at the SetOperation node before any leg is evaluated.
+        groupBy: consumer.groupBy?.map(sub),
+        having: consumer.having ? sub(consumer.having) : undefined,
+        orderBy: consumer.orderBy?.map(ob => ({ ...ob, expr: sub(ob.expr) })),
+        limit: consumer.limit ? sub(consumer.limit) : undefined,
+        offset: consumer.offset ? sub(consumer.offset) : undefined,
+        defaults: mergeDefaults(innerFlat.defaults, consumer.defaults),
+    };
+}
+/**
+ * Resolve the inner flattened body's output columns to `{ name, defining-expr }` pairs, or
+ * `null` for the identity-strip fast path — a pure `select *` inner with no rename, where the
+ * consumer's references resolve to the base table by simply dropping the source qualifier (no
+ * schema lookup, no map). The only schema touch is a rename over a `select *` inner, which
+ * needs the base table's column list to pair the renamed names with positions.
+ */
+function resolveInnerColumns(ctx, innerFlat, inner) {
+    const rename = inner.columns;
+    if (isPureStar(innerFlat.columns)) {
+        if (!rename || rename.length === 0)
+            return null; // identity strip — no schema touch
+        const baseCols = baseColumnsOf(ctx, innerFlat);
+        if (!baseCols) {
+            reject('no-base-lineage', inner.name, `cannot write through common table expression '${inner.name}': a column rename over a 'select *' body whose source columns are not statically resolvable cannot be inlined`);
+        }
+        if (baseCols.length !== rename.length) {
+            reject('no-base-lineage', inner.name, `cannot write through common table expression '${inner.name}': its ${rename.length} renamed columns do not match the ${baseCols.length}-column base source`);
+        }
+        return rename.map((nm, i) => ({ name: nm, expr: columnExpr(baseCols[i]) }));
+    }
+    // Explicit projection: each output column maps to its (already base-term) defining
+    // expression, named by the rename list when present, else by the column's own output name.
+    const out = [];
+    innerFlat.columns.forEach((rc, i) => {
+        if (rc.type === 'all') {
+            // A `select *, extra` mix — too ambiguous to pair with a positional rename. The base
+            // columns expand identity-named; reject if a rename is present (it cannot be aligned).
+            if (rename && rename.length > 0) {
+                reject('no-base-lineage', inner.name, `cannot write through common table expression '${inner.name}': a column rename over a 'select *, …' projection cannot be inlined`);
+            }
+            const baseCols = baseColumnsOf(ctx, innerFlat);
+            if (!baseCols) {
+                reject('no-base-lineage', inner.name, `cannot write through common table expression '${inner.name}': a 'select *' projection whose source columns are not statically resolvable cannot be inlined`);
+            }
+            for (const bc of baseCols)
+                out.push({ name: bc, expr: columnExpr(bc) });
+            return;
+        }
+        const name = rename?.[i] ?? rc.alias ?? inferredName(rc.expr);
+        if (name === undefined) {
+            reject('no-base-lineage', inner.name, `cannot write through common table expression '${inner.name}': an unnamed projection column cannot be referenced by an inlining consumer`);
+        }
+        out.push({ name, expr: rc.expr });
+    });
+    return out;
+}
+/**
+ * Build the two substitution closures threaded into the consumer rewrite:
+ *  - `topSubst` rewrites a TOP-LEVEL reference to the inner source — bare (the body's single
+ *    FROM source) or `sourceName`-qualified — to its inner defining expression.
+ *  - `nestedSubst` (used inside subquery operands, where a bare name binds to the subquery's
+ *    own scope) rewrites ONLY a `sourceName`-qualified correlation — and ONLY while `sourceName`
+ *    is not shadowed by a nested FROM alias. A subquery that re-binds `sourceName` as a LOCAL
+ *    FROM alias makes a `sourceName.`-qualified ref local to that scope (innermost-scope SQL
+ *    rules), so it must NOT be rewritten to the inner CTE's defining term. The descent
+ *    ({@link transformAliasScopedQuery}) threads the FROM-alias shadow set into `nestedSubst`.
+ * The identity-strip path mirrors the same split: `topSubst` drops the `sourceName.` qualifier;
+ * `nestedSubst` does too but only when `sourceName` is unshadowed. Bare names are left untouched
+ * (they already resolve to the base table after the FROM re-point).
+ */
+function makeSubstitutions(lcSource, innerColumns) {
+    if (innerColumns === null) {
+        const stripTop = (col) => col.table && col.table.toLowerCase() === lcSource ? { type: 'column', name: col.name } : undefined;
+        const stripNested = (col, aliasShadow) => col.table && col.table.toLowerCase() === lcSource && !aliasShadow.has(lcSource) ? { type: 'column', name: col.name } : undefined;
+        return { topSubst: stripTop, nestedSubst: stripNested };
+    }
+    const map = new Map();
+    for (const ic of innerColumns)
+        map.set(ic.name.toLowerCase(), ic.expr);
+    // transformExpr clones the returned replacement, so handing back the shared `ic.expr` is safe.
+    const lookup = (name) => map.get(name.toLowerCase());
+    const topSubst = (col) => {
+        if (col.table)
+            return col.table.toLowerCase() === lcSource ? lookup(col.name) : undefined;
+        return lookup(col.name);
+    };
+    const nestedSubst = (col, aliasShadow) => col.table && col.table.toLowerCase() === lcSource && !aliasShadow.has(lcSource) ? lookup(col.name) : undefined;
+    return { topSubst, nestedSubst };
+}
+/**
+ * Build the flattened body's projection. A pure `select *` consumer passes the inner's output
+ * through (verbatim star for the identity case, else re-aliased to the inner output names — so
+ * a rename rides through); an explicit consumer substitutes each column's expression, pinning
+ * the consumer's output name as an alias so it survives the substitution.
+ */
+function composeColumns(consumerCols, innerFlatCols, innerColumns, sub) {
+    if (isPureStar(consumerCols)) {
+        if (innerColumns === null)
+            return innerFlatCols.map(cloneResultColumn);
+        return innerColumns.map(ic => ({ type: 'column', expr: cloneExpr(ic.expr), alias: ic.name }));
+    }
+    const out = [];
+    for (const rc of consumerCols) {
+        if (rc.type === 'all') {
+            if (innerColumns === null)
+                out.push({ type: 'all' });
+            else
+                for (const ic of innerColumns)
+                    out.push({ type: 'column', expr: cloneExpr(ic.expr), alias: ic.name });
+            continue;
+        }
+        out.push({ type: 'column', expr: sub(rc.expr), alias: rc.alias ?? inferredName(rc.expr), inverse: cloneInverse(rc.inverse) });
+    }
+    return out;
+}
+/** Merge two `with defaults (…)` lists, consumer winning on a column-name collision. */
+function mergeDefaults(innerDefaults, consumerDefaults) {
+    if (!innerDefaults && !consumerDefaults)
+        return undefined;
+    const byColumn = new Map();
+    for (const d of innerDefaults ?? [])
+        byColumn.set(d.column.toLowerCase(), d);
+    for (const d of consumerDefaults ?? [])
+        byColumn.set(d.column.toLowerCase(), d);
+    return [...byColumn.values()].map(d => ({ ...d, expr: cloneExpr(d.expr) }));
+}
+// --- small AST helpers -----------------------------------------------------
+/** True iff a projection list is a single bare/`a.*` star (full passthrough). */
+function isPureStar(cols) {
+    return cols.length === 1 && cols[0].type === 'all';
+}
+/** The output name a projection expression carries when unaliased — a column name, else none. */
+function inferredName(expr) {
+    return expr.type === 'column' ? expr.name : undefined;
+}
+function columnExpr(name) {
+    return { type: 'column', name };
+}
+/** The CTEs of `visible` defined strictly before `inner` (its in-scope prior siblings). */
+function ctesBefore(visible, inner) {
+    const idx = visible.indexOf(inner);
+    return idx <= 0 ? [] : visible.slice(0, idx);
+}
+/** Clone a (single terminal base-table) FROM clause, severing identifier sharing. */
+function cloneTableFrom(from) {
+    return (from ?? []).map(fc => fc.type === 'table' ? { ...fc, table: { ...fc.table } } : { ...fc });
+}
+/** Structural clone of one projection column (used for the passthrough star case). The
+ *  `with inverse` clause is deep-cloned too, severing all sharing with the source AST — the
+ *  invariant the scope-transform clones uphold (in-place rewriters mutate the produced tree). */
+function cloneResultColumn(rc) {
+    return rc.type === 'all' ? { ...rc } : { ...rc, expr: cloneExpr(rc.expr), inverse: cloneInverse(rc.inverse) };
+}
+/** Deep-clone a result column's `with inverse (col = expr, …)` list, severing expr sharing. */
+function cloneInverse(inverse) {
+    return inverse?.map(a => ({ ...a, expr: cloneExpr(a.expr) }));
+}
+/** The base table's column names for a flattened body whose FROM is one base table, or null. */
+function baseColumnsOf(ctx, innerFlat) {
+    const fc = innerFlat.from?.[0];
+    if (!fc || fc.type !== 'table')
+        return null;
+    const table = ctx.schemaManager.getTable(fc.table.schema, fc.table.name);
+    return table ? table.columns.map(c => c.name) : null;
+}
+function reject(reason, table, message) {
+    raiseMutationDiagnostic({ reason, table, message });
+}
+//# sourceMappingURL=cte-flatten.js.map

package/dist/src/planner/mutation/cte-flatten.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cte-flatten.js","sourceRoot":"","sources":["../../../../src/planner/mutation/cte-flatten.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAC3F,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAiC,MAAM,0BAA0B,CAAC;AAElG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAE7B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC7B,GAAoB,EACpB,IAAmB,EACnB,OAA2C,EAC3C,UAAmB;IAEnB,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,aAAa,CACrB,GAAoB,EACpB,IAAmB,EACnB,OAA2C,EAC3C,UAA8B,EAC9B,KAAa,EACb,OAA4B;IAE5B,oFAAoF;IACpF,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAChE,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC,CAAC,sDAAsD;IACtF,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,YAAY,CAAC;IAC3C,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACpE,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;AAC7D,CAAC;AASD;;;;;GAKG;AACH,SAAS,eAAe,CACvB,IAAoB,EACpB,OAA2C,EAC3C,UAA8B;IAE9B,yFAAyF;IACzF,4FAA4F;IAC5F,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC1C,oFAAoF;IACpF,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAC3C,2FAA2F;IAC3F,0FAA0F;IAC1F,IAAI,UAAU,IAAI,MAAM,KAAK,UAAU,CAAC,WAAW,EAAE;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC,CAAC,2DAA2D;IACzF,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;AACzD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CACpB,GAAoB,EACpB,KAA0B,EAC1B,OAA2C,EAC3C,KAAa,EACb,OAA4B;IAE5B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACvD,uBAAuB,CAAC;YACvB,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,KAAK,CAAC,IAAI;YACjB,OAAO,EAAE,iEAAiE,KAAK,CAAC,IAAI,4EAA4E;SAChK,CAAC,CAAC;IACJ,CAAC;IACD,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,qFAAqF;IACrF,yFAAyF;IACzF,OAAO,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,EAAE,WAAW,CAAmB,CAAC;AACrG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,KAA0B;IACvD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,iBAAiB,EAAE,IAAI,EAAE,iDAAiD,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,yCAAyC,CAAC,CAAC;IAC/J,CAAC;IACD,2FAA2F;IAC3F,4FAA4F;IAC5F,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,CAAC,iBAAiB,EAAE,IAAI,EAAE,iDAAiD,IAAI,8FAA8F,CAAC,CAAC;IACtL,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChB,MAAM,CAAC,sBAAsB,EAAE,IAAI,EAAE,iDAAiD,IAAI,yFAAyF,CAAC,CAAC;IACtL,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,mBAAmB,EAAE,IAAI,EAAE,iDAAiD,IAAI,0GAA0G,CAAC,CAAC;IACpM,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,uBAAuB,EAAE,IAAI,EAAE,iDAAiD,IAAI,oEAAoE,CAAC,CAAC;IAClK,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,MAAM,CAAC,oBAAoB,EAAE,IAAI,EAAE,iDAAiD,IAAI,8DAA8D,CAAC,CAAC;IACzJ,CAAC;IACD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,iDAAiD,IAAI,oEAAoE,CAAC,CAAC;IAC7J,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,iDAAiD,IAAI,qDAAqD,CAAC,CAAC;IAC9I,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,gFAAgF;QAChF,MAAM,CAAC,iBAAiB,EAAE,IAAI,EAAE,iDAAiD,IAAI,4EAA4E,CAAC,CAAC;IACpK,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CACnB,GAAoB,EACpB,QAAwB,EACxB,SAAyB,EACzB,KAA0B,EAC1B,UAAkB;IAElB,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAE1C,yFAAyF;IACzF,sFAAsF;IACtF,wEAAwE;IACxE,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAChE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,iBAAiB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC5E,2FAA2F;IAC3F,2FAA2F;IAC3F,+FAA+F;IAC/F,MAAM,OAAO,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC/F,MAAM,GAAG,GAAG,CAAC,CAAiB,EAAkB,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEvF,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IAEvF,MAAM,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAEpD,OAAO;QACN,GAAG,QAAQ;QACX,UAAU,EAAE,SAAS;QACrB,OAAO;QACP,IAAI,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,CAAC;QACpC,KAAK;QACL,qFAAqF;QACrF,wFAAwF;QACxF,wFAAwF;QACxF,6EAA6E;QAC7E,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC;QACnC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1D,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;QACvD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1D,QAAQ,EAAE,aAAa,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC;KAC9D,CAAC;AACH,CAAC;AAOD;;;;;;GAMG;AACH,SAAS,mBAAmB,CAC3B,GAAoB,EACpB,SAAyB,EACzB,KAA0B;IAE1B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC;IAC7B,IAAI,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,mCAAmC;QACpF,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,EAAE,iDAAiD,KAAK,CAAC,IAAI,gHAAgH,CAAC,CAAC;QACpN,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,EAAE,iDAAiD,KAAK,CAAC,IAAI,UAAU,MAAM,CAAC,MAAM,qCAAqC,QAAQ,CAAC,MAAM,qBAAqB,CAAC,CAAC;QACpM,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IAED,mFAAmF;IACnF,2FAA2F;IAC3F,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;QACnC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,qFAAqF;YACrF,uFAAuF;YACvF,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,EAAE,iDAAiD,KAAK,CAAC,IAAI,sEAAsE,CAAC,CAAC;YAC1K,CAAC;YACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,EAAE,iDAAiD,KAAK,CAAC,IAAI,iGAAiG,CAAC,CAAC;YACrM,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxE,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,IAAI,EAAE,iDAAiD,KAAK,CAAC,IAAI,8EAA8E,CAAC,CAAC;QAClL,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,iBAAiB,CACzB,QAAgB,EAChB,YAAkC;IAElC,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,CAAC,GAAmB,EAA8B,EAAE,CACpE,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,MAAM,WAAW,GAAG,CAAC,GAAmB,EAAE,WAAgC,EAA8B,EAAE,CACzG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClI,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,YAAY;QAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACvE,+FAA+F;IAC/F,MAAM,MAAM,GAAG,CAAC,IAAY,EAA8B,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,CAAC,GAAmB,EAA8B,EAAE;QACpE,IAAI,GAAG,CAAC,KAAK;YAAE,OAAO,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,GAAmB,EAAE,WAAgC,EAA8B,EAAE,CACzG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,QAAQ,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACtB,YAAgC,EAChC,aAAiC,EACjC,YAAkC,EAClC,GAA0C;IAE1C,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,IAAI,YAAY,KAAK,IAAI;YAAE,OAAO,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvE,OAAO,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,IAAI,YAAY,KAAK,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;;gBAChD,KAAK,MAAM,EAAE,IAAI,YAAY;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3G,SAAS;QACV,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,wFAAwF;AACxF,SAAS,aAAa,CACrB,aAA+D,EAC/D,gBAAkE;IAElE,IAAI,CAAC,aAAa,IAAI,CAAC,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,aAAa,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,gBAAgB,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;IAChF,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,8EAA8E;AAE9E,iFAAiF;AACjF,SAAS,UAAU,CAAC,IAAwB;IAC3C,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;AACpD,CAAC;AAED,iGAAiG;AACjG,SAAS,YAAY,CAAC,IAAoB;IACzC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC/B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,2FAA2F;AAC3F,SAAS,UAAU,CAAC,OAA2C,EAAE,KAA0B;IAC1F,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,qFAAqF;AACrF,SAAS,cAAc,CAAC,IAAkC;IACzD,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AACpG,CAAC;AAED;;iGAEiG;AACjG,SAAS,iBAAiB,CAAC,EAAoB;IAC9C,OAAO,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,+FAA+F;AAC/F,SAAS,YAAY,CACpB,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,gGAAgG;AAChG,SAAS,aAAa,CAAC,GAAoB,EAAE,SAAyB;IACrE,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,MAAM,CAAC,MAAgC,EAAE,KAAa,EAAE,OAAe;IAC/E,uBAAuB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;AACrD,CAAC"}