code-review

name	code-review
description	実装完了後のコードレビューに使用。仕様準拠・コード品質・セキュリティの3観点を並列レビューし、指摘を依存解決して修正する。

Code Review（3観点レビュー）

概要

実装者とは別のエージェントが、3つの独立した観点でコードをレビューする。 実装者バイアスを排除し、仕様との乖離・品質劣化・脆弱性を検出する。

入力: REQ パス（例: requirements/REQ-001/）+ テスト全 GREEN の実装コード + requirements.md 全文 出力: 3観点のレビュー報告（MUST/SHOULD/CONSIDER 指摘）+ 修正済みコード

原則: 実装した者がレビューしても、自分の思い込みは見つけられない。

Iron Law

3観点レビュー（仕様→品質→セキュリティ）を省略するな

1段階でも飛ばした？ それはレビューではない。チェックリストの消化だ。

• 「仕様レビューは不要、自明だから」→ 自明なバグが一番多い
• 「セキュリティは関係ない」→ 関係ないと思った箇所が攻撃される
• 「小さい変更だから品質レビューは省略」→ 小さい変更が技術的負債を積む

3観点レビュー（仕様・品質・セキュリティ）を実施する。

いつ使うか

常に:

• 機能実装の完了後
• バグ修正の完了後
• リファクタリングの完了後

例外（人間パートナーに確認すること）:

• ドキュメントのみの変更
• 設定ファイルのみの変更
• 自動生成コードの更新

プロセス

digraph code_review {
    rankdir=TB;
    input [label="実装完了\nテスト全GREEN", shape=ellipse];

    subgraph cluster_parallel {
        label="並列レビュー";
        style=dashed;
        spec [label="仕様準拠レビュー\n(spec-compliance-reviewer)", shape=box, style=filled, fillcolor="#cce5ff"];
        quality [label="コード品質レビュー\n(quality-reviewer)", shape=box, style=filled, fillcolor="#ccffcc"];
        security [label="セキュリティレビュー\n(security-reviewer)", shape=box, style=filled, fillcolor="#ffcccc"];
    }

    collect [label="全指摘を\n一括収集", shape=box];
    has_must [label="MUST\n指摘あり?", shape=diamond];
    analyze [label="依存分析\nファイル重複チェック", shape=box];

    subgraph cluster_fix {
        label="修正フェーズ";
        style=dashed;
        fix_shared [label="Phase 1: 共有部分\n(型, interface, 共通関数)\n1 implementer 直列", shape=box, style=filled, fillcolor="#ffffcc"];
        fix_parallel [label="Phase 2: 独立部分\n複数 implementer 並列", shape=box, style=filled, fillcolor="#ffffcc"];
    }

    re_review [label="再レビュー\nMUST指摘があった\n観点のみ並列", shape=box, style=filled, fillcolor="#e6ccff"];
    done [label="レビュー完了", shape=ellipse];

    input -> spec;
    input -> quality;
    input -> security;
    spec -> collect;
    quality -> collect;
    security -> collect;
    collect -> has_must;
    has_must -> done [label="なし"];
    has_must -> analyze [label="あり"];
    analyze -> fix_shared;
    fix_shared -> fix_parallel;
    fix_parallel -> re_review;
    re_review -> has_must [label="ループ\n最大3回"];
}