senior-review

Senior Review — 双人独立高级复核

派两名独立复核子代理:Reviewer A 判改动纪律与可维护性,Reviewer B 判影响半径、边缘情况与回归安全。主循环综合两份报告,不得削弱任何一方的 verdict。本 skill 与语言/框架/仓库宿主无关;它不替代项目已有的功能、安全、领域或发布门禁。

---

0 · Claude Code 执行机制(先读这节,否则这个 skill 跑不起来)

1. 派发方式=Agent 工具,不是让主循环自己扮演两个角色。
2. 两个 Agent 调用必须写在同一条消息里——同消息内的多个工具调用才会真并发;分两轮发就退化成串行,还平白多一次上下文污染的机会。
3. 两名 reviewer 一律 model: opus(Opus 5)+ effort: high,这是默认档,不是可选项。
   • 派发时必须显式写出 model 与 effort,禁止省略让子代理静默继承主循环模型。
   • 依据:owner 20260726 裁决——"对抗复核可以用 opus 5(high),但是你永远是最终验收和决策,opus 5 是可以的,4.8 不可以"。Opus 4.8 明令禁用。
   • 降档只有一种合法情形:owner 当场明示。省 token 不构成降档理由——复核是这套流程唯一的质量闸门,降档等于关闸。
   • 终审与最终决策永远在主循环,不随模型下放(见 §0.6)。
4. 只读靠 prompt 硬约束:Agent 派出的子代理默认拥有写工具。派发时必须在 prompt 里写死:"你是只读复核员,禁止 Edit/Write 任何产品源码或测试;可以跑非破坏性测试、读历史、读消费方、读 schema/配置/产物/运行时证据;findings 直接写在你的最终回复里(或只写到调用方指定的那一个 review 产物文件)。"
5. 结果走完成通知回来。禁止用 Bash/Read 去读子代理的 output JSONL transcript——那是完整对话流,读一次就可能撑爆主循环上下文。等通知,或用 SendMessage 追问。
6. 主循环永远是终裁。两份 verdict 是证据,不是合流/部署/发布的授权。项目与 owner 的既有权限规则始终有效。
7. compact/resume 之后:不要基于摘要续审。从原始复核包和不可变 target 重建;必要时先落一份 checkpoint 再压缩。

---

1 · 不可协商规则

1. 派发前先读:用户请求、验收标准、仓库/工单说明、精确 review target、完整变更集、相关测试。
2. 两名 reviewer 拿到完全相同的原始素材和同一个 target。不得泄露作者的自辩理由、另一名 reviewer 的发现、或你期望的 verdict。
3. 必须是两个不同的子代理。并发不可用时可排队串行,绝不允许一个 reviewer 扮两个人格。
4. 两名 reviewer 对产品源码与外部状态只读(见 §0.4)。
5. 每名 reviewer 在出 verdict 之前必须重读任务与精确变更清单。compact/中断/交接之后,从原始包重建,不从早前摘要重建。
6. 不接受作者自审、worker 自证、测试全绿、或"没看到明显失败"作为通过依据。
7. 任何 AMEND/REJECT/INSUFFICIENT_EVIDENCE 都阻断接受。禁止把冲突 verdict 平均成 PASS。
8. 实验规模匹配真实风险。不得为凑清单制造无关检查;判定某类别"排除"必须给具体证据。
9. 两份 verdict 都只是复核证据,不构成合流、部署、发布或改动外部系统的授权。
10. 给复核过程本身设界:每条阻断性发现必须点名"违反了哪条现行不变量"+"最小修正是什么"。不得把一个缺陷变成开放式重设计、不得递归审计无关邻居、不得在没有可测量证据进展的情况下维持 AMEND 循环。
11. 命令、等待、重试、轮询、压力测试、外部依赖一律要有超时与停止条件。复核员不得为了找产品级 hang 而制造进程级 hang。

---

2 · 复核包(packet)——两名 reviewer 拿到的是同一份

• 用户可见的问题与预期行为(说人话一句);
• 验收标准 + 明确的非目标;
• 仓库/任务卡约束;
• 精确 target 身份:Git base/head 与祖先关系;非 Git 时给不可变前后快照、patch 身份、产物哈希,或显式的未提交 diff 边界;
• 完整变更清单与变更集(能给文件列表与 diff 统计就给);
• 相关测试、迁移、生成文件、lockfile、配置、API/schema 变更;
• 可得时给"修复前可复现失败 / 修复后成功"的证据;
• 已知基线失败、源码树状态、明确排除在复核外的文件或产物。