Part II—包括的チェックリスト
AIレビュアーの中核は、再現可能な多次元チェックリストです。
機能的正当性・論理
-
論理矛盾、境界/ 例外、エラーハンドリング、競合状態
-
意図との一致（PR説明・チケットとの整合）
-
受動的ではなく 敵対的テスト生成（ミューテーション / シンボリック実行）
保守性・可読性・複雑性
-
循環的/認知複雑度、コードスメル、命名、コメントの質
-
スタイルガイド処理を機械で扱い主観的論争を回避
アーキテクチャ適合
- SOLID 等の原則、レイヤリング、依存の方向、関心分離
実装メモ: 本リポジトリの
guides/authoring-checks.mdと接続し、チェック項目を**機械可読(例: YAML)**で宣言→CIで評価・集計できる形に寄せる。