[finding] `queryDataset` 里还有第二个 message 嗅探器 `isMissingSourceError`,命中即静默返回空结果 —— `dataset-compiler` 的一条拒收措辞已经命中它,只因抛点在 try 之外才没出事

[os-zhuang]

观察

#5352 / #5367 处理的是 rest-server.ts 里那串「按 message 措辞决定 HTTP 码」的正则。packages/services/service-analytics/src/analytics-service.ts 里还有第二个同类嗅探器,而且它的后果比选错状态码更重:命中即把错误换成一个空结果。

// analytics-service.ts:83
function isMissingSourceError(err: unknown): boolean {
  const msg = String((err as { message?: unknown })?.message ?? err ?? '').toLowerCase();
  return (
    msg.includes('no such table') ||
    (msg.includes('relation') && msg.includes('does not exist')) ||
    msg.includes("doesn't exist") ||
    msg.includes('not registered') ||
    msg.includes('unknown object') ||
    msg.includes('is not a registered object')
  );
}

命中后 queryDataset 的 catch(analytics-service.ts:700)会 logger.warn 一句然后
return { rows: [], fields: [], totals: [] } —— 也就是 widget 画一个自信的空图,而不是报错。
这个降级本身是刻意的(对象没在本 kernel 挂载时 widget 应当显示「无数据」而非 500),#5033 已经把跨库那一支拆出来单独响亮报错。问题在于判据是措辞。

已经存在的一次命中(今天无害)

dataset-compiler.ts:260 的拒收原文:

[dataset-compiler] dataset "X" includes relationship "R" which does not exist on object "O".

它同时含 relation(在 relationship 里)和 does not exist → isMissingSourceError 返回 true。

今天不出事的唯一原因是抛点在 try 之外:queryDataset 先 const compiled = this.registerDataset(dataset)(第 626 行,compileDataset 在这里抛),而那个 try/catch 在第 697 行才开始。也就是说这是一条已经装好但没接电的雷:

• 把编译移进 try(或未来任何一处 executor / strategy 的拒收措辞里出现「relation…does not exist」),该拒收就会被吞成空结果 —— 无异常、无 4xx、无 5xx,只有一条 warn 日志和一张空图。这正是 service-analytics 的 executeRawSql 自动桥接丢弃 objectName —— dataset 原始 SQL 永远打在默认 datasource 上,凡被路由到非默认 datasource 的对象一律读成 0 #5033 立单时描述的「populated table 上 Total Spend: 0」那一类症状。
• 反方向也成立:驱动侧一条真正的「表不存在」如果换了措辞(不同驱动/不同版本),降级失效,widget 变 500。

属于 observation 类:今天没有用户会撞到,grep 也不会告诉你两条措辞正在互相纠缠。

可能的方向(不预判,留给 triage)

• A. 判据换成结构而非措辞:让「源缺失」由驱动侧带 code(例如 ERR_DATASOURCE_UNAVAILABLE 已在 ERROR_CODE_LEDGER 里)或由 isRegisteredObject 探针回答,isMissingSourceError 退化为兼容层并排到 code 判据之后。
• B. 最小防守:降级路径只对「不带 ADR-0112 信封的错误」生效 —— 一个已经自称 4xx 的拒收(analytics dataset 路由的 message 正则兜底没有退休时间表:六族拒收仍靠措辞分类,改一个字就换一个 HTTP 码 #5367 之后 dataset-compiler 的两处就是)永远不该被降级成空结果。这一条无论 A 做不做都成立,且能直接把上面那条雷拆掉。
• C. 收紧 relation/does not exist 这一支,让它只匹配 Postgres 的实际措辞(relation "x" does not exist,带引号的关系名),而不是任意同时含两个词的句子。

参考

• packages/services/service-analytics/src/analytics-service.ts:83(isMissingSourceError)、:112(missingSourceRelation)、:626(编译点)、:697-:730(降级 catch)
• packages/services/service-analytics/src/dataset-compiler.ts:260(命中的那条措辞)
• service-analytics 的 executeRawSql 自动桥接丢弃 objectName —— dataset 原始 SQL 永远打在默认 datasource 上,凡被路由到非默认 datasource 的对象一律读成 0 #5033(降级过宽导致 cross-datasource 被藏起来,已收窄)、analytics 的 filter 拒收到不了调用方:service 侧多数拒收没有 ADR-0112 信封,REST 面又用 message 正则嗅探,一律答 500 #5352 / analytics dataset 路由的 message 正则兜底没有退休时间表:六族拒收仍靠措辞分类,改一个字就换一个 HTTP 码 #5367(同一个「按措辞分类」反模式在 REST 面的两轮清理)

[os-zhuang]

发现分诊(#4949 纪律):晋级,摘 finding 换 pm:queue,domain:services 已在(落点 packages/services/service-analytics/src/analytics-service.ts)。

一行理由:已核 origin/main —— 嗅探器(:83)与命中措辞(dataset-compiler.ts:262)均仍在,「装好没接电的雷」成立;方向 B(带 ADR-0112 信封自称 4xx 的拒收永不降级成空结果)是自包含、无论 A 做不做都成立的最小拆雷,#5352/#5367 同反模式清理先例在前 —— 值得现在拆,不值得等踩响。范围限 B(+C 可选收紧措辞支);方向 A(驱动侧结构化 code)涉 drivers 面,需要时独立立单。与 #5669(analytics where 无闸门)、#5353 同包在飞/在队,认领方注意同包串行。

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

---

Generated by Claude Code

[hotlong]

重定价注记(services 座位,#5716 验收后 —— 派发本单前以此为准,⛔ 不沿用立单时的成本模型):

• 前提不变的部分:isMissingSourceError 嗅探器仍在(analytics-service.ts 的 queryDataset catch);dataset-compiler 的 "relationship … does not exist" 措辞未改,仍命中嗅探器;抛点仍在 try 之外 —— 那颗「装好没接电的雷」状态不变。
• 变简单的部分(analytics dataset 路由:另有九处「作者/调用方形状」的 dataset 拒收仍答 500 —— 它们从来没进过 #5352 的正则名单,所以 #5367 的信封化也没覆盖到 #5716 / PR fix(service-analytics): 十三处调用方形状的分析拒收改用自带信封的 4xx,不再答 500 (#5716) #5963 的必答项回答):compiler 那条拒收现在自带 ADR-0112 信封(DATASET_INVALID/400),于是本单的方案 B(「降级路径只对不带信封的错误生效」)从今天起能覆盖该站点 —— 此前 B 对它无效(无信封可读)。B 的性价比因此上升:它既拆掉这颗雷,又不依赖措辞判据。
• 相关事实:/analytics/query 的 errorResponseBase 实测本就采纳 err.status/code(fix(service-analytics): 十三处调用方形状的分析拒收改用自带信封的 4xx,不再答 500 (#5716) #5963 验证),与本单的降级路径(dataset 面)正交。

---

Generated by Claude Code