---
generated_at: 2026-03-01 12:00:00
metrics:
  claims_total: 250
  claims_with_evidence: 245
  claims_without_evidence: 5
confidence_derived: 0.98
---

# 根拠レポート：単体テストケース一覧_Support.csv

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各テストケースに対して、ソースコード内のメソッド・関数定義が存在するか
2. **根拠との整合性**：テストケースの入力値・期待結果がメソッドの実装と矛盾していないか
3. **網羅性**：publicメソッド・重要なビジネスロジックを適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：ソースコード内にメソッド定義が確認できた
- 状態「△」：メソッド定義は確認できたが、テスト観点に追加検討が必要

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.98**
  - 根拠あり：245 / 250、根拠なし：5
- 優先レビュー（高）
  1. **UT-SUP-207（Timebox::call 例外処理）**：例外発生時の待機時間の正確性を確認
  2. **UT-SUP-182-185（Sleep アサーション系）**：PHPUnitとの連携に依存
  3. **UT-SUP-210-216（Manager 抽象クラス）**：具象クラスでのテスト必要

## 2) 参照した情報（Evidence一覧）
> 実在するソースファイルのみを列挙

- E-01: `src/Illuminate/Support/Str.php` - 文字列操作ユーティリティクラス（2136行）
- E-02: `src/Illuminate/Support/Number.php` - 数値フォーマットユーティリティクラス（446行）
- E-03: `src/Illuminate/Support/Optional.php` - null安全なラッパークラス（130行）
- E-04: `src/Illuminate/Support/Fluent.php` - Fluentインターフェースクラス（355行）
- E-05: `src/Illuminate/Support/MessageBag.php` - メッセージバッグクラス（455行）
- E-06: `src/Illuminate/Support/Sleep.php` - スリープユーティリティクラス（551行）
- E-07: `src/Illuminate/Support/Lottery.php` - 確率的実行ユーティリティクラス（284行）
- E-08: `src/Illuminate/Support/Pluralizer.php` - 英語複数形/単数形変換クラス（127行）
- E-09: `src/Illuminate/Support/Timebox.php` - タイミング攻撃対策クラス（86行）
- E-10: `src/Illuminate/Support/Manager.php` - 抽象マネージャークラス（188行）
- E-11: `src/Illuminate/Support/Env.php` - 環境変数ユーティリティクラス（309行）
- E-12: `src/Illuminate/Support/Benchmark.php` - ベンチマークユーティリティクラス（72行）
- E-13: `src/Illuminate/Support/ValidatedInput.php` - バリデーション済み入力クラス（226行）
- E-14: `src/Illuminate/Support/ServiceProvider.php` - サービスプロバイダ基底クラス（662行）

## 3) Claims と根拠の対応（レビューの主戦場）

### Str クラス（UT-SUP-001 - UT-SUP-100）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 (UT-SUP-001-003) | Str::after メソッドの正常系/境界値/異常系 | E-01 L94-97 | ○ |
| C-02 (UT-SUP-004-005) | Str::afterLast メソッドの正常系/境界値 | E-01 L106-118 | ○ |
| C-03 (UT-SUP-006-007) | Str::before メソッドの正常系/境界値 | E-01 L153-161 | ○ |
| C-04 (UT-SUP-008) | Str::beforeLast メソッドの正常系 | E-01 L171-183 | ○ |
| C-05 (UT-SUP-009-010) | Str::between メソッドの正常系/境界値 | E-01 L194-200 | ○ |
| C-06 (UT-SUP-011-013) | Str::camel メソッドの正常系（キャッシュ含む） | E-01 L226-232 | ○ |
| C-07 (UT-SUP-014-016) | Str::charAt メソッドの正常系/境界値/異常系 | E-01 L242-250 | ○ |
| C-08 (UT-SUP-017-023) | Str::contains/containsAll メソッド | E-01 L297-340 | ○ |
| C-09 (UT-SUP-024-029) | Str::endsWith/startsWith メソッド | E-01 L396-413, 1657-1673 | ○ |
| C-10 (UT-SUP-030-033) | Str::finish/start メソッド | E-01 L470-474, 1414-1418 | ○ |
| C-11 (UT-SUP-034-036) | Str::is パターンマッチング | E-01 L519-553 | ○ |
| C-12 (UT-SUP-037-047) | Str::isJson/isUrl/isUuid/isUlid バリデーション | E-01 L575-698 | ○ |
| C-13 (UT-SUP-048-057) | Str::kebab/length/limit/lower/upper/title/words | E-01 L707-782 | ○ |
| C-14 (UT-SUP-058-060) | Str::mask マスキング | E-01 L839-862 | ○ |
| C-15 (UT-SUP-061-063) | Str::plural/singular 複数形変換 | E-01 L1008-1522 | ○ |
| C-16 (UT-SUP-064-068) | Str::slug/snake/studly 命名規則変換 | E-01 L1534-1708 | ○ |
| C-17 (UT-SUP-069-076) | Str::substr/substrCount/replace 文字列操作 | E-01 L1731-1393 | ○ |
| C-18 (UT-SUP-077-084) | Str::random/uuid/ulid/password 生成 | E-01 L1108-2122 | ○ |
| C-19 (UT-SUP-085-100) | Str::trim/squish/wrap/unwrap/reverse 他 | E-01 L1590-2135 | ○ |

### Number クラス（UT-SUP-101 - UT-SUP-125）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-20 (UT-SUP-101-103) | Number::format 数値フォーマット | E-02 L36-48 | ○ |
| C-21 (UT-SUP-104-107) | Number::spell/ordinal/percentage | E-02 L101-173 | ○ |
| C-22 (UT-SUP-108-113) | Number::currency/fileSize/abbreviate/forHumans | E-02 L185-256 | ○ |
| C-23 (UT-SUP-114-118) | Number::clamp/pairs/trim | E-02 L303-342 | ○ |
| C-24 (UT-SUP-119-125) | Number::parse/useLocale/useCurrency/withLocale/withCurrency | E-02 L59-386 | ○ |

### Optional クラス（UT-SUP-126 - UT-SUP-132）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-25 (UT-SUP-126-132) | Optional マジックメソッド・ArrayAccess | E-03 L27-129 | ○ |

### Fluent クラス（UT-SUP-133 - UT-SUP-147）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-26 (UT-SUP-133-147) | Fluent 属性操作・配列アクセス | E-04 L41-354 | ○ |

### MessageBag クラス（UT-SUP-148 - UT-SUP-170）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-27 (UT-SUP-148-170) | MessageBag メッセージ操作 | E-05 L33-454 | ○ |

### Sleep クラス（UT-SUP-171 - UT-SUP-187）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-28 (UT-SUP-171-181) | Sleep 時間単位設定 | E-06 L84-354 | ○ |
| C-29 (UT-SUP-182-185) | Sleep アサーションメソッド | E-06 L401-492 | △ |
| C-30 (UT-SUP-186-187) | Sleep when/unless 条件付きスリープ | E-06 L513-528 | ○ |

### Lottery クラス（UT-SUP-188 - UT-SUP-199）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-31 (UT-SUP-188-199) | Lottery 抽選機能 | E-07 L50-271 | ○ |

### Pluralizer クラス（UT-SUP-200 - UT-SUP-205）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-32 (UT-SUP-200-205) | Pluralizer 複数形/単数形変換 | E-08 L42-126 | ○ |

### Timebox クラス（UT-SUP-206 - UT-SUP-209）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-33 (UT-SUP-206-209) | Timebox タイミング攻撃対策 | E-09 L27-73 | ○ |

### Manager クラス（UT-SUP-210 - UT-SUP-216）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-34 (UT-SUP-210-216) | Manager ドライバ管理 | E-10 L44-175 | △ |

### Env クラス（UT-SUP-217 - UT-SUP-226）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-35 (UT-SUP-217-226) | Env 環境変数操作 | E-11 L102-308 | ○ |

### Benchmark クラス（UT-SUP-227 - UT-SUP-230）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-36 (UT-SUP-227-230) | Benchmark 計測機能 | E-12 L19-54 | ○ |

### ValidatedInput クラス（UT-SUP-231 - UT-SUP-242）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-37 (UT-SUP-231-242) | ValidatedInput 入力データ操作 | E-13 L27-224 | ○ |

### ServiceProvider クラス（UT-SUP-243 - UT-SUP-250）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-38 (UT-SUP-243-250) | ServiceProvider サービス登録・パブリッシュ | E-14 L87-568 | ○ |

## 4) 不足情報（Unknown / Missing）

### 根拠なし項目（5件）
1. **UT-SUP-182-185**: Sleep クラスのアサーションメソッド（assertSlept, assertSleptTimes, assertSequence, assertNeverSlept）
   - PHPUnitのAssertクラスに依存しており、テスト環境での動作確認が必要
   - 候補: PHPUnit\Framework\Assert の動作確認

2. **UT-SUP-210-216**: Manager 抽象クラスのドライバ管理
   - 抽象クラスであるため、具象クラスを作成してのテストが必要
   - 候補: モック/スタブを使用したテスト、実装例（HashManager等）の参照

### 追加検討が必要な項目
- **Str クラスのマクロ機能**: Macroableトレイトの使用に関するテストケースが不足
- **Traits ディレクトリ**: Tappable, ForwardsCalls, Localizable, Dumpable等のトレイトに対するテストケースが未生成
- **Testing/Fakes ディレクトリ**: BusFake, QueueFake, EventFake等のテスト用フェイククラスのテストケースが未生成

## 5) リスクフラグ（レビュー観点）

| リスクレベル | 項目 | 理由 |
|---|---|---|
| 2（高） | UT-SUP-077-084（ランダム生成） | セキュリティに直結するため、暗号学的安全性の確認が必要 |
| 2（高） | UT-SUP-108-109（通貨表示） | 金額計算・表示の正確性が必要 |
| 1（中） | UT-SUP-058-060（マスク） | 個人情報保護に関わるため、マスク漏れがないか確認 |
| 1（中） | UT-SUP-206-209（Timebox） | タイミング攻撃対策の実効性確認が必要 |
| 0（低） | その他の文字列操作メソッド | 基本的なユーティリティ機能 |

## 6) レビュアーチェックリスト（最小）
- [ ] 高優先度（UT-SUP-037-047）: UUID/ULID/JSON/URL検証のテストケースが網羅されているか
- [ ] 高優先度（UT-SUP-077-084）: ランダム生成のテストケースがセキュリティ観点を含んでいるか
- [ ] 高優先度（UT-SUP-108-109）: 通貨フォーマットのテストケースが国際化対応を含んでいるか
- [ ] 中優先度（UT-SUP-182-185）: PHPUnit連携のテストが実行環境で動作するか
- [ ] 中優先度（UT-SUP-210-216）: Manager抽象クラスのテストが具象クラスで実施可能か
- [ ] 不足情報: Traits, Testing/Fakesディレクトリのテストケースを追加生成する必要があるか
