---
generated_at: 2026-02-19 10:30:00
metrics:
  claims_total: 65
  claims_with_evidence: 58
  claims_without_evidence: 7
confidence_derived: 0.89
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.89**
  - 根拠あり：58 / 65、根拠なし：7
- 優先レビュー（高）
  1. **UAT-064 プロファイル管理**：プロファイル機能の詳細仕様が不明確
  2. **UAT-038/039 ワークスペース操作**：キーバインドの詳細検証が必要
  3. **UAT-063 ネイティブコンパイル**：AOTオプションの動作詳細確認が必要

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

- E-01: `lisp/cli/install.el` - doom installコマンドの実装
- E-02: `lisp/cli/sync.el` - doom syncコマンドの実装
- E-03: `lisp/cli/upgrade.el` - doom upgradeコマンドの実装
- E-04: `lisp/cli/doctor.el` - doom doctorコマンドの実装
- E-05: `lisp/cli/env.el` - doom envコマンドの実装
- E-06: `lisp/doom.el` - Doom Emacsコア機能の定義
- E-07: `README.md` - プロジェクト概要と機能説明
- E-08: `docs/getting_started.org` - インストールと設定ガイド
- E-09: `modules/ui/workspaces/` - ワークスペースモジュール
- E-10: `modules/ui/popup/` - ポップアップ管理モジュール
- E-11: `modules/tools/lsp/` - LSP連携モジュール
- E-12: `modules/tools/lookup/` - 検索機能モジュール
- E-13: `modules/config/default/` - デフォルトキーバインド設定
- E-14: `lisp/lib/packages.el` - パッケージ管理機能
- E-15: `bin/doom` - CLIエントリポイント

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | doom installによる初回インストール | E-01, E-07, E-08 | ○ |
| C-02 | 設定ディレクトリの自動作成 | E-01 | ○ |
| C-03 | envvarファイル生成オプション | E-01, E-05 | ○ |
| C-04 | doom syncによるパッケージ同期 | E-02 | ○ |
| C-05 | Emacsバージョン変更時の再ビルド | E-02 | ○ |
| C-06 | doom sync -uによるパッケージ更新 | E-02 | ○ |
| C-07 | doom upgradeによるDoom本体の更新 | E-03 | ○ |
| C-08 | ローカル変更がある場合の警告 | E-03 | ○ |
| C-09 | パッケージのみの更新 | E-03 | ○ |
| C-10 | doom doctorによる診断 | E-04 | ○ |
| C-11 | Emacsバージョンチェック | E-04 | ○ |
| C-12 | Git依存関係チェック | E-04 | ○ |
| C-13 | ripgrep依存関係チェック | E-04 | ○ |
| C-14 | 設定ファイル競合チェック | E-04 | ○ |
| C-15 | doom envによる環境変数スナップショット | E-05 | ○ |
| C-16 | 正常起動の確認 | E-06 | ○ |
| C-17 | 起動時間の測定 | E-06 | ○ |
| C-18 | デーモンモードでの起動 | E-06 | ○ |
| C-19 | モジュールの有効化 | E-06, E-08 | ○ |
| C-20 | モジュールの無効化 | E-06, E-08 | ○ |
| C-21 | モジュールフラグの設定 | E-08 | ○ |
| C-22 | カスタムパッケージのインストール | E-14, E-08 | ○ |
| C-23 | GitHubからのパッケージインストール | E-14 | ○ |
| C-24 | パッケージのピン留め | E-14 | ○ |
| C-25 | パッケージの無効化 | E-14 | ○ |
| C-26 | config.elの変更反映 | E-06, E-08 | ○ |
| C-27 | doom/reloadによるライブリロード | E-06 | ○ |
| C-28 | テーマの変更 | E-08 | ○ |
| C-29 | フォントの変更 | E-08 | ○ |
| C-30 | Evilモードの基本操作 | E-13 | ○ |
| C-31 | リーダーキー（SPC）の使用 | E-13 | ○ |
| C-32 | Emacsバインディングの使用 | E-13 | ○ |
| C-33 | ファイルの検索と開く | E-12 | ○ |
| C-34 | プロジェクト内ファイル検索 | E-12 | ○ |
| C-35 | 最近使用したファイル | **根拠不足** | △ |
| C-36 | プロジェクト内テキスト検索 | E-12 | ○ |
| C-37 | バッファ内検索 | E-12 | ○ |
| C-38 | ワークスペースの作成 | E-09 | ○ |
| C-39 | ワークスペースの切り替え | E-09 | ○ |
| C-40 | バッファの一覧と切り替え | E-13 | ○ |
| C-41 | バッファの削除 | E-13 | ○ |
| C-42 | ウィンドウの分割 | E-13 | ○ |
| C-43 | ウィンドウ間移動 | E-13 | ○ |
| C-44 | ポップアップバッファの表示と閉じる | E-10 | ○ |
| C-45 | LSPサーバーの自動起動 | E-11 | ○ |
| C-46 | コード補完 | E-11 | ○ |
| C-47 | 定義へのジャンプ | E-11, E-12 | ○ |
| C-48 | ホバードキュメント | E-11 | ○ |
| C-49 | Magitによるステータス表示 | **根拠不足** | △ |
| C-50 | コミット作成 | **根拠不足** | △ |
| C-51 | 差分表示 | **根拠不足** | △ |
| C-52 | Orgファイルの作成と編集 | E-08 | ○ |
| C-53 | TODO管理 | E-08 | ○ |
| C-54 | コードブロックの実行 | E-08 | ○ |
| C-55 | 関数ドキュメントの参照 | E-13 | ○ |
| C-56 | 変数ドキュメントの参照 | E-13 | ○ |
| C-57 | キーバインドの参照 | E-13 | ○ |
| C-58 | Linux環境での動作 | E-07, E-08 | ○ |
| C-59 | macOS環境での動作 | E-07, E-08 | ○ |
| C-60 | Windows環境での動作 | E-07, E-08 | ○ |
| C-61 | 同期中断時のリカバリー | E-02 | ○ |
| C-62 | バックトレースの取得 | E-08 | ○ |
| C-63 | AOTコンパイルの有効化 | E-02, E-06 | ○ |
| C-64 | 複数プロファイルの管理 | **根拠不足** | △ |
| C-65 | doom gcによるクリーンアップ | **根拠不足** | △ |

## 4) 不足情報（Unknown / Missing）
- **Magit関連テストケース（C-49, C-50, C-51）**：modules/tools/magitディレクトリの詳細調査が未実施。機能は確認済みだが、キーバインドの詳細確認が必要
  - 候補：modules/tools/magit/ / modules/tools/magit/config.el / modules/tools/magit/autoload.el
- **最近使用したファイル（C-35）**：recentf機能の実装詳細確認が必要
  - 候補：lisp/doom-editor.el / Emacsビルトイン機能
- **プロファイル管理（C-64）**：プロファイル機能は存在するが、ユーザー向けドキュメントが不足
  - 候補：lisp/lib/profiles.el / lisp/cli/profile.el
- **ガベージコレクション（C-65）**：doom gc機能の詳細確認が必要
  - 候補：lisp/cli/gc.el

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**：CLIコマンド関連テストケース（UAT-001〜UAT-015）- ソースコードで明確に確認済み
- **0（低リスク）**：モジュール管理テストケース（UAT-019〜UAT-021）- doom.elとドキュメントで確認済み
- **1（中リスク）**：キーバインド関連テストケース（UAT-030〜UAT-043）- キーバインド設定は確認したが、実際の動作テストが必要
- **1（中リスク）**：マルチプラットフォーム対応（UAT-058〜UAT-060）- ドキュメントでは言及されているが、各環境での検証が必要
- **2（高リスク）**：プロファイル機能（UAT-064）- 機能は存在するが、ユーザー向けドキュメントが不足しており、仕様の正確性に懸念

## 6) レビュアーチェックリスト（最小）
- [ ] CLIコマンド（doom install/sync/upgrade/doctor）の実際の動作を検証
- [ ] キーバインド（SPC + 各キー）が実際に期待通り動作するか確認
- [ ] LSP連携が対象言語で正常に動作するか確認
- [ ] ワークスペース機能のキーバインドと動作を確認
- [ ] マルチプラットフォーム（Linux/macOS/Windows）での動作検証
- [ ] Magit機能のキーバインドと基本操作を確認
- [ ] プロファイル機能の存在と動作を確認
- [ ] 根拠不足の7件（C-35, C-49-51, C-64-65）について追加調査を実施
