议
ANTI-UNI-01A:同源度指标
*定义“关键路径”:证明卡解析、commit-reveal混合、候选池快照解析、结果哈希生成
*统计三实现关键路径共享依赖比例(含直接依赖与间接依赖)
*设定同源度上限S,超过则触发阻断(不能发布)
ANTI-UNI-01B:依赖独立性预算
*每个实现必须保持至少D条独立供应链(不同维护者群体、不同镜像站、不同构建链)
*共享依赖若不可避免,必须满足“同源隔离”:
*共享依赖只能用于非关键路径(UI、日志、格式化等)
*关键路径禁止共享依赖
*依赖预算公开摘要(不暴露具体镜像细节,防显影)
ANTI-UNI-01C:依赖锁定与漂移审计
*关键路径依赖版本锁定
*任意版本升级必须通过“依赖投毒试验场”
*若升级导致同源度上升或供应链集中度上升,自动拒绝
ANTI-UNI-01D:紧急回滚
*若发现同源度异常,立即将共享核心从三实现中剥离,回滚到独立解析路径
*同步发布独立性恢复证明卡
这套协议的核心就是一句话:
多实现不是多皮肤,多实现必须多骨头。
---
###九、依赖投毒试验场:把“统**”当作危险物质来检验
为了避免再次被“善意减负”诱惑,江砚建立专门试验场:
可证索引:DEP-LAB-01
名称:依赖投毒试验场
DEP-LAB-01A:输入
*任何拟引入关键路径的依赖库
*任何拟共享的规范化组件
*任何拟统一的解析规则集
DEP-LAB-01B:测试维度
*同源度上升评估(是否导致关键路径共享)
*供应链集中度评估(镜像、维护者、构建链)
*语义形变测试(缺失字段、重复字段、乱序字段、边界字段)
*恶意容错测试(默认值、截断、修剪、合并)
*形变一致性测试(metamorphic):对同一证明做等价变换,校验结果必须保持不变量一致
*反例对照:是否触发既有L2反例卡(校验器解析差异同步、镜像投毒、伪证等)
DEP-LAB-01C:输出
*若库能提升维护效率但引入关键路径同源,判定为“同
本章未完,请点击下一页继续阅读!