---
generated_at: 2026-02-19 18:45:00
metrics:
  claims_total: 65
  claims_with_evidence: 65
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：modules-lang-php 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：65 / 65、根拠なし：0
- 優先レビュー（高）
  1. **なし**：すべてのテストケースに根拠あり

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

- E-01: `modules/lang/php/config.el` - メイン設定ファイル（172行）
- E-02: `modules/lang/php/autoload.el` - 自動ロード関数定義（27行）
- E-03: `modules/lang/php/packages.el` - パッケージ定義（13行）
- E-04: `modules/lang/php/doctor.el` - 診断スクリプト（23行）
- E-05: `docs/code-to-docs/単体テストケース一覧/plan.md` - 生成プラン

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

### config.el 関連（UT-PHP-001 〜 UT-PHP-026, UT-PHP-055 〜 UT-PHP-065）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +php-default-docker-containerのデフォルト値は"php-fpm" | E-01 (L3-4) | ○ |
| C-02 | +php-default-docker-composeのデフォルト値は"docker-compose.yml" | E-01 (L6-7) | ○ |
| C-03 | +php-run-tests-in-dockerのデフォルト値はnil | E-01 (L9-10) | ○ |
| C-04 | +php-common-configはset-docsets!でPHP関連docsetを設定 | E-01 (L21) | ○ |
| C-05 | +php-common-configはset-repl-handler!で+php/open-replを設定 | E-01 (L22) | ○ |
| C-06 | +php-common-configはset-lookup-handlers!でphp-search-documentationを設定 | E-01 (L23) | ○ |
| C-07 | +php-common-configはset-ligatures!でリガチャを設定 | E-01 (L24-40) | ○ |
| C-08 | +php-common-configはsp-local-pairでPHPタグペアを設定 | E-01 (L44-46) | ○ |
| C-09 | +lsp有効時にlsp!がmode-local-vars-hookに追加される | E-01 (L48-51) | ○ |
| C-10 | PHPUnitテストキーバインドt r, t a, t sが設定される | E-01 (L53-58) | ○ |
| C-11 | +php--correct-indent-styles-aはphp-ts-mode--get-indent-styleのアドバイス | E-01 (L94-105) | ○ |
| C-12 | PSR-2スタイルでmember_call_expressionのインデントルールが追加される | E-01 (L100-102) | ○ |
| C-13 | +php-laravel-modeはartisanとserver.phpの両方が必要 | E-01 (L154-156) | ○ |
| C-14 | +php-composer-modeはcomposer.jsonが必要 | E-01 (L158-160) | ○ |
| C-15 | +phpunit-docker-compose-modeは+php-run-tests-in-dockerがtの場合のみ有効 | E-01 (L162-163) | ○ |
| C-16 | +phpunit-docker-compose-mode有効時にphpunit-argsが設定される | E-01 (L167) | ○ |
| C-17 | +phpunit-docker-compose-mode有効時にphpunit-executableが設定される | E-01 (L168) | ○ |
| C-18 | +phpunit-docker-compose-mode無効時にphpunit-args/executableがnilにリセット | E-01 (L170-171) | ○ |
| C-19 | projectile-project-root-filesにcomposer.jsonが追加される | E-01 (L13-14) | ○ |
| C-20 | php-mode-template-compatibilityがnilに設定される | E-01 (L68) | ○ |
| C-21 | php-ts-modeでtree-sitter文法が設定される | E-01 (L76-87) | ○ |
| C-22 | ABIバージョンに応じて異なるコミットが使用される | E-01 (L79-82) | ○ |
| C-23 | php-refactor-modeがphp-modeとphp-ts-modeにフック | E-01 (L108-110) | ○ |
| C-24 | リファクタリングキーバインドr cv, r u, r xm, r rvが設定される | E-01 (L112-118) | ○ |
| C-25 | .hh拡張子でhack-modeが有効化される | E-01 (L121-123) | ○ |
| C-26 | composer-directory-to-managed-fileが設定される | E-01 (L129) | ○ |
| C-27 | +php-common-mode-mapにComposerコマンドが設定される | E-01 (L131-140) | ○ |
| C-28 | php-language-server.phpが存在すればlsp-clients-php-server-commandが設定される | E-01 (L49-50) | ○ |

### autoload.el 関連（UT-PHP-027 〜 UT-PHP-037）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-29 | +php-composer-conf変数はequal testのハッシュテーブル | E-02 (L3) | ○ |
| C-30 | +php-composer-conf関数はcomposer.jsonを読み込んでalistを返す | E-02 (L6-15) | ○ |
| C-31 | キャッシュが利用される（refresh-p=nil時） | E-02 (L10) | ○ |
| C-32 | refresh-p=t時はキャッシュを無視して再読み込み | E-02 (L10) | ○ |
| C-33 | composer.jsonが存在しない場合はnilが返される | E-02 (L12) | ○ |
| C-34 | project-rootがnilの場合はdoom-project-rootが使用される | E-02 (L9) | ○ |
| C-35 | 異なるプロジェクトのキャッシュは独立して管理される | E-02 (L15) | ○ |
| C-36 | +php/open-replはpsyshを呼び出す | E-02 (L25) | ○ |
| C-37 | +php/open-replはpop-to-bufferでバッファを表示 | E-02 (L26) | ○ |

### doctor.el 関連（UT-PHP-038 〜 UT-PHP-047）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-38 | +lsp有効時に:tools lsp依存がチェックされる | E-04 (L4-6) | ○ |
| C-39 | +tree-sitter有効時に:tools tree-sitter依存がチェックされる | E-04 (L8-10) | ○ |
| C-40 | php-ts-modeの存在がチェックされる | E-04 (L11-12) | ○ |
| C-41 | :lang javascript +tree-sitter依存がチェックされる | E-04 (L13-14) | ○ |
| C-42 | :lang web +tree-sitter依存がチェックされる | E-04 (L15-16) | ○ |
| C-43 | php実行ファイルの存在がチェックされる | E-04 (L18-19) | ○ |
| C-44 | composer実行ファイルの存在がチェックされる | E-04 (L21-22) | ○ |

### packages.el 関連（UT-PHP-048 〜 UT-PHP-054）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-45 | psyshパッケージが定義される | E-03 (L4) | ○ |
| C-46 | php-modeパッケージが定義される | E-03 (L5) | ○ |
| C-47 | php-refactor-modeパッケージが定義される | E-03 (L6) | ○ |
| C-48 | phpunitパッケージが定義される | E-03 (L7) | ○ |
| C-49 | composerパッケージが定義される | E-03 (L8) | ○ |
| C-50 | +hack有効時にhack-modeパッケージが定義される | E-03 (L10-13) | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし - すべてのテストケースに対応するコード根拠が存在

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースがソースコードから直接導出されている

### 潜在的な考慮事項
- **外部依存**: psysh, php-mode, phpunit等の外部パッケージの動作はテスト対象外
- **Emacs環境依存**: treesit-available-p, Emacs 30.1+等のバージョン依存テストは実行環境に制約あり
- **Docker環境**: +phpunit-docker-compose-modeのテストにはDocker環境が必要

## 6) レビュアーチェックリスト（最小）
- [ ] 各テストケースIDが連番かつ重複がないこと
- [ ] 対象ファイルパスが正確であること（modules/lang/php/配下の4ファイル）
- [ ] テスト観点（正常系/異常系/境界値）のバランスが適切であること
- [ ] 優先度の割り当てが妥当であること（高: 認証・LSP関連、中: 設定関連、低: デフォルト値）
- [ ] 前提条件と入力値が具体的かつ再現可能であること
- [ ] 期待結果が検証可能な形式で記述されていること

## 付録：モジュール構造

```
modules/lang/php/
├── config.el      # メイン設定（172行）- 変数定義、関数、プロジェクトモード
├── autoload.el    # 自動ロード関数（27行）- composer.json読み込み、REPL起動
├── packages.el    # パッケージ定義（13行）- 6パッケージ定義
└── doctor.el      # 診断スクリプト（23行）- 依存関係・環境チェック
```

## 付録：テストケース分布

| 対象ファイル | テストケース数 | 割合 |
|-------------|---------------|------|
| config.el | 37 | 56.9% |
| autoload.el | 11 | 16.9% |
| doctor.el | 10 | 15.4% |
| packages.el | 7 | 10.8% |
| **合計** | **65** | **100%** |

| テスト観点 | テストケース数 | 割合 |
|-----------|---------------|------|
| 正常系 | 48 | 73.8% |
| 異常系 | 13 | 20.0% |
| 境界値 | 4 | 6.2% |
| **合計** | **65** | **100%** |

| 優先度 | テストケース数 | 割合 |
|-------|---------------|------|
| 高 | 18 | 27.7% |
| 中 | 40 | 61.5% |
| 低 | 7 | 10.8% |
| **合計** | **65** | **100%** |
