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

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

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：40 / 40、根拠なし：0
- 優先レビュー（高）
  1. 該当なし - 全てのテストケースはソースコードから直接導出

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

- E-01: `modules/lang/common-lisp/config.el` - メイン設定ファイル（187行）
- E-02: `modules/lang/common-lisp/autoload/common-lisp.el` - 自動ロード関数定義（45行）
- E-03: `modules/lang/common-lisp/packages.el` - パッケージ定義（12行）
- E-04: `modules/lang/common-lisp/doctor.el` - 環境チェック（10行）
- E-05: `modules/lang/common-lisp/README.org` - ドキュメント（86行）

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

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +lisp/open-replはsly-connected-p確認後にsly-mreplを呼ぶ | E-02 L8-19 | ○ |
| C-02 | +lisp/open-replは未接続時にslyを呼び出す | E-02 L12-13 | ○ |
| C-03 | +lisp/open-replは5回リトライ後にエラーをスローする | E-02 L17 | ○ |
| C-04 | +lisp/reload-projectはsly-restart-inferior-lispを呼ぶ | E-02 L25 | ○ |
| C-05 | +lisp/reload-projectは5回リトライ後にエラーをスローする | E-02 L30-31 | ○ |
| C-06 | +lisp/find-file-in-quicklispは+lisp-quicklisp-pathsを検索する | E-02 L41-43 | ○ |
| C-07 | +lisp/find-file-in-quicklispはディレクトリ未検出時にuser-errorをスローする | E-02 L44 | ○ |

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-08 | +common-lisp--cleanup-sly-maybe-hは最後のslyバッファ時にクリーンアップする | E-01 L63-75 | ○ |
| C-09 | +common-lisp-init-sly-hは一時バッファをスキップする | E-01 L80 | ○ |
| C-10 | +common-lisp-init-sly-hは接続済みの場合スキップする | E-01 L81 | ○ |
| C-11 | +common-lisp-init-sly-hはexecutable-findで実行ファイルを確認する | E-01 L82-84 | ○ |
| C-12 | +common-lisp-init-sly-hは実行ファイル未検出時に警告を表示する | E-01 L88-89 | ○ |
| C-13 | +lisp-quicklisp-pathsのデフォルト値は2つのパス | E-01 L3-5 | ○ |
| C-14 | inferior-lisp-programのデフォルトはsbcl | E-01 L16 | ○ |
| C-15 | sly-mrepl-history-file-nameはdoom-profile-cache-dir配下 | E-01 L46 | ○ |
| C-16 | sly-kill-without-query-pはtに設定 | E-01 L47 | ○ |
| C-17 | sly-net-coding-systemはutf-8-unix | E-01 L48 | ○ |
| C-18 | sly-complete-symbol-functionはsly-simple-completions | E-01 L52 | ○ |
| C-19 | lisp-modeにREPLハンドラが設定される | E-01 L30 | ○ |
| C-20 | lisp-modeに評価ハンドラが設定される | E-01 L31 | ○ |
| C-21 | lisp-modeに定義ジャンプハンドラが設定される | E-01 L34 | ○ |
| C-22 | lisp-modeにドキュメント検索ハンドラが設定される | E-01 L35 | ○ |
| C-23 | lisp-modeにフォーマッタが設定される | E-01 L32 | ○ |
| C-24 | sly-mreplのポップアップルールが設定される | E-01 L55 | ○ |
| C-25 | sly-db/inspectorはポップアップから除外される | E-01 L61 | ○ |
| C-26 | sly-repl-ansi-colorがcontribsに追加される | E-01 L176 | ○ |
| C-27 | sly-asdfがcontribsに追加される | E-01 L181 | ○ |
| C-28 | sly-stepperがcontribsに追加される | E-01 L186 | ○ |

### doctor.el の検証

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-29 | doctorはinferior-lisp-programの存在を確認する | E-04 L3-9 | ○ |
| C-30 | doctorはリスト形式のinferior-lisp-programを処理できる | E-04 L5-7 | ○ |
| C-31 | doctorは未検出時にwarn!で警告する | E-04 L8-9 | ○ |

### packages.el のパッケージ定義

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-32 | slyパッケージが定義されている | E-03 L4 | ○ |
| C-33 | sly-asdfパッケージが定義されている | E-03 L5 | ○ |
| C-34 | sly-quicklispパッケージが定義されている | E-03 L6 | ○ |
| C-35 | sly-stepperがGitHubレシピで定義されている | E-03 L7-8 | ○ |
| C-36 | sly-macrostepパッケージが定義されている | E-03 L9 | ○ |
| C-37 | sly-repl-ansi-colorパッケージが定義されている | E-03 L10 | ○ |
| C-38 | sly-overlayパッケージが定義されている | E-03 L11 | ○ |

### キーバインディング（config.el）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-39 | sly-db-mode-mapにgrキーバインドが設定される | E-01 L92 | ○ |
| C-40 | lisp-mode-mapにlocalleaderキーバインドが設定される | E-01 L104-167 | ○ |

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

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのClaimがソースコードで直接確認可能

### リスク分析

| 領域 | リスク評価 | 理由 |
|------|------------|------|
| REPL接続機能 | 低 | 関数定義が明確、リトライロジックが単純 |
| リソースクリーンアップ | 低 | 条件分岐が明確に記述されている |
| 設定値 | 低 | setq/defcustomで直接値が指定されている |
| 環境チェック | 低 | doctor.elの検証ロジックが単純 |

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースの優先度が適切に設定されているか確認（高：11件、中：18件、低：11件）
- [ ] REPL接続関連のテストケース（UT-CLI-001〜008）の前提条件と期待結果が妥当か確認
- [ ] リソースクリーンアップのテストケース（UT-CLI-012〜013）が実際の動作と一致するか確認
- [ ] 境界値テストケース（リトライ回数1回目/5回目）が実装に即しているか確認
- [ ] パッケージ依存関係のテストケース（UT-CLI-038〜040）がpackages.elと整合しているか確認

## 7) 補足：テスト対象の構成

### ファイル構成

```
modules/lang/common-lisp/
├── .doommodule           # モジュールマーカー
├── README.org            # ドキュメント
├── autoload/
│   └── common-lisp.el    # 自動ロード関数（3関数）
├── config.el             # メイン設定（2関数、複数設定）
├── doctor.el             # 環境チェック
└── packages.el           # パッケージ定義（7パッケージ）
```

### テスト対象の分類

| 種別 | 件数 | 説明 |
|------|------|------|
| 関数（正常系） | 15件 | 期待通りの入力で期待通りの結果 |
| 関数（異常系） | 5件 | エラー処理、警告表示 |
| 関数（境界値） | 4件 | リトライ回数の境界 |
| 設定値検証 | 10件 | defcustom/setqの値確認 |
| マクロ呼び出し | 5件 | set-xxx!マクロの設定確認 |
| パッケージ定義 | 3件 | package!の定義確認 |
