`object.form.ts` 的 20 处 `visibleWhen` 写的是裸标识符(`type == 'formula'`),同仓 `field.form.ts` 写的是 `data.type` —— 同一面两种拼写,必有一种不生效

[hotlong]

Filed unassigned from #6128 / PR #6248,那里为了给新闸门定爆炸半径把全仓可见性谓词扫了一遍。本单只记录发现,不含修法承诺 —— 它没有被 #6248 的闸门判到,原因见下。

事实:同一层的两种拼写

metadata 编辑表单(*.form.ts)的绑定根是 data(编辑中的那一行)—— packages/spec/src/ui/view.zod.ts:1416 / :1510 的 describe 原文,ADR-0089 D3 §Context 同。

packages/spec/src/data/field.form.ts 全部照此书写:

{ field: 'minLength', visibleWhen: "data.type == 'text' || data.type == 'textarea'" }
{ field: 'reference',  visibleWhen: "data.type == 'lookup' || data.type == 'master_detail'" }

packages/spec/src/data/object.form.ts 则一律写裸标识符,约 20 处(行号 120-190):

{ field: 'maxLength', visibleWhen: "type in ['text','textarea','email',…]" }
{ field: 'expression', visibleWhen: "type == 'formula'" }
{ field: 'autonumberFormat', visibleWhen: "type == 'autonumber'" }

view.form.ts / page.form.ts / report.form.ts / action.form.ts 也都是 data. 写法。只有 object.form.ts 是裸的。

需要先确定的一件事(不要凭印象判)

object.form.ts 的这些字段嵌在 object 表单的 repeater(字段列表)的 fields[] 里,行本身就是一个字段定义。所以有两种读法:

1. repeater 子字段的谓词也按整张表单的 data 绑定求值 ⇒ 这 20 处全是坏谓词,Studio 的对象/字段编辑器里这些条件字段从来没有真正条件化过(fail-open ⇒ 一直显示);
2. repeater 行在子字段谓词里另有一层行级绑定 ⇒ 裸写法是对的,那么这层绑定在 spec 里没有任何一句话写下来,而 field.form.ts 的 data. 写法就成了另一头的错。

无论哪一种,现状都是「同一个面上两种拼写并存,且没有文档说清楚」——这本身就是要修的东西。

为什么 #6248 的新闸门没有判到它

三条独立原因,记下来免得接手者以为闸门坏了:

1. packages/spec 的 *.form.ts 不是任何 app stack 的一部分,os validate 不会 lint 它们;
2. 全仓没有任何调用方传 layer: 'metadata' —— 该层目前只有测试在跑;
3. 即便前两条都补上,type 恰好是 CEL 自己声明的类型名标识符,type == 'formula' 到 checker 那里是类型 overload 错误而非「未知变量」,feat(lint): view/page 谓词裸标识符构建期闸门 —— 坏谓词发不出去 (#6128) #6248 的闸门按设计不判它(改读 overload 消息会误杀合法的 type(record.x) == string)。这一条已在 PR feat(lint): view/page 谓词裸标识符构建期闸门 —— 坏谓词发不出去 (#6128) #6248 里作为已知盲点钉了测试。

也就是说:这 20 处即使把闸门指过去也抓不到,得靠人读或靠一条专门的判据。

Refs:#6128 / PR #6248(发现处与盲点说明)、#5149(可见性谓词 fail-open 静默一族)、ADR-0089 D3。

[claude]

Triage: pm:queue + domain:spec.

Landing site. packages/spec/src/data/object.form.ts (and, depending on which reading wins, packages/spec/src/data/field.form.ts and the binding sentence in packages/spec/src/ui/view.zod.ts) ⇒ domain:spec. Premise checked against origin/main@2598216: neither form file has been touched since the repo-wide 7f62706 sweep, so both spellings are still live.

Why pm:queue and not needs-user-decision. The issue opens with an unresolved question ("does a repeater sub-field predicate evaluate against the form-root data binding, or a row-level one?"), but that is a technical question answerable by reading the evaluator — not a product call about what authors may write. Routing is never escalated, and neither is a question the code can answer. Both branches also converge on the same deliverable: one spelling across both files, plus the binding rule written down where the schema describes it, because today the repo ships both spellings and documents neither.

Acceptance a dev can state in one sentence: every visibleWhen on this surface uses the same binding form, and the rule that makes it correct is stated in the schema's own describe text.

Not on the release board. If reading 1 holds, the affected surface is the Studio metadata editor's conditional field display (fail-open ⇒ fields always shown) — a shipped surface, but a cosmetic/authoring-UX degradation rather than data damage or a contract lie. Sits with the next train; veto welcome.

Dedup. No other open issue or PR in the three repos names object.form.ts as its subject (#5628 mentions it in passing about readonly on autonumber builders — different key, different defect). PR #6248's new bare-identifier gate structurally cannot catch these 20 sites: type is a CEL-declared type-name identifier, so the checker reports an overload error rather than an unknown variable, and that blind spot is already pinned by a test in that PR.

本评论来自分诊座位 Routine（#5474 试点），不构成认领。

---

Generated by Claude Code

[qq9340100]

认领(spec 车道 PM 代派,wave-5 工头卡 4/6)

• PM 会话:session_011M7UwH25Unfi73UHim7ajY(座位贴 [PM seat] domain:spec — 🟢 qq9340100 #6017)
• 实施会话:云工头 session_017LsRBm4LohvZJcjbSfkfeH(opus,单容器串行 6 单)
• 分支:claude/issue-6254-object-form-visiblewhen-binding
• 容器判定:中卡(需 objectui 只读取证 + ~20 处谓词修正),不单独升舱,合舱工头容器
• 派发令:先实证判定读法(objectui 只读,沿 resolveFieldRuleState/evalFieldPredicate 的 repeater 求值面取证)。读法 1 ⇒ 修 object.form.ts ~20 处为 data. 写法 + 在 view.zod.ts 绑定 describe 补一句 repeater 子字段同绑 data;读法 2 ⇒ ⛔ 不动 field.form.ts,verdict=needs-ruling 报证据链,PM 上报维护者

交付走云卡降级通道:dev 推分支 + 报告 ref,PM 代开 draft PR 并转录终报。

---

Generated by Claude Code

[qq9340100]

云工头 dev 终报转录(wave-5 卡 4/6,会话 session_017LsRBm4LohvZJcjbSfkfeH,PM 代录):

• verdict: done —— 实测判出混合真相:两种读法都不完全对。objectui 只读取证(SchemaForm.tsx:1893 的 repeater 路径以 evaluatePredicate(s.visibleOn, { data: row }) 求值)——读法 2 的前提对(repeater 行有自己的绑定),但根仍然拼作 data(只是绑到行而非整文档),不存在隐式行作用域,裸标识符在任何层级都未绑定 ⇒ 读法 2 的结论(裸写法正确)为假。故采读法 1 的修法 + 读法 2 的前提:object.form.ts 16 处(实数,非正文估的 20)裸谓词改写 data. 拼法;field.form.ts 的写法本来就对,未动;FormField.visibleWhen 的 JSDoc+describe 补记两半事实(repeater 将 data 重绑到行 + 根仍拼 data)。四个求值站点根名一致、仅绑定对象不同(:542/:656/:668/:1893)。
• tests:spec 332 files / 8492 ✓;check:docs 重生成后绿(diff 恰 1 行);一次性 vitest 探针实测 post-parse 键(见下,提交前已删);eslint 干净。changeset patch。
• ⚠️ 升级上报(修不到、需另立卡):spec 与 renderer 在键名上不一致 —— ADR-0089 归一化把 visibleOn 改写为 visibleWhen 并丢弃别名(shared/visibility.ts:67,探针实测 post-parse:ANY_visibleWhen_KEY=true / ANY_visibleOn_KEY=false),而 SchemaForm.tsx 五个站点(:542/:656/:668/:784/:1893)只读 visibleOn ⇒ 今天所有 metadata-form 谓词全部死路(字段恒显示),包括 field.form.ts 写对的那些。runtime record-form 路径有适配(sectionFields.ts:194 visibleWhen ?? visibleOn),metadata-admin 路径没有 —— 不对称即真 bug。本 PR 的修正是前置条件,但在 renderer 修好前不可观察。PM 已代立 objectui 跟进卡(见下条评论链接)。
• 落地序:与 FormField/FormSection visibleWhen describe 宣称 runtime 表单绑定 current_user,但字段级条件规则的求值面从未绑过它——按文档写的谓词必然 fault 并 fail-open #6146(PR docs(spec): 字段级/section 级 visibleWhen 收窄 current_user 过度宣称 (#6146) #6315)在 view.zod.ts 同两条 describe 相撞 —— 语义独立、textual keep-both(保 FormField/FormSection visibleWhen describe 宣称 runtime 表单绑定 current_user,但字段级条件规则的求值面从未绑过它——按文档写的谓词必然 fault 并 fail-open #6146 的根表述 + 本单的 repeater 段),后合方重跑 gen:docs 解生成物冲突,⛔ 不手改。与 ADR-0122 第二期:major 窗口翻转裸名为解析态语义 + XInput 去留 #6083 无碰撞(纯谓词字符串与注释)。
• open_questions:① renderer 键名不对称按建议另立 objectui 卡(已办);② renderer 修复后这 16 条谓词将首次生效(Studio 对象字段列表开始按类型显隐)—— 从未真正上线过的可见 UX 变化,或值得进发布说明,报请维护者/发布板知会。

---

Generated by Claude Code