@quereus/quereus 3.2.1 → 4.0.0

package/dist/src/runtime/emit/subquery.js

@@ -3,7 +3,43 @@ import { QuereusError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
 import { BTree } from 'inheritree';
 import { compareSqlValuesFast } from '../../util/comparison.js';
+import { PlanNodeCharacteristics } from '../../planner/framework/characteristics.js';
+import { effectiveInCollation } from '../../planner/analysis/comparison-collation.js';
 export function emitScalarSubquery(plan, ctx) {
+    const isImpure = PlanNodeCharacteristics.subtreeHasSideEffects(plan.subquery);
+    if (isImpure) {
+        // Impure inner (DML w/ RETURNING in scalar position):
+        // - Fully drain the iterator so every write happens, not just the first.
+        // - Memoize across re-evaluations (correlated outer, per-row scan) so
+        //   the DML fires exactly once per statement execution. Closure state
+        //   is per-emission and the Statement re-emits per execution, so this
+        //   resets between prepared-statement runs.
+        let memoized = null;
+        async function runImpure(_rctx, input) {
+            if (memoized)
+                return memoized.value;
+            let result = null;
+            let seen = false;
+            for await (const row of input) {
+                if (!seen) {
+                    if (row.length > 1) {
+                        throw new QuereusError('Subquery should return at most one column', StatusCode.ERROR);
+                    }
+                    result = row.length === 0 ? null : row[0];
+                    seen = true;
+                }
+                // Continue iterating to drive every write, even past the first row.
+            }
+            memoized = { value: result };
+            return result;
+        }
+        const innerInstruction = emitPlanNode(plan.subquery, ctx);
+        return {
+            params: [innerInstruction],
+            run: runImpure,
+            note: 'SCALAR_SUBQUERY(impure)'
+        };
+    }
     async function run(_rctx, input) {
         let result = null;
         let seen = false;
@@ -27,13 +63,58 @@ export function emitScalarSubquery(plan, ctx) {
     };
 }
 export function emitIn(plan, ctx) {
-    // Extract collation from the condition expression
-    const conditionType = plan.condition.getType();
-    const collationName = conditionType.collationName || 'BINARY';
+    // ONE collation for the whole membership test (condition vs every RHS
+    // value), resolved through the shared provenance lattice — the BTree build
+    // below keys under it. Throws only as a backstop; InNode.generateType
+    // already rejected conflicts at plan time.
+    const collationName = effectiveInCollation(plan);
     const collation = ctx.resolveCollation(collationName);
     if (plan.source) {
-        // IN subquery: expr IN (SELECT ...)
-        // Use streaming approach - check each row as we read it, return early on match
+        const isImpure = PlanNodeCharacteristics.subtreeHasSideEffects(plan.source);
+        if (isImpure) {
+            // Impure inner: fully drain (no short-circuit on match) so every
+            // write fires, and memoize so re-evaluation does not re-drive the DML.
+            let memoized = null;
+            async function runImpure(_rctx, input, condition) {
+                if (memoized)
+                    return memoized.value;
+                let matched = false;
+                let hasNull = false;
+                const shouldCompare = condition !== null;
+                for await (const row of input) {
+                    if (row.length > 0) {
+                        const rowValue = row[0];
+                        if (rowValue === null) {
+                            hasNull = true;
+                        }
+                        else if (shouldCompare && !matched && compareSqlValuesFast(condition, rowValue, collation) === 0) {
+                            matched = true;
+                        }
+                    }
+                    // Continue iterating to drive every write past the first match.
+                }
+                let result;
+                if (!shouldCompare) {
+                    result = null;
+                }
+                else if (matched) {
+                    result = true;
+                }
+                else {
+                    result = hasNull ? null : false;
+                }
+                memoized = { value: result };
+                return result;
+            }
+            const sourceInstruction = emitPlanNode(plan.source, ctx);
+            const conditionExpr = emitPlanNode(plan.condition, ctx);
+            return {
+                params: [sourceInstruction, conditionExpr],
+                run: runImpure,
+                note: 'IN(impure)'
+            };
+        }
+        // Pure subquery: streaming + early exit on match.
         async function runSubqueryStreaming(_rctx, input, condition) {
             // If condition is NULL, result is NULL
             if (condition === null) {
@@ -153,6 +234,30 @@ export function emitIn(plan, ctx) {
     }
 }
 export function emitExists(plan, ctx) {
+    const isImpure = PlanNodeCharacteristics.subtreeHasSideEffects(plan.subquery);
+    if (isImpure) {
+        // Impure inner: fully drain (no short-circuit) so every write fires,
+        // and memoize so re-evaluation does not re-drive the DML.
+        let memoized = null;
+        async function runImpure(_rctx, input) {
+            if (memoized)
+                return memoized.value;
+            let any = false;
+            for await (const _row of input) {
+                any = true;
+                // Continue iterating to drive every write past the first row.
+            }
+            const result = any;
+            memoized = { value: result };
+            return result;
+        }
+        const innerInstruction = emitPlanNode(plan.subquery, ctx);
+        return {
+            params: [innerInstruction],
+            run: runImpure,
+            note: 'EXISTS(impure)'
+        };
+    }
     async function run(_rctx, input) {
         for await (const _row of input) {
             return true; // First row => TRUE

package/dist/src/runtime/emit/subquery.js.map

@@ -1 +1 @@
-{"version":3,"file":"subquery.js","sourceRoot":"","sources":["../../../../src/runtime/emit/subquery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGhE,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAoB;IAEhF,KAAK,UAAU,GAAG,CAAC,KAAqB,EAAE,KAAyB;QAClE,IAAI,MAAM,GAAa,IAAI,CAAC;QAC5B,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YAC/B,IAAI,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,YAAY,CAAC,4CAA4C,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvK,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,YAAY,CAAC,2CAA2C,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACvF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,GAAG,IAAI,CAAC;QACb,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAE1D,OAAO;QACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;QAC1B,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,iBAAiB;KACvB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAoB;IACxD,kDAAkD;IAClD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;IAC/C,MAAM,aAAa,GAAG,aAAa,CAAC,aAAa,IAAI,QAAQ,CAAC;IAC9D,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAEtD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,oCAAoC;QACpC,+EAA+E;QAC/E,KAAK,UAAU,oBAAoB,CAAC,KAAqB,EAAE,KAAyB,EAAE,SAAmB;YACxG,uCAAuC;YACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,OAAO,IAAI,CAAC;YACb,CAAC;YAED,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;oBACxB,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;wBACvB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,uDAAuD;oBACvD,IAAI,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChE,OAAO,IAAI,CAAC,CAAC,gBAAgB;oBAC9B,CAAC;gBACF,CAAC;YACF,CAAC;YAED,yDAAyD;YACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/B,CAAC;QAED,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAExD,OAAO;YACN,MAAM,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;YAC1C,GAAG,EAAE,oBAAsC;YAC3C,IAAI,EAAE,eAAe;SACrB,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,+CAA+C;QAE/C,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEpE,IAAI,WAAW,EAAE,CAAC;YACjB,mDAAmD;YACnD,MAAM,IAAI,GAAG,IAAI,KAAK,CACrB,CAAC,GAAa,EAAE,EAAE,CAAC,GAAG,EACtB,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CACnE,CAAC;YACF,IAAI,OAAO,GAAG,KAAK,CAAC;YAEpB,SAAS,gBAAgB,CAAC,KAAqB,EAAE,SAAmB;gBACnE,uCAAuC;gBACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACb,CAAC;gBAED,8CAA8C;gBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACb,OAAO,IAAI,CAAC,CAAC,gBAAgB;gBAC9B,CAAC;gBAED,yDAAyD;gBACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,GAA+B,CAAC,QAAQ,EAAE,CAAC,CAAC;YAEnF,IAAI,OAAuB,CAAC;YAE5B,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,OAAO,CAAC,EAAE,CAAC;gBAChD,mCAAmC;gBACnC,OAAO,GAAG,CAAC,KAAK,EAAE,IAAoB,EAAE,SAAmB,EAAqB,EAAE;oBACjF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAE3C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;4BACpB,OAAO,GAAG,IAAI,CAAC;4BACf,SAAS;wBACV,CAAC;wBACD,IAAI,CAAC,MAAM,CAAC,KAAiB,CAAC,CAAC;oBAChC,CAAC;oBAED,OAAO,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC1C,CAAC,CAAmB,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACP,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACpB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,IAAI,CAAC,MAAM,CAAC,KAAiB,CAAC,CAAC;gBAChC,CAAC;gBACD,OAAO,GAAG,gBAAkC,CAAC;YAC9C,CAAC;YAED,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAExD,OAAO;gBACN,MAAM,EAAE,CAAC,aAAa,CAAC;gBACvB,GAAG,EAAE,OAAyB;gBAC9B,IAAI,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,mBAAmB;aAClD,CAAC;QACH,CAAC;aAAM,CAAC;YACP,sDAAsD;YACtD,SAAS,gBAAgB,CAAC,KAAqB,EAAE,SAAmB,EAAE,GAAG,MAAkB;gBAC1F,uCAAuC;gBACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACb,CAAC;gBAED,yEAAyE;gBACzE,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACpB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,IAAI,oBAAoB,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC7D,OAAO,IAAI,CAAC,CAAC,gBAAgB;oBAC9B,CAAC;gBACF,CAAC;gBAED,yDAAyD;gBACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,CAAC;YAED,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAElE,OAAO;gBACN,MAAM,EAAE,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC;gBACtC,GAAG,EAAE,gBAAkC;gBACvC,IAAI,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,kBAAkB;aACjD,CAAC;QACH,CAAC;IACF,CAAC;SAAM,CAAC;QACP,MAAM,IAAI,YAAY,CAAC,2CAA2C,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC1F,CAAC;AACF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,GAAoB;IAChE,KAAK,UAAU,GAAG,CAAC,KAAqB,EAAE,KAAyB;QAClE,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,CAAC,oBAAoB;QAClC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,iBAAiB;IAChC,CAAC;IAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAE1D,OAAO;QACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;QAC1B,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,QAAQ;KACd,CAAC;AACH,CAAC"}
+{"version":3,"file":"subquery.js","sourceRoot":"","sources":["../../../../src/runtime/emit/subquery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAG9C,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,uBAAuB,EAAE,MAAM,4CAA4C,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AAEtF,MAAM,UAAU,kBAAkB,CAAC,IAAwB,EAAE,GAAoB;IAChF,MAAM,QAAQ,GAAG,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE9E,IAAI,QAAQ,EAAE,CAAC;QACd,sDAAsD;QACtD,yEAAyE;QACzE,sEAAsE;QACtE,sEAAsE;QACtE,sEAAsE;QACtE,4CAA4C;QAC5C,IAAI,QAAQ,GAA+B,IAAI,CAAC;QAEhD,KAAK,UAAU,SAAS,CAAC,KAAqB,EAAE,KAAyB;YACxE,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;YAEpC,IAAI,MAAM,GAAa,IAAI,CAAC;YAC5B,IAAI,IAAI,GAAG,KAAK,CAAC;YAEjB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;oBACX,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACpB,MAAM,IAAI,YAAY,CAAC,2CAA2C,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;oBACvF,CAAC;oBACD,MAAM,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC1C,IAAI,GAAG,IAAI,CAAC;gBACb,CAAC;gBACD,oEAAoE;YACrE,CAAC;YAED,QAAQ,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC;QACf,CAAC;QAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAE1D,OAAO;YACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;YAC1B,GAAG,EAAE,SAA2B;YAChC,IAAI,EAAE,yBAAyB;SAC/B,CAAC;IACH,CAAC;IAED,KAAK,UAAU,GAAG,CAAC,KAAqB,EAAE,KAAyB;QAClE,IAAI,MAAM,GAAa,IAAI,CAAC;QAC5B,IAAI,IAAI,GAAG,KAAK,CAAC;QAEjB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YAC/B,IAAI,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,YAAY,CAAC,4CAA4C,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YACvK,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,YAAY,CAAC,2CAA2C,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YACvF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,GAAG,IAAI,CAAC;QACb,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAE1D,OAAO;QACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;QAC1B,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,iBAAiB;KACvB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAoB;IACxD,sEAAsE;IACtE,2EAA2E;IAC3E,sEAAsE;IACtE,2CAA2C;IAC3C,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAEtD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5E,IAAI,QAAQ,EAAE,CAAC;YACd,iEAAiE;YACjE,uEAAuE;YACvE,IAAI,QAAQ,GAA+B,IAAI,CAAC;YAEhD,KAAK,UAAU,SAAS,CAAC,KAAqB,EAAE,KAAyB,EAAE,SAAmB;gBAC7F,IAAI,QAAQ;oBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;gBAEpC,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,MAAM,aAAa,GAAG,SAAS,KAAK,IAAI,CAAC;gBAEzC,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;oBAC/B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;wBACxB,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;4BACvB,OAAO,GAAG,IAAI,CAAC;wBAChB,CAAC;6BAAM,IAAI,aAAa,IAAI,CAAC,OAAO,IAAI,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;4BACpG,OAAO,GAAG,IAAI,CAAC;wBAChB,CAAC;oBACF,CAAC;oBACD,gEAAgE;gBACjE,CAAC;gBAED,IAAI,MAAgB,CAAC;gBACrB,IAAI,CAAC,aAAa,EAAE,CAAC;oBACpB,MAAM,GAAG,IAAI,CAAC;gBACf,CAAC;qBAAM,IAAI,OAAO,EAAE,CAAC;oBACpB,MAAM,GAAG,IAAI,CAAC;gBACf,CAAC;qBAAM,CAAC;oBACP,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;gBACjC,CAAC;gBAED,QAAQ,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;gBAC7B,OAAO,MAAM,CAAC;YACf,CAAC;YAED,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAExD,OAAO;gBACN,MAAM,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;gBAC1C,GAAG,EAAE,SAA2B;gBAChC,IAAI,EAAE,YAAY;aAClB,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,KAAK,UAAU,oBAAoB,CAAC,KAAqB,EAAE,KAAyB,EAAE,SAAmB;YACxG,uCAAuC;YACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACxB,OAAO,IAAI,CAAC;YACb,CAAC;YAED,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpB,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;oBACxB,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;wBACvB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,uDAAuD;oBACvD,IAAI,oBAAoB,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChE,OAAO,IAAI,CAAC,CAAC,gBAAgB;oBAC9B,CAAC;gBACF,CAAC;YACF,CAAC;YAED,yDAAyD;YACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/B,CAAC;QAED,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAExD,OAAO;YACN,MAAM,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;YAC1C,GAAG,EAAE,oBAAsC;YAC3C,IAAI,EAAE,eAAe;SACrB,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,+CAA+C;QAE/C,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEpE,IAAI,WAAW,EAAE,CAAC;YACjB,mDAAmD;YACnD,MAAM,IAAI,GAAG,IAAI,KAAK,CACrB,CAAC,GAAa,EAAE,EAAE,CAAC,GAAG,EACtB,CAAC,CAAW,EAAE,CAAW,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CACnE,CAAC;YACF,IAAI,OAAO,GAAG,KAAK,CAAC;YAEpB,SAAS,gBAAgB,CAAC,KAAqB,EAAE,SAAmB;gBACnE,uCAAuC;gBACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACb,CAAC;gBAED,8CAA8C;gBAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACb,OAAO,IAAI,CAAC,CAAC,gBAAgB;gBAC9B,CAAC;gBAED,yDAAyD;gBACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAE,GAA+B,CAAC,QAAQ,EAAE,CAAC,CAAC;YAEnF,IAAI,OAAuB,CAAC;YAE5B,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,OAAO,CAAC,EAAE,CAAC;gBAChD,mCAAmC;gBACnC,OAAO,GAAG,CAAC,KAAK,EAAE,IAAoB,EAAE,SAAmB,EAAqB,EAAE;oBACjF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAE3C,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;wBAC9B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;4BACpB,OAAO,GAAG,IAAI,CAAC;4BACf,SAAS;wBACV,CAAC;wBACD,IAAI,CAAC,MAAM,CAAC,KAAiB,CAAC,CAAC;oBAChC,CAAC;oBAED,OAAO,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAC1C,CAAC,CAAmB,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACP,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACpB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,IAAI,CAAC,MAAM,CAAC,KAAiB,CAAC,CAAC;gBAChC,CAAC;gBACD,OAAO,GAAG,gBAAkC,CAAC;YAC9C,CAAC;YAED,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAExD,OAAO;gBACN,MAAM,EAAE,CAAC,aAAa,CAAC;gBACvB,GAAG,EAAE,OAAyB;gBAC9B,IAAI,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,mBAAmB;aAClD,CAAC;QACH,CAAC;aAAM,CAAC;YACP,sDAAsD;YACtD,SAAS,gBAAgB,CAAC,KAAqB,EAAE,SAAmB,EAAE,GAAG,MAAkB;gBAC1F,uCAAuC;gBACvC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACb,CAAC;gBAED,yEAAyE;gBACzE,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC5B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;wBACpB,OAAO,GAAG,IAAI,CAAC;wBACf,SAAS;oBACV,CAAC;oBACD,IAAI,oBAAoB,CAAC,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC7D,OAAO,IAAI,CAAC,CAAC,gBAAgB;oBAC9B,CAAC;gBACF,CAAC;gBAED,yDAAyD;gBACzD,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,CAAC;YAED,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACxD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YAElE,OAAO;gBACN,MAAM,EAAE,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC;gBACtC,GAAG,EAAE,gBAAkC;gBACvC,IAAI,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,kBAAkB;aACjD,CAAC;QACH,CAAC;IACF,CAAC;SAAM,CAAC;QACP,MAAM,IAAI,YAAY,CAAC,2CAA2C,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC1F,CAAC;AACF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,GAAoB;IAChE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE9E,IAAI,QAAQ,EAAE,CAAC;QACd,qEAAqE;QACrE,0DAA0D;QAC1D,IAAI,QAAQ,GAA+B,IAAI,CAAC;QAEhD,KAAK,UAAU,SAAS,CAAC,KAAqB,EAAE,KAAyB;YACxE,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;YAEpC,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBAChC,GAAG,GAAG,IAAI,CAAC;gBACX,8DAA8D;YAC/D,CAAC;YAED,MAAM,MAAM,GAAa,GAAG,CAAC;YAC7B,QAAQ,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;YAC7B,OAAO,MAAM,CAAC;QACf,CAAC;QAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAE1D,OAAO;YACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;YAC1B,GAAG,EAAE,SAA2B;YAChC,IAAI,EAAE,gBAAgB;SACtB,CAAC;IACH,CAAC;IAED,KAAK,UAAU,GAAG,CAAC,KAAqB,EAAE,KAAyB;QAClE,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,CAAC,oBAAoB;QAClC,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,iBAAiB;IAChC,CAAC;IAED,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAE1D,OAAO;QACN,MAAM,EAAE,CAAC,gBAAgB,CAAC;QAC1B,GAAG,EAAE,GAAqB;QAC1B,IAAI,EAAE,QAAQ;KACd,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/unary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unary.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/unary.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CA0FhF"}
+{"version":3,"file":"unary.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/unary.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CA0HhF"}

package/dist/src/runtime/emit/unary.js

@@ -11,7 +11,7 @@ export function emitUnaryOp(plan, ctx) {
     const operator = plan.expression.operator.toUpperCase();
     switch (operator) {
         case 'NOT':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 // SQL NOT: NULL -> NULL, false -> true, true -> false
                 if (operand === null)
                     return null;
@@ -20,19 +20,47 @@ export function emitUnaryOp(plan, ctx) {
             note = 'NOT';
             break;
         case 'IS NULL':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 return operand === null;
             };
             note = 'IS NULL';
             break;
         case 'IS NOT NULL':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 return operand !== null;
             };
             note = 'IS NOT NULL';
             break;
+        case 'IS TRUE':
+            run = (_ctx, operand) => {
+                // Total predicate: NULL operand is not true; otherwise SQL truthiness.
+                return operand === null ? false : isTruthy(operand);
+            };
+            note = 'IS TRUE';
+            break;
+        case 'IS NOT TRUE':
+            run = (_ctx, operand) => {
+                // ≡ NOT (x IS TRUE): the NULL row flips into the true bucket.
+                return operand === null ? true : !isTruthy(operand);
+            };
+            note = 'IS NOT TRUE';
+            break;
+        case 'IS FALSE':
+            run = (_ctx, operand) => {
+                // Total predicate: NULL operand is not false; otherwise not-truthy.
+                return operand === null ? false : !isTruthy(operand);
+            };
+            note = 'IS FALSE';
+            break;
+        case 'IS NOT FALSE':
+            run = (_ctx, operand) => {
+                // ≡ NOT (x IS FALSE): the NULL row flips into the true bucket.
+                return operand === null ? true : isTruthy(operand);
+            };
+            note = 'IS NOT FALSE';
+            break;
         case '-':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 if (operand === null)
                     return null;
                 // Check if it's a timespan (ISO 8601 duration string)
@@ -57,7 +85,7 @@ export function emitUnaryOp(plan, ctx) {
             note = 'unary -';
             break;
         case '+':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 // Unary plus - convert to number if possible
                 if (operand === null)
                     return null;
@@ -69,7 +97,7 @@ export function emitUnaryOp(plan, ctx) {
             note = 'unary +';
             break;
         case '~':
-            run = (ctx, operand) => {
+            run = (_ctx, operand) => {
                 if (operand === null)
                     return null;
                 if (typeof operand === 'bigint')

package/dist/src/runtime/emit/unary.js.map

@@ -1 +1 @@
-{"version":3,"file":"unary.js","sourceRoot":"","sources":["../../../../src/runtime/emit/unary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,MAAM,UAAU,WAAW,CAAC,IAAiB,EAAE,GAAoB;IAClE,6CAA6C;IAC7C,IAAI,GAAyD,CAAC;IAC9D,IAAI,IAAY,CAAC;IAEjB,gEAAgE;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IAExD,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,KAAK;YACT,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,sDAAsD;gBACtD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC,CAAC;YACF,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QAEP,KAAK,SAAS;YACb,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,OAAO,OAAO,KAAK,IAAI,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,aAAa;YACjB,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,OAAO,OAAO,KAAK,IAAI,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,aAAa,CAAC;YACrB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAElC,sDAAsD;gBACtD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBAC1F,IAAI,CAAC;wBACJ,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBACjD,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;oBACtC,CAAC;oBAAC,MAAM,CAAC;wBACR,yDAAyD;oBAC1D,CAAC;gBACF,CAAC;gBAED,mBAAmB;gBACnB,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,2BAA2B;gBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACjC,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,6CAA6C;gBAC7C,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,OAAO,CAAC;gBAC/E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAChC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACxC,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,GAAmB,EAAE,OAAiB,EAAE,EAAE;gBAChD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,2CAA2C;gBAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5B,IAAI,KAAK,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,WAAW,CAAC;YACnB,MAAM;QAEP;YACC,YAAY,CAAC,+BAA+B,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9H,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAEpD,OAAO;QACN,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,GAAG,EAAE,GAAqB;QAC1B,IAAI;KACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"unary.js","sourceRoot":"","sources":["../../../../src/runtime/emit/unary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,MAAM,UAAU,WAAW,CAAC,IAAiB,EAAE,GAAoB;IAClE,6CAA6C;IAC7C,IAAI,GAAyD,CAAC;IAC9D,IAAI,IAAY,CAAC;IAEjB,gEAAgE;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IAExD,QAAQ,QAAQ,EAAE,CAAC;QAClB,KAAK,KAAK;YACT,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,sDAAsD;gBACtD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC,CAAC;YACF,IAAI,GAAG,KAAK,CAAC;YACb,MAAM;QAEP,KAAK,SAAS;YACb,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,OAAO,OAAO,KAAK,IAAI,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,aAAa;YACjB,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,OAAO,OAAO,KAAK,IAAI,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,aAAa,CAAC;YACrB,MAAM;QAEP,KAAK,SAAS;YACb,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,uEAAuE;gBACvE,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACrD,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,aAAa;YACjB,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,8DAA8D;gBAC9D,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACrD,CAAC,CAAC;YACF,IAAI,GAAG,aAAa,CAAC;YACrB,MAAM;QAEP,KAAK,UAAU;YACd,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,oEAAoE;gBACpE,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACtD,CAAC,CAAC;YACF,IAAI,GAAG,UAAU,CAAC;YAClB,MAAM;QAEP,KAAK,cAAc;YAClB,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,+DAA+D;gBAC/D,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpD,CAAC,CAAC;YACF,IAAI,GAAG,cAAc,CAAC;YACtB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAElC,sDAAsD;gBACtD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;oBAC1F,IAAI,CAAC;wBACJ,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;wBACjD,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC;oBACtC,CAAC;oBAAC,MAAM,CAAC;wBACR,yDAAyD;oBAC1D,CAAC;gBACF,CAAC;gBAED,mBAAmB;gBACnB,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,2BAA2B;gBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACjC,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,6CAA6C;gBAC7C,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,OAAO,CAAC;gBAC/E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAChC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACxC,CAAC,CAAC;YACF,IAAI,GAAG,SAAS,CAAC;YACjB,MAAM;QAEP,KAAK,GAAG;YACP,GAAG,GAAG,CAAC,IAAoB,EAAE,OAAiB,EAAE,EAAE;gBACjD,IAAI,OAAO,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAClC,IAAI,OAAO,OAAO,KAAK,QAAQ;oBAAE,OAAO,CAAC,OAAO,CAAC;gBACjD,2CAA2C;gBAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5B,IAAI,KAAK,CAAC,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACzB,CAAC,CAAC;YACF,IAAI,GAAG,WAAW,CAAC;YACnB,MAAM;QAEP;YACC,YAAY,CAAC,+BAA+B,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9H,CAAC;IAED,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAEpD,OAAO;QACN,MAAM,EAAE,CAAC,WAAW,CAAC;QACrB,GAAG,EAAE,GAAqB;QAC1B,IAAI;KACJ,CAAC;AACH,CAAC"}

package/dist/src/runtime/emit/view-mutation.d.ts

@@ -0,0 +1,70 @@
+import type { ViewMutationNode } from '../../planner/nodes/view-mutation-node.js';
+import type { Instruction } from '../types.js';
+import type { EmissionContext } from '../emission-context.js';
+/**
+ * Emit a view-/MV-mediated mutation.
+ *
+ * Each base op is a fully-built base-table DML subtree (Sink-topped for the
+ * non-RETURNING spine). They are emitted as **callbacks** (`emitCallFromPlan`
+ * wraps each subtree in its own sub-program) rather than bare params, then this
+ * instruction's `run` invokes them **sequentially**, awaiting each to completion
+ * before starting the next.
+ *
+ * This sequencing is load-bearing for multi-source decomposition: the scheduler
+ * kicks off sibling params concurrently (it does not await one before starting
+ * the next — see `Scheduler.runAsync`), so a bare-param fan-out would interleave
+ * the base writes and lose the FK-parent-before-child ordering the decomposition
+ * decided. Driving the callbacks in list order here makes the emitted order the
+ * executed order. For the single-source spine there is exactly one base op, so
+ * this degenerates to driving that one to completion.
+ *
+ * **Shared-surrogate envelope (multi-source insert).** When `plan.envelope` is
+ * present, before any base op runs this:
+ *   1. materializes the augmented source once into an array (every supplied view
+ *      column, in projection order);
+ *   2. if `keyDefault` is set, evaluates the anchor key column's `default` **once per
+ *      produced row** — with `rctx.mutationOrdinal` set to the row's 1-based ordinal so
+ *      `mutation_ordinal()` resolves, and any `max()` subquery observing pre-mutation
+ *      state — and appends the value as the last column of each row (the
+ *      evaluate-once-per-row, thread-everywhere shared key); and
+ *   3. stashes the rows in `rctx.tableContexts` under the envelope descriptor.
+ * The base ops (run with this same `rctx`) each read those rows back through an
+ * `EnvelopeScanNode`, so the shared key is identical across the fan-out. The
+ * context entry is removed in a `finally` so it never leaks past the statement.
+ *
+ * **RETURNING-through-view.** When the mutation has a `returning` clause the node
+ * is relational and this emitter yields the view-projected rows (materialized
+ * eagerly, so the base writes fire inside `run` regardless of the node's position
+ * in a block — matching the void path's eager drain). Two shapes:
+ *   - *single-source*: the RETURNING clause was rewritten onto the (sole) base op,
+ *     which plans to a relational `ReturningNode`. `run` drains every base op and
+ *     surfaces that one's rows (NEW for insert/update, OLD for delete).
+ *   - *multi-source* update/delete: `plan.returning` is a separate re-query. A
+ *     delete captures it **before** the base ops fire (`returningTiming === 'pre'` —
+ *     the rows are about to disappear). An update (`'post'`) reads the post-mutation
+ *     join body restricted to the `plan.identityCapture` identities (so a row the
+ *     update pushed out of the view filter, or whose predicate column it rewrote, is
+ *     still returned).
+ *
+ * **Up-front identity capture (multi-source update / multi-side delete).** When
+ * `plan.identityCapture` is present, before any base op runs this materializes each
+ * affected view row's base-PK identities into `rctx.tableContexts` under the capture
+ * descriptor — read back by descriptor by the multi-side base ops' identifying
+ * subqueries (`<pk> in (select k<side> from __vmupd_keys)`) and/or the post-mutation
+ * RETURNING re-query. Wrapped across all branches (a both-sides update / multi-side
+ * delete without RETURNING still needs it) and removed in a `finally`. Mutually
+ * exclusive with the insert envelope.
+ *
+ * **Chained nested captures (set-op multi-source leg compose).** `plan.nestedCaptures`
+ * adds further captures materialized AFTER the primary, in list order, before the base
+ * ops. A nested capture's source may scan a strictly-earlier capture's rows (e.g. an
+ * inner base-PK capture whose `memberExists` probe reads the outer set-op capture's
+ * `__vmupd_keys`), so they are materialized primary → nested[0] → nested[1] → … and torn
+ * down in REVERSE in a `finally` (so a throw mid-statement leaks no context entry).
+ *
+ * Without a `returning` clause every base op is a side-effect statement that
+ * yields nothing and this node yields nothing; the block emitter treats it like a
+ * Sink for result selection.
+ */
+export declare function emitViewMutation(plan: ViewMutationNode, ctx: EmissionContext): Instruction;
+//# sourceMappingURL=view-mutation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"view-mutation.d.ts","sourceRoot":"","sources":["../../../../src/runtime/emit/view-mutation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAElF,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,aAAa,CAAC;AAE/E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAQ9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,eAAe,GAAG,WAAW,CAoO1F"}

package/dist/src/runtime/emit/view-mutation.js

@@ -0,0 +1,299 @@
+import { isRelationalNode } from '../../planner/nodes/plan-node.js';
+import { emitCallFromPlan } from '../emitters.js';
+import { isAsyncIterable } from '../utils.js';
+import { createRowSlot } from '../context-helpers.js';
+/**
+ * Emit a view-/MV-mediated mutation.
+ *
+ * Each base op is a fully-built base-table DML subtree (Sink-topped for the
+ * non-RETURNING spine). They are emitted as **callbacks** (`emitCallFromPlan`
+ * wraps each subtree in its own sub-program) rather than bare params, then this
+ * instruction's `run` invokes them **sequentially**, awaiting each to completion
+ * before starting the next.
+ *
+ * This sequencing is load-bearing for multi-source decomposition: the scheduler
+ * kicks off sibling params concurrently (it does not await one before starting
+ * the next — see `Scheduler.runAsync`), so a bare-param fan-out would interleave
+ * the base writes and lose the FK-parent-before-child ordering the decomposition
+ * decided. Driving the callbacks in list order here makes the emitted order the
+ * executed order. For the single-source spine there is exactly one base op, so
+ * this degenerates to driving that one to completion.
+ *
+ * **Shared-surrogate envelope (multi-source insert).** When `plan.envelope` is
+ * present, before any base op runs this:
+ *   1. materializes the augmented source once into an array (every supplied view
+ *      column, in projection order);
+ *   2. if `keyDefault` is set, evaluates the anchor key column's `default` **once per
+ *      produced row** — with `rctx.mutationOrdinal` set to the row's 1-based ordinal so
+ *      `mutation_ordinal()` resolves, and any `max()` subquery observing pre-mutation
+ *      state — and appends the value as the last column of each row (the
+ *      evaluate-once-per-row, thread-everywhere shared key); and
+ *   3. stashes the rows in `rctx.tableContexts` under the envelope descriptor.
+ * The base ops (run with this same `rctx`) each read those rows back through an
+ * `EnvelopeScanNode`, so the shared key is identical across the fan-out. The
+ * context entry is removed in a `finally` so it never leaks past the statement.
+ *
+ * **RETURNING-through-view.** When the mutation has a `returning` clause the node
+ * is relational and this emitter yields the view-projected rows (materialized
+ * eagerly, so the base writes fire inside `run` regardless of the node's position
+ * in a block — matching the void path's eager drain). Two shapes:
+ *   - *single-source*: the RETURNING clause was rewritten onto the (sole) base op,
+ *     which plans to a relational `ReturningNode`. `run` drains every base op and
+ *     surfaces that one's rows (NEW for insert/update, OLD for delete).
+ *   - *multi-source* update/delete: `plan.returning` is a separate re-query. A
+ *     delete captures it **before** the base ops fire (`returningTiming === 'pre'` —
+ *     the rows are about to disappear). An update (`'post'`) reads the post-mutation
+ *     join body restricted to the `plan.identityCapture` identities (so a row the
+ *     update pushed out of the view filter, or whose predicate column it rewrote, is
+ *     still returned).
+ *
+ * **Up-front identity capture (multi-source update / multi-side delete).** When
+ * `plan.identityCapture` is present, before any base op runs this materializes each
+ * affected view row's base-PK identities into `rctx.tableContexts` under the capture
+ * descriptor — read back by descriptor by the multi-side base ops' identifying
+ * subqueries (`<pk> in (select k<side> from __vmupd_keys)`) and/or the post-mutation
+ * RETURNING re-query. Wrapped across all branches (a both-sides update / multi-side
+ * delete without RETURNING still needs it) and removed in a `finally`. Mutually
+ * exclusive with the insert envelope.
+ *
+ * **Chained nested captures (set-op multi-source leg compose).** `plan.nestedCaptures`
+ * adds further captures materialized AFTER the primary, in list order, before the base
+ * ops. A nested capture's source may scan a strictly-earlier capture's rows (e.g. an
+ * inner base-PK capture whose `memberExists` probe reads the outer set-op capture's
+ * `__vmupd_keys`), so they are materialized primary → nested[0] → nested[1] → … and torn
+ * down in REVERSE in a `finally` (so a throw mid-statement leaks no context entry).
+ *
+ * Without a `returning` clause every base op is a side-effect statement that
+ * yields nothing and this node yields nothing; the block emitter treats it like a
+ * Sink for result selection.
+ */
+export function emitViewMutation(plan, ctx) {
+    const baseOpInstructions = plan.baseOps.map(op => emitCallFromPlan(op, ctx));
+    const baseOpCount = baseOpInstructions.length;
+    const envelope = plan.envelope;
+    const descriptor = envelope?.descriptor;
+    // When set, the anchor key column's `default` is evaluated once per produced row at
+    // the envelope (with `mutation_ordinal()` in scope) and appended as the shared key.
+    const hasKeyDefault = !!envelope?.keyDefault;
+    // The relational base op carrying a single-source RETURNING (the rewritten,
+    // view-projected clause), or -1. Mutually exclusive with `plan.returning`.
+    const relationalBaseIdx = plan.baseOps.findIndex(op => isRelationalNode(op));
+    const returningTiming = plan.returningTiming;
+    // The up-front identity-capture side input for a multi-source UPDATE / multi-side
+    // DELETE fan-out: its rows (each affected view row's base-PK identities) are
+    // materialized into context (under this descriptor) BEFORE the base ops run, and
+    // read back by descriptor by the multi-side base ops' identifying subqueries
+    // and/or the post-mutation RETURNING re-query. Present for a both-sides update
+    // (with or without RETURNING), a single-side update with RETURNING, and a
+    // multi-side delete fan-out (with or without RETURNING).
+    const capture = plan.identityCapture;
+    const captureDescriptor = capture?.descriptor;
+    // Nested identity captures (set-op multi-source leg compose): materialized AFTER the
+    // primary capture, in list order, BEFORE the base ops. Each nested source may scan a
+    // strictly-earlier capture's materialized rows (the primary, or an earlier nested
+    // entry), so the materialization order is load-bearing.
+    const nestedCaptures = plan.nestedCaptures ?? [];
+    // Params follow the same order `ViewMutationNode.getChildren` threads them in:
+    // base-op callbacks, then the optional RETURNING re-query, then the optional
+    // identity-capture source, then the nested-capture sources (in list order), then the
+    // envelope source + optional surrogate seed — so the scheduler resolves every
+    // sub-program before `run`.
+    const params = [...baseOpInstructions];
+    let cursor = baseOpCount;
+    let returningIdx = -1;
+    if (plan.returning) {
+        returningIdx = cursor++;
+        params.push(emitCallFromPlan(plan.returning, ctx));
+    }
+    let captureIdx = -1;
+    if (capture) {
+        captureIdx = cursor++;
+        params.push(emitCallFromPlan(capture.source, ctx));
+    }
+    // One param slot per nested capture source, in list order, immediately after the
+    // primary capture and before the envelope source — matching `getChildren`.
+    const nestedCaptureIdxs = [];
+    for (const nested of nestedCaptures) {
+        nestedCaptureIdxs.push(cursor++);
+        params.push(emitCallFromPlan(nested.source, ctx));
+    }
+    let envSourceIdx = -1;
+    if (envelope) {
+        envSourceIdx = cursor++;
+        params.push(emitCallFromPlan(envelope.source, ctx));
+    }
+    let keyDefaultIdx = -1;
+    if (envelope?.keyDefault) {
+        keyDefaultIdx = cursor++;
+        params.push(emitCallFromPlan(envelope.keyDefault, ctx));
+    }
+    async function drainBaseOps(rctx, baseCbs) {
+        for (const cb of baseCbs) {
+            const result = cb(rctx);
+            const resolved = result instanceof Promise ? await result : result;
+            // A Sink-topped base op resolves to null; defensively drain a relational
+            // result so its writes fire before the next op.
+            if (isAsyncIterable(resolved)) {
+                for await (const _row of resolved) { /* drain side effects */ }
+            }
+        }
+    }
+    /** Drain a base-op / re-query callback result fully into a materialized row array. */
+    async function collectRows(value) {
+        const resolved = value instanceof Promise ? await value : value;
+        const rows = [];
+        if (isAsyncIterable(resolved)) {
+            for await (const row of resolved)
+                rows.push(row);
+        }
+        return rows;
+    }
+    async function materializeEnvelope(rctx, sourceCb, keyDefaultCb, keyDefaultRowDescriptor) {
+        const rows = [];
+        const sourceResult = sourceCb(rctx);
+        const resolved = sourceResult instanceof Promise ? await sourceResult : sourceResult;
+        if (isAsyncIterable(resolved)) {
+            // Save/restore the ambient ordinal so a nested mutation never sees a stale
+            // value and it does not leak past the envelope.
+            const savedOrdinal = rctx.mutationOrdinal;
+            // When the key default reads supplied siblings via `new.<col>`, expose THIS
+            // row (the supplied columns, before the `__shared_key` is appended) to those
+            // column refs through a row slot over the key default's descriptor. Installed
+            // once, updated by reference per row, torn down in `finally`.
+            const keySlot = keyDefaultCb && keyDefaultRowDescriptor
+                ? createRowSlot(rctx, keyDefaultRowDescriptor)
+                : undefined;
+            let ordinal = 0;
+            try {
+                for await (const row of resolved) {
+                    ordinal += 1;
+                    if (keyDefaultCb) {
+                        // Evaluate the anchor key column's `default` once for THIS row, with
+                        // `mutation_ordinal()` resolving to its 1-based ordinal and any `max()`
+                        // subquery observing pre-mutation state (no base write has fired). The
+                        // single value threads into every member's key column via the EC.
+                        rctx.mutationOrdinal = ordinal;
+                        keySlot?.set(row);
+                        const minted = await keyDefaultCb(rctx);
+                        rows.push([...row, minted]);
+                    }
+                    else {
+                        rows.push(row);
+                    }
+                }
+            }
+            finally {
+                rctx.mutationOrdinal = savedOrdinal;
+                keySlot?.close();
+            }
+        }
+        return rows;
+    }
+    async function run(rctx, ...args) {
+        const baseCbs = args.slice(0, baseOpCount);
+        // Identity captures (multi-source UPDATE / multi-side DELETE fan-out, and the
+        // set-op leg compose's chained captures): materialize each affected-row capture's
+        // rows into context BEFORE any base op runs, then run the body. This wraps ALL
+        // branches — the multi-side base ops (which read `__vmupd_keys` by descriptor) and
+        // the post-mutation RETURNING re-query both read the captured set, and a multi-side
+        // mutation WITHOUT RETURNING still needs it for the base ops.
+        //
+        // The captures are materialized in a load-bearing order: the primary
+        // `identityCapture` first, then each nested capture in list order. A nested
+        // capture's source may scan a STRICTLY-earlier capture's rows (read back by
+        // descriptor), so the earlier `tableContexts` entry must already be set when the
+        // nested source runs. Each entry set is removed in `finally`, in REVERSE order, so
+        // a partially-run statement (a base op — or a later nested capture's
+        // materialization — throwing) never leaks a context entry into a sibling statement.
+        //
+        // Ordered off whatever captures are present (primary-then-nested), so a statement
+        // with nested captures but no primary is handled cleanly too.
+        const orderedCaptureIdxs = [];
+        if (captureIdx >= 0 && captureDescriptor) {
+            orderedCaptureIdxs.push({ descriptor: captureDescriptor, idx: captureIdx });
+        }
+        for (let i = 0; i < nestedCaptureIdxs.length; i++) {
+            orderedCaptureIdxs.push({ descriptor: nestedCaptures[i].descriptor, idx: nestedCaptureIdxs[i] });
+        }
+        if (orderedCaptureIdxs.length === 0) {
+            return runBody(rctx, args, baseCbs);
+        }
+        // Teardown stack: only the descriptors actually set are removed (in reverse), so a
+        // throw mid-materialization tears down exactly what was installed.
+        const setDescriptors = [];
+        try {
+            for (const { descriptor: capDescriptor, idx } of orderedCaptureIdxs) {
+                const captureRows = await collectRows(args[idx](rctx));
+                rctx.tableContexts.set(capDescriptor, () => arrayIterable(captureRows));
+                setDescriptors.push(capDescriptor);
+            }
+            return await runBody(rctx, args, baseCbs);
+        }
+        finally {
+            for (let i = setDescriptors.length - 1; i >= 0; i--) {
+                rctx.tableContexts.delete(setDescriptors[i]);
+            }
+        }
+    }
+    async function runBody(rctx, args, baseCbs) {
+        // (1) Multi-source RETURNING via a separate re-query of the view.
+        if (returningIdx >= 0) {
+            const returningCb = args[returningIdx];
+            if (returningTiming === 'pre') {
+                // delete: capture the to-be-deleted view rows before the base ops fire.
+                const rows = await collectRows(returningCb(rctx));
+                await drainBaseOps(rctx, baseCbs);
+                return arrayIterable(rows);
+            }
+            // update (post): the identity capture (if any) was already materialized by
+            // `run`'s wrapper; mutate, then the re-query reads the post-mutation image
+            // restricted to those captured identities (robust against an update that
+            // rewrites its own predicate column).
+            await drainBaseOps(rctx, baseCbs);
+            return arrayIterable(await collectRows(returningCb(rctx)));
+        }
+        // (2) Single-source RETURNING rewritten onto the (sole) relational base op.
+        // Drain every base op in list order (firing writes); surface the relational
+        // one's view-projected rows.
+        if (relationalBaseIdx >= 0) {
+            let resultRows = [];
+            for (let i = 0; i < baseCbs.length; i++) {
+                const rows = await collectRows(baseCbs[i](rctx));
+                if (i === relationalBaseIdx)
+                    resultRows = rows;
+            }
+            return arrayIterable(resultRows);
+        }
+        // (3) Void mutation (no RETURNING): drive the base ops, yield nothing. A
+        // both-sides update / multi-side delete fan-out without RETURNING lands here
+        // with its identity capture already materialized by `run`, so the base ops read
+        // `__vmupd_keys`.
+        if (!descriptor) {
+            await drainBaseOps(rctx, baseCbs);
+            return null;
+        }
+        const sourceCb = args[envSourceIdx];
+        const keyDefaultCb = hasKeyDefault ? args[keyDefaultIdx] : undefined;
+        const rows = await materializeEnvelope(rctx, sourceCb, keyDefaultCb, envelope?.keyDefaultRowDescriptor);
+        rctx.tableContexts.set(descriptor, () => arrayIterable(rows));
+        try {
+            await drainBaseOps(rctx, baseCbs);
+        }
+        finally {
+            rctx.tableContexts.delete(descriptor);
+        }
+        return null;
+    }
+    const retNote = plan.returning ? ` +returning(${returningTiming}${capture ? '+capture' : ''})` : relationalBaseIdx >= 0 ? ' +returning' : '';
+    const nestedNote = nestedCaptures.length > 0 ? ` +nested(${nestedCaptures.length})` : '';
+    return {
+        params,
+        run: run,
+        note: `viewMutation(${baseOpCount} base op${baseOpCount === 1 ? '' : 's'}${envelope ? ' +envelope' : ''}${retNote}${nestedNote})`,
+    };
+}
+async function* arrayIterable(rows) {
+    for (const row of rows)
+        yield row;
+}
+//# sourceMappingURL=view-mutation.js.map