@quereus/quereus 4.6.0 → 4.7.0

package/dist/src/planner/building/schema-authored-context.d.ts

@@ -0,0 +1,69 @@
+import type { PlanningContext } from '../planning-context.js';
+/**
+ * The planning context any SCHEMA-AUTHORED expression must be built on — a column
+ * `DEFAULT`, a generated-column expression, a `CHECK` constraint, or a synthesized
+ * foreign-key probe. All four are written in the TABLE's definition, not in the
+ * statement doing the write, so their unqualified relation names must always mean
+ * real schema objects, and must mean the SAME ones no matter where the writing
+ * statement happens to be pointed. `schemaName` is the OWNING table's schema (for the
+ * anchor key default on a view write-through, the anchor BASE table's schema — not
+ * the view's).
+ *
+ * Clears the two CTE-related fields so no statement's common table expressions — the
+ * writing statement's own leading `with` clause, or ones it inherited from an enclosing
+ * statement — can shadow a real table out from under someone else's DDL:
+ *
+ *  - `cteNodes` → cleared, so `default (select count(*) from c)` keeps meaning the
+ *    real table `c` even under `with c as (…) insert into t …`. Clearing on the
+ *    CONTEXT is what closes it: `buildWithContext` seeds its map from `ctx.cteNodes`
+ *    and prefers a non-empty explicit `parentCTEs` argument over it, so handing an
+ *    empty map downstream is not sufficient.
+ *  - `cteReferenceCache` → cleared for the same reason
+ *    {@link import('../stored-body-context.js').storedBodyContext} clears it: the cache
+ *    is keyed on bare `cteName:alias`, so a caller definition and one declared inside a
+ *    `check` subquery's own `with` clause would collide on a single entry and the
+ *    schema-authored SQL would read the caller's relation.
+ *
+ * And narrows the schema search path:
+ *
+ *  - `schemaPath` → `[schemaName]` exactly, the owning schema ONLY with no fallback to
+ *    the session default path. So `default (select count(*) from c)` on a `temp` table
+ *    means `temp.c` whatever schema path the writing statement carries (the session
+ *    `pragma schema_path`, or a per-statement `insert … with schema …`). This is the
+ *    single place that decides it, for all four expression kinds — the constraint and
+ *    foreign-key builders used to narrow themselves, which is exactly why a table's
+ *    `check` and its column `default` could disagree about the same bare name. It is
+ *    deliberately stricter than a stored view body's `Database._homeSchemaPath()` (home
+ *    schema first, then the session default path): a schema-authored expression that
+ *    names a relation in another schema must qualify it. See docs/schema.md.
+ *
+ * It deliberately does NOT touch:
+ *
+ *  - `scope` — `buildWithContext` contributes CTE *definitions* only, never scope
+ *    symbols, so the scope is not a leak channel. `building/update.ts` and
+ *    `building/delete.ts` must keep their table scope for `new.` / `old.` resolution,
+ *    so this is applied ON TOP of those contexts rather than instead of them.
+ *  - `storedBodyOf` — these expressions are built INLINE in the caller's statement,
+ *    not as a re-entered stored body. Setting it would wrongly make a
+ *    {@link import('../../parser/ast.js').StoredBodyEnv} marker inert.
+ *
+ * Sibling of {@link import('../stored-body-context.js').storedBodyContext}, which does
+ * the same job for the other kind of stored, schema-authored SQL: view and
+ * materialized-view bodies. That one isolates the WHOLE naming environment (home
+ * schema path, stored-body marker) because a body is re-entered as its own plan; this
+ * one keeps the caller's scope because these expressions stay inline.
+ *
+ * NOTE: this helper covers every schema-authored expression that is BUILT — but two
+ * CHECK-enforcement paths re-prepare the constraint's own SQL text as a whole statement
+ * instead, so they never reach a planning context and pin the same `[schemaName]` path on
+ * the {@link import('../../core/statement.js').Statement} directly:
+ * `validateBackfillAgainstChecks` (`runtime/emit/alter-table.ts`, ADD COLUMN over existing
+ * rows) and `validateChecksOverExistingRows` (`schema/constraint-builder.ts`, maintained
+ * tables). Two spellings of one rule is tolerable at two sites; if a third appears, give
+ * the statement seam its own helper rather than a fourth copy.
+ *
+ * @param schemaName the owning table's schema name — REQUIRED, so no call site can
+ *   silently inherit the writing statement's path.
+ */
+export declare function schemaAuthoredContext(ctx: PlanningContext, schemaName: string): PlanningContext;
+//# sourceMappingURL=schema-authored-context.d.ts.map

package/dist/src/planner/building/schema-authored-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-authored-context.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/schema-authored-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,GAAG,eAAe,CAM/F"}

package/dist/src/planner/building/schema-authored-context.js

@@ -0,0 +1,75 @@
+/**
+ * The planning context any SCHEMA-AUTHORED expression must be built on — a column
+ * `DEFAULT`, a generated-column expression, a `CHECK` constraint, or a synthesized
+ * foreign-key probe. All four are written in the TABLE's definition, not in the
+ * statement doing the write, so their unqualified relation names must always mean
+ * real schema objects, and must mean the SAME ones no matter where the writing
+ * statement happens to be pointed. `schemaName` is the OWNING table's schema (for the
+ * anchor key default on a view write-through, the anchor BASE table's schema — not
+ * the view's).
+ *
+ * Clears the two CTE-related fields so no statement's common table expressions — the
+ * writing statement's own leading `with` clause, or ones it inherited from an enclosing
+ * statement — can shadow a real table out from under someone else's DDL:
+ *
+ *  - `cteNodes` → cleared, so `default (select count(*) from c)` keeps meaning the
+ *    real table `c` even under `with c as (…) insert into t …`. Clearing on the
+ *    CONTEXT is what closes it: `buildWithContext` seeds its map from `ctx.cteNodes`
+ *    and prefers a non-empty explicit `parentCTEs` argument over it, so handing an
+ *    empty map downstream is not sufficient.
+ *  - `cteReferenceCache` → cleared for the same reason
+ *    {@link import('../stored-body-context.js').storedBodyContext} clears it: the cache
+ *    is keyed on bare `cteName:alias`, so a caller definition and one declared inside a
+ *    `check` subquery's own `with` clause would collide on a single entry and the
+ *    schema-authored SQL would read the caller's relation.
+ *
+ * And narrows the schema search path:
+ *
+ *  - `schemaPath` → `[schemaName]` exactly, the owning schema ONLY with no fallback to
+ *    the session default path. So `default (select count(*) from c)` on a `temp` table
+ *    means `temp.c` whatever schema path the writing statement carries (the session
+ *    `pragma schema_path`, or a per-statement `insert … with schema …`). This is the
+ *    single place that decides it, for all four expression kinds — the constraint and
+ *    foreign-key builders used to narrow themselves, which is exactly why a table's
+ *    `check` and its column `default` could disagree about the same bare name. It is
+ *    deliberately stricter than a stored view body's `Database._homeSchemaPath()` (home
+ *    schema first, then the session default path): a schema-authored expression that
+ *    names a relation in another schema must qualify it. See docs/schema.md.
+ *
+ * It deliberately does NOT touch:
+ *
+ *  - `scope` — `buildWithContext` contributes CTE *definitions* only, never scope
+ *    symbols, so the scope is not a leak channel. `building/update.ts` and
+ *    `building/delete.ts` must keep their table scope for `new.` / `old.` resolution,
+ *    so this is applied ON TOP of those contexts rather than instead of them.
+ *  - `storedBodyOf` — these expressions are built INLINE in the caller's statement,
+ *    not as a re-entered stored body. Setting it would wrongly make a
+ *    {@link import('../../parser/ast.js').StoredBodyEnv} marker inert.
+ *
+ * Sibling of {@link import('../stored-body-context.js').storedBodyContext}, which does
+ * the same job for the other kind of stored, schema-authored SQL: view and
+ * materialized-view bodies. That one isolates the WHOLE naming environment (home
+ * schema path, stored-body marker) because a body is re-entered as its own plan; this
+ * one keeps the caller's scope because these expressions stay inline.
+ *
+ * NOTE: this helper covers every schema-authored expression that is BUILT — but two
+ * CHECK-enforcement paths re-prepare the constraint's own SQL text as a whole statement
+ * instead, so they never reach a planning context and pin the same `[schemaName]` path on
+ * the {@link import('../../core/statement.js').Statement} directly:
+ * `validateBackfillAgainstChecks` (`runtime/emit/alter-table.ts`, ADD COLUMN over existing
+ * rows) and `validateChecksOverExistingRows` (`schema/constraint-builder.ts`, maintained
+ * tables). Two spellings of one rule is tolerable at two sites; if a third appears, give
+ * the statement seam its own helper rather than a fourth copy.
+ *
+ * @param schemaName the owning table's schema name — REQUIRED, so no call site can
+ *   silently inherit the writing statement's path.
+ */
+export function schemaAuthoredContext(ctx, schemaName) {
+    // Identity fast-path only when nothing would actually change: the CTE namespace is
+    // already empty AND the path is already exactly the owning schema.
+    if (!ctx.cteNodes && !ctx.cteReferenceCache
+        && ctx.schemaPath?.length === 1 && ctx.schemaPath[0] === schemaName)
+        return ctx;
+    return { ...ctx, cteNodes: undefined, cteReferenceCache: undefined, schemaPath: [schemaName] };
+}
+//# sourceMappingURL=schema-authored-context.js.map

package/dist/src/planner/building/schema-authored-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-authored-context.js","sourceRoot":"","sources":["../../../../src/planner/building/schema-authored-context.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAAoB,EAAE,UAAkB;IAC7E,mFAAmF;IACnF,mEAAmE;IACnE,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,iBAAiB;WACvC,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU;QAAE,OAAO,GAAG,CAAC;IACjF,OAAO,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAChG,CAAC"}

package/dist/src/planner/building/schema-resolution.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-resolution.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/schema-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAoB,MAAM,wBAAwB,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAOlE,8EAA8E;AAC9E,eAAO,MAAM,gBAAgB,cAAc,CAAC;AAE5C,mEAAmE;AACnE,wBAAgB,oBAAoB,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,eAAe,EACpB,SAAS,EAAE,MAAM,EACjB,UAAU,CAAC,EAAE,MAAM,GACjB,WAAW,CA6Fb;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACpC,GAAG,EAAE,eAAe,EACpB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACb,cAAc,CAqChB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAChC,GAAG,EAAE,eAAe,EACpB,UAAU,EAAE,MAAM,GAChB;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CA+BtD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC/B,GAAG,EAAE,eAAe,EACpB,aAAa,EAAE,MAAM,GACnB,iBAAiB,CAwBnB"}
+{"version":3,"file":"schema-resolution.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/schema-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAoB,MAAM,wBAAwB,CAAC;AAChF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAOlE,8EAA8E;AAC9E,eAAO,MAAM,gBAAgB,cAAc,CAAC;AAE5C,mEAAmE;AACnE,wBAAgB,oBAAoB,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAEjE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,GAAG,EAAE,eAAe,EACpB,SAAS,EAAE,MAAM,EACjB,UAAU,CAAC,EAAE,MAAM,GACjB,WAAW,CA+Fb;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACpC,GAAG,EAAE,eAAe,EACpB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACb,cAAc,CAqChB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAChC,GAAG,EAAE,eAAe,EACpB,UAAU,EAAE,MAAM,GAChB;IAAE,MAAM,EAAE,qBAAqB,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CA+BtD;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC/B,GAAG,EAAE,eAAe,EACpB,aAAa,EAAE,MAAM,GACnB,iBAAiB,CAwBnB"}

package/dist/src/planner/building/schema-resolution.js

@@ -1,4 +1,4 @@
-import { QuereusError } from '../../common/errors.js';
+import { QuereusError, RelationNotFoundError } from '../../common/errors.js';
 import { StatusCode } from '../../common/types.js';
 import { createLogger } from '../../common/logger.js';
 const log = createLogger('planner:schema-resolution');
@@ -29,7 +29,8 @@ export function resolveTableSchema(ctx, tableName, schemaName) {
         // Resolve table schema with explicit schema name
         const tableSchema = ctx.schemaManager.findTable(tableName, resolvedSchemaName);
         if (!tableSchema) {
-            throw new QuereusError(`Table not found: ${resolvedSchemaName}.${tableName}`, StatusCode.ERROR);
+            // Message text is asserted on by the sqllogic suites — keep it byte-identical.
+            throw new RelationNotFoundError(`Table not found: ${resolvedSchemaName}.${tableName}`);
         }
         // Record dependency
         const dependency = {
@@ -60,7 +61,9 @@ export function resolveTableSchema(ctx, tableName, schemaName) {
     if (!tableSchema) {
         // Generate helpful error message
         const searchedSchemas = schemaPath || ['main', 'temp'];
-        const existsIn = ctx.schemaManager.findSchemasContainingTable(tableName);
+        // Views count here: an unqualified name resolves through the path across
+        // tables and views alike, so an off-path VIEW is exactly as suggestible.
+        const existsIn = ctx.schemaManager.findSchemasContainingRelation(tableName);
         let errorMsg = `Table '${tableName}' not found in schema path: ${searchedSchemas.join(', ')}`;
         if (existsIn.length > 0) {
             // Table exists in other schemas - suggest qualified name
@@ -74,7 +77,7 @@ export function resolveTableSchema(ctx, tableName, schemaName) {
                 errorMsg += `\n  Or add '${existsIn[0]}' to your WITH SCHEMA clause`;
             }
         }
-        throw new QuereusError(errorMsg, StatusCode.ERROR);
+        throw new RelationNotFoundError(errorMsg);
     }
     // Record dependency
     const dependency = {

package/dist/src/planner/building/schema-resolution.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema-resolution.js","sourceRoot":"","sources":["../../../../src/planner/building/schema-resolution.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,2BAA2B,CAAC,CAAC;AAEtD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;AAE5C,mEAAmE;AACnE,MAAM,UAAU,oBAAoB,CAAC,UAAmB;IACvD,OAAO,UAAU,EAAE,WAAW,EAAE,KAAK,gBAAgB,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,GAAoB,EACpB,SAAiB,EACjB,UAAmB;IAEnB,uFAAuF;IACvF,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;IAED,4DAA4D;IAC5D,IAAI,UAAU,EAAE,CAAC;QAChB,MAAM,kBAAkB,GAAG,UAAU,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,kBAAkB,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;QAExF,oBAAoB;QACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACZ,GAAG,CAAC,kCAAkC,EAAE,kBAAkB,EAAE,SAAS,CAAC,CAAC;YACvE,OAAO,MAAqB,CAAC;QAC9B,CAAC;QAED,iDAAiD;QACjD,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAC/E,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,MAAM,IAAI,YAAY,CACrB,oBAAoB,kBAAkB,IAAI,SAAS,EAAE,EACrD,UAAU,CAAC,KAAK,CAChB,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,MAAM,UAAU,GAAqB;YACpC,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,UAAU,EAAE,WAAW,CAAC,IAAI;SAC5B,CAAC;QACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAEjE,eAAe;QACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAE3C,GAAG,CAAC,8BAA8B,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,sCAAsC;IACtC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,UAAU;QAC1B,CAAC,CAAC,cAAc,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,cAAc,EAAE;QACnF,CAAC,CAAC,iBAAiB,cAAc,EAAE,CAAC;IAErC,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,kDAAkD,EAAE,SAAS,CAAC,CAAC;QACnE,OAAO,MAAqB,CAAC;IAC9B,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAClF,IAAI,CAAC,WAAW,EAAE,CAAC;QAClB,iCAAiC;QACjC,MAAM,eAAe,GAAG,UAAU,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,CAAC,0BAA0B,CAAC,SAAS,CAAC,CAAC;QAEzE,IAAI,QAAQ,GAAG,UAAU,SAAS,+BAA+B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAE9F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,yDAAyD;YACzD,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,QAAQ,IAAI,qBAAqB,WAAW,GAAG,CAAC;YAChD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,8DAA8D;gBAC9D,QAAQ,IAAI,eAAe,QAAQ,CAAC,CAAC,CAAC,qDAAqD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;YACxI,CAAC;iBAAM,CAAC;gBACP,QAAQ,IAAI,eAAe,QAAQ,CAAC,CAAC,CAAC,8BAA8B,CAAC;YACtE,CAAC;QACF,CAAC;QAED,MAAM,IAAI,YAAY,CAAC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,UAAU,EAAE,WAAW,CAAC,IAAI;KAC5B,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAEjE,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAE3C,GAAG,CAAC,iDAAiD,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACjG,OAAO,WAAW,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACpC,GAAoB,EACpB,QAAgB,EAChB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,OAAO,EAAE,CAAC;IAEnD,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,qCAAqC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO,MAAwB,CAAC;IACjC,CAAC;IAED,kDAAkD;IAClD,IAAI,cAAc,GAAG,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEvE,+CAA+C;IAC/C,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,cAAc,GAAG,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,MAAM,IAAI,YAAY,CACrB,uBAAuB,QAAQ,IAAI,OAAO,EAAE,EAC5C,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,GAAG,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,OAAO,EAAE;KAC9D,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAEpE,yDAAyD;IACzD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAE9C,GAAG,CAAC,iCAAiC,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACpF,OAAO,cAAc,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAChC,GAAoB,EACpB,UAAkB;IAElB,MAAM,QAAQ,GAAG,eAAe,UAAU,EAAE,CAAC;IAE7C,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,8BAA8B,EAAE,UAAU,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IACf,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,IAAI,YAAY,CACrB,mCAAmC,UAAU,EAAE,EAC/C,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,UAAU;KACtB,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAEhE,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE1C,GAAG,CAAC,0BAA0B,EAAE,UAAU,CAAC,CAAC;IAC5C,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC/B,GAAoB,EACpB,aAAqB;IAErB,MAAM,QAAQ,GAAG,aAAa,aAAa,EAAE,CAAC;IAE9C,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,4BAA4B,EAAE,aAAa,CAAC,CAAC;QACjD,OAAO,MAA2B,CAAC;IACpC,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC,aAAa,CAAC,CAAC;IAE/D,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,aAAa;KACzB,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAE/D,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEzC,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC;IAC7C,OAAO,SAAS,CAAC;AAClB,CAAC"}
+{"version":3,"file":"schema-resolution.js","sourceRoot":"","sources":["../../../../src/planner/building/schema-resolution.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,2BAA2B,CAAC,CAAC;AAEtD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,WAAW,CAAC;AAE5C,mEAAmE;AACnE,MAAM,UAAU,oBAAoB,CAAC,UAAmB;IACvD,OAAO,UAAU,EAAE,WAAW,EAAE,KAAK,gBAAgB,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,GAAoB,EACpB,SAAiB,EACjB,UAAmB;IAEnB,uFAAuF;IACvF,IAAI,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,kBAAkB,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACtD,CAAC;IAED,4DAA4D;IAC5D,IAAI,UAAU,EAAE,CAAC;QAChB,MAAM,kBAAkB,GAAG,UAAU,CAAC;QACtC,MAAM,QAAQ,GAAG,SAAS,kBAAkB,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;QAExF,oBAAoB;QACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YACZ,GAAG,CAAC,kCAAkC,EAAE,kBAAkB,EAAE,SAAS,CAAC,CAAC;YACvE,OAAO,MAAqB,CAAC;QAC9B,CAAC;QAED,iDAAiD;QACjD,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAC/E,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,+EAA+E;YAC/E,MAAM,IAAI,qBAAqB,CAC9B,oBAAoB,kBAAkB,IAAI,SAAS,EAAE,CACrD,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,MAAM,UAAU,GAAqB;YACpC,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,UAAU,EAAE,WAAW,CAAC,IAAI;SAC5B,CAAC;QACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAEjE,eAAe;QACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAE3C,GAAG,CAAC,8BAA8B,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9E,OAAO,WAAW,CAAC;IACpB,CAAC;IAED,sCAAsC;IACtC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAG,UAAU;QAC1B,CAAC,CAAC,cAAc,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,cAAc,EAAE;QACnF,CAAC,CAAC,iBAAiB,cAAc,EAAE,CAAC;IAErC,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,kDAAkD,EAAE,SAAS,CAAC,CAAC;QACnE,OAAO,MAAqB,CAAC;IAC9B,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAClF,IAAI,CAAC,WAAW,EAAE,CAAC;QAClB,iCAAiC;QACjC,MAAM,eAAe,GAAG,UAAU,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,yEAAyE;QACzE,yEAAyE;QACzE,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,CAAC,6BAA6B,CAAC,SAAS,CAAC,CAAC;QAE5E,IAAI,QAAQ,GAAG,UAAU,SAAS,+BAA+B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAE9F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,yDAAyD;YACzD,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,QAAQ,IAAI,qBAAqB,WAAW,GAAG,CAAC;YAChD,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,8DAA8D;gBAC9D,QAAQ,IAAI,eAAe,QAAQ,CAAC,CAAC,CAAC,qDAAqD,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;YACxI,CAAC;iBAAM,CAAC;gBACP,QAAQ,IAAI,eAAe,QAAQ,CAAC,CAAC,CAAC,8BAA8B,CAAC;YACtE,CAAC;QACF,CAAC;QAED,MAAM,IAAI,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC;IAED,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,UAAU,EAAE,WAAW,CAAC,IAAI;KAC5B,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IAEjE,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAE3C,GAAG,CAAC,iDAAiD,EAAE,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;IACjG,OAAO,WAAW,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACpC,GAAoB,EACpB,QAAgB,EAChB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,OAAO,EAAE,CAAC;IAEnD,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,qCAAqC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO,MAAwB,CAAC;IACjC,CAAC;IAED,kDAAkD;IAClD,IAAI,cAAc,GAAG,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEvE,+CAA+C;IAC/C,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,cAAc,GAAG,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,MAAM,IAAI,YAAY,CACrB,uBAAuB,QAAQ,IAAI,OAAO,EAAE,EAC5C,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,GAAG,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,OAAO,EAAE;KAC9D,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAEpE,yDAAyD;IACzD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAE9C,GAAG,CAAC,iCAAiC,EAAE,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACpF,OAAO,cAAc,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAChC,GAAoB,EACpB,UAAkB;IAElB,MAAM,QAAQ,GAAG,eAAe,UAAU,EAAE,CAAC;IAE7C,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,8BAA8B,EAAE,UAAU,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IACf,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,IAAI,YAAY,CACrB,mCAAmC,UAAU,EAAE,EAC/C,UAAU,CAAC,KAAK,CAChB,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,UAAU;KACtB,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAEhE,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE1C,GAAG,CAAC,0BAA0B,EAAE,UAAU,CAAC,CAAC;IAC5C,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC/B,GAAoB,EACpB,aAAqB;IAErB,MAAM,QAAQ,GAAG,aAAa,aAAa,EAAE,CAAC;IAE9C,oBAAoB;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,MAAM,EAAE,CAAC;QACZ,GAAG,CAAC,4BAA4B,EAAE,aAAa,CAAC,CAAC;QACjD,OAAO,MAA2B,CAAC;IACpC,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC,aAAa,CAAC,CAAC;IAE/D,oBAAoB;IACpB,MAAM,UAAU,GAAqB;QACpC,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,aAAa;KACzB,CAAC;IACF,GAAG,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAE/D,eAAe;IACf,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEzC,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC;IAC7C,OAAO,SAAS,CAAC;AAClB,CAAC"}

package/dist/src/planner/building/select-aggregates.d.ts

@@ -1,15 +1,17 @@
 import type * as AST from '../../parser/ast.js';
-import { type RelationalPlanNode, type ScalarPlanNode } from '../nodes/plan-node.js';
+import { type Attribute, type PlanNode, type RelationalPlanNode, type ScalarPlanNode } from '../nodes/plan-node.js';
 import type { PlanningContext } from '../planning-context.js';
 import { type Projection } from '../nodes/project-node.js';
 import { RegisteredScope } from '../scopes/registered.js';
+import type { Scope } from '../scopes/scope.js';
+import { type SelectListEntry } from './select-ordinal.js';
 /**
  * Processes GROUP BY, aggregates, and HAVING clauses
  */
 export declare function buildAggregatePhase(input: RelationalPlanNode, stmt: AST.SelectStmt, selectContext: PlanningContext, aggregates: {
     expression: ScalarPlanNode;
     alias: string;
-}[], hasAggregates: boolean, projections: Projection[], hasWrappedAggregates?: boolean, selectListAsts?: AST.Expression[]): {
+}[], hasAggregates: boolean, projections: Projection[], hasWrappedAggregates?: boolean, selectList?: readonly SelectListEntry[], starProjectionsByColumn?: ReadonlyMap<AST.ResultColumn, readonly Projection[]>): {
     output: RelationalPlanNode;
     aggregateScope?: RegisteredScope;
     needsFinalProjection: boolean;
@@ -21,6 +23,189 @@ export declare function buildAggregatePhase(input: RelationalPlanNode, stmt: AST
     orderByHasAggregates?: boolean;
     aggregatesContext?: PlanningContext['aggregates'];
 };
+/**
+ * What a grouped query's rows are allowed to expose: the attribute ids reachable
+ * after aggregation, plus the canonical AST strings of the GROUP BY expressions
+ * themselves.
+ *
+ * Two flavours of attribute id are legal, and both matter depending on where the
+ * expression being checked was built. An expression built against the
+ * *pre-aggregate* scope (the SELECT list, before the final projection) names base
+ * source attributes, so the ids of the GROUP BY key expressions cover it. A HAVING
+ * predicate resolves through a hybrid scope and may name either the AggregateNode's
+ * own output attributes or, via the source-column fallback, base ones — so the
+ * output ids must be admitted too, passed in `groupedOutputAttributes`.
+ *
+ * The window phase of a grouped query has its own check
+ * ({@link assertGroupedWindowCoverage}); it needs to descend into subqueries and to
+ * tell a correlated reference from an ungrouped local one, neither of which this
+ * coverage set can express.
+ *
+ * The fingerprint set covers whole grouped subtrees (`select id+1 … group by
+ * id+1`) and, incidentally, the qualifier mismatch between `group by t.a` and a
+ * later bare `a`. Fingerprints fold identifier case (see
+ * {@link expressionToIdentityString}), so `group by A || '!'` covers a later
+ * `a || '!'`; quoted literals stay byte-exact, so `a || 'X'` does not.
+ */
+export interface GroupByCoverage {
+    readonly attrIds: ReadonlySet<number>;
+    readonly fingerprints: ReadonlySet<string>;
+}
+/**
+ * Builds the coverage test for a grouped query. `groupedOutputAttributes` is the
+ * AggregateNode's output attributes (group keys followed by aggregate results),
+ * needed only when the expressions to be checked were built against the aggregate
+ * output scope.
+ */
+export declare function buildGroupByCoverage(groupByExpressions: readonly ScalarPlanNode[], groupedOutputAttributes?: readonly Attribute[]): GroupByCoverage;
+/**
+ * Raises the standard GROUP BY coverage error when `node` reads a column the
+ * grouped rows do not carry. Used by the SELECT-list check below; the window
+ * phase raises the same message from {@link assertGroupedWindowCoverage}.
+ */
+export declare function assertGroupByCoverage(node: PlanNode, coverage: GroupByCoverage): void;
+/**
+ * What the window phase of a GROUPED query needs in order to run its window
+ * specifications and function arguments over the AggregateNode's own rows.
+ *
+ * The WindowNode sits ABOVE the AggregateNode, so it can read only what the
+ * aggregate's output row carries: the grouping keys and the aggregate results.
+ * But the scope those expressions are built against falls through to the
+ * pre-aggregate select scope, so several perfectly legal spellings of a grouping
+ * key (`wg.a` against `group by a`, or the whole `a || '!'` against `group by a
+ * || '!'`) bind to a *base-table* attribute the aggregate row never had. This
+ * context supplies both halves of the answer: the two maps let
+ * {@link redirectToGroupKeys} rewrite such a subtree onto the aggregate's own
+ * output column, and the two attribute-id sets let
+ * {@link assertGroupedWindowCoverage} reject what survives.
+ */
+export interface GroupedWindowContext {
+    /** Where each GROUP BY key lives on the AggregateNode's output row. */
+    readonly groupKeys: GroupKeyIndex;
+    /** AggregateNode output attributes: group keys in GROUP BY order, then aggregate results. */
+    readonly outputAttributes: readonly Attribute[];
+    /**
+     * Every attribute id the AggregateNode's input subtree produces and this query can
+     * name — exactly "the columns this grouped query could have read before it grouped".
+     * CTE definition bodies are excluded; see {@link isCteDefinition}.
+     *
+     * This is what tells a reference belonging to THIS query apart from one that does
+     * not, at any nesting depth. A window specification may contain a subquery, and
+     * inside it live two unrelated kinds of column reference: the subquery's own
+     * columns and correlated references pointing back out. Attribute ids are minted
+     * per relation instance, so a subquery's own `wg t` scan and the outer `wg` scan
+     * never share one — membership here separates them exactly. A reference NOT in
+     * this set is the subquery's own column or a reference to an ENCLOSING query, and
+     * is none of the window phase's business either way.
+     */
+    readonly aggregateInputAttrIds: ReadonlySet<number>;
+    /**
+     * Legal AFTER redirection: AggregateNode output attribute ids ONLY. Once
+     * {@link redirectToGroupKeys} has run, an aggregate-input attribute id still
+     * present anywhere in a window expression is an ungrouped reference.
+     */
+    readonly outputAttrIds: ReadonlySet<number>;
+}
+/**
+ * Locates each GROUP BY key on the AggregateNode's output row, under both spellings a
+ * later expression may reach it by: the whole grouped expression written out again, or
+ * (for a bare-column key) the base column under any qualifier.
+ *
+ * Shared by the window phase's {@link redirectToGroupKeys} and by the select list's
+ * {@link buildFinalAggregateProjections}, which resolve the same question about
+ * different expressions.
+ */
+export interface GroupKeyIndex {
+    /** Identity fingerprint of each GROUP BY expression → its output column index. */
+    readonly byFingerprint: ReadonlyMap<string, number>;
+    /** Base attribute id of each bare-column GROUP BY key → its output column index. */
+    readonly byBaseAttrId: ReadonlyMap<number, number>;
+}
+/**
+ * Builds the {@link GroupKeyIndex} for a grouped query's GROUP BY list. The output
+ * column index is the key's position in that list, which is its position on the
+ * AggregateNode's output row.
+ */
+export declare function indexGroupKeys(groupByExpressions: readonly ScalarPlanNode[]): GroupKeyIndex;
+/**
+ * Builds the {@link GroupedWindowContext} for a grouped, windowed query.
+ * `outputAttributes` is the AggregateNode's attribute list (group keys in GROUP BY
+ * order, then the aggregate results); `aggregateInput` is the AggregateNode's
+ * source relation, whose whole subtree defines
+ * {@link GroupedWindowContext.aggregateInputAttrIds}.
+ */
+export declare function buildGroupedWindowContext(groupByExpressions: readonly ScalarPlanNode[], outputAttributes: readonly Attribute[], aggregateInput: PlanNode): GroupedWindowContext;
+/**
+ * Rewrites every subtree of a window specification / window-function argument that
+ * IS a grouping key into a reference to the AggregateNode's output column for that
+ * key, so the expression reads the grouped row instead of a base-table column that
+ * row does not carry.
+ *
+ * Two match rules, in order at each node:
+ *
+ * 1. The whole subtree's identity fingerprint equals a GROUP BY expression's — covers
+ *    `group by a || '!'` + `over (order by a || '!')`, and nested occurrences such
+ *    as `over (order by upper(a || '!'))` because the walk recurses. Identifier case
+ *    is folded, so `group by A || '!'` matches too; quoted literals are byte-exact,
+ *    so `a || 'X'` and `a || 'x'` remain different keys.
+ *
+ *    Unconditional above any subquery, where the expression is written in this query's
+ *    own scope. INSIDE a subquery it is guarded by {@link readsOnlyAggregateInput} —
+ *    every column reference in the subtree must be a pre-grouping column of THIS query
+ *    — because there the same text can name something else entirely: under `group by
+ *    a`, a bare `a` written inside `over (order by (select … where t.a = a))` names the
+ *    subquery's own `t.a` and yet fingerprints as `a`, so an unguarded rule 1 would
+ *    silently rewrite it into the outer group column and change what the query means.
+ *    The guard cannot replace the top-level case: `group by (select max(t.b) from wg t
+ *    where t.a = wg.a)` repeated verbatim in the specification is a legal grouping key
+ *    whose subtree also reads the subquery's own columns.
+ * 2. The node is a column reference whose attribute id is the *base* attribute id of
+ *    a bare-column grouping key — covers `group by a` + `over (order by wg.a)` and
+ *    `over (order by w.a)`. Both spellings fall through to the same base attribute
+ *    the group key was built from, so the match is qualifier-independent. It needs no
+ *    guard at any depth: attribute ids are minted per relation instance, so only a
+ *    reference that genuinely resolves to this query's grouping column can match.
+ *
+ * Otherwise recurse into every child, relational ones included, rebuilding through
+ * `withChildren` — a correlated reference to a grouping key can live arbitrarily deep
+ * inside a subquery in the window specification, and it must be redirected there too
+ * or it reaches the runtime as a base-table attribute the grouped row never carried.
+ *
+ * NOTE: rule 1 matches by AST text, so a subtree that *reads* like a grouping key but
+ * resolves to something else could be redirected wrongly. Within one query the guard
+ * above closes that off; the residue is a subtree of ENCLOSING-query references that
+ * happens to spell a grouping key (`group by a` in an inner query whose window spec
+ * says `outer_alias.a`… only when that fingerprints identically). This is the same
+ * limitation the select list already carries through the shared {@link GroupKeyIndex};
+ * fixing it means comparing resolved attribute identity rather than text, for both
+ * callers at once.
+ */
+export declare function redirectToGroupKeys(node: ScalarPlanNode, context: GroupedWindowContext, scope: Scope): ScalarPlanNode;
+/**
+ * Raises the GROUP BY coverage error for a window specification / window-function
+ * argument of a GROUPED query that still reads a pre-grouping column after
+ * {@link redirectToGroupKeys} has run.
+ *
+ * Distinct from {@link assertGroupByCoverage} in exactly two ways, both required by
+ * the fact that a window expression may contain a subquery:
+ *
+ * - it descends into relational children, so a correlated reference buried in a
+ *   subquery is checked rather than skipped;
+ * - it flags a column reference only when the attribute id is one of THIS query's
+ *   pre-grouping columns. A reference to anything else — the subquery's own columns,
+ *   or a correlated reference to an enclosing query — is legal here and is left alone.
+ *
+ * The aggregate exemption is likewise narrowed to this query's OWN aggregates; see
+ * {@link findUngroupedWindowColumnRef}.
+ */
+export declare function assertGroupedWindowCoverage(node: PlanNode, context: GroupedWindowContext): void;
+/**
+ * Every aggregate function call inside an AST expression, in source order.
+ * Does not descend into an aggregate's own arguments (nested aggregates are
+ * invalid SQL). Exported for callers that need to *inspect* the aggregates in a
+ * clause rather than collect them into the AggregateNode.
+ */
+export declare function collectAggregateFunctionExprs(expr: AST.Expression, ctx: PlanningContext): AST.FunctionExpr[];
 /**
  * Builds final projections for the complete SELECT list in aggregate context
  */

package/dist/src/planner/building/select-aggregates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"select-aggregates.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/select-aggregates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAmD,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACtI,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAc1D;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,aAAa,EAAE,OAAO,EACtB,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,GAAE,OAAe,EACrC,cAAc,GAAE,GAAG,CAAC,UAAU,EAAO,GACnC;IACF,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,CAAC,EAAE,eAAe,CAAC;IACjC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,kBAAkB,CAAC,EAAE,cAAc,EAAE,CAAC;IACtC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,iBAAiB,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;CAClD,CA6IA;AAueD;;GAEG;AACH,wBAAgB,8BAA8B,CAC7C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,oBAAoB,EAAE,eAAe,EACrC,aAAa,EAAE,kBAAkB,EACjC,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,kBAAkB,EAAE,cAAc,EAAE,EACpC,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,GACvF,UAAU,EAAE,CAyGd"}
+{"version":3,"file":"select-aggregates.d.ts","sourceRoot":"","sources":["../../../../src/planner/building/select-aggregates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAoB,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,kBAAkB,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACtI,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAI9D,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAO1D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAIhD,OAAO,EAAwD,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAIjH;;GAEG;AACH,wBAAgB,mBAAmB,CAClC,KAAK,EAAE,kBAAkB,EACzB,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,aAAa,EAAE,OAAO,EACtB,WAAW,EAAE,UAAU,EAAE,EACzB,oBAAoB,GAAE,OAAe,EACrC,UAAU,GAAE,SAAS,eAAe,EAAO,EAC3C,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,GACvF;IACF,MAAM,EAAE,kBAAkB,CAAC;IAC3B,cAAc,CAAC,EAAE,eAAe,CAAC;IACjC,oBAAoB,EAAE,OAAO,CAAC;IAC9B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC,kBAAkB,CAAC,EAAE,cAAc,EAAE,CAAC;IACtC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IACnC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,iBAAiB,CAAC,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;CAClD,CA4IA;AAoCD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC3C;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CACnC,kBAAkB,EAAE,SAAS,cAAc,EAAE,EAC7C,uBAAuB,GAAE,SAAS,SAAS,EAAO,GAChD,eAAe,CAajB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,eAAe,GAAG,IAAI,CAUrF;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,oBAAoB;IACpC,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,6FAA6F;IAC7F,QAAQ,CAAC,gBAAgB,EAAE,SAAS,SAAS,EAAE,CAAC;IAChD;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,aAAa;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,kBAAkB,EAAE,SAAS,cAAc,EAAE,GAAG,aAAa,CAc3F;AAED;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACxC,kBAAkB,EAAE,SAAS,cAAc,EAAE,EAC7C,gBAAgB,EAAE,SAAS,SAAS,EAAE,EACtC,cAAc,EAAE,QAAQ,GACtB,oBAAoB,CAOtB;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,wBAAgB,mBAAmB,CAClC,IAAI,EAAE,cAAc,EACpB,OAAO,EAAE,oBAAoB,EAC7B,KAAK,EAAE,KAAK,GACV,cAAc,CAEhB;AAsED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,oBAAoB,GAAG,IAAI,CAU/F;AA6eD;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC5C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,GAAG,EAAE,eAAe,GAClB,GAAG,CAAC,YAAY,EAAE,CAIpB;AA0FD;;GAEG;AACH,wBAAgB,8BAA8B,CAC7C,IAAI,EAAE,GAAG,CAAC,UAAU,EACpB,aAAa,EAAE,eAAe,EAC9B,oBAAoB,EAAE,eAAe,EACrC,aAAa,EAAE,kBAAkB,EACjC,UAAU,EAAE;IAAE,UAAU,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EAC3D,kBAAkB,EAAE,cAAc,EAAE,EACpC,uBAAuB,GAAE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAa,GACvF,UAAU,EAAE,CA8Fd"}