意图宪章里有i1/i2/i3三条最高意图。
但在校验体系里，过去默认把独立性当作实现风格。
现在必须把独立性提升为约束：
它和入口成本同级。
江砚提出一条新的子宪章：**校验独立性条款**。
可证索引：intent-verify-01
摘要：校验可信的前提是实现独立性；任何降低独立性的优化视为降低操控成本的潜在入口，必须进入试验与审计。
这条话说出来，意味着：
proofkit不是“好用就用”。
proofkit是“降低独立性即**险”。
---
###八、反同核协议：禁止关键路径共享依赖，设立同源度上限
江砚把解决方案写成可执行护栏：
可证索引：anti-uni-01
名称：反同核协议
anti-uni-01a：同源度指标
*定义“关键路径”：证明卡解析mit-reveal混合、候选池快照解析、结果哈希生成
*统计三实现关键路径共享依赖比例（含直接依赖与间接依赖）
*设定同源度上限s，超过则触发阻断（不能发布）
anti-uni-01b：依赖独立性预算
*每个实现必须保持至少d条独立供应链（不同维护者群体、不同镜像站、不同构建链）