---
generated_at: 2026-02-21 10:30:00
metrics:
  claims_total: 42
  claims_with_evidence: 38
  claims_without_evidence: 4
confidence_derived: 0.90
---

# 根拠レポート：locale.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.90**
  - 根拠あり：38 / 42、根拠なし：4
- 優先レビュー（高）
  1. **UT-LOC-005**：空文字列の例外挙動 - InvalidLocaleExceptionの定義が外部モジュールにあり確認不可
  2. **UT-LOC-006**：マジックロケール'0'の例外挙動 - ソースコードのコメントに基づく推測
  3. **UT-LOC-007**：無効なロケール文字列の挙動 - _Private\_Locale内部実装に依存
  4. **UT-LOC-008**：UTF-8以外のエンコーディングの挙動 - ドキュメントコメントからの推測

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

- E-01: `src/locale/Locale.php` - Localeタイプ定義（type alias）
- E-02: `src/locale/Category.php` - Category enum定義（LC_ALL, LC_COLLATE, LC_CTYPE, LC_MONETARY, LC_NUMERIC, LC_TIME, LC_MESSAGES）
- E-03: `src/locale/mutate.php` - create()関数とmodified()関数の定義
- E-04: `src/locale/predefined.php` - c(), bytes(), get_native(), set_native(), from_environment()関数の定義
- E-05: `tests/locale/LocaleTest.php` - 既存テストケース（testBytesLocale, testUTF8Locale, testGetSet, testModified, testCBytesAlias）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | create()で有効なロケール文字列からLocaleが作成される | E-03（27-29行目）、E-05（54行目） | ○ |
| C-02 | create()でUTF-8エンコーディング付きロケールが作成される | E-03（17-21行目コメント）、E-05（54行目） | ○ |
| C-03 | create()でCロケールが作成される | E-03（17-19行目コメント） | ○ |
| C-04 | create()でfr_FR.UTF-8ロケールが作成される | E-05（54行目） | ○ |
| C-05 | create()で空文字列が渡された場合に例外がスローされる | E-03（23-25行目コメント） | △ |
| C-06 | create()でマジックロケール'0'が渡された場合に例外がスローされる | E-03（23-25行目コメント） | △ |
| C-07 | create()で無効なロケール文字列が渡された場合の挙動 | **根拠なし** | △ |
| C-08 | create()でUTF-8以外のエンコーディングが指定された場合の挙動 | E-03（21行目コメント） | △ |
| C-09 | modified()でLC_CTYPEを変更した新しいLocaleが作成される | E-03（42-55行目）、E-05（82-83行目） | ○ |
| C-10 | modified()でLC_NUMERICを変更した新しいLocaleが作成される | E-03（42-55行目）、E-05（84-87行目） | ○ |
| C-11 | modified()でLC_COLLATEを変更した新しいLocaleが作成される | E-03（42-55行目）、E-02（17行目） | ○ |
| C-12 | modified()でLC_MONETARYを変更した新しいLocaleが作成される | E-03（42-55行目）、E-02（19行目） | ○ |
| C-13 | modified()でLC_TIMEを変更した新しいLocaleが作成される | E-03（42-55行目）、E-02（21行目） | ○ |
| C-14 | modified()でLC_MESSAGESを変更した新しいLocaleが作成される | E-03（42-55行目）、E-02（22行目） | ○ |
| C-15 | modified()でLC_ALLを変更した新しいLocaleが作成される | E-03（42-55行目）、E-02（16行目） | ○ |
| C-16 | modified()で空文字列が渡された場合にInvalidLocaleExceptionがスローされる | E-03（43-47行目） | ○ |
| C-17 | modified()で元のLocaleオブジェクトが変更されない | E-03（50-54行目） | ○ |
| C-18 | c()でCロケールが取得できる | E-04（23-25行目） | ○ |
| C-19 | c()で取得されたCロケールのLC_CTYPEが'C'である | E-05（94行目） | ○ |
| C-20 | bytes()でbytesロケールが取得できる | E-04（37-39行目） | ○ |
| C-21 | bytes()でnullバイトを含む文字列の長さが正しく計算される | E-04（27-35行目コメント） | ○ |
| C-22 | bytes()とc()が同一の設定を持つ | E-05（96行目） | ○ |
| C-23 | bytes()でマルチバイト文字がバイト数で計算される | E-05（41行目） | ○ |
| C-24 | get_native()で現在のスレッドのネイティブロケールが取得できる | E-04（53-55行目）、E-05（66行目） | ○ |
| C-25 | get_native()でsetlocale()と一致するLocaleが取得される | E-05（63-66行目） | ○ |
| C-26 | set_native()でLocaleオブジェクトをネイティブロケールとして設定できる | E-04（61-63行目）、E-05（71行目） | ○ |
| C-27 | set_native()で設定した後のget_native()で同じロケールが返される | E-05（66-73行目） | ○ |
| C-28 | set_native()がsprintf()の出力に影響する | E-05（72行目） | ○ |
| C-29 | from_environment()で環境変数から設定されたロケールが取得できる | E-04（73-75行目） | ○ |
| C-30 | from_environment()でLC_ALL環境変数の設定が反映される | E-04（65-68行目コメント） | ○ |
| C-31 | Category::LC_ALLが正しい値を持つ | E-02（16行目） | ○ |
| C-32 | Category::LC_COLLATEが正しい値を持つ | E-02（17行目） | ○ |
| C-33 | Category::LC_CTYPEが正しい値を持つ | E-02（18行目） | ○ |
| C-34 | Category::LC_MONETARYが正しい値を持つ | E-02（19行目） | ○ |
| C-35 | Category::LC_NUMERICが正しい値を持つ | E-02（20行目） | ○ |
| C-36 | Category::LC_TIMEが正しい値を持つ | E-02（21行目） | ○ |
| C-37 | Category::LC_MESSAGESが正しい値を持つ | E-02（22行目） | ○ |
| C-38 | Localeタイプが正しく定義されている | E-01（19行目） | ○ |
| C-39 | create()で最小の有効なロケール文字列'C'で作成できる | E-03（18-19行目コメント） | ○ |
| C-40 | bytes()で数値フォーマットがCロケール準拠である | E-05（42行目） | ○ |
| C-41 | modified()で複数のカテゴリを連続して変更できる | E-03（42-55行目） | ○ |
| C-42 | get_native()でデフォルト状態（Cロケール）での取得が正しく動作する | E-05（68-69行目） | ○ |

## 4) 不足情報（Unknown / Missing）
- **InvalidLocaleException クラスの定義**: `_Private\_Locale` 内部モジュールに定義されていると推測されるが、ソースコードが見つからなかった
  - 候補：`src/_Private/_Locale/` / HHVM内部実装 / 外部依存
- **無効なロケール文字列のエラー挙動**: `_Locale\newlocale_all()` 内部実装に依存
  - 候補：例外がスローされる / nullが返される / エラーハンドリング
- **UTF-8以外のエンコーディングの具体的なエラー**: ドキュメントコメントに「must be UTF-8」とあるが、具体的なエラー内容は不明
  - 候補：InvalidLocaleException / InvalidArgumentException / その他

## 5) リスクフラグ（レビュー観点）
- **1: 中リスク** - InvalidLocaleExceptionの定義と挙動が外部モジュールに依存
- **1: 中リスク** - `_Private\_Locale` 内部実装への依存が多い
- **0: 低リスク** - 既存テスト（LocaleTest.php）でカバーされている機能が多い

## 6) レビュアーチェックリスト（最小）
- [ ] create()の空文字列・'0'・無効ロケールに対する例外挙動を実際に実行して確認
- [ ] modified()の空文字列に対するInvalidLocaleExceptionのメッセージ内容を確認
- [ ] UTF-8以外のエンコーディング指定時のエラーメッセージを確認
- [ ] 各Categoryのenum値がシステムのLC_*定数と一致することを確認
- [ ] from_environment()が環境変数未設定時にどのような挙動をするか確認
