この変更履歴で、Codex Security プラグインの変更点を確認できます。
最新のプラグインバージョン: 0.1.24。
新しいリリースの機能を使う前に、現在の Codex 環境のプラグインバージョンを確認してください。
変更履歴は、パッケージのバージョンではなく、プラグインのバージョンに基づいています。
CLI と SDK のユーザーは、npx @openai/codex-security info --json を実行すると、
パッケージと同梱プラグインのバージョンをまとめて確認できます。
0.1.24(2026 年 9 月 9 日)
プラグインからの Daybreak アクセス確認
- ChatGPT でサインインしたデスクトップと CLI のセッションでは、別途 Codex Security Access アプリを接続しなくても、スキャン前に Daybreak へのアクセスを確認できます。
- アクセスが許可されていない場合は登録リンクを、アクセスを確認できない場合は警告を表示します。API キーのみを使用するセッションでは、アカウントのアクセス権を確認できません。
- アクセスできない場合や確認に失敗した場合も、通知の後にスキャンを続行します。この通知はアクセスを許可するものではなく、スキャンの実行可否を制御するものでもありません。
リクエストに応じたセキュリティ修正の検証
- セキュリティ修正の検証を明示的にリクエストした場合にのみ、
$codex-security:verify-fixを実行します。 - 通常の修正実装、コードレビュー、テストのリクエストでは、検証結果の形式に自動で切り替えず、既存のワークフローを維持します。
0.1.23(2026 年 9 月 8 日)
提案されたパッチのリスク評価
$codex-security:assess-patch-riskを使用して、 正確なリビジョンとソースコード上の根拠に照らして、提案された変更をレビューできます。- リグレッション対策とは別に、影響、発生可能性、復旧の難しさを評価し、推奨判断に影響する根拠の不足を特定します。
- マージ、修正、変更しないという選択肢について、参考となる推奨判断を受け取れます。この評価はコードをマージするものではなく、リポジトリの承認ルールに代わるものでもありません。
失敗したスキャンに残された結果の復元
- リクエストに応じて、選択した失敗スキャンから、保存済みの有効な検出事項を復元できます。スキャンを繰り返す必要はありません。
- 失敗したすべてのスキャンを自動で復元することなく、保存済みのスキャンや検出事項を閲覧できます。復元しても失敗という実行結果は維持されます。実行中、完了済み、キャンセル済みのスキャンには復元を利用できません。
- ワーカーが候補の識別子を再利用しても、異なる検出事項を別々に保持し、復元時には有効な根拠と根本原因の詳細を維持します。
スキャンのセットアップとレポートの明確化
- 標準スキャンと変更スキャンで、個々の準備状況チェックと、実行を妨げる問題や警告の詳細を確認できます。
- セットアップの問題への対処方法を検討している間も、スキャンを続行できる状態を維持します。対話型セッションで永続的な設定変更を行う場合は、引き続きユーザーの承認が必要です。
- ディープスキャンのレポートで、対象に含めるパスと除外するパスの設定を確認できます。
- コンテキストの更新を選択したスキャンに限定し、保存済みのワークスペースのデフォルト設定を置き換えません。
起動と GitHub トリアージの改善
- プラグインのツールサーバーの起動を最大 2 分間待機し、OpenAI API キー認証をディープスキャンのワーカーに引き継ぎます。
- トリアージ用に検出事項をインポートする際は、明示的に選択された GitHub コネクタを使用し、別の接続やアカウントに切り替える前に確認を求めます。
0.1.22(2026 年 8 月 25 日)
既存のセキュリティ修正の検証
$codex-security:verify-fixを使用して、リポジトリのファイルや課題管理システムを変更せずに、 既存のパッチによって報告済みのセキュリティ検出事項が 解決されるかを確認できます。- 各検出事項について、
fixed、still_vulnerable、またはinconclusiveの結果を、 裏付けとなる根拠や検証の限界とともに受け取れます。 - 検出事項の修正ワークフローに、パッチ適用前の調査と適用後のレビューを追加します。
スキャン停止時の検出事項の保持
- ディープスキャンのワーカーの進行に合わせて、検出事項と保留中の候補を保存します。
- 後続の結果統合で検出事項が抜け落ちたり、統合に失敗したりしても、ワーカーから受け入れた検出事項を結果に残します。
- 失敗、キャンセル、中断したスキャンから有効な結果を保持しつつ、成功していないという実行結果とカバレッジの不完全さも維持します。
- 指定されたスキャンプロンプトをディープスキャンのワーカーに引き継ぎ、親セッションのファイルシステムアクセス拒否ルールのうち、サポート対象のものを維持します。
Windows とファイルシステムの互換性向上
- スキャン履歴で同等の Windows パスを一致するものとして扱い、Windows のシステム構成を所定の場所から読み込みます。
- Windows で曖昧に解釈されるスキャン成果物のパスをブロックします。
- ハードリンクをサポートしていないファイルシステムでも、スキャン結果を保存できます。
- Python 3.10 で、UTC のスキャンタイムスタンプを一貫して読み取ります。
0.1.21(2026 年 8 月 21 日)
プラグインのインストールと起動の信頼性向上
- オプションの Codex Security Access アプリなしでプラグインをインストールできます。ホスト環境でのアクセス確認は、引き続き参考情報の提供にとどまります。
- パッケージ化された実行ファイルを直接実行できない Windows 環境を含め、プラグインの起動には Codex に同梱された Node.js ランタイムを使用します。
- Windows で Git メタデータを UTF-8 として読み取ります。
検出事項の詳細の保持と SARIF エクスポートの改善
- 保存済みの検出事項、レポート、セキュリティワークベンチの間で、検証、攻撃経路の根拠、根本原因の詳細の一貫性を保ちます。
- 検出事項の識別情報、フィンガープリント、ソースコード内の位置を保持しながら、GitHub コードスキャン向けに、読みやすいルール名、修正ガイダンス、CWE タグ、セキュリティ上の重大度をエクスポートします。
0.1.20(2026 年 8 月 17 日)
独立した完全な監査としてのディープスキャン実行
- ディープスキャンの各ワーカーが、脅威モデリング、検証、攻撃経路分析、カバレッジ報告を含め、標準スキャンと同じ監査プロセスを最初から最後まで実行します。
- 設定された制限時間、部分的なカバレッジ、再起動時の復旧、キャンセルへの対応を維持しながら、完了したワーカーのレポートを 1 つのスキャンに統合します。
- デフォルトで 4 つのワーカーを並行実行し、
完了したスキャンで 4 回連続して新たな検出事項が追加されなければ停止します。ディープスキャン 1 回あたりのワーカー実行回数は 40 回までです。
既存の
workers = "auto"設定では、ワーカー数が 4 つになります。 ディープスキャンのランタイム設定を参照してください。 - ソースコードのレビューを終えた後に最終ドラフトを失ったワーカーは、監査全体をやり直すことなく再開できます。
ホスト環境でのスキャン前の Trusted Access for Cyber 確認
- Codex Security Access アプリを利用できる Codex ホストでは、標準スキャン、変更スキャン、ディープスキャンの開始前に Trusted Access の状態を確認します。
- 保護されたスキャン出力を利用できない可能性がある場合は、目立つ警告を表示します。アクセスが許可されていない場合は、登録リンクも表示します。
- Trusted Access の状態を確認できない場合やアクセスが許可されていない場合も、スキャンを続行します。この通知はスキャンの実行可否を制御しません。
- 公開されている CLI および SDK パッケージの
0.1.20では、この注意喚起は行われません。
ディープスキャンの対応環境の拡大
- パッケージとしてインストールした CLI や SDK からディープスキャンのワーカーを起動できます。
グローバルな
codex実行可能ファイルがない Windows 環境にも対応しています。 - スタンドアロンの CLI や SDK のディープスキャン設定を、実行中のほかのスキャンから分離します。
- ネストされたディープスキャンのワーカーでも、非対話型の承認設定を維持します。
障害発生時のスキャン結果保持の強化
- 再起動、アーカイブ、引き継ぎに伴う復旧処理で、保存済みスキャンや完了済みワーカーの結果をより多く保持します。
- 古いスキャンデータや不完全なスキャンデータから、有効な検出事項を復元します。
- 独立したカバレッジレポートの内容が重複していても、スキャンを完了できます。
- プロバイダーの現在の応答形式と古い応答形式のどちらでも、キャッシュされた入力をトークン使用量の合計に正しく反映します。
0.1.19(2026 年 8 月 13 日)
ディープスキャンの制限時間の設定
[deep_scan].max_time_hoursに、0 より大きく 96 時間以下の時間を設定できます。 時間数には小数も使用できます。- 制限時間に達したら、それまでに完了した探索結果を保持し、検証とレポート作成を続行します。
- 制限時間までにソースレビューが 1 件も完了しなかった場合は、レポートを部分的なものとして示します。
スキャンの信頼性の向上
- ワーカーが停止した場合やリデューサーが再試行する場合でも、完了済みの探索作業を保持します。
- 従来の固定サイズ制限をなくし、より大きなソースファイルの読み取りやレポートの生成に対応します。
- 選択したリビジョンからコミット済みの変更を読み取り、Windows でもリポジトリ相対パスを保持します。
- OpenRouter と Fireworks の認証情報をディープスキャンのワーカーに渡します。
0.1.18(2026 年 8 月 7 日)
Amazon Bedrock によるセキュリティスキャン
- Amazon Bedrock の Bearer トークンや、AWS のプロファイル、リージョン設定、ウェブ ID、コンテナ認証情報を使用してスキャンを実行できます。
- 委任先のディープスキャンのワーカーでも AWS 認証を利用できます。
標準スキャンの調整処理の削減
- リポジトリ全体や指定パスを対象とする標準スキャンに、よりシンプルなワークフローを使用します。
- 下位ディレクトリの
SECURITY.mdの指針、正確なスキャン範囲、進捗更新、 最終スキャンレポートを保持します。
スキャン開始と完了の信頼性の向上
- プロンプトから開始したスキャンでは、大規模リポジトリの初期化が 30 秒でタイムアウトする代わりに、最大 5 分間待機します。
- ホストがツール名の長さを制限している場合でも、標準スキャンとディープスキャンを完了できます。
ファイルシステム変更後の修正対応の維持
- ファイルシステムの再マウントによってデバイス識別子が変わった後でも、完了済みスキャンの検出事項を修正できます。
- 修正を適用する前に、元のチェックアウトと Git リビジョンを必要とする要件は維持します。
0.1.17(2026 年 8 月 5 日)
スキャン進捗のリアルタイム確認
- 現在のスキャンフェーズ、経過時間、稼働中のワーカー、レビュー済みファイル、トークン使用量を、1 つのリアルタイム進捗画面で確認できます。
- スキャン全体の完了を待たずに、ファイルのレビューが終わるたびにリポジトリのレビュー進捗が更新されます。
中断したディープスキャンの再開
- コーディネーターが再起動しても、完了済みのファイルレビューを繰り返さずに、進行中のディープスキャンを続行できます。
- アプリの更新やスキャンセッションの中断があっても、完了済みの探索結果、スキャンの所有権、未完了の作業を保持します。
スキャン開始から完了までのオーバーヘッドの削減
- 廃止された埋め込み型スキャンウィジェットを開かずに、ネイティブのワークフローから標準スキャン、変更スキャン、ディープスキャンを直接開始できます。
- 構造化された結果の全体を要求しない限り、検出事項をすべて再読み込みせずに、完了済みスキャンの要約を再利用します。
0.1.16(2026 年 8 月 4 日)
スキャン使用量の実測値の確認
- メインスキャンとその委任先ワーカー全体について、合計、入力、キャッシュされた入力、出力のトークン使用量を確認できます。
- 使用量の欠損をゼロと表示せず、測定が完全な場合、部分的な場合、測定できない場合を区別します。
より詳細なスキャンと結果の一貫性
- 標準スキャンとディープスキャンで、脅威モデリング、探索、検証、攻撃経路分析、レポート作成の各フェーズを共通化します。
- CLI または SDK から、ディープスキャンのワーカー、ワーカーごとの委任、探索の飽和条件、探索上限を設定できます。
- モデルが対応するワーカーランタイムでディープスキャンを実行し、既存のスキャン履歴を失わずに古いスキャン状態を復元できます。
- 個別の脆弱性解説や堅牢化の推奨事項を必要とせずに、変更スキャンとディープスキャンのメインレポートを生成します。
スキャン指針と対象リポジトリの正確性の維持
- 実行中のスキャンでセキュリティ指針を更新し、後続のフェーズや委任先のディープスキャンのワーカーに引き継げます。
- 要求していないネットワークアクセスを許可することなく、リポジトリ URL、Pull Request の参照、より長いセキュリティコンテキストを保持します。
- 実行中にリポジトリやスキャン対象が変わった場合はスキャンを失敗させ、自動化処理が古い検出事項を受け入れないようにします。
- 管理されたネットワーク環境では、企業のプロキシ設定と信頼された証明書の設定に従います。
より明確な脆弱性レポート
- ソースコードを根拠とする脆弱性レポートを作成し、観測された動作と未検証の仮説を区別します。
- 概念実証の現実的な制約、影響を受けるバージョン、セキュリティ境界、実行可能な修正指針を記載します。
0.1.15(2026 年 7 月 30 日)
リポジトリ変更時のスキャン結果の保持
- スキャン実行中にファイルやリポジトリのリビジョンが変わっても、完成した検出事項とレポートは、元のリビジョンまたは作業ツリーのスナップショットに紐づけたまま保持します。
- 選択したコードが変更された場合や対象を利用できなくなった場合は、スキャン結果を破棄せずに完了時に警告を表示します。
- 既存のスキャンの出力ディレクトリを別のスキャンに再利用する前に、既存のスキャンをアーカイブします。
指摘事項へのレビュー済みフィードバックの適用
- 指摘事項を誤検知としてクローズする際に、その理由を記録します。
- レビュー済みの誤検知の判断を、同じ対象の後続スキャンに引き継ぎます。別のチェックアウトや無関係な対象には適用しません。
- 以前の理由が現在のコードとセキュリティ制御にも当てはまる場合にのみ、再検出された指摘事項を抑制します。
カバレッジを過大評価せずに有効な指摘事項を復元
- 別の指摘事項、レポート、セキュリティ強化の成果物の形式に不備があっても、有効な指摘事項を保持し、スキップしたデータについて警告を表示します。
- 重複する指摘事項を削除し、重大度、確信度、裏付けとなる証拠に基づいて最も有力な指摘事項を保持します。
- Codex が指摘事項、レビューの実施記録、または追加調査の対象領域を検証できない場合、カバレッジを部分的なものとして示します。
- SARIF エクスポートに、カバレッジの不足とレビューの延期に関する警告を含めます。
スキャン設定と進捗の表示を維持
- 選択したモデルと推論強度を標準スキャンおよび詳細スキャンとともに保存し、再読み込み後もスキャン履歴と進捗の一貫性を保ちます。
- 詳細スキャンで独立して実施されるレビューの実行中および完了済みの件数と、結果の統合が開始されるタイミングを表示します。
- 対象ファイルのリストを 1 つに保ち、候補のレビューを 1 回にまとめたまま、利用可能なワーカーの処理能力に合わせて標準スキャンの検出処理を調整します。
対応するリポジトリとファイルシステム構成の拡大
- 作業ツリーのスナップショットを取得する際に、入れ子になった Git リポジトリも含めます。
- 対象範囲内のファイルパスを文字どおりに保持し、大文字と小文字を区別しない Windows のパスに対応します。
- 設定された
CODEX_HOMEが~で始まる場合、スキャンの事前チェック時に展開します。
0.1.14(2026 年 7 月 28 日)
スキャン履歴と繰り返し検出される指摘事項のレビュー
- リポジトリ、指摘事項、スキャン履歴を絞り込めます。結果は一定件数ごとのページに分けて表示され、状態の詳細もわかりやすくなります。
- 保存済みの設定でスキャンを再実行し、完了したスキャンを比較して、新規、継続、解決済み、再スキャン未実施の指摘事項を区別します。
- 同じリポジトリの Worktree をグループ化し、複数のビューでリポジトリと指摘事項に一貫した識別情報を使用します。
リポジトリのセキュリティポリシーの定義
$codex-security:define-security-policyを使用して、適用範囲を限定したSECURITY.mdのガイダンスをレビューまたは更新します。対象には、信頼境界、セキュリティの不変条件、報告対象の指摘事項、 重大度、除外事項、受容済みのリスクが含まれます。- 階層上で最も近いポリシーファイルを適用します。その際、ファイルサイズに上限を設け、リポジトリの外部を指すシンボリックリンクを拒否します。
追跡開始前の指摘事項のレビュー
- 完了したスキャンから最大 25 件の指摘事項を選び、Linear または GitHub イシューで追跡できます。
- 指摘事項のワークスペースから直接イシューを作成するのではなく、選択した指摘事項を Codex に戻してレビューと承認を行います。
標準スキャンのワークフローの簡素化
- リポジトリ全体または指定パスを対象とする標準スキャンで、決定的に生成される単一の対象ファイルリストと、コンパクトな候補台帳を使用します。
- 既存のマニフェスト、指摘事項、カバレッジ、レポート、SARIF の出力を維持しながら、スキャン工程の繰り返しを減らします。
0.1.13(2026 年 7 月 25 日)
より多様な環境での指摘事項のレビュー
- 影響を受けるコードがローカル用、内部用、トレーニング用、または本番環境に未デプロイであっても、実際のセキュリティ上の指摘事項を保持します。
- 指摘事項を自動的に抑制するのではなく、デプロイ状況や外部への露出状況を踏まえて重大度と確信度を調整します。
0.1.12(2026 年 7 月 23 日)
より詳細なスキャンとわかりやすい進捗表示
- リポジトリ全体または選択したディレクトリを対象に、複数のワーカーを連携させて詳細スキャンを実行します。
- 委任したスキャン作業に、モデルと推論の設定を引き継ぎます。
- スキャンの開始前と実行中に、事前チェックの結果、スキャンの進捗、利用可能なワーカーの処理能力、フォールバック時の動作を確認できます。
過去のスキャンのレビューと再実行
- セキュリティスキャンの一覧から、現在および過去のスキャンを開けます。
- 保存済みのスキャンを指摘事項のワークスペースで再度開くか、再実行して結果を更新できます。
- 完了状態がわかりやすくなり、指摘事項の詳細とスキャン履歴の一貫性が向上します。
作業の中断を減らすスキャン設定
- 現在のタスクを離れずに、ネイティブのセットアップフローからスキャンを開始できます。
- Codex が全画面モードでも、スキャンのセットアップをサイドパネルに表示します。
- セットアップが不要な場合は閉じることができ、その選択は後続のスキャンにも引き継がれます。
検証済みの指摘事項のレビューと修正
- 重大度が低い検証済みの指摘事項も、完了した結果に保持します。
- スキャン、レポート、エクスポート間で、より一貫した指摘事項の詳細を確認できます。
- 修正を再試行し、関連するスキャンのコンテキストを後続の修正に引き継ぎます。
既存のセキュリティワークフロー向けの結果のエクスポート
- 処理が完了した指摘事項を JSON、CSV、SARIF 形式でエクスポートします。
- コードスキャンやセキュリティツールとの連携に使用する SARIF の結果をローカルで生成します。
- エクスポート形式が異なっても、指摘事項の詳細の一貫性を維持します。
0.1.11(2026 年 7 月 10 日)
指摘事項とセキュリティ強化の詳細レポートの作成
- 報告対象となるスキャンの指摘事項ごとに、ソースに裏付けられた脆弱性レポートを 1 件生成します。裏付けとなる概念実証ファイルがある場合は、それも含めます。
- 指摘事項全体、エンジニアリング上のトレードオフ、移行の選択肢、補足図を分析した、構造的なセキュリティ強化策の一覧をレビューできます。
report.mdを起点として、findings/とhardening/配下にある、これらの派生成果物にアクセスできます。結果を共有または アーカイブする際は、スキャンディレクトリ全体をまとめて保持してください。
レポート作成ワークフローの直接実行
$codex-security:vulnerability-writeupを使用して、開示文書、 未整理の指摘事項、PoC、ソースコードから、完成度の高いレポートを作成できます。事前に Codex Security のスキャンを実行する必要はありません。$codex-security:propose-security-hardeningを使用して、スキャン、検出事項、インシデントや評価に関する文書、 ソースコードを基に、証拠に裏付けられた 構造上またはアーキテクチャ上の選択肢を検討できます。
リポジトリのガイダンスとカバレッジの一貫した適用
- ルートまたは下位ディレクトリの
SECURITY.mdファイルで、脅威モデルのコンテキスト、セキュリティ上の不変条件、 報告対象となる検出事項の基準、除外事項、重大度を判断するためのコンテキストを定義できます。 適用可能なファイルのうち、対象に最も近いものが優先されます。 - 明示的にレビューを延期した領域と証拠の不足箇所を維持しながら、検証前のリポジトリレビューのカバレッジを向上させます。
- 変更スキャンで削除されたソースファイルをレビューし、検証前のリポジトリレビューのデフォルトのカバレッジを拡大します。
- ディープスキャンの開始前に、各フェーズのスキル、委任先のワーカー、利用可能なワーカー数を確認します。
0.1.10(2026 年 6 月 23 日)
Jira と Linear のチケット取り込みの改善
- Linear のサブイシューをインポートする前に確認を求め、結果でも親子関係を保持します。
- 接続の欠如、権限不足、チケットへのアクセス不可、コネクタの一時的な障害を区別します。
- 要求されたチケットの内容を取得できない場合は、判定を出さずに停止します。
- 確認済みキューと要レビューキューのそれぞれで、
1から始まる重複のない正の整数で順位を付けます。
コード変更レビューの信頼性向上
- 調査対象のコミットを実際の親コミットと比較し、検出事項のワークスペースに差分の比較対象を保持します。
- パッチの状態を取得できない場合は、別の変更をレビューせずに、その旨を報告します。
- より一貫性のあるトリアージ結果と検出事項のコンテキストを確認できます。
0.1.9(2026 年 6 月 18 日)
検出事項のワークスペースでのスキャンレビュー
- 検出事項、カバレッジ、重大度、確信度、スキャン成果物を集約した専用ワークスペースで、完了したスキャンをレビューできます。
- 検出事項を絞り込み、確信度の高い順などで並べ替えることができます。更新時もワークスペースの状態は保持されます。
- 検出事項を開くと、ソースコード上の証拠、検証の詳細、到達可能性、影響、修正ガイダンスを一か所で確認できます。
スキャンのセットアップの簡素化
- Git リポジトリ、個別のフォルダー、Git 履歴のないコードベースに対して標準スキャンを実行できます。ディープスキャンでも特定のフォルダーを対象にできます。
- 実行中のスキャンを明示的にキャンセルでき、中断されたスキャンはセットアップを再度求められることなく再開できます。ディープスキャンを同時に実行しようとすると、開始前に警告が表示されます。
- セットアップの状態や進行状況をより明確に把握できます。進捗の要約はより簡潔になり、エラーは対処するまで表示され続けます。
持ち運びやすく検証可能な結果のエクスポート
- 完了したスキャンは一貫した形式を使用し、同じ正規の結果から生成されたマニフェスト、構造化された検出事項、カバレッジデータ、Markdown レポートを含みます。
- 検出事項を JSON、CSV、SARIF 形式でエクスポートし、分析、アーカイブ、他のセキュリティツールとの連携に利用できます。
- Windows のパスやスキャンのロックがファイルシステムへのアクセスに影響する場合も含め、スキャンをより確実に完了できるようになります。
既存の検出事項のトリアージと追跡
- スキャナー、アドバイザリ、バグバウンティレポート、GitHub、Jira、Linear、Codex Security の結果に含まれる既存の検出事項を、現在のコードベースと照合してトリアージできます。トリアージのワークフローは、証拠に裏付けられた判定と、優先順位を付けた対応キューを返します。
- 検証済みの検出事項を選択して Linear、Jira、GitHub イシューで追跡できます。また、リポジトリがアドバイザリの要件を満たしている場合は、非公開の GitHub Security Advisory の下書きを作成できます。
- 書き込みを承認する前に、重複チェック、ソースのコンテキスト、書き込み先の公開範囲、提案された正確な内容を確認できます。Codex は作成または更新後に結果を読み返して検証します。
0.1.7(2026 年 6 月 4 日)
証拠に裏付けられたセキュリティレビュー
- 許可を得たリポジトリまたは選択したフォルダーをスキャンして、セキュリティ上の脆弱性を検出できます。
- より徹底した調査が必要な場合は、リポジトリ全体で検出処理を繰り返し実行できます。
- Pull Request、コミット、ブランチ間の差分、ローカルのパッチをレビューして、セキュリティ上のリグレッションを確認できます。
- 各候補について、脅威モデリング、検出事項の探索、検証、影響分析の各段階を経てから、スキャンレポートを生成します。
- 受け入れられた検出事項を 1 件修正し、対象を絞ったパッチ、リグレッションテスト、元の問題の検証を含めます。