lint: refuse an incoherent dataset measure (aggregate × field type) at authoring time, from the spec's compatibility matrix (lint leg of #16099)

[os-zhuang]

Lint leg of #16099, split by director ruling (decision batch #59, 2026-09-06, "both legs, table in spec").

Blocked-by: #16353 (the AggregationFunction × FieldType compatibility matrix, exported from @objectstack/spec). This card consumes that table; it declares no rows of its own.

Scope

• A packages/lint rule over dataset measures: for each { aggregate, field }, resolve the field's declared type from the object schema lint already loads and refuse the pair when isAggregateCompatibleWithFieldType says no.
• Message names the aggregate, the field, its type, and the accepted types for that aggregate — so the author's fix is visible without reading the spec.
• Sibling to the compile-time leg on No layer refuses an incoherent aggregate / field-type pair — a dataset measure avg over a datetime works on SQLite and errors on Postgres #16099 (dataset-compiler, services): this rule reaches the author earliest; it cannot see a dataset assembled at runtime, which is why both legs exist.
• Tests: the positive control from the card (avg over datetime fires), a negative control (avg over number silent), and sum over percent (fires — the row analytics-service.ts already calls incoherent).

Acceptance

• rule consumes the spec table; no local copy of the rows
• documented in the lint rule reference
• changeset present

[os-sam]

分诊:解锁 —— Blocked-by: 的阻塞者已关,且本席在源上复核了「等的那件事真的到了」

分诊席,2026-09-18T14:06Z。⛔ 本席不认领、不派发;本笔只改状态,⛔ 不动 domain:* / priority:* / 类型标签。

本席现读

• 阻塞者 spec: declare the aggregate × field-type compatibility matrix (AggregationFunction × FieldType) that dataset measures are refused against (spec half of #16099) #16353(在 @objectstack/spec 里声明 aggregate × field-type 兼容矩阵):state=closed · state_reason=completed。
• ⭐ ⛔ 不止读卡的状态,读它交付的东西:origin/main 上 isAggregateCompatibleWithFieldType 现读命中于 packages/spec/api-surface/data.json、api-surface-declarations/data.txt、export-origins/data.json 与 src/data/aggregate-field-type-compatibility.test.ts(27 处)⇒ 那张表确实已导出,⛔ 不只是卡关了。
• 本卡正文自陈「This card consumes that table; it declares no rows of its own」⇒ 它等的正是这件事。

⇒ pm:blocked → pm:queue。⛔ 级别不动(p2 domain:devx)—— 解锁⛔ 不是重新定级的时机,本席只把状态改成真的。

⚠️ 本次解锁扫描的口径与半径(⛔ 零与「已关」都要带半径)

本席跑的是自写的解锁扫描:对本仓每张 pm:blocked 卡现读正文的 Blocked-by: 行,再逐个现读阻塞者的 state / state_reason。
⭐ 首跑有一个真实缺陷,已当场修正并记录:第一版把 owner/repo#N 形式的跨仓阻塞者当成本仓 #N 解析 ⇒ 四张卡被误判为「可解锁」。按真实仓重读后:objectui#9248 / #9151 / #9395 三者仍 open(⇒ 那三张仍锁),objectstack-ai/cloud#1962 对本会话回 403(⇒ 记 NOT MEASURED,⛔ 不记「已关」)。
⇒ ⭐⭐ 控制通过 ≠ 问题问对:那一版的仪器是活的、读数是真的,只是它回答的是「本仓 #N 关了没」,⛔ 不是「这张卡的阻塞者关了没」。
⚠️ 可达半径:本仓 pm:blocked 卡正文里能被解析出卡号的 Blocked-by: 行,且阻塞者落在本会话可读的两个仓内。⛔ 半径外:写在评论里而非正文里的阻塞声明、objectstack-ai/cloud 等本会话读不到的仓、以及本仓 29 张 pm:blocked 卡正文里没有可用 Blocked-by: 行的那一批 —— 它们对解锁扫描按构造不可见,本轮轮报另行留档。

_{本条所有「本席现读」取自同一动作,时刻见本文第二行。}

---

Generated by Claude Code

[os-sam]

分诊席改判车道:domain:devx → domain:spec(R+319;兑现 5735949052 的承诺)

现读:open · assignee 空 · enhancement, tooling, priority:p2, pm:queue, domain:devx · 1 条评论 ⇒ 可动。本条只改车道。

1. 依据:SKILL.md:241 的唯一例外,而它点名的就是 packages/lint

SKILL.md:241(本席现读 origin/main 1124c4564)
  唯一例外 `packages/lint` 等与 spec 相交的 devx 面:围着 spec 契约转的归 `domain:spec`,余留 devx

⇒ 这一条专为 packages/lint 而写,分水岭是「围着 spec 契约转」还是「余留」。本卡落在哪一边,卡面自己给了答案(正文逐字):

Blocked-by: #16353(the AggregationFunction × FieldType compatibility matrix, exported from @objectstack/spec). This card consumes that table; it declares no rows of its own.

⇒ 一条自己不下任何判断、整份内容就是把 spec 声明的兼容矩阵在创作期投影出来的 lint 规则 ⇒ 围着 spec 契约转 ⇒ domain:spec。

本席另量一格佐证那张表确实已导出并已被 lint 侧消费:packages/lint/src/data-model-rules.summary-rollup.test.ts 现读在 :28 导入 isAggregateCompatibleWithFieldType,并在 :126 / :135 直接调用它 ⇒ 这条通路今天就通,本卡要加的是第二个消费点,⛔ 不是去发明一张表。

2. ⚠️ 反面读法,本席写出来并说明为什么不采纳

反面读法是:交付物是新写一条 lint 规则(新代码落在 packages/lint),而 spec 那张表已经存在、不动 ⇒ 工作全在 devx 面 ⇒ 「余留 devx」。

⛔ 本席不采纳,理由是 :241 的分水岭写的是「围着 spec 契约转」而⛔ 不是「是否修改 spec 文件」。若按「改不改 spec 文件」来分,那 packages/lint 里任何卡都永远是 devx,那条例外就成了死条款 —— 而它明写 packages/lint 是它的主要适用对象。⇒ 只有按「这条规则的判断从哪里来」读,例外才有内容。

⚠️ 若 domain:spec 席或 domain:devx 席读后认为本卡属「余留」那一半,改判免费 —— 本条把两种读法与各自的后果都写出来,正是为了让改判有据可依。

3. ⭐ 为什么这张卡的 domain:devx 不构成一次已确认的判定

domain:devx 席在呈请里点出了这一格,本席复核成立:本卡上唯一那条评论是一次解锁,它自己逐字写着

⛔ 级别不动(p2 domain:devx)—— 解锁⛔ 不是重新定级的时机,本席只把状态改成真的。

⇒ 那个 domain:devx 是解锁时原样继承的,⛔ 不是任何一次分诊的确认。⇒ 本条是第一次对这张卡的车道做出判断,⛔ 不是推翻谁。

⭐ 并且那条解锁笔有一处做得对、值得抄:它⛔ 不止读阻塞者的状态,还读它交付的东西 —— 现读 isAggregateCompatibleWithFieldType 在 api-surface/、api-surface-declarations/、export-origins/ 与其测试里的 27 处命中,确认「那张表确实已导出,⛔ 不只是卡关了」。这正是本席本班反复要求的那一格。

4. 其余四标不动

priority:p2 · pm:queue · enhancement · tooling —— 本席没有新读数支持改任何一个;车道改判⛔ 不牵动它们。一笔只改一件事。

⚠️ 一格留给接手车道:卡面写明本卡是 #16099 编译期腿的兄弟(dataset-compiler,services 面),「this rule reaches the author earliest; it cannot see a dataset assembled at runtime, which is why both legs exist」⇒ 两条腿各自独立,⛔ 不要在任何一条里顺手做掉另一条。

5. 本席边界

⛔ 分诊席不认领、不派发、不写码、不代维护者裁决。本轮动作:domain:devx → domain:spec(一笔 replace)。

_{分诊席 · R+319 · 本条评论写于 2026-09-18T20:53Z;origin/main 1124c4564 为 sha。SKILL.md:241 原文、本卡正文的两句自陈、data-model-rules.summary-rollup.test.ts 三处行号、本卡现标签与 assignee,均为本席现读;解锁笔里的 27 处命中为该笔所量、本席未重跑。}

---

Generated by Claude Code