别名表内部撞车:aliasProbe 归一化后两个 key 相同,后者静默覆盖前者(snap.grid 被指向 showGrid)

发现于 #5013 的全仓别名一致性闸门(范围外,未指派)。

Blocked-by: #5486

成因

strictUnknownKeyError 把别名表的 key 用 aliasProbe 归一化后建索引:

const aliasProbe = (key) => key.toLowerCase().replace(/[_\-\s]/g, '');
for (const [key, canonical] of Object.entries(options.aliases ?? {})) {
  aliases[aliasProbe(key)] = canonical;   // 后写覆盖先写
}

同一张表里两个 key 归一化后相同时,后一条静默覆盖前一条。没有任何东西检查这件事——
和 #5013 的成因是同一类:别名表是对 schema 的断言,而断言没人核对。

活defect(1 条,作者可见)

packages/spec/src/studio/flow-builder.zod.ts:244,these snap settings:

aliases: { …, grid: 'gridSize', size: 'gridSize', step: 'gridSize', visible: 'showGrid', grid_: 'showGrid' },

grid_ 归一化后是 grid,与前面的 grid 撞车且写在后面,于是 grid: 'gridSize' 被覆盖。
作者写 grid: 24(想设网格像素大小,shape 里是 gridSize: z.number().int().min(1))得到的是:

Did you mean `grid` -> `showGrid`?

showGrid 是 z.boolean()。照做即第二次被拒——正是账本 finding 7 的形状:
把作者指进一个他的值同样不合法的槽位。

休眠实例(3 条,同因不同果)

这三条两个 key 指向同一个 target,覆盖后语义不变,今天没人踩到:

文件	surface	撞车	target
`data/field.zod.ts:400`	`this field`	`rollup` / `rollUp`	都是 `summaryOperations`
`automation/webhook.zod.ts:141`	`this webhook`	`object_name` / `objectName`	都是 `object`
`ui/chart.zod.ts:212`	`this chart series`	`strokeDasharray` / `strokeDashArray`	都是 `dashArray`

这三条其实说明了另一件事:既然 aliasProbe 已经吃掉大小写和分隔符,
同一 probe 的多条 key 本身就是冗余,写两遍不会更管用。

建议

在 #5013 新增的 packages/spec/src/shared/alias-integrity.test.ts 里加第三条断言:
一张表内任意两个别名 key 的 aliasProbe 不得相同(判定同样走运行时表,
strictObjectDeclarations() 已经把表交出来了,加这条大约十行)。
先修 flow-builder 那条(grid_ 删掉即可,visible: 'showGrid' 已经覆盖那个意图),
再删三条冗余,最后开断言。

复现日期 2026-08-05,基线 origin/main ed0d2aa。

docs(spec): name the two filed findings in the gate's coverage bounda…

解锁 + 认领:spec 车道第 2 批补位(滚动)
会话:session_018fxLGQdatPbBUvCgiVxg6D
分支:claude/issue-5481-alias-probe-collision
Worktree:objectstack-issue-5481
域:domain:spec
文件面:packages/spec/src/studio/flow-builder.zod.ts(删 grid_)、data/field.zod.ts / automation/webhook.zod.ts / ui/chart.zod.ts(各删一条冗余)、packages/spec/src/shared/alias-integrity.test.ts(第三条断言)。

前置 #5486 已于刚才 MERGED,pm:blocked 摘除。执行顺序照 issue 建议:先修活缺陷、再删冗余、最后开断言(先证红)。

Generated by Claude Code

验收(spec 车道 PM,session_018fxLGQdatPbBUvCgiVxg6D):ACCEPT → PR #5516(draft;9/11 checks 绿,TS/ESLint 收尾中,全绿后转 ready 入队)。

活缺陷实测复现(照做二次被拒 = finding 7 形状)后按序修:删 grid_ → 删三条冗余 → 开第三条断言;全量普查恰 4 条不多不少,没有只信 issue 清单。
aliasProbe 抽到不进 barrel 的叶子模块用真实现判定 —— 拒绝在测试里抄正则(那正是本缺陷家族的形状),循环导入的历史雷也查过;check:api-surface 证实公共面未动。
三条冗余「可安全删」是被证明的(单条 entry 覆盖全部拼法的等价性测试),不是推测;合 main 时撞上 feat(spec,automation): flow 的 update_record / delete_record 可以声明批量意图 multi #5485 新增的别名表属真实重叠,合并后全量重跑并让新断言顺带判定了那张新表 —— os-regen 纪律与消费半径走查都到位。
范围外发现按「attach, don't scatter」补进 44 个 strictUnknownKeyError 直接调用点的别名表在 #5013 闸门覆盖之外(实测干净,但无人看守) #5483(44 个直调点现在在三条判据之外;其正文「实测干净」只覆盖旧两条,probe 维度是未测量非已测净)—— 这条修正了我此前分诊 44 个 strictUnknownKeyError 直接调用点的别名表在 #5013 闸门覆盖之外(实测干净,但无人看守) #5483 时的依据,分诊轮重看时按新事实判。

Generated by Claude Code

fix(spec): 别名表必须是对 schema 的真断言 —— 修 12 条存量 + 全仓闸门 (objectstack-ai#5013)…

fix(spec): 别名表内不得有两个 key 共用一个 probe —— 修 4 条 + 开第三条闸门断言 (objectstack-…

test(spec): 别名一致性闸门收编 44 个 strictUnknownKeyError 直调点 —— probe 撞车维度首测 (o…

test(spec): shared test titles state each cited decision in words ins…

test(spec): security, ai, identity, integration, migrations, marketpl…

Navigation Menu

Repository navigation

别名表内部撞车:`aliasProbe` 归一化后两个 key 相同,后者静默覆盖前者(`snap.grid` 被指向 `showGrid`) #5481

成因

活defect(1 条,作者可见)

休眠实例(3 条,同因不同果)

建议

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

别名表内部撞车:aliasProbe 归一化后两个 key 相同,后者静默覆盖前者(snap.grid 被指向 showGrid) #5481

Description

成因

活defect(1 条,作者可见)

休眠实例(3 条,同因不同果)

建议

Activity

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

别名表内部撞车:`aliasProbe` 归一化后两个 key 相同,后者静默覆盖前者(`snap.grid` 被指向 `showGrid`) #5481