# 画面設計書 5-419 Page Expired

## 概要

本ドキュメントは、Laravel フレームワークにおける HTTP 419 Page Expired エラー画面の設計書です。CSRF トークンの有効期限が切れた場合やセッションが期限切れになった場合に表示されるエラー画面について記載しています。

### 本画面の処理概要

HTTP 419 Page Expired エラー画面は、CSRF（Cross-Site Request Forgery）保護機構においてトークンの検証に失敗した場合に表示される画面です。この画面は、ユーザーに対してページまたはセッションの有効期限が切れたことを通知し、ページの再読み込みやフォームの再送信を促す役割を果たします。

**業務上の目的・背景**：Web アプリケーションにおけるセキュリティの重要な要素として、CSRF 攻撃を防ぐためのトークン検証があります。ユーザーがフォームを開いたまま長時間放置した場合や、セッションがタイムアウトした場合、CSRF トークンが無効になります。本画面は、このような状況でユーザーに対して適切なフィードバックを提供し、データの損失を最小限に抑えながらセキュアな操作を継続できるようにします。また、TokenMismatchException が発生した理由をユーザーフレンドリーな形で伝えることで、ユーザーの混乱を防ぎます。

**画面へのアクセス方法**：この画面は直接アクセスするものではなく、以下のような状況で自動的に表示されます。
1. フォーム送信時に CSRF トークンが期限切れの場合
2. CSRF トークンがリクエストに含まれていない場合
3. TokenMismatchException がスローされた場合
4. セッションが期限切れでトークン検証に失敗した場合

**主要な操作・処理内容**：
1. エラーコード「419」とメッセージ「Page Expired」を画面中央に表示
2. ダークモード対応のスタイリングにより、ユーザーの表示設定に応じた適切な配色で表示
3. レスポンシブデザインにより、デスクトップ・モバイル両方のデバイスで適切に表示

**画面遷移**：
- 遷移元：CSRF トークンが期限切れのフォーム送信
- 遷移先：なし（エラー表示のみ。ユーザーはブラウザの「戻る」ボタンでフォームに戻り、ページを再読み込みして再試行可能）

**権限による表示制御**：この画面は権限に関係なく、CSRF トークン検証に失敗した場合に全てのユーザーに表示されます。

## 関連機能

| 機能No | 機能名 | 関連種別 | 関連する操作・処理 |
|--------|--------|----------|------------------|
| 24 | セッション管理 | 主機能 | CSRFトークン期限切れエラー表示 |
| 36 | ビューファクトリ | 補助機能 | Blade テンプレートのレンダリング処理 |

## 画面種別

エラー表示画面

## URL/ルーティング

この画面は特定の URL を持ちません。HTTP レスポンスステータスコード 419 が返される際に、例外ハンドラ（`Illuminate\Foundation\Exceptions\Handler`）により自動的にレンダリングされます。

## 入出力項目

### 入力項目

| 項目名 | 型 | 必須 | 説明 |
|--------|------|------|------|
| なし | - | - | この画面は入力項目を持ちません |

### 出力項目（テンプレート変数）

| 項目名 | 型 | 説明 |
|--------|------|------|
| $exception | HttpExceptionInterface | 発生した例外オブジェクト |
| $errors | ViewErrorBag | バリデーションエラーバッグ（空） |

## 表示項目

| 項目 | 表示内容 | スタイル |
|------|----------|----------|
| エラーコード | 419 | 大きなフォント、右ボーダー付き |
| エラーメッセージ | Page Expired | 大文字、トラッキング広め |

## イベント仕様

### 1-画面表示

本画面は静的なエラー表示のみを行い、ユーザーインタラクションのイベントは定義されていません。ブラウザの「戻る」ボタンで前のページに戻り、ページを再読み込みすることで新しい CSRF トークンを取得できます。

## データベース更新仕様

本画面はデータベースへの読み書きを行いません。

## メッセージ仕様

| メッセージ種別 | メッセージコード | メッセージ内容 | 表示条件 |
|--------------|----------------|--------------|----------|
| エラー | - | Page Expired | 常時表示 |

**多言語対応**：メッセージは `__('Page Expired')` ヘルパー関数を使用しており、言語ファイルにより翻訳可能です。

## 例外処理

本画面自体が例外処理の結果として表示されるため、画面内での例外処理は定義されていません。テンプレートのレンダリングに失敗した場合は、Symfony の HtmlErrorRenderer によるフォールバック表示が行われます。

## 備考

- この画面は `minimal.blade.php` レイアウトを継承しています
- HTTP 419 は標準的な HTTP ステータスコードではなく、Laravel 独自のステータスコードです
- TokenMismatchException は Handler クラス内の `$internalDontReport` 配列に含まれており、ログには記録されません
- カスタマイズする場合は、`resources/views/errors/419.blade.php` にファイルを配置することで上書き可能です
- ダークモード対応のスタイリングが含まれています（`prefers-color-scheme: dark` メディアクエリ使用）
- ユーザーにはページの再読み込みを促すカスタムメッセージを追加することが推奨されます

---

## コードリーディングガイド

本画面を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

例外処理の流れで渡されるデータ構造を理解することが重要です。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | TokenMismatchException.php | `src/Illuminate/Session/TokenMismatchException.php` | CSRF トークン不一致時の例外クラス |
| 1-2 | HttpException.php | `vendor/symfony/http-kernel/Exception/HttpException.php` | HTTP 例外の基底クラス |

**読解のコツ**: TokenMismatchException は Handler クラスで HTTP 419 例外に変換されます。この変換プロセスを理解することが重要です。

#### Step 2: CSRF 検証の流れを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | VerifyCsrfToken.php | `src/Illuminate/Foundation/Http/Middleware/VerifyCsrfToken.php` | CSRF トークン検証ミドルウェア |

**主要処理フロー**:
- トークンの検証失敗時に TokenMismatchException をスロー
- `$except` 配列で除外 URL を設定可能

#### Step 3: 例外ハンドリングを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | Handler.php | `src/Illuminate/Foundation/Exceptions/Handler.php` | 例外ハンドラのメインクラス |

**主要処理フロー**:
1. **行 161**: `TokenMismatchException::class` が `$internalDontReport` に含まれている
2. **行 920-938**: `renderHttpException()` メソッドで HTTP 例外のレンダリングを実行
3. **行 958-968**: `getHttpExceptionView()` でステータスコードに基づくビュー名を決定

#### Step 4: テンプレート継承を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 4-1 | 419.blade.php | `src/Illuminate/Foundation/Exceptions/views/419.blade.php` | 419 エラー専用テンプレート |
| 4-2 | minimal.blade.php | `src/Illuminate/Foundation/Exceptions/views/minimal.blade.php` | 共通レイアウトテンプレート |

**主要処理フロー**:
- **419.blade.php 行 1**: `@extends('errors::minimal')` で共通レイアウトを継承
- **419.blade.php 行 3-5**: `@section` でタイトル、コード、メッセージを定義

### プログラム呼び出し階層図

```
フォーム送信（POST リクエスト）
    │
    ├─ VerifyCsrfToken ミドルウェア
    │      │
    │      └─ トークン検証失敗
    │             └─ TokenMismatchException スロー
    │
    ├─ Handler::render()
    │      │
    │      └─ Handler::prepareResponse()
    │             │
    │             └─ Handler::renderHttpException()
    │                    │
    │                    ├─ Handler::registerErrorViewPaths()
    │                    │      └─ RegisterErrorViewPaths::__invoke()
    │                    │
    │                    └─ Handler::getHttpExceptionView()
    │                           └─ view()->exists('errors::419')
    │
    └─ response()->view('errors::419', [...])
           └─ 419.blade.php
                  └─ minimal.blade.php（継承）
```

### データフロー図

```
[入力]                    [処理]                         [出力]

POST リクエスト      ───▶ VerifyCsrfToken          ───▶ TokenMismatchException
（期限切れトークン）        │
                          │ トークン検証失敗
                          ▼
                    Handler::render()
                          │
                          ├─ 例外を HTTP 419 に変換
                          │
                          ├─ renderHttpException()
                          │      │
                          │      └─ getHttpExceptionView()
                          │             └─ 'errors::419'
                          │
                          └─ response()->view()   ───▶ HTTP Response
                                 │                      (status: 419)
                                 └─ Blade レンダリング
                                        │
                                        ├─ 419.blade.php
                                        │
                                        └─ minimal.blade.php
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| 419.blade.php | `src/Illuminate/Foundation/Exceptions/views/419.blade.php` | テンプレート | 419 エラー専用のコンテンツ定義 |
| minimal.blade.php | `src/Illuminate/Foundation/Exceptions/views/minimal.blade.php` | テンプレート | エラー画面の共通レイアウト |
| Handler.php | `src/Illuminate/Foundation/Exceptions/Handler.php` | ソース | 例外ハンドリングとビュー選択のロジック |
| RegisterErrorViewPaths.php | `src/Illuminate/Foundation/Exceptions/RegisterErrorViewPaths.php` | ソース | エラービューパスの登録処理 |
| TokenMismatchException.php | `src/Illuminate/Session/TokenMismatchException.php` | ソース | CSRF トークン不一致例外 |
| VerifyCsrfToken.php | `src/Illuminate/Foundation/Http/Middleware/VerifyCsrfToken.php` | ソース | CSRF トークン検証ミドルウェア |
