drivers(sql,turso): `Unsupported aggregate function` 两面都是裸 `Error`(code/status 皆 undefined),且三个 spec 已声明的聚合函数无任何 SQL 后端编译

[os-zhuang]

从 #5769 的实测中带出(该单只做条件层拒收闸;维护者在 #5769 正文点名同轮该看 remote-transport.ts:462,但实测发现它不是单面问题,单独修 remote 会制造一条 local/remote 叉,故按「明确说明不做及理由」拆出本单)。

事实一:同一条件,两处裸 Error

• packages/drivers/driver-turso/src/remote-transport.ts:462
throw new Error("Unsupported aggregate function: " + funcRaw)
• packages/drivers/driver-sql/src/sql-driver.ts:6753(mapAggregateFunc,由 SqlDriver.aggregate:3103 调用)
  throw new Error("Unsupported aggregate function: " + func)

两处都不带 code / status。在 origin/main(5c94f833c)上实测 remote 面:

aggregate({ aggregations: [{ function: 'median' }] })
  → THREW code=undefined status=undefined msg="Unsupported aggregate function: median"

mapDataError 读 error.code / error.status 组装信封,两者皆无 → 落默认分支 →
只剩一个 error 字段装消息文本、没有 code,并按 500 一类记日志,而这本是 400 类
的调用方错误。这正是 #1116/#1117 给过滤器拒收补信封的同一个缺口,只是换了个入口。

只修 remote 会把事情变坏:remote 变成 INVALID_QUERY/400,local(SqlDriver,
Turso local 继承)仍是裸 Error —— 一个条件、两种线上身份、取决于 url,正是
#5769 花整单去关的那类叉,方向反过来而已。所以这单的落点是两面同改。

事实二:三个 spec 已声明的聚合函数没有任何 SQL 后端编译

packages/spec/src/data/query.zod.ts:108 AggregationFunction 声明 8 个:

'count', 'sum', 'avg', 'min', 'max', 'count_distinct', 'array_agg', 'string_agg'

SqlDriver.mapAggregateFunc 与 RemoteTransport.aggregate 各自只编译前 5 个,
后 3 个落同一句 Unsupported aggregate function。driver-mongodb
(mongodb-aggregation.ts:139/144/147)和 driver-memory
(memory-analytics.ts:866,count_distinct)则实现了其中若干 —— 即声明 ≠ 实现,
且各后端实现的子集还不一样(Prime Directive #10)。

于是 :462 这一句今天同时承担两种性质不同的条件:

1. 协议根本没声明的函数名(median)—— 调用方写错了,INVALID_QUERY / 400 一类;
2. 协议声明了、这个后端编不出的函数(count_distinct / array_agg / string_agg)
   —— 不是调用方的错,是能力缺口。

driver-memory 的 filter-refusal.ts 已经为过滤器算子画过这条线(#5345:
unknownFieldOperatorError 之于「协议没有这个算子」,对比「协议有、这个面降不下去」),
把两者合并成一句会告诉一个写 count_distinct 的看板作者说他打错字了。

建议落点(需要一次裁定,故不夹带在 #5769 里)

• 两处同改,取 ADR-0112 标准目录的码,一个条件一种措辞({ field: {} }(零个操作符的字段约束)在同仓有三个答案:driver-sql 组合子内 TRUE、顶层抛 INVALID_FILTER、formula/driver-memory FALSE #5240 的规矩),
  并加拒收表用例把 code/status 钉住;
• 第 2 类怎么答需要维护者裁一次:NOT_IMPLEMENTED 一类的能力缺口码,还是先按
  INVALID_QUERY 统一、把三个未实现的声明按 ADR-0049 enforce-or-remove 单独处理。
  这条裁定会同时影响 driver-sql / driver-sqlite-wasm / driver-turso(两面)
  四个后端,所以值得单开。

复现

// remote
const t = new RemoteTransport(); t.setClient(client);
await t.aggregate('deal', { aggregations: [{ function: 'median' }] });
// local
await new TursoDriver({ url: ':memory:' }).aggregate('deal', { aggregations: [{ function: 'count_distinct', field: 'stage', alias: 'n' }] });

两者都抛 Unsupported aggregate function: …,code / status 均为 undefined。

[claude]

分诊:入队 pm:queue,域 domain:drivers。

落点锚定:origin/main @ 7adc841 双面核实,两处裸 Error 都在:

• packages/drivers/driver-sql/src/sql-driver.ts:6753
• packages/drivers/driver-turso/src/remote-transport.ts:462

两处都在 packages/drivers/driver-* ⇒ domain:drivers。正文「只修 remote 会制造一条 local/remote 叉」的论证分诊侧认可,落点确为两面同改。

冻结指令核对(#5499):维护者 2026-08-05 的投入冻结只覆盖 driver-memory / driver-mongodb 两族。本单落 driver-sql + driver-turso,不在冻结面内 ⇒ 照常入队,不挂 pm:on-hold。

⚠️ 串行约束(同文件在飞):PR #5921(#5769,已认领)正在改同一个 remote-transport.ts 的条件层拒收。本单是同文件的聚合层 ⇒ drivers 车道请严格排在 #5921 落地之后,并在开工前重拉 origin/main(#5769 的信封形状会成为本单的体例先例)。

事实二的分流:

• 第 1 类(协议根本没声明的函数名,如 median)与第 2 类(协议声明了、该后端编不出,如 count_distinct / array_agg / string_agg)必须分开措辞 —— driver-memory 的 analytics 面静默丢弃大半个 filter:$or/$not 整条丢,$between/$startsWith/$null/$regex 因无 cube 映射而丢 —— 聚合结果被放大 #5345 已在 driver-memory 的 filter-refusal.ts 上画过完全同构的那条线,属既有规矩的应用而非新裁决 ⇒ 由 drivers 车道按第三档(带否决窗口)裁,不占维护者决策位。
• 但若最终倾向按 ADR-0049 enforce-or-remove 把那三个未实现的声明从 packages/spec/src/data/query.zod.ts:108 摘掉,那一半是 spec 的改动 ⇒ 按跨座位转移协议另立单转 domain:spec 座位,⛔ 不夹带在本单里。

查重:三仓搜 Unsupported aggregate function / count_distinct,命中 #5769(母单)/ PR #5921 / #5918(analytics 关系穿越,另一轴);无重复入口。

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code