@quereus/quereus 4.5.0 → 4.7.0

package/dist/src/runtime/row-constraints.js

@@ -0,0 +1,239 @@
+import { ConstraintError, FailConflictError, RollbackConflictError } from '../common/errors.js';
+import { RowOpFlag } from '../schema/table.js';
+import { ConflictResolution } from '../common/constants.js';
+import { expressionToString } from '../emit/ast-stringify.js';
+import { sqlValueIdentical, isTruthy } from '../util/comparison.js';
+import { validateAndParse } from '../types/validation.js';
+/**
+ * The violation message for a failing constraint — single source of truth for the
+ * immediate (row-time) and deferred (commit-time) paths, which must report a row
+ * identically no matter when the check happened to run.
+ *
+ * Engine-level CHECK and synthesized FK existence checks share the
+ * "CHECK constraint failed" prefix for backward compatibility with existing
+ * assertions; downstream consumers identify FK by name. The expression text is
+ * appended as a hint only when short enough to stay readable.
+ */
+function constraintViolationMessage(metadata) {
+    const exprHint = metadata.constraintExpr.length <= 60 ? ` (${metadata.constraintExpr})` : '';
+    return `CHECK constraint failed: ${metadata.constraintName}${exprHint}`;
+}
+/**
+ * Resolve the effective conflict action for a single failure.
+ *
+ * Precedence: statement-level OR clause > per-constraint default > ABORT.
+ */
+function pickAction(stmtOR, constraintDefault) {
+    return stmtOR ?? constraintDefault ?? ConflictResolution.ABORT;
+}
+/**
+ * Throws an appropriate ConstraintError subclass based on the effective
+ * conflict action. ABORT/REPLACE/IGNORE callers must not reach this — IGNORE
+ * is handled by skipping the row, REPLACE by substitution / passthrough, and
+ * ABORT throws a plain ConstraintError.
+ */
+function throwForAction(action, message) {
+    if (action === ConflictResolution.FAIL) {
+        throw new FailConflictError(message);
+    }
+    if (action === ConflictResolution.ROLLBACK) {
+        throw new RollbackConflictError(message);
+    }
+    throw new ConstraintError(message);
+}
+function generateDefaultConstraintName(tableSchema, constraint) {
+    // Find the index of this constraint in the original array to get the correct constraint number
+    const originalIndex = tableSchema.checkConstraints.findIndex((c) => c === constraint);
+    return `_check_${originalIndex >= 0 ? originalIndex : 'unknown'}`;
+}
+/**
+ * Build the per-check metadata the evaluator reads, once at emit time.
+ *
+ * `evaluators` are the emitted instructions' own `run` functions, index-aligned
+ * with `checks`; they are the fallback the evaluator uses when the scheduler did
+ * not supply a resolved function for that position.
+ */
+export function buildConstraintMetadata(checks, tableSchema, flatRowDescriptor, contextDescriptor, evaluators) {
+    return checks.map((check, idx) => ({
+        schema: check.constraint,
+        flatRowDescriptor,
+        evaluator: evaluators[idx],
+        constraintName: check.constraint.name ?? generateDefaultConstraintName(tableSchema, check.constraint),
+        constraintExpr: expressionToString(check.constraint.expr),
+        shouldDefer: Boolean(check.deferrable || check.initiallyDeferred || check.needsDeferred),
+        baseTable: `${tableSchema.schemaName}.${tableSchema.name}`,
+        contextDescriptor,
+        kind: check.kind ?? 'check',
+        referencedColumnIndices: check.referencedColumnIndices,
+    }));
+}
+/**
+ * Validate one flat OLD|NEW row against the table's NOT NULL columns and the
+ * pre-built CHECK / FK-existence checks.
+ *
+ * The caller must already have bound the row (composed with the mutation-context
+ * row when present) into the runtime context — the check expressions resolve
+ * their column references through it.
+ *
+ * `showRow` is invoked with the row as finally substituted, so a caller whose
+ * binding is a lazy getter can swap what the CHECK / FK expressions read after a
+ * REPLACE NOT NULL DEFAULT substitution.
+ */
+export async function evaluateRowConstraints(rctx, scope, tableSchema, flatRow, metadata, evaluators, stmtOR, notNullDefaults, contextRow, showRow) {
+    // The row arrives with its NEW section already converted to declared column
+    // types (the DML emitters convert up front, driven by static types), so both
+    // passes read declared-form values. NOT NULL runs first: under OR REPLACE it
+    // may substitute a column's DEFAULT (converting that one injected value —
+    // see NotNullDefaultRuntime.coerceColumn), and CHECK / FK then read the row
+    // AS FINALLY SUBSTITUTED, which is also what flows on downstream.
+    let row = flatRow;
+    const nnResult = await checkNotNullConstraints(rctx, scope, tableSchema, row, stmtOR, notNullDefaults);
+    if (nnResult.skip)
+        return { skip: true };
+    if (nnResult.replacedRow)
+        row = nnResult.replacedRow;
+    showRow(row);
+    // CHECK constraints (and synthetic FK existence checks built as RowConstraintSchema).
+    const ckResult = await checkCheckConstraints(rctx, scope, tableSchema, metadata, evaluators, stmtOR, row, contextRow);
+    if (ckResult.skip)
+        return { skip: true };
+    return { skip: false, replacedRow: nnResult.replacedRow };
+}
+async function checkNotNullConstraints(rctx, scope, tableSchema, flatRow, stmtOR, notNullDefaults) {
+    if (scope.operation === RowOpFlag.DELETE) {
+        return { skip: false };
+    }
+    if (!scope.hasNewSection) {
+        return { skip: false };
+    }
+    const numCols = tableSchema.columns.length;
+    let mutableRow;
+    // NOT NULL attribution: report the FIRST NOT-NULL column (in declaration
+    // order) whose effective NEW value is NULL, naming that column itself —
+    // independent of which column any DEFAULT references. A NULL sibling named by
+    // another column's `new.<col>` DEFAULT violates its OWN NOT NULL and is
+    // reported on its own merits, never threaded into the defaulted column's
+    // message. (See test/logic/03.4-defaults.sqllogic, the NOT NULL default section.)
+    for (let i = 0; i < numCols; i++) {
+        const column = tableSchema.columns[i];
+        if (!column.notNull)
+            continue;
+        const newValueIndex = numCols + i; // NEW section: n..2n-1
+        const value = (mutableRow ?? flatRow)[newValueIndex];
+        if (value !== null && value !== undefined)
+            continue;
+        const action = pickAction(stmtOR, column.defaultConflict);
+        const message = `NOT NULL constraint failed: ${tableSchema.name}.${column.name}`;
+        if (action === ConflictResolution.IGNORE) {
+            return { skip: true };
+        }
+        if (action === ConflictResolution.REPLACE) {
+            // Try to substitute the column's DEFAULT.
+            const defaultEntry = notNullDefaults.find(d => d.columnIndex === i);
+            if (!defaultEntry) {
+                // No DEFAULT available — REPLACE cannot recover.
+                throw new ConstraintError(message);
+            }
+            let defaultValue = await defaultEntry.evaluator(rctx);
+            if (defaultValue === null || defaultValue === undefined) {
+                // DEFAULT itself is NULL — substitution does not satisfy NOT NULL.
+                throw new ConstraintError(message);
+            }
+            if (defaultEntry.coerceColumn) {
+                // The substituted value is injected AFTER the emitters' conversion
+                // pass, so convert it here by the same static-type rule. Conversion
+                // itself can produce NULL (JSON's text 'null'), which still violates
+                // NOT NULL.
+                defaultValue = validateAndParse(defaultValue, defaultEntry.coerceColumn.logicalType, defaultEntry.coerceColumn.name);
+                if (defaultValue === null) {
+                    throw new ConstraintError(message);
+                }
+            }
+            if (!mutableRow)
+                mutableRow = [...flatRow];
+            mutableRow[newValueIndex] = defaultValue;
+            continue;
+        }
+        // ABORT / FAIL / ROLLBACK
+        throwForAction(action, message);
+    }
+    return { skip: false, replacedRow: mutableRow };
+}
+async function checkCheckConstraints(rctx, scope, tableSchema, constraintMetadata, evaluatorFunctions, stmtOR, flatRow, contextRow) {
+    for (let i = 0; i < constraintMetadata.length; i++) {
+        const metadata = constraintMetadata[i];
+        const evaluator = evaluatorFunctions[i] ?? metadata.evaluator;
+        // Trust-the-origin apply path: the synthesized parent-side FK RESTRICT (NOT EXISTS)
+        // check is the plan-time dual of the runtime RESTRICT pre-checks. While applying
+        // external row changes the receiver skips it (the origin already enforced RESTRICT at
+        // its own commit) - otherwise a cascade DML re-entering this executor under the apply
+        // flag would throw here, wedging the sync stream. Only 'fk-parent' checks are gated;
+        // user CHECKs and child-side FK existence checks are untouched.
+        // (See database-external-changes.ts and runtime/foreign-key-actions.ts for the runtime dual.)
+        if (metadata.kind === 'fk-parent' && rctx.db._isFkRestrictSuppressed())
+            continue;
+        // Parent-side FK UPDATE: skip the NOT EXISTS subquery when none of the
+        // referenced parent columns actually changed.
+        if (scope.operation === RowOpFlag.UPDATE &&
+            metadata.kind === 'fk-parent' &&
+            metadata.referencedColumnIndices) {
+            // Both halves are in stored (declared) form: OLD comes from the scan, NEW
+            // was converted by the DML emitter — so plain identity is the right test.
+            const numCols = tableSchema.columns.length;
+            let anyChanged = false;
+            for (const colIdx of metadata.referencedColumnIndices) {
+                const oldVal = flatRow[colIdx]; // OLD section: 0..n-1
+                const newVal = flatRow[numCols + colIdx]; // NEW section: n..2n-1
+                if (!sqlValueIdentical(oldVal, newVal)) {
+                    anyChanged = true;
+                    break;
+                }
+            }
+            if (!anyChanged)
+                continue;
+        }
+        // Resolve effective action up front; non-default actions (IGNORE/REPLACE/FAIL/ROLLBACK)
+        // must be applied at row time, so we cannot let those defer to commit.
+        const effectiveAction = pickAction(stmtOR, metadata.schema.defaultConflict);
+        const mustEvaluateNow = effectiveAction !== ConflictResolution.ABORT;
+        if (metadata.shouldDefer && !mustEvaluateNow) {
+            const activeConnectionId = rctx.activeConnection?.connectionId;
+            // Wrap so the deferred queue's evaluation at COMMIT throws the same
+            // attributed message as the immediate path below, instead of the queue's
+            // generic name-only fallback — matches the pattern derived-row-validator.ts
+            // already uses for maintained tables. The wrapper always throws before
+            // returning falsy, so the queue's own generic message never fires here.
+            // Only ABORT reaches this branch (see mustEvaluateNow), so throwing is the
+            // whole of the deferred failure contract — no IGNORE/REPLACE leg needed.
+            const message = constraintViolationMessage(metadata);
+            const deferredEvaluator = async (dctx) => {
+                const rawResult = evaluator(dctx);
+                const result = (rawResult instanceof Promise ? await rawResult : rawResult);
+                if (result !== null && !isTruthy(result)) {
+                    throw new ConstraintError(message);
+                }
+                return result;
+            };
+            rctx.db._queueDeferredConstraintRow(metadata.baseTable, metadata.constraintName, flatRow, metadata.flatRowDescriptor, deferredEvaluator, activeConnectionId, contextRow, metadata.contextDescriptor);
+            continue;
+        }
+        // Resolve without a per-row microtask hop (see runtime/async-util.ts).
+        const rawResult = evaluator(rctx);
+        const result = (rawResult instanceof Promise ? await rawResult : rawResult);
+        // CHECK passes if truthy or NULL; fails otherwise (shared isTruthy semantics).
+        if (result !== null && !isTruthy(result)) {
+            const baseMessage = constraintViolationMessage(metadata);
+            if (effectiveAction === ConflictResolution.IGNORE) {
+                return { skip: true };
+            }
+            // REPLACE does NOT mask CHECK / FK violations — fall through to abort.
+            // (SQLite's OR REPLACE only relaxes UNIQUE/PK and NOT-NULL; CHECK still aborts.)
+            if (effectiveAction === ConflictResolution.REPLACE) {
+                throw new ConstraintError(baseMessage);
+            }
+            throwForAction(effectiveAction, baseMessage);
+        }
+    }
+    return { skip: false };
+}
+//# sourceMappingURL=row-constraints.js.map

package/dist/src/runtime/row-constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-constraints.js","sourceRoot":"","sources":["../../../src/runtime/row-constraints.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAIhG,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AA8D1D;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CAAC,QAAiC;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7F,OAAO,4BAA4B,QAAQ,CAAC,cAAc,GAAG,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAsC,EACtC,iBAAiD;IAEjD,OAAO,MAAM,IAAI,iBAAiB,IAAI,kBAAkB,CAAC,KAAK,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,OAAe;IAClE,IAAI,MAAM,KAAK,kBAAkB,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,KAAK,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAwB,EAAE,UAA+B;IAC/F,+FAA+F;IAC/F,MAAM,aAAa,GAAG,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;IAC3G,OAAO,UAAU,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACtC,MAAkC,EAClC,WAAwB,EACxB,iBAAgC,EAChC,iBAA4C,EAC5C,UAA+D;IAE/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,UAAU;QACxB,iBAAiB;QACjB,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC;QAC1B,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,6BAA6B,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;QACrG,cAAc,EAAE,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACzD,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC;QACxF,SAAS,EAAE,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE;QAC1D,iBAAiB;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;QAC3B,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;KACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC3C,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,QAAmC,EACnC,UAAuD,EACvD,MAAsC,EACtC,eAAwC,EACxC,UAA2B,EAC3B,OAA2B;IAE3B,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACvG,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IAErD,OAAO,CAAC,GAAG,CAAC,CAAC;IAEb,sFAAsF;IACtF,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACtH,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,uBAAuB,CACrC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,MAAsC,EACtC,eAAwC;IAExC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAC3C,IAAI,UAA2B,CAAC;IAEhC,yEAAyE;IACzE,wEAAwE;IACxE,8EAA8E;IAC9E,wEAAwE;IACxE,yEAAyE;IACzE,kFAAkF;IAClF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC1D,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,+BAA+B,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAEjF,IAAI,MAAM,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,iDAAiD;gBACjD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,IAAI,CAAa,CAAC;YAClE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACzD,mEAAmE;gBACnE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,CAAC,YAAY,EAAE,CAAC;gBAC/B,mEAAmE;gBACnE,oEAAoE;gBACpE,qEAAqE;gBACrE,YAAY;gBACZ,YAAY,GAAG,gBAAgB,CAC9B,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,WAAW,EAAE,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACtF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC3B,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,CAAC,GAAG,OAAO,CAAQ,CAAC;YAClD,UAAU,CAAC,aAAa,CAAC,GAAG,YAAY,CAAC;YACzC,SAAS;QACV,CAAC;QAED,0BAA0B;QAC1B,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC,EACtC,OAAY,EACZ,UAA2B;IAE3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE9D,oFAAoF;QACpF,iFAAiF;QACjF,sFAAsF;QACtF,sFAAsF;QACtF,qFAAqF;QACrF,gEAAgE;QAChE,8FAA8F;QAC9F,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,CAAC,uBAAuB,EAAE;YAAE,SAAS;QAEjF,uEAAuE;QACvE,8CAA8C;QAC9C,IACC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM;YACpC,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,QAAQ,CAAC,uBAAuB,EAC/B,CAAC;YACF,0EAA0E;YAC1E,0EAA0E;YAC1E,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3C,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAa,CAAC,CAAW,sBAAsB;gBAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,MAAM,CAAa,CAAC,CAAC,uBAAuB;gBAC7E,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACxC,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACP,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,SAAS;QAC3B,CAAC;QAED,wFAAwF;QACxF,uEAAuE;QACvE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,eAAe,KAAK,kBAAkB,CAAC,KAAK,CAAC;QAErE,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC;YAC/D,oEAAoE;YACpE,yEAAyE;YACzE,4EAA4E;YAC5E,uEAAuE;YACvE,wEAAwE;YACxE,2EAA2E;YAC3E,yEAAyE;YACzE,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YACrD,MAAM,iBAAiB,GAAG,KAAK,EAAE,IAAoB,EAAqB,EAAE;gBAC3E,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;gBACxF,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO,MAAM,CAAC;YACf,CAAC,CAAC;YACF,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAClC,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,OAAO,EACP,QAAQ,CAAC,iBAAiB,EAC1B,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,QAAQ,CAAC,iBAAiB,CAC1B,CAAC;YACF,SAAS;QACV,CAAC;QAED,uEAAuE;QACvE,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;QAExF,+EAA+E;QAC/E,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YAEzD,IAAI,eAAe,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;gBACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAED,uEAAuE;YACvE,iFAAiF;YACjF,IAAI,eAAe,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;YAED,cAAc,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC"}

package/dist/src/runtime/types.d.ts

@@ -104,18 +104,15 @@ export type RuntimeContext = {
      * source subtree. A fresh RuntimeContext per execution resets the map between
      * prepared-statement runs (no stale replay). Mirrors {@link cacheStates}.
      *
-     * Two key kinds coexist here (their key spaces never collide — string vs
-     * object):
-     * - {@link emitCTE} keys by the shared CTENode's plan id (a string); all
-     *   non-recursive references share one CTENode instance, so their closures
-     *   agree on the key.
-     * - {@link emitRecursiveCTE} keys by the shared `TableDescriptor` object. A
-     *   multi-referenced recursive CTE is DUPLICATED into distinct RecursiveCTENode
-     *   instances by earlier optimizer passes (distinct plan ids), but every copy
-     *   preserves the one `tableDescriptor` identity through `withChildren`, so the
-     *   descriptor — not the plan id — is what the copies agree on.
+     * Both {@link emitCTE} and {@link emitRecursiveCTE} key by the CTE's
+     * `TableDescriptor` — the identity object minted when the CTE is built and
+     * threaded through every optimizer rebuild. The plan id would NOT do: the
+     * optimizer may split one CTE node into several instances (a multi-referenced
+     * recursive CTE is duplicated outright; a node reachable from two parents is
+     * rebuilt once per path by the constant-folding pass), and per-id keying would
+     * give each copy a private buffer and re-drive the source.
      */
-    cteMaterializations?: Map<string | TableDescriptor, Promise<Row[]>>;
+    cteMaterializations?: Map<TableDescriptor, Promise<Row[]>>;
     /**
      * Per-execution materialized lookup sets for uncorrelated, functional
      * `x IN (subquery)` probes ({@link import('./emit/subquery.js').emitIn}), keyed

package/dist/src/runtime/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC,YAAY,EAAE,WAAW,EAAE,CAAC;AAE5B,MAAM,MAAM,cAAc,GAAG;IAC5B,EAAE,EAAE,QAAQ,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,6CAA6C;IAC7C,OAAO,EAAE,aAAa,CAAC;IACvB,gGAAgG;IAChG,aAAa,EAAE,GAAG,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IACjD,yDAAyD;IACzD,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,sBAAsB,CAAC;IAC1C;;;;;OAKG;IACH,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,mDAAmD;IACnD,aAAa,EAAE,OAAO,CAAC;IACvB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mDAAmD;IACnD,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,0EAA0E;IAC1E,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC;IACjD;;;;;;;;;;;;;;;OAeG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C;;;;;;;;;;;;OAYG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACtC;;;;;;;;;;;;;;;;;;;OAmBG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,eAAe,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpE;;;;;;;;;;;;OAYG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACjF,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,WAAW,CAAC;AAE3F,MAAM,MAAM,WAAW,GAAG;IACzB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,GAAG,EAAE,cAAc,CAAC;IACpB,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iGAAiG;IACjG,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;IACvB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,uBAAuB,CAAC;CACvC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,KAAK,CAAC,KAAK,SAAS,YAAY,EAAE,EACjD,GAAG,EAAE,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,KAAK,KAAK,WAAW,GACvD,cAAc,CAEhB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACvC,4CAA4C;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,4CAA4C;IAC5C,GAAG,EAAE,MAAM,CAAC;IACZ,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,+CAA+C;AAC/C,MAAM,WAAW,qBAAqB;IACrC,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,GAAG,CAAC,EAAE,GAAG,CAAC;CACV;AAED,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qDAAqD;AACrD,MAAM,WAAW,iBAAiB;IACjC,4CAA4C;IAC5C,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAC3F,2CAA2C;IAC3C,WAAW,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3F,iDAAiD;IACjD,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IACnF,mEAAmE;IACnE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAC/F,+DAA+D;IAC/D,cAAc,CAAC,IAAI,qBAAqB,EAAE,CAAC;IAC3C,yEAAyE;IACzE,cAAc,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACzF;AAED,kEAAkE;AAClE,qBAAa,2BAA4B,YAAW,iBAAiB;IACpE,OAAO,CAAC,MAAM,CAA+B;IAC7C,OAAO,CAAC,WAAW,CAA+E;IAClG,OAAO,CAAC,gBAAgB,CAAK;IAE7B,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,IAAI;IAa1F,WAAW,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI;IAU1F,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAUlF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAW9F,cAAc,IAAI,qBAAqB,EAAE;IAIzC,cAAc,IAAI,GAAG,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAA;KAAE,CAAC;IAIvF,KAAK,IAAI,IAAI;IAMb,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,WAAW;IAOnB,OAAO,CAAC,UAAU;CAQlB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC9B,sCAAsC;IACtC,UAAU,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5D,wCAAwC;IACxC,aAAa,CAAC,UAAU,EAAE,aAAa,GAAG,IAAI,CAAC;IAC/C,oDAAoD;IACpD,oBAAoB,IAAI,KAAK,CAAC;QAAE,UAAU,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7E,gDAAgD;IAChD,oBAAoB,IAAI,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,qBAAa,qBAAsB,YAAW,cAAc;IAC3D,OAAO,CAAC,QAAQ,CAAoC;IAEpD,UAAU,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI3D,aAAa,CAAC,UAAU,EAAE,aAAa,GAAG,IAAI;IAI9C,oBAAoB,IAAI,KAAK,CAAC;QAAE,UAAU,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAO5E,oBAAoB,IAAI,OAAO;CAG/B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC,YAAY,EAAE,WAAW,EAAE,CAAC;AAE5B,MAAM,MAAM,cAAc,GAAG;IAC5B,EAAE,EAAE,QAAQ,CAAC;IACb,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,6CAA6C;IAC7C,OAAO,EAAE,aAAa,CAAC;IACvB,gGAAgG;IAChG,aAAa,EAAE,GAAG,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IACjD,yDAAyD;IACzD,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,sBAAsB,CAAC;IAC1C;;;;;OAKG;IACH,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,mDAAmD;IACnD,aAAa,EAAE,OAAO,CAAC;IACvB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mDAAmD;IACnD,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,0EAA0E;IAC1E,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IACvB;;;;;;;;OAQG;IACH,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC;IACjD;;;;;;;;;;;;;;;OAeG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC5C;;;;;;;;;;;;OAYG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACtC;;;;;;;;;;;;;;;;OAgBG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC3D;;;;;;;;;;;;OAYG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACjF,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,KAAK,WAAW,CAAC;AAE3F,MAAM,MAAM,WAAW,GAAG;IACzB,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,GAAG,EAAE,cAAc,CAAC;IACpB,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iGAAiG;IACjG,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;IACvB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,uBAAuB,CAAC;CACvC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,KAAK,CAAC,KAAK,SAAS,YAAY,EAAE,EACjD,GAAG,EAAE,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,KAAK,KAAK,WAAW,GACvD,cAAc,CAEhB;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACvC,4CAA4C;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,4CAA4C;IAC5C,GAAG,EAAE,MAAM,CAAC;IACZ,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,oDAAoD;IACpD,UAAU,EAAE,MAAM,CAAC;CACnB;AAED,+CAA+C;AAC/C,MAAM,WAAW,qBAAqB;IACrC,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,GAAG,CAAC,EAAE,GAAG,CAAC;CACV;AAED,2DAA2D;AAC3D,MAAM,WAAW,cAAc;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qDAAqD;AACrD,MAAM,WAAW,iBAAiB;IACjC,4CAA4C;IAC5C,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAC3F,2CAA2C;IAC3C,WAAW,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IAC3F,iDAAiD;IACjD,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IACnF,mEAAmE;IACnE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC;IAC/F,+DAA+D;IAC/D,cAAc,CAAC,IAAI,qBAAqB,EAAE,CAAC;IAC3C,yEAAyE;IACzE,cAAc,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACzF;AAED,kEAAkE;AAClE,qBAAa,2BAA4B,YAAW,iBAAiB;IACpE,OAAO,CAAC,MAAM,CAA+B;IAC7C,OAAO,CAAC,WAAW,CAA+E;IAClG,OAAO,CAAC,gBAAgB,CAAK;IAE7B,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,IAAI;IAa1F,WAAW,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,GAAG,IAAI;IAU1F,UAAU,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAUlF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI;IAW9F,cAAc,IAAI,qBAAqB,EAAE;IAIzC,cAAc,IAAI,GAAG,CAAC,MAAM,EAAE;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,sBAAsB,EAAE,MAAM,CAAA;KAAE,CAAC;IAIvF,KAAK,IAAI,IAAI;IAMb,OAAO,CAAC,qBAAqB;IAiB7B,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,WAAW;IAOnB,OAAO,CAAC,UAAU;CAQlB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC9B,sCAAsC;IACtC,UAAU,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5D,wCAAwC;IACxC,aAAa,CAAC,UAAU,EAAE,aAAa,GAAG,IAAI,CAAC;IAC/C,oDAAoD;IACpD,oBAAoB,IAAI,KAAK,CAAC;QAAE,UAAU,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7E,gDAAgD;IAChD,oBAAoB,IAAI,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,qBAAa,qBAAsB,YAAW,cAAc;IAC3D,OAAO,CAAC,QAAQ,CAAoC;IAEpD,UAAU,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI3D,aAAa,CAAC,UAAU,EAAE,aAAa,GAAG,IAAI;IAI9C,oBAAoB,IAAI,KAAK,CAAC;QAAE,UAAU,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAO5E,oBAAoB,IAAI,OAAO;CAG/B"}

package/dist/src/runtime/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/types.ts"],"names":[],"mappings":"AAoJA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,KAAK,CACpB,GAAyD;IAEzD,OAAO,GAAgC,CAAC;AACzC,CAAC;AAwDD,kEAAkE;AAClE,MAAM,OAAO,2BAA2B;IAC/B,MAAM,GAA4B,EAAE,CAAC;IACrC,WAAW,GAAG,IAAI,GAAG,EAAoE,CAAC;IAC1F,gBAAgB,GAAG,CAAC,CAAC;IAE7B,UAAU,CAAC,gBAAwB,EAAE,WAAwB,EAAE,IAAoB;QAClF,MAAM,WAAW,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QAE9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC1B,WAAW;SACX,CAAC,CAAC;IACJ,CAAC;IAED,WAAW,CAAC,gBAAwB,EAAE,WAAwB,EAAE,MAAmB;QAClF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;SAChC,CAAC,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,gBAAwB,EAAE,WAAwB,EAAE,KAAY;QAC1E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,KAAK,EAAE,KAAK,CAAC,OAAO;SACpB,CAAC,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,gBAAwB,EAAE,WAAwB,EAAE,QAAgB,EAAE,GAAQ;QACtF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ;YACR,GAAG;SACH,CAAC,CAAC;IACJ,CAAC;IAED,cAAc;QACb,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,cAAc;QACb,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;IAED,KAAK;QACJ,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC3B,CAAC;IAEO,qBAAqB,CAAC,gBAAwB,EAAE,WAAwB;QAC/E,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QAClB,CAAC;QAED,OAAO,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;YAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAEzF,OAAO;gBACN,YAAY,EAAE,SAAS;gBACvB,gBAAgB,EAAE,SAAS,CAAC,YAAY,CAAC,MAAM;gBAC/C,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI;aACzE,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC;IAEO,SAAS,CAAC,IAAoB;QACrC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAEO,WAAW,CAAC,MAAmB;QACtC,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAwB,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,MAAsB,CAAC,CAAC;IAChD,CAAC;IAEO,UAAU,CAAC,KAAmB;QACrC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,OAAO,YAAY,CAAC;QACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,MAAM,CAAC,aAAa,IAAI,KAAK;YAAE,OAAO,iBAAiB,CAAC;QAClG,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAiB,CAAC,CAAiB,CAAC;QACpG,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC;QACjD,OAAO,KAAqB,CAAC;IAC9B,CAAC;CACD;AAgBD;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACzB,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,UAAU,CAAC,UAAyB,EAAE,MAAc;QACnD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,aAAa,CAAC,UAAyB;QACtC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAED,oBAAoB;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACzE,UAAU;YACV,MAAM;SACN,CAAC,CAAC,CAAC;IACL,CAAC;IAED,oBAAoB;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/B,CAAC;CACD"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/types.ts"],"names":[],"mappings":"AAiJA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,KAAK,CACpB,GAAyD;IAEzD,OAAO,GAAgC,CAAC;AACzC,CAAC;AAwDD,kEAAkE;AAClE,MAAM,OAAO,2BAA2B;IAC/B,MAAM,GAA4B,EAAE,CAAC;IACrC,WAAW,GAAG,IAAI,GAAG,EAAoE,CAAC;IAC1F,gBAAgB,GAAG,CAAC,CAAC;IAE7B,UAAU,CAAC,gBAAwB,EAAE,WAAwB,EAAE,IAAoB;QAClF,MAAM,WAAW,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;QAE9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAC1B,WAAW;SACX,CAAC,CAAC;IACJ,CAAC;IAED,WAAW,CAAC,gBAAwB,EAAE,WAAwB,EAAE,MAAmB;QAClF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;SAChC,CAAC,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,gBAAwB,EAAE,WAAwB,EAAE,KAAY;QAC1E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,KAAK,EAAE,KAAK,CAAC,OAAO;SACpB,CAAC,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,gBAAwB,EAAE,WAAwB,EAAE,QAAgB,EAAE,GAAQ;QACtF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAChB,gBAAgB;YAChB,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,IAAI,EAAE,KAAK;YACX,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ;YACR,GAAG;SACH,CAAC,CAAC;IACJ,CAAC;IAED,cAAc;QACb,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IAED,cAAc;QACb,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;IAED,KAAK;QACJ,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,gBAAgB,GAAG,CAAC,CAAC;IAC3B,CAAC;IAEO,qBAAqB,CAAC,gBAAwB,EAAE,WAAwB;QAC/E,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QAClB,CAAC;QAED,OAAO,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;YAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAEzF,OAAO;gBACN,YAAY,EAAE,SAAS;gBACvB,gBAAgB,EAAE,SAAS,CAAC,YAAY,CAAC,MAAM;gBAC/C,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI;aACzE,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC;IAEO,SAAS,CAAC,IAAoB;QACrC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAEO,WAAW,CAAC,MAAmB;QACtC,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,QAAwB,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,MAAsB,CAAC,CAAC;IAChD,CAAC;IAEO,UAAU,CAAC,KAAmB;QACrC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACxD,IAAI,OAAO,KAAK,KAAK,UAAU;YAAE,OAAO,YAAY,CAAC;QACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,MAAM,CAAC,aAAa,IAAI,KAAK;YAAE,OAAO,iBAAiB,CAAC;QAClG,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAiB,CAAC,CAAiB,CAAC;QACpG,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC;QACjD,OAAO,KAAqB,CAAC;IAC9B,CAAC;CACD;AAgBD;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACzB,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAEpD,UAAU,CAAC,UAAyB,EAAE,MAAc;QACnD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,aAAa,CAAC,UAAyB;QACtC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC;IAED,oBAAoB;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;YACzE,UAAU;YACV,MAAM;SACN,CAAC,CAAC,CAAC;IACL,CAAC;IAED,oBAAoB;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/B,CAAC;CACD"}

package/dist/src/schema/assertion.d.ts

@@ -6,8 +6,10 @@ export interface AssertionDependentTable {
     base: string;
 }
 export interface IntegrityAssertionSchema {
-    /** Unique assertion name */
+    /** Assertion name, unique within its schema */
     name: string;
+    /** Canonical name of the schema the assertion lives in (see SchemaManager.canonicalSchemaName) */
+    schemaName: string;
     /** SQL text of the violation-producing query. Any returned row indicates a violation. */
     violationSql: string;
     /** Whether the assertion is deferrable. Currently always enforced at COMMIT. */
@@ -24,4 +26,15 @@ export interface IntegrityAssertionSchema {
      */
     checkExpression?: AST.Expression;
 }
+/**
+ * Renders the violation-producing query an assertion's CHECK expression implies:
+ * `check (<expr>)` holds exactly when `select 1 where not (<expr>)` returns no
+ * row, so any row it returns is a violation. The commit-time evaluator re-parses
+ * and re-plans this text (see `AssertionEvaluator.getOrCompilePlan`).
+ *
+ * Shared by `CREATE ASSERTION` and the `ALTER TABLE … RENAME` propagation, so a
+ * body rewritten by a rename regenerates byte-identically to what a fresh create
+ * would have produced for the same expression.
+ */
+export declare function buildAssertionViolationSql(check: AST.Expression): string;
 //# sourceMappingURL=assertion.d.ts.map

package/dist/src/schema/assertion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAE7C,MAAM,WAAW,uBAAuB;IACtC,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC5C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAClC"}
+{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAG7C,MAAM,WAAW,uBAAuB;IACtC,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,kGAAkG;IAClG,UAAU,EAAE,MAAM,CAAC;IACnB,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC5C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAClC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,GAAG,MAAM,CAExE"}

package/dist/src/schema/assertion.js

@@ -1,2 +1,15 @@
-export {};
+import { expressionToString } from '../emit/ast-stringify.js';
+/**
+ * Renders the violation-producing query an assertion's CHECK expression implies:
+ * `check (<expr>)` holds exactly when `select 1 where not (<expr>)` returns no
+ * row, so any row it returns is a violation. The commit-time evaluator re-parses
+ * and re-plans this text (see `AssertionEvaluator.getOrCompilePlan`).
+ *
+ * Shared by `CREATE ASSERTION` and the `ALTER TABLE … RENAME` propagation, so a
+ * body rewritten by a rename regenerates byte-identically to what a fresh create
+ * would have produced for the same expression.
+ */
+export function buildAssertionViolationSql(check) {
+    return `select 1 where not (${expressionToString(check)})`;
+}
 //# sourceMappingURL=assertion.js.map

package/dist/src/schema/assertion.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertion.js","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":""}
+{"version":3,"file":"assertion.js","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AA+B9D;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC/D,OAAO,uBAAuB,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC;AAC5D,CAAC"}

package/dist/src/schema/catalog-persistability.d.ts

@@ -32,27 +32,30 @@ export declare function assertCatalogObjectPersistable(db: Database, kind: Catal
  */
 export type BodyRewrite = (ast: AST.QueryExpr) => boolean;
 /**
- * Pre-flight gate for `ALTER TABLE … RENAME [COLUMN]`: computes what `rewrite` would
- * make of every view / materialized-view body in `schema` and vetoes the PROSPECTIVE
- * object through {@link assertCatalogObjectPersistable}, so a rename that would leave
- * a persisted dependent unwritable fails the statement instead of succeeding and
- * losing (or silently diverging from) it.
+ * A rewrite of a dependent TABLE's schema, returning a NEW record when anything changed
+ * and the SAME reference when nothing did — the shape `rewriteTableForTableRename` /
+ * `rewriteTableForColumnRename` (both in `runtime/emit/alter-table.ts`) already have.
+ */
+export type TableRewrite = (table: TableSchema) => TableSchema;
+/**
+ * Pre-flight gate for `ALTER TABLE … RENAME [COLUMN]`: computes what the rename would
+ * make of every dependent catalog entry — view / materialized-view bodies via `rewrite`,
+ * plain table records via `rewriteTable` — and vetoes each PROSPECTIVE object through
+ * {@link assertCatalogObjectPersistable}, so a rename that would leave a persisted
+ * dependent unwritable fails the statement instead of succeeding and losing (or silently
+ * diverging from) it.
  *
  * The rename propagation is unfailable by construction — it rides
  * `SchemaChangeNotifier` (try/catch per listener, log only) and then a store module's
  * async persist queue (`.catch`-log) — so, exactly as for CREATE VIEW, a synchronous
  * veto ahead of the first side effect is the only place a refusal can reach the user.
  *
- * `rewrite` mutates in place, so each body is rewritten on a {@link spineCloneAst}
- * copy: a veto thrown after mutating the LIVE AST would leave the view body naming a
- * table that was never renamed. Both DDL generators read the AST rather than a cached
- * string, so swapping the clone into a shallow copy of the record is all a prospective
- * render needs. Bodies the rewrite does not touch render identically to what is already
- * persisted and are skipped.
- *
- * Scoped to a single `Schema` because that is the scope the propagation's own view / MV
- * loops use (see `propagateTableRenameInSchema`) — a dependent in another schema is
- * never rewritten, so it has nothing new to persist.
+ * Both rewrites mutate ASTs in place, so both arms probe a {@link spineCloneAst} copy: a
+ * veto thrown after mutating the LIVE AST would leave a body (or a CHECK expression)
+ * naming a table that was never renamed. Every DDL generator reads the AST rather than a
+ * cached string, so swapping the clone into a shallow copy of the record is all a
+ * prospective render needs. Dependents the rewrite does not touch render identically to
+ * what is already persisted and are skipped.
  */
-export declare function assertRenameDependentsPersistable(db: Database, schema: Schema, rewrite: BodyRewrite): void;
+export declare function assertRenameDependentsPersistable(db: Database, schema: Schema, rewrite: BodyRewrite, rewriteTable: TableRewrite): void;
 //# sourceMappingURL=catalog-persistability.d.ts.map

package/dist/src/schema/catalog-persistability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-persistability.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog-persistability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAE7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,8BAA8B,CAC7C,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,UAAU,GAAG,WAAW,GAC9B,IAAI,CAIN;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,KAAK,OAAO,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAOH,wBAAgB,iCAAiC,CAChD,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GAClB,IAAI,CAgBN"}
+{"version":3,"file":"catalog-persistability.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog-persistability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAE7C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,8BAA8B,CAC7C,EAAE,EAAE,QAAQ,EACZ,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,UAAU,GAAG,WAAW,GAC9B,IAAI,CAIN;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,KAAK,OAAO,CAAC;AAE1D;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,WAAW,CAAC;AAE/D;;;;;;;;;;;;;;;;;;;GAmBG;AAQH,wBAAgB,iCAAiC,CAChD,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,EACpB,YAAY,EAAE,YAAY,GACxB,IAAI,CAIN"}

package/dist/src/schema/catalog-persistability.js

@@ -25,37 +25,46 @@ export function assertCatalogObjectPersistable(db, kind, object) {
     }
 }
 /**
- * Pre-flight gate for `ALTER TABLE … RENAME [COLUMN]`: computes what `rewrite` would
- * make of every view / materialized-view body in `schema` and vetoes the PROSPECTIVE
- * object through {@link assertCatalogObjectPersistable}, so a rename that would leave
- * a persisted dependent unwritable fails the statement instead of succeeding and
- * losing (or silently diverging from) it.
+ * Pre-flight gate for `ALTER TABLE … RENAME [COLUMN]`: computes what the rename would
+ * make of every dependent catalog entry — view / materialized-view bodies via `rewrite`,
+ * plain table records via `rewriteTable` — and vetoes each PROSPECTIVE object through
+ * {@link assertCatalogObjectPersistable}, so a rename that would leave a persisted
+ * dependent unwritable fails the statement instead of succeeding and losing (or silently
+ * diverging from) it.
  *
  * The rename propagation is unfailable by construction — it rides
  * `SchemaChangeNotifier` (try/catch per listener, log only) and then a store module's
  * async persist queue (`.catch`-log) — so, exactly as for CREATE VIEW, a synchronous
  * veto ahead of the first side effect is the only place a refusal can reach the user.
  *
- * `rewrite` mutates in place, so each body is rewritten on a {@link spineCloneAst}
- * copy: a veto thrown after mutating the LIVE AST would leave the view body naming a
- * table that was never renamed. Both DDL generators read the AST rather than a cached
- * string, so swapping the clone into a shallow copy of the record is all a prospective
- * render needs. Bodies the rewrite does not touch render identically to what is already
- * persisted and are skipped.
+ * Both rewrites mutate ASTs in place, so both arms probe a {@link spineCloneAst} copy: a
+ * veto thrown after mutating the LIVE AST would leave a body (or a CHECK expression)
+ * naming a table that was never renamed. Every DDL generator reads the AST rather than a
+ * cached string, so swapping the clone into a shallow copy of the record is all a
+ * prospective render needs. Dependents the rewrite does not touch render identically to
+ * what is already persisted and are skipped.
+ */
+// NOTE: clones and re-renders the body of every view and maintained table in the schema,
+// and the rewritable ASTs of every table in EVERY schema, on every `ALTER … RENAME` — and
+// the propagation that follows renders each changed one again. DDL is rare and the ASTs
+// are small, so this is not worth caching today; if a schema-heavy workload ever shows up
+// hot here, gate the clone on a cheap dry-run name scan (or thread the prospective object
+// through to the propagation instead of rebuilding it). Costs nothing at all when no
+// module can veto (the early return below) — a memory-only database never pays it.
+export function assertRenameDependentsPersistable(db, schema, rewrite, rewriteTable) {
+    if (!anyModuleCanVeto(db))
+        return;
+    assertRenameDependentViewsPersistable(db, schema, rewrite);
+    assertRenameDependentTablesPersistable(db, rewriteTable);
+}
+/**
+ * The view / materialized-view arm of {@link assertRenameDependentsPersistable}.
  *
  * Scoped to a single `Schema` because that is the scope the propagation's own view / MV
  * loops use (see `propagateTableRenameInSchema`) — a dependent in another schema is
  * never rewritten, so it has nothing new to persist.
  */
-// NOTE: clones and re-renders the body of every view and maintained table in the schema
-// on every `ALTER … RENAME`, and the propagation that follows renders each changed one
-// again. DDL is rare and bodies are small, so this is not worth caching today; if a
-// schema-heavy workload ever shows up hot here, thread the prospective object through to
-// the propagation instead of rebuilding it. Costs nothing at all when no module can veto
-// (the early return below) — a memory-only database never pays it.
-export function assertRenameDependentsPersistable(db, schema, rewrite) {
-    if (!anyModuleCanVeto(db))
-        return;
+function assertRenameDependentViewsPersistable(db, schema, rewrite) {
     for (const view of Array.from(schema.getAllViews())) {
         const selectAst = spineCloneAst(view.selectAst);
         if (!rewrite(selectAst))
@@ -74,6 +83,69 @@ export function assertRenameDependentsPersistable(db, schema, rewrite) {
         });
     }
 }
+/**
+ * The dependent-TABLE arm of {@link assertRenameDependentsPersistable}: a rename rewrites
+ * the FK targets, CHECK expressions, partial-index predicates and column DEFAULT / generated
+ * expressions of tables that mention the renamed object, and a store-backed one of those has
+ * to re-persist its catalog entry.
+ *
+ * Walks EVERY schema, not just the renamed object's own, because the propagation's table
+ * loop does (`propagateTableRename` iterates `_getAllSchemas()`) — a cross-schema foreign
+ * key is rewritten and so must be vetted. That is the one structural difference from the
+ * view / MV arm above.
+ *
+ * The renamed table itself is deliberately left in the scan rather than special-cased. It
+ * is probed under its OLD name with any self-references rewritten to the NEW one (table
+ * arm) or with its CHECK expressions rewritten (column arm) — either way the probe only
+ * ever fires on text carrying the new name, so a veto there is always true; and a table
+ * with nothing to rewrite rewrites to the same reference and is skipped. Its own catalog
+ * entry stays covered by the module's `renameTable` / `alterTable` guards, as before.
+ */
+function assertRenameDependentTablesPersistable(db, rewriteTable) {
+    for (const schema of db.schemaManager._getAllSchemas()) {
+        for (const table of Array.from(schema.getAllTables())) {
+            const probe = cloneTableRewritableAsts(table);
+            const rewritten = rewriteTable(probe);
+            if (rewritten === probe)
+                continue; // nothing to re-persist
+            assertCatalogObjectPersistable(db, 'table', rewritten);
+        }
+    }
+}
+/**
+ * A shallow copy of `table` whose in-place-rewritable ASTs — CHECK expressions, partial-index
+ * predicates, and each column's DEFAULT / generated expression — are {@link spineCloneAst}
+ * copies, so a prospective rewrite cannot touch the live catalog. `foreignKeys` needs no
+ * clone — that arm of both table rewriters is already copy-on-write (it builds a new `fk`
+ * record rather than assigning into the existing one).
+ *
+ * The column arm matters for exactly the reason the others do: `runRenameColumn` runs this
+ * probe BEFORE its first side effect, and a module veto thrown afterwards must leave the
+ * catalog untouched. Without the clone the probe would rewrite the LIVE default AST and a
+ * vetoed statement would leave a table whose defaults name a column that was never renamed.
+ */
+// NOTE: a unique partial index and its derived UNIQUE constraint share ONE predicate node by
+// reference (see `appendIndexToTableSchema`), which is how the live propagation rewrites both
+// at once. Cloning the index's copy here breaks that sharing, so the probe's constraint keeps
+// the pre-rename predicate — invisible today, because a predicate can only name another table
+// through a subquery and no module accepts one. If index-predicate subqueries ever land, clone
+// the constraint's predicate to the SAME node as its index's.
+function cloneTableRewritableAsts(table) {
+    return {
+        ...table,
+        checkConstraints: table.checkConstraints.map(cc => ({ ...cc, expr: spineCloneAst(cc.expr) })),
+        indexes: table.indexes?.map(idx => idx.predicate ? { ...idx, predicate: spineCloneAst(idx.predicate) } : idx),
+        columns: table.columns.map(col => {
+            if (!col.defaultValue && !col.generatedExpr)
+                return col;
+            return {
+                ...col,
+                defaultValue: col.defaultValue ? spineCloneAst(col.defaultValue) : col.defaultValue,
+                generatedExpr: col.generatedExpr ? spineCloneAst(col.generatedExpr) : col.generatedExpr,
+            };
+        }),
+    };
+}
 /** Whether any registered module implements the veto hook at all — the same presence
  *  test {@link assertCatalogObjectPersistable} applies per module, hoisted so the scan
  *  can skip its clone-and-render work entirely when nothing could refuse. */

package/dist/src/schema/catalog-persistability.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-persistability.js","sourceRoot":"","sources":["../../../src/schema/catalog-persistability.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,8BAA8B,CAC7C,EAAY,EACZ,IAAuB,EACvB,MAAgC;IAEhC,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC;QACxD,MAAM,CAAC,8BAA8B,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;AACF,CAAC;AAUD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wFAAwF;AACxF,uFAAuF;AACvF,oFAAoF;AACpF,yFAAyF;AACzF,yFAAyF;AACzF,mEAAmE;AACnE,MAAM,UAAU,iCAAiC,CAChD,EAAY,EACZ,MAAc,EACd,OAAoB;IAEpB,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAAE,OAAO;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,8BAA8B,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,SAAS;QACxC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC5D,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,EAAE;YACtD,GAAG,KAAK;YACR,UAAU,EAAE,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE;SAC9C,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;6EAE6E;AAC7E,SAAS,gBAAgB,CAAC,EAAY;IACrC,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC;QACxD,IAAI,MAAM,CAAC,8BAA8B;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}
+{"version":3,"file":"catalog-persistability.js","sourceRoot":"","sources":["../../../src/schema/catalog-persistability.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAKpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,8BAA8B,CAC7C,EAAY,EACZ,IAAuB,EACvB,MAAgC;IAEhC,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC;QACxD,MAAM,CAAC,8BAA8B,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;AACF,CAAC;AAiBD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,yFAAyF;AACzF,0FAA0F;AAC1F,wFAAwF;AACxF,0FAA0F;AAC1F,0FAA0F;AAC1F,qFAAqF;AACrF,mFAAmF;AACnF,MAAM,UAAU,iCAAiC,CAChD,EAAY,EACZ,MAAc,EACd,OAAoB,EACpB,YAA0B;IAE1B,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAAE,OAAO;IAClC,qCAAqC,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,sCAAsC,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qCAAqC,CAAC,EAAY,EAAE,MAAc,EAAE,OAAoB;IAChG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,8BAA8B,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;YAAE,SAAS;QACxC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC5D,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,SAAS;QAClC,8BAA8B,CAAC,EAAE,EAAE,kBAAkB,EAAE;YACtD,GAAG,KAAK;YACR,UAAU,EAAE,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,SAAS,EAAE;SAC9C,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,sCAAsC,CAAC,EAAY,EAAE,YAA0B;IACvF,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,EAAE,CAAC;YACvD,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YACtC,IAAI,SAAS,KAAK,KAAK;gBAAE,SAAS,CAAC,wBAAwB;YAC3D,8BAA8B,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACxD,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,6FAA6F;AAC7F,8FAA8F;AAC9F,8FAA8F;AAC9F,8FAA8F;AAC9F,+FAA+F;AAC/F,8DAA8D;AAC9D,SAAS,wBAAwB,CAAC,KAAkB;IACnD,OAAO;QACN,GAAG,KAAK;QACR,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7F,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CACjC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC3E,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAChC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,aAAa;gBAAE,OAAO,GAAG,CAAC;YACxD,OAAO;gBACN,GAAG,GAAG;gBACN,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY;gBACnF,aAAa,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa;aACvF,CAAC;QACH,CAAC,CAAC;KACF,CAAC;AACH,CAAC;AAED;;6EAE6E;AAC7E,SAAS,gBAAgB,CAAC,EAAY;IACrC,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC;QACxD,IAAI,MAAM,CAAC,8BAA8B;YAAE,OAAO,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}