x-qa-gate

verify 后续质量审查

路由

verify exit 0 后进入质量审查。读取 task dev-checklist.md 头部的 risk:：

• Q0和Q1 risk串行检查 ：三个 reviewer agent 并行完成 q1-intent、q2-correctness、q3-evidence。

三类审查

q1-intent

检查实现是否对齐用户意图、已确认需求、验收 Scenario、既有公开契约和声明的改动范围。

q2-correctness

检查非法输入、边界条件、失败路径、状态转换、缓存、并发、幂等性和资源清理是否正确。

q3-evidence

检查测试和 verify 证据是否真实触达改动路径，断言是否独立于实现，mock 是否保留真实契约，证据是否能击穿错误实现。

事实源

1. 用户原始请求、已确认 spec、既有公开契约。
2. 真实调用方、schema/数据约束、改动前测试契约。
3. spec2 的 Requirement/Scenario、系统不变量、modules/design；或 spec3 的目标、影响边界与不变量、判断依据、建模覆盖和直接 Scenarios。
4. dev-report verify 块、verify JSON 或失败报告、当前 diff。

输入裁剪

Reviewer	必读输入
综合 reviewer	diff + task 引用的 Scenario + 相关边界/不变量 + dev-report + 测试文件
q1-intent	diff + 目标/Requirement + task 引用的 Scenario
q2-correctness	diff + 影响边界、不变量、建模覆盖及相关 modules/design
q3-evidence	diff + dev-report verify 块 + 测试文件

主 agent 提供文件路径、节名、git diff --stat、git diff --name-only 和按需 diff 命令。reviewer 按需读取源代码与测试文件。

Review 纪律

• 每个 reviewer 独立、只读，只返回 review 回执；x-fix 负责改动。
• 每轮穷尽检查范围后一次返回全部问题候选，并声明“已检查范围内无其他 P0/P1”。
• 每条候选固定提供 task、severity、loc、msg；task 可为 T2,T3，severity 为 P0/P1/P2，loc 为 file:line，msg 为单条问题描述。
• reviewer 省略 issue ID。主 agent 调用 flag 后使用其 JSON issue 字段建立编号映射。
• P0 需要位置与可复现依据；证据不完整时降级。P0 或未处置 P1 使本轮 fail；P2 登记且保持非阻塞。

issue 登记

主 agent 按 reviewer 返回顺序逐条执行：

python3 tools/xdev.py flag <task-dir> --task T2,T3 --severity P0 \
    --loc src/a.py:10 --msg "空输入未处理" [--new-round] --json

1. 本轮第一条候选添加 --new-round；后续候选追加到同一 ledger。
2. 保存 JSON 返回的 issue、downgraded、report、recovered，把 issue ID 回填到交给 x-fix 的问题映射。
3. recovered:true 表示命令完成了上一笔 pending 事务；主 agent 使用原参数再次调用，完成本条候选登记。
4. flag 是 issue ledger 与 P0/P1 checklist 降级的唯一写入口。reviewer、子 agent 与 x-fix 保持这两处原样。
5. 本轮无问题时省略 ledger 创建，直接输出通过回执。

回流

本轮存在 P0/P1 时，主 agent 把带 issue-<n> 的完整问题映射交给 x-fix 批量修复。修复后复审对应 issue 与 fix diff；fix 扩大到新文件时纳入新文件，公开 API 签名变化时重做相关意图和契约对照。reports/.fix-counter 记录 verify 与质量审查共享的批量修复轮数，保留三轮上限；质量审查最终通过后写回 0。