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

# 根拠レポート：modules-ui-ligatures.csv

## 本レポートについて

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

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

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

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

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

---

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

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

- E-01: `modules/ui/ligatures/config.el` - メイン設定ファイル（166行）
- E-02: `modules/ui/ligatures/autoload/ligatures.el` - 自動ロード関数定義（86行）
- E-03: `modules/ui/ligatures/doctor.el` - 診断用スクリプト（17行）
- E-04: `modules/ui/ligatures/packages.el` - パッケージ定義（8行）

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

### +ligatures--enable-p 関数（UT-LIG-001〜009）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | モードがtの場合、fundamental-mode以外でtを返す | E-01 L95-101: `(or (eq modes t) ...)` | ○ |
| C-02 | モードリストに現在のモードが含まれる場合tを返す | E-01 L100-101: `(apply #'derived-mode-p modes)` | ○ |
| C-03 | notリストで除外されていないモードでtを返す | E-01 L99-100: `(if (eq (car modes) 'not) ...)` | ○ |
| C-04 | fundamental-modeの場合nilを返す | E-01 L97: `(unless (eq major-mode 'fundamental-mode) ...)` | ○ |
| C-05 | notリストで除外されているモードでnilを返す | E-01 L99-100: `(not (apply #'derived-mode-p (cdr modes)))` | ○ |
| C-06 | モードリストに含まれないモードでnilを返す | E-01 L100-101: derived-mode-pがnilを返すケース | ○ |
| C-07 | 空のモードリストの場合nilを返す | E-01 L100-101: derived-mode-pに空リストを渡す | ○ |
| C-08 | modesがnilの場合nilを返す | E-01 L98-101: orの条件分岐 | ○ |
| C-09 | 派生モードでもtを返す | E-01 L100-101: `derived-mode-p`の使用 | ○ |

### +ligatures-init-extra-symbols-h 関数（UT-LIG-010〜016）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-10 | 有効なモードでprettify-symbols-modeが有効化される | E-01 L125: `(prettify-symbols-mode +1)` | ○ |
| C-11 | prettify-symbols-alistにシンボルが追加される | E-01 L119-122: `(setq prettify-symbols-alist ...)` | ○ |
| C-12 | after-init-timeがnilの場合何も実行されない | E-01 L110: `(when after-init-time ...)` | ○ |
| C-13 | +ligatures-extras-in-modesがnilの場合何も実行されない | E-01 L112: `((+ligatures--enable-p +ligatures-extras-in-modes))` | ○ |
| C-14 | +ligatures-extra-alistにエントリがない場合何も実行されない | E-01 L113-118: when-letによる条件分岐 | ○ |
| C-15 | 既存のprettify-symbols-modeが有効な場合、再起動される | E-01 L123-125: `(when (bound-and-true-p ...) (prettify-symbols-mode -1))` | ○ |
| C-16 | 親モードのシンボル定義が使用される | E-01 L116-118: `(derived-mode-p mode)` | ○ |

### set-ligatures! 関数（UT-LIG-017〜023）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-17 | 単一モードにシンボルを設定できる | E-02 L44-48: `(setf (alist-get mode +ligatures-extra-alist) ...)` | ○ |
| C-18 | 複数モードにシンボルを設定できる | E-02 L44: `(dolist (mode (ensure-list modes)) ...)` | ○ |
| C-19 | 複数シンボルを同時に設定できる | E-02 L40-43: `(while plist ...)` | ○ |
| C-20 | 既存のシンボル設定を上書きできる | E-02 L46-48: `(setf (alist-get (car cell) old-results) ...)` | ○ |
| C-21 | plistの先頭がnilの場合、シンボル設定が解除される | E-02 L36-38: `(if (null (car-safe plist)) ...)` | ○ |
| C-22 | +ligatures-extra-symbolsに存在しないキーは無視される | E-02 L42: `(when-let (char (plist-get +ligatures-extra-symbols key)) ...)` | ○ |
| C-23 | 空のplistが渡された場合何も変更されない | E-02 L40-43: whileループが実行されない | ○ |

### set-font-ligatures! 関数（UT-LIG-024〜030）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-24 | 単一モードにフォントリガチャを設定できる | E-02 L85: `(ligature-set-ligatures modes ligatures)` | ○ |
| C-25 | 複数モードにフォントリガチャを設定できる | E-02 L85: modesはリストとしても処理される | ○ |
| C-26 | 複数リガチャを同時に設定できる | E-02 L85: ligaturesはリストとして渡される | ○ |
| C-27 | ligaturesがnilの場合、リガチャ設定が解除される | E-02 L73-84: `(if (or (null ligatures) ...)` | ○ |
| C-28 | ligaturesが'(nil)の場合、リガチャ設定が解除される | E-02 L73: `(equal ligatures '(nil))` | ○ |
| C-29 | モードリストからの部分削除が正しく機能する | E-02 L77-84: cl-intersection, cl-nset-differenceの使用 | ○ |
| C-30 | 空のリガチャリストが渡された場合、設定が解除される | E-02 L73: `(null ligatures)` | ○ |

### 変数・エイリアス（UT-LIG-031〜035）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-31 | 定義されたシンボルキーで正しい文字が取得できる | E-01 L3-45: +ligatures-extra-symbolsの定義 | ○ |
| C-32 | すべてのシンボルキーが定義されている | E-01 L3-45: 完全なplist定義 | ○ |
| C-33 | prog-modeにデフォルトリガチャが定義されている | E-01 L47-64: +ligatures-alistの定義 | ○ |
| C-34 | tモードのエントリが存在する | E-01 L61: `(t)` | ○ |
| C-35 | 非推奨エイリアスが正しく動作する | E-02 L5: `(define-obsolete-function-alias 'set-pretty-symbols! ...)` | ○ |

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

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのテストケースにソースコード根拠あり
- **注意**: Emacs Lispはインタラクティブな環境であり、実際のテスト実行には`ert`（Emacs Lisp Regression Testing）フレームワークの使用が推奨される
- **注意**: 一部の関数は外部パッケージ（ligature.el）に依存しており、モック化が必要な場合がある

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースがモジュールの主要機能（リガチャ設定、シンボル設定）を網羅しているか
- [ ] 正常系・異常系・境界値のバランスが適切か
- [ ] Emacs Lisp特有の考慮事項（バッファローカル変数、モード継承など）が反映されているか
- [ ] 外部依存（ligatureパッケージ）を持つ関数のテストで、依存関係が明示されているか
- [ ] 非推奨機能（set-pretty-symbols!など）のテストが含まれているか
