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

# 根拠レポート：modules-editor-lispy 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `modules/editor/lispy/config.el` - メイン設定ファイル（53行）
- E-02: `modules/editor/lispy/packages.el` - パッケージ定義ファイル（6行）
- E-03: `modules/editor/lispy/README.org` - ドキュメントファイル（107行）
- E-04: `modules/editor/lispy/.doommodule` - モジュール定義ファイル

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

### doom-init-lispy-in-eval-expression-h関数のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | eval-expressionミニバッファでlispy-modeが有効化される | E-01 (16-23行目: add-hook! 'eval-expression-minibuffer-setup-hook) | ○ |
| C-02 | TABキーがcompletion-at-pointにリマップされる | E-01 (23行目: local-set-key ... #'completion-at-point) | ○ |
| C-03 | lispy-mode-mapにTABバインドが存在しない場合のハンドリング | E-01 (23行目: lookup-keyの戻り値がnilの場合) | ○ |

### lispy use-package! hook設定のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-04 | lisp-modeでlispy-modeが有効化される | E-01 (4行目: lisp-mode . lispy-mode) | ○ |
| C-05 | emacs-lisp-modeでlispy-modeが有効化される | E-01 (5行目: emacs-lisp-mode . lispy-mode) | ○ |
| C-06 | ielm-modeでlispy-modeが有効化される | E-01 (6行目: ielm-mode . lispy-mode) | ○ |
| C-07 | scheme-modeでlispy-modeが有効化される | E-01 (7行目: scheme-mode . lispy-mode) | ○ |
| C-08 | racket-modeでlispy-modeが有効化される | E-01 (8行目: racket-mode . lispy-mode) | ○ |
| C-09 | hy-modeでlispy-modeが有効化される | E-01 (9行目: hy-mode . lispy-mode) | ○ |
| C-10 | lfe-modeでlispy-modeが有効化される | E-01 (10行目: lfe-mode . lispy-mode) | ○ |
| C-11 | dune-modeでlispy-modeが有効化される | E-01 (11行目: dune-mode . lispy-mode) | ○ |
| C-12 | clojure-modeでlispy-modeが有効化される | E-01 (12行目: clojure-mode . lispy-mode) | ○ |
| C-13 | clojure-ts-modeでlispy-modeが有効化される | E-01 (13行目: clojure-ts-mode . lispy-mode) | ○ |
| C-14 | fennel-modeでlispy-modeが有効化される | E-01 (14行目: fennel-mode . lispy-mode) | ○ |

### lispy config設定のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-15 | lispy-close-quotes-at-end-pがtに設定される | E-01 (25行目: setq lispy-close-quotes-at-end-p t) | ○ |
| C-16 | lispy-mode有効時にsmartparens-modeが無効化される | E-01 (26行目: add-hook 'lispy-mode-hook #'turn-off-smartparens-mode) | ○ |

### emacs-lisp連携のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-17 | emacs-lispモジュール有効時にlispy-outlineが設定される | E-01 (28-33行目: when (modulep! :lang emacs-lisp) ... setq lispy-outline) | ○ |
| C-18 | lispy-outline-levelが+emacs-lisp-outline-levelでオーバーライドされる | E-01 (34行目: advice-add #'lispy-outline-level :override) | ○ |
| C-19 | +emacs-lisp-outline-regexpが^で始まる場合に重複しない | E-01 (32行目: unless (string-prefix-p "^" ...)) | ○ |
| C-20 | +emacs-lisp-outline-regexpが^で始まらない場合に^が付与される | E-01 (31-32行目: concat "^" unless ...) | ○ |

### lispyville use-package!のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-21 | evilモジュール有効時にlispyvilleが読み込まれる | E-01 (38行目: :when (modulep! :editor evil)) | ○ |
| C-22 | evilモジュール無効時にlispyvilleが読み込まれない | E-01 (38行目: :when条件による制御) | ○ |
| C-23 | lispy-mode有効時にlispyville-modeが有効化される | E-01 (39行目: :hook (lispy-mode . lispyville-mode)) | ○ |
| C-24 | lispyville-key-themeがデフォルト値で設定される | E-01 (41-48行目: setq lispyville-key-theme '(...)) | ○ |
| C-25 | lispyville-set-key-themeが呼び出される | E-01 (50行目: lispyville-set-key-theme) | ○ |

### +lispy-inhibit-evil-escape-fn関数のテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-26 | lispy-mode有効かつevil-insert-state時にtを返す | E-01 (52-53行目: and lispy-mode (evil-insert-state-p)) | ○ |
| C-27 | lispy-mode無効時にnilを返す | E-01 (52-53行目: and条件の短絡評価) | ○ |
| C-28 | evil-insert-state以外でnilを返す | E-01 (53行目: evil-insert-state-p) | ○ |
| C-29 | 両条件がnilの場合にnilを返す | E-01 (52-53行目: and条件のセマンティクス) | ○ |

### packages.elのテストケース
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-30 | lispyパッケージが正しいピンで定義される | E-02 (4行目: package! lispy :pin "fe44efd...") | ○ |
| C-31 | evil有効時にlispyvilleパッケージが定義される | E-02 (5-6行目: when (modulep! :editor evil) ... package! lispyville) | ○ |
| C-32 | evil無効時にlispyvilleパッケージが定義されない | E-02 (5行目: when条件による制御) | ○ |

## 4) 不足情報（Unknown / Missing）
- なし。すべてのテストケースはソースコードに基づいて生成されています。

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースがソースコードに直接対応しており、推測に基づく内容がありません

## 6) レビュアーチェックリスト（最小）
- [ ] 各Lispモードのフック設定が実際の動作と一致しているか確認
- [ ] +lispy-inhibit-evil-escape-fn関数の戻り値テストが論理的に正しいか確認
- [ ] lispyville-key-themeの設定値がREADME.orgの記載と整合しているか確認
- [ ] パッケージのピンバージョンが最新のpackages.elと一致しているか確認
- [ ] evil有効/無効時の条件分岐テストが網羅的か確認
