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

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：63 / 63、根拠なし：0
- 優先レビュー（高）
  1. **REPL関連テスト（UT-HAS-001〜004）**：エラーハンドリングの実際の挙動確認推奨
  2. **LSP連携テスト（UT-HAS-023, 038, 040-43）**：モジュールフラグ条件の組み合わせ確認推奨
  3. **パッケージ定義テスト（UT-HAS-057〜63）**：pinバージョンの妥当性は別途確認推奨

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

- E-01: `modules/lang/haskell/autoload.el` - autoload関数定義（+haskell/open-repl, +haskell/evil-open-above, +haskell/evil-open-below）
- E-02: `modules/lang/haskell/config.el` - haskell-mode設定、キーマップ、LSP設定、tree-sitter設定
- E-03: `modules/lang/haskell/doctor.el` - モジュール依存確認、実行ファイル検出チェック
- E-04: `modules/lang/haskell/packages.el` - パッケージ定義（haskell-mode, haskell-ts-mode, lsp-haskell）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +haskell/open-replがREPLバッファを返却する | E-01 (L4-12) | ○ |
| C-02 | +haskell/open-replがprefix引数を受け付ける | E-01 (L4, "P") | ○ |
| C-03 | display-buffer失敗時にエラーをスローする | E-01 (L11-12, error関数) | ○ |
| C-04 | +haskell/evil-open-aboveが行上挿入する | E-01 (L15-22) | ○ |
| C-05 | +haskell/evil-open-belowが行下挿入する | E-01 (L25-29) | ○ |
| C-06 | projectileにstack.yamlが追加される | E-02 (L4-5) | ○ |
| C-07 | haskell-process設定が正しく設定される | E-02 (L12-14) | ○ |
| C-08 | lookup-handlersが設定される | E-02 (L16-17) | ○ |
| C-09 | file-templateが設定される | E-02 (L18-20) | ○ |
| C-10 | repl-handlerが設定される | E-02 (L21-23) | ○ |
| C-11 | popup-ruleが設定される | E-02 (L25) | ○ |
| C-12 | haskell-mode-hookにモードが追加される | E-02 (L27-29) | ○ |
| C-13 | +lsp時にlsp!がフックに追加される | E-02 (L31-33) | ○ |
| C-14 | .hiが補完除外に追加される | E-02 (L35) | ○ |
| C-15 | キーマップが正しく設定される | E-02 (L37-48) | ○ |
| C-16 | haskell-ts-modeが条件付きでロードされる | E-02 (L51-61) | ○ |
| C-17 | lsp-haskellが条件付きでロードされる | E-02 (L64-69) | ○ |
| C-18 | assert!で+lsp依存が確認される | E-03 (L4-6) | ○ |
| C-19 | assert!で+tree-sitter依存が確認される | E-03 (L8-10) | ○ |
| C-20 | cabal未検出時に警告が出る | E-03 (L12-13) | ○ |
| C-21 | hoogle未検出時に警告が出る | E-03 (L15-16) | ○ |
| C-22 | hlint未検出時に条件付き警告が出る | E-03 (L18-21) | ○ |
| C-23 | brittany未検出時に条件付き警告が出る | E-03 (L23-27) | ○ |
| C-24 | HLS未検出時に条件付き警告が出る | E-03 (L29-31) | ○ |
| C-25 | haskell-modeパッケージが定義される | E-04 (L4) | ○ |
| C-26 | haskell-ts-modeが条件付きで定義される | E-04 (L5-6) | ○ |
| C-27 | lsp-haskellが条件付きで定義される | E-04 (L8-10) | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なしの項目はありません
- 以下の情報は実行時テストで確認が必要：
  - 実際のREPLセッション動作確認
  - LSPサーバーとの通信テスト
  - tree-sitter文法のパース正確性

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - ソースコードから直接確認可能なテストケース（C-04〜C-15, C-25〜C-27）
- 1: 中リスク - モジュールフラグの組み合わせに依存するテストケース（C-13, C-16〜C-24）
- 1: 中リスク - 外部依存（実行ファイル検出）に関するテストケース（C-20〜C-24）

## 6) レビュアーチェックリスト（最小）
- [ ] autoload.elの3関数（+haskell/open-repl, +haskell/evil-open-above, +haskell/evil-open-below）のテストケースが網羅されているか
- [ ] config.elの各設定項目（haskell-mode設定、キーマップ、LSP、tree-sitter）に対応するテストケースがあるか
- [ ] doctor.elの全assert!とwarn!に対応するテストケースがあるか
- [ ] packages.elの条件付きパッケージ定義（+tree-sitter, +lsp, -eglot）のテストケースがあるか
- [ ] テストIDの命名規則（UT-HAS-XXX）が一貫しているか
- [ ] 優先度（高/中/低）の設定が適切か（セキュリティ・認証関連は高、ユーティリティは低）
