$codex-security:propose-security-hardening を使うと、セキュリティに関する証拠をもとに、システムの構造やアーキテクチャを見直す強化策を検討できます。このワークフローでは、完了した Codex Security スキャンの結果を分析できます。指摘事項、脆弱性の開示レポート、インシデントの振り返り、評価文書、ソースコードを渡して分析を始めることもできます。
分析結果では、設計案とそれぞれの技術的なトレードオフを比較します。Codex がリポジトリを変更するのは、ユーザーが案を選び、その実装を依頼した場合に限ります。
根拠資料の準備
ワークフローに次の情報を渡します。
- スキャンディレクトリ、または指摘事項とレポートをまとめたもの
- 対象のソースツリーと、入手できる場合はそのリビジョンまたはスナップショット
- 指摘事項を裏付ける PoC、トレース、インシデントの証拠、評価資料
- 性能、メモリ、互換性、信頼性、運用、納期、変更範囲に関する制約
たとえば、認可の不具合が繰り返し発生している場合、各ハンドラーで個別にチェックするよりも、共通の仕組みで認可を徹底するほうが容易だと考えられます。一方で、証拠を検討した結果、アーキテクチャを変更せず、局所的な修正にとどめる判断が妥当な場合もあります。
ワークフローの実行
次のようなプロンプトを送信します。
$codex-security:propose-security-hardening を使って、[scan directory or finding paths] の内容を [source tree and revision] と照らし合わせて分析してください。証拠に基づいて、システムの構造を見直す強化策を複数提案してください。各案の技術的なトレードオフを説明し、変更前後の構造を示す図、移行計画、実装担当者向けの引き継ぎ資料を含めてください。リポジトリは変更しないでください。強化策の選択
案を選ぶ前に、提案が次の条件を満たしているか確認してください。
- 各変更案について、根拠となる指摘事項、ソースコード、脅威モデル上の証拠が示されている
- 現行の設計と、新しい設計でも維持すべきセキュリティ上の不変条件が説明されている
- 異なる案を、残存リスク、性能、信頼性、運用、互換性、移行コストの観点から比較している
- 推奨案の根拠を示し、前提条件と未解決の問いを明記している
- 展開、検証、ロールバック、実装の進め方が示されている
- 観察した事実、そこからの推論、提案する設計が備えるべき性質が区別されている
根拠とトレードオフを確認してから案を選んでください。アーキテクチャ図や設計の推奨案があっても、元の指摘事項の妥当性と、実装した修正の有効性は検証する必要があります。
スキャン結果に基づく強化策の活用
標準スキャン、詳細スキャン、変更箇所のスキャンで報告対象の指摘事項が見つかった場合は、強化策をまとめたポートフォリオの作成を依頼できます。Codex は、ポートフォリオを hardening/hardening.md に、構造化した分析結果を hardening/hardening.json に書き込み、関連する提案や図を hardening/ 配下に保存します。スキャンで生成される report.md には、ポートフォリオへのリンクが含まれます。
リンクを引き続き使えるよう、スキャンディレクトリは構成を保ったまま保存してください。ポートフォリオの根拠となる個別のレポートを確認するには、脆弱性レポートの作成を参照してください。