name: t-review description: Review changed code for correctness bugs with parallel read-only finders and an independent 3-state verifier for each candidate; add specialist angles and a gap sweep for high-risk changes. Write an evidence-backed report, and apply fixes only with --fix. Quality cleanup belongs to t-simplify. Accepts a PR, branch, path, or Git revision range. argument-hint: "[<target>（可选：PR / 分支 / 路径 / revision range）] [--fix]" allowed-tools:

• Read
• Glob
• Grep
• Bash
• Write
• Edit
• Agent

metadata: version: "1.0.1"

变更代码正确性审查

t-review → 正确性 finder 并行 → 每条候选独立三态验证 → 高风险时查漏并验证新增项 → 报告（--fix 时追加修复）

运行时边界：${CLAUDE_PLUGIN_ROOT}/protocols/runtime-boundaries.md（判断脚本入口或项目事实与插件默认冲突时读）

目标

• 找出本次变更引入的正确性缺陷：逐行扫描、删除行为审计、跨文件追踪三个角度并行审查，经独立验证后输出可复核报告。
• 默认只报告不修复：缺陷修复属于 dev 职责（t-super-run 或主会话确认后执行）；传入 --fix 时在报告写入后按修复模式处置全部保留发现。
• 不做质量清理——复用/简化/效率/抽象层级属于 /t-tools:t-simplify。

使用方式

/t-tools:t-review [<target>] [--fix]

推荐位置：/t-super-run 完成实现与测试后、/t-tools:t-simplify 之前；/t-tools:t-push 提交前是最后窗口。

共享契约

角度定义、候选结构、Pass-Through、去重/三态验证和报告结构统一参考：${CLAUDE_PLUGIN_ROOT}/protocols/review-correctness-contract.md

变更收集

先读取 ${CLAUDE_PLUGIN_ROOT}/protocols/review-scope-contract.md，按默认范围或显式目标收集 diff、文件版本和项目约束；范围不可确定时停止，成功解析且为空时返回 NO_CHANGES。解析 --fix 后才解析目标；不支持的选项显式报错，不把内置 /code-review 的 effort、--comment、ultra 等选项假装执行。

执行流程

Phase 1 — 发现（finder agent 并行）

1. 按 ${CLAUDE_PLUGIN_ROOT}/protocols/subagent-dispatch.md，先 Read ${CLAUDE_PLUGIN_ROOT}/agents/review-finder.md 全文（同批次复用，见该协议的 token 优化规则）。
2. 按共享正确性契约的 Dispatch 节选定普通/高风险模式，通过 Agent tool 在同一条消息里启动选定角度的 review-finder sub agent。每个 prompt 包含：

• agent 角色规范全文（作为首段角色指令段）
• 一个角度的完整指引（从 ${CLAUDE_PLUGIN_ROOT}/protocols/review-correctness-contract.md 摘取，不重复、不遗漏）
• 变更文件清单和获取完整 diff 的命令

1. 每个 finder 按契约的候选上限和结构返回结果；记录本次选择的模式，不因希望凑够条数而编造候选。

Phase 2 — 验证与报告

1. 聚合全部候选，按契约 Dedup 规则去重。
2. 按 subagent-dispatch 协议 Read ${CLAUDE_PLUGIN_ROOT}/agents/review-verifier.md 全文；每条去重后候选新建一个 verifier，仅注入该候选、diff、相关文件版本与约束，获得 CONFIRMED / PLAUSIBLE / REFUTED。无候选时不启动 verifier。
3. 高风险模式按契约 Gap Sweep 节启动一个新的 review-finder 查漏，新增候选去重后同样逐条独立验证。保留完整 CONFIRMED 与 PLAUSIBLE 集合，按契约把报告写入 .ai/quality/review-[YYYYMMDD-HHMMSS].md；摘要展示与完整集合的持久化规则以共享契约为准。
4. 以简要总结收尾：几项确认、几项存疑、排除了多少误报；有发现时给出修复入口建议（t-super-run / 主会话修复后可重跑复核），无发现时明确"未发现正确性缺陷"。
5. 传入 --fix 时继续执行 Phase 3 — 修复。

Phase 3 — 修复（仅 --fix）

报告成功写入后，先按共享范围契约核对本地代码与受审版本，再处置完整发现集（含摘要未展示项）；Phase 1/2 与原始审查结论保持只读不变。恢复时读取同一报告的完整集合与 Fixes，核对已应用修复后从未解决项继续：

1. PLAUSIBLE 发现先按其 failure_scenario 尝试复现或确认；能确认的视同 CONFIRMED 处置，无法确认的保留为 pending 并写明确认途径。
2. CONFIRMED 发现由主会话切换到受影响端的 dev 角色边界修复：读取对应 agents/<端>-dev.md 作为当前角色边界（与 t-super-run 的主会话角色切换一致），不为此新派 subagent。
3. 会改变预期行为的修法一律跳过并标记 pending（属设计或需求问题，需用户裁决），不得通过改变需求含义消除缺陷。
4. 每条修复后立即运行覆盖所改文件的最小定向验证（编译/类型检查/相关测试）；验证失败时继续修复或回退该条并标记 pending。
5. 每处置一条就在同一报告的 ## Fixes 更新 fixed（修复说明与验证命令）、pending（原因或确认途径）；写入失败则停止后续修复并保留已应用改动。总结必须写明剩余 pending 数量。
6. 同一发现连续三次修复失败且无新证据：标记 blocked 并停止，保留失败证据。

Inline 降级

Agent tool 在当前上下文不可用时，不终止：主会话在当前上下文按已选模式的全部角度单遍依次审查，每条候选自行对照 diff 复核（无独立 verifier）；高风险模式仍追加一次查漏并自检新增项。报告要求不变，且报告和总结必须声明这是主会话 inline 审查、未经独立验证，并说明是否执行查漏。

错误处理

Forbidden

• 默认模式（未传 --fix）修复发现的缺陷，或在审查与验证（Phase 1/2）过程中修改任何代码；--fix 的修复只发生在报告写入之后。
• 用弱化断言、放宽校验、删除断言或改需求含义的方式消除发现。
• 改写、降级或代出 finder / verifier 的结论。
• 展开质量清理分析——发现清理线索只转交 t-simplify。
• finder 或 verifier sub agent 修改代码或文档。
• finder 静默过滤 failure_scenario 可命名的候选（绕过验证是漏报主因）。
• verifier 无证据 REFUTED、遗漏候选或把多条候选合并判定。
• 跳过任何审查角度，或串行分批启动本应并行的 finder。
• 把 inline 降级审查冒充多 agent 审查写入报告。

示例

/t-tools:t-review
/t-tools:t-review feat/user-management
/t-tools:t-review src/api/orders.rs
/t-tools:t-review --fix

输出：

2 项 CONFIRMED，1 项 PLAUSIBLE，已排除 2 项误报
- src/api/users.rs:42 | A | CONFIRMED | 分页参数 falsy-zero 被当缺失处理 | skip=0 时整页数据被跳过
- src/api/users.rs:118 | C | CONFIRMED | 调用方未适配新的 Result 返回 | orders.rs:31 直接解包 panic
- src/domain/order.rs:60 | B | PLAUSIBLE | 删除的余额守卫未在别处重建 | 并发扣减可能透支，需复现确认
- 已排除: src/api/users.rs:7 | A | REFUTED | 解引用前已有非空守卫（users.rs:39）
报告: .ai/quality/review-20260815-104500.md