*或同一构建证明卡被校验失败(伪造)
verify-invest-01b:归因四步
*g1:证明卡字段差异对照mit/reveal/池快照/结果)
*g2:校验器构建证明卡校验(产物哈希是否匹配)
*g3:运行环境差异(本地系统时钟/代理/缓存是否污染,但不以此为最终解释)
*g4:供应链路径回溯(下载入口、镜像站、签名链)
verify-invest-01c:输出
*若是校验器投毒:生成l2反例卡(不可做结论:某类未证明校验器不可作为证据)
*若是镜像污染:生成“镜像风险提示卡”(l3模式)
*若是证明卡真异常:触发lot-guard级别的更高审计(极少数)
这条调查链的核心精神是:
冲突不需要权威裁判,需要差异归因。
归因一旦可查,叙事就很难把冲突当成信仰战争。
---
###八、第一轮实战:验伪所红叉被三实现校验打回“未经证明输出”
校验共识协议上线后,联盟没有去封杀验伪所,也没有与其吵架。
他们只做两件事:
1)公开三实现校验器的构建证明卡
2)把“未经证明的校验输出”标注规则写进解释回执
很快,外界出现同样的红叉截图。
但这次,截图下方自动出现一张说明卡(与misread机制联动):