除非满足“可复现证明”。
存在性编号:anti-proof-01
anti-proof-01a:l2/l1反例必须提供可复现链(最小复现脚本/组合事件生成器用例)
anti-proof-01b:复现必须跨簇验证(不同轮值簇复现一致)
anti-proof-01c:无法复现的反例只进入l3模式库,不进入l1/l2
anti-proof-01d:复现成本由反例口粮预算承担,避免压垮维护者
这条规则直接切断敌人把“微触发”堆成“致命反例”的路径。
你可以制造很多误读,你可以制造很多短爆发,但它们只能留下“传播模式提示”,不能变成“不可做结论”。
不可做结论必须经得起复现。
敌人靠的是情绪与疲劳。
复现靠的是结构与证据。
结构会让疲劳的刀失效。
---
###八、反例去重引擎:对抗“同义反例堆叠”
反例通胀的本质之一是重复。
江砚提出“反例去重引擎”。
存在性编号:anti-dedup-01
anti-dedup-01a:反例卡聚类后自动合并同义链
anti-dedup-01b:合并保留最强一条“可复现链”,其余作为“变体附录”
anti-dedup-01c:合并不削弱误读样本库,只削弱主索引密度
anti-dedup-01d:合并过程可审计,防止被说删反例