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

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：55 / 55、根拠なし：0
- 優先レビュー（高）
  1. **CVE-2024-53920対策のテストケース**：セキュリティ関連のため実装確認必須
  2. **evil-mode状態判定のテストケース**：複数の状態分岐があるため網羅性確認
  3. **LSP UI連携のテストケース**：外部パッケージとの統合確認

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

- E-01: `modules/checkers/syntax/autoload.el` - set-next-checker!関数定義（行4-13）
- E-02: `modules/checkers/syntax/autoload.el` - +syntax-init-popups-h関数定義（行15-25）
- E-03: `modules/checkers/syntax/config.el` - flycheck use-package設定（行6-59）
- E-04: `modules/checkers/syntax/config.el` - +syntax-check-buffer-h関数定義（行46-51）
- E-05: `modules/checkers/syntax/config.el` - +syntax--disable-flycheck-popup-tip-maybe-a定義（行73-80）
- E-06: `modules/checkers/syntax/config.el` - flycheck-posframe設定（行83-118）
- E-07: `modules/checkers/syntax/config.el` - +syntax--flycheck-posframe-hide-h定義（行98-101）
- E-08: `modules/checkers/syntax/config.el` - +syntax-hide-posframe-on-next-command-a定義（行103-108）
- E-09: `modules/checkers/syntax/config.el` - emacs-lisp checker predicate設定（行29-38）
- E-10: `modules/checkers/syntax/config.el` - flymake use-package設定（行124-136）
- E-11: `modules/checkers/syntax/config.el` - +syntax--only-check-elisp-buffers-in-projects-a定義（行133-136）
- E-12: `modules/checkers/syntax/config.el` - flymake-popon設定（行139-145）
- E-13: `modules/checkers/syntax/packages.el` - パッケージ依存関係定義
- E-14: `modules/checkers/syntax/README.org` - モジュールドキュメント

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | set-next-checker!で有効なモードとチェッカーでnext-checkerが設定される | E-01 | ○ |
| C-02 | set-next-checker!でappend=nilの場合先頭に追加される | E-01 | ○ |
| C-03 | set-next-checker!でappend=tの場合末尾に追加される | E-01 | ○ |
| C-04 | flycheck-mode未有効時にフックに登録される | E-01 | ○ |
| C-05 | モードフックに初期化関数が登録される | E-01 | ○ |
| C-06 | 存在しないチェッカー指定時の挙動 | E-01 | ○ |
| C-07 | GUI Emacsでflycheck-posframe-modeが有効化される | E-02 | ○ |
| C-08 | ターミナルでflycheck-popup-tip-modeが有効化される | E-02 | ○ |
| C-09 | lsp-ui-mode有効でsideline有効時に何もしない | E-02 | ○ |
| C-10 | lsp-ui-mode有効でsideline無効時にポップアップ有効化 | E-02 | ○ |
| C-11 | flycheck-posframe-mode未定義時のフォールバック | E-02 | ○ |
| C-12 | flycheck-mode有効時にflycheck-bufferが呼び出される | E-04 | ○ |
| C-13 | flycheck-mode無効時に何もしない | E-04 | ○ |
| C-14 | flycheck-bufferエラー時に例外が抑制される | E-04 | ○ |
| C-15 | 関数が常にnilを返す | E-04 | ○ |
| C-16 | evil-normal-state時にポップアップ表示 | E-05 | ○ |
| C-17 | evil-insert-state時にポップアップ非表示 | E-05 | ○ |
| C-18 | evil-emacs-state時にnon-evil判定使用 | E-05 | ○ |
| C-19 | region選択中はポップアップ非表示 | E-05 | ○ |
| C-20 | company補完中はポップアップ非表示 | E-05 | ○ |
| C-21 | corfu補完中はポップアップ非表示 | E-05 | ○ |
| C-22 | corfu--index=-1でポップアップ表示 | E-05 | ○ |
| C-23 | カーソル位置変更時にposframeが隠される | E-07 | ○ |
| C-24 | カーソル位置同じならposframe表示継続 | E-07 | ○ |
| C-25 | フックから自身が削除される | E-07 | ○ |
| C-26 | posframe表示時にpost-command-hook設定 | E-08 | ○ |
| C-27 | 元のflycheck-posframe-show-posframeが正しく呼び出される | E-08 | ○ |
| C-28 | プロジェクト内でelispチェック有効 | E-11 | ○ |
| C-29 | プロジェクト外でelispチェック無効(CVE対策) | E-11 | ○ |
| C-30 | no-byte-compile設定時チェックスキップ | E-09 | ○ |
| C-31 | プロジェクト外でチェックスキップ(flycheck版) | E-09 | ○ |
| C-32 | プロジェクト内でチェック実行 | E-09 | ○ |
| C-33 | doom-first-bufferでglobal-flycheck-mode有効化 | E-03 | ○ |
| C-34 | flycheck-emacs-lisp-load-path=inherit設定 | E-03 | ○ |
| C-35 | new-lineがcheck-syntax-automaticallyから削除 | E-03 | ○ |
| C-36 | flycheck-idle-change-delay=1.0設定 | E-03 | ○ |
| C-37 | 中間バッファチェック有効化 | E-03 | ○ |
| C-38 | エラー表示遅延0.25秒設定 | E-03 | ○ |
| C-39 | +iconsでユニコードアイコン使用(popup-tip) | E-03 | ○ |
| C-40 | +icons無効でASCIIプレフィックス使用 | E-03 | ○ |
| C-41 | +iconsでposframeユニコードアイコン使用 | E-06 | ○ |
| C-42 | company--active-pがinhibit関数に追加 | E-06 | ○ |
| C-43 | evil-insert-state-pがinhibit関数に追加 | E-06 | ○ |
| C-44 | evil-replace-state-pがinhibit関数に追加 | E-06 | ○ |
| C-45 | prog-modeでflymake-mode有効化 | E-10 | ○ |
| C-46 | text-modeでflymake-mode有効化 | E-10 | ○ |
| C-47 | fringeインジケータ右側設定 | E-10 | ○ |
| C-48 | flymake-modeでflymake-popon-mode有効化 | E-12 | ○ |
| C-49 | +childframeでposframe使用 | E-12 | ○ |
| C-50 | +childframe無効でpopon使用 | E-12 | ○ |
| C-51 | Flycheck error messagesウィンドウselect無効 | E-03 | ○ |
| C-52 | Flycheck errorsウィンドウサイズ25% | E-03 | ○ |
| C-53 | C-nでnext-error呼び出し | E-03 | ○ |
| C-54 | jキーでnext-error呼び出し | E-03 | ○ |
| C-55 | RETでgoto-error呼び出し | E-03 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし：全てのテストケースに対してソースコードから根拠を確認できた

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースがソースコードに基づいて生成されており、根拠が明確

**注意事項:**
- CVE-2024-53920対策（C-28, C-29, C-30, C-31）は特にセキュリティ上重要なため、実際のテスト実装時に十分な検証が必要
- evil-mode関連のテストケース（C-16〜C-22）は、evil-modeの状態管理が複雑なため、モック設定に注意が必要

## 6) レビュアーチェックリスト（最小）
- [ ] CVE-2024-53920対策のテストケース（UT-SYN-027〜031）が要件を満たしているか確認
- [ ] evil-mode状態判定のテストケース（UT-SYN-016〜022）の境界条件が網羅されているか確認
- [ ] LSP UI連携のテストケース（UT-SYN-009, 010）がlsp-ui-modeの挙動と整合しているか確認
- [ ] Flymake系テストケース（UT-SYN-044〜049）が+flymakeフラグの条件分岐を正しく考慮しているか確認
- [ ] ポップアップ/posframe関連のテストケースがGUI/ターミナル両環境を考慮しているか確認
