---
name: quality-adversarial-challenge
description: 通过构造可证伪质询和可复现反例，对高风险设计、实现、验证和准入声明进行压力测试。常规评审后发现高影响面、安全或生命周期风险、跨规格歧义、负向路径覆盖薄弱，或高置信通过结论需要独立质询时使用。
metadata:
  version: 1.1.17
---

# 对抗质询

> **领导速读：** 用独立失败假设挑战高风险通过结论，降低普通评审遗漏边界问题的风险。

## 一、管理视角

- **何时使用：** 高影响、安全、生命周期、跨规格或负向路径风险需要独立质询时。
- **主要输入：** 冻结候选版本、声明、证据、策略和残余风险。
- **主要输出：** 质询账本、可复现实验、反例和阻断结论。
- **职责边界：** 不攻击个人、不修改代码、不把推测当反例。

## 二、执行方法

质询声明，不针对个人；全程保持只读。

### 执行流程

1. 读取冻结 `Candidate`、适用 `Policy`、当前 `GateRun` 及有证据支撑的 `Claim` 对象。
2. 只从项目画像、影响分析、语义冲突、变化边界和残余风险中选择高价值攻击面。
3. 将每项质询写成可证伪条件：目标声明、攻击前提、最小实验、预期观察和否定该假设的观察。
4. 优先覆盖边界值、非法顺序、陈旧状态、并发、局部失败、回滚、权威冲突和证据/候选哈希不一致。
5. 使用准确输入、命令、环境、观察输出和候选版本身份复现成功攻击。
6. 记录由 `CHALLENGES` 关联的 `Challenge`；仅对可复现结果记录由 `REFUTES` 关联的 `Counterexample`，不得把推测伪造成反例。
7. 只有当前证据在同一候选版本上解决相同前提时，才能关闭质询。

### 选择规则

不固定启动对抗团队。选择能够覆盖实质不同失败假设的最小独立质询集合；新增质询重复既有前提或无法合理影响门禁决定时停止。

### 输出

输出质询账本，包含标识、目标声明、前提、实验、结果、证据和生命周期。任何未解决的实质质询都会阻断 `PASS`；未发现反例不等于证明正确。