adversarial-reviewlisted
Install: claude install-skill BackToCimaCoppi/Praxis
# 对抗评审
## 0. 硬边界
1. 同一 `review_id + object_hash + truth_baseline_hash` 只开放一次,不自动开 R2/R3。对象或正式真值根本变化才可登记新身份。
2. 每个实际选择的评审者都在授权项目根内独立只读调查,使用同一冻结对象与基线,不读其他人的结果。
3. 当前主线程合并、核证和逐条裁决;评审者不代替用户选择新业务语义,不另设裁判模型。
4. 评审报告是过程证据,正式 L1–L7 和授权裁决才是规格真值。
5. 所有模型与运行参数禁用 Fast;不使用 Auto 或不明模型作为实际身份。
## 1. 触发时的桥接与模型选择
每次触发都从本 skill 目录运行 `python3 scripts/discover_bridges.py`。脚本仅报告三个 CLI 是否安装、是否登录、当前账户可见的模型 ID/名称和失败原因;不得把本机上一次的模型列表当作下一个用户的可用列表。读取脚本 JSON 后:
1. 对不可用桥接明确说明未安装、未登录或查询失败;其他可用桥接照常提供。
2. 按桥接展示模型标识和名称。可先筛出名称或描述中显示高推理能力的几个候选,提供完整清单的查询路径;候选筛选不能伪装成账户限制,也不能写死具体型号。
3. 请用户选择**至少一个**“桥接 + 模型标识”;Codex 另选该模型实际支持的推理档。允许同一桥接选多个模型。若只有一个可用或用户只选一个,照样执行独立评审并给单模型发现报告;不得假造“对抗双方”、共识或排名。
4. 用户选择后再次核对所选 ID 仍在本轮实时清单里。缺失、认证过期或模型已下架时告知用户并重选,禁止自行替换。
5. 未收到选择时不启动评审。仅在用户已经提供本轮精确桥接/模型且核验通过时,直接继续。
发现脚本不输出账号、令牌或认证缓存。模型清单只证明可见,实际调用失败时按 §8 处理。
## 2. 总体流程
~~~text
实时探测三个桥接 → 用户选择一个或多个桥接/模型 → 冻结评审身份与证据包
→ 所有已选模型同时独立只读评审 → 当前主线程合并与逐条裁决
→ 需要业务选择时请授权角色逐项裁决 → 多模型才点评排名
→ 按采纳项整改 → closed-remediation-review 固定范围验收 → PASS
~~~
## 3. 证据包
复杂场景同时读取 references/证据包制作规范.md;本节是强制最小集。
### 3.1 冻结内容
- review_id / object_hash / truth_baseline_hash。
- 评审对象:短小、临时或评审通道不可直接访问时内嵌全文;同一工作区内的大对象给绝对路径、哈希和精确范围,禁止摘要替代。
- 正式真值基线:适用的 L1–L7、冻结规格、工程红线和任务边界。
- 已决策·不得重开区:每项必须引用正式规格或 DEC-x;没有证据不得放入。
- 本次口径卡:设计、测试用例、章程或代码评审口径。
- 授权项目根 `REVIEW_ROOT`:默认解析为被评审对象所在 Git 工作树根;非 Git 项目才用用户明确授权的项目根。不得为了少给上下文而降成对象目录。
- 起始导航,以及明确的禁止读取项、禁止动作、输出格式和严重度预算。
**钉对象,不钉视野;读得宽,评得窄**:全部已选评审者必须评同一对象、同一真值基线和同一口径,但必须各自在 `REVIEW_ROOT` 内做独立勘察。证据包是冻结核心与调查种子,不是穷举白名单;各方实际发现路径可以不同