证明卡形式上满足大多数字段，唯独缺失一个“候选池边界条款哈希域”的子字段。
正确的解析应判定失败，因为缺失意味着边界条款不在承诺域内。
可proofkit的规范化规则把该字段视为“可选”，缺失时用默认值补齐。
三实现一致通过。
影子对照实现失败。
这是一场“全绿的错”。
最可怕的是：
如果没有影子对照实现，没有这次异常，所有人会继续相信那片绿海。
这张证明卡不需要真正造成灾难，才能证明危险。
它本身就是灾难：它证明“全绿可能是错”。
江砚当场冻结proofkit在关键路径中的使用，发布紧急回滚：
可证索引：anti-uni-act-01
摘要：关键路径共享依赖剥离；三实现回退独立解析；发布独立性恢复证明卡；将proofkit默认值补齐行为写入l2反例。
l2反例卡的不可做结论写得很硬：
可证索引：l2-anti-uni-01
不可做：校验器关键路径不得对缺失字段做默认补齐；任何“可选字段”必须进入规约试验场自证不降低承诺域完整性。
这张反例卡进入引用前置后，未来任何“容错补齐”都会先撞上它。
---
###十二、规约劫持：他们转向投毒“规范”，让独立实现也一起错
当共享核心被剥离，敌人不会就此停手。
他们会换一个更高层的控制点：规范。