---
generated_at: 2026-02-20 12:00:00
metrics:
  claims_total: 60
  claims_with_evidence: 55
  claims_without_evidence: 5
confidence_derived: 0.92
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.92**
  - 根拠あり：55 / 60、根拠なし：5
- 優先レビュー（高）
  1. **UAT-033（import文のソート）**：README.mdの記述のみで実装コード未確認
  2. **UAT-039（モジュール名によるファイル検索）**：README.mdの記述のみで実装コード未確認
  3. **UAT-047（サーバー再起動）**：README.mdの記述のみで実装コード未確認
  4. **UAT-051（多言語サポート）**：translate.dの存在は確認済みだが翻訳ファイルの実体は未確認
  5. **UAT-055（プロファイルGCエントリ取得）**：README.mdとworker存在は確認済みだが詳細実装は未確認

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

- E-01: `source/app.d` - エントリポイント、コマンドライン引数処理
- E-02: `source/served/extension.d` - LSP初期化（initialize関数）、設定変更ハンドラ、ワークスペース管理、シャットダウン、DCD管理
- E-03: `source/served/types.d` - 設定構造体（Configuration）、ワークスペース管理、型定義
- E-04: `source/served/commands/complete.d` - オートコンプリート機能
- E-05: `source/served/commands/definition.d` - 定義へのジャンプ機能
- E-06: `source/served/commands/calltips.d` - シグネチャヘルプ・ホバー情報
- E-07: `source/served/commands/format.d` - コードフォーマット機能
- E-08: `source/served/commands/rename.d` - シンボルリネーム機能
- E-09: `source/served/commands/references.d` - 参照検索機能
- E-10: `source/served/commands/highlight.d` - ドキュメントハイライト機能
- E-11: `source/served/commands/folding.d` - コード折りたたみ機能
- E-12: `source/served/commands/symbol_search.d` - シンボル検索機能
- E-13: `source/served/commands/code_actions.d` - コードアクション機能
- E-14: `source/served/commands/code_lens.d` - コードレンズ機能
- E-15: `source/served/commands/inlay_hints.d` - インレイヒント機能
- E-16: `source/served/commands/dub.d` - Dub管理機能（設定切替・依存関係・ビルドタスク）
- E-17: `source/served/commands/dcd_update.d` - DCD更新機能
- E-18: `source/served/commands/file_search.d` - ファイル検索機能
- E-19: `source/served/commands/color.d` - カラーピッカー機能
- E-20: `source/served/commands/test_provider.d` - ユニットテスト検出機能
- E-21: `source/served/commands/index.d` - バックグラウンドインデックス機能
- E-22: `source/served/lsp/protoext.d` - カスタムプロトコル拡張型定義
- E-23: `source/served/linters/diagnosticmanager.d` - 診断管理
- E-24: `README.md` - プロジェクト概要・カスタムリクエスト仕様
- E-25: `dub.json` - プロジェクト設定・サブパッケージ構成
- E-26: `source/served/utils/translate.d` - 翻訳ユーティリティ
- E-27: `source/served/workers/profilegc.d` - GCプロファイラワーカー

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UAT-001: serve-dサーバーの起動と初期化 | E-01, E-02 | ○ |
| C-02 | UAT-002: ワークスペースフォルダの読み込み | E-02, E-03 | ○ |
| C-03 | UAT-003: 複数ワークスペースフォルダの同時管理 | E-02 | ○ |
| C-04 | UAT-004: 識別子入力時のオートコンプリート | E-04 | ○ |
| C-05 | UAT-005: コンテキストスニペットによる補完 | E-04, E-01 | ○ |
| C-06 | UAT-006: シンボルの定義位置への遷移 | E-05 | ○ |
| C-07 | UAT-007: シンボル上でのホバーによるドキュメント表示 | E-06 | ○ |
| C-08 | UAT-008: 関数呼び出し時の引数ヒント表示 | E-06 | ○ |
| C-09 | UAT-009: ファイル全体のフォーマット | E-07 | ○ |
| C-10 | UAT-010: 選択範囲のフォーマット | E-07, E-02 | ○ |
| C-11 | UAT-011: シンボル名の一括変更 | E-08 | ○ |
| C-12 | UAT-012: リネーム可能かの事前確認 | E-08 | ○ |
| C-13 | UAT-013: シンボルの全参照箇所の検索 | E-09 | ○ |
| C-14 | UAT-014: 同一シンボルのハイライト | E-10 | ○ |
| C-15 | UAT-015: コードブロックの折りたたみ範囲取得 | E-11 | ○ |
| C-16 | UAT-016: ファイル内シンボル一覧の取得 | E-12 | ○ |
| C-17 | UAT-017: プロジェクト全体のシンボル検索 | E-12 | ○ |
| C-18 | UAT-018: インターフェース/抽象クラスのメソッド自動実装 | E-13 | ○ |
| C-19 | UAT-019: 未定義識別子へのimport文自動追加 | E-13 | ○ |
| C-20 | UAT-020: import文のコンパイル時間表示 | E-14 | ○ |
| C-21 | UAT-021: 型情報のインレイヒント表示 | E-15 | ○ |
| C-22 | UAT-022: コード変更時のDScannerリンティング | E-02, E-23 | ○ |
| C-23 | UAT-023: ファイル保存時のDubビルドチェック | E-02 | ○ |
| C-24 | UAT-024: Dubビルドコンフィグレーションの切替 | E-16 | ○ |
| C-25 | UAT-025: ビルドアーキテクチャの切替 | E-16 | ○ |
| C-26 | UAT-026: ビルドタイプの切替 | E-16 | ○ |
| C-27 | UAT-027: 使用コンパイラの切替 | E-16 | ○ |
| C-28 | UAT-028: Dub依存関係ツリーの表示 | E-16 | ○ |
| C-29 | UAT-029: Dubパッケージの追加 | E-16, E-22 | ○ |
| C-30 | UAT-030: Dubパッケージバージョンの更新 | E-16, E-22 | ○ |
| C-31 | UAT-031: Dubパッケージの削除 | E-16, E-22 | ○ |
| C-32 | UAT-032: Dubビルドタスクの自動検出 | E-16 | ○ |
| C-33 | UAT-033: import文ブロックの自動ソート | E-24 | △ |
| C-34 | UAT-034: インターフェースメソッドの一括実装 | E-24, E-13 | ○ |
| C-35 | UAT-035: DCDサーバーの自動更新 | E-17, E-02 | ○ |
| C-36 | UAT-036: Dubインポートパスのリフレッシュ | E-16 | ○ |
| C-37 | UAT-037: dub.json/dub.sdl保存時の依存関係自動更新 | E-16 | ○ |
| C-38 | UAT-038: プロジェクト内ファイルの検索 | E-18 | ○ |
| C-39 | UAT-039: モジュール名からファイルを検索 | E-24 | △ |
| C-40 | UAT-040: DMLファイル内の色情報表示 | E-19 | ○ |
| C-41 | UAT-041: ユーザー設定変更時の動的反映 | E-02 | ○ |
| C-42 | UAT-042: ファイルを開いた際の自動リンティング | E-02 | ○ |
| C-43 | UAT-043: dub.json/dub.sdl間のフォーマット変換 | E-16 | ○ |
| C-44 | UAT-044: serve-dのサーバー情報取得 | E-02 | ○ |
| C-45 | UAT-045: ユニットテストの自動検出と一覧表示 | E-20 | ○ |
| C-46 | UAT-046: DScanner設定の取得 | E-02 | ○ |
| C-47 | UAT-047: DCDサーバーの再起動 | E-24 | △ |
| C-48 | UAT-048: serve-dサーバーの正常終了 | E-02 | ○ |
| C-49 | UAT-049: バージョン情報の表示 | E-01 | ○ |
| C-50 | UAT-050: 必須フィーチャーの検証 | E-01 | ○ |
| C-51 | UAT-051: GUIメッセージの言語切替 | E-01, E-26 | △ |
| C-52 | UAT-052: 多数のサブプロジェクト検出時の動作制御 | E-02, E-03 | ○ |
| C-53 | UAT-053: DCDハイライト失敗時のフォールバック | E-10 | ○ |
| C-54 | UAT-054: スキップされたプロジェクトの強制読み込み | E-02 | ○ |
| C-55 | UAT-055: GCプロファイル情報の取得 | E-24, E-27 | △ |
| C-56 | UAT-056: dub.json/dub.sdl保存時の構文チェック | E-16 | ○ |
| C-57 | UAT-057: 現在のDubプロジェクト設定の取得 | E-16 | ○ |
| C-58 | UAT-058: プロジェクトソースの自動インデックス構築 | E-21 | ○ |
| C-59 | UAT-059: ワークスペースフォルダ削除時のリソース解放 | E-02 | ○ |
| C-60 | UAT-060: Dub依存関係の不足検出と自動ダウンロード | E-02 | ○ |

## 4) 不足情報（Unknown / Missing）
- **UAT-033（import文のソート）**: served/sortImportsはREADME.mdに記載されているが、対応する実装ファイル内のハンドラコードを直接確認できなかった。ImporterComponentの一部として実装されている可能性が高い。
  - 候補：workspace-d/source/workspaced/com/importer.d
- **UAT-039（モジュール名によるファイル検索）**: served/findFilesByModuleはREADME.mdに記載されているが、対応するハンドラの実装コードを直接確認できなかった。
  - 候補：source/served/commands/file_search.d の残り部分 / workspace-d内のモジュール
- **UAT-047（サーバー再起動）**: served/restartServerはREADME.mdに記載されているが、実装箇所を特定できなかった。
  - 候補：source/served/extension.d内の未読部分 / source/served/commands/dcd_update.d
- **UAT-051（多言語サポート）**: --langオプションの処理はapp.dで確認済み、translate.dの存在も確認済みだが、実際の翻訳ファイル（.po/.mo等）の存在や対応言語数は未確認。
  - 候補：views/ ディレクトリ内の翻訳リソース
- **UAT-055（プロファイルGCエントリ取得）**: workers/profilegc.dの存在は確認済みだが、served/getProfileGCEntriesハンドラの詳細実装は未確認。
  - 候補：source/served/workers/profilegc.d の全文

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: UAT-001〜UAT-032, UAT-034〜UAT-038, UAT-040〜UAT-046, UAT-048〜UAT-050, UAT-052〜UAT-054, UAT-056〜UAT-060 - ソースコードから直接確認済み
- **1（中リスク）**: UAT-033, UAT-039, UAT-047 - README.mdにAPI仕様は記載されているが実装コードの直接確認が不十分
- **1（中リスク）**: UAT-051 - 翻訳機構の存在は確認済みだが対応言語の網羅性は未確認
- **1（中リスク）**: UAT-055 - ワーカーの存在は確認済みだがAPIエンドポイントの実装詳細は未確認

## 6) レビュアーチェックリスト（最小）
- [ ] UAT-033: served/sortImportsの実装がworkspace-d/source/workspaced/com/importer.d内に存在するか確認
- [ ] UAT-039: served/findFilesByModuleの実装がfile_search.d内の未読部分に存在するか確認
- [ ] UAT-047: served/restartServerのハンドラが実装されているか確認
- [ ] UAT-051: 翻訳リソースファイル（views/ディレクトリ等）の存在と対応言語を確認
- [ ] UAT-055: profilegc.dのserved/getProfileGCEntriesハンドラの実装を確認
- [ ] テストケースの優先度（高/中/低）がプロジェクトの重要度と整合しているか確認
- [ ] 前提条件に記載されたコンポーネント依存関係が実際の初期化フローと一致しているか確認
- [ ] テスト手順がLSPプロトコルの標準的なリクエスト/レスポンスフローと整合しているか確認
