@quereus/quereus 4.3.2 → 4.4.0

package/dist/src/func/builtins/aggregate.js

@@ -4,10 +4,62 @@ import { compareSqlValuesFast, BINARY_COLLATION } from '../../util/comparison.js
 import { INTEGER_TYPE, REAL_TYPE, TEXT_TYPE } from '../../types/builtin-types.js';
 const log = createLogger('func:builtins:aggregate');
 const warnLog = log.extend('warn');
+/** Add two accumulated numeric values, promoting to BigInt when either side is
+ *  BigInt or the numeric sum would leave the safe-integer range — the same
+ *  promotion the SUM step applies per value. */
+function addWithPromotion(a, b) {
+    if (typeof a === 'bigint' || typeof b === 'bigint') {
+        return BigInt(a) + BigInt(b);
+    }
+    const sum = a + b;
+    if (sum > Number.MAX_SAFE_INTEGER || sum < Number.MIN_SAFE_INTEGER) {
+        return BigInt(a) + BigInt(b);
+    }
+    return sum;
+}
 // --- count(*) ---
-export const countStarFunc = createAggregateFunction({ name: 'count', numArgs: 0, initialValue: 0, returnType: { typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: false, isReadOnly: true } }, (acc) => acc + 1, (acc) => acc);
-// --- SUM(X) ---
-export const sumFunc = createAggregateFunction({ name: 'sum', numArgs: 1, initialValue: null, returnType: { typeClass: 'scalar', logicalType: REAL_TYPE, nullable: true, isReadOnly: true } }, (acc, value) => {
+export const countStarFunc = createAggregateFunction({
+    name: 'count', numArgs: 0, initialValue: 0,
+    returnType: { typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: false, isReadOnly: true },
+    algebra: {
+        merge: (a, b) => a + b,
+        negate: (a) => -a,
+        // finalize is identity — the stored count IS the accumulator
+        decode: (stored) => Number(stored),
+        decodeExact: true,
+    },
+}, (acc) => acc + 1, (acc) => acc);
+export const sumFunc = createAggregateFunction({
+    name: 'sum', numArgs: 1, initialValue: null,
+    returnType: { typeClass: 'scalar', logicalType: REAL_TYPE, nullable: true, isReadOnly: true },
+    // NOTE: declared unconditionally; exactness under retraction is a value-domain
+    // property (floats drift) the function cannot see, so the write-side delta arm
+    // gates on the argument's static type before exploiting negate.
+    algebra: {
+        merge: (a, b) => {
+            if (a === null)
+                return b;
+            if (b === null)
+                return a;
+            return { sum: addWithPromotion(a.sum, b.sum), count: a.count + b.count };
+        },
+        negate: (a) => a === null ? null : { sum: -a.sum, count: -a.count },
+        // Stored NULL (empty group) decodes to the empty accumulator, never a
+        // wrapped NULL. A stored value decodes with an ABSORBING count witness
+        // (Infinity): the stored sum cannot recover the true non-NULL contribution
+        // count, so the witness must (a) be non-zero (the group is non-empty) and
+        // (b) STAY non-zero under any finite retraction — a finite witness (e.g. 1)
+        // would collapse to 0 on the first retraction and finalize a spurious NULL
+        // while contributions remain. This is deliberately NOT `decodeExact`: the
+        // delta arm may retract through this decode only when it can prove the true
+        // count stays positive (NOT NULL argument + multiplicity witness), and
+        // otherwise re-derives the group from live source state.
+        // NOTE: type-trusts its input — a non-numeric stored value poisons the
+        // accumulator. Sound while the only caller is the delta arm reading back a
+        // value this same aggregate wrote.
+        decode: (stored) => stored === null ? null : { sum: stored, count: Number.POSITIVE_INFINITY },
+    },
+}, (acc, value) => {
     if (value === null)
         return acc; // Ignore NULLs
     const currentSum = acc?.sum ?? 0; // Initialize sum to 0 if null
@@ -31,28 +83,42 @@ export const sumFunc = createAggregateFunction({ name: 'sum', numArgs: 1, initia
         else {
             return acc; // Ignore non-numeric types like Uint8Array
         }
-        // Promote to BigInt if either is BigInt or if result might overflow Number
-        if (typeof currentSum === 'bigint' || typeof numValue === 'bigint') {
-            return { sum: BigInt(currentSum) + BigInt(numValue) };
-        }
-        else {
-            // Check potential overflow before adding as numbers
-            const potentialSum = currentSum + numValue;
-            if (potentialSum > Number.MAX_SAFE_INTEGER || potentialSum < Number.MIN_SAFE_INTEGER) {
-                return { sum: BigInt(currentSum) + BigInt(numValue) };
-            }
-            return { sum: potentialSum };
-        }
+        return { sum: addWithPromotion(currentSum, numValue), count: (acc?.count ?? 0) + 1 };
     }
     catch (e) {
         warnLog("Error during SUM step coercion: %O", e);
         return acc; // Ignore value if coercion fails
     }
 }, (acc) => {
-    // SQLite returns NULL for SUM of empty set, INTEGER or REAL result
-    return acc?.sum ?? null;
+    // SQLite returns NULL for SUM of empty set, INTEGER or REAL result.
+    // count === 0 (all contributions retracted) is observationally the empty group.
+    if (acc === null || acc.count === 0)
+        return null;
+    return acc.sum;
 });
-export const avgFunc = createAggregateFunction({ name: 'avg', numArgs: 1, initialValue: { sum: 0, count: 0 }, returnType: { typeClass: 'scalar', logicalType: REAL_TYPE, nullable: true, isReadOnly: true } }, (acc, value) => {
+export const avgFunc = createAggregateFunction({
+    name: 'avg', numArgs: 1, initialValue: { sum: 0, count: 0 },
+    returnType: { typeClass: 'scalar', logicalType: REAL_TYPE, nullable: true, isReadOnly: true },
+    // No decode — the stored quotient forgets the count and cannot reconstruct
+    // an accumulator. Maintained/rolled up via its decomposition instead.
+    algebra: {
+        merge: (a, b) => ({ sum: a.sum + b.sum, count: a.count + b.count }),
+        negate: (a) => ({ sum: -a.sum, count: -a.count }),
+        decompose: {
+            partials: [
+                { func: 'sum', arg: 'same-arg' },
+                { func: 'count', arg: 'same-arg' },
+            ],
+            // Real division, matching native avg; empty group (count 0 / NULL) ⇒ NULL.
+            combine: (partialValues) => {
+                const [sumV, countV] = partialValues;
+                if (countV === null || countV === undefined || Number(countV) === 0)
+                    return null;
+                return Number(sumV) / Number(countV);
+            },
+        },
+    },
+}, (acc, value) => {
     if (value === null)
         return acc; // Ignore NULLs
     let numValue = value;
@@ -86,7 +152,20 @@ export const minFunc = createAggregateFunction({
         logicalType: argTypes[0],
         nullable: true, // MIN can return NULL if all values are NULL or no rows
         isReadOnly: true
-    })
+    }),
+    // Tighten-only: merge but no negate (a retracted min cannot be undone locally).
+    // Same BINARY comparison as the step, so merge and step agree byte-for-byte.
+    algebra: {
+        merge: (a, b) => {
+            if (a === null)
+                return b;
+            if (b === null)
+                return a;
+            return compareSqlValuesFast(b.min, a.min, BINARY_COLLATION) < 0 ? b : a;
+        },
+        // Stored NULL (empty group) decodes to the empty accumulator.
+        decode: (stored) => stored === null ? null : { min: stored },
+    },
 }, (acc, value) => {
     if (value === null)
         return acc; // Ignore NULLs
@@ -107,7 +186,20 @@ export const maxFunc = createAggregateFunction({
         logicalType: argTypes[0],
         nullable: true, // MAX can return NULL if all values are NULL or no rows
         isReadOnly: true
-    })
+    }),
+    // Tighten-only: merge but no negate (a retracted max cannot be undone locally).
+    // Same BINARY comparison as the step, so merge and step agree byte-for-byte.
+    algebra: {
+        merge: (a, b) => {
+            if (a === null)
+                return b;
+            if (b === null)
+                return a;
+            return compareSqlValuesFast(b.max, a.max, BINARY_COLLATION) > 0 ? b : a;
+        },
+        // Stored NULL (empty group) decodes to the empty accumulator.
+        decode: (stored) => stored === null ? null : { max: stored },
+    },
 }, (acc, value) => {
     if (value === null)
         return acc; // Ignore NULLs
@@ -119,7 +211,17 @@ export const maxFunc = createAggregateFunction({
 });
 // --- COUNT(X) ---
 // Counts non-NULL values of X
-export const countXFunc = createAggregateFunction({ name: 'count', numArgs: 1, initialValue: 0, returnType: { typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: false, isReadOnly: true } }, (acc, value) => {
+export const countXFunc = createAggregateFunction({
+    name: 'count', numArgs: 1, initialValue: 0,
+    returnType: { typeClass: 'scalar', logicalType: INTEGER_TYPE, nullable: false, isReadOnly: true },
+    algebra: {
+        merge: (a, b) => a + b,
+        negate: (a) => -a,
+        // finalize is identity — the stored count IS the accumulator
+        decode: (stored) => Number(stored),
+        decodeExact: true,
+    },
+}, (acc, value) => {
     if (value === null)
         return acc; // Do not count NULLs
     return acc + 1;
@@ -139,6 +241,10 @@ export const groupConcatFuncRev = createAggregateFunction({ name: 'group_concat'
     return acc.values.join(acc.separator);
 });
 // --- TOTAL(X) ---
+// NOTE: deliberately declares no algebra — a float running sum drifts under
+// retraction and would diverge byte-exactly from a fresh live re-sum, which the
+// maintenance-equivalence oracle compares byte-exactly. Residual-only is correct,
+// just not incremental. Same for group_concat / var_* / stddev_* below.
 export const totalFunc = createAggregateFunction({ name: 'total', numArgs: 1, initialValue: 0.0, returnType: { typeClass: 'scalar', logicalType: REAL_TYPE, nullable: false, isReadOnly: true } }, (acc, value) => {
     let numValue = 0.0;
     if (value !== null) {

package/dist/src/func/builtins/aggregate.js.map

@@ -1 +1 @@
-{"version":3,"file":"aggregate.js","sourceRoot":"","sources":["../../../../src/func/builtins/aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAElF,MAAM,GAAG,GAAG,YAAY,CAAC,yBAAyB,CAAC,CAAC;AACpD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEnC,mBAAmB;AACnB,MAAM,CAAC,MAAM,aAAa,GAAG,uBAAuB,CACnD,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EACjJ,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,GAAG,CAAC,EAChC,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAC5B,CAAC;AAEF,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC9I,CAAC,GAAoC,EAAE,KAAe,EAAmC,EAAE;IAC1F,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,8BAA8B;IAChE,IAAI,QAAyB,CAAC;IAE9B,IAAI,CAAC;QACJ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,QAAQ,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9B,QAAQ,GAAG,MAAM,CAAC;QACnB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACvC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,OAAO,GAAG,CAAC,CAAC,2CAA2C;QACxD,CAAC;QAED,2EAA2E;QAC3E,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACpE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,CAAC;aAAM,CAAC;YACP,oDAAoD;YACpD,MAAM,YAAY,GAAI,UAAqB,GAAI,QAAmB,CAAC;YACnE,IAAI,YAAY,GAAG,MAAM,CAAC,gBAAgB,IAAI,YAAY,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACtF,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvD,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;QAC9B,CAAC;IACF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC,CAAC,iCAAiC;IAC9C,CAAC;AACF,CAAC,EACD,CAAC,GAAoC,EAA0B,EAAE;IAChE,mEAAmE;IACnE,OAAO,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AACzB,CAAC,CACD,CAAC;AAIF,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC9J,CAAC,GAAmB,EAAE,KAAe,EAAkB,EAAE;IACxD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC;QACJ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,KAAK,CAAC,QAAkB,CAAC;gBAAE,OAAO,GAAG,CAAC,CAAC,qBAAqB;QACjE,CAAC;QAED,8EAA8E;QAC9E,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC;IACZ,CAAC;AACF,CAAC,EACD,CAAC,GAAmB,EAAiB,EAAE;IACtC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,qBAAqB;IACvD,OAAO,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;AAC5B,CAAC,CACD,CAAC;AAEF,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,IAAI;IAClB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,wDAAwD;QACxE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,GAA6B,EAAE,KAAe,EAA4B,EAAE;IAC5E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,uBAAuB;IAChE,OAAO,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1F,CAAC,EACD,CAAC,GAA6B,EAAmB,EAAE;IAClD,OAAO,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AACzB,CAAC,CACD,CAAC;AAEF,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,IAAI;IAClB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,wDAAwD;QACxE,UAAU,EAAE,IAAI;KAChB,CAAC;CACF,EACD,CAAC,GAA6B,EAAE,KAAe,EAA4B,EAAE;IAC5E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,uBAAuB;IAChE,OAAO,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1F,CAAC,EACD,CAAC,GAA6B,EAAmB,EAAE;IAClD,OAAO,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AACzB,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,8BAA8B;AAC9B,MAAM,CAAC,MAAM,UAAU,GAAG,uBAAuB,CAChD,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EACjJ,CAAC,GAAW,EAAE,KAAe,EAAU,EAAE;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,qBAAqB;IACrD,OAAO,GAAG,GAAG,CAAC,CAAC;AAChB,CAAC,EACD,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAC5B,CAAC;AAOF,MAAM,CAAC,MAAM,kBAAkB,GAAG,uBAAuB,CACxD,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC1L,CAAC,GAA2B,EAAE,KAAe,EAAE,YAAsB,GAAG,EAA0B,EAAE;IACnG,MAAM,gBAAgB,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7G,GAAG,CAAC,SAAS,GAAG,gBAAgB,CAAC;IAEjC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC;AACZ,CAAC,EACD,CAAC,GAA2B,EAAiB,EAAE;IAC9C,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACvC,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,MAAM,CAAC,MAAM,SAAS,GAAG,uBAAuB,CAC/C,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAChJ,CAAC,GAAW,EAAE,KAAe,EAAU,EAAE;IACxC,IAAI,QAAQ,GAAG,GAAG,CAAC;IACnB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC;YACJ,6DAA6D;YAC7D,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrB,QAAQ,GAAG,GAAG,CAAC;YAChB,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,QAAQ,GAAG,GAAG,CAAC;QAChB,CAAC;IACF,CAAC;IACD,uCAAuC;IACvC,OAAO,GAAG,GAAG,QAAQ,CAAC;AACvB,CAAC,EACD,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAAC,gDAAgD;CAC7E,CAAC;AASF,MAAM,WAAW,GAAG,CAAC,GAAoB,EAAE,KAAe,EAAmB,EAAE;IAC9E,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,CAAC,eAAe;IAC5B,CAAC;IACD,IAAI,CAAC;QACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,qBAAqB;QAClC,CAAC;QACD,sCAAsC;QACtC,OAAO;YACN,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC;YACpB,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,QAAQ;YACvB,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;SACxC,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,sDAAsD,EAAE,CAAC,CAAC,CAAC;QACnE,OAAO,GAAG,CAAC;IACZ,CAAC;AACF,CAAC,CAAC;AAEF,gCAAgC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG,uBAAuB,CAChD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC5K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,qBAAqB;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC;AACjB,CAAC,CACD,CAAC;AAEF,6BAA6B;AAC7B,MAAM,CAAC,MAAM,WAAW,GAAG,uBAAuB,CACjD,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC7K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,0BAA0B;IAC3D,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,QAAQ,CAAC;AACjB,CAAC,CACD,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,aAAa,GAAG,uBAAuB,CACnD,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC/K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACvD,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC,CACD,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAAG,uBAAuB,CACpD,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAChL,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC,CACD,CAAC"}
+{"version":3,"file":"aggregate.js","sourceRoot":"","sources":["../../../../src/func/builtins/aggregate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAElF,MAAM,GAAG,GAAG,YAAY,CAAC,yBAAyB,CAAC,CAAC;AACpD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEnC;;gDAEgD;AAChD,SAAS,gBAAgB,CAAC,CAAkB,EAAE,CAAkB;IAC/D,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,IAAI,GAAG,GAAG,MAAM,CAAC,gBAAgB,IAAI,GAAG,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC;AAED,mBAAmB;AACnB,MAAM,CAAC,MAAM,aAAa,GAAG,uBAAuB,CACnD;IACC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1C,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE;IACjG,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC;QAC9C,MAAM,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC;QACjC,6DAA6D;QAC7D,MAAM,EAAE,CAAC,MAAgB,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACpD,WAAW,EAAE,IAAI;KACjB;CACD,EACD,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,GAAG,CAAC,EAChC,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAC5B,CAAC;AASF,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI;IAC3C,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE;IAC7F,+EAA+E;IAC/E,+EAA+E;IAC/E,gEAAgE;IAChE,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAAiB,EAAE,CAAiB,EAAkB,EAAE;YAC/D,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1E,CAAC;QACD,MAAM,EAAE,CAAC,CAAiB,EAAkB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE;QACnG,sEAAsE;QACtE,uEAAuE;QACvE,2EAA2E;QAC3E,0EAA0E;QAC1E,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,4EAA4E;QAC5E,uEAAuE;QACvE,yDAAyD;QACzD,uEAAuE;QACvE,2EAA2E;QAC3E,mCAAmC;QACnC,MAAM,EAAE,CAAC,MAAgB,EAAkB,EAAE,CAC5C,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAyB,EAAE,KAAK,EAAE,MAAM,CAAC,iBAAiB,EAAE;KAC7F;CACD,EACD,CAAC,GAAmB,EAAE,KAAe,EAAkB,EAAE;IACxD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,MAAM,UAAU,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,8BAA8B;IAChE,IAAI,QAAyB,CAAC;IAE9B,IAAI,CAAC;QACJ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,QAAQ,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAC;QAClB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,KAAK,CAAC,MAAM,CAAC;gBAAE,OAAO,GAAG,CAAC;YAC9B,QAAQ,GAAG,MAAM,CAAC;QACnB,CAAC;aAAM,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACvC,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;aAAM,CAAC;YACP,OAAO,GAAG,CAAC,CAAC,2CAA2C;QACxD,CAAC;QAED,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACtF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC,CAAC,iCAAiC;IAC9C,CAAC;AACF,CAAC,EACD,CAAC,GAAmB,EAA0B,EAAE;IAC/C,oEAAoE;IACpE,gFAAgF;IAChF,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,GAAG,CAAC,GAAG,CAAC;AAChB,CAAC,CACD,CAAC;AAIF,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC3D,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE;IAC7F,2EAA2E;IAC3E,sEAAsE;IACtE,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAAiB,EAAE,CAAiB,EAAkB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACnH,MAAM,EAAE,CAAC,CAAiB,EAAkB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACjF,SAAS,EAAE;YACV,QAAQ,EAAE;gBACT,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE;gBAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE;aAClC;YACD,2EAA2E;YAC3E,OAAO,EAAE,CAAC,aAAkC,EAAY,EAAE;gBACzD,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,aAAa,CAAC;gBACrC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACjF,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;SACD;KACD;CACD,EACD,CAAC,GAAmB,EAAE,KAAe,EAAkB,EAAE;IACxD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC;QACJ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,KAAK,CAAC,QAAkB,CAAC;gBAAE,OAAO,GAAG,CAAC,CAAC,qBAAqB;QACjE,CAAC;QAED,8EAA8E;QAC9E,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,oCAAoC,EAAE,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC;IACZ,CAAC;AACF,CAAC,EACD,CAAC,GAAmB,EAAiB,EAAE;IACtC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,qBAAqB;IACvD,OAAO,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;AAC5B,CAAC,CACD,CAAC;AAEF,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,IAAI;IAClB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,wDAAwD;QACxE,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gFAAgF;IAChF,6EAA6E;IAC7E,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAA2B,EAAE,CAA2B,EAA4B,EAAE;YAC7F,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,OAAO,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,8DAA8D;QAC9D,MAAM,EAAE,CAAC,MAAgB,EAA4B,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE;KAChG;CACD,EACD,CAAC,GAA6B,EAAE,KAAe,EAA4B,EAAE;IAC5E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,uBAAuB;IAChE,OAAO,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1F,CAAC,EACD,CAAC,GAA6B,EAAmB,EAAE;IAClD,OAAO,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AACzB,CAAC,CACD,CAAC;AAEF,iBAAiB;AACjB,MAAM,CAAC,MAAM,OAAO,GAAG,uBAAuB,CAC7C;IACC,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,CAAC;IACV,YAAY,EAAE,IAAI;IAClB,6DAA6D;IAC7D,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/B,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxB,QAAQ,EAAE,IAAI,EAAE,wDAAwD;QACxE,UAAU,EAAE,IAAI;KAChB,CAAC;IACF,gFAAgF;IAChF,6EAA6E;IAC7E,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAA2B,EAAE,CAA2B,EAA4B,EAAE;YAC7F,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzB,OAAO,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,8DAA8D;QAC9D,MAAM,EAAE,CAAC,MAAgB,EAA4B,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE;KAChG;CACD,EACD,CAAC,GAA6B,EAAE,KAAe,EAA4B,EAAE;IAC5E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,eAAe;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,uBAAuB;IAChE,OAAO,oBAAoB,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC1F,CAAC,EACD,CAAC,GAA6B,EAAmB,EAAE;IAClD,OAAO,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC;AACzB,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,8BAA8B;AAC9B,MAAM,CAAC,MAAM,UAAU,GAAG,uBAAuB,CAChD;IACC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC;IAC1C,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE;IACjG,OAAO,EAAE;QACR,KAAK,EAAE,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC;QAC9C,MAAM,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC;QACjC,6DAA6D;QAC7D,MAAM,EAAE,CAAC,MAAgB,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACpD,WAAW,EAAE,IAAI;KACjB;CACD,EACD,CAAC,GAAW,EAAE,KAAe,EAAU,EAAE;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,CAAC,qBAAqB;IACrD,OAAO,GAAG,GAAG,CAAC,CAAC;AAChB,CAAC,EACD,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAC5B,CAAC;AAOF,MAAM,CAAC,MAAM,kBAAkB,GAAG,uBAAuB,CACxD,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC1L,CAAC,GAA2B,EAAE,KAAe,EAAE,YAAsB,GAAG,EAA0B,EAAE;IACnG,MAAM,gBAAgB,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7G,GAAG,CAAC,SAAS,GAAG,gBAAgB,CAAC;IAEjC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC;AACZ,CAAC,EACD,CAAC,GAA2B,EAAiB,EAAE;IAC9C,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACvC,CAAC,CACD,CAAC;AAEF,mBAAmB;AACnB,4EAA4E;AAC5E,gFAAgF;AAChF,kFAAkF;AAClF,wEAAwE;AACxE,MAAM,CAAC,MAAM,SAAS,GAAG,uBAAuB,CAC/C,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAChJ,CAAC,GAAW,EAAE,KAAe,EAAU,EAAE;IACxC,IAAI,QAAQ,GAAG,GAAG,CAAC;IACnB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,IAAI,CAAC;YACJ,6DAA6D;YAC7D,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrB,QAAQ,GAAG,GAAG,CAAC;YAChB,CAAC;QACF,CAAC;QAAC,MAAM,CAAC;YACR,QAAQ,GAAG,GAAG,CAAC;QAChB,CAAC;IACF,CAAC;IACD,uCAAuC;IACvC,OAAO,GAAG,GAAG,QAAQ,CAAC;AACvB,CAAC,EACD,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,CAAC,gDAAgD;CAC7E,CAAC;AASF,MAAM,WAAW,GAAG,CAAC,GAAoB,EAAE,KAAe,EAAmB,EAAE;IAC9E,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,GAAG,CAAC,CAAC,eAAe;IAC5B,CAAC;IACD,IAAI,CAAC;QACJ,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,CAAC,qBAAqB;QAClC,CAAC;QACD,sCAAsC;QACtC,OAAO;YACN,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC;YACpB,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,QAAQ;YACvB,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;SACxC,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,OAAO,CAAC,sDAAsD,EAAE,CAAC,CAAC,CAAC;QACnE,OAAO,GAAG,CAAC;IACZ,CAAC;AACF,CAAC,CAAC;AAEF,gCAAgC;AAChC,MAAM,CAAC,MAAM,UAAU,GAAG,uBAAuB,CAChD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC5K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,qBAAqB;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC;AACjB,CAAC,CACD,CAAC;AAEF,6BAA6B;AAC7B,MAAM,CAAC,MAAM,WAAW,GAAG,uBAAuB,CACjD,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC7K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,0BAA0B;IAC3D,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,QAAQ,CAAC;AACjB,CAAC,CACD,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,aAAa,GAAG,uBAAuB,CACnD,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAC/K,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IACvD,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC,CACD,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAAG,uBAAuB,CACpD,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAChL,WAAW,EACX,CAAC,GAAoB,EAAiB,EAAE;IACvC,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACjF,OAAO,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC,CACD,CAAC"}

package/dist/src/func/registration.d.ts

@@ -1,4 +1,4 @@
-import type { AggregateFinalizer, AggregateReducer, IntegratedTableValuedFunc, ScalarFunc, TableValuedFunc, ScalarFunctionSchema, TableValuedFunctionSchema, AggregateFunctionSchema, TVFAdvertisement } from '../schema/function.js';
+import type { AggregateFinalizer, AggregateReducer, IntegratedTableValuedFunc, ScalarFunc, TableValuedFunc, ScalarFunctionSchema, TableValuedFunctionSchema, AggregateFunctionSchema, AggregateAlgebra, TVFAdvertisement } from '../schema/function.js';
 import { FunctionFlags } from '../common/constants.js';
 import type { ScalarType, RelationType } from '../common/datatype.js';
 import type { LogicalType } from '../types/logical-type.js';
@@ -74,6 +74,8 @@ interface TableValuedFuncOptions {
     relationalAdvertisement?: TVFAdvertisement;
 }
 export type AggValue = any;
+/** Clone an aggregate initial value so each group gets an independent accumulator. */
+export declare function cloneInitialValue(initialValue: unknown): AggValue;
 /**
  * Configuration options for aggregate functions
  */
@@ -91,6 +93,9 @@ interface AggregateFuncOptions {
     replicable?: boolean;
     /** Initial accumulator value */
     initialValue?: AggValue;
+    /** Optional algebraic structure over the accumulator (merge/negate/decode/decompose).
+     *  See {@link import('../schema/function.js').AggregateAlgebra} for the author contract. */
+    algebra?: AggregateAlgebra;
     /** Return type information */
     returnType?: ScalarType;
     /**

package/dist/src/func/registration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registration.d.ts","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAC/H,yBAAyB,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACrG,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAEtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;GAEG;AACH,UAAU,iBAAiB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,8BAA8B;IAC9B,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;IACnF,uGAAuG;IACvG,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4EAA4E;IAC5E,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;OAIG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC/E;;6EAEyE;IACzE,MAAM,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,sBAAsB;IAC/B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yCAAyC;IACzC,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,4DAA4D;IAC5D,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAID,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC;AAE3B;;GAEG;AACH,UAAU,oBAAoB;IAC7B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gCAAgC;IAChC,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB,8BAA8B;IAC9B,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,UAAU,GAAG,oBAAoB,CAsBzG;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,sBAAsB,EAAE,MAAM,EAAE,eAAe,GAAG,yBAAyB,CAmB7H;AAED;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,sBAAsB,EAAE,MAAM,EAAE,yBAAyB,GAAG,yBAAyB,CAoBjJ;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CACtC,OAAO,EAAE,oBAAoB,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,kBAAkB,GAC9B,uBAAuB,CAoBzB"}
+{"version":3,"file":"registration.d.ts","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAC/H,yBAAyB,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvH,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAEtE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;GAEG;AACH,UAAU,iBAAiB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,8BAA8B;IAC9B,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;IACnF,uGAAuG;IACvG,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,4EAA4E;IAC5E,cAAc,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAAA;KAAE,CAAC;IAC9E;;;;OAIG;IACH,iBAAiB,CAAC,EAAE;QAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,GAAG;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC/E;;6EAEyE;IACzE,MAAM,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,sBAAsB;IAC/B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,yCAAyC;IACzC,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,4DAA4D;IAC5D,uBAAuB,CAAC,EAAE,gBAAgB,CAAC;CAC3C;AAID,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC;AAE3B,sFAAsF;AACtF,wBAAgB,iBAAiB,CAAC,YAAY,EAAE,OAAO,GAAG,QAAQ,CAUjE;AAED;;GAEG;AACH,UAAU,oBAAoB;IAC7B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,KAAK,CAAC,EAAE,aAAa,CAAC;IACtB,8DAA8D;IAC9D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;6HACyH;IACzH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,gCAAgC;IAChC,YAAY,CAAC,EAAE,QAAQ,CAAC;IACxB;gGAC4F;IAC5F,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,8BAA8B;IAC9B,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB;;;;OAIG;IACH,eAAe,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,UAAU,CAAC;IACrF;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,KAAK,OAAO,CAAC;CACnF;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,UAAU,GAAG,oBAAoB,CAsBzG;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,sBAAsB,EAAE,MAAM,EAAE,eAAe,GAAG,yBAAyB,CAmB7H;AAED;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CAAC,OAAO,EAAE,sBAAsB,EAAE,MAAM,EAAE,yBAAyB,GAAG,yBAAyB,CAoBjJ;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CACtC,OAAO,EAAE,oBAAoB,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,YAAY,EAAE,kBAAkB,GAC9B,uBAAuB,CAqBzB"}

package/dist/src/func/registration.js

@@ -1,5 +1,20 @@
 import { FunctionFlags } from '../common/constants.js';
 import { REAL_TYPE } from '../types/builtin-types.js';
+/** Clone an aggregate initial value so each group gets an independent accumulator. */
+export function cloneInitialValue(initialValue) {
+    if (typeof initialValue === 'function') {
+        return initialValue();
+    }
+    else if (Array.isArray(initialValue)) {
+        return [...initialValue];
+    }
+    else if (initialValue && typeof initialValue === 'object') {
+        return { ...initialValue };
+    }
+    else {
+        return initialValue;
+    }
+}
 /**
  * Creates a function schema for a scalar SQL function.
  * This is the primary way to register scalar functions in Quereus.
@@ -116,6 +131,7 @@ export function createAggregateFunction(options, stepFunc, finalizeFunc) {
         stepFunction: stepFunc,
         finalizeFunction: finalizeFunc,
         initialValue: options.initialValue,
+        algebra: options.algebra,
         replicable: options.replicable,
         inferReturnType: options.inferReturnType,
         validateArgTypes: options.validateArgTypes

package/dist/src/func/registration.js.map

@@ -1 +1 @@
-{"version":3,"file":"registration.js","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AA2GtD;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAA0B,EAAE,MAAkB;IAClF,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;KACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA+B,EAAE,MAAuB;IACjG,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CAAC,OAA+B,EAAE,MAAiC;IACrH,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,IAAI;QAClB,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACtC,OAA6B,EAC7B,QAA0B,EAC1B,YAAgC;IAEhC,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,YAAY,EAAE,QAAQ;QACtB,gBAAgB,EAAE,YAAY;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC1C,CAAC;AACH,CAAC"}
+{"version":3,"file":"registration.js","sourceRoot":"","sources":["../../../src/func/registration.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AA0EtD,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,YAAqB;IACtD,IAAI,OAAO,YAAY,KAAK,UAAU,EAAE,CAAC;QACxC,OAAO,YAAY,EAAE,CAAC;IACvB,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,YAAY,CAAa,CAAC;IACtC,CAAC;SAAM,IAAI,YAAY,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC7D,OAAO,EAAE,GAAG,YAAY,EAAc,CAAC;IACxC,CAAC;SAAM,CAAC;QACP,OAAO,YAAwB,CAAC;IACjC,CAAC;AACF,CAAC;AAsCD;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAA0B,EAAE,MAAkB;IAClF,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;KACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA+B,EAAE,MAAuB;IACjG,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CAAC,OAA+B,EAAE,MAAiC;IACrH,MAAM,UAAU,GAAiB,OAAO,CAAC,UAAU,IAAI;QACtD,SAAS,EAAE,UAAU;QACrB,UAAU,EAAE,IAAI;QAChB,KAAK,EAAE,KAAK,EAAE,mDAAmD;QACjE,OAAO,EAAE,EAAE;QACX,IAAI,EAAE,EAAE;QACR,cAAc,EAAE,EAAE;KAClB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,IAAI;QAClB,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;KACxD,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACtC,OAA6B,EAC7B,QAA0B,EAC1B,YAAgC;IAEhC,MAAM,UAAU,GAAe,OAAO,CAAC,UAAU,IAAI;QACpD,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,IAAI;KAChB,CAAC;IAEF,OAAO;QACN,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClH,UAAU;QACV,YAAY,EAAE,QAAQ;QACtB,gBAAgB,EAAE,YAAY;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC1C,CAAC;AACH,CAAC"}

package/dist/src/planner/analysis/equi-correlation.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Shared analysis helpers for subquery decorrelation rules: classifying
+ * filter conjuncts as simple equi-correlations (`outer.col = inner.col`) and
+ * detecting leftover outer references in residual predicates.
+ *
+ * Used by `rule-subquery-decorrelation` (EXISTS/IN → semi/anti join) and
+ * `rule-scalar-agg-decorrelation` (scalar aggregate subquery → grouped left
+ * join).
+ */
+import { type PlanNode, type ScalarPlanNode } from '../nodes/plan-node.js';
+/**
+ * Check if a scalar node is a simple equi-join between outer and inner attributes.
+ * Matches: outer.col = inner.col (or inner.col = outer.col)
+ */
+export declare function isEquiCorrelation(node: ScalarPlanNode, outerAttrIds: ReadonlySet<number>, innerAttrIds: ReadonlySet<number>): boolean;
+/**
+ * Collect attribute IDs defined by a relational subtree.
+ */
+export declare function collectDefinedAttrIds(node: PlanNode): Set<number>;
+/**
+ * Returns true if the plan tree contains any column reference to an
+ * attribute id in `attrIds`. Used to detect leftover correlation in
+ * residual inner-only predicates (which may include nested subqueries).
+ */
+export declare function referencesAnyAttr(node: PlanNode, attrIds: ReadonlySet<number>): boolean;
+//# sourceMappingURL=equi-correlation.d.ts.map

package/dist/src/planner/analysis/equi-correlation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"equi-correlation.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/equi-correlation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAoB,KAAK,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAI7F;;;GAGG;AACH,wBAAgB,iBAAiB,CAChC,IAAI,EAAE,cAAc,EACpB,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,EACjC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,OAAO,CAUT;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAcjE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAQvF"}

package/dist/src/planner/analysis/equi-correlation.js

@@ -0,0 +1,62 @@
+/**
+ * Shared analysis helpers for subquery decorrelation rules: classifying
+ * filter conjuncts as simple equi-correlations (`outer.col = inner.col`) and
+ * detecting leftover outer references in residual predicates.
+ *
+ * Used by `rule-subquery-decorrelation` (EXISTS/IN → semi/anti join) and
+ * `rule-scalar-agg-decorrelation` (scalar aggregate subquery → grouped left
+ * join).
+ */
+import { isRelationalNode } from '../nodes/plan-node.js';
+import { BinaryOpNode } from '../nodes/scalar.js';
+import { ColumnReferenceNode } from '../nodes/reference.js';
+/**
+ * Check if a scalar node is a simple equi-join between outer and inner attributes.
+ * Matches: outer.col = inner.col (or inner.col = outer.col)
+ */
+export function isEquiCorrelation(node, outerAttrIds, innerAttrIds) {
+    if (!(node instanceof BinaryOpNode))
+        return false;
+    if (node.expression.operator !== '=')
+        return false;
+    if (!(node.left instanceof ColumnReferenceNode) || !(node.right instanceof ColumnReferenceNode))
+        return false;
+    const leftId = node.left.attributeId;
+    const rightId = node.right.attributeId;
+    return (outerAttrIds.has(leftId) && innerAttrIds.has(rightId)) ||
+        (outerAttrIds.has(rightId) && innerAttrIds.has(leftId));
+}
+/**
+ * Collect attribute IDs defined by a relational subtree.
+ */
+export function collectDefinedAttrIds(node) {
+    const ids = new Set();
+    function walk(n) {
+        if (isRelationalNode(n)) {
+            for (const attr of n.getAttributes()) {
+                ids.add(attr.id);
+            }
+        }
+        for (const child of n.getChildren()) {
+            walk(child);
+        }
+    }
+    walk(node);
+    return ids;
+}
+/**
+ * Returns true if the plan tree contains any column reference to an
+ * attribute id in `attrIds`. Used to detect leftover correlation in
+ * residual inner-only predicates (which may include nested subqueries).
+ */
+export function referencesAnyAttr(node, attrIds) {
+    if (node instanceof ColumnReferenceNode && attrIds.has(node.attributeId)) {
+        return true;
+    }
+    for (const child of node.getChildren()) {
+        if (referencesAnyAttr(child, attrIds))
+            return true;
+    }
+    return false;
+}
+//# sourceMappingURL=equi-correlation.js.map

package/dist/src/planner/analysis/equi-correlation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"equi-correlation.js","sourceRoot":"","sources":["../../../../src/planner/analysis/equi-correlation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,gBAAgB,EAAsC,MAAM,uBAAuB,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAChC,IAAoB,EACpB,YAAiC,EACjC,YAAiC;IAEjC,IAAI,CAAC,CAAC,IAAI,YAAY,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,YAAY,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9G,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAEvC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1D,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAc;IACnD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,SAAS,IAAI,CAAC,CAAW;QACxB,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC;gBACtC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,CAAC;QACF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,CAAC;QACb,CAAC;IACF,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,GAAG,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAc,EAAE,OAA4B;IAC7E,IAAI,IAAI,YAAY,mBAAmB,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACxC,IAAI,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;IACpD,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC"}

package/dist/src/planner/analysis/query-rewrite-matcher.d.ts

@@ -55,6 +55,8 @@ import { AggregateNode } from '../nodes/aggregate-node.js';
 import { JoinNode } from '../nodes/join-node.js';
 import type { MaintainedTableSchema } from '../../schema/derivation.js';
 import type { TableSchema } from '../../schema/table.js';
+import type { AggregateFunctionSchema } from '../../schema/function.js';
+import type { SqlValue } from '../../common/types.js';
 export type RewriteFailureReason = 'no-candidate' | 'shape' | 'source-mismatch' | 'predicate-not-entailed' | 'missing-column' | 'aggregate-shape' | 'group-key-mismatch' | 'group-key-pinned' | 'aggregate-not-decomposable' | 'cost-declined';
 export interface RewriteMatch {
     readonly mv: MaintainedTableSchema;
@@ -120,25 +122,51 @@ export interface RewriteMatch {
 }
 /**
  * How to reconstruct one fragment aggregate from the MV's stored backing columns
- * during a rollup re-aggregation. The recombine is sound only for the
- * decomposable-aggregate allowlist (see {@link matchAggregateFragmentToMv}).
+ * during a rollup re-aggregation. Driven entirely by the aggregate's **declared
+ * algebra** (`merge` / `decode` / `decompose`) — never an aggregate-name list — so any
+ * UDAF that declares algebra rolls up for free (see {@link matchAggregateFragmentToMv}).
+ * Three structural variants:
+ *  - `passthrough` — exact-key: the stored column *is* the answer (no re-aggregate).
+ *  - `merge` — a directly-mergeable aggregate (declares `merge` + `decode`): re-aggregate
+ *    by folding the stored partial through the aggregate's own `merge ∘ decode`, then
+ *    its own `finalize` (see {@link MergeReagg}). The empty-group value falls out of
+ *    `finalize(identity)` (count→0, sum/min/max→NULL) — no name-specific coalesce.
+ *  - `compose` — a decomposable aggregate (declares `decompose`, e.g. `avg`): re-aggregate
+ *    each sibling partial (directly-mergeable), then `combine` their finalized values.
  */
-export interface AggregateRecipe {
+export type AggregateRecipe = {
     /** The fragment aggregate's output attribute (preserved through the rewrite). */
     readonly outAttr: Attribute;
-    /**
-     * The recombine operator over the backing column(s):
-     *  - `'sum'` — re-aggregate `sum(backingCol)` (reconstructs `sum(x)`).
-     *  - `'count'` — re-aggregate `coalesce(sum(backingCol), 0)` (reconstructs
-     *    `count(*)` / `count(x)`; the coalesce restores the count-over-zero-rows = 0
-     *    semantics a bare `sum` would surface as NULL for the empty global group).
-     *  - `'min'` / `'max'` — re-aggregate `min`/`max` of the partials.
-     *  - `'avg'` — `sum(sumBackingCol) / sum(countBackingCol)` (Quereus `/` is real
-     *    division, matching the native `avg`; NULL/0 over zero rows ⇒ NULL).
-     */
-    readonly kind: 'sum' | 'count' | 'min' | 'max' | 'avg';
-    /** Backing column(s): `[col]` for sum/count/min/max; `[sumCol, countCol]` for avg. */
-    readonly backingCols: readonly number[];
+} & ({
+    readonly kind: 'passthrough';
+    readonly backingCol: number;
+} | {
+    readonly kind: 'merge';
+    readonly reagg: MergeReagg;
+} | {
+    readonly kind: 'compose';
+    /** The re-aggregations of the decomposition's sibling partials, in `decompose.partials`
+     *  order (e.g. avg → `[sum(x), count(x)]`). */
+    readonly partials: readonly MergeReagg[];
+    /** The composed aggregate's `decompose.combine` — builds the finalized value from the
+     *  re-aggregated partials' finalized values, in `partials` order (avg's NULL/0 guard
+     *  lives inside it, so the empty-group case falls out). */
+    readonly combine: (partialValues: readonly SqlValue[]) => SqlValue;
+});
+/**
+ * A directly-mergeable re-aggregation of one stored partial column: fold the stored
+ * (finalized) partials of the rolled-up subgroups through the aggregate's own
+ * `merge ∘ decode`, then `finalize`. Sound for any aggregate that declares both
+ * `merge` (a commutative monoid over accumulators) and `decode` (reconstruct an
+ * accumulator from a stored finalized value). The rule synthesizes an aggregate
+ * function from this and applies it over {@link backingCol}.
+ */
+export interface MergeReagg {
+    /** Backing column holding the stored partial (`f(x)` / `count(*)`). */
+    readonly backingCol: number;
+    /** The stored aggregate's registered schema — carries `algebra.merge`/`decode`,
+     *  `finalizeFunction`, `initialValue`, and the return type. */
+    readonly schema: AggregateFunctionSchema;
 }
 /** The aggregate-rollup descriptor on a {@link RewriteMatch}. */
 export interface AggregateRollup {
@@ -166,6 +194,14 @@ export type RewriteResult = {
 };
 /** A predicate over the named function is deterministic iff this returns true. */
 export type DeterminismProbe = (fnName: string, argc: number) => boolean;
+/**
+ * Resolve an aggregate's registered schema by `(name, argc)` — the source of truth for
+ * an aggregate's declared algebra during rollup recipe construction. Parallels
+ * {@link DeterminismProbe}: threaded from the rule (which holds the live `Database`) so
+ * the analysis module stays free of a direct function-registry import. Returns
+ * `undefined` when `(name, argc)` names no registered aggregate.
+ */
+export type AggregateResolver = (funcName: string, numArgs: number) => AggregateFunctionSchema | undefined;
 /**
  * The recognized scan-project-filter shape of a query fragment: its single base
  * table, the bare-column output mapping, and the WHERE conjuncts. Shared so the
@@ -262,12 +298,12 @@ export declare function analyzeAggregateFragment(root: RelationalPlanNode): Aggr
  * fragment `shape`. See the arm doc above for the two sub-cases and the soundness
  * contract; every check forgoes on doubt (a false NotMatch only forgoes a speedup).
  */
-export declare function matchAggregateFragmentToMv(shape: AggregateFragmentShape, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+export declare function matchAggregateFragmentToMv(shape: AggregateFragmentShape, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe, resolveAggregate: AggregateResolver): RewriteResult;
 /**
  * Convenience entry point (used by the unit tests): analyze `root` as an aggregate
  * fragment and, on success, match it against `mv`.
  */
-export declare function matchAggregateMaterializedViewRewrite(root: RelationalPlanNode, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe): RewriteResult;
+export declare function matchAggregateMaterializedViewRewrite(root: RelationalPlanNode, mv: MaintainedTableSchema, backing: TableSchema | undefined, isDeterministic: DeterminismProbe, resolveAggregate: AggregateResolver): RewriteResult;
 /** The recognized shape of a join query fragment: its `Project` root, the single
  *  binary join, the two base table references, and the post-join WHERE conjuncts. */
 export interface JoinFragmentShape {

package/dist/src/planner/analysis/query-rewrite-matcher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"query-rewrite-matcher.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/query-rewrite-matcher.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAY,MAAM,uBAAuB,CAAC;AAElH,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAIvD,OAAO,EAAE,kBAAkB,EAAuB,MAAM,uBAAuB,CAAC;AAGhF,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAMzD,MAAM,MAAM,oBAAoB,GAC7B,cAAc,GACd,OAAO,GACP,iBAAiB,GACjB,wBAAwB,GACxB,gBAAgB,GAChB,iBAAiB,GACjB,oBAAoB,GACpB,kBAAkB,GAClB,4BAA4B,GAC5B,eAAe,CAAC;AAEnB,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,SAAS,WAAW,EAAE,CAAC;IACjD;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D;;;;;;;;OAQG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE;iFAC6E;IAC7E,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IACpC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC/B,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B;;;;;;;;;OASG;IACH,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IACvD,sFAAsF;IACtF,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC/B,qFAAqF;IACrF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uGAAuG;IACvG,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,uGAAuG;IACvG,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;CAChD;AAED;;sFAEsF;AACtF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CAClC;AAED,MAAM,MAAM,aAAa,GACtB;IAAE,KAAK,EAAE,YAAY,CAAA;CAAE,GACvB;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAEtD,kFAAkF;AAClF,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;AAMzE;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC;;wFAEoF;IACpF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC,CAAC;IACjF,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,cAAc,GACvB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAClC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAmB7E;AA6CD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,aAAa,EACpB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA+Ff;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC3C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf;AAkBD,sFAAsF;AACtF,MAAM,WAAW,iBAAiB;IACjC,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iGAAiG;IACjG,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,oGAAoG;IACpG,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,kDAAkD;IAClD,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,uBAAuB,GAChC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,GAC3C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,CAmD1F;AAkBD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACzC,KAAK,EAAE,sBAAsB,EAC7B,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAyKf;AAED;;;GAGG;AACH,wBAAgB,qCAAqC,CACpD,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf;AA4BD;qFACqF;AACrF,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACtE,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,kBAAkB,GAC3B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GACtC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,kBAAkB,CAgBrF;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACpC,KAAK,EAAE,iBAAiB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA4Ef;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC/C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf"}
+{"version":3,"file":"query-rewrite-matcher.d.ts","sourceRoot":"","sources":["../../../../src/planner/analysis/query-rewrite-matcher.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAY,MAAM,uBAAuB,CAAC;AAElH,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAIvD,OAAO,EAAE,kBAAkB,EAAuB,MAAM,uBAAuB,CAAC;AAGhF,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAMtD,MAAM,MAAM,oBAAoB,GAC7B,cAAc,GACd,OAAO,GACP,iBAAiB,GACjB,wBAAwB,GACxB,gBAAgB,GAChB,iBAAiB,GACjB,oBAAoB,GACpB,kBAAkB,GAClB,4BAA4B,GAC5B,eAAe,CAAC;AAEnB,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,SAAS,WAAW,EAAE,CAAC;IACjD;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,cAAc,EAAE,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1D;;;;;;;;OAQG;IACH,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE;iFAC6E;IAC7E,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC;IACpC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;CAClC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,eAAe,GAAG;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC5B,GAAG,CACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACtD;IACD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB;mDAC+C;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC;;+DAE2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,CAAC,aAAa,EAAE,SAAS,QAAQ,EAAE,KAAK,QAAQ,CAAC;CACnE,CACD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IAC1B,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;mEAC+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC;CACzC;AAED,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC/B,qFAAqF;IACrF,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,uGAAuG;IACvG,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,uGAAuG;IACvG,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,sEAAsE;IACtE,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;CAChD;AAED;;sFAEsF;AACtF,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CAClC;AAED,MAAM,MAAM,aAAa,GACtB;IAAE,KAAK,EAAE,YAAY,CAAA;CAAE,GACvB;IAAE,KAAK,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAEtD,kFAAkF;AAClF,MAAM,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,uBAAuB,GAAG,SAAS,CAAC;AAM3G;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC;;wFAEoF;IACpF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC,CAAC;IACjF,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,cAAc,GACvB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAClC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAmB7E;AA6CD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAChC,KAAK,EAAE,aAAa,EACpB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA+Ff;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAC3C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf;AAsBD,sFAAsF;AACtF,MAAM,WAAW,iBAAiB;IACjC,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iGAAiG;IACjG,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACtC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,oGAAoG;IACpG,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,kDAAkD;IAClD,QAAQ,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,uBAAuB,GAChC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,sBAAsB,CAAA;CAAE,GAC3C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,CAmD1F;AAkBD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACzC,KAAK,EAAE,sBAAsB,EAC7B,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,EACjC,gBAAgB,EAAE,iBAAiB,GACjC,aAAa,CA6Kf;AAED;;;GAGG;AACH,wBAAgB,qCAAqC,CACpD,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,EACjC,gBAAgB,EAAE,iBAAiB,GACjC,aAAa,CAIf;AA4BD;qFACqF;AACrF,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACtE,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,kBAAkB,GAC3B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GACtC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAE/C;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,kBAAkB,CAgBrF;AA8BD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACpC,KAAK,EAAE,iBAAiB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CA4Ef;AAED;;;;GAIG;AACH,wBAAgB,gCAAgC,CAC/C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,qBAAqB,EACzB,UAAU,EAAE,kBAAkB,GAAG,SAAS,EAC1C,OAAO,EAAE,WAAW,GAAG,SAAS,EAChC,eAAe,EAAE,gBAAgB,GAC/B,aAAa,CAIf"}