ChartAggregateSchema 有活的承载键却没有任何 parse:react 页发布闸门手写重推了它的规则,未知键从不检查(#4001 批 15 的 no gate 首例)

从 #4001 批 15 的门测量中分离出来,未指派。批 15 已按测量把这两个站点留开并三处留痕,本 issue 是它指向的那件事。

测量结果(2026-08-03/04,均带对照)

packages/spec/src/ui/chart.zod.ts 的 7 个 object 站点里,5 个从 dashboard / report 两个 metadata-type root 可达(DashboardWidget.chartConfig、ReportChartSchema),已在批 15 收紧。剩下 2 个 —— ChartAggregateSchema 和 ChartGroupBySchema 的 object 分支 —— 情况不同,而且不是「死槽位」:

测量	结果
承载键	✅ 活的。`aggregate` 是 react 层 `< ObjectChart objectName aggregate={…} >` 的真实可授权 prop(ADR-0081),发布在生成的 react-blocks 契约里,objectui 的 `ObjectChart` 读 `schema.aggregate` 去跑查询
从 24 个 metadata-type root + `ObjectStackSchema` 做 BFS	❌ `UNREACHABLE`(同一次运行里,上述 5 个是 `root-graph`,批 13 的 no-door 形状是 `UNREACHABLE` —— 双向对照都成立)
三个仓库里的 `.parse()` / `.safeParse()`	❌ 除本文件单测外没有

问题

唯一实际审查作者所写 aggregate 的东西是 react 页发布 lint(packages/lint/src/validate-react-page-props.ts),它手写重推了这个 schema 的规则:CHART_FUNCTIONS 复制了函数词表,fn !== 'count' && !field 复制了那条 refinement,结果列命名另算一份。它从不检查未知键。

react-blocks.ts 里这个 prop 是一条手写的类型字符串;旁边的 Zod schema 不是契约的生成来源。

所以今天:

< ObjectChart objectName="invoice" aggregate={{ function: 'sum', field: 'total', groupby: 'status' }} / >
//                                                                              ^^^^^^^ 静默丢弃

groupby(而非 groupBy)被剥掉 → 聚合退化成无分组、单行返回 → 图表画出坐标轴和一个点,build/validate 全绿。dateGranularty 同理:日期不分桶,趋势线变成一根。这正是 #4001 的原始失效模式,只是发生在 react 层。

为什么批 15 没有顺手收紧

.strict() 是 parse 的属性,这里没有 parse。收紧只会花掉一次 v17 破坏性变更让文件看起来完成,并留下账本自己警告过的东西 —— 「一个被精确校验的死槽位是更有说服力的谎言」(#4583)。而且这里比批 13 的情形更需要小心:这套词汇是活的,所以正确动作不是 ADR-0049 退役,而是把闸门接上。

批 15 因此在账本的分类规则表里加了第四类 no gate,与批 13 的 no door 并列 —— 两者都「没有 parse」,但处方相反:

	承载键	parse	正确的下一步
`no door`(批 13)	无	无	ADR-0049 enforce-or-remove
`no gate`(批 15)	活的	无	接上 parse;退役会打断一个能用的功能

建议(contract-first)

让 validate-react-page-props.ts 用 ChartAggregateSchema.safeParse() 判定 aggregate,而不是重推它的规则:

未知键立刻有了闸门,且错误信息可以走本战役的 strictObject 路子(点名 + 改名建议);
CHART_FUNCTIONS、count/field refinement 两份重复实现收敛成一份 —— 目前它们已经能各自漂移;
之后这两个站点就是普通的 authorable,收紧是一行改动。

需要先确认的一点:react 页 prop 是静态字面量抽取的结果,NOT_STATIC 的值不能判。所以是「能静态判定时才 parse」,与现有 if (aggregate === undefined || aggregate === NOT_STATIC) return; 的短路保持一致。

参考

未知键静默剥离仍是全仓默认:把 #3405 的 strict 收紧从一个 schema 推广到整个可授权面(ADR-0078 完整性闸门) #4001(战役)、批 15 的 PR(账本 ui/ 行 + chart.zod.ts 头部注释 + chart.test.ts 的常驻 BFS 断言 —— 一旦有人给 aggregate 加上 metadata 承载键,那条断言会变红并把人指回这里)
ui/ 五个交互配置文件(22 个 z.object 站点)没有任何承载键:实测「无授权门」,按 ADR-0049 定去留 #4988(批 13 的 no door 裁决)、datasource 账本判定的 20 条死键至今无人处置：三个块整块无人读，其中 readOnly 让一个 shipped 示例的「只读副本」可写（ADR-0049 enforce-or-remove） #4583(精确校验的死槽位)
ADR-0081(react 层)、ADR-0021(dataset 路径的对照)

认领:PM 循环第 5 轮(devx 车道)
会话:session_01GX3sL71LFq8m2usg6VqTSE
分支:claude/issue-5020-chart-aggregate-gate
Worktree:objectstack-issue-5020
域:domain:devx
文件面:packages/lint/src/validate-react-page-props.ts + 其测试(既有文件,不新增规则注册)。⛔ 不触 packages/spec/src/ui/chart.zod.ts 本体(#4001 战役属地,本单只消费其导出)。

前提已核:origin/main 该文件 :301 仍手写 CHART_FUNCTIONS、:356 仍手推 refinement;同文件 :288 已有 ChartDrillDownSchema.safeParse 同款先例 —— 修法有仓内锚,照该形状把 aggregate/groupBy 接上 ChartAggregateSchema/ChartGroupBySchema。NOT_STATIC 短路语义保持。

Generated by Claude Code

裁定(devx 车道 PM,session_01GX3sL71LFq8m2usg6VqTSE,2026-08-05):dev 的 needs_decision 停车完全正确 —— 它实测证伪了正文「未知键立刻有了闸门」的主张(两 schema 均 STRIP 姿态,仓内常驻 pin 自证),并找到了同类兄弟单 #5068 今日的维护者裁决。三问均落在该同日先例的射程内,按先例直接裁定(否决窗口,维护者可推翻):

Q1 → A(两步走,#5068 方向 A 照抄):本单只做 packages/lint —— 接 ChartAggregateSchema.safeParse、删 CHART_FUNCTIONS 与手推 refinement、解包 invalid_union 保留具名 arm 消息;strictObject 收紧归 #4001 后续批,跟进单本轮已立(见下),过渡期缺口用 pin 测试 + 注释点名跟进单钉住。C(消费端复刻 strictObject)按防 AI 犯错轴否决 —— 契约知识进消费者正是 #4001 要删的形状。

Q2 → A 类逐字执行 + groupBy 缺席单独 warning:schema、已发布 react-blocks 类型、渲染器三方一致的类(function 必填/枚举、field 字符串、aggregate 对象)按 error 执行,declared = enforced;groupBy 缺席这一类降 warning —— 它是唯一有活渲染路径(ObjectChart.tsx:640 的 || xAxisKey 兜底)兑现的形状,恰是 #5068 分级条款针对的「设闸打断能用的东西」情形。「无分组单值图是否受支持形状」(决定 schema 声明 optional 还是收紧渲染器)是 spec 面产品问题,写进跟进单交战役/维护者,本 PR 不拍。

Q3 → A(三处记录随 parse PR 一起翻):chart.zod.ts 仅头部散文、chart.test.ts 仅 pin 注释(断言本体不动 —— STRIP 姿态未变,pin 应保持绿)、台账 :636/:849 行 no gate → authorable 并指向跟进单。账本自己的「三处一起改或都不改」纪律 + #5068 把行翻转计入 parse PR 完成定义,共同支持 A;schema 本体零改动,#4001 属地未破。⚠️ .counts.md 是生成物:若 gen:strictness-ledger 有 diff 按 os-regen 规程整体重生成,禁手改。

同一认领续派新 dev 执行,派发词含全部三裁。

Generated by Claude Code

实施完成(续派 dev,session_01GX3sL71LFq8m2usg6VqTSE,分支 claude/issue-5020-chart-aggregate-gate):draft PR #5608。

三裁全部按裁定落地,前提已对 origin/main 复核且无冲突(渲染器兑现 groupBy 缺席、react-blocks.ts:245 声明必填、两 schema 均 STRIP、zod 4 union 塌缩,四项均实测)。

R1 —— ChartAggregateSchema.safeParse() 接上,CHART_FUNCTIONS 与手推 count/field refinement 删除;invalid_union 解包,各 arm 具名消息进同一条 finding(spec: ChartAggregateSchema 与 ChartGroupBySchema object 分支转 strictObject —— #5020 parse 接通后的收紧半边(#4001 后续批) #5583 的 strict unrecognized_keys 会以同样方式塌缩,靠这段解包送达作者)。额外补了 zod 不给的 received 值回显(按 issue path 从输入取回,不在消费端复述契约)。
R2 —— function 必填/枚举、field 字符串、aggregate 对象、sum/avg/min/max 缺 field 一律 error;groupBy 缺席单独 warning 不阻断,分级按 issue 而非整个 aggregate({ function: 'median' } 同时得一条 error + 一条 warning)。
R3 —— chart.zod.ts 仅散文、chart.test.ts 仅 pin 注释(两条 STRIP 断言本体不动、保持绿)、台账 :636/:849 no gate → authorable;.counts.md 走 gen:strictness-ledger 整体重生成,no gate 31 → 29、authorable 11 → 13,正好这 2 个站点,未手改数字。

⚠️ 过渡期缺口按裁定钉住并做了判别性加固(不靠空结果蒙绿):pin 在未知键旁种一个只有 parse 报得出的违规,断言恰好 1 条来自 schema 措辞的 finding 且不含 Unrecognized key。反向验证方向先判后跑:预判「放回手写限枝 → 新 pin 红」,实跑 11 条红与预判一致;同时如实记录两条 STRIP 容忍断言的容忍那半在新旧代码下都绿(两版都不查未知键),没有把它算作本 PR 的成果。

验证:lint 包 1335 passed / typecheck 绿、chart.test.ts 75 passed、spec check:generated 10/10、NUL 与控制字符自查干净、eslint 干净。无 out-of-scope 新发现需另立单。

Generated by Claude Code

验收(devx 车道 PM,session_01GX3sL71LFq8m2usg6VqTSE,2026-08-05):ACCEPT → PR #5608,转 ready 并挂 auto-merge。

三项裁定逐条落地且未硬套(全部前提对 origin/main 复核后成立,含 R2 依据的 groupBy 三方不一致):R1 词表/refinement 收敛单源 + invalid_union 解包(附 spec: ChartAggregateSchema 与 ChartGroupBySchema object 分支转 strictObject —— #5020 parse 接通后的收紧半边(#4001 后续批) #5583 后同机制更要紧的前瞻)+ 通用 received 回显;R2 按 issue 分级,四类既往静默转 error、groupBy 缺席唯一 warning 点名 spec: ChartAggregateSchema 与 ChartGroupBySchema object 分支转 strictObject —— #5020 parse 接通后的收紧半边(#4001 后续批) #5583;R3 三处翻转干净(schema 本体零动、pin 断言零动、台账机读单元格约束实测发现并正确处理、.counts.md 整体重生成恰好 2 站点)。
验证质量:反向验证 11 红与预判精确一致(含 1 条 FROM/TO 预期后果,如实区分);fix(lint): 收敛 validate-expressions / validate-security-posture 的 spec 不声明键 ?? 别名读法 (#5017) #5046 空绿坑的判别性加固(未知键旁种 parse 才能报的违规)是超出裁定要求的正当防御;词表表驱动用 schema.options 钉表防静默欠覆盖;消费半径按 authored aggregate 全仓扫过。
两轮合计:第 1 轮 needs_decision 的证伪 + 第 2 轮的执行,是这个循环该有的样子。
CI 无红,长作业在跑,auto-merge 守绿;若 ESLint 仍撞 main 全仓红:check:engine-double-contract 挂在 #5584 刚落地的 action-execution-calldata-not-found.test.ts(2 个 double 未接 assertEngineDeleteDispatch,基线无条目)——所有新 PR 的 ESLint job 都过不去 #5604 的 base 红,按 feat(lint): 禁止把引擎查询选项擦成 any,存量入计数 baseline 只减不增 (#4918) #5600 上已留的归因口径处理(等修复合 main 重跑),不归本 PR。

Generated by Claude Code

feat(lint): the react-page publish gate PARSES ChartAggregateSchema (o…

Navigation Menu

Repository navigation

`ChartAggregateSchema` 有活的承载键却没有任何 parse:react 页发布闸门手写重推了它的规则,未知键从不检查(#4001 批 15 的 `no gate` 首例) #5020

测量结果(2026-08-03/04,均带对照)

问题

为什么批 15 没有顺手收紧

建议(contract-first)

参考

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

ChartAggregateSchema 有活的承载键却没有任何 parse:react 页发布闸门手写重推了它的规则,未知键从不检查(#4001 批 15 的 no gate 首例) #5020

Description

测量结果(2026-08-03/04,均带对照)

问题

为什么批 15 没有顺手收紧

建议(contract-first)

参考

Activity

os-zhuang commented on Aug 5, 2026

os-zhuang commented on Aug 5, 2026

os-zhuang commented on Aug 5, 2026

os-zhuang commented on Aug 5, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

`ChartAggregateSchema` 有活的承载键却没有任何 parse:react 页发布闸门手写重推了它的规则,未知键从不检查(#4001 批 15 的 `no gate` 首例) #5020