ViewItemSchema 同时是授权形状和 Studio 往返的 wire 成员 —— 拆成两个 schema 还是保持宽松?(挡住 #4001 批 18 最后 2 站点)

发现于 #4001 批 18。这是 finding 16(union .extend() 陷阱)的一个更深的落点 —— 不在被 .extend() 的基类上,在 union 的成员本身。

事实(端到端追踪,非推断)

ViewItemSchema(packages/spec/src/ui/view.zod.ts)有两副身份:

授权门(想要 strict):

defineViewItem(config) 直接 .parse()
objectui 的 view 创建表单把 createBuildBody 的产物按真 spec ViewItemSchema 校验(app-shell/src/views/metadata-admin/view-create-body.test.ts)

wire 门(必须留开):它是 ViewMetadataSchema 的成员 1 —— saveMetaItem 校验每一份持久化 view body 的那个 union。

追踪链:

objectui 的 pin 控件 → dataSource.updateView(objectName, vid, { isPinned: pinned })(app-shell/src/views/ObjectView.tsx:882)
updateView(data-objectstack/src/index.ts:2801)先 GET 存储项,再 PUT { ...current, ...partial, name, object }
独立 ViewItem 记录的 current 带 viewKind 且带 config → 命中成员 1(扁平 overlay 成员被自己的 config: z.undefined() 守卫排除)
于是 body 带着 ViewItemSchema 未声明的 isPinned 到达

今天:strip 掉(且 parsed.data 被丢弃、原始 body 原样落库),保存成功,pin 生效。
收紧后:给一个已保存视图打 pin 会 422。

一句已经过时且承重的散文(批 18 已就地修正)

view.zod.ts 的块注释写:

Auxiliary Studio round-trip keys (isPinned, sortOrder, …) ride along on every shape: all four members strip-parse (no .strict()) …

写的时候是对的,现在一半错一半承重:成员 2(容器 ViewSchema)自前几批收紧起就是 strict 的(实测 { list: …, isPinned: true } 会 422)。那不是回归 —— updateView 会先 if (current?.list) current = current.list 把容器拆到内层 list config 再合并,所以容器 body 到不了这个 union。但照着这句话推理会得出错误结论,而它正是下一个人决定「成员 1 能不能关」时会读的那句。批 18 已把它换成实测描述。

同时 metadata-type-schemas.test.ts 的 STILL_STRIP 收尾注释把「刻意开放的那个」说成扁平 overlay(成员 3/4,它们确实显式 .strip() 并写了理由)。成员 1 从来没被这样点名过 —— 它只是碰巧还是 strip。

需要裁定

A. 拆:ViewItemSchema 收紧给授权门用;ViewMetadataSchema 里换成一个 .strip() 重新开放的 wire 成员 —— 与成员 3/4 已有的做法完全一致(ListViewSchema.extend(flattenedViewOverlayFields()).strip())。代价:ViewItemSchema 是 z.discriminatedUnion,不能直接 .extend(),需要两个变体(每个 arm 一份 strict + 一份 strip),或把 base shape 抽出来复用。
B. 保持宽松,在台账/JSDoc/测试三处把它记成 wire(批 18 当前做法),授权门的严格性靠 config 内层(ListViewSchema/FormViewSchema 都已 strict)与 defineViewItem 的类型层兜。

两轴分析

长期健全性:A 更对。这个文件里已经有一条被验证过的处理这种双身份的模式 —— 成员 3/4 就是「授权 schema .extend(wire 字段).strip()」。B 让同一个 schema 名同时承担两种契约,而这正是本战役反复付代价的形状(一份散文、两种姿态)。A 也让 isPinned/sortOrder 这些辅助键有个明确的声明位置,而不是靠「没人关这个成员」隐式活着。

让 AI 写的元数据难写错:强烈偏 A。B 的失败模式很具体:defineViewItem({ name, object, viewKind, confg: {…} }) —— config 打错一个字母,今天 strip 掉,得到一个没有任何视图配置的 ViewItem,parse 成功。这就是 #4001 正文里 workflows: [...] 那条(#1535)在 view 面的重演。A 之后作者会拿到点名的拒绝;B 之后这个洞永远留着,而且台账会把它记成「已决定」,再也不会有人来看。

代价要说实话:A 是这两个选项里唯一需要真正设计的 —— discriminatedUnion 的两套变体不是一行改动,而且要确认 z.toJSONSchema() 对新结构仍能出 anyOf(/api/v1/meta/types/view 喂给 Studio 的 SchemaForm 靠它),以及 lazySchema Proxy 在新结构下不复发 ADR-0089 D3a 那次 Cannot set properties of undefined (setting 'ref')。

我推荐 A,两轴同向;但它是架构选择(注册 view 门到底严不严),不是姿态翻转,所以批 18 立案不猜。若排期上 A 进不了 v17 窗口,B 是可接受的中间态 —— 批 18 已按 B 落地并三处留痕,A 落地时把留痕换掉即可。

维护者裁决(2026-08-04):A —— 拆分:授权门 strict 变体 + union 内 `.strip()` wire 成员(照成员 3/4 已验证模式)

ViewItemSchema 收紧供 defineViewItem / view 创建表单;ViewMetadataSchema 成员 1 换成重新开放的 wire 变体,isPinned/sortOrder 等辅助键获得明确声明位置。
裁决依据:B 的失败模式是 confg 一字之差 → 空配置 ViewItem parse 成功——Object-level workflows: [...] (and any unknown ObjectSchema key) is silently stripped at build — no error/warning (ADR-0032 'no silent failure', metadata layer) #1535/动作参数弹窗:内联 lookup 参数无法声明引用目标(配置被静默剥离 + 文案谎报「即将上线」) #3405 事故类在作者密度最高的 view 面原样重演;同文件已有双身份处理先例;三轴同向。
两个具名地雷写进派发词:① z.toJSONSchema() 对新结构必须继续出 anyOf(/api/v1/meta/types/view 喂 Studio SchemaForm);② lazySchema Proxy 的 ADR-0089 D3a 旧坑(Cannot set properties of undefined (setting 'ref'))。discriminatedUnion 两套变体 vs 抽 base 复用由实施 dev 按代价定。
目标 v17(T2-高位):符合活伤害判据但设计风险真实;批 18 已落地的 B 中间态三处留痕作为回退底线——若滑窗,留痕即终态,A 转 v18。

needs-user-decision 摘除,入队(target:v17);排期:台账分家手术之后、批 20 之前或并行(文件面不相交);与 #5073(同文件不同站点)串行。

Generated by Claude Code

fix(spec): revert ListView.sort strictness — the console stamps a UI …

执行范围追加(2026-08-04,批 18 终报后的 PM 裁定,属既有裁决 A 的自然延伸)

批 18 实测确立:.strip() 与 .strict() 一样不递归——wire 成员顶层重开保护不了嵌套已关块,控制台盖进嵌套块的键(sort[].id、filter[].id,均 crypto.randomUUID())照样 422。因此本单的拆分方案追加硬要求:

wire 变体的开放必须递归生效(或等价地:写路径在校验前剥离控制台装饰键——stripReadDecorations 的镜像),覆盖已知两处:ListView.sort[].id(批 18 已回退留开)与 ViewFilterRule.id(控制台保存筛选条件会 422:ViewFilterRuleSchema 拒绝 filter-builder 盖的 id,而 wire 成员的 .strip() 救不到嵌套块 #5114,热修先行重开,本单落地后按正确结构重关)。
⛔ 不以「声明 id」解决(批 18 的 Q1 两轴否决在案:React list key 上授权面 = 教 AI 作者发 UUID)。
验收补一条:控制台列排序 PUT 与过滤器保存 PUT 的 body 直接 parse 通过(批 18 的 view-metadata-schema pin + 控制台保存筛选条件会 422:ViewFilterRuleSchema 拒绝 filter-builder 盖的 id,而 wire 成员的 .strip() 救不到嵌套块 #5114 的三路径探针可复用),理想加 dogfood 浏览器端到端。

Generated by Claude Code

feat(spec)!: view.zod.ts 子块收紧 —— 20 站点收 15 留 5(objectstack-ai#4001 批 …

fix(spec): 重开 ViewFilterRuleSchema —— 控制台盖的 UI 行 id 让保存筛选条件 422(objec…

认领:PM 循环第 3 批补位(spec 车道,batch:5;v17 链,附 #4959 前提实测 rider)
会话:session_01ErbEDVAg1No9gdg1pgDAGB
分支:claude/issue-5074-viewitem-authoring-wire-split
Worktree:objectstack-issue-5074
域:domain:spec
文件面:packages/spec/src/ui/view.zod.ts(ViewItemSchema 拆分 + wire 变体)、配套测试(view-metadata-schema pin、#5114 三路径探针复用)、spec 生成基线(os-regen 四步互保,注意本单落地时 #5289 链可能已进 main)、.changeset/*.md。⛔ 尊重 #5154 的三处 wire 豁免与 #5237 的 allowAddTab 收紧(同文件,先核当前 main 现状)。

执行依据:裁决 A(2026-08-04 03:02Z)+ 执行范围追加(05:24Z,递归开放硬要求);两个具名地雷(z.toJSONSchema 出 anyOf、lazySchema Proxy ADR-0089 D3a)写进派发词。rider:#4959 前提实测(只验证不修 —— objectui 写侧产 ViewItem、根 schema stack.zod.ts:217 收 z.array(ViewSchema) 的分歧是否成立,以本仓端到端实测为准,结果写进报告供 PM 决定 #4959 走向)。

Generated by Claude Code

验收:ACCEPT(PM 复核毕,PR #5319)

复核依据(GitHub 实据):

裁决 A + 追加范围全部兑现:双 arm strictObject 授权门 + ViewItemWireSchema wire 变体(isPinned/sortOrder 显式声明);抽 base(viewItemArmShape())按代价选定,两姿态差异只剩两处且在调用点可见;递归开放走裁定的第二路线(VIEW_CONSOLE_ROW_DECORATIONS 词表 + 校验前剥离,stripReadDecorations 写路径镜像),两个被挡站点(控制台保存筛选条件会 422:ViewFilterRuleSchema 拒绝 filter-builder 盖的 id,而 wire 成员的 .strip() 救不到嵌套块 #5114 临时重开的 ViewFilterRuleSchema、批 18 回退的 sort[])按正确结构重关,id 未被声明(Q1 否决遵守);
两个具名地雷双向测试通过(z.toJSONSchema 四成员 anyOf 双 io 方向、lazySchema Proxy 逐 schema 直接转换 + 重入用例);
反向验证如实按门拆分(反转方向的诚实处理);fixture 三分法逐条裁定;台账 5→3 的算术在散文里写明是「关四增二」;
真实副作用同 PR 修掉:preprocess 根让两个 gate walker 落入活性账本覆盖 worklist：9 个已注册 metadata type 仍未治理（#4487 建立闸门后的剩余债务） #4488 已修过的盲点、静默停止覆盖 view —— 被 walker 自己的覆盖断言抓住,按活性账本覆盖 worklist：9 个已注册 metadata type 仍未治理（#4487 建立闸门后的剩余债务） #4488 写法修复;第三处(build-schemas.ts)因移动生成基线刻意不动,立 build-schemas.ts 的 zodShapeOf 对 z.preprocess 走错管道方向(#4488 已在 check-liveness 修过的同一个盲点) #5317;
dogfood 浏览器端到端未跑并如实声明(资源纪律,验收 body 从真实控制台写路径捕获、在 schema 门断言)—— 按「ideal if feasible」条款接受;
14 文件对账吻合;7996 spec 测试 + 消费半径按调用方全绿。

#4959 rider 处置(另评论于该单):前提端到端证伪,关闭;两条残余观察归档新单。#5316(objectui 客户端校验用错门)已入队候派。

Generated by Claude Code

feat(spec)!: ViewItemSchema 拆成授权门 + wire 变体,并让 wire 的开放递归生效 (objectst…

spec: declaresCollection reads a pipe's authorable side, so a preproc…

chore(objectui): bump the console pin to 2e818d0 (carries objectui#11…

test(spec): the third ui/ file group's test titles state each cited d…

test(spec): the last ui/ file group's test titles state each cited de…

Navigation Menu

Repository navigation

`ViewItemSchema` 同时是授权形状和 Studio 往返的 wire 成员 —— 拆成两个 schema 还是保持宽松?(挡住 #4001 批 18 最后 2 站点) #5074

事实(端到端追踪,非推断)

一句已经过时且承重的散文(批 18 已就地修正)

需要裁定

两轴分析

维护者裁决(2026-08-04):A —— 拆分:授权门 strict 变体 + union 内 `.strip()` wire 成员(照成员 3/4 已验证模式)

执行范围追加(2026-08-04,批 18 终报后的 PM 裁定,属既有裁决 A 的自然延伸)

验收:ACCEPT(PM 复核毕,PR #5319)

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ViewItemSchema 同时是授权形状和 Studio 往返的 wire 成员 —— 拆成两个 schema 还是保持宽松?(挡住 #4001 批 18 最后 2 站点) #5074

Description

事实(端到端追踪,非推断)

一句已经过时且承重的散文(批 18 已就地修正)

需要裁定

两轴分析

Activity

xuyushun441-sys commented on Aug 4, 2026

维护者裁决(2026-08-04):A —— 拆分:授权门 strict 变体 + union 内 .strip() wire 成员(照成员 3/4 已验证模式)

xuyushun441-sys commented on Aug 4, 2026

执行范围追加(2026-08-04,批 18 终报后的 PM 裁定,属既有裁决 A 的自然延伸)

os-zhuang commented on Aug 4, 2026

os-zhuang commented on Aug 4, 2026

验收:ACCEPT(PM 复核毕,PR #5319)

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

`ViewItemSchema` 同时是授权形状和 Studio 往返的 wire 成员 —— 拆成两个 schema 还是保持宽松?(挡住 #4001 批 18 最后 2 站点) #5074

维护者裁决(2026-08-04):A —— 拆分:授权门 strict 变体 + union 内 `.strip()` wire 成员(照成员 3/4 已验证模式)