metadata-admin:嵌套 union「只剩一个成员接受了值的类型」时仍塌成 Invalid input(config.sort 等)

[yinlianghui]

发现于 #3626 的实施(PR #3677)。观察类,不是用户今天会撞到的回归 —— path 是真的,只是 message 泛化。分诊定级请自行裁决,本卡只负责记录测量。

背景

#3606 / PR #3624 展开了根级 union;#3626 / PR #3677 展开了嵌套的 config.columns(string[] | ColumnDef[],按值的首元素判别)。#3677 里那条规则被刻意收窄成「两个成员都接受了值的类型」的 union,即真正的「A 的数组 或 B 的数组」。

收窄是必要的:config.sort 是 string | ColumnSort[],同样两成员、同样可以是数组值。只看首元素会对 sort: ['name'] 选中纯 string 成员并报「expected string, received array」—— 对一个正确写了数组的人说的最没用的话。这条误选在 PR #3677 里被钉成了测试(删掉收窄条款那一行,它就红)。

这张卡记的是收窄之后留下的空档

当只剩一个成员接受了值的类型时,选它是无歧义的 —— 不需要任何内容判别,也不是启发式。但 #3677 没做:它的授权范围是「按内容判别」,「唯一候选」是另一条规则,不硬凑。

实测(@objectstack/spec 17.0.0-rc.5,两条路一致):

body	今天的 path + message	「唯一候选」规则本可给出
sort: [{field: 'n', order: 'bogus'}]	config.sort / Invalid input	config.sort.0.order / Invalid option: expected one of "asc"｜"desc"
sort: ['name']	config.sort / Invalid input	config.sort.0 / expected object, received string

成员分组实测形态:

[invalid_union] path=["config","sort"] msg="Invalid input"
  member[0] (string)          [invalid_type]  path=[]           "expected string, received array"   ← 没接受类型
  member[1] (ColumnSort[])    [invalid_value] path=[0,"order"]  "Invalid option: expected one of …"  ← 唯一候选

范围

走了一遍整个 view 家族的 Zod 树:16 个无判别式的嵌套 union。columns 已由 #3677 覆盖;其余大多在值类型不匹配时全体拒绝(filter[].value、gantt.tooltipFields[]、sections[].fields[] ……),那种情况「唯一候选」也无话可说,仍应保留原消息。真正能被这条规则救回来的是 sort 这类标量 或 数组的两成员 union。

判断这值不值得做

• 赞成:规则是真命题而非启发式(唯一候选不需要猜),与 fix(app-shell): expand view edit-gate union failures into per-field diagnostics #3624/fix(app-shell): expand the nested config.columns union into per-column diagnostics #3677 已建立的「只动呈现、不动判定、只展示选中成员」约束完全兼容,增量很小。
• 反对:contract-first 的正解仍是 spec 侧给出判别入口(objectstack#6391),消费方不必猜。本仓再叠第三条局部规则,是在把 spec 的缺失继续摊到消费者身上。

倾向:等 objectstack#6391 的裁决;若 spec 侧不接,这条可作为不跨仓的兜底,和 #3626 的定位一样。

相关:#3606、#3626、PR #3624、PR #3677、objectstack#6391。

[yinlianghui]

认领(PM 派发),定级:轻度(与 #3626 同级 — 诊断质量,path 可定位 message 泛化)。

• Session: session_01GTRjn8xBqp75dk7kFupVRt
• 分支:claude/issue-3678-sole-candidate-rule
• 文件面:packages/app-shell/src/views/metadata-admin/clientValidation.ts + clientValidation.viewDiagnostics.test.ts(只加不改)+ changeset。前置已落:PR fix(app-shell): expand the nested config.columns union into per-column diagnostics #3677 已在 main(949b2f1),同文件障碍解除。
• 裁决(有界授权,metadata-admin:嵌套 union(config.columns)的诊断仍塌成「Invalid input」——创建路/编辑路都中 #3626 同款约束全部沿用):新增「唯一候选」规则 — union 各成员对 draft 值做范畴判定后,恰好只剩一个成员接受了值的类型时,选它提取诊断(sort: [{field:'n',order:'bogus'}] → config.sort.0.order 具名);两个及以上成员接受 → 维持现状塌陷(那是内容判别与 spec 判别式的地盘);零个接受 → 维持现状。判定门不动、CANARY 兜规则、逆向验证含「验证验证器」(单独扰动唯一候选条款,红出它防住的误选/漏选)。若测量发现该规则与 fix(app-shell): expand the nested config.columns union into per-column diagnostics #3677 的内容判别在某形状上冲突(两规则都想选),停手报告优先序问题。

---

Generated by Claude Code

[yinlianghui]

验收 ACCEPT → PR #3693(session_01GTRjn8xBqp75dk7kFupVRt),开放问题裁 A。

已核:128 文件 1225 测试绿;三扰动方向全中(b 的红落点预测在 #3677 的钉子上 — 唯一性条款守的是「不发明偏好」边界的证明);12 形状普查钉住无一误选。

裁决记录:

1. k-划分关系论证记入方法库:两规则不相交的证明(k=1 与 k=全体只在单成员 union 重合,而该 schema 不产生)优于任何优先级设计;刻意保持 fix(app-shell): expand the nested config.columns union into per-column diagnostics #3677 收窄条款为「删掉就红」的活代码(扰动 c 证实)— 规则并列的顺序本身是设计。
2. 裁 A 的理由:「唯一候选」是与元数无关的真命题,为保旧钉加元数特例是无原则收窄;sort 变更是 issue 对照表逐字要求;两条被取代钉子的 claim 原样保留并加强(负断言补齐)— 符合钉翻转纪律。B 杠杆留档 PR 正文,维护者可一行收窄。
3. 「规则说话了≠消息变好了」(path 动/消息动两方向分别钉)记入方法库。
4. issue「范围」段落被测量证伪(数组值可达且严格改善)— 前提加强类修正。新发现 metadata-admin:范畴判定只认 invalid_type,enum 成员对非枚举值答 invalid_value,把可判定的 union 留在塌陷态 #3694(范畴判定不认 invalid_value)入池,不搭车正确。

#3606→#3626→#3678 诊断三级程序完整落地。

---

Generated by Claude Code