@quereus/quereus 3.3.0 → 4.1.0

package/dist/src/parser/visitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"visitor.d.ts","sourceRoot":"","sources":["../../../src/parser/visitor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AAMrC;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IACnC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC;IAEvC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC;IAC7D,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,GAAG,OAAO,CAAC;IACnE,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,GAAG,OAAO,CAAC;IACnE,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IAC3D,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,GAAG,OAAO,CAAC;IACzD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC;IAC7D,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,KAAK,IAAI,GAAG,OAAO,CAAC;IAC/D,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,KAAK,IAAI,GAAG,OAAO,CAAC;IAC/D,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,kBAAkB,KAAK,IAAI,GAAG,OAAO,CAAC;IAC3E,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,gBAAgB,KAAK,IAAI,GAAG,OAAO,CAAC;IACvE,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC;IAC/C,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC;IACrD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC;IAC7C,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,aAAa,KAAK,IAAI,CAAC;CACnD;AACD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,GAAG,SAAS,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAwL/F"}
+{"version":3,"file":"visitor.d.ts","sourceRoot":"","sources":["../../../src/parser/visitor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAC;AAMrC;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IACnC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC;IAClD,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC;IAEvC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC;IAC7D,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IACrD,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,GAAG,OAAO,CAAC;IACnE,mBAAmB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,GAAG,OAAO,CAAC;IACnE,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,GAAG,OAAO,CAAC;IAC3D,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,GAAG,OAAO,CAAC;IACzD,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,GAAG,OAAO,CAAC;IAC7D,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,KAAK,IAAI,GAAG,OAAO,CAAC;IAC/D,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,KAAK,IAAI,GAAG,OAAO,CAAC;IAC/D,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,kBAAkB,KAAK,IAAI,GAAG,OAAO,CAAC;IAC3E,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,gBAAgB,KAAK,IAAI,GAAG,OAAO,CAAC;IACvE,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC;IAC/C,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,KAAK,IAAI,CAAC;IACrD,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC;IAC7C,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,aAAa,KAAK,IAAI,CAAC;CACnD;AACD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,GAAG,SAAS,EAAE,SAAS,EAAE,mBAAmB,GAAG,IAAI,CA4L/F"}

package/dist/src/parser/visitor.js

@@ -29,7 +29,12 @@ export function traverseAst(node, callbacks) {
         case 'select': {
             const stmt = node;
             stmt.withClause?.ctes.forEach(cte => traverseAst(cte.query, callbacks));
-            (stmt.columns ?? []).forEach(c => c.type === 'column' && traverseAst(c.expr, callbacks));
+            (stmt.columns ?? []).forEach(c => {
+                if (c.type === 'column') {
+                    traverseAst(c.expr, callbacks);
+                    c.inverse?.forEach(a => traverseAst(a.expr, callbacks));
+                }
+            });
             (stmt.from ?? []).forEach(f => traverseAst(f, callbacks));
             traverseAst(stmt.where, callbacks);
             (stmt.groupBy ?? []).forEach(g => traverseAst(g, callbacks));
@@ -44,14 +49,16 @@ export function traverseAst(node, callbacks) {
             const stmt = node;
             stmt.withClause?.ctes.forEach(cte => traverseAst(cte.query, callbacks));
             traverseAst(stmt.table, callbacks);
-            (stmt.values ?? []).forEach(row => row.forEach(v => traverseAst(v, callbacks)));
-            traverseAst(stmt.select, callbacks);
+            traverseAst(stmt.source, callbacks);
             break;
         }
         case 'update': {
             const stmt = node;
             stmt.withClause?.ctes.forEach(cte => traverseAst(cte.query, callbacks));
             traverseAst(stmt.table, callbacks);
+            // Inline subquery write target (`update (select …) as v …`): the real body
+            // hangs off `targetSource`; `table` is only a synthetic alias placeholder.
+            traverseAst(stmt.targetSource, callbacks);
             stmt.assignments.forEach(a => traverseAst(a.value, callbacks));
             traverseAst(stmt.where, callbacks);
             break;
@@ -60,6 +67,8 @@ export function traverseAst(node, callbacks) {
             const stmt = node;
             stmt.withClause?.ctes.forEach(cte => traverseAst(cte.query, callbacks));
             traverseAst(stmt.table, callbacks);
+            // See `update` above — the inline subquery write target's body is on `targetSource`.
+            traverseAst(stmt.targetSource, callbacks);
             traverseAst(stmt.where, callbacks);
             break;
         }
@@ -153,11 +162,6 @@ export function traverseAst(node, callbacks) {
             traverseAst(betweenExpr.upper, callbacks);
             break;
         }
-        case 'mutatingSubquerySource': {
-            const mutSrc = node;
-            traverseAst(mutSrc.stmt, callbacks);
-            break;
-        }
         // Leaf nodes (literal, identifier, column, parameter) are handled by specific visitors or enterNode
         case 'literal':
         case 'identifier':

package/dist/src/parser/visitor.js.map

@@ -1 +1 @@
-{"version":3,"file":"visitor.js","sourceRoot":"","sources":["../../../src/parser/visitor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,MAAM,GAAG,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,yBAAyB;AACrE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAiCnC;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAA6B,EAAE,SAA8B;IACxF,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,CAAC,kCAAkC;IACjE,CAAC;IAED,mCAAmC;IACnC,MAAM,kBAAkB,GAAG,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAA+B,CAAC;IACzH,IAAI,SAAS,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACnC,8DAA8D;QAC9D,MAAM,eAAe,GAAG,SAAS,CAAC,kBAAkB,CAA+B,CAAC;QACpF,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,CAAC,yCAAyC;IACxE,CAAC;IAED,mDAAmD;IACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YACzF,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YAClE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAC9C,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YAChF,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YACxE,MAAM;QACP,CAAC;QACD,KAAK,OAAO;YACX,2CAA2C;YAC3C,MAAM;QACP,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACvC,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,IAA0B,CAAC;YAC9C,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YACxD,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,IAA0B,CAAC;YAC9C,WAAW,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,WAAW,CAAE,IAAuD,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACtF,MAAM;QACP,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAwB,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAClD,MAAM;QACP,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAwB,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,OAAO,GAAG,IAA8B,CAAC;YAC/C,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACzC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACvC,MAAM;QACP,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,IAA4B,CAAC;YAC5C,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YACnE,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YACpE,iFAAiF;YACjF,MAAM;QACP,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,IAAoB,CAAC;YACtC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;gBACrC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAChC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACjC,CAAC,CAAC,CAAC;YACH,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM;QACP,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,IAAkB,CAAC;YAClC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9D,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACxC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,UAAU,GAAG,IAAsB,CAAC;YAC1C,WAAW,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM;QACP,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,WAAW,GAAG,IAAuB,CAAC;YAC5C,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACzC,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM;QACP,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAkC,CAAC;YAClD,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpC,MAAM;QACP,CAAC;QACD,oGAAoG;QACpG,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACf,MAAM;QACP,4EAA4E;QAC5E,qCAAqC;QACrC,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,eAAe,CAAC;QACrB,KAAK,MAAM,CAAC,CAAC,mDAAmD;QAChE,KAAK,iBAAiB,EAAE,6BAA6B;YACpD,MAAM;QACP,wCAAwC;QACxC;YACC,OAAO,CAAC,qCAAqC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM;IACR,CAAC;IAED,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACxB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;AACF,CAAC"}
+{"version":3,"file":"visitor.js","sourceRoot":"","sources":["../../../src/parser/visitor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,MAAM,GAAG,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,yBAAyB;AACrE,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAiCnC;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAA6B,EAAE,SAA8B;IACxF,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,CAAC,kCAAkC;IACjE,CAAC;IAED,mCAAmC;IACnC,MAAM,kBAAkB,GAAG,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAA+B,CAAC;IACzH,IAAI,SAAS,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACnC,8DAA8D;QAC9D,MAAM,eAAe,GAAG,SAAS,CAAC,kBAAkB,CAA+B,CAAC;QACpF,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,CAAC,yCAAyC;IACxE,CAAC;IAED,mDAAmD;IACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACzB,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;oBAC/B,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;gBACzD,CAAC;YACF,CAAC,CAAC,CAAC;YACH,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7D,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YAClE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;YAC9C,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACpC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,2EAA2E;YAC3E,2EAA2E;YAC3E,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;YAC1C,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;YACxE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,qFAAqF;YACrF,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;YAC1C,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;YACxE,MAAM;QACP,CAAC;QACD,KAAK,OAAO;YACX,2CAA2C;YAC3C,MAAM;QACP,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YACvC,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,IAA0B,CAAC;YAC9C,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YACxD,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,UAAU,GAAG,IAA0B,CAAC;YAC9C,WAAW,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,IAAsB,CAAC;YACpC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,WAAW,CAAE,IAAuD,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACtF,MAAM;QACP,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAwB,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAClD,MAAM;QACP,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,IAAwB,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACnC,MAAM;QACP,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACvB,MAAM,OAAO,GAAG,IAA8B,CAAC;YAC/C,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACzC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACvC,MAAM;QACP,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,IAA4B,CAAC;YAC5C,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YACnE,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YACpE,iFAAiF;YACjF,MAAM;QACP,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACb,MAAM,QAAQ,GAAG,IAAoB,CAAC;YACtC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,QAAQ,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;gBACrC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAChC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACjC,CAAC,CAAC,CAAC;YACH,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM;QACP,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,IAAkB,CAAC;YAClC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACpC,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;YAC9D,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACxC,MAAM;QACP,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACf,MAAM,UAAU,GAAG,IAAsB,CAAC;YAC1C,WAAW,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC5C,MAAM;QACP,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YAChB,MAAM,WAAW,GAAG,IAAuB,CAAC;YAC5C,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACzC,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,WAAW,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAC1C,MAAM;QACP,CAAC;QACD,oGAAoG;QACpG,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACf,MAAM;QACP,4EAA4E;QAC5E,qCAAqC;QACrC,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa,CAAC;QACnB,KAAK,YAAY,CAAC;QAClB,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,eAAe,CAAC;QACrB,KAAK,MAAM,CAAC,CAAC,mDAAmD;QAChE,KAAK,iBAAiB,EAAE,6BAA6B;YACpD,MAAM;QACP,wCAAwC;QACxC;YACC,OAAO,CAAC,qCAAqC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1D,MAAM;IACR,CAAC;IAED,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;QACxB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;AACF,CAAC"}

package/dist/src/planner/analysis/assertion-classifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assertion-classifier.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,uBAAuB;IACvC,+DAA+D;IAC/D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IACzC,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAID;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC3C,SAAS,EAAE,wBAAwB,EACnC,aAAa,EAAE,aAAa,GAC1B,uBAAuB,GAAG,SAAS,CA0ErC;AAyFD,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CA8D9D"}
+{"version":3,"file":"assertion-classifier.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,uBAAuB;IACvC,+DAA+D;IAC/D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC;;;;;OAKG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IACzC,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAID;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC3C,SAAS,EAAE,wBAAwB,EACnC,aAAa,EAAE,aAAa,GAC1B,uBAAuB,GAAG,SAAS,CA6ErC;AAyFD,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CA8D9D"}

package/dist/src/planner/analysis/assertion-classifier.js

@@ -39,6 +39,10 @@ export function classifyAssertionForHoisting(assertion, schemaManager) {
     if (outer.expr.type !== 'exists')
         return undefined;
     const existsExpr = outer.expr;
+    // The EXISTS subquery is any QueryExpr; the classifier only handles the
+    // canonical SELECT-shaped form. Other forms (VALUES, DML) bail out cleanly.
+    if (existsExpr.subquery.type !== 'select')
+        return undefined;
     const sel = existsExpr.subquery;
     // Strict shape gates on the inner SELECT.
     if (sel.compound)

package/dist/src/planner/analysis/assertion-classifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertion-classifier.js","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAgB1D,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC3C,SAAmC,EACnC,aAA4B;IAE5B,MAAM,IAAI,GAAG,SAAS,CAAC,eAAe,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,+DAA+D;IAC/D,2EAA2E;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAqB,CAAC;IACpC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7D,sBAAsB;IACtB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAsB,CAAC;IAChD,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC;IAEhC,0CAA0C;IAC1C,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnC,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAErC,iCAAiC;IACjC,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC;IAC7B,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,WAAW,GAAG,QAA2B,CAAC;IAEhD,iCAAiC;IACjC,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,CAC1C,WAAW,CAAC,KAAK,CAAC,IAAI,EACtB,WAAW,CAAC,KAAK,CAAC,MAAM,CACxB,CAAC;IACF,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,qEAAqE;IACrE,uEAAuE;IACvE,8BAA8B;IAC9B,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,iCAAiC,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,uEAAuE;IACvE,qEAAqE;IACrE,wBAAwB;IACxB,IAAI,4BAA4B,CAAC,cAAc,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,wEAAwE;IACxE,2EAA2E;IAC3E,wCAAwC;IACxC,IAAI,qBAAqB,CAAC,cAAc,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5D,OAAO;QACN,sBAAsB,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE;QACnG,cAAc;QACd,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;KAC3C,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC/B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACnC,OAAO,EAAE,cAAc;IACvB,kBAAkB,EAAE,mBAAmB;CACvC,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,IAAoB;IAClD,MAAM,KAAK,GAAkB,CAAC,IAAmB,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAwB,CAAC;YACpC,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC7D,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACxD,KAAK,CAAC,IAAI,CAAC,IAAmB,CAAC,CAAC;oBACjC,CAAC;gBACF,CAAC;YACF,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAK,CAAY,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,CAAgB,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iCAAiC,CACzC,IAAoB,EACpB,cAA2C;IAE3C,MAAM,KAAK,GAAkB,CAAC,IAAmB,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;YACnC,iEAAiE;YACjE,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC5B,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACf,6DAA6D;gBAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9D,CAAC;QACF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,IAA0B,CAAC;YACtC,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,sDAAsD;YACtD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBAChD,oEAAoE;gBACpE,oEAAoE;gBACpE,qEAAqE;gBACrE,kEAAkE;gBAClE,8DAA8D;gBAC9D,eAAe;gBACf,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,8EAA8E;YAC9E,MAAM,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACxD,KAAK,CAAC,IAAI,CAAC,IAAmB,CAAC,CAAC;oBACjC,CAAC;gBACF,CAAC;YACF,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAK,CAAY,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,CAAgB,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,mEAAmE;AACnE,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,SAAS,CAAC,IAAoB;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnB,8BAA8B;YAC9B,OAAO,CAAC,CAAC,IAAI,CAAC;QACf,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAmB,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAmB,CAAC;QAC9E,CAAC;QACD,4CAA4C;IAC7C,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpC,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,KAAK;gBACT,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;iBACP,CAAC;YACrB,KAAK,IAAI;gBACR,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;iBACP,CAAC;YACrB,KAAK,GAAG,CAAC;YACT,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI,CAAC;YACV,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F;gBACC,MAAM;QACR,CAAC;IACF,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAuB,CAAC;QACnC,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,+EAA+E;IAC/E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAmB,CAAC;AAClE,CAAC"}
+{"version":3,"file":"assertion-classifier.js","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAgB1D,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC3C,SAAmC,EACnC,aAA4B;IAE5B,MAAM,IAAI,GAAG,SAAS,CAAC,eAAe,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,+DAA+D;IAC/D,2EAA2E;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAqB,CAAC;IACpC,IAAI,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7D,sBAAsB;IACtB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,IAAsB,CAAC;IAChD,wEAAwE;IACxE,4EAA4E;IAC5E,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,QAA0B,CAAC;IAElD,0CAA0C;IAC1C,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnC,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAChC,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACjC,IAAI,GAAG,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAErC,iCAAiC;IACjC,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC;IAC7B,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/D,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,WAAW,GAAG,QAA2B,CAAC;IAEhD,iCAAiC;IACjC,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,CAC1C,WAAW,CAAC,KAAK,CAAC,IAAI,EACtB,WAAW,CAAC,KAAK,CAAC,MAAM,CACxB,CAAC;IACF,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IAEnC,qEAAqE;IACrE,uEAAuE;IACvE,8BAA8B;IAC9B,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,cAAc;QAAE,OAAO,SAAS,CAAC;IAEtC,4EAA4E;IAC5E,4EAA4E;IAC5E,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,iCAAiC,CAAC,cAAc,EAAE,WAAW,CAAC,cAAc,CAAC,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,8EAA8E;IAC9E,yEAAyE;IACzE,uEAAuE;IACvE,qEAAqE;IACrE,wBAAwB;IACxB,IAAI,4BAA4B,CAAC,cAAc,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,wEAAwE;IACxE,2EAA2E;IAC3E,wCAAwC;IACxC,IAAI,qBAAqB,CAAC,cAAc,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5D,OAAO;QACN,sBAAsB,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE;QACnG,cAAc;QACd,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE;KAC3C,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC;IAC/B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACnC,OAAO,EAAE,cAAc;IACvB,kBAAkB,EAAE,mBAAmB;CACvC,CAAC,CAAC;AAEH,SAAS,qBAAqB,CAAC,IAAoB;IAClD,MAAM,KAAK,GAAkB,CAAC,IAAmB,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,IAAwB,CAAC;YACpC,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC7D,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACxD,KAAK,CAAC,IAAI,CAAC,IAAmB,CAAC,CAAC;oBACjC,CAAC;gBACF,CAAC;YACF,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAK,CAAY,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,CAAgB,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iCAAiC,CACzC,IAAoB,EACpB,cAA2C;IAE3C,MAAM,KAAK,GAAkB,CAAC,IAAmB,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAsB,CAAC;YACnC,iEAAiE;YACjE,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC5B,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBACf,6DAA6D;gBAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACP,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAAE,OAAO,IAAI,CAAC;YAC9D,CAAC;QACF,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,IAA0B,CAAC;YACtC,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,sDAAsD;YACtD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBAChD,oEAAoE;gBACpE,oEAAoE;gBACpE,qEAAqE;gBACrE,kEAAkE;gBAClE,8DAA8D;gBAC9D,eAAe;gBACf,OAAO,IAAI,CAAC;YACb,CAAC;QACF,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,8EAA8E;YAC9E,MAAM,CAAC,GAAI,IAA2C,CAAC,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,KAAK,MAAM,IAAI,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;wBACxD,KAAK,CAAC,IAAI,CAAC,IAAmB,CAAC,CAAC;oBACjC,CAAC;gBACF,CAAC;YACF,CAAC;iBAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAK,CAAY,EAAE,CAAC;gBAC7D,KAAK,CAAC,IAAI,CAAC,CAAgB,CAAC,CAAC;YAC9B,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,mEAAmE;AACnE,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,SAAS,CAAC,IAAoB;IAC7C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,IAAqB,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACnB,8BAA8B;YAC9B,OAAO,CAAC,CAAC,IAAI,CAAC;QACf,CAAC;QACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAmB,CAAC;QAClF,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAmB,CAAC;QAC9E,CAAC;QACD,4CAA4C;IAC7C,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAsB,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACpC,QAAQ,EAAE,EAAE,CAAC;YACZ,KAAK,KAAK;gBACT,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,IAAI;oBACd,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;iBACP,CAAC;YACrB,KAAK,IAAI;gBACR,OAAO;oBACN,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;iBACP,CAAC;YACrB,KAAK,GAAG,CAAC;YACT,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI,CAAC;YACV,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F,KAAK,GAAG;gBACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC3F,KAAK,IAAI;gBACR,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAoB,CAAC;YAC1F;gBACC,MAAM;QACR,CAAC;IACF,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAuB,CAAC;QACnC,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IAChC,CAAC;IAED,6EAA6E;IAC7E,+EAA+E;IAC/E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAmB,CAAC;AAClE,CAAC"}

package/dist/src/planner/analysis/assertion-hoist-cache.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assertion-hoist-cache.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-hoist-cache.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EACX,eAAe,EAEf,gBAAgB,EAChB,oBAAoB,EACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,WAAW,EAAkC,MAAM,uBAAuB,CAAC;AACzF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAO7D,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC5D;AAgDD;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC7C,aAAa,EAAE,aAAa,EAC5B,KAAK,EAAE,WAAW,GAChB,0BAA0B,CAmE5B"}
+{"version":3,"file":"assertion-hoist-cache.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-hoist-cache.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EACX,eAAe,EAEf,gBAAgB,EAChB,oBAAoB,EACpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,WAAW,EAAuB,MAAM,uBAAuB,CAAC;AAE9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAO7D,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC1D,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;CAC5D;AAgDD;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC7C,aAAa,EAAE,aAAa,EAC5B,KAAK,EAAE,WAAW,GAChB,0BAA0B,CAuE5B"}

package/dist/src/planner/analysis/assertion-hoist-cache.js

@@ -16,6 +16,7 @@
  * truth in `AssertionEvaluator`).
  */
 import { createLogger } from '../../common/logger.js';
+import { DEFAULT_ROWOP_MASK } from '../../schema/table.js';
 import { extractCheckConstraints } from './check-extraction.js';
 import { classifyAssertionForHoisting, negateAst } from './assertion-classifier.js';
 const log = createLogger('planner:analysis:assertion-hoist');
@@ -79,12 +80,15 @@ export function getAssertionHoistedConstraints(schemaManager, table) {
             continue;
         if (!candidate.innerPredicate)
             continue;
-        // Synthetic check on T: per-row `not P`. `operations` is unused by
-        // extractCheckConstraints; defaulting to 0 is safe.
+        // Synthetic check on T: per-row `not P`. extractCheckConstraints' row-
+        // invariant gate requires the mask to cover INSERT|UPDATE; an assertion
+        // holds for every stored row regardless of how it got there, so the
+        // default mask is the honest encoding (a 0 mask would be silently
+        // dropped by the gate).
         synthChecks.push({
             name: `__assertion_${candidate.assertionName}`,
             expr: negateAst(candidate.innerPredicate),
-            operations: 0,
+            operations: DEFAULT_ROWOP_MASK,
         });
         provenanceByCheckIdx.push({ kind: 'assertion', name: candidate.assertionName });
         log('Hoisted assertion %s onto %s', candidate.assertionName, targetName);
@@ -100,7 +104,7 @@ export function getAssertionHoistedConstraints(schemaManager, table) {
         const domainConstraints = [];
         for (let i = 0; i < synthChecks.length; i++) {
             const prov = provenanceByCheckIdx[i];
-            const ext = extractCheckConstraints([synthChecks[i]], table.columnIndexMap, allDeterministic);
+            const ext = extractCheckConstraints([synthChecks[i]], table.columnIndexMap, allDeterministic, table.columns);
             for (const fd of ext.fds)
                 fds.push({ ...fd, source: prov });
             for (const p of ext.equivPairs)

package/dist/src/planner/analysis/assertion-hoist-cache.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertion-hoist-cache.js","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-hoist-cache.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAUtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,4BAA4B,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEpF,MAAM,GAAG,GAAG,YAAY,CAAC,kCAAkC,CAAC,CAAC;AAS7D,MAAM,KAAK,GAA+B;IACzC,GAAG,EAAE,EAAE;IACP,UAAU,EAAE,EAAE;IACd,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;CACrB,CAAC;AAaF,MAAM,UAAU,GAAG,IAAI,OAAO,EAAqC,CAAC;AAEpE,SAAS,WAAW,CAAC,aAA4B;IAChD,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IAEpB,MAAM,MAAM,GAAuB;QAClC,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,IAAI,OAAO,EAA2B;QAC7C,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;KAC5B,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC,iBAAiB,EAAE,CAAC;IACnD,MAAM,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,KAAwB,EAAE,EAAE;QACtE,IACC,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChC,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAClC,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAClC,CAAC;YACF,MAAM,CAAC,UAAU,EAAE,CAAC;QACrB,CAAC;IACF,CAAC,CAAC,CAAC;IACH,UAAU,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACtC,GAAG,GAAG,MAAM,CAAC;IACb,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC7C,aAA4B,EAC5B,KAAkB;IAElB,yEAAyE;IACzE,2EAA2E;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,gEAAgE;IAChE,IAAI,aAAa,CAAC,0BAA0B,EAAE,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,MAAM,GAAG,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,MAAM,CAAC,KAAK,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnF,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,MAAM,oBAAoB,GAA2B,EAAE,CAAC;IAExD,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,4BAA4B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACzE,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,SAAS,CAAC,sBAAsB,KAAK,UAAU;YAAE,SAAS;QAC9D,IAAI,CAAC,SAAS,CAAC,cAAc;YAAE,SAAS;QAExC,mEAAmE;QACnE,oDAAoD;QACpD,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,eAAe,SAAS,CAAC,aAAa,EAAE;YAC9C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC;YACzC,UAAU,EAAE,CAAc;SAC1B,CAAC,CAAC;QACH,oBAAoB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QAChF,GAAG,CAAC,8BAA8B,EAAE,SAAS,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,MAAM,GAA+B,KAAK,CAAC;IAC/C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,mEAAmE;QACnE,mEAAmE;QACnE,4CAA4C;QAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,MAAM,UAAU,GAAqC,EAAE,CAAC;QACxD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;QAC/C,MAAM,iBAAiB,GAAuB,EAAE,CAAC;QAEjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,GAAG,GAAG,uBAAuB,CAClC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAChB,KAAK,CAAC,cAAc,EACpB,gBAAgB,CAChB,CAAC;YACF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,gBAAgB;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;gBACvC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;QACF,CAAC;QAED,MAAM,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;IACnE,CAAC;IAED,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AACf,CAAC"}
+{"version":3,"file":"assertion-hoist-cache.js","sourceRoot":"","sources":["../../../../src/planner/analysis/assertion-hoist-cache.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAQtD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,4BAA4B,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEpF,MAAM,GAAG,GAAG,YAAY,CAAC,kCAAkC,CAAC,CAAC;AAS7D,MAAM,KAAK,GAA+B;IACzC,GAAG,EAAE,EAAE;IACP,UAAU,EAAE,EAAE;IACd,gBAAgB,EAAE,EAAE;IACpB,iBAAiB,EAAE,EAAE;CACrB,CAAC;AAaF,MAAM,UAAU,GAAG,IAAI,OAAO,EAAqC,CAAC;AAEpE,SAAS,WAAW,CAAC,aAA4B;IAChD,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IAEpB,MAAM,MAAM,GAAuB;QAClC,UAAU,EAAE,CAAC;QACb,KAAK,EAAE,IAAI,OAAO,EAA2B;QAC7C,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS;KAC5B,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC,iBAAiB,EAAE,CAAC;IACnD,MAAM,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,KAAwB,EAAE,EAAE;QACtE,IACC,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAChC,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAClC,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAClC,CAAC;YACF,MAAM,CAAC,UAAU,EAAE,CAAC;QACrB,CAAC;IACF,CAAC,CAAC,CAAC;IACH,UAAU,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACtC,GAAG,GAAG,MAAM,CAAC;IACb,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,MAAM,gBAAgB,GAAG,GAAY,EAAE,CAAC,IAAI,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC7C,aAA4B,EAC5B,KAAkB;IAElB,yEAAyE;IACzE,2EAA2E;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,gEAAgE;IAChE,IAAI,aAAa,CAAC,0BAA0B,EAAE,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,MAAM,GAAG,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;QACpD,OAAO,MAAM,CAAC,KAAK,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;IACnF,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,MAAM,oBAAoB,GAA2B,EAAE,CAAC;IAExD,KAAK,MAAM,SAAS,IAAI,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAG,4BAA4B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACzE,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,SAAS,CAAC,sBAAsB,KAAK,UAAU;YAAE,SAAS;QAC9D,IAAI,CAAC,SAAS,CAAC,cAAc;YAAE,SAAS;QAExC,uEAAuE;QACvE,wEAAwE;QACxE,oEAAoE;QACpE,kEAAkE;QAClE,wBAAwB;QACxB,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,eAAe,SAAS,CAAC,aAAa,EAAE;YAC9C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,cAAc,CAAC;YACzC,UAAU,EAAE,kBAAkB;SAC9B,CAAC,CAAC;QACH,oBAAoB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QAChF,GAAG,CAAC,8BAA8B,EAAE,SAAS,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,MAAM,GAA+B,KAAK,CAAC;IAC/C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,mEAAmE;QACnE,mEAAmE;QACnE,4CAA4C;QAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,MAAM,UAAU,GAAqC,EAAE,CAAC;QACxD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;QAC/C,MAAM,iBAAiB,GAAuB,EAAE,CAAC;QAEjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,GAAG,GAAG,uBAAuB,CAClC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAChB,KAAK,CAAC,cAAc,EACpB,gBAAgB,EAChB,KAAK,CAAC,OAAO,CACb,CAAC;YACF,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU;gBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,gBAAgB;gBAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;gBACvC,iBAAiB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAChD,CAAC;QACF,CAAC;QAED,MAAM,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;IACnE,CAAC;IAED,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AACf,CAAC"}

package/dist/src/planner/analysis/authored-inverse.d.ts

@@ -0,0 +1,22 @@
+import type * as AST from '../../parser/ast.js';
+import type { AuthoredInverseMeta, RelationalPlanNode } from '../nodes/plan-node.js';
+/** The output name of one (non-star) result column, matching `deriveViewColumns`. */
+export declare function resultColumnOutputName(rc: AST.ResultColumnExpr): string;
+/**
+ * Resolve a `new.<name>` reference of an authored put expression against the
+ * site's validated reference index. {@link validateAuthoredInverses} ran on the
+ * same body AST when it was planned, so a miss here is an internal inconsistency,
+ * not a user error. Shared by the single- and multi-source lowering spines.
+ */
+export declare function requireValidatedNewRefIndex(newRefIndex: ReadonlyMap<string, number>, name: string, assignedColumn: string): number;
+/**
+ * Validate every `with inverse` clause of a select's column list against its
+ * planned FROM source, and return the per-result-column metadata (keyed by the
+ * `AST.ResultColumnExpr` object) for the projection builder to attach. Returns
+ * an empty map when no column carries the clause (the common fast path).
+ *
+ * `source` is the select's planned FROM relation (post-WHERE) — its attributes
+ * are the target-resolution namespace and the `*` expansion source.
+ */
+export declare function validateAuthoredInverses(columns: readonly AST.ResultColumn[], source: RelationalPlanNode): Map<AST.ResultColumnExpr, AuthoredInverseMeta>;
+//# sourceMappingURL=authored-inverse.d.ts.map

package/dist/src/planner/analysis/authored-inverse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-inverse.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/authored-inverse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAIhD,OAAO,KAAK,EAAwC,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAqC3H,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,GAAG,CAAC,gBAAgB,GAAG,MAAM,CAEvE;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAC1C,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACxC,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,MAAM,GACpB,MAAM,CASR;AA6ID;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACvC,OAAO,EAAE,SAAS,GAAG,CAAC,YAAY,EAAE,EACpC,MAAM,EAAE,kBAAkB,GACxB,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,CA8EhD"}

package/dist/src/planner/analysis/authored-inverse.js

@@ -0,0 +1,267 @@
+import { QuereusError } from '../../common/errors.js';
+import { StatusCode } from '../../common/types.js';
+import { expressionToString } from '../../emit/ast-stringify.js';
+/**
+ * Build-time validation of the `with inverse (col = expr, …)` result-column
+ * clause (docs/view-updateability.md § Authored inverses). Position-independent:
+ * it runs wherever a select carrying the clause is planned — top-level query,
+ * view body, CTE, subquery-in-FROM — so a typo fails loud even when the relation
+ * is never a write target. Four rules:
+ *
+ *  1. every assignment **target** resolves to exactly one column of the select's
+ *     FROM sources (the same name set any body column ref resolves against);
+ *  2. every **`new.<name>`** reference inside an assignment expression resolves
+ *     to an output column of this select, by output name (case-insensitive);
+ *  3. a non-`new.`-qualified column reference in an assignment expression's own
+ *     scope is an error (the inverse is over the written row only — bare base
+ *     columns are not in scope; subquery-local references are exempt, they
+ *     resolve against the subquery's own FROM);
+ *  4. the same target across two result columns of one select is an error (two
+ *     puts for one base column is ill-defined). A duplicate *within* one clause
+ *     is already a parse error.
+ *
+ * Until the relation is a write target the validated clause is inert metadata:
+ * the returned per-column {@link AuthoredInverseMeta} rides the `Projection` into
+ * `deriveProjectUpdateLineage`, which upgrades the column to a writable
+ * `authored` UpdateSite.
+ */
+/** Source location helper for sited diagnostics (falls back to the clause expr). */
+function locOf(expr) {
+    return { line: expr?.loc?.start.line, column: expr?.loc?.start.column };
+}
+function raiseSited(message, expr) {
+    const { line, column } = locOf(expr);
+    throw new QuereusError(message, StatusCode.ERROR, undefined, line, column);
+}
+/** The output name of one (non-star) result column, matching `deriveViewColumns`. */
+export function resultColumnOutputName(rc) {
+    return rc.alias ?? (rc.expr.type === 'column' ? rc.expr.name : expressionToString(rc.expr));
+}
+/**
+ * Resolve a `new.<name>` reference of an authored put expression against the
+ * site's validated reference index. {@link validateAuthoredInverses} ran on the
+ * same body AST when it was planned, so a miss here is an internal inconsistency,
+ * not a user error. Shared by the single- and multi-source lowering spines.
+ */
+export function requireValidatedNewRefIndex(newRefIndex, name, assignedColumn) {
+    const idx = newRefIndex.get(name.toLowerCase());
+    if (idx === undefined) {
+        throw new QuereusError(`internal: WITH INVERSE reference 'new.${name}' (lowering an assignment to '${assignedColumn}') is missing from the validated reference index`, StatusCode.INTERNAL);
+    }
+    return idx;
+}
+/**
+ * The select's output column names in AST (lexical) order, with `*` / `t.*`
+ * expanded from the FROM source's attributes — the same expansion + ordering
+ * `deriveViewColumns` / the spine consumers use, so `newRefIndex` indexes line up
+ * with their per-column arrays.
+ */
+function collectOutputNames(columns, sourceAttrs) {
+    const names = [];
+    for (const rc of columns) {
+        if (rc.type === 'all') {
+            const matching = rc.table
+                ? sourceAttrs.filter(a => a.relationName && a.relationName.toLowerCase() === rc.table.toLowerCase())
+                : sourceAttrs;
+            for (const attr of matching)
+                names.push(attr.name);
+        }
+        else {
+            names.push(resultColumnOutputName(rc));
+        }
+    }
+    return names;
+}
+/**
+ * Walk every column reference in the assignment expression's OWN scope (i.e. NOT
+ * inside a subquery operand, whose references resolve against the subquery's own
+ * FROM) plus every `new.`-qualified reference at ANY depth (a `new.` ref inside a
+ * correlated subquery is still a written-row read). Mirrors the
+ * `collectWriteRowColumns` walk in `building/view-mutation-builder.ts`.
+ */
+function forEachInverseRef(expr, insideSubquery, visit) {
+    switch (expr.type) {
+        case 'column':
+            visit(expr, insideSubquery);
+            return;
+        case 'binary':
+            forEachInverseRef(expr.left, insideSubquery, visit);
+            forEachInverseRef(expr.right, insideSubquery, visit);
+            return;
+        case 'unary':
+        case 'cast':
+        case 'collate':
+            forEachInverseRef(expr.expr, insideSubquery, visit);
+            return;
+        case 'function':
+            expr.args.forEach(a => forEachInverseRef(a, insideSubquery, visit));
+            return;
+        case 'between':
+            forEachInverseRef(expr.expr, insideSubquery, visit);
+            forEachInverseRef(expr.lower, insideSubquery, visit);
+            forEachInverseRef(expr.upper, insideSubquery, visit);
+            return;
+        case 'case':
+            if (expr.baseExpr)
+                forEachInverseRef(expr.baseExpr, insideSubquery, visit);
+            expr.whenThenClauses.forEach(w => {
+                forEachInverseRef(w.when, insideSubquery, visit);
+                forEachInverseRef(w.then, insideSubquery, visit);
+            });
+            if (expr.elseExpr)
+                forEachInverseRef(expr.elseExpr, insideSubquery, visit);
+            return;
+        case 'in':
+            forEachInverseRef(expr.expr, insideSubquery, visit);
+            if (expr.values)
+                expr.values.forEach(v => forEachInverseRef(v, insideSubquery, visit));
+            if (expr.subquery)
+                forEachInverseQueryRef(expr.subquery, visit);
+            return;
+        case 'subquery':
+            forEachInverseQueryRef(expr.query, visit);
+            return;
+        case 'exists':
+            forEachInverseQueryRef(expr.subquery, visit);
+            return;
+        case 'windowFunction':
+            // Window args / PARTITION BY / ORDER BY / frame bounds sit in the same
+            // scalar scope as the assignment expression — mirror `transformExpr`'s
+            // descent so a ref here is validated (and a `new.` ref registered) rather
+            // than escaping to an internal error at lowering.
+            expr.function.args.forEach(a => forEachInverseRef(a, insideSubquery, visit));
+            if (expr.window) {
+                (expr.window.partitionBy ?? []).forEach(p => forEachInverseRef(p, insideSubquery, visit));
+                (expr.window.orderBy ?? []).forEach(ob => forEachInverseRef(ob.expr, insideSubquery, visit));
+                const frame = expr.window.frame;
+                for (const bound of [frame?.start, frame?.end]) {
+                    if (bound && (bound.type === 'preceding' || bound.type === 'following')) {
+                        forEachInverseRef(bound.value, insideSubquery, visit);
+                    }
+                }
+            }
+            return;
+        default:
+            // literal / identifier / parameter / functionSource —
+            // no column reference to validate.
+            return;
+    }
+}
+/** Descend into a subquery operand: every reference there is `insideSubquery`. */
+function forEachInverseQueryRef(query, visit) {
+    if (query.type === 'select') {
+        for (const rc of query.columns) {
+            if (rc.type !== 'all')
+                forEachInverseRef(rc.expr, true, visit);
+        }
+        for (const fc of query.from ?? [])
+            forEachInverseFromRef(fc, visit);
+        if (query.where)
+            forEachInverseRef(query.where, true, visit);
+        (query.groupBy ?? []).forEach(e => forEachInverseRef(e, true, visit));
+        if (query.having)
+            forEachInverseRef(query.having, true, visit);
+        (query.orderBy ?? []).forEach(ob => forEachInverseRef(ob.expr, true, visit));
+        if (query.limit)
+            forEachInverseRef(query.limit, true, visit);
+        if (query.offset)
+            forEachInverseRef(query.offset, true, visit);
+        if (query.compound)
+            forEachInverseQueryRef(query.compound.select, visit);
+        if (query.union)
+            forEachInverseQueryRef(query.union, visit);
+        return;
+    }
+    if (query.type === 'values') {
+        query.values.forEach(row => row.forEach(e => forEachInverseRef(e, true, visit)));
+    }
+    // A DML subquery inside an inverse expression fails downstream when consumed;
+    // nothing to validate here.
+}
+function forEachInverseFromRef(fc, visit) {
+    switch (fc.type) {
+        case 'table':
+            return;
+        case 'join':
+            forEachInverseFromRef(fc.left, visit);
+            forEachInverseFromRef(fc.right, visit);
+            if (fc.condition)
+                forEachInverseRef(fc.condition, true, visit);
+            return;
+        case 'functionSource':
+            fc.args.forEach(a => forEachInverseRef(a, true, visit));
+            return;
+        case 'subquerySource':
+            forEachInverseQueryRef(fc.subquery, visit);
+            return;
+    }
+}
+/**
+ * Validate every `with inverse` clause of a select's column list against its
+ * planned FROM source, and return the per-result-column metadata (keyed by the
+ * `AST.ResultColumnExpr` object) for the projection builder to attach. Returns
+ * an empty map when no column carries the clause (the common fast path).
+ *
+ * `source` is the select's planned FROM relation (post-WHERE) — its attributes
+ * are the target-resolution namespace and the `*` expansion source.
+ */
+export function validateAuthoredInverses(columns, source) {
+    const out = new Map();
+    if (!columns.some(c => c.type === 'column' && c.inverse && c.inverse.length > 0))
+        return out;
+    const sourceAttrs = source.getAttributes();
+    const outputNames = collectOutputNames(columns, sourceAttrs);
+    const outputIndexByName = new Map();
+    outputNames.forEach((n, i) => {
+        const key = n.toLowerCase();
+        if (!outputIndexByName.has(key))
+            outputIndexByName.set(key, i);
+    });
+    // Rule 4 cross-column state: resolved target attribute id → the result column
+    // that first authored a put to it (object-keyed — two result columns may share
+    // an output name, so a name comparison could mask a genuine collision).
+    const targetOwner = new Map();
+    for (const rc of columns) {
+        if (rc.type !== 'column' || !rc.inverse || rc.inverse.length === 0)
+            continue;
+        const colName = resultColumnOutputName(rc);
+        const assignments = [];
+        const newRefIndex = new Map();
+        for (const a of rc.inverse) {
+            // Rule 1: the target resolves to exactly one FROM-source column.
+            const matches = sourceAttrs.filter(attr => attr.name.toLowerCase() === a.column.toLowerCase());
+            if (matches.length === 0) {
+                raiseSited(`result column '${colName}': WITH INVERSE target '${a.column}' does not resolve to a column of the FROM sources`, a.expr);
+            }
+            if (matches.length > 1) {
+                raiseSited(`result column '${colName}': WITH INVERSE target '${a.column}' is ambiguous across the FROM sources`, a.expr);
+            }
+            const target = matches[0];
+            // Rule 4: one put per base column across the whole select.
+            const prior = targetOwner.get(target.id);
+            if (prior !== undefined && prior.rc !== rc) {
+                raiseSited(`result columns '${prior.name}' and '${colName}' both author a WITH INVERSE put to base column '${target.name}'; a base column may be targeted by at most one result column's inverse`, a.expr);
+            }
+            targetOwner.set(target.id, { rc, name: colName });
+            // Rules 2 + 3: reference discipline inside the assignment expression.
+            forEachInverseRef(a.expr, false, (col, insideSubquery) => {
+                const qualifier = col.table?.toLowerCase();
+                if (qualifier === 'new') {
+                    const idx = outputIndexByName.get(col.name.toLowerCase());
+                    if (idx === undefined) {
+                        raiseSited(`result column '${colName}': WITH INVERSE reference 'new.${col.name}' does not resolve to an output column of this select`, a.expr);
+                    }
+                    newRefIndex.set(col.name.toLowerCase(), idx);
+                    return;
+                }
+                if (!insideSubquery) {
+                    raiseSited(`result column '${colName}': WITH INVERSE expression references '${col.table ? `${col.table}.` : ''}${col.name}' without the NEW qualifier; an inverse expression is over the written view row only — reference output columns as new.<column>`, a.expr);
+                }
+            });
+            assignments.push({ targetAttrId: target.id, targetColumn: target.name, expr: a.expr });
+        }
+        out.set(rc, { assignments, newRefIndex });
+    }
+    return out;
+}
+//# sourceMappingURL=authored-inverse.js.map

package/dist/src/planner/analysis/authored-inverse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authored-inverse.js","sourceRoot":"","sources":["../../../../src/planner/analysis/authored-inverse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAGjE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,oFAAoF;AACpF,SAAS,KAAK,CAAC,IAAgC;IAC9C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,UAAU,CAAC,OAAe,EAAE,IAAgC;IACpE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,sBAAsB,CAAC,EAAwB;IAC9D,OAAO,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAC1C,WAAwC,EACxC,IAAY,EACZ,cAAsB;IAEtB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAChD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,YAAY,CACrB,yCAAyC,IAAI,iCAAiC,cAAc,kDAAkD,EAC9I,UAAU,CAAC,QAAQ,CACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,OAAoC,EAAE,WAAiC;IAClG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK;gBACxB,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC,KAAM,CAAC,WAAW,EAAE,CAAC;gBACrG,CAAC,CAAC,WAAW,CAAC;YACf,KAAK,MAAM,IAAI,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACP,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CACzB,IAAoB,EACpB,cAAuB,EACvB,KAA6D;IAE7D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACZ,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YAC5B,OAAO;QACR,KAAK,QAAQ;YACZ,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACpD,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACrD,OAAO;QACR,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACb,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACpD,OAAO;QACR,KAAK,UAAU;YACd,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;YACpE,OAAO;QACR,KAAK,SAAS;YACb,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACpD,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACrD,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACrD,OAAO;QACR,KAAK,MAAM;YACV,IAAI,IAAI,CAAC,QAAQ;gBAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YAC3E,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAChC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;gBACjD,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,CAAC,QAAQ;gBAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YAC3E,OAAO;QACR,KAAK,IAAI;YACR,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;YACpD,IAAI,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;YACvF,IAAI,IAAI,CAAC,QAAQ;gBAAE,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChE,OAAO;QACR,KAAK,UAAU;YACd,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO;QACR,KAAK,QAAQ;YACZ,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC7C,OAAO;QACR,KAAK,gBAAgB;YACpB,uEAAuE;YACvE,uEAAuE;YACvE,0EAA0E;YAC1E,kDAAkD;YAClD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7E,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC1F,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC7F,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;gBAChC,KAAK,MAAM,KAAK,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;oBAChD,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,CAAC;wBACzE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;oBACvD,CAAC;gBACF,CAAC;YACF,CAAC;YACD,OAAO;QACR;YACC,sDAAsD;YACtD,mCAAmC;YACnC,OAAO;IACT,CAAC;AACF,CAAC;AAED,kFAAkF;AAClF,SAAS,sBAAsB,CAAC,KAAoB,EAAE,KAA6D;IAClH,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;gBAAE,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE;YAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,KAAK;YAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACtE,IAAI,KAAK,CAAC,MAAM;YAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7E,IAAI,KAAK,CAAC,KAAK;YAAE,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,MAAM;YAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,KAAK,CAAC,QAAQ;YAAE,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzE,IAAI,KAAK,CAAC,KAAK;YAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5D,OAAO;IACR,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IACD,8EAA8E;IAC9E,4BAA4B;AAC7B,CAAC;AAED,SAAS,qBAAqB,CAAC,EAAkB,EAAE,KAA6D;IAC/G,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACX,OAAO;QACR,KAAK,MAAM;YACV,qBAAqB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACtC,qBAAqB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACvC,IAAI,EAAE,CAAC,SAAS;gBAAE,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,OAAO;QACR,KAAK,gBAAgB;YACpB,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACxD,OAAO;QACR,KAAK,gBAAgB;YACpB,sBAAsB,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3C,OAAO;IACT,CAAC;AACF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACvC,OAAoC,EACpC,MAA0B;IAE1B,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6C,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IAE7F,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAC9E,+EAA+E;IAC/E,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsD,CAAC;IAElF,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7E,MAAM,OAAO,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAgC,EAAE,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE9C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC5B,iEAAiE;YACjE,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC1B,UAAU,CACT,kBAAkB,OAAO,2BAA2B,CAAC,CAAC,MAAM,oDAAoD,EAChH,CAAC,CAAC,IAAI,CACN,CAAC;YACH,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxB,UAAU,CACT,kBAAkB,OAAO,2BAA2B,CAAC,CAAC,MAAM,wCAAwC,EACpG,CAAC,CAAC,IAAI,CACN,CAAC;YACH,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAE1B,2DAA2D;YAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC5C,UAAU,CACT,mBAAmB,KAAK,CAAC,IAAI,UAAU,OAAO,oDAAoD,MAAM,CAAC,IAAI,yEAAyE,EACtL,CAAC,CAAC,IAAI,CACN,CAAC;YACH,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAElD,sEAAsE;YACtE,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE;gBACxD,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;gBAC3C,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;oBACzB,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC1D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;wBACvB,UAAU,CACT,kBAAkB,OAAO,kCAAkC,GAAG,CAAC,IAAI,uDAAuD,EAC1H,CAAC,CAAC,IAAI,CACN,CAAC;oBACH,CAAC;oBACD,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC;oBAC7C,OAAO;gBACR,CAAC;gBACD,IAAI,CAAC,cAAc,EAAE,CAAC;oBACrB,UAAU,CACT,kBAAkB,OAAO,0CAA0C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,iIAAiI,EAC/O,CAAC,CAAC,IAAI,CACN,CAAC;gBACH,CAAC;YACF,CAAC,CAAC,CAAC;YAEH,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACxF,CAAC;QAED,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC"}

package/dist/src/planner/analysis/change-scope.d.ts

@@ -15,7 +15,7 @@
  * same shape.
  */
 import type { SqlValue, SqlParameters } from '../../common/types.js';
-import type { ScalarType } from '../../common/datatype.js';
+import type { CollationSource, ScalarType } from '../../common/datatype.js';
 import type { PlanNode } from '../nodes/plan-node.js';
 /** Qualified base-table name, lowercased. */
 export interface QualifiedName {
@@ -47,6 +47,8 @@ export interface PortableScalarType {
     readonly typeName: string;
     readonly nullable: boolean;
     readonly collationName?: string;
+    /** Provenance of `collationName` — see {@link ScalarType.collationSource}. */
+    readonly collationSource?: CollationSource;
     readonly isReadOnly?: boolean;
 }
 /** An unbound parameter placeholder inside a `ScopeValue` tuple. */
@@ -81,8 +83,11 @@ export type WatchScope = {
 export interface TableWatch {
     readonly table: QualifiedName;
     /**
-     * Columns of the table actually read by the plan. `'all'` is reserved for
-     * count-style plans that read nothing column-specific.
+     * Columns of the table actually read by the plan. `'all'` covers both
+     * count-style plans that read nothing column-specific AND whole-row reads
+     * (`select *`) that forward the table's entire attribute set to the output —
+     * in either case the watch maps downstream to a row-level dep rather than a
+     * cell dep on an enumerated column subset.
      */
     readonly columns: ReadonlySet<string> | 'all';
     readonly scope: WatchScope;
@@ -135,14 +140,39 @@ export interface WatchEvent {
  * do not roll back the commit — assertions own that contract).
  */
 export type WatchHandler = (event: WatchEvent) => void | Promise<void>;
+/**
+ * Resolves a table reference's qualified name to the source-union `ChangeScope`
+ * that should replace its watch. The sole use is projecting a materialized
+ * view's backing-table reference onto the sources whose mutations actually drive
+ * its maintenance: the backing table is row-time maintained off the user change
+ * log, so a watch on it would never fire. Returns `undefined` for anything that
+ * is not an MV backing table (ordinary tables).
+ */
+export type MaterializedViewSourceResolver = (table: QualifiedName) => ChangeScope | undefined;
 /**
  * Walk a (post-analysis) plan and produce its `ChangeScope`. If `params`
  * is supplied, parameter placeholders are substituted in-place and the
- * corresponding indices are dropped from `unboundParameters`.
+ * corresponding indices are dropped from `unboundParameters`. If
+ * `resolveMaterializedViewSource` is supplied, an incremental-MV backing-table
+ * reference is projected onto its cached source-union scope (see
+ * {@link MaterializedViewSourceResolver}).
  */
 export declare function analyzeChangeScope(plan: PlanNode, options?: {
     params?: SqlParameters | SqlValue[];
+    resolveMaterializedViewSource?: MaterializedViewSourceResolver;
 }): ChangeScope;
+/**
+ * Build the conservative source-union `ChangeScope` for a materialized view:
+ * one `{kind:'full'}` watch (columns `'all'`) per source table. This is the
+ * scope a materialized view reference projects to, so a watcher fires on any
+ * source mutation. A precise per-source row scope — mirroring the row-time
+ * maintenance the `MaterializedViewManager` already derives — is a future
+ * refinement.
+ *
+ * @param sourceTables Qualified lowercased `schema.table` names, as recorded on
+ *   `TableDerivation.sourceTables`.
+ */
+export declare function buildSourceUnionScope(sourceTables: ReadonlyArray<string>): ChangeScope;
 export declare function unionScopes(a: ChangeScope, b: ChangeScope): ChangeScope;
 export declare function intersectScopes(a: ChangeScope, b: ChangeScope): ChangeScope;
 export declare function bindParameters(scope: ChangeScope, params: SqlParameters | SqlValue[]): ChangeScope;