@quereus/quereus 3.3.0 → 4.0.0

package/dist/src/planner/analysis/update-lineage.js

@@ -0,0 +1,322 @@
+import { classifyProjectionExpr, traceInvertibleColumn, composeDomain } from './scalar-invertibility.js';
+import { expressionToString } from '../../emit/ast-stringify.js';
+/**
+ * Derive the per-output-column lineage of a single-source projection-and-filter
+ * view body from its `SELECT` AST and the resolved base table.
+ *
+ * - `select *` expands to every base column, each tracing to itself.
+ * - a bare/aliased column reference traces to that base column (identity /
+ *   rename — the only invertible profile in Phase 1).
+ * - any other projection expression is `computed` (read-only).
+ *
+ * An explicit `CREATE VIEW v(a, b)` column list overrides the output names
+ * positionally, leaving the lineage targets unchanged.
+ */
+export function deriveViewColumns(sel, baseTable, viewColumnsOverride) {
+    const columns = [];
+    for (const rc of sel.columns) {
+        if (rc.type === 'all') {
+            for (const col of baseTable.columns) {
+                columns.push({
+                    name: col.name,
+                    lineage: { kind: 'base', baseColumnName: col.name },
+                    generated: !!col.generated,
+                });
+            }
+            continue;
+        }
+        const lineage = classifyProjectionExpr(rc.expr);
+        const name = rc.alias ?? (rc.expr.type === 'column' ? rc.expr.name : expressionToString(rc.expr));
+        if (lineage.kind === 'base') {
+            const baseCol = baseTable.columns.find(c => c.name.toLowerCase() === lineage.baseColumnName.toLowerCase());
+            columns.push({
+                name,
+                lineage: { kind: 'base', baseColumnName: baseCol?.name ?? lineage.baseColumnName },
+                generated: !!baseCol?.generated,
+            });
+        }
+        else {
+            columns.push({ name, lineage: { kind: 'computed', expr: rc.expr }, generated: false });
+        }
+    }
+    if (viewColumnsOverride && viewColumnsOverride.length > 0) {
+        for (let i = 0; i < viewColumnsOverride.length && i < columns.length; i++) {
+            columns[i] = { ...columns[i], name: viewColumnsOverride[i] };
+        }
+    }
+    return columns;
+}
+/**
+ * Compose an outer invertible transform (from `traceInvertibleColumn`) onto a
+ * child UpdateSite. For `out = f(child)` where the child traces to base via its
+ * own inverse `g⁻¹`, a written `out` binds `base = g⁻¹(f⁻¹(out))` — the child's
+ * inverse wraps the outer one; domains conjoin.
+ */
+function composeUpdateSite(child, outerInverse, outerDomain) {
+    switch (child.kind) {
+        case 'base': {
+            const childInv = child.inverse;
+            const inverse = childInv && outerInverse
+                ? (w) => childInv(outerInverse(w))
+                : (childInv ?? outerInverse);
+            const domain = composeDomain(child.domain, outerDomain);
+            return {
+                kind: 'base',
+                table: child.table,
+                baseColumn: child.baseColumn,
+                ...(inverse ? { inverse } : {}),
+                ...(domain ? { domain } : {}),
+            };
+        }
+        case 'computed':
+            return child;
+        case 'null-extended':
+            return { kind: 'null-extended', guard: child.guard, inner: composeUpdateSite(child.inner, outerInverse, outerDomain) };
+        case 'existence':
+            // Read-only at the combinator; an outer scalar transform on the flag does
+            // not make it base-writable. A bare projection (identity, no outer inverse)
+            // passes it through unchanged; the resolver still reports it non-writable.
+            return child;
+        case 'authored':
+            // Unreachable from deriveProjectUpdateLineage (it degrades an authored CHILD
+            // to `computed` before composing — the site's `newRefIndex` is indexed by the
+            // CARRYING select's outputs, which an outer re-projection can reorder/drop).
+            // A join merge passes authored sites through addSide without composing, so
+            // this case only defends future combinators: pass through unchanged.
+            return child;
+    }
+}
+/**
+ * Project backward method. For each projection, trace the output back to a base
+ * column through the invertible-transform chain (`traceInvertibleColumn`) and
+ * compose its `UpdateSite` from the child lineage; a non-invertible / multi-
+ * column / leaf-less projection becomes `computed`. Insert defaults carry
+ * forward for surviving (traced) columns. Keys thread implicitly: the lineage
+ * is keyed by output attribute id and the forward FD walk (already emitted by
+ * the caller) carries key-ness along the same projection map.
+ */
+export function deriveProjectUpdateLineage(projections, outputAttrs, childLineage, childDefaults) {
+    const lineage = new Map();
+    const defaults = new Map();
+    projections.forEach((proj, i) => {
+        const outId = outputAttrs[i]?.id;
+        if (outId === undefined)
+            return;
+        // Authored wins: a `with inverse` clause overrides any registry-inferred site
+        // entirely (the clause is total per column — never composed with inferred
+        // steps). An unroutable target (computed / inverse / null-extended child site)
+        // degrades the column to `computed` — the author took over, so the inferred
+        // put never applies (docs/view-updateability.md § Authored inverses).
+        if (proj.authoredInverse) {
+            const authored = childLineage ? deriveAuthoredSite(proj.authoredInverse, childLineage) : undefined;
+            lineage.set(outId, authored ?? { kind: 'computed', expr: proj.node.expression });
+            return;
+        }
+        const trace = childLineage ? traceInvertibleColumn(proj.node) : null;
+        const childSite = trace ? childLineage.get(trace.attrId) : undefined;
+        if (trace && childSite && childSite.kind !== 'authored') {
+            lineage.set(outId, composeUpdateSite(childSite, trace.inverse, trace.domain));
+            const carried = childDefaults?.get(trace.attrId);
+            if (carried)
+                defaults.set(outId, carried);
+        }
+        else {
+            // Includes an authored CHILD site re-projected by an outer select: its
+            // `newRefIndex` is indexed by the carrying select's outputs, which this
+            // projection can reorder/drop — degrade to read-only rather than mis-map.
+            lineage.set(outId, { kind: 'computed', expr: proj.node.expression });
+        }
+    });
+    return {
+        updateLineage: lineage.size > 0 ? lineage : undefined,
+        attributeDefaults: defaults.size > 0 ? defaults : undefined,
+    };
+}
+/**
+ * Resolve one projection's authored-inverse metadata into an `authored`
+ * UpdateSite: each assignment's build-time-resolved target attribute is read
+ * through the child lineage to its owning base relation — the same ownership
+ * walk every other put rides. Every target must reach a plain identity base
+ * column (writable, not null-extended, no registry inverse — the target IS a
+ * raw base column of the FROM sources); otherwise the site is unroutable and
+ * the caller degrades the column to `computed`.
+ */
+function deriveAuthoredSite(meta, childLineage) {
+    const puts = [];
+    for (const a of meta.assignments) {
+        const resolved = resolveBaseSite(childLineage.get(a.targetAttrId));
+        if (!resolved.writable || resolved.nullExtended || resolved.table === undefined
+            || resolved.baseColumn === undefined || resolved.inverse !== undefined || resolved.authored) {
+            return undefined;
+        }
+        puts.push({ table: resolved.table, baseColumn: resolved.baseColumn, expr: a.expr });
+    }
+    return { kind: 'authored', puts, newRefIndex: meta.newRefIndex };
+}
+/** Build a symbolic default expression from a forward `ConstantBinding` value. */
+function constantValueToExpr(value) {
+    if (value.kind === 'literal')
+        return { type: 'literal', value: value.value };
+    return typeof value.paramRef === 'number'
+        ? { type: 'parameter', index: value.paramRef }
+        : { type: 'parameter', name: value.paramRef };
+}
+/**
+ * Filter backward method. `updateLineage` passes through unchanged (a filter
+ * removes rows, never columns). Insert defaults gain a `constant-fd` entry for
+ * every column the forward pass pinned to a constant (`∅ → c = v`), read off the
+ * node's already-computed `constantBindings` — NOT a re-scan of the predicate
+ * AST. This is the replacement for `building/view-mutation.ts`'s
+ * `extractFilterConstants` (deleted by the orchestrator ticket).
+ */
+export function deriveFilterAttributeDefaults(childDefaults, outputAttrs, constantBindings) {
+    const defaults = new Map(childDefaults ?? []);
+    for (const binding of constantBindings) {
+        const valueExpr = constantValueToExpr(binding.value);
+        for (const colIdx of binding.attrs) {
+            const attr = outputAttrs[colIdx];
+            if (attr)
+                defaults.set(attr.id, { kind: 'constant-fd', value: valueExpr });
+        }
+    }
+    return defaults.size > 0 ? defaults : undefined;
+}
+export function deriveJoinUpdateLineage(joinType, leftLineage, rightLineage, leftDefaults, rightDefaults, guard, existence) {
+    const lineage = new Map();
+    const defaults = new Map();
+    const addSide = (l, d, nullExtended) => {
+        if (l)
+            for (const [id, site] of l) {
+                lineage.set(id, nullExtended && guard !== undefined ? { kind: 'null-extended', guard, inner: site } : site);
+            }
+        if (d)
+            for (const [id, def] of d)
+                defaults.set(id, def);
+    };
+    switch (joinType) {
+        case 'inner':
+        case 'cross':
+            addSide(leftLineage, leftDefaults, false);
+            addSide(rightLineage, rightDefaults, false);
+            break;
+        case 'left':
+            addSide(leftLineage, leftDefaults, false);
+            addSide(rightLineage, rightDefaults, true);
+            break;
+        case 'right':
+            addSide(leftLineage, leftDefaults, true);
+            addSide(rightLineage, rightDefaults, false);
+            break;
+        case 'full':
+            addSide(leftLineage, leftDefaults, true);
+            addSide(rightLineage, rightDefaults, true);
+            break;
+        case 'semi':
+        case 'anti':
+            // Only the left side's columns appear in the output.
+            addSide(leftLineage, leftDefaults, false);
+            break;
+    }
+    // Register an `existence` site per appended flag (read-only here; the write
+    // half flips its routing on). The guard is the join predicate the flag is the
+    // truth-value of — absent for `cross` (which never null-extends, so the parser
+    // rejects existence clauses there; defensively skip if guard is missing).
+    if (existence && guard !== undefined) {
+        for (const ex of existence) {
+            lineage.set(ex.attrId, {
+                kind: 'existence',
+                component: { kind: 'join-side', table: ex.componentTable, side: ex.side },
+                guard,
+            });
+        }
+    }
+    return {
+        updateLineage: lineage.size > 0 ? lineage : undefined,
+        attributeDefaults: defaults.size > 0 ? defaults : undefined,
+    };
+}
+/**
+ * The Phase-1 *writable* base column of an UpdateSite: the base column reached
+ * by the identity transform (a bare column / rename), else `undefined` (a
+ * computed, null-extended, or non-identity-inverse site, which the Phase-1
+ * `ViewColumn` model cannot represent as writable). The bridge that keeps the
+ * plan-node `updateLineage` and the AST `deriveViewColumns` in agreement on the
+ * writable-column set.
+ *
+ * **Identity-only by design** — this is the AST-parity reader, paired with the
+ * identity-only AST classifier (`classifyProjectionExpr`) that
+ * `deriveViewColumns` consumes; widening it would break that parity
+ * (`viewColumnsFromUpdateLineage` ⇄ `deriveViewColumns`). It is therefore NOT the
+ * authority for an `inverse` site's writability, nor for INSERT routing: the n-way
+ * {@link resolveBaseSite} (consumed by the multi-source join path, the decomposition
+ * fan-out, AND the single-source UPDATE *and INSERT* paths) and the static `view_info`
+ * / `column_info` surfaces (`func/builtins/schema.ts` `baseSiteOf`) treat a `base` site
+ * **with an `inverse`** as writable (docs § Scalar Invertibility, § Inner Join). The
+ * single-source spine now reads that full `base`+`inverse` chain off the planned
+ * `updateLineage` (via `resolveBaseSite`) into its `writableSites` map: UPDATE routes
+ * any site, INSERT admits the inverse-absent subset (identity + passthrough). This
+ * reader stays identity-only purely as the `deriveViewColumns` parity bridge.
+ */
+export function identityBaseColumn(site) {
+    return site && site.kind === 'base' && site.inverse === undefined ? site.baseColumn : undefined;
+}
+export function resolveBaseSite(site) {
+    if (!site)
+        return { writable: false, nullExtended: false };
+    switch (site.kind) {
+        case 'base':
+            return { table: site.table, baseColumn: site.baseColumn, writable: true, nullExtended: false, inverse: site.inverse, domain: site.domain };
+        case 'null-extended': {
+            const inner = resolveBaseSite(site.inner);
+            return { ...inner, writable: false, nullExtended: true };
+        }
+        case 'computed':
+            return { writable: false, nullExtended: false };
+        case 'existence':
+            // An existence flag — a join side OR a set-op branch — is writable through an
+            // *effect*, not a base mapping: it has no base column (`table` / `baseColumn`
+            // undefined), but a written flag drives an insert/delete of `component`. The
+            // join-side variant materializes/removes the non-preserved side (the
+            // multi-source write path); the `set-op-branch` variant inserts/deletes the
+            // named operand (the set-op write path, `set-op-membership-write` — it routes
+            // the per-branch fan-out off the runtime membership probe rather than the join
+            // match). Both surface the `existenceComponent` discriminator; base-column
+            // readers gate on `baseColumn`, so they are unaffected.
+            return { writable: true, nullExtended: false, existenceComponent: site.component, existenceGuard: site.guard };
+        case 'authored':
+            // Writable and insertable through the authored put expressions; no single
+            // verbatim base column (`baseColumn` stays undefined), so a consumer must
+            // handle `authored` explicitly to route the write.
+            return { writable: true, nullExtended: false, authored: { puts: site.puts, newRefIndex: site.newRefIndex } };
+    }
+}
+/**
+ * Re-express the Phase-1 `ViewColumn[]` surface as a thin reader over a planned
+ * node's `updateLineage`, for the single-source case. Identity-base sites map to
+ * writable `base` columns; everything else (computed, null-extended, non-
+ * identity inverse) maps to `computed`, exactly matching `deriveViewColumns`'s
+ * conservative AST classification on the same body. Verified equal in the
+ * `bx-roundtrip-law-harness` parity check (`test/property.spec.ts`).
+ *
+ * `generated` is reported `false` here (the writable set is what callers consume);
+ * the AST `deriveViewColumns` remains the authority for the generated-column flag
+ * until the orchestrator migrates its call sites to a planned node.
+ */
+export function viewColumnsFromUpdateLineage(outputAttrs, updateLineage, viewColumnsOverride) {
+    const columns = outputAttrs.map((attr) => {
+        const site = updateLineage?.get(attr.id);
+        const baseCol = identityBaseColumn(site);
+        if (baseCol !== undefined) {
+            return { name: attr.name, lineage: { kind: 'base', baseColumnName: baseCol }, generated: false };
+        }
+        const expr = site && site.kind === 'computed' ? site.expr : { type: 'column', name: attr.name };
+        return { name: attr.name, lineage: { kind: 'computed', expr }, generated: false };
+    });
+    if (viewColumnsOverride && viewColumnsOverride.length > 0) {
+        for (let i = 0; i < viewColumnsOverride.length && i < columns.length; i++) {
+            columns[i] = { ...columns[i], name: viewColumnsOverride[i] };
+        }
+    }
+    return columns;
+}
+//# sourceMappingURL=update-lineage.js.map

package/dist/src/planner/analysis/update-lineage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-lineage.js","sourceRoot":"","sources":["../../../../src/planner/analysis/update-lineage.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACzG,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAqCjE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAChC,GAAmB,EACnB,SAAsB,EACtB,mBAA2C;IAE3C,MAAM,OAAO,GAAiB,EAAE,CAAC;IAEjC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,EAAE;oBACnD,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS;iBAC1B,CAAC,CAAC;YACJ,CAAC;YACD,SAAS;QACV,CAAC;QAED,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChD,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,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClG,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC,cAAc,CAAC,WAAW,EAAE,CAAC,CAAC;YAC3G,OAAO,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE;gBAClF,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS;aAC/B,CAAC,CAAC;QACJ,CAAC;aAAM,CAAC;YACP,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxF,CAAC;IACF,CAAC;IAED,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3E,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,CAAC;IACF,CAAC;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAmBD;;;;;GAKG;AACH,SAAS,iBAAiB,CACzB,KAAiB,EACjB,YAAiE,EACjE,WAAuC;IAEvC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC;YAC/B,MAAM,OAAO,GAAG,QAAQ,IAAI,YAAY;gBACvC,CAAC,CAAC,CAAC,CAAiB,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC,QAAQ,IAAI,YAAY,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACxD,OAAO;gBACN,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7B,CAAC;QACH,CAAC;QACD,KAAK,UAAU;YACd,OAAO,KAAK,CAAC;QACd,KAAK,eAAe;YACnB,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,WAAW,CAAC,EAAE,CAAC;QACxH,KAAK,WAAW;YACf,0EAA0E;YAC1E,4EAA4E;YAC5E,2EAA2E;YAC3E,OAAO,KAAK,CAAC;QACd,KAAK,UAAU;YACd,6EAA6E;YAC7E,8EAA8E;YAC9E,6EAA6E;YAC7E,2EAA2E;YAC3E,qEAAqE;YACrE,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACzC,WAA6G,EAC7G,WAAiC,EACjC,YAAyD,EACzD,aAAgE;IAEhE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,8EAA8E;QAC9E,0EAA0E;QAC1E,+EAA+E;QAC/E,4EAA4E;QAC5E,sEAAsE;QACtE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACnG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YACjF,OAAO;QACR,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,YAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtE,IAAI,KAAK,IAAI,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzD,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9E,MAAM,OAAO,GAAG,aAAa,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,OAAO;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACP,uEAAuE;YACvE,wEAAwE;YACxE,0EAA0E;YAC1E,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACtE,CAAC;IACF,CAAC,CAAC,CAAC;IACH,OAAO;QACN,aAAa,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACrD,iBAAiB,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAC1B,IAAyB,EACzB,YAA6C;IAE7C,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;eAC3E,QAAQ,CAAC,UAAU,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAC9F,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;AAClE,CAAC;AAED,kFAAkF;AAClF,SAAS,mBAAmB,CAAC,KAAoB;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC7E,OAAO,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QACxC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,6BAA6B,CAC5C,aAAgE,EAChE,WAAiC,EACjC,gBAAgD;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA2B,aAAa,IAAI,EAAE,CAAC,CAAC;IACxE,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5E,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAuBD,MAAM,UAAU,uBAAuB,CACtC,QAAgB,EAChB,WAAwD,EACxD,YAAyD,EACzD,YAA+D,EAC/D,aAAgE,EAChE,KAAiC,EACjC,SAA4C;IAE5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IAErD,MAAM,OAAO,GAAG,CACf,CAA8C,EAC9C,CAAoD,EACpD,YAAqB,EACd,EAAE;QACT,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7G,CAAC;QACD,IAAI,CAAC;YAAE,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC;IAEF,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACX,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM;QACP,KAAK,MAAM;YACV,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO,CAAC,YAAY,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM;QACP,KAAK,OAAO;YACX,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;YAC5C,MAAM;QACP,KAAK,MAAM;YACV,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,YAAY,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;YAC3C,MAAM;QACP,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACV,qDAAqD;YACrD,OAAO,CAAC,WAAW,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;YAC1C,MAAM;IACR,CAAC;IAED,4EAA4E;IAC5E,8EAA8E;IAC9E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE;gBACtB,IAAI,EAAE,WAAW;gBACjB,SAAS,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE;gBACzE,KAAK;aACL,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,OAAO;QACN,aAAa,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QACrD,iBAAiB,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA4B;IAC9D,OAAO,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AACjG,CAAC;AA2DD,MAAM,UAAU,eAAe,CAAC,IAA4B;IAC3D,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACV,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5I,KAAK,eAAe,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC1D,CAAC;QACD,KAAK,UAAU;YACd,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QACjD,KAAK,WAAW;YACf,8EAA8E;YAC9E,8EAA8E;YAC9E,6EAA6E;YAC7E,qEAAqE;YACrE,4EAA4E;YAC5E,8EAA8E;YAC9E,+EAA+E;YAC/E,2EAA2E;YAC3E,wDAAwD;YACxD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChH,KAAK,UAAU;YACd,0EAA0E;YAC1E,0EAA0E;YAC1E,mDAAmD;YACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IAC/G,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,4BAA4B,CAC3C,WAAiC,EACjC,aAA0D,EAC1D,mBAA2C;IAE3C,MAAM,OAAO,GAAiB,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACtD,MAAM,IAAI,GAAG,aAAa,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAClG,CAAC;QACD,MAAM,IAAI,GAAmB,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAChH,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACnF,CAAC,CAAC,CAAC;IACH,IAAI,mBAAmB,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,mBAAmB,CAAC,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3E,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC"}

package/dist/src/planner/analysis/view-complement.d.ts

@@ -0,0 +1,42 @@
+import type { RelationalPlanNode } from '../nodes/plan-node.js';
+import type * as AST from '../../parser/ast.js';
+/**
+ * The predicate-honest complement of a view body — what a write through the view
+ * holds *fixed*, i.e. the part of the base state the view does not expose. Per
+ * `docs/view-updateability.md` § The predicate-honest complement, the
+ * § Philosophy fan-out makes this *determined* (no Bancilhon–Spyratos choice),
+ * so it is a first-class derived object computed off the backward walk:
+ *
+ * - `hiddenColumns` — base columns present in the base relation(s) but absent
+ *   from the view image (no `updateLineage` entry traces to them), keyed by the
+ *   producing `TableReferenceNode`'s id and base column name.
+ * - `residualPredicate` — the conjunction of the body's σ predicates (the
+ *   conjuncts that constrain base rows the view never surfaces). Within the
+ *   supported conjunctive-σ shape this is already negation-free; the accessor
+ *   conjoins the raw `FilterNode` predicates verbatim and performs no
+ *   normalization, so an out-of-envelope `not`/`<>` predicate is carried as-is.
+ *
+ * With this object the lens prover's *Round-trip (lens laws)* check becomes
+ * computed (GetPut ⇔ `put` leaves the complement fixed; PutGet ⇔ `get ∘ put`
+ * reproduces the written image) rather than an enumerated checklist. The prover
+ * (`schema/lens-prover.ts`) is the intended consumer; it rides its
+ * `analyzeRoundTrip` / `emitRoundTrip` seam onto this accessor.
+ */
+export interface ViewComplement {
+    readonly hiddenColumns: ReadonlyArray<{
+        readonly table: number;
+        readonly column: string;
+    }>;
+    readonly residualPredicate?: AST.Expression;
+}
+/**
+ * Compute the {@link ViewComplement} of a planned view body from its backward
+ * walk. Reads `node.physical.updateLineage` (the columns the view exposes) and
+ * the base tables / σ predicates in the subtree; the complement is everything
+ * left over. Generalizes across sources — a multi-source (join) body simply
+ * contributes every non-exposed column of every base table it touches.
+ */
+export declare function viewComplement(node: RelationalPlanNode): ViewComplement;
+/** Alias matching the `complementOf(node)` accessor name in the design doc. */
+export declare const complementOf: typeof viewComplement;
+//# sourceMappingURL=view-complement.d.ts.map

package/dist/src/planner/analysis/view-complement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-complement.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/view-complement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAY,kBAAkB,EAAc,MAAM,uBAAuB,CAAC;AAGtF,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAEhD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,WAAW,cAAc;IAC9B,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3F,QAAQ,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAC5C;AAeD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CA2BvE;AAED,+EAA+E;AAC/E,eAAO,MAAM,YAAY,uBAAiB,CAAC"}

package/dist/src/planner/analysis/view-complement.js

@@ -0,0 +1,54 @@
+import { TableReferenceNode } from '../nodes/reference.js';
+import { FilterNode } from '../nodes/filter.js';
+/** The base columns an `UpdateSite` reaches (unwrapping outer-join null-extension). */
+function collectCoveredBase(site, out) {
+    if (site.kind === 'base')
+        out.add(`${site.table}:${site.baseColumn.toLowerCase()}`);
+    else if (site.kind === 'null-extended')
+        collectCoveredBase(site.inner, out);
+}
+/** Walk the planned subtree, collecting base tables and σ predicates. */
+function collect(node, tables, predicates) {
+    if (node instanceof TableReferenceNode)
+        tables.push(node);
+    else if (node instanceof FilterNode)
+        predicates.push(node.predicate.expression);
+    for (const child of node.getChildren())
+        collect(child, tables, predicates);
+}
+/**
+ * Compute the {@link ViewComplement} of a planned view body from its backward
+ * walk. Reads `node.physical.updateLineage` (the columns the view exposes) and
+ * the base tables / σ predicates in the subtree; the complement is everything
+ * left over. Generalizes across sources — a multi-source (join) body simply
+ * contributes every non-exposed column of every base table it touches.
+ */
+export function viewComplement(node) {
+    const tables = [];
+    const predicates = [];
+    collect(node, tables, predicates);
+    const covered = new Set();
+    const lineage = node.physical.updateLineage;
+    if (lineage)
+        for (const site of lineage.values())
+            collectCoveredBase(site, covered);
+    const hiddenColumns = [];
+    for (const table of tables) {
+        const tid = Number(table.id);
+        for (const col of table.tableSchema.columns) {
+            if (!covered.has(`${tid}:${col.name.toLowerCase()}`)) {
+                hiddenColumns.push({ table: tid, column: col.name });
+            }
+        }
+    }
+    let residualPredicate;
+    for (const p of predicates) {
+        residualPredicate = residualPredicate
+            ? { type: 'binary', operator: 'AND', left: residualPredicate, right: p }
+            : p;
+    }
+    return { hiddenColumns, ...(residualPredicate ? { residualPredicate } : {}) };
+}
+/** Alias matching the `complementOf(node)` accessor name in the design doc. */
+export const complementOf = viewComplement;
+//# sourceMappingURL=view-complement.js.map

package/dist/src/planner/analysis/view-complement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-complement.js","sourceRoot":"","sources":["../../../../src/planner/analysis/view-complement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AA8BhD,uFAAuF;AACvF,SAAS,kBAAkB,CAAC,IAAgB,EAAE,GAAgB;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;SAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,yEAAyE;AACzE,SAAS,OAAO,CAAC,IAAc,EAAE,MAA4B,EAAE,UAA4B;IAC1F,IAAI,IAAI,YAAY,kBAAkB;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACrD,IAAI,IAAI,YAAY,UAAU;QAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAChF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,IAAwB;IACtD,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IAElC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;IAC5C,IAAI,OAAO;QAAE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE;YAAE,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEpF,MAAM,aAAa,GAA6C,EAAE,CAAC;IACnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC;gBACtD,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,iBAA6C,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC5B,iBAAiB,GAAG,iBAAiB;YACpC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE;YACxE,CAAC,CAAC,CAAC,CAAC;IACN,CAAC;IAED,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC"}

package/dist/src/planner/building/alter-table.d.ts

@@ -1,5 +1,5 @@
 import type * as AST from '../../parser/ast.js';
 import type { PlanningContext } from '../planning-context.js';
-import type { VoidNode } from '../nodes/plan-node.js';
+import { type VoidNode } from '../nodes/plan-node.js';
 export declare function buildAlterTableStmt(ctx: PlanningContext, stmt: AST.AlterTableStmt): VoidNode;
 //# sourceMappingURL=alter-table.d.ts.map

package/dist/src/planner/building/alter-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"alter-table.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/alter-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,cAAc,GACvB,QAAQ,CAoEV"}
+{"version":3,"file":"alter-table.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/alter-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAM9D,OAAO,EAAY,KAAK,QAAQ,EAA2D,MAAM,uBAAuB,CAAC;AAazH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,GAAG,CAAC,cAAc,GACvB,QAAQ,CAyMV"}