---
generated_at: 2026-02-17 20:55:00
metrics:
  claims_total: 49
  claims_with_evidence: 49
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：結合テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：49 / 49、根拠なし：0
- 優先レビュー（高）
  1. 該当なし - すべてのテストケースがソースコードから直接抽出されています

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

- E-01: `test/tclient/tests/single-mode.lua` - 単一ファイルモードテスト
- E-02: `test/tclient/tests/multi-workspace.lua` - マルチワークスペーステスト
- E-03: `test/tclient/tests/load-library.lua` - ライブラリ読み込みテスト
- E-04: `test/tclient/tests/resolve-completion.lua` - 補完解決テスト
- E-05: `test/tclient/tests/change-workspace-folder.lua` - ワークスペース変更テスト
- E-06: `test/tclient/tests/jump-source.lua` - ソースジャンプテスト
- E-07: `test/tclient/tests/files-associations.lua` - ファイル関連付けテスト
- E-08: `test/tclient/tests/load-relative-library.lua` - 相対ライブラリテスト
- E-09: `test/tclient/tests/modify-luarc.lua` - luarc変更テスト
- E-10: `test/crossfile/definition.lua` - クロスファイル定義ジャンプテスト
- E-11: `test/crossfile/references.lua` - クロスファイル参照検索テスト
- E-12: `test/crossfile/hover.lua` - クロスファイルホバー情報テスト
- E-13: `test/crossfile/completion.lua` - クロスファイル補完テスト
- E-14: `test/crossfile/diagnostic.lua` - クロスファイル診断テスト
- E-15: `test/crossfile/infer.lua` - クロスファイル型推論テスト
- E-16: `test/tclient/tests/library-ignore-limit.lua` - ライブラリ制限無視テスト
- E-17: `test/tclient/tests/performance-jass-common.lua` - パフォーマンステスト
- E-18: `test/tclient/tests/build-meta.lua` - メタビルドテスト
- E-19: `test/tclient/tests/recursive-runner.lua` - 再帰ランナーテスト
- E-20: `test/tclient/tests/same-prefix.lua` - 同一プレフィックステスト
- E-21: `test/tclient/tests/folders-with-single-file.lua` - 単一ファイルフォルダテスト
- E-22: `test/tclient/tests/hover-pairs.lua` - pairs関数ホバーテスト
- E-23: `test/tclient/tests/hover-set-local.lua` - ローカル変数ホバーテスト
- E-24: `script/lclient.lua` - LSPクライアント実装
- E-25: `test.lua` - テストエントリーポイント

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | IT-001: 単一ファイルでの定義ジャンプテスト | E-01 | ○ |
| C-02 | IT-002: 複数ワークスペースでの定義解決テスト | E-02 | ○ |
| C-03 | IT-003: ワークスペース間のライブラリ共有テスト | E-02 | ○ |
| C-04 | IT-004: 外部ライブラリファイルの定義ジャンプテスト | E-03 | ○ |
| C-05 | IT-005: 補完項目の詳細情報解決テスト | E-04 | ○ |
| C-06 | IT-006: ワークスペースフォルダの動的変更テスト | E-05 | ○ |
| C-07 | IT-007: @sourceアノテーションによる外部ファイルジャンプテスト | E-06 | ○ |
| C-08 | IT-008: カスタムファイル拡張子の言語関連付けテスト | E-07 | ○ |
| C-09 | IT-009: 相対パスによるライブラリ読み込みテスト | E-08 | ○ |
| C-10 | IT-010: .luarcファイルの動的変更テスト | E-09 | ○ |
| C-11 | IT-011: requireによるファイル間定義ジャンプテスト | E-10 | ○ |
| C-12 | IT-012: ネストしたモジュールパスの定義ジャンプテスト | E-10 | ○ |
| C-13 | IT-013: エクスポートされた関数の定義ジャンプテスト | E-10 | ○ |
| C-14 | IT-014: テーブルフィールドの定義ジャンプテスト | E-10 | ○ |
| C-15 | IT-015: グローバル変数のファイル間定義ジャンプテスト | E-10 | ○ |
| C-16 | IT-016: メタテーブルメソッドの定義ジャンプテスト | E-10 | ○ |
| C-17 | IT-017: @classアノテーションによる型定義ジャンプテスト | E-10 | ○ |
| C-18 | IT-018: グローバル変数のファイル間参照検索テスト | E-11 | ○ |
| C-19 | IT-019: @classフィールドのファイル間参照検索テスト | E-11 | ○ |
| C-20 | IT-020: テーブルフィールドのファイル間参照検索テスト | E-11 | ○ |
| C-21 | IT-021: モジュール関数の複数ファイル参照検索テスト | E-11 | ○ |
| C-22 | IT-022: @aliasのファイル間参照検索テスト | E-11 | ○ |
| C-23 | IT-023: require文字列のホバー情報表示テスト | E-12 | ○ |
| C-24 | IT-024: requireされた関数のホバー情報表示テスト | E-12 | ○ |
| C-25 | IT-025: メタテーブルメソッドのホバー情報表示テスト | E-12 | ○ |
| C-26 | IT-026: requireされたテーブルのホバー情報表示テスト | E-12 | ○ |
| C-27 | IT-027: @classドキュメントコメントのホバー表示テスト | E-12 | ○ |
| C-28 | IT-028: requireパスの補完テスト | E-13 | ○ |
| C-29 | IT-029: ネストしたモジュールパスの補完テスト | E-13 | ○ |
| C-30 | IT-030: requireされたモジュールのフィールド補完テスト | E-13 | ○ |
| C-31 | IT-031: グローバル変数のファイル間補完テスト | E-13 | ○ |
| C-32 | IT-032: @metaファイルのrequire補完除外テスト | E-13 | ○ |
| C-33 | IT-033: 同一モジュールの異なるrequireパス検出テスト | E-14 | ○ |
| C-34 | IT-034: @field packageの可視性違反検出テスト | E-14 | ○ |
| C-35 | IT-035: @classフィールドの重複定義検出テスト | E-14 | ○ |
| C-36 | IT-036: クラスメソッドの重複定義検出テスト | E-14 | ○ |
| C-37 | IT-037: @classフィールドのファイル間型推論テスト | E-15 | ○ |
| C-38 | IT-038: グローバル変数の複数定義での型推論テスト | E-15 | ○ |
| C-39 | IT-039: @metaファイルでの複数定義型推論テスト | E-15 | ○ |
| C-40 | IT-040: requireの複数戻り値型推論テスト | E-15 | ○ |
| C-41 | IT-041: pairs関数のイテレータ変数型推論テスト | E-12 | ○ |
| C-42 | IT-042: ライブラリファイル数制限の無視設定テスト | E-16 | ○ |
| C-43 | IT-043: 大規模ファイルの解析パフォーマンステスト | E-17 | ○ |
| C-44 | IT-044: メタファイルのビルド処理テスト | E-18 | ○ |
| C-45 | IT-045: 再帰的なランナー処理テスト | E-19 | ○ |
| C-46 | IT-046: 同一プレフィックスファイルの識別テスト | E-20 | ○ |
| C-47 | IT-047: 単一ファイルを含むフォルダの処理テスト | E-21 | ○ |
| C-48 | IT-048: pairs関数戻り値のホバー情報テスト | E-22 | ○ |
| C-49 | IT-049: ローカル変数代入時のホバー情報テスト | E-23 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし
  - すべてのテストケースは実際のテストコードファイルから直接抽出されました
  - テスト実行環境やCI/CD設定についての詳細は別途確認が必要な場合があります

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースがソースコードに基づいて生成されており、根拠が明確です

**補足事項:**
- テストケースの網羅性: lua-language-serverのtestディレクトリ構造を調査し、特に結合テストに該当する `test/tclient/` と `test/crossfile/` ディレクトリからテストケースを抽出しました
- LSPプロトコルベースの結合テスト: `lclient.lua` によるLSPクライアントシミュレーションを使用したテストが主要な結合テストパターンです
- クロスファイルテスト: 複数ファイル間の連携（定義ジャンプ、参照検索、補完、診断）が中心的なテスト対象です

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースIDが一意であることを確認
- [ ] テスト種別が適切に分類されていることを確認
- [ ] 前提条件とテスト手順の整合性を確認
- [ ] 期待結果が具体的かつ検証可能であることを確認
- [ ] 優先度の設定が適切であることを確認
- [ ] 実際のテストコードとの対応が正確であることを確認
