`/analytics/query` 仍把 RLS 策略字段名回显给调用方 —— read-scope 拒收的泄漏在姐妹面上没堵,#5367 只堵了 dataset 路由

[os-zhuang]

现状

#5367(维护者 2026-08-06 裁决,方案 B)把 read-scope-sql.ts 的十处 fail-closed 拒收改成 READ_SCOPE_COMPILE_FAILED / 500,并让 POST /analytics/dataset/query withhold 任何声明了服务端故障(status >= 500 且带 code)的生产方 message。理由之一是这些 message 点名 RLS 策略的字段名与比较值:

[read-scope-sql] unsafe field identifier "secret_policy_field" — refusing to build read scope (fail-closed).
[read-scope-sql] unsupported operator "$regex" on "owner_email" (fail-closed).
[read-scope-sql] "approved_by_manager" has a nested/relation value which is not supported in a read scope (fail-closed).

这些内容来自管理员写的 sharing rule / permission set,由 security 服务编译后经 getReadScope 交给 analytics —— 调用方(租户)从来没写过它们,也不该能从错误体里读出来。

同一批拒收在姐妹面上没有被堵。 /analytics/query 经 dispatcher-plugin.errorResponseBase(packages/runtime/src/dispatcher-plugin.ts:445)退出,它的 message 判据是:

const message =
    httpStatus >= 500 && looksLikeInternalErrorLeak(raw)
        ? INTERNAL_ERROR_MESSAGE
        : raw || 'Internal Server Error';

而 looksLikeInternalErrorLeak(packages/types/src/error-leak.ts:47)是对 SQL/驱动措辞 的启发式(sqlite_、SQLSTATE、以 SELECT/INSERT INTO/UPDATE/DELETE FROM 开头、constraint failed/unique constraint/foreign key)。实测把上面十一种 message 形态逐条喂进去:

ECHOED   [read-scope-sql] unsafe field identifier "owner id" — refusing to buil…
ECHOED   [read-scope-sql] unsafe alias identifier "crm opportunity" — refusing …
ECHOED   [read-scope-sql] read scope must be a filter object (fail-closed).
ECHOED   [read-scope-sql] "$and" requires an array (fail-closed).
ECHOED   [read-scope-sql] unsupported top-level operator "$nor" (fail-closed).
ECHOED   [read-scope-sql] bare array value for "region" — use { $in: [...] } (f…
ECHOED   [read-scope-sql] "owner" has a nested/relation value which is not supp…
ECHOED   [read-scope-sql] $in for "region" needs an array (fail-closed).
ECHOED   [read-scope-sql] $nin for "region" needs an array (fail-closed).
ECHOED   [read-scope-sql] $between for "amount" needs [min,max] (fail-closed).
ECHOED   [read-scope-sql] unsupported operator "$regex" on "owner" (fail-closed…

11/11 全部 ECHOED —— 即 errorResponseBase 会把策略内容原样写进 error.message,状态码是 500(err.status 被采纳)但正文没有被收口。

read-scope-sql.ts 的 compileScopedFilterToSql 在 NativeSQLStrategy.applyReadScope 与 ObjectQLStrategy 的回显 SQL 两条路上都会跑,而这两条路都服务 /analytics/query,所以这条面是真实可达的,不是理论问题。

为什么没在 #5367 里一起做

#5367 的题目是 dataset 路由那串 message 正则名单的退休。这条泄漏在本单之前就存在、且在另一条路由上,把它一起改会把一次可见行为变更(该面 message 从可读变为收口)夹带进一个以「退休正则名单」为题的 PR。按 PD #10 单独立项。

PR #5808(#5367 的第二个 PR)里的规则是就地写在 rest-server.ts ③ 分支内的三行判断,故意没有抽成共享谓词 —— 只有一个消费者时提升就是推测性面。本单是第二个消费者出现的时刻。

建议方向(不预判)

• A(推荐形状):把 PR fix(analytics,rest)!: read-scope 拒收改判 READ_SCOPE_COMPILE_FAILED/500,路由的 message 正则名单完全退休 #5808 的判据提升成 @objectstack/types 里与 looksLikeInternalErrorLeak 同居的一个小谓词 —— 例如 declaresServerFault(err)(status >= 500 且有非空 code)—— 然后两个边界(rest-server.ts 的 analytics dataset ③ 分支、dispatcher-plugin.errorResponseBase)都读它。error-leak.ts 的文件头本来就写着「‘不要把内部细节发给客户端’是 HTTP 边界的属性,不是某个 router 的属性,所以谓词放在这里」,这正是它说的那种情况。
• B:只在 errorResponseBase 内联同样的判断。省事,但两处实现一条规则,是 Envelope drift is not just service-storage: four more route modules emit bare bodies, two of them the pre-#3675 { error: '<string>' } #3843/analytics /query 未做 cube 存在性校验,未注册名直达驱动当表名;且错误路径原样回显驱动 SQL(#3770 同类,另一子系统) #3867 反复付过学费的形状。
• C:把 looksLikeInternalErrorLeak 教会认 [read-scope-sql]。不建议 —— 那是往回加措辞嗅探,与 analytics 的 filter 拒收到不了调用方:service 侧多数拒收没有 ADR-0112 信封,REST 面又用 message 正则嗅探,一律答 500 #5352/analytics dataset 路由的 message 正则兜底没有退休时间表:六族拒收仍靠措辞分类,改一个字就换一个 HTTP 码 #5367 刚清掉的机制同族。

无论选哪个都要注意不能把 withhold 放宽到「所有 5xx」:#5667 刻意保留了未声明 5xx 的可读性(自产故障 "no strategy can handle query …" 应当照旧可读),PR #5808 的用例两侧都钉了这一点,新实现要沿用。

验收建议

1. 规则落地后,/analytics/query 面加端到端用例:read-scope 拒收 → 500,error.message 为 Internal server error,body 不含策略字段名,error.details.code 为 READ_SCOPE_COMPILE_FAILED(errorResponseBase 已经会把 err.code 放进 details,The dispatcher puts the HTTP status in error.code and parks the real code in details — pinned in #3687, still unfixed #3842),完整原文在日志/errorReporter 侧。
2. 反向:未声明 5xx 在该面仍然可读(fix(service-analytics,rest): analytics dimension 的源字段闸门 —— 不存在的 dimension 答 400 INVALID_FIELD,dataset 500 不再回显 SQL (#5520) #5667 分级不被吃掉)。
3. changeset 写清这是可见行为变更(该面 message 由可读变收口),照 analytics 的 filter 拒收到不了调用方:service 侧多数拒收没有 ADR-0112 信封,REST 面又用 message 正则嗅探,一律答 500 #5352 changeset 里 "Observable behaviour change" 那一段的写法。

参考

• packages/runtime/src/dispatcher-plugin.ts:445(errorResponseBase)、:468-:472(message 判据)、:480-:483(details.code)
• packages/types/src/error-leak.ts:47(looksLikeInternalErrorLeak)及其文件头关于「边界属性」的表述
• packages/services/service-analytics/src/read-scope-sql.ts(十处拒收 + readScopeCompileError)
• PR fix(analytics,rest)!: read-scope 拒收改判 READ_SCOPE_COMPILE_FAILED/500,路由的 message 正则名单完全退休 #5808 / analytics dataset 路由的 message 正则兜底没有退休时间表:六族拒收仍靠措辞分类,改一个字就换一个 HTTP 码 #5367(dataset 路由侧的声明式 withhold 与裁决)、[17.0-rc2验收] analytics: 不存在的 dimension 500(泄漏 SQL / SQLITE_ERROR)而不是 400 指名字段 —— #4437 只给 measure 加了闸门，dimension 侧对称缺口仍在 #5520 / fix(service-analytics,rest): analytics dimension 的源字段闸门 —— 不存在的 dimension 答 400 INVALID_FIELD,dataset 500 不再回显 SQL (#5520) #5667(该 dataset 路由 5xx 收窄的两轮)、analytics /query 未做 cube 存在性校验,未注册名直达驱动当表名;且错误路径原样回显驱动 SQL(#3770 同类,另一子系统) #3867(启发式的出处)

[os-zhuang]

存量裁决轮（维护者 2026-08-06 委托，session_01LeEfA7CFwbJb7JJmXm2KM3）：裁定入队，并按落点锚定改标 domain:services → domain:cli（推荐方向 A 的落点在 packages/types + runtime，均属 cli 行）。前提经 origin/main 核实仍成立：dispatcher-plugin.ts:468-472 判据未变（仅 httpStatus>=500 && looksLikeInternalErrorLeak），read-scope 拒收 message（含 RLS 策略字段名）11/11 原样回显——安全信息泄漏；declaresServerFault 谓词全域零命中，尚未提升。分诊座位如认为锚定有误请改回。

---

Generated by Claude Code

[qq9340100]

认领:PM 循环第 2 轮(cli 车道)
会话:session_01Wbxm29qPKnLf44AbSxizqW(GitHub 账号 qq9340100)
分支:claude/issue-5811-analytics-query-leak-withhold
Worktree:objectstack-issue-5811
域:domain:cli
文件面:packages/types/src/error-leak.ts(新增 declaresServerFault 谓词,与 looksLikeInternalErrorLeak 同居)+ packages/runtime/src/dispatcher-plugin.ts(errorResponseBase 消费)+ packages/rest/src/rest-server.ts(③ 分支改读共享谓词)+ 两面测试 + changeset;⛔ 不放宽到「所有 5xx」(#5667 的未声明 5xx 可读性钉子两侧保留)

执行依据:存量裁决轮(维护者 2026-08-06 委托)已裁「入队」并锚定方向 A 落点(types+runtime);方向 C(教启发式认 [read-scope-sql])issue 明令不建议,B(两处实现一条规则)为 #3843/#3867 付过学费的形状。churn:三目标文件自 b9cc17d 后零漂移;#6048(runtime actor-user)已合,与本单文件不相交。串行注记:#5122(runtime HttpServer 退役)与本单同包,押下轮。

---

Generated by Claude Code