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

Merged

os-zhuang merged 3 commits into

mainfrom

claude/issue-5481-alias-probe-collision

Aug 5, 2026

Commits on Aug 5, 2026

fix(spec): an alias table may not contain two keys that share one probe (#5481)
claude
committed
9b7a00b
Merge remote-tracking branch 'origin/main' into claude/issue-5481-alias-probe-collision
claude
committed
adb224c
chore(spec): re-anchor authorable-surface base after merging origin/main
claude
committed
52557f0