@quereus/quereus 4.15.2 → 4.17.0

package/dist/src/runtime/emit/limit-offset.js

@@ -1,31 +1,45 @@
 import { asRun } from '../types.js';
 import { emitPlanNode, emitCallFromPlan } from '../emitters.js';
+import { PlanNodeCharacteristics } from '../../planner/framework/characteristics.js';
+/**
+ * Evaluate the LIMIT / OFFSET expressions and clamp them to a usable window.
+ *
+ * A missing LIMIT, a negative one, and a non-finite one (`null`, `NaN`) all clamp to zero
+ * rows, which is what `test/logic/94.1-limit-offset-edge-cases.sqllogic` and
+ * `104-emit-mutation-kills.sqllogic` pin today. Whether `limit null` should instead mean
+ * "no limit" is open — `backlog/bug-null-limit-returns-no-rows`.
+ */
+async function resolveWindow(ctx, limitFn, offsetFn) {
+    const limitValue = limitFn ? await limitFn(ctx) : null;
+    const offsetValue = offsetFn ? await offsetFn(ctx) : null;
+    const limit = limitValue !== null ? Number(limitValue) : Infinity;
+    const offset = offsetValue !== null ? Number(offsetValue) : 0;
+    return {
+        limit: limit < 0 || !Number.isFinite(limit) ? 0 : limit,
+        offset: offset < 0 || !Number.isFinite(offset) ? 0 : offset,
+    };
+}
 export function emitLimitOffset(plan, ctx) {
+    // A LIMIT never truncates a writing source: a DML subtree under this node runs to
+    // completion even once the limit is reached, matching the full-drain rule the scalar
+    // / IN / EXISTS paths already apply (`emitExists`, `emitScalarSubquery`) and matching
+    // PostgreSQL's data-modifying CTEs. Pure sources take the early-stop path instead.
+    // One subtree test at emit time, not per row, so a LIMIT over a plain scan pays nothing.
+    const drainAfterLimit = PlanNodeCharacteristics.subtreeHasSideEffects(plan.source);
     async function* run(ctx, sourceRows, ...args) {
-        // Determine which args we have
-        let limitFn;
-        let offsetFn;
+        // Args arrive in declaration order, and either may be absent.
         let argIndex = 0;
-        if (plan.limit) {
-            limitFn = args[argIndex++];
-        }
-        if (plan.offset) {
-            offsetFn = args[argIndex++];
-        }
-        // Evaluate limit and offset
-        const limitValue = limitFn ? await limitFn(ctx) : null;
-        const offsetValue = offsetFn ? await offsetFn(ctx) : null;
-        // Convert to numbers, with defaults
-        let limit = limitValue !== null ? Number(limitValue) : Infinity;
-        let offset = offsetValue !== null ? Number(offsetValue) : 0;
-        // Validate values
-        if (limit < 0 || !Number.isFinite(limit)) {
-            limit = 0; // No rows if limit is negative or invalid
+        const limitFn = plan.limit ? args[argIndex++] : undefined;
+        const offsetFn = plan.offset ? args[argIndex++] : undefined;
+        const { limit, offset } = await resolveWindow(ctx, limitFn, offsetFn);
+        // A zero (or clamped-to-zero) limit over a pure source must not touch the source at
+        // all, and this return is the ONLY thing that stops it: the loop below breaks only
+        // after a yield, so a zero limit that entered it would fall through to the drain
+        // branch and read the whole source. Pinned by the `LIMIT 0` case in
+        // `test/runtime/early-stop-consumption.spec.ts`.
+        if (limit <= 0 && !drainAfterLimit) {
+            return;
         }
-        if (offset < 0 || !Number.isFinite(offset)) {
-            offset = 0; // No offset if negative or invalid
-        }
-        // Skip offset rows
         let skipped = 0;
         let emitted = 0;
         for await (const row of sourceRows) {
@@ -34,10 +48,22 @@ export function emitLimitOffset(plan, ctx) {
                 continue;
             }
             if (emitted >= limit) {
-                break;
+                // Only reachable while draining a side-effecting source: swallow the row so
+                // the write behind it still happens, but do not emit it.
+                // NOTE: the swallowed rows still travel the whole pipeline between the write
+                // and this node (projections, filters), so a `LIMIT 1` over a writing source
+                // pays for every row, not one. Correct and unavoidable while the write must
+                // complete; if an expensive projection over a large DML ever shows up as
+                // slow, push the drain down to the mutation node instead of draining here.
+                continue;
             }
+            // Test the limit AFTER yielding, so the source is never asked for the row past
+            // the last one emitted. Testing at the top of the loop costs one extra pull on
+            // every limited query (see `ordinal-slice.ts` for the same shape).
             yield row;
-            emitted++;
+            if (++emitted >= limit && !drainAfterLimit) {
+                break;
+            }
         }
     }
     const sourceInstruction = emitPlanNode(plan.source, ctx);

package/dist/src/runtime/emit/limit-offset.js.map

@@ -1 +1 @@
-{"version":3,"file":"limit-offset.js","sourceRoot":"","sources":["../../../../src/runtime/emit/limit-offset.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAIhE,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,GAAoB;IAC1E,KAAK,SAAS,CAAC,CAAC,GAAG,CAClB,GAAmB,EACnB,UAA8B,EAC9B,GAAG,IAA4D;QAE/D,+BAA+B;QAC/B,IAAI,OAAsE,CAAC;QAC3E,IAAI,QAAuE,CAAC;QAE5E,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7B,CAAC;QAED,4BAA4B;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAE1D,oCAAoC;QACpC,IAAI,KAAK,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAChE,IAAI,MAAM,GAAG,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5D,kBAAkB;QAClB,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,KAAK,GAAG,CAAC,CAAC,CAAC,0CAA0C;QACtD,CAAC;QACD,IAAI,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,GAAG,CAAC,CAAC,CAAC,mCAAmC;QAChD,CAAC;QAED,mBAAmB;QACnB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,OAAO,GAAG,CAAC,CAAC;QAEhB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YACpC,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAC;gBACV,SAAS;YACV,CAAC;YAED,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM;YACP,CAAC;YAED,MAAM,GAAG,CAAC;YACV,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;IAED,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvF,MAAM,MAAM,GAAkB,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,gBAAgB;QAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpD,IAAI,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAEtD,OAAO;QACN,MAAM;QACN,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,gBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;KACvH,CAAC;AACH,CAAC"}
+{"version":3,"file":"limit-offset.js","sourceRoot":"","sources":["../../../../src/runtime/emit/limit-offset.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AAUrF;;;;;;;GAOG;AACH,KAAK,UAAU,aAAa,CAC3B,GAAmB,EACnB,OAAsE,EACtE,QAAuE;IAEvE,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE1D,MAAM,KAAK,GAAG,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClE,MAAM,MAAM,GAAG,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE9D,OAAO;QACN,KAAK,EAAE,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;QACvD,MAAM,EAAE,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;KAC3D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,GAAoB;IAC1E,kFAAkF;IAClF,qFAAqF;IACrF,sFAAsF;IACtF,mFAAmF;IACnF,yFAAyF;IACzF,MAAM,eAAe,GAAG,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEnF,KAAK,SAAS,CAAC,CAAC,GAAG,CAClB,GAAmB,EACnB,UAA8B,EAC9B,GAAG,IAA4D;QAE/D,8DAA8D;QAC9D,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE5D,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAEtE,oFAAoF;QACpF,mFAAmF;QACnF,iFAAiF;QACjF,oEAAoE;QACpE,iDAAiD;QACjD,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YACpC,OAAO;QACR,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,OAAO,GAAG,CAAC,CAAC;QAEhB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YACpC,IAAI,OAAO,GAAG,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAC;gBACV,SAAS;YACV,CAAC;YAED,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACtB,4EAA4E;gBAC5E,yDAAyD;gBACzD,6EAA6E;gBAC7E,6EAA6E;gBAC7E,4EAA4E;gBAC5E,yEAAyE;gBACzE,2EAA2E;gBAC3E,SAAS;YACV,CAAC;YAED,+EAA+E;YAC/E,+EAA+E;YAC/E,mEAAmE;YACnE,MAAM,GAAG,CAAC;YACV,IAAI,EAAE,OAAO,IAAI,KAAK,IAAI,CAAC,eAAe,EAAE,CAAC;gBAC5C,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEvF,MAAM,MAAM,GAAkB,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,gBAAgB;QAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpD,IAAI,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAEtD,OAAO;QACN,MAAM;QACN,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,gBAAgB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG;KACvH,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/materialized-view-helpers.d.ts

@@ -321,6 +321,27 @@ discardBackingOnFailure?: boolean): Promise<MaintainedTableSchema>;
  * maintenance exactly like any source write.
  */
 export declare function detachMaintainedDerivation(db: Database, mv: MaintainedTableSchema): TableSchema;
+/**
+ * Reject a declared mutation-context variable on a maintained table. A maintained
+ * table's rows are derived by the engine — nobody ever writes to it directly — so no
+ * statement can ever carry a `with context` clause for one, and a declared variable
+ * could never receive a value. Left unrejected, the combination fails later and
+ * confusingly: the derived-row validator that compiles the table's declared CHECK /
+ * child-side-FK constraints registers no context symbols, so a bare-name read of the
+ * variable falls through to ordinary column resolution and raises "Column not found"
+ * from `planner/resolve.ts`.
+ *
+ * Rejects **any** declaration, not only one some constraint reads — the "declared but
+ * unread" case is harmless today, but that distinction is invisible to the author and
+ * would silently drift the moment a constraint is added; one rule is simpler to state
+ * and to document. Called from both authoring routes: {@link createMaintainedTable}
+ * (declared schema, before the table registers) and `runSetMaintained` in
+ * `alter-table.ts` (the live table, before {@link attachMaintainedDerivation}).
+ */
+export declare function assertNoMutationContextOnMaintainedTable(table: TableSchema, verb: 'create' | 'alter', loc?: {
+    line: number;
+    column: number;
+}): void;
 /**
  * `create table … maintained as <body>` — the declared-shape authoring form,
  * executed all-or-nothing:
@@ -523,8 +544,18 @@ export declare function referencedSourceColumns(db: Database, schemaName: string
  *     gating (`buildMaintenancePlan`) against the new catalog and throws on the
  *     create-time gates (non-determinism, bag/no-key floor, full-rebuild
  *     pathology against fresh ANALYZE stats — defensible: the alternative is
- *     unbounded per-write rebuild cost). Registration is event-silent, so the
- *     success path fires no nested schema-change notifications.
+ *     unbounded per-write rebuild cost).
+ *  6. Body-function drift gate, inside that same registration: a body function
+ *     now resolving to a different registration than the one that produced the
+ *     backing's rows makes the recompiled plan disagree with the stored rows, so
+ *     registration marks the MV stale itself (releasing the plan it just built)
+ *     and reports it ⇒ decline. Distinct from every gate above in that the
+ *     staleness has ALREADY been applied when this returns.
+ *
+ * Returns true iff the MV is LIVE afterwards — the caller relies on that to skip
+ * its own stale path. Every decline is idempotent with that path, so re-running it
+ * over an already-stale MV is a no-op re-assertion (gate 6's only cost is a second,
+ * identical backing-invalidation emit on a rare human-driven event).
  *
  * `oldObject`/`newObject` are the genuine event's distinct schemas. The synthetic
  * backing-invalidation event (same object as old/new) is excluded by the caller's

package/dist/src/runtime/emit/materialized-view-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"materialized-view-helpers.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/materialized-view-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAc,KAAK,GAAG,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAEhD,OAAO,KAAK,EAAY,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAMrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,KAAK,WAAW,EAAsF,MAAM,uBAAuB,CAAC;AAQ7I,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA8B,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAqB,KAAK,qBAAqB,EAAwB,MAAM,4BAA4B,CAAC;AAEjH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAC3F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAE7E,OAAO,KAAK,EAAE,WAAW,EAAoB,MAAM,4BAA4B,CAAC;AAahF,OAAO,EAAE,eAAe,EAAE,CAAC;AAE3B;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,CAS/F;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,YAAY,CASjH;AAED,uFAAuF;AACvF,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC3D,0EAA0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;0EAMsE;IACtE,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAChC;;;;sEAIkE;IAClE,aAAa,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;CACrD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,kBAAkB,CACjC,EAAE,EAAE,QAAQ,EACZ,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,OAAO,CAAC,EAAE;IACT,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,WAAW,CAAC;CACtB,GACC,YAAY,CAOd;AA+HD;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAa7G;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACtC,EAAE,EAAE,QAAQ,EACZ,UAAU,EAAE,MAAM,EAClB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,YAAY,EACnB,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC/C,8FAA8F;AAC9F,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,GACvC,WAAW,CAyCb;AA0JD;wFACwF;AACxF,wBAAsB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAkBvG;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,8FAA8F;IAC9F,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;IACzB,wFAAwF;IACxF,OAAO,EAAE,MAAM,CAAC;IAChB,uFAAuF;IACvF,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;uDACmD;IACnD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,yBAAyB,EAAE,KAAK,EAAE,YAAY,GAAG,IAAI,CAOnG;AAkED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAsB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,yBAAyB,EAAE,eAAe,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAoElJ;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAsB,qBAAqB,CAC1C,EAAE,EAAE,QAAQ,EACZ,GAAG,EAAE,yBAAyB,EAC9B,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,YAAY,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAuBhC;AAuVD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4EG;AACH,wBAAsB,0BAA0B,CAC/C,EAAE,EAAE,QAAQ,EACZ,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,GAAG,CAAC,SAAS,EACrB,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,gBAAgB,UAAQ,EACxB,YAAY,UAAQ;AACpB;;;;;;;;GAQG;AACH,uBAAuB,UAAQ,GAC7B,OAAO,CAAC,qBAAqB,CAAC,CAuUhC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,0BAA0B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,GAAG,WAAW,CAmB/F;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CAyD/H;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,wBAAsB,cAAc,CACnC,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,iBAAiB,CAAC,EAAE,SAAS,YAAY,EAAE,GACzC,OAAO,CAAC,IAAI,CAAC,CAgEf;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAMtF;AAoKD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,GAAG,OAAO,CASnG;AAkED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAqC/H;AAiBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoEG;AACH,wBAAgB,gCAAgC,CAC/C,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,SAAS,EAAE,WAAW,EACtB,SAAS,EAAE,WAAW,GACpB,OAAO,CAyET;AA+WD;;;;;;;GAOG;AACH,wBAAsB,cAAc,CACnC,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,KAAK,EAAE,YAAY,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAMhC;AA6HD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,GAAG,WAAW,CAiBxF;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAGvG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAyB3G;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,GAAG,IAAI,CAO5F;AAED;;kCAEkC;AAClC,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAwBpH;AAID;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAAC,EAAE,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAMhF;AAYD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,uCAAuC,CAC5D,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAC7B,MAAM,EAAE,iBAAiB,GACvB,OAAO,CAAC,IAAI,CAAC,CA0Bf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,wCAAwC,CAC7D,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAC7B,OAAO,EAAE,gBAAgB,EACzB,SAAS,EAAE,MAAM,EACjB,qBAAqB,EAAE,qBAAqB,GAC1C,OAAO,CAAC,IAAI,CAAC,CAcf;AA+FD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,wBAAsB,kCAAkC,CACvD,EAAE,EAAE,QAAQ,EACZ,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,OAAO,CAAC,IAAI,CAAC,CAyCf"}
+{"version":3,"file":"materialized-view-helpers.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/materialized-view-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAc,KAAK,GAAG,EAAE,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAEhD,OAAO,KAAK,EAAY,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAMrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,KAAK,WAAW,EAAsF,MAAM,uBAAuB,CAAC;AAQ7I,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAA8B,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAqB,KAAK,qBAAqB,EAAwB,MAAM,4BAA4B,CAAC;AAEjH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAC3F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAE7E,OAAO,KAAK,EAAE,WAAW,EAAoB,MAAM,4BAA4B,CAAC;AAahF,OAAO,EAAE,eAAe,EAAE,CAAC;AAE3B;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,CAS/F;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,YAAY,CASjH;AAED,uFAAuF;AACvF,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC3D,0EAA0E;IAC1E,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;0EAMsE;IACtE,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAChC;;;;sEAIkE;IAClE,aAAa,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;CACrD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,kBAAkB,CACjC,EAAE,EAAE,QAAQ,EACZ,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,OAAO,CAAC,EAAE;IACT,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChD,OAAO,CAAC,EAAE,WAAW,CAAC;CACtB,GACC,YAAY,CAOd;AA+HD;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,YAAY,GAAG,aAAa,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAa7G;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACtC,EAAE,EAAE,QAAQ,EACZ,UAAU,EAAE,MAAM,EAClB,gBAAgB,EAAE,MAAM,EACxB,KAAK,EAAE,YAAY,EACnB,UAAU,CAAC,EAAE,MAAM,EACnB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAC/C,8FAA8F;AAC9F,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,GACvC,WAAW,CAyCb;AA0JD;wFACwF;AACxF,wBAAsB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAkBvG;AAED;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,8FAA8F;IAC9F,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC;IACzB,wFAAwF;IACxF,OAAO,EAAE,MAAM,CAAC;IAChB,uFAAuF;IACvF,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;uDACmD;IACnD,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,yDAAyD;IACzD,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACvD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,yBAAyB,EAAE,KAAK,EAAE,YAAY,GAAG,IAAI,CAOnG;AAkED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAsB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,yBAAyB,EAAE,eAAe,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAoElJ;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAsB,qBAAqB,CAC1C,EAAE,EAAE,QAAQ,EACZ,GAAG,EAAE,yBAAyB,EAC9B,WAAW,EAAE,WAAW,EACxB,KAAK,EAAE,YAAY,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAuBhC;AAuVD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4EG;AAIH,wBAAsB,0BAA0B,CAC/C,EAAE,EAAE,QAAQ,EACZ,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,GAAG,CAAC,SAAS,EACrB,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,gBAAgB,UAAQ,EACxB,YAAY,UAAQ;AACpB;;;;;;;;GAQG;AACH,uBAAuB,UAAQ,GAC7B,OAAO,CAAC,qBAAqB,CAAC,CAuUhC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,0BAA0B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,GAAG,WAAW,CAmB/F;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,wCAAwC,CACvD,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,QAAQ,GAAG,OAAO,EACxB,GAAG,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACpC,IAAI,CAcN;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,eAAe,GAAG,OAAO,CAAC,qBAAqB,GAAG,SAAS,CAAC,CA0D/H;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,wBAAsB,cAAc,CACnC,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,iBAAiB,CAAC,EAAE,SAAS,YAAY,EAAE,GACzC,OAAO,CAAC,IAAI,CAAC,CAgEf;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAMtF;AAoKD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,2BAA2B,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,GAAG,OAAO,CASnG;AAkED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAqC/H;AAiBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8EG;AACH,wBAAgB,gCAAgC,CAC/C,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,SAAS,EAAE,WAAW,EACtB,SAAS,EAAE,WAAW,GACpB,OAAO,CA4ET;AA+WD;;;;;;;GAOG;AACH,wBAAsB,cAAc,CACnC,EAAE,EAAE,QAAQ,EACZ,EAAE,EAAE,qBAAqB,EACzB,KAAK,EAAE,YAAY,GACjB,OAAO,CAAC,qBAAqB,CAAC,CAMhC;AA6HD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,GAAG,WAAW,CAiBxF;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAGvG;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAyB3G;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,qBAAqB,GAAG,IAAI,CAO5F;AAED;;kCAEkC;AAClC,wBAAgB,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAwBpH;AAID;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAAC,EAAE,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAMhF;AAYD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,uCAAuC,CAC5D,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAC7B,MAAM,EAAE,iBAAiB,GACvB,OAAO,CAAC,IAAI,CAAC,CA0Bf;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAsB,wCAAwC,CAC7D,EAAE,EAAE,QAAQ,EACZ,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAC7B,OAAO,EAAE,gBAAgB,EACzB,SAAS,EAAE,MAAM,EACjB,qBAAqB,EAAE,qBAAqB,GAC1C,OAAO,CAAC,IAAI,CAAC,CAcf;AAoGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AACH,wBAAsB,kCAAkC,CACvD,EAAE,EAAE,QAAQ,EACZ,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,OAAO,CAAC,IAAI,CAAC,CAyCf"}

package/dist/src/runtime/emit/materialized-view-helpers.js

@@ -1038,6 +1038,9 @@ async function validateDeclaredConstraintsOverContents(db, mt, validationColumns
  * untouched. An expressible plan splices around the verify-by-diff reconcile —
  * see the sequencing notes inside.
  */
+// NOTE: this core does NOT re-assert {@link assertNoMutationContextOnMaintainedTable};
+// both of today's callers (createMaintainedTable, runSetMaintained) check before
+// calling. A third caller must run that guard too, or add it here.
 export async function attachMaintainedDerivation(db, table, select, recordedColumns, positionalRename = false, allowReshape = false, 
 /**
  * When true, a FAILED FRESH attach discards (via {@link VirtualTableModule.discardBackingForAttach})
@@ -1380,6 +1383,38 @@ export function detachMaintainedDerivation(db, mv) {
     });
     return plain;
 }
+/**
+ * Reject a declared mutation-context variable on a maintained table. A maintained
+ * table's rows are derived by the engine — nobody ever writes to it directly — so no
+ * statement can ever carry a `with context` clause for one, and a declared variable
+ * could never receive a value. Left unrejected, the combination fails later and
+ * confusingly: the derived-row validator that compiles the table's declared CHECK /
+ * child-side-FK constraints registers no context symbols, so a bare-name read of the
+ * variable falls through to ordinary column resolution and raises "Column not found"
+ * from `planner/resolve.ts`.
+ *
+ * Rejects **any** declaration, not only one some constraint reads — the "declared but
+ * unread" case is harmless today, but that distinction is invisible to the author and
+ * would silently drift the moment a constraint is added; one rule is simpler to state
+ * and to document. Called from both authoring routes: {@link createMaintainedTable}
+ * (declared schema, before the table registers) and `runSetMaintained` in
+ * `alter-table.ts` (the live table, before {@link attachMaintainedDerivation}).
+ */
+export function assertNoMutationContextOnMaintainedTable(table, verb, loc) {
+    const declared = table.mutationContext;
+    if (!declared || declared.length === 0)
+        return;
+    const label = `${table.schemaName}.${table.name}`;
+    const names = declared.map(v => v.name).join(', ');
+    const message = verb === 'create'
+        ? `cannot create maintained table '${label}': a maintained table's rows are derived `
+            + `by the engine, so no statement can supply its mutation context variables (${names}); `
+            + `remove the 'with context' clause`
+        : `cannot make table '${label}' maintained: it declares mutation context variables `
+            + `(${names}) that no statement can supply, because a maintained table's rows are `
+            + `derived by the engine`;
+    throw new QuereusError(message, StatusCode.ERROR, undefined, loc?.line, loc?.column);
+}
 /**
  * `create table … maintained as <body>` — the declared-shape authoring form,
  * executed all-or-nothing:
@@ -1426,6 +1461,7 @@ export async function createMaintainedTable(db, stmt) {
     if (mismatch) {
         throw new QuereusError(`cannot create maintained table '${schemaName}.${name}': ${mismatch}`, StatusCode.ERROR, undefined, stmt.table.loc?.start.line, stmt.table.loc?.start.column);
     }
+    assertNoMutationContextOnMaintainedTable(declared, 'create', stmt.table.loc?.start);
     // `preferBacking = true`: route the create through the module's durable backing
     // seam (`createBacking?() ?? create()`) so a durable-backing module (lamina)
     // builds the basis `RowStore` that `resolveBackingHost` → `getBackingHost`
@@ -1978,8 +2014,18 @@ function expandGeneratedDependencyClosure(cols, deps) {
  *     gating (`buildMaintenancePlan`) against the new catalog and throws on the
  *     create-time gates (non-determinism, bag/no-key floor, full-rebuild
  *     pathology against fresh ANALYZE stats — defensible: the alternative is
- *     unbounded per-write rebuild cost). Registration is event-silent, so the
- *     success path fires no nested schema-change notifications.
+ *     unbounded per-write rebuild cost).
+ *  6. Body-function drift gate, inside that same registration: a body function
+ *     now resolving to a different registration than the one that produced the
+ *     backing's rows makes the recompiled plan disagree with the stored rows, so
+ *     registration marks the MV stale itself (releasing the plan it just built)
+ *     and reports it ⇒ decline. Distinct from every gate above in that the
+ *     staleness has ALREADY been applied when this returns.
+ *
+ * Returns true iff the MV is LIVE afterwards — the caller relies on that to skip
+ * its own stale path. Every decline is idempotent with that path, so re-running it
+ * over an already-stale MV is a no-op re-assertion (gate 6's only cost is a second,
+ * identical backing-invalidation emit on a rare human-driven event).
  *
  * `oldObject`/`newObject` are the genuine event's distinct schemas. The synthetic
  * backing-invalidation event (same object as old/new) is excluded by the caller's
@@ -2046,7 +2092,11 @@ export function tryRecompileMaterializedViewLive(db, mv, oldObject, newObject) {
             }
             log('Recompiling materialized view %s.%s after a value-semantics ALTER (type/collation) on column(s) the body does not read (%s)', mv.schemaName, mv.name, [...valueChanged].join(', '));
         }
-        db.registerMaterializedView(backing);
+        // Body-function drift gate: registration already marked the MV stale and released
+        // the plan it had just built, so there is nothing left to keep live. Decline, so
+        // the caller's stale path re-asserts the same state and no log claims a live view.
+        if (db.registerMaterializedView(backing))
+            return false;
         log('Recompiled materialized view %s.%s in place after a genuine source change', mv.schemaName, mv.name);
         return true;
     }
@@ -2797,8 +2847,14 @@ async function restoreMaterializedViewLive(db, schema, mv, backingNames) {
     // Register the LIVE registered table (the backing-name pass may have swapped
     // the catalog object); the shared derivation rides either way.
     const live = schema.getTable(mv.name);
-    db.registerMaterializedView(isMaintainedTable(live) ? live : mv);
-    mv.derivation.stale = false;
+    // Body-function drift outranks this restore: registration found a body function now
+    // resolving to a different registration than the one that produced the backing's rows,
+    // and marked the MV stale. This pass restores views the RENAME did not affect — it says
+    // nothing about whether the stored rows are still a faithful derivation, and only
+    // REFRESH re-derives them. Leave the flag alone in that case.
+    const drifted = db.registerMaterializedView(isMaintainedTable(live) ? live : mv);
+    if (!drifted)
+        mv.derivation.stale = false;
 }
 /**
  * Restores every dependent MV that THIS rename statement marked stale but the