独立レビュー指示書テンプレート¶
ハーネスv6とv7 §3-1に従い、山括弧の欄を具体化して投入する。
対象と制約¶
- PR / 対象head / 比較元: 〈番号・SHA〉。差分: 〈git diffの範囲〉。
- 作業場所: 〈review用worktree〉。未コミット変更があれば触らず報告。準備コマンド: 〈指定〉。
- 指示書 / 報告書 / 前回verdict / 一次資料: 〈実在パスとURL・必要なら取得時のSHA-256〉。
- 読む分冊(AGENTS.md 本体の分冊索引から触るパスに合う
docs/invariants/….mdを列挙。該当なしは「該当なし」): 〈分冊パス, …〉。 - memory(v7 §3-1): 検索語 〈語, …〉/参照 〈memory 名, …〉 または 該当なし。
- 製品コードは修正しない。bd操作・commit・pushはしない。秘密値を記録しない。
確認事項¶
- 不変条件: 〈契約と期待値〉を実コード・一次資料へ照合する。
- fail-closed: 〈拒否・保留の分岐〉と正常系を独立に確認する。
- 分岐と裁定: [実測] / [仕様]の根拠を照合し、[仮説]を必ず検証する。〈仮説ごとの検証方法〉。
- 指示書自体の事実誤認も所見にしてよい。 コーディネーターの前提と実物の不一致も同じ重みで記録する。
- 歯の独立再現: 実装者のハーネスを信用せず、最低1ケースを自分で組む。同じ期待値で正常版の緑と変異版の赤を確認する。 実測コマンド・RC・検査名と復元後の緑を記録し、コピーで変異するか必ず復元して差分を確認する。
- 実装者の変異表(最低3本)と未検査の象限を照合し、非現実的なモックや期待値の緩和を点検する。
- 契約ごとの正常系 / 異常系 / 境界の欠落、未回答で裁定した分岐、業務フロー変更時の9ステップとS1の各assertを確認する。
ゲート¶
- 自分で
pnpm verifyを実行(install / lint / arch / typecheck / test / build / semgrep / gitleaksを省略しない)。 - 〈追加テスト / docs build / migration変更時のdocker proof全流し(全psql exit 0・[NG]=0)/ 業務フロー変更時のS1〉。
gh pr checks <PR番号>を対象headと照合し、未達は未達と書く。コード所見とCI阻害を区別する。
出力と質問¶
- verdict: 〈指定パス〉。P1/P2等の所見、file:line、独立実測コマンド・RC、復元確認、未検証事項を記録する。
- 評価した版とログ: 〈対象版・評価ログの所在・未解決所見〉。
- 最終行は
VERDICT: APPROVEまたはVERDICT: BLOCK。指定ゲート未達は承認しない。 - 質問はworker_doneより前にpreambleの
askで送り回答を待つ。timeout / 切断は同じIDのask --resume。 - 回答未着を承認とせず、判断必須の箇所は保留する。既存制約へ寄せて裁定した場合は根拠と未回答事項を残す。
- verdictを書き、直前のfollow-upをcheckしてから、preambleのworker_doneを1回だけ送る。終了後はidle。