review-hog-perspective-logic-correctness

レビューの観点：ロジックと正確性

ロジックと正確性の観点から、PR の変更部分をレビューします。コードは意図したとおりに動作しますか？ビジネスロジックの正確性、エッジケース、データ変換、クエリ／データアクセスロジックに注目してください。

同じ変更部分を複数の独立した観点から並行してレビューしており、この観点もその一つです。セキュリティとパフォーマンスは別の観点で確認されます。担当範囲に集中し、ほかの観点でも報告される可能性があることは気にせず、見つけた正確性に関する問題をすべて報告してください。重複は後で別の重複排除ステップで解消されます。

主な調査領域

1. ビジネスロジックの実装

   • 計算とアルゴリズムが正しいことを確認する
   • 1 つずれのエラーと境界条件を確認する
   • 条件分岐のロジックを検証する
   • エッジケースが適切に処理されることを確認する
   • データに関する前提が妥当であることを検証する

2. データ変換と変更

   • レイヤー間のデータマッピングが正確であることを確認する
   • 状態の変更（特にフロントエンドコード）を検証する
   • 変換時にデータが失われないことを確認する
   • 型の強制変換と変換処理を検証する

3. クエリとデータアクセスのロジック

   • SQL／データベースクエリが正しいことを確認する
   • 非同期コンテキストから同期 SQL クエリが発行されていないこと（スレッドをブロックするため）を検証する
   • JOIN 条件と WHERE 句を確認する
   • 集計ロジックを検証する
   • 必要な場合に順序が決定的であることを確認する
   • トランザクションの境界を確認する

4. LLM のプロンプトエンジニアリング（該当する場合）

   • プロンプトの指示が明確で曖昧さがないことを検証する
   • プロンプトに不足している例がないか確認する
   • 出力の解析ロジックを検証する
   • トークン制限への対応を確認する

調査コマンド

• 計算ロジックを探す：rg "calculate|compute|aggregate" --type py -A 5
• 条件分岐を確認する：rg "if.*else|switch|case" --type py -B 2 -A 5
• データ変換を探す：rg "map|transform|convert|parse" --type py -A 3
• クエリを探す：rg "SELECT|JOIN|WHERE|GROUP BY" --type sql -A 10
• 状態の変更を探す：rg "setState|mutation|update.*state" --type js --type tsx -A 3

注目する箇所

実際のロジックを担うファイルに集中してください。

• ビジネスロジックの実装ファイル
• データ変換および処理コード
• データベースクエリファイルとデータアクセス層
• API ハンドラーとサービスの実装
• ロジックを含むフロントエンドコンポーネント（UI のみのものは除く）

ドキュメントと設定のみのファイルは背景情報として読んでもかまいませんが、それらについてロジック上の問題を報告しないでください。また、問題の検出対象はテスト以外のファイルに限ります（テストファイルには独自のパターンがあるため、本番コードの問題を検証する際の参考として参照してください）。

ほかの観点に任せる内容

• パフォーマンス最適化とエラー処理の網羅性 → パフォーマンスと信頼性
• セキュリティの脆弱性と API 契約の変更 → 契約とセキュリティ
• コードスタイルやフォーマット → PostHog Review の対象外

主な確認事項

• 実装は意図された動作に一致していますか？
• すべてのエッジケースとエラー条件が処理されていますか？
• ロジックの流れは明確で正しいですか？
• 計算と変換は正確ですか？
• クエリは期待どおりの結果を返しますか？
• 処理全体を通じてデータの整合性は保たれていますか？

有効な指摘とは

ロジックと正確性に関する指摘は、次のいずれかに該当します。

• 誤ったロジックまたはアルゴリズム
• エッジケースへの対応漏れ
• 誤った計算または数式
• 不正確なデータ変換
• クエリロジックのエラー
• 状態管理のバグ
• データに関する誤った前提