---
generated_at: 2026-02-19 18:30:00
metrics:
  claims_total: 31
  claims_with_evidence: 31
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `modules/emacs/ibuffer/config.el` - メイン設定ファイル（81行）
- E-02: `modules/emacs/ibuffer/autoload/workspaces.el` - ワークスペース関連関数（35行）
- E-03: `modules/emacs/ibuffer/packages.el` - パッケージ定義（6行）
- E-04: `modules/emacs/ibuffer/README.org` - モジュールドキュメント（58行）

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

### config.el - define-ibuffer-column icon（C-01〜C-04）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | ファイルバッファに対してnerd-icons-icon-for-fileが呼ばれる | E-01 (L27-29) | ○ |
| C-02 | 非ファイルバッファに対してnerd-icons-icon-for-modeが呼ばれる | E-01 (L30) | ○ |
| C-03 | アイコンがシンボルの場合デフォルトアイコンにフォールバック | E-01 (L31-32) | ○ |
| C-04 | buffer-file-nameがnilの場合major-modeベースのアイコンが使用される | E-01 (L27-30) | ○ |

### config.el - define-ibuffer-column size（C-05〜C-07）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-05 | file-size-human-readableが使用される | E-01 (L40) | ○ |
| C-06 | buffer-sizeが引数として渡される | E-01 (L40) | ○ |
| C-07 | 大きなサイズも人間可読形式で表示される | E-01 (L40) | ○ |

### config.el - define-ibuffer-filter workspace-buffers（C-08〜C-10）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-08 | memqで+workspace-buffer-listからバッファをフィルタ | E-01 (L47) | ○ |
| C-09 | :readerで+workspace-getを使用してワークスペース取得 | E-01 (L45) | ○ |
| C-10 | :ui workspacesモジュール有効時のみ定義される | E-01 (L42) | ○ |

### config.el - +ibuffer--use-counsel-maybe-a（C-11〜C-13）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-11 | :completion ivy有効時にibuffer-find-fileをオーバーライド | E-01 (L51-54) | ○ |
| C-12 | buffer-live-pでバッファの有効性を確認 | E-01 (L57) | ○ |
| C-13 | 有効なバッファの場合そのdefault-directoryを使用 | E-01 (L58-60) | ○ |

### autoload/workspaces.el - +ibuffer-workspace（C-14〜C-16）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-14 | ibuffer関数が呼び出される | E-02 (L7) | ○ |
| C-15 | バッファ名に「buffers」が付加される | E-02 (L7) | ○ |
| C-16 | workspace-buffersフィルタが設定される | E-02 (L8) | ○ |

### autoload/workspaces.el - +ibuffer/open-for-current-workspace（C-17〜C-18）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-17 | interactiveコマンドとして定義される | E-02 (L13) | ○ |
| C-18 | +workspace-current-nameの戻り値で+ibuffer-workspaceを呼ぶ | E-02 (L14) | ○ |

### autoload/workspaces.el - +ibuffer/visit-workspace-buffer（C-19〜C-25）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-19 | +workspace-switchでワークスペースを切り替え | E-02 (L27) | ○ |
| C-20 | 複数ワークスペースの場合completing-readで選択 | E-02 (L28-29) | ○ |
| C-21 | select-firstがtの場合最初のワークスペースを選択 | E-02 (L28, L31) | ○ |
| C-22 | ワークスペースに属さない場合persp-add-bufferで追加 | E-02 (L33) | ○ |
| C-23 | buffer-live-pでバッファ有効性を確認しuser-errorを発生 | E-02 (L21-22) | ○ |
| C-24 | ibuffer-current-bufferでバッファを取得 | E-02 (L20) | ○ |
| C-25 | completing-readが空の場合user-error「Aborted」 | E-02 (L30) | ○ |

### config.el - その他の設定（C-26〜C-31）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-26 | set-popup-rule!で*Ibuffer*に:ignore t設定 | E-01 (L4) | ○ |
| C-27 | ibuffer-show-empty-filter-groupsをnilに設定 | E-01 (L6) | ○ |
| C-28 | ibuffer-projectile-set-filter-groupsがフックに追加 | E-01 (L71) | ○ |
| C-29 | +icons時にnerd-icons-octiconでプレフィックス設定 | E-01 (L74-79) | ○ |
| C-30 | +icons無効時に「Project: 」プレフィックス設定 | E-01 (L80) | ○ |
| C-31 | normal modeで'q'をkill-current-bufferにバインド | E-01 (L66) | ○ |

## 4) 不足情報（Unknown / Missing）
- **該当なし**: すべてのテストケースに対応するソースコードが存在する
- 注意点: `:ui workspaces` および `:completion ivy` モジュールの有効/無効状態によって一部機能が条件付きで定義される

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - すべてのテストケースがソースコードから直接導出されている
- 注意: 外部依存（nerd-icons, ibuffer-projectile, ibuffer-vc, persp-mode）のモック/スタブが必要
- 注意: Doom Emacsのモジュールシステム（modulep!, after!, use-package!）の理解が必要

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースがすべての公開関数（+ibuffer-workspace, +ibuffer/open-for-current-workspace, +ibuffer/visit-workspace-buffer）をカバーしているか
- [ ] define-ibuffer-columnの両方（icon, size）がテストされているか
- [ ] define-ibuffer-filterのworkspace-buffersがテストされているか
- [ ] モジュールフラグ（+icons, :ui workspaces, :completion ivy）の条件分岐がテストされているか
- [ ] エラーケース（無効なバッファ、存在しないワークスペース等）がカバーされているか
- [ ] nerd-iconsのフォールバック処理（シンボルが返された場合）がテストされているか
