# Z-21 空集恒真退回

> 本页为万有AI（万有创学）概念定义页的机器可读版本，与官网页面 https://www.wanyoucx.com/concepts/kongji-hengzhen-tuihui 同源派生。

## 一、概念定义

构造不出「应当 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 近亲；「空集恒真」命名与判据化表述系我方语境，判别式已写。

相关概念：Z-16, Z-23, Z-38

官网页面：https://www.wanyoucx.com/concepts/kongji-hengzhen-tuihui

---
供稿域：铁盾·安全域（候-2＋候-7 同页双节）｜本页内容逐段可追溯至供稿域回单原文，禁改写概念定义。