* 同一证明卡在三套实现中结果一致
* 任意一套出现红叉，其它两套仍能给出可查差异原因
* 校验器的发布必须可复现构建：任何人能从公开源码构建出与发布包一致的二进制哈希
这会把投毒成本抬到难以承受：
你要投毒，就得同时投毒三套独立实现，还要让它们在可复现构建的审计下保持一致——几乎不可能规模化。
江砚将这套思路命名为：**校验共识**。
---
### 六、校验共识协议：验证器也要有证明链
存在性编号：VERIFY-CONS-01
名称：**校验共识协议**
VERIFY-CONS-01A：三实现校验器
* V1：联盟主实现（参考实现）
* V2：独立实现（由随机抽签的外部开发团维护）
* V3：对照实现（由另一条独立供应链维护）
三套实现必须不同语言/不同构建工具链，避免同源缺陷。
VERIFY-CONS-01B：可复现构建
* 每套实现发布二进制包必须可从公开源码在固定构建环境复现
* 复现成功输出“构建证明卡”：源码提交哈希、构建环境哈希、产物哈希
* 构建证明卡可外部一键校验
VERIFY-CONS-01C：校验一致性回执
* 任意证明卡的校验结果必须给出“三实现一致”标识
* 若不一致，输出差异报告：差异在哪个字段（commit/reveal/候选池快照/结果哈希）
* 差异报告不作最终裁定，只触发“校验器调查链”
VERIFY-CONS-01D：校验器发布抽检见证
* 延续LOT-GUARD的随机见证，但见证对象是“构建证明卡生成过程”
* 见证人不接触源码内容，只验证过程与哈希链一致性
VERIFY-CONS-01E：校验器镜像治理
* 官方入口只发布“证明卡+校验器构建证明卡”，不直接引导下载单一二进制
* 任何第三方校验器若不提供可复现构建证明，结果默认降权为“未经证明的校验输出”
这套协议的关键，是把“校验器”也纳入“零显影透明”：