*若是集合可操纵：启用集合规范化与集合选择器
*生成l2反例卡前置：不可做结论写明该二义性模式
这条链的目标是把裂纹变成反例，而不是把裂纹变成罪名。
罪名会逼权威；反例会逼规则进化。
---
###九、份额证明升级：每个解密份额必须携带“可验证正确性”，避免弱验证
解锁裂纹往往依赖“弱验证份额”：
份额看起来像对的，但可能带微小扰动，足以让纠错路径走向另一解。
如果份额验证只做形式校验，弱扰动就会混进来。
江砚推动“份额可验证证明”升级：
每个份额不仅要可用，还要可证明正确，且证明可被三解锁实现一致验证。
锚号：share-vrf-01
要点：
*每个份额携带不可交互证明（nizk式），证明该份额确由该持有人对应密钥对该密文计算得出
*证明绑定密文哈希mit哈希，防重放
*证明验证逻辑三实现独立，防同源投毒
*份额证明失败不触发政治惩罚，只触发份额池冷却与抽检加强
*份额证明的验证结果摘要进入对外回执（不显影持有人身份）
这样，敌人想混入“弱扰动份额”会变得昂贵：
你不但要送份额，还要送证明；
证明要在三实现独立验证下通过；