###六、江砚的判断：解锁必须“唯一”，容错必须“可证明不二义”
这不是要取消容错，而是要把容错从“猜”变成“证”。
江砚提出一条新的约束：**解锁唯一性宪章**。
锚号：uniq-ch-01
要点：
*u1：同一揭示包的解锁明文必须唯一；
*u2：容错只允许在“不会引入多解”的编码层工作；
*u3：任何容错解码必须附带“唯一性证明”，证明不存在第二个合法明文；
*u4：若无法给出唯一性证明，则必须降级为“重托管/重加密/重封存”而不是输出模糊明文；
*u5：唯一性失败不得由人名裁判，必须由结构触发复验与回滚。
这条宪章的精神是：
可用性不能靠模糊输出换来。
可用性必须建立在可证明的唯一解上。
否则，你越可用，敌人越可选；
你越可选，偏置越稳定；
偏置越稳定，刷题越容易。
---
###七、解锁唯一性共识：像三实现校验一样，对解锁输出做“三解一致”
要让唯一性可持续，不能靠单点实现。
必须像校验共识那样，建立“解锁共识”。
锚号：uniq-cons-01