check-impl-against-spec

仕様との実装の照合

PR のレビュー中に spec_context.md が存在する場合にのみ、このスキルを使用してください。

目的

チェックアウト済みの PR の実装が、承認済みの仕様コンテキストに実質的に合致しているかを判断します。これは通常のコードレビューを補足するものであり、独立した出力ではありません。

入力

• spec_context.md には、照合対象となる仕様コンテキストが記載されています。製品仕様の内容（意図された動作、受け入れ基準）と技術仕様の内容（実装の詳細、変更対象ファイル）の両方が含まれる場合があります。
• pr_diff.txt には、PR の注釈付き差分が記載されています。
• pr_description.md に、追加のスコープや理由が記載されている場合があります。
• 作業ツリーには、PR ブランチの内容が含まれています。

手順

1. spec_context.md を読み、具体的な要件を抽出します。
   • 必須の動作（製品仕様より）
   • 変更が必須のファイルまたはサブシステム（技術仕様より）
   • 明記された制約
   • 必須の後続手順、検証、または移行
2. それらの要件を、pr_diff.txt とチェックアウト済みのファイルにある実際の実装と照合します。
3. 仕様の意図が保たれている場合は、実装レベルの小さな調整を許容します。害のない命名、構造、低レベルの手法の違いを指摘しないでください。
4. 重大な不一致がある場合にのみ指摘します。たとえば、次のようなケースです。
   • 製品仕様で必須とされる動作が欠けている
   • 実装が仕様上の決定に反している
   • 変更によって、計画にない大幅なスコープが追加されている
   • 技術仕様で必須とされる検証、移行、または互換性の対応が欠けている

出力

• 別途レポートファイルを作成しないでください。
• 仕様との整合性に関する指摘は review.json にまとめてください。
• 広範な仕様逸脱に関する懸念は、レビューの概要に記載してください。
• 不一致が差分の変更行に結び付けられる場合にのみ、インラインコメントを追加してください。
• 重大な仕様逸脱は、少なくとも重要な懸念事項として扱ってください。
• 実装が仕様に十分近い場合、整合性に言及するためだけのコメントは追加しないでください。

制約

• PR が同じ結果を安全に実現している場合、仕様と実装を文字どおり一対一で一致させることを求めないでください。
• spec_context.md に実際に記載されていない仕様について推測しないでください。
• GitHub に直接投稿しないでください。