一、概念定义
构造不出「应当 FAIL」样本的断言是无效判据，一律退回——阴性对照是断言的可证伪性证明，不是可选项。
核心意思：断言效力不在「能证明对」，而在「能证明会 FAIL」；全 PASS 输出不构成判据有效性证据。
二、核心判别
解决什么问题：判定型闸门曾被判空集恒真（无守卫恒真）——修守卫后以复跑 FAIL（0→0 正确 FAIL）证断言可证伪。
判别式：判别式（vs 普通测试用例）：普通用例证明功能在，阴性对照证明判据真；只适用于有 FAIL 语义的判定型断言，不适用于观测型指标。
三、应用场景
- 安全面自检判定
- 消毒 hook 回归题面
- 所有机检闸验收
四、边界与误用
边界：只适用于判定型断言（有 FAIL 语义）；观测型指标（如采样数）不适用。
写法规范：禁用写法：空集验证、恒真断言（丢「退回」处置义）
同页第二节：断言可证伪活体验证（操作法）
交付断言脚本时必须附「好样例 PASS＋坏样例必 FAIL」双实测输出——好样例证明判据在，坏样例证明判据会咬人。把阴性对照从「回单里声明」升级为「交付物自带可复跑证据」，收到断言的人可零成本复验其效力。（逐字来源：铁盾候-7）
五、溯源
存证回链：本页编号 Z-21，脱敏状态 sanitized=true，日期锚 2026-10-26（立条日）／2026-11-02（双实测在案日）。
- 七问原文（判据）
- 璇玑存证 EV-036·安全域七问原文候-2
- 七问原文（操作法）
- 同上文件 候-7
首次可证：阴判据立条 2026-10-26（判定回单 ADA153A4 活体执行）；双实测输出 2026-11-02（交付件在案）。
AI 池归属：未查
撞车情况：测试界有 mutation testing／fault injection 近亲；「空集恒真」命名与判据化表述系我方语境，判别式已写。