レビュー指摘は到達可能性で重大度を決める
運用
理論上ありうるバグ候補は、そのまま指摘する前に、実際に不正状態を生む書き込み経路を辿って到達可能かどうかを確認してから重大度を決める。全ての書き込み経路が不正状態を作らないと確認できれば、指摘を降格するか「確認済み」として記録する。
あわせて、承認済みの意図的な逸脱(仕様上わざとそうしている近似など)は指摘ではなく「確認済み」として本文に記録し、後続レビューでの再指摘を防ぐ。
理論上の穴を列挙するのではなく、実データで本当に起きるかどうかにレビューの重大度を接地させるのが要点。AIが生成した変更をレビューする際も同じで、指摘候補ごとに到達経路の有無を確かめてから重大度を付ける。