---
generated_at: 2026-02-21 10:30:00
metrics:
  claims_total: 73
  claims_with_evidence: 71
  claims_without_evidence: 2
confidence_derived: 0.97
---

# 根拠レポート：regex モジュール単体テストケース一覧

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.97**
  - 根拠あり：71 / 73、根拠なし：2
- 優先レビュー（高）
  1. **C-72 (UT-REG-072)**：内部関数のoffset検証の具体的な実装がprivate.phpのvalidate_offset呼び出しに依存
  2. **C-73 (UT-REG-073)**：PCREエラーハンドリングの具体的なエラー条件が_Private\_Regex\matchの実装に依存

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `src/regex/regex.php` - メイン公開関数定義（first_match, every_match, matches, replace, replace_with, split, to_string）
- E-02: `src/regex/private.php` - 内部ヘルパー関数（regex_match）
- E-03: `src/regex/exception.php` - Exceptionクラス定義
- E-04: `tests/regex/RegexTest.php` - 既存テストケース（provideFirstMatch, provideEveryMatch, provideMatches, provideReplace, provideReplaceWith, provideSplit, provideToString）
- E-05: PHPDocコメント（各関数のドキュメンテーション）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | first_match: 基本パターンマッチ | E-01, E-04 (provideFirstMatch) | ○ |
| C-02 | first_match: 複数キャプチャグループ | E-01, E-04 (provideFirstMatch) | ○ |
| C-03 | first_match: 名前付きキャプチャグループ | E-01, E-04 (provideFirstMatch) | ○ |
| C-04 | first_match: オプショナルグループ | E-01, E-04 (provideFirstMatch) | ○ |
| C-05 | first_match: offset指定 | E-01, E-04 (provideFirstMatch) | ○ |
| C-06 | first_match: 空パターン | E-01, E-04 (provideFirstMatch) | ○ |
| C-07 | first_match: 空文字列 | E-01, E-04 (provideFirstMatch) | ○ |
| C-08 | first_match: マッチなしでnull | E-01, E-04 (provideFirstMatchNull) | ○ |
| C-09 | first_match: offsetでマッチ範囲外 | E-01, E-04 (provideFirstMatchNull) | ○ |
| C-10 | first_match: 不正offset例外 | E-01, E-04 (checkThrowsOnInvalidOffset) | ○ |
| C-11 | first_match: 負の不正offset例外 | E-01, E-04 (checkThrowsOnInvalidOffset) | ○ |
| C-12 | first_match: 境界値offset | E-01, E-04 (checkThrowsOnInvalidOffset) | ○ |
| C-13 | first_match: 境界値負のoffset | E-01, E-04 (checkThrowsOnInvalidOffset) | ○ |
| C-14 | first_match: バックトラック制限エラー | E-01, E-04 (testRecursion) | ○ |
| C-15 | every_match: 全マッチ取得 | E-01, E-04 (provideEveryMatch) | ○ |
| C-16 | every_match: キャプチャグループ付き | E-01, E-04 (provideEveryMatch) | ○ |
| C-17 | every_match: 名前付きキャプチャ | E-01, E-04 (provideEveryMatch) | ○ |
| C-18 | every_match: offset指定 | E-01, E-04 (provideEveryMatch) | ○ |
| C-19 | every_match: マッチなしで空配列 | E-01, E-04 (provideEveryMatch) | ○ |
| C-20 | every_match: 空パターン | E-01, E-04 (provideEveryMatch) | ○ |
| C-21 | every_match: 空文字列と空パターン | E-01, E-04 (provideEveryMatch) | ○ |
| C-22 | every_match: HTMLタグパターン | E-01, E-04 (provideEveryMatch) | ○ |
| C-23 | matches: trueが返却 | E-01, E-04 (provideMatches) | ○ |
| C-24 | matches: 大文字小文字無視 | E-01, E-04 (provideMatches) | ○ |
| C-25 | matches: 単語境界 | E-01, E-04 (provideMatches) | ○ |
| C-26 | matches: falseが返却 | E-01, E-04 (provideMatches) | ○ |
| C-27 | matches: offsetでマッチ範囲外 | E-01, E-04 (provideMatches) | ○ |
| C-28 | matches: 単語境界でマッチなし | E-01, E-04 (provideMatches) | ○ |
| C-29 | matches: 空文字列 | E-01, E-04 (provideMatches) | ○ |
| C-30 | replace: 基本置換 | E-01, E-04 (provideReplace) | ○ |
| C-31 | replace: 複数箇所置換 | E-01, E-04 (provideReplace) | ○ |
| C-32 | replace: offset指定 | E-01, E-04 (provideReplace) | ○ |
| C-33 | replace: 負のoffset | E-01, E-04 (provideReplace) | ○ |
| C-34 | replace: バックリファレンス | E-01, E-04 (provideReplace) | ○ |
| C-35 | replace: 複雑なバックリファレンス | E-01, E-04 (provideReplace) | ○ |
| C-36 | replace: マッチなし | E-01, E-04 (provideReplace) | ○ |
| C-37 | replace: 空文字列 | E-01, E-04 (provideReplace) | ○ |
| C-38 | replace: 空パターン | E-01, E-04 (provideReplace) | ○ |
| C-39 | replace: 貪欲マッチ | E-01, E-04 (provideReplace) | ○ |
| C-40 | replace_with: 関数置換 | E-01, E-04 (provideReplaceWith) | ○ |
| C-41 | replace_with: 複数マッチ | E-01, E-04 (provideReplaceWith) | ○ |
| C-42 | replace_with: 動的置換 | E-01, E-04 (provideReplaceWith) | ○ |
| C-43 | replace_with: 名前付きキャプチャ | E-01, E-04 (provideReplaceWith) | ○ |
| C-44 | replace_with: offset指定 | E-01, E-04 (provideReplaceWith) | ○ |
| C-45 | replace_with: マッチなし | E-01, E-04 (provideReplaceWith) | ○ |
| C-46 | replace_with: 空文字列 | E-01, E-04 (provideReplaceWith) | ○ |
| C-47 | replace_with: 空パターン | E-01, E-04 (provideReplaceWith) | ○ |
| C-48 | replace_with: HTMLタグ | E-01, E-04 (provideReplaceWith) | ○ |
| C-49 | split: 基本分割 | E-01, E-04 (provideSplit) | ○ |
| C-50 | split: limit指定 | E-01, E-04 (provideSplit) | ○ |
| C-51 | split: 先頭末尾空白 | E-01, E-04 (provideSplit) | ○ |
| C-52 | split: マッチなし | E-01, E-04 (provideSplit) | ○ |
| C-53 | split: 空文字列 | E-01, E-04 (provideSplit) | ○ |
| C-54 | split: 空パターン | E-01, E-04 (provideSplit) | ○ |
| C-55 | split: 空文字列と空パターン | E-01, E-04 (provideSplit) | ○ |
| C-56 | split: limit=1で例外 | E-01, E-04 (testSplitInvalidLimit) | ○ |
| C-57 | split: limit=3 | E-01, E-04 (provideSplit) | ○ |
| C-58 | split: limitがマッチ数より大きい | E-01, E-04 (provideSplit) | ○ |
| C-59 | to_string: 基本変換 | E-01, E-04 (provideToString) | ○ |
| C-60 | to_string: 複雑なパターン | E-01, E-04 (provideToString) | ○ |
| C-61 | to_string: ワイルドカード | E-01, E-04 (provideToString) | ○ |
| C-62 | Exception: PREG_INTERNAL_ERROR | E-03 | ○ |
| C-63 | Exception: PREG_BACKTRACK_LIMIT_ERROR | E-03, E-04 (testRecursion) | ○ |
| C-64 | Exception: PREG_RECURSION_LIMIT_ERROR | E-03 | ○ |
| C-65 | Exception: PREG_BAD_UTF8_ERROR | E-03 | ○ |
| C-66 | Exception: PREG_BAD_UTF8_OFFSET_ERROR | E-03 | ○ |
| C-67 | Exception: PREG_BAD_REGEX_ERROR | E-03 | ○ |
| C-68 | Exception: PREG_JIT_STACKLIMIT_ERROR | E-03 | ○ |
| C-69 | Exception: 未知のエラーコード | E-03 | ○ |
| C-70 | regex_match: 基本動作 | E-02 | ○ |
| C-71 | regex_match: 負のoffset変換 | E-02 | ○ |
| C-72 | regex_match: offset検証 | E-02 | △ |
| C-73 | regex_match: PCREエラー | E-02 | △ |

## 4) 不足情報（Unknown / Missing）
- **C-72, C-73**: 内部関数`regex_match`のエラーハンドリングは`_Private\validate_offset`と`_Private\_Regex\match`に依存しているが、これらの実装詳細は`src/_Private/`配下にあり、本モジュールの範囲外
  - 候補：`src/_Private/validate_offset.php` / `src/_Private/_Regex/match.php`

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全体的に高い信頼度（97%）
- **1: 中リスク** - 内部関数（private.php）のテストケースは実装詳細に依存
  - `regex_match`関数は公開APIから間接的にテストされるため、直接テストの必要性は低い

## 6) レビュアーチェックリスト（最小）
- [ ] first_match関数の全テストケース（正常系・異常系・境界値）が網羅されているか確認
- [ ] every_match関数の空マッチ（長さ0のマッチ）の処理が正しくカバーされているか確認
- [ ] replace関数のバックリファレンス（\1, \$1など）のテストケースが十分か確認
- [ ] replace_with関数のコールバック関数内でのキャプチャグループアクセスが正しくテストされているか確認
- [ ] split関数のlimit境界値（limit=2の最小値）が正しくテストされているか確認
- [ ] Exception各エラーコードのメッセージフォーマットが正しいか確認
- [ ] 内部関数（private.php）のテストが公開API経由で十分にカバーされているか確認
