---
generated_at: 2026-02-19 18:35:00
metrics:
  claims_total: 73
  claims_with_evidence: 73
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：73 / 73、根拠なし：0
- 優先レビュー（高）
  1. **+emacs-lisp-eval関連テスト (UT-ELI-001〜004)**：コード評価の中核機能
  2. **+emacs-lisp--module-at-point関連テスト (UT-ELI-007〜010)**：Doomモジュール検出機能
  3. **+emacs-lisp--calculate-lisp-indent-a関連テスト (UT-ELI-046〜050)**：インデント計算の複雑なロジック

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

- E-01: `modules/lang/emacs-lisp/config.el` - モジュール設定ファイル
- E-02: `modules/lang/emacs-lisp/packages.el` - パッケージ定義ファイル
- E-03: `modules/lang/emacs-lisp/autoload/emacs-lisp.el` - 主要な自動ロード関数定義
- E-04: `modules/lang/emacs-lisp/autoload/helpful.el` - Helpful統合用関数定義

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

### autoload/emacs-lisp.el の関数

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +emacs-lisp-evalはリージョンを評価し結果を返す | E-03 L9-38 | ○ |
| C-02 | working-bufferが設定されている場合そのバッファで評価 | E-03 L17-21 | ○ |
| C-03 | working-bufferが無効な場合current-bufferにフォールバック | E-03 L19-21 | ○ |
| C-04 | 評価エラー時にエラーメッセージを返す | E-03 L36 | ○ |
| C-05 | +emacs-lisp-outline-levelはアウトラインレベルを計算 | E-03 L41-46 | ○ |
| C-06 | マッチがない場合0を返す | E-03 L46 | ○ |
| C-07 | +emacs-lisp--module-at-pointはdoom!ブロック内でモジュール情報を返す | E-03 L52-100 | ○ |
| C-08 | フラグ付きモジュールを正しく解析 | E-03 L93-99 | ○ |
| C-09 | doom!ブロック外ではnilを返す | E-03 L64 | ○ |
| C-10 | 文字列内ではnilを返す | E-03 L56 | ○ |
| C-11 | +emacs-lisp-lookup-definitionはモジュールの場合doom/help-modulesを呼び出す | E-03 L103-107 | ○ |
| C-12 | 通常のシンボルの場合elisp-defを呼び出す | E-03 L107 | ○ |
| C-13 | +emacs-lisp--describe-symbolはhelpful-symbolを使用 | E-03 L109-116 | ○ |
| C-14 | describe-symbol-backendsにマッチする場合describe-symbolを使用 | E-03 L111-115 | ○ |
| C-15 | +emacs-lisp-lookup-documentationはモジュールの場合deferredを返す | E-03 L119-138 | ○ |
| C-16 | 通常シンボルでhelpful-symbolを使用 | E-03 L139-145 | ○ |
| C-17 | thingがnilの場合helpful-at-pointを呼び出す | E-03 L146-149 | ○ |
| C-18 | +emacs-lisp/change-working-bufferは有効なバッファでworking-bufferを設定 | E-03 L160-168 | ○ |
| C-19 | 存在しないバッファ名でuser-errorをスロー | E-03 L168 | ○ |
| C-20 | +emacs-lisp/open-replは既存*ielm*バッファを表示 | E-03 L171-185 | ○ |
| C-21 | *ielm*バッファがない場合新規作成 | E-03 L179-185 | ○ |
| C-22 | +emacs-lisp/buttercup-run-fileはバッファ内のテストを実行 | E-03 L188-200 | ○ |
| C-23 | +emacs-lisp/buttercup-run-projectはプロジェクト内テストを実行 | E-03 L203-211 | ○ |
| C-24 | +emacs-lisp/edebug-instrument-defun-onはdefunをインストルメント化 | E-03 L214-217 | ○ |
| C-25 | +emacs-lisp/edebug-instrument-defun-offはインストルメント化を解除 | E-03 L219-223 | ○ |
| C-26 | +emacs-lisp-init-straight-maybe-hはdoom-local-dir内でhookを追加 | E-03 L231-235 | ○ |
| C-27 | doom-local-dir外では何もしない | E-03 L233 | ○ |
| C-28 | +emacs-lisp-extend-imenu-hはimenu-generic-expressionを設定 | E-03 L238-255 | ○ |
| C-29 | +emacs-lisp--in-package-buffer-pはパッケージファイルでtを返す | E-03 L257-276 | ○ |
| C-30 | 非パッケージファイルでnilを返す | E-03 L257-276 | ○ |
| C-31 | org-src-mode内ではnilを返す | E-03 L261 | ○ |
| C-32 | +emacs-lisp-reduced-flymake-byte-compileはflymakeバックエンドとして動作 | E-03 L280-338 | ○ |
| C-33 | 既存プロセスがある場合は終了してから新規起動 | E-03 L291-293 | ○ |
| C-34 | プロジェクト外では何もしない | E-03 L289 | ○ |
| C-35 | +emacs-lisp--flymake-non-package-mode有効化でチェッカーを変更 | E-03 L340-348 | ○ |
| C-36 | 無効化でデフォルトチェッカーを復元 | E-03 L347-348 | ○ |
| C-37 | +emacs-lisp--flycheck-non-package-mode有効化でflycheck設定を変更 | E-03 L350-383 | ○ |
| C-38 | 無効化でflycheck設定を復元 | E-03 L354-356 | ○ |
| C-39 | +emacs-lisp-non-package-modeは適切なモードを有効化 | E-03 L386-412 | ○ |
| C-40 | パッケージバッファでは無効のまま | E-03 L401-402 | ○ |
| C-41 | +emacs-lisp-highlight-vars-and-facesは定義済み変数をハイライト | E-03 L420-453 | ○ |
| C-42 | 組み込み関数をハイライト | E-03 L450 | ○ |
| C-43 | ユーザー定義関数をハイライト | E-03 L451 | ○ |
| C-44 | 文字列内のシンボルはスキップ | E-03 L428-429 | ○ |
| C-45 | コメント内のシンボルはスキップ | E-03 L430-431 | ○ |
| C-46 | +emacs-lisp--calculate-lisp-indent-aは通常のS式で正しくインデント計算 | E-03 L462-662 | ○ |
| C-47 | クォートされたリストで特別なインデント | E-03 L553-582 | ○ |
| C-48 | バッククォートされたリストで特別なインデント | E-03 L553-582 | ○ |
| C-49 | plistキーワードのアライメント | E-03 L527-550 | ○ |
| C-50 | 文字列内ではnilを返す | E-03 L606-607 | ○ |

### autoload/helpful.el の関数

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-51 | +emacs-lisp--helpful-buffer-indexはHelpfulバッファのインデックスを返す | E-04 L9-13 | ○ |
| C-52 | 非Helpfulバッファでnilを返す | E-04 L12 | ○ |
| C-53 | +emacs-lisp-record-new-buffers-aは新しいバッファをリングに追加 | E-04 L16-23 | ○ |
| C-54 | 古いバッファを削除して新しいものを追加 | E-04 L19-20 | ○ |
| C-55 | リングサイズが変更された場合リサイズ | E-04 L21-22 | ○ |
| C-56 | +emacs-lisp--helpful-nextは次のHelpfulバッファを返す | E-04 L25-34 | ○ |
| C-57 | 次のバッファがない場合nilを返す | E-04 L30 | ○ |
| C-58 | 死んだバッファをスキップ | E-04 L33-34 | ○ |
| C-59 | +emacs-lisp--helpful-previousは前のHelpfulバッファを返す | E-04 L36-44 | ○ |
| C-60 | 前のバッファがない場合nilを返す | E-04 L41 | ○ |
| C-61 | +emacs-lisp/helpful-nextは次のバッファに切り替え | E-04 L47-52 | ○ |
| C-62 | 次のバッファがない場合user-errorをスロー | E-04 L52 | ○ |
| C-63 | +emacs-lisp/helpful-previousは前のバッファに切り替え | E-04 L55-60 | ○ |
| C-64 | 前のバッファがない場合user-errorをスロー | E-04 L60 | ○ |

### config.el の設定と関数

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-65 | +emacs-lisp-enable-extra-fontificationは追加のフォント装飾を制御 | E-01 L3-4 | ○ |
| C-66 | +emacs-lisp-outline-regexpはセクションヘッダにマッチ | E-01 L6-8 | ○ |
| C-67 | +emacs-lisp-linter-warningsはリンター警告を設定 | E-01 L10-20 | ○ |
| C-68 | doom-use-helpful-aはdescribe-*関数をhelpful-*にリダイレクト | E-01 L261-265 | ○ |
| C-69 | +emacs-lisp-append-value-to-eldoc-aは変数のeldoc説明に値を追加 | E-01 L116-130 | ○ |
| C-70 | 未束縛変数では元の説明のみ返す | E-01 L120, L130 | ○ |
| C-71 | 長い値は切り詰められる | E-01 L126-129 | ○ |
| C-72 | +syntax--fix-elisp-flymake-load-pathはload-pathを拡張 | E-01 L99-104 | ○ |
| C-73 | +emacs-lisp--optimize-org-init-aはorg-modeの初期化を最適化 | E-01 L214-223 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし。全てのテストケースはソースコードから直接導出されています。

## 5) リスクフラグ（レビュー観点）
- **0 (低リスク)**: 全てのテストケースがソースコードの関数定義から直接導出されています
- **注意点**:
  - `+emacs-lisp--calculate-lisp-indent-a` は非常に複雑なロジックを持つため、追加のエッジケーステストが必要な可能性があります
  - `+emacs-lisp-reduced-flymake-byte-compile` は非同期プロセスを扱うため、タイミング関連のテストが困難な場合があります

## 6) レビュアーチェックリスト（最小）
- [ ] 各関数のテストケースが正常系・異常系・境界値を適切にカバーしているか
- [ ] テストIDの命名規則（UT-ELI-XXX）が一貫しているか
- [ ] 優先度の設定が機能の重要度を正しく反映しているか
- [ ] Doom Emacs固有の機能（doom!マクロ、モジュールシステム）のテストが十分か
- [ ] Helpful統合機能のバッファリング管理テストが適切か
