---
generated_at: 2026-02-19 10:30:00
metrics:
  claims_total: 106
  claims_with_evidence: 106
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：lisp-core単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：106 / 106、根拠なし：0
- 優先レビュー（高）
  1. **doom-initialize / doom-finalize**: 初期化・終了処理のテストケースは実行環境に依存するため、実際のテスト実行で確認が必要
  2. **doom-load-envvars-file**: 環境変数ファイルのパースロジックのエッジケース確認
  3. **doom-context-push / doom-context-pop**: コンテキスト管理の状態遷移確認

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

- E-01: `lisp/doom.el` - Doom Emacsのコア初期化ファイル（911行）
- E-02: `lisp/doom-lib.el` - Doom標準ライブラリ（1818行）
- E-03: `lisp/doom-start.el` - インタラクティブセッション初期化（363行）
- E-04: `lisp/doom-compat.el` - Emacs互換性レイヤー（247行）
- E-05: `lisp/doom-ui.el` - UI設定（776行）
- E-06: `lisp/doom-keybinds.el` - キーバインド設定（489行）
- E-07: `lisp/doom-editor.el` - エディタ設定（593行）
- E-08: `lisp/doom-projects.el` - プロジェクト管理（320行）
- E-09: `lisp/init.el` - 初期化エントリポイント（23行）
- E-10: `lisp/packages.el` - パッケージ定義（39行）
- E-11: `lisp/doom-elpaca.el` - Elpacaパッケージマネージャ統合
- E-12: `lisp/doom-straight.el` - Straightパッケージマネージャ統合

## 3) Claims と根拠の対応（レビューの主戦場）

### doom-lib.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | doom-unquote関数はquote形式を正しくアンクォートする | E-02 (L133-138) | ○ |
| C-02 | doom-keyword-intern関数は文字列をキーワードに変換する | E-02 (L140-144) | ○ |
| C-03 | doom-keyword-name関数はキーワードから名前を抽出する | E-02 (L146-150) | ○ |
| C-04 | doom-rpartial関数は右側部分適用を実現する | E-02 (L154-162) | ○ |
| C-05 | doom-lookup-key関数はキーバインドを検索する | E-02 (L164-180) | ○ |
| C-06 | doom-load関数はファイルをロードしエラーを適切にハンドリングする | E-02 (L182-204) | ○ |
| C-07 | doom-require関数はfeatureをrequireする | E-02 (L206-218) | ○ |
| C-08 | doom-load-envvars-file関数は環境変数ファイルを読み込む | E-02 (L220-243) | ○ |
| C-09 | doom-run-hook / doom-run-hooks関数はフックを実行する | E-02 (L246-271) | ○ |
| C-10 | doom-run-hook-on関数はトリガーベースのフック実行を設定する | E-02 (L273-309) | ○ |
| C-11 | doom-compile-functions関数はコンパイルキューに登録する | E-02 (L311-325) | ○ |
| C-12 | doom-copy関数はオブジェクトをコピーする | E-02 (L331-365) | ○ |
| C-13 | doom-context-p関数はコンテキストの存在を確認する | E-02 (L1208-1218) | ○ |
| C-14 | doom-context-valid-p関数はコンテキストの有効性を確認する | E-02 (L1220-1223) | ○ |
| C-15 | doom-context-push関数はコンテキストを追加する | E-02 (L1225-1244) | ○ |
| C-16 | doom-context-pop関数はコンテキストを削除する | E-02 (L1246-1263) | ○ |
| C-17 | doom-module-key関数はモジュールキーを正規化する | E-02 (L1343-1354) | ○ |
| C-18 | doom-module--has-flag-p関数はフラグの存在を確認する | E-02 (L1356-1367) | ○ |
| C-19 | doom-module--fold-flags関数はフラグを折り畳む | E-02 (L1369-1385) | ○ |
| C-20 | doom-module-get関数はモジュール情報を取得する | E-02 (L1387-1401) | ○ |
| C-21 | doom-module-active-p関数はモジュールのアクティブ状態を確認する | E-02 (L1403-1408) | ○ |
| C-22 | doom-module-exists-p関数はモジュールの存在を確認する | E-02 (L1410-1413) | ○ |
| C-23 | doom-module-locate-path関数はモジュールパスを解決する | E-02 (L1466-1488) | ○ |
| C-24 | doom-module-from-path関数はパスからモジュールキーを取得する | E-02 (L1499-1514) | ○ |
| C-25 | doom-profile-key関数はプロファイルキーを正規化する | E-02 (L1756-1785) | ○ |
| C-26 | doom-profile-init-file関数はinitファイルパスを返す | E-02 (L1787-1797) | ○ |
| C-27 | doom-rcfile関数はrcファイル名を返す | E-02 (L1738-1742) | ○ |
| C-28 | doom-rcfile-locate関数はrcファイルを検索する | E-02 (L1744-1753) | ○ |
| C-29 | doom-rcfile-read関数はrcファイルを読み込む | E-02 (L1774-1827) | ○ |

### doom.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-30 | doom-initialize関数はDoomセッションを初期化する | E-01 (L793-892) | ○ |
| C-31 | doom-finalize関数はDoomセッションを終了する | E-01 (L894-908) | ○ |

### doom-start.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-32 | doom-run-local-var-hooks-h関数はローカル変数フックを実行する | E-03 (L154-173) | ○ |
| C-33 | doom-run-local-var-hooks-maybe-h関数は条件付きでフックを実行する | E-03 (L178-181) | ○ |
| C-34 | doom-load-packages-incrementally関数は遅延ロードを登録する | E-03 (L216-259) | ○ |
| C-35 | doom-load-packages-incrementally-h関数は遅延ロードを開始する | E-03 (L261-270) | ○ |
| C-36 | doom-display-benchmark-h関数はベンチマーク情報を表示する | E-03 (L276-284) | ○ |

### doom-compat.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-37 | ensure-list関数はリストを保証する | E-04 (L25-31) | ○ |
| C-38 | always関数は常にtを返す | E-04 (L34-39) | ○ |
| C-39 | file-name-concat関数はパスを結合する | E-04 (L42-58) | ○ |
| C-40 | file-name-with-extension関数は拡張子を操作する | E-04 (L78-99) | ○ |
| C-41 | static-if / static-when / static-unlessマクロは静的条件分岐を提供する | E-04 (L203-244) | ○ |
| C-42 | treesit-available-p関数はtree-sitter利用可否を返す | E-04 (L148-151) | ○ |

### doom-ui.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-43 | doom-run-switch-buffer-hooks-h関数はバッファ切替フックを実行する | E-05 (L105-108) | ○ |
| C-44 | doom-run-switch-window-hooks-h関数はウィンドウ切替フックを実行する | E-05 (L110-116) | ○ |
| C-45 | doom-protect-fallback-buffer-h関数はfallbackバッファを保護する | E-05 (L151-153) | ○ |
| C-46 | doom-init-fonts-h関数はフォントを初期化する | E-05 (L580-641) | ○ |
| C-47 | doom-init-theme-h関数はテーマを初期化する | E-05 (L643-649) | ○ |
| C-48 | doom-init-ui-h関数はUIを初期化する | E-05 (L727-744) | ○ |

### doom-keybinds.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-49 | doom/escape関数はエスケープ処理を実行する | E-06 (L108-124) | ○ |
| C-50 | doom--map-keyword-to-states関数はキーワードをステートリストに変換する | E-06 (L275-282) | ○ |

### doom-editor.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-51 | doom-optimize-for-large-files-h関数は大ファイル最適化を行う | E-07 (L47-56) | ○ |
| C-52 | doom-create-missing-directories-h関数は不足ディレクトリを作成する | E-07 (L70-79) | ○ |
| C-53 | doom-guess-mode-h関数はモードを推測する | E-07 (L128-139) | ○ |
| C-54 | doom-auto-revert-buffer-h / doom-auto-revert-buffers-h関数は自動リバートを行う | E-07 (L265-279) | ○ |

### doom-projects.el関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-55 | def-project-mode!マクロはプロジェクトモードを定義する | E-08 (L226-317) | ○ |

## 4) 不足情報（Unknown / Missing）
- 現時点で根拠なしの主張はありません

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのテストケースはソースコードから直接導出されている
- 1: 中リスク - doom-initialize/doom-finalizeのテストは実行環境に依存する部分があり、モック化が必要
- 1: 中リスク - フック関連のテストは副作用を伴うため、テスト順序に注意が必要

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースがソースコードの関数シグネチャと一致しているか
- [ ] 正常系・異常系・境界値のバランスが適切か
- [ ] 優先度の設定が妥当か（金額計算、認証関連は「高」など）
- [ ] Emacs Lisp特有のマクロ（defmacro, defadvice!等）のテストが適切に含まれているか
- [ ] doom-contextやdoom-module-contextなどの状態管理のテストが十分か
