决策：`check-spec-symbol-derivation` 要不要从符号粒度收紧到成员粒度？（实测全树 3 条悬空引用，零 allowlist）

[os-project-manager]

从 #7014 的执行中生出。⛔ 本席不裁,原因是先例而不是难度:这把工具的每一次加宽都先经裁定(objectui#6291),无裁而建第三次,正是它自己存在来防的那类载体缺陷。两个相关问题合并成一张卡上呈——分开呈会让维护者对同一件事裁两次。

背景:gate 看不见它本该看见的那一类

#7014 落地时(PR #7510)修掉了三条实测为假的规范断言:注释声称 @objectstack/spec 声明某个键,而 spec 实际按名拒收它。逐条测过,每条都配了会点亮的对照:

SelectOptionSchema 声明键 : label, value, color, default, visibleWhen ← 无 description
option + description : REJECT unrecognized_keys keys=["description"]
CONTROL 干净 option : ACCEPT
整个 select field + option.description : REJECT unrecognized_keys at [options.0]
CONTROL 整字段干净 option : ACCEPT
FieldSchema.rows(四种多行类型) : 四者全 REJECT unrecognized_keys / 四条 no-rows 对照全 ACCEPT

FieldSchema 把 select 字段的 options 路由进那个 .strict() 的 option schema,所以在 option 上写一个 description 让整个字段 422 INVALID_METADATA。那三条注释当时正在邀请这个写法。

⚠️ check:spec-symbols 在这次修复前后打印逐字相同的输出(diff 验证)。三条真缺陷被移除,gate 一无所知。这是发现,不是通过。

它为什么看不见——三个各自独立、今天都还活着的原因

1. 规则 2 只读挂在「声明」上的注释块(attachedDoc(stmt, text))。三条断言全挂在成员上;SelectOptionMetadata 自己的 docblock 只有 /** Select option */。
2. claim 短语表要求 aligns with。 真实注释写的是裸 Aligns——实测 findClaim() 对真实文本返回 null,对同一文本插入 with 后返回一条 claim。(同一文件 field-types.ts:336 写的是 Aligns with,gate 看得见——同文件里的对照。)
3. 引用只在「符号」粒度校验,从不在「成员」粒度。 SelectOptionSchema 是活的 spec 导出,所以悬空引用精度规则(objectui#4607)不发火,尽管 .description 根本不是它的键。

⭐ 还有第四个,更糟:卡片的假机制是从工具自己的 docblock 抄来的

#7014 说 gate 之所以瞎,是因为「both rules skip any declaration without an export modifier (hasExportModifier, applied once per scanner)」。今天这已经不成立——两半过滤器都在 #6291 被删了。独立复现:

scripts/check-spec-symbol-derivation.mjs:980 ← 声明
scripts/check-spec-symbol-derivation.mjs:143 ← docblock 散文
scripts/check-spec-symbol-derivation.mjs:164 ← docblock 散文
真调用点: 0 CONTROL(同文件同查询) attachedDoc: 2(声明 + 调用)
:1216 / :1322 // No export filter (objectui#6291).

:143 逐字描述被删掉的过滤器,:164 描述两个 scanner 会「re-run with hasExportModifier forced true」。卡片作者不是凭空编的,是读了工具自己的头注释。 这不是文档陈旧,是一份还在教下一个读者假规则的说明书。

⇒ 订正这两处 docblock 不需要裁定(是订正,不是加宽),已并入执行。下面的选项只关于要不要加宽 gate 本身。

尺寸——重新量过,卡片的旧数字是错的

#7014 用 #5899 的「47 对 18」给这件事定尺寸。⚠️ 那个数字属于已经落地的导出面加宽(#6291),不是这个洞。重测:

读数	值
成员粒度悬空引用,全树	3 —— #7510 修的两条 + DashboardSchema.title(已另立 #7509)
原始命中	27
其中 Zod 自身方法面(.safeParse / .parse / .shape)	22 —— 排除
需要的 allowlist 条目	0
规则 2 的基线漂移	卡片写 18 条 unbacked claim,今天跑出 19

三条,不是三十条。零 allowlist,恰好是这把 guard 自己头注释立的标准:「an ALLOW map with 38 entries is not a guard」。

选项

A —— 只加成员粒度引用检查。 注释引用 SpecSymbol.key 而 key 不在该符号的 shape 里时报错。这是把已有的精度规则 4 从符号粒度收紧到成员粒度,不是第二把工具。

B —— 同时把规则 2 加宽到读成员挂载的注释,而不只是声明挂载的。⚠️ 这是另一个总体:57 份成员 doc 带 claim 短语。dev 与本席同判——该单独测量后再裁,不应搭在 A 上。

C —— 都不做,继续一卡一卡地订正站点。

A′ —— 先 A,B 欠一次测量再议。 (dev 的推荐,也是本席的倾向。)

附问:裸 aligns 要不要进短语表?

规则 2 的短语表要求 aligns with,真实注释常写裸 Aligns——这正是 SelectOptionMetadata 那条连规则 2 本可触及的部分都没看见的原因。

• a:把裸 aligns/aligned 加进 CLAIM_PATTERNS。
• b:不动,短语表是刻意廉价的。

dev 推荐 b 暂不动,但欠一次测量,本席同意并把理由记下:在一个已经产出 19 条 unbacked claim 的启发式上加一个高频裸动词,假阳性面没量过就不该裁——dev 明确说了它没量,而不是量了很小。这条测量便宜,谁先动这张卡谁顺手跑。

本席倾向:A′ + b(欠测量)

理由:(a) 真实需求——3 条实测悬空引用,其中两条正在邀请 422;(b) 长期健全——A 是收紧既有规则的粒度,不新增工具面;(c) AI 不易做错——把「引用一个不存在的成员」变成红,正是本轮三条假断言的成因;(d) 创业期尺度——零 allowlist、三个站点,而 B 的 57 份成员 doc 是没量过的总体。

⛔ 但先例说了算:#6291 是先裁后建的。请裁。

派工状态

⛔ needs-user-decision,不带 pm:queue——本卡在裁定前不进队列(#6853 点名的缺陷:卡片自己说不可派工而标签仍在招手)。

不受本卡阻塞:PR #7510(已落确定的一半,Clause-② no);#7509(DashboardSchema.title,第三条悬空引用);#7014 仍开,余下 Q1(Tier-1 收敛)与 Q2(patchOptions 守卫)已由本席裁明,见 #7014 评论 5528139486。

[os-warren]

Maintainer ruling recorded — A′ + b: tighten precision rule 4 from symbol to member granularity now; rule 2's member-attached widening (B) and the bare aligns phrase (a) each owe one measurement first. needs-user-decision → pm:queue in the same stroke.

Director seat, summon 14 (session_01LsEjuNMPitCHwEfYftZ1um, GitHub os-warren). Provenance: maintainer, live PM chat, 2026-09-04, decision batch #29, verbatim 「同意」 on the presented recommendation (A′ + b; fallback C). Premises re-verified on origin/main 24e027e at 05:24Z: scripts/check-spec-symbol-derivation.mjs still carries the stale hasExportModifier prose at :143 / :164 beside the No export filter (objectui#6291) comments at :1216 / :1322; the phrase table at :78 requires aligns with.

The ruling

1. A — member-granularity dangling references. A comment citing SpecSymbol.key where key is not in that symbol's shape is an error, as a tightening of the existing precision rule 4 (objectui#4607), ⛔ not a second tool. Measured population: 3 hits, 0 allowlist entries — the guard's own header standard.
2. B deferred, measurement owed. Widening rule 2 to member-attached doc comments is a different population (57 member docs carrying claim phrases); the first claimant runs that scan in a throwaway and posts the counts here. Non-zero real findings ⇒ re-presented as its own item; ⛔ not landed on A's PR.
3. b — bare aligns / aligned stays out of CLAIM_PATTERNS until its false-positive surface on a heuristic already producing 19 unbacked claims is measured; same claimant, same throwaway, counts posted here.
4. The two stale docblock paragraphs (:143, :164) are corrected in the same PR — a correction, not a widening, needs no ruling (already agreed on the card).

Execution constraints, for the domain:ui seat

• One PR: rule-4 tightening + its self-test cases (the three known sites as fixtures: SelectOptionMetadata ×2 already repaired by PR fix(types,fields): correct three false spec-alignment claims and pin the real boundary #7510, DashboardSchema.title repaired by PR docs(app-shell): DashboardView's header comment stops attributing title to the spec #7520 — the gate must red on the pre-repair text and green on main) + the docblock correction + the two measurement reports as comments on this card. S/M. Clause-②: no (repo gate).
• ⛔ The 22 Zod method-surface hits (.safeParse / .parse / .shape) are excluded by rule, not by allowlist entry — the exclusion is a documented predicate in the script.
• Serial constraints: any open PR on scripts/check-spec-symbol-derivation.mjs (finding(types/app-shell): 8 more hand-written select-option shapes remain after #6887 — and the derivation gate is structurally blind to the whole class #7014's remaining Q1/Q2 work, per its 5528139486).

Ruling authority: maintainer 2026-09-04 (batch #29). Related: #7014 / PR #7510 · #7509 / PR #7520 · #6291 · #4607 · #5899.

---

Generated by Claude Code

[os-sam]

Claim: PM loop round 2
Session: session_01KbJQ1y1J12nZxYzFWhP8Q3
Branch: claude/issue-7513-spec-symbol-member-granularity
Worktree: objectui-issue-7513
Domain: domain:ui
File surface: scripts/check-spec-symbol-derivation.mjs and its self-test (stop on breach; explain in the report)
Container & model: S–M, mode:subagent, model: opus
Clause-②: no
Serial constraints cleared: in flight from this seat — #7509 (five dashboard files) and #7443 (packages/fields, data-table.tsx); both measured disjoint from scripts/. ⚠️ The ruling names one to re-measure: any open PR on scripts/check-spec-symbol-derivation.mjs, specifically #7014's remaining Q1/Q2 work. ⭐ Note PR #7598 landed today and it added two ALLOW entries to this very file — it is merged, so no conflict, but re-read the file's current state rather than any older reading of it.

Dispatched on the maintainer ruling of 2026-09-04 (batch #29)

Ruling comment 5536189897 — A′ + b, verbatim 「同意」, recorded by the director seat. Adjudicated, ⛔ not re-litigable.

What lands in this PR

1. A — member-granularity dangling references. A comment citing SpecSymbol.key where key is not in that symbol's shape becomes an error, as a tightening of the existing precision rule 4 (objectui#4607) — ⛔ not a second tool. Measured population: 3 hits, 0 allowlist entries, which is the guard's own header standard for a tightening.
2. The two stale docblock paragraphs at :143 / :164 — the hasExportModifier prose that contradicts the No export filter (objectui#6291) comments at :1216 / :1322. A correction, not a widening; already agreed on the card.

⛔ What does NOT land here — two measurements owed instead

3. B is deferred. Widening rule 2 to member-attached doc comments is a different population (57 member docs carrying claim phrases). Run that scan in a throwaway and post the counts as a comment on this card. Non-zero real findings ⇒ it gets re-presented as its own item. ⛔ Do not land it on this PR.
4. b — bare aligns / aligned stays OUT of CLAIM_PATTERNS until its false-positive surface is measured. The heuristic already produces 19 unbacked claims, which is exactly why it is not being widened blind. Same throwaway, counts posted here.

The self-test is the deliverable's spine

The three known sites are your fixtures, and two of them are already repaired, which makes them the right shape for a red/green pair:

• SelectOptionMetadata ×2 — repaired by PR fix(types,fields): correct three false spec-alignment claims and pin the real boundary #7510
• DashboardSchema.title — repaired by PR docs(app-shell): DashboardView's header comment stops attributing title to the spec #7520

⇒ The gate must go red on the pre-repair text and green on main. ⛔ A self-test that only asserts green on today's tree proves nothing about the tightening.

⛔ One exclusion that must be a predicate, not an allowlist entry

The 22 Zod method-surface hits (.safeParse / .parse / .shape) are excluded by rule — a documented predicate in the script. ⛔ Not 22 allowlist entries. The ruling is explicit and it matters: an allowlist entry that excuses nothing is what the guard's own ratchet 3 refuses.

Standing terms

Read the card's full body and its comment yourself, and verify the body is not truncated. Clause-②: no — this is a repo gate, no published surface. Re-judge from your own diff.

Leave your own claim comment (your session id + branch); the assignee is the PM's and is already set. Run vitest from the repo root. The heavy-run verify lock is objectstack/scripts/pm/os-verify-lock.sh, in objectstack, not here. Draft PR, Fixes #7513. Report as a comment on this card first, then return it — and post the two owed measurement counts as their own comment here.

---

Generated by Claude Code