---
generated_at: 2026-02-19 12:30:00
metrics:
  claims_total: 56
  claims_with_evidence: 56
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `cli/integration-test/integration/completion_test.clj`
- E-02: `cli/integration-test/integration/definition_test.clj`
- E-03: `cli/integration-test/integration/rename_test.clj`
- E-04: `cli/integration-test/integration/code_action_test.clj`
- E-05: `cli/integration-test/integration/formatting_test.clj`
- E-06: `cli/integration-test/integration/diagnostics_test.clj`
- E-07: `cli/integration-test/integration/document_symbol_test.clj`
- E-08: `cli/integration-test/integration/document_highlight_test.clj`
- E-09: `cli/integration-test/integration/implementation_test.clj`
- E-10: `cli/integration-test/integration/declaration_test.clj`
- E-11: `cli/integration-test/integration/initialize_test.clj`
- E-12: `cli/integration-test/integration/cursor_info_test.clj`
- E-13: `cli/integration-test/integration/linked_editing_range_test.clj`
- E-14: `cli/integration-test/integration/java_interop_test.clj`
- E-15: `cli/integration-test/integration/text_change_test.clj`
- E-16: `cli/integration-test/integration/settings_change_test.clj`
- E-17: `cli/integration-test/integration/watched_files_change_test.clj`
- E-18: `cli/integration-test/integration/stubs_test.clj`
- E-19: `cli/integration-test/integration/api/clean_ns_test.clj`
- E-20: `cli/integration-test/integration/api/format_test.clj`
- E-21: `cli/integration-test/integration/api/diagnostics_test.clj`
- E-22: `cli/integration-test/integration/api/rename_test.clj`
- E-23: `cli/integration-test/integration/api/references_test.clj`
- E-24: `cli/integration-test/integration/api/dump_test.clj`

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UAT-001 通常のコード補完を取得する | E-01 | ○ |
| C-02 | UAT-002 スニペット補完を取得する | E-01 | ○ |
| C-03 | UAT-003 コメント内では補完しない | E-01 | ○ |
| C-04 | UAT-004 同一ファイル内の定義を検索する | E-02 | ○ |
| C-05 | UAT-005 ローカル変数の定義を検索する | E-02 | ○ |
| C-06 | UAT-006 別ファイルのパブリック関数定義を検索する | E-02 | ○ |
| C-07 | UAT-007 キーワードの定義を検索する | E-02 | ○ |
| C-08 | UAT-008 外部依存関係（jar）の定義を検索する | E-02 | ○ |
| C-09 | UAT-009 関数定義からリネームする | E-03 | ○ |
| C-10 | UAT-010 関数使用箇所からリネームする | E-03 | ○ |
| C-11 | UAT-011 ローカルキーワードをリネームする | E-03 | ○ |
| C-12 | UAT-012 名前空間付きキーワードをリネームする | E-03 | ○ |
| C-13 | UAT-013 requireエイリアスをリネームする | E-03 | ○ |
| C-14 | UAT-014 リネーム可能かどうかを事前確認する | E-03 | ○ |
| C-15 | UAT-015 利用可能なコードアクションを表示する | E-04 | ○ |
| C-16 | UAT-016 コードアクションを実行する | E-04 | ○ |
| C-17 | UAT-017 ファイル全体をフォーマットする | E-05 | ○ |
| C-18 | UAT-018 選択範囲をフォーマットする | E-05 | ○ |
| C-19 | UAT-019 カスタムリンターの診断を受け取る | E-06 | ○ |
| C-20 | UAT-020 異なるエイリアスの警告を受け取る | E-06 | ○ |
| C-21 | UAT-021 未使用パブリック変数の警告を受け取る | E-06 | ○ |
| C-22 | UAT-022 clj-kondo診断を受け取る | E-06 | ○ |
| C-23 | UAT-023 clj-depend依存関係診断を受け取る | E-06 | ○ |
| C-24 | UAT-024 ファイルのシンボル一覧を取得する | E-07 | ○ |
| C-25 | UAT-025 関数定義と使用箇所をハイライトする | E-08 | ○ |
| C-26 | UAT-026 エイリアス使用箇所をハイライトする | E-08 | ○ |
| C-27 | UAT-027 プロトコル実装を検索する | E-09 | ○ |
| C-28 | UAT-028 エイリアス使用から宣言を検索する | E-10 | ○ |
| C-29 | UAT-029 refer allから宣言を検索する | E-10 | ○ |
| C-30 | UAT-030 LSPサーバーを初期化する | E-11 | ○ |
| C-31 | UAT-031 利用可能なコマンド一覧を取得する | E-11 | ○ |
| C-32 | UAT-032 カーソル位置の要素情報を取得する | E-12 | ○ |
| C-33 | UAT-033 エイリアスの同時編集範囲を取得する | E-13 | ○ |
| C-34 | UAT-034 Javaソースクラスの定義を検索する | E-14 | ○ |
| C-35 | UAT-035 jar内Javaソースの定義を検索する | E-14 | ○ |
| C-36 | UAT-036 コンパイル済みJavaクラスをデコンパイルして表示する | E-14 | ○ |
| C-37 | UAT-037 ファイル変更を適用する | E-15 | ○ |
| C-38 | UAT-038 設定ファイル変更を反映する | E-16 | ○ |
| C-39 | UAT-039 ファイル削除を検知する | E-17 | ○ |
| C-40 | UAT-040 ファイル作成を検知する | E-17 | ○ |
| C-41 | UAT-041 外部ライブラリのスタブを生成する | E-18 | ○ |
| C-42 | UAT-042 名前空間をクリーンアップする | E-19 | ○ |
| C-43 | UAT-043 複数名前空間をクリーンアップする | E-19 | ○ |
| C-44 | UAT-044 dryモードでクリーンアップ対象を確認する | E-19 | ○ |
| C-45 | UAT-045 名前空間をフォーマットする | E-20 | ○ |
| C-46 | UAT-046 ファイルパス指定でフォーマットする | E-20 | ○ |
| C-47 | UAT-047 フォルダ指定でフォーマットする | E-20 | ○ |
| C-48 | UAT-048 名前空間の診断を取得する | E-21 | ○ |
| C-49 | UAT-049 EDN形式で診断を出力する | E-21 | ○ |
| C-50 | UAT-050 未使用パブリック変数の診断を取得する | E-21 | ○ |
| C-51 | UAT-051 シンボルをリネームする | E-22 | ○ |
| C-52 | UAT-052 名前空間をリネームする | E-22 | ○ |
| C-53 | UAT-053 dryモードでリネーム対象を確認する | E-22 | ○ |
| C-54 | UAT-054 シンボルの参照を検索する | E-23 | ○ |
| C-55 | UAT-055 プロジェクト情報をダンプする | E-24 | ○ |
| C-56 | UAT-056 JSON形式でダンプする | E-24 | ○ |

## 4) 不足情報（Unknown / Missing）
- 全てのテストケースにソースコードからの根拠が存在する
  - 候補：なし

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのテストケースが統合テストコードに基づいている
- 注意点：
  - テストケースはコードから抽出したため、実際のユーザー要件との整合性は別途確認が必要
  - 優先度は機能の重要性とテスト出現頻度から推測して設定

## 6) レビュアーチェックリスト（最小）
- [ ] 各テストケースが実際のユーザーストーリーを反映しているか確認
- [ ] 優先度の設定が適切か確認（高/中/低の分布）
- [ ] 前提条件とテスト手順が実行可能な具体性を持っているか確認
- [ ] 期待結果が検証可能な形式で記述されているか確認
- [ ] 不足しているシナリオがないか確認（セキュリティ/エラーハンドリング等）
