---
generated_at: 2026-02-17 12:30:00
metrics:
  claims_total: 70
  claims_with_evidence: 62
  claims_without_evidence: 8
confidence_derived: 0.89
---

# 根拠レポート：受入テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.89**
  - 根拠あり：62 / 70、根拠なし：8
- 優先レビュー（高）
  1. **UAT-058 パフォーマンス要件**：具体的な数値根拠なし
  2. **UAT-059 パフォーマンス要件**：具体的な数値根拠なし
  3. **UAT-061 自動require機能**：補完候補選択時の自動挿入動作の詳細確認必要

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

- E-01: `test/completion/init.lua` - コード補完テストフレームワーク
- E-02: `test/completion/common.lua` - 共通補完テストケース
- E-03: `test/definition/init.lua` - 定義ジャンプテストフレームワーク
- E-04: `test/definition/local.lua` - ローカル変数定義テスト
- E-05: `test/definition/function.lua` - 関数定義テスト
- E-06: `test/definition/field.lua` - フィールド定義テスト
- E-07: `test/definition/method.lua` - メソッド定義テスト
- E-08: `test/references/init.lua` - 参照検索テストフレームワーク
- E-09: `test/references/common.lua` - 共通参照テスト
- E-10: `test/references/all.lua` - 全参照テスト
- E-11: `test/hover/init.lua` - ホバー情報テスト（大規模テストケース集）
- E-12: `test/signature/init.lua` - シグネチャヘルプテスト
- E-13: `test/diagnostics/init.lua` - 診断テストフレームワーク
- E-14: `test/diagnostics/undefined-global.lua` - 未定義グローバルテスト
- E-15: `test/diagnostics/unused-local.lua` - 未使用ローカルテスト
- E-16: `test/diagnostics/assign-type-mismatch.lua` - 型不一致テスト
- E-17: `test/diagnostics/duplicate-index.lua` - 重複インデックステスト
- E-18: `test/diagnostics/deprecated.lua` - 非推奨警告テスト
- E-19: `test/document_symbol/init.lua` - ドキュメントシンボルテスト
- E-20: `test/highlight/init.lua` - ハイライトテスト
- E-21: `test/inlay_hint/init.lua` - インレイヒントテスト
- E-22: `test/type_inference/init.lua` - 型推論テストフレームワーク
- E-23: `test/type_inference/common.lua` - 共通型推論テスト
- E-24: `test/implementation/init.lua` - 実装ジャンプテスト
- E-25: `script/core/rename.lua` - リネーム機能実装
- E-26: `script/core/formatting.lua` - フォーマット機能実装
- E-27: `script/core/rangeformatting.lua` - 範囲フォーマット機能実装
- E-28: `script/core/code-action.lua` - コードアクション実装
- E-29: `script/core/code-lens.lua` - コードレンズ実装
- E-30: `script/core/type-definition.lua` - 型定義ジャンプ実装
- E-31: `script/core/folding.lua` - 折りたたみ実装
- E-32: `script/core/workspace-symbol.lua` - ワークスペースシンボル実装
- E-33: `script/parser/compile.lua` - パーサー実装
- E-34: `script/parser/luadoc.lua` - LuaDoc解析実装
- E-35: `script/config/loader.lua` - 設定ローダー実装
- E-36: `script/workspace/require-path.lua` - requireパス解決実装
- E-37: `script/cli/help.lua` - CLIヘルプ実装
- E-38: `script/cli/check.lua` - CLI診断チェック実装
- E-39: `script/cli/doc/init.lua` - CLIドキュメント生成実装
- E-40: `script/core/completion/auto-require.lua` - 自動require実装
- E-41: `script/core/completion/postfix.lua` - 後置補完実装
- E-42: `script/core/semantic-tokens.lua` - セマンティックトークン実装
- E-43: `script/core/color.lua` - カラー機能実装
- E-44: `locale/ja-jp/` - 日本語ローカライズファイル
- E-45: `script/plugins/ffi/` - FFIプラグイン
- E-46: `script/vm/generic.lua` - ジェネリクス実装
- E-47: `README.md` - プロジェクト概要説明
- E-48: `docs/code-to-docs/機能一覧/機能一覧.csv` - 機能一覧ドキュメント
- E-49: `docs/code-to-docs/画面一覧/画面一覧.csv` - 画面一覧ドキュメント

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UAT-001: 変数名の補完候補表示 | E-01, E-02 | ○ |
| C-02 | UAT-002: グローバル関数の補完候補表示 | E-01, E-02 | ○ |
| C-03 | UAT-003: テーブルフィールドの補完候補表示 | E-01, E-02 | ○ |
| C-04 | UAT-004: メソッド呼び出しの補完候補表示 | E-01, E-02 | ○ |
| C-05 | UAT-005: キーワード補完の表示 | E-01, E-02 | ○ |
| C-06 | UAT-006: ローカル変数の定義位置へジャンプ | E-03, E-04 | ○ |
| C-07 | UAT-007: 関数の定義位置へジャンプ | E-03, E-05 | ○ |
| C-08 | UAT-008: テーブルフィールドの定義位置へジャンプ | E-03, E-06 | ○ |
| C-09 | UAT-009: メソッドの定義位置へジャンプ | E-03, E-07 | ○ |
| C-10 | UAT-010: ローカル変数の全参照箇所を検索 | E-08, E-09 | ○ |
| C-11 | UAT-011: 関数の全参照箇所を検索 | E-08, E-10 | ○ |
| C-12 | UAT-012: 変数の型情報をホバー表示 | E-11 | ○ |
| C-13 | UAT-013: 関数のシグネチャをホバー表示 | E-11 | ○ |
| C-14 | UAT-014: LuaDocコメントをホバー表示 | E-11, E-34 | ○ |
| C-15 | UAT-015: 関数呼び出し時の引数情報表示 | E-12 | ○ |
| C-16 | UAT-016: 現在の引数位置のハイライト | E-12 | ○ |
| C-17 | UAT-017: 未定義グローバル変数の警告表示 | E-13, E-14 | ○ |
| C-18 | UAT-018: 未使用ローカル変数の警告表示 | E-13, E-15 | ○ |
| C-19 | UAT-019: 型不一致の警告表示 | E-13, E-16 | ○ |
| C-20 | UAT-020: 構文エラーの検出 | E-33 | ○ |
| C-21 | UAT-021: 重複インデックスの警告表示 | E-13, E-17 | ○ |
| C-22 | UAT-022: ローカル変数の名前を一括変更 | E-25 | ○ |
| C-23 | UAT-023: 関数名の一括変更 | E-25 | ○ |
| C-24 | UAT-024: ファイル内シンボルのアウトライン表示 | E-19 | ○ |
| C-25 | UAT-025: ワークスペース全体からシンボル検索 | E-32 | ○ |
| C-26 | UAT-026: クイックフィックスの提案表示 | E-28 | ○ |
| C-27 | UAT-027: 診断無視コメントの挿入 | E-28 | ○ |
| C-28 | UAT-028: ドキュメント全体のフォーマット | E-26 | ○ |
| C-29 | UAT-029: 選択範囲のフォーマット | E-27 | ○ |
| C-30 | UAT-030: パラメータ名のインレイヒント表示 | E-21 | ○ |
| C-31 | UAT-031: 戻り値の型のインレイヒント表示 | E-21 | ○ |
| C-32 | UAT-032: 同一シンボルのハイライト表示 | E-20 | ○ |
| C-33 | UAT-033: 参照数のコードレンズ表示 | E-29 | ○ |
| C-34 | UAT-034: クラス型の定義位置へジャンプ | E-30 | ○ |
| C-35 | UAT-035: インターフェースの実装位置へジャンプ | E-24 | ○ |
| C-36 | UAT-036: 関数の折りたたみ | E-31 | ○ |
| C-37 | UAT-037: 数値リテラルの型推論 | E-11, E-22, E-23 | ○ |
| C-38 | UAT-038: テーブルの型推論 | E-11, E-22, E-23 | ○ |
| C-39 | UAT-039: 関数の戻り値型推論 | E-11, E-22, E-23 | ○ |
| C-40 | UAT-040: @paramアノテーションの反映 | E-11, E-34 | ○ |
| C-41 | UAT-041: @returnアノテーションの反映 | E-11, E-34 | ○ |
| C-42 | UAT-042: @classアノテーションの反映 | E-11, E-34 | ○ |
| C-43 | UAT-043: @fieldアノテーションの反映 | E-11, E-34 | ○ |
| C-44 | UAT-044: @aliasアノテーションの反映 | E-34 | ○ |
| C-45 | UAT-045: @deprecatedアノテーションの反映 | E-18 | ○ |
| C-46 | UAT-046: 特定診断のファイル全体無効化 | E-13 | ○ |
| C-47 | UAT-047: 特定行の診断無効化 | E-13 | ○ |
| C-48 | UAT-048: 別ファイルの定義へジャンプ | E-03 | ○ |
| C-49 | UAT-049: 複数ファイルにまたがる参照検索 | E-08 | ○ |
| C-50 | UAT-050: Lua 5.1構文のサポート | E-33, E-47 | ○ |
| C-51 | UAT-051: Lua 5.4構文のサポート | E-33, E-47 | ○ |
| C-52 | UAT-052: LuaJIT構文のサポート | E-33, E-47 | ○ |
| C-53 | UAT-053: .luarc.json設定の読み込み | E-35 | ○ |
| C-54 | UAT-054: ライブラリパス設定の反映 | E-36 | ○ |
| C-55 | UAT-055: コマンドラインヘルプの表示 | E-37 | ○ |
| C-56 | UAT-056: プロジェクトの診断チェック | E-38 | ○ |
| C-57 | UAT-057: LuaDocからドキュメント生成 | E-39 | ○ |
| C-58 | UAT-058: 大規模ファイルでの補完応答（2秒以内） | **根拠なし** | △ |
| C-59 | UAT-059: 大規模プロジェクトでの定義ジャンプ（3秒以内） | **根拠なし** | △ |
| C-60 | UAT-060: 構文エラー時の部分解析継続 | E-33 | ○ |
| C-61 | UAT-061: 未インポートモジュールの自動require | E-40 | ○ |
| C-62 | UAT-062: .ifによる条件文生成 | E-41 | ○ |
| C-63 | UAT-063: .forによるループ文生成 | E-41 | ○ |
| C-64 | UAT-064: シンタックスハイライトの提供 | E-42 | ○ |
| C-65 | UAT-065: カラーコードの視覚化 | E-43 | ○ |
| C-66 | UAT-066: 日本語ローカライズ表示 | E-44 | ○ |
| C-67 | UAT-067: FFIサポート機能 | E-45 | ○ |
| C-68 | UAT-068: ジェネリック型の推論 | E-46 | ○ |
| C-69 | UAT-069: オーバーロード関数のシグネチャ表示 | E-12 | ○ |
| C-70 | UAT-070: 継承クラスのフィールド補完 | **根拠不足** | △ |

## 4) 不足情報（Unknown / Missing）
- **パフォーマンス要件（UAT-058, UAT-059）**: プロジェクトコードに明示的なパフォーマンス基準の記載が見つからない
  - 候補：パフォーマンステスト結果 / ベンチマーク記録 / 要件定義書
- **継承クラスの補完詳細（UAT-070）**: 継承関係の補完に関する専用テストケースが見つからない
  - 候補：test/completion/に継承関連テストを追加 / 既存テストの詳細確認
- **UI固有の操作詳細**: エディタ固有のUI操作（クリック位置、ショートカット）はコードから直接確認困難
  - 候補：VSCode拡張のドキュメント / エンドユーザーマニュアル

## 5) リスクフラグ（レビュー観点）
- **1: 中リスク** - パフォーマンス関連テストケース（UAT-058, UAT-059）の数値基準は実環境テストで検証が必要
- **0: 低リスク** - 大半のテストケースはプロジェクト内のテストコードに対応する根拠がある
- **1: 中リスク** - CLIモードのテストケース（UAT-055〜057）は実行環境依存の可能性あり

## 6) レビュアーチェックリスト（最小）
- [ ] パフォーマンス要件（2秒、3秒の基準）が妥当かどうかを実機で確認
- [ ] 継承クラスの補完機能（UAT-070）が実際に動作するか確認
- [ ] CLIモードのテストケースが対象環境で実行可能か確認
- [ ] 日本語ローカライズが正しく表示されるか実機確認
- [ ] テストケースの優先度（高/中/低）が実際のユースケース頻度と一致しているか確認
- [ ] 各テストケースの前提条件が現実的かつ再現可能か確認
