---
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-ui-zen 単体テストケース一覧

## 本レポートについて

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

### チェック方法
以下の観点でドキュメントの内容（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/ui/zen/autoload.el` - 自動ロード関数定義ファイル（30行）
- E-02: `modules/ui/zen/config.el` - 設定・フック関数定義ファイル（77行）
- E-03: `modules/ui/zen/packages.el` - パッケージ依存定義ファイル（6行）
- E-04: `modules/ui/zen/README.org` - モジュールドキュメント（82行）

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

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +zen/toggleはwriteroom-modeのエイリアスである | E-01 L4: `(defalias '+zen/toggle #'writeroom-mode)` | ○ |
| C-02 | +zen/toggle-fullscreenはwriteroom-mode無効時にフルスクリーン化する | E-01 L15-27: 条件分岐とframe-parameter設定 | ○ |
| C-03 | +zen/toggle-fullscreenはwriteroom-mode有効時に元の設定を復元する | E-01 L15-23: fullscreen-restore処理 | ○ |
| C-04 | fullscreen-restoreがmaximizedの場合の復元処理 | E-01 L20: `(memq fullscreen-restore '(maximized fullheight fullwidth))` | ○ |
| C-05 | fullscreen-restoreがfullheightの場合の復元処理 | E-01 L20: memqでfullheightを含むリストをチェック | ○ |
| C-06 | fullscreen-restoreがfullwidthの場合の復元処理 | E-01 L20: memqでfullwidthを含むリストをチェック | ○ |
| C-07 | fullscreen-restoreが他の値の場合はnilを設定 | E-01 L21-22: if条件の偽の場合nil | ○ |
| C-08 | ウィンドウ設定が+zen--last-wconfに保存される | E-01 L24: `(setq +zen--last-wconf (current-window-configuration))` | ○ |
| C-09 | writeroom-set-fullscreenがglobal-effectsから除外される | E-01 L28: `(remq 'writeroom-set-fullscreen writeroom-global-effects)` | ○ |
| C-39 | +zen--last-wconfの初期値はnil | E-01 L6: `(defvar +zen--last-wconf nil)` | ○ |
| C-40 | writeroom-modeがrequireされる | E-01 L12: `(require 'writeroom-mode)` | ○ |

### config.el フック関数テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-10 | writeroom-mode有効時にtext-scaleが設定される | E-02 L29-30: `(text-scale-set (if writeroom-mode +zen-text-scale 0))` | ○ |
| C-11 | writeroom-mode無効時にtext-scaleが0にリセットされる | E-02 L30: if条件の偽の場合0 | ○ |
| C-12 | +zen-text-scaleが0の場合にスキップされる | E-02 L29: `(when (/= +zen-text-scale 0)` | ○ |
| C-13 | visual-fill-column-adjustが呼び出される | E-02 L31: `(visual-fill-column-adjust)` | ○ |
| C-14 | window-divider-mode有効時にサイズが拡大される | E-02 L41-42: `window-divider-default-bottom-width +zen-window-divider-size` | ○ |
| C-15 | 元のウィンドウ分割線サイズが保存される | E-02 L38-40: consで保存 | ○ |
| C-16 | writeroom-mode無効時にサイズが復元される | E-02 L43-45: car/cdrで復元 | ○ |
| C-17 | +zen--old-window-divider-sizeがnilの場合にスキップ | E-02 L43: `(when +zen--old-window-divider-size` | ○ |
| C-18 | window-divider-mode無効時にスキップされる | E-02 L36: `(when (bound-and-true-p window-divider-mode)` | ○ |
| C-19 | window-divider-modeが再有効化される | E-02 L46: `(window-divider-mode +1)` | ○ |

### config.el mixed-pitch関連テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-20 | org-modeでmixed-pitch-modeが有効化される | E-02 L57-58: `(when (apply #'derived-mode-p +zen-mixed-pitch-modes)` + L3のリスト | ○ |
| C-21 | markdown-modeでmixed-pitch-modeが有効化される | E-02 L3: `'(adoc-mode rst-mode markdown-mode org-mode)` | ○ |
| C-22 | rst-modeでmixed-pitch-modeが有効化される | E-02 L3: リストにrst-modeを含む | ○ |
| C-23 | adoc-modeでmixed-pitch-modeが有効化される | E-02 L3: リストにadoc-modeを含む | ○ |
| C-24 | writeroom-mode無効時にmixed-pitch-modeが無効化される | E-02 L58: `(if writeroom-mode +1 -1)` | ○ |
| C-25 | 対象外モードでmixed-pitch-modeが変更されない | E-02 L57: derived-mode-pによるガード | ○ |

### config.el 変数テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-26 | +zen-mixed-pitch-modesにorg-modeが含まれる | E-02 L3: `'(adoc-mode rst-mode markdown-mode org-mode)` | ○ |
| C-27 | +zen-mixed-pitch-modesにmarkdown-modeが含まれる | E-02 L3: リストにmarkdown-modeを含む | ○ |
| C-28 | +zen-mixed-pitch-modesはカスタマイズ可能 | E-02 L3: defvarで定義されておりsetq可能 | ○ |
| C-29 | +zen-text-scaleのデフォルト値は2 | E-02 L7: `(defvar +zen-text-scale 2` | ○ |
| C-30 | +zen-text-scale=0でスケーリング無効化 | E-02 L29: `/=`でゼロチェック | ○ |
| C-31 | +zen-text-scaleは負値も受け付ける | E-02 L7: 数値型defvarで制限なし | ○ |
| C-32 | +zen-window-divider-sizeのデフォルト値は4 | E-02 L10: `(defvar +zen-window-divider-size 4` | ○ |

### config.el 設定テストケース

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-33 | writeroom-global-effectsがnilに設定される | E-02 L23: `(setq writeroom-global-effects nil)` | ○ |
| C-34 | writeroom-maximize-windowがnilに設定される | E-02 L24: `(setq writeroom-maximize-window nil)` | ○ |
| C-35 | org-dateがfixed-pitch-facesに追加される | E-02 L62: `'org-date` | ○ |
| C-36 | org-tagがfixed-pitch-facesに追加される | E-02 L67: `'org-tag` | ○ |
| C-37 | font-lock-comment-faceがfixed-pitch-facesに追加される | E-02 L76: `'font-lock-comment-face` | ○ |
| C-38 | text-scale-adjustにadviceが設定される | E-02 L49: `(advice-add #'text-scale-adjust :after #'visual-fill-column-adjust)` | ○ |

## 4) 不足情報（Unknown / Missing）
- なし - 全てのテストケースにソースコードの根拠あり

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全テストケースがソースコードに基づいており、Emacs Lispの標準的なパターンを使用

**補足事項:**
- Emacs Lispは動的型付け言語のため、型チェックに関するテストケースは限定的
- フック関数のテストは実際のEmacs環境での統合テストが必要
- writeroom-modeおよびmixed-pitchパッケージの外部依存あり（E-03で定義）

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースがソースコードの全公開関数をカバーしているか確認
- [ ] defvarで定義された設定変数の境界値テストが適切か確認
- [ ] フック関数の条件分岐が網羅されているか確認
- [ ] writeroom-mode/mixed-pitchパッケージとの連携テストの必要性を検討
- [ ] Emacs環境固有の動作（frame-parameter、window-configuration等）のモック化方針を検討
