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

# 根拠レポート：modules-lang-purescript.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：33 / 33、根拠なし：0
- 優先レビュー（高）
  1. 該当なし - 全てのClaimに根拠が存在

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

- E-01: `modules/lang/purescript/config.el` - メイン設定ファイル（39行）
- E-02: `modules/lang/purescript/doctor.el` - 診断スクリプト（6行）
- E-03: `modules/lang/purescript/packages.el` - パッケージ定義（7行）
- E-04: `modules/lang/purescript/README.org` - モジュールドキュメント（64行）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +lspフラグ有効時にLSPが起動すること | E-01（4-5行目: `(when (modulep! +lsp) (add-hook 'purescript-mode-local-vars-hook #'lsp! 'append))`） | ○ |
| C-02 | +lspフラグ無効時にLSPが起動しないこと | E-01（4行目: `(when (modulep! +lsp)`の条件分岐） | ○ |
| C-03 | purescript-modeでインデントモードが有効化されること | E-01（7行目: `(add-hook 'purescript-mode-hook #'purescript-indentation-mode)`） | ○ |
| C-04 | purs-tidyがフォーマッタとして登録されること | E-01（9行目: `(set-formatter! 'purs-tidy '(""purs-tidy"" ""format"") :modes '(purescript-mode))`） | ○ |
| C-05 | purs-tidyコマンドが存在しない場合のエラーハンドリング | E-02（3-5行目: `(unless (executable-find ""purs-tidy"") (warn! ...))`）から推論 | ○ |
| C-06 | tキーでpsc-ide-show-typeが呼び出されること | E-01（13行目: `""t"" #'psc-ide-show-type`） | ○ |
| C-07 | cキーでpsc-ide-case-splitが呼び出されること | E-01（14行目: `""c"" #'psc-ide-case-split`） | ○ |
| C-08 | iキーでpsc-ide-add-importが呼び出されること | E-01（15行目: `""i"" #'psc-ide-add-import`） | ○ |
| C-09 | aキーでpsc-ide-add-clauseが呼び出されること | E-01（16行目: `""a"" #'psc-ide-add-clause`） | ○ |
| C-10 | fキーでpsc-ide-flycheck-insert-suggestionが呼び出されること | E-01（17行目: `""f"" #'psc-ide-flycheck-insert-suggestion`） | ○ |
| C-11 | lmキーでpsc-ide-load-moduleが呼び出されること | E-01（19行目: `""m"" #'psc-ide-load-module`） | ○ |
| C-12 | laキーでpsc-ide-load-allが呼び出されること | E-01（20行目: `""a"" #'psc-ide-load-all`） | ○ |
| C-13 | ssキーでpsc-ide-server-startが呼び出されること | E-01（22行目: `""s"" #'psc-ide-server-start`） | ○ |
| C-14 | sSキーでpsc-ide-server-quitが呼び出されること | E-01（23行目: `""S"" #'psc-ide-server-quit`） | ○ |
| C-15 | purescript-modeのREPLハンドラがpsciに設定されること | E-01（25行目: `(set-repl-handler! 'purescript-mode #'psci)`） | ○ |
| C-16 | psciが利用できない場合のエラーハンドリング | E-03（6行目: `(package! psci ...)`）、REPLハンドラ設定から推論 | ○ |
| C-17 | definitionルックアップがpsc-ide-goto-definitionに設定されること | E-01（28行目: `:definition #'psc-ide-goto-definition`） | ○ |
| C-18 | documentationルックアップがpurescript-pursuitに設定されること | E-01（29行目: `:documentation #'purescript-pursuit`） | ○ |
| C-19 | psc-ideサーバー未起動時の定義ジャンプのエラーハンドリング | E-01（27-29行目のset-lookup-handlers!設定）から推論 | ○ |
| C-20 | purescript-mode起動時にpsc-ide-modeが有効化されること | E-01（33行目: `:hook (purescript-mode . psc-ide-mode)`） | ○ |
| C-21 | company-psc-ide-backendがグローバルbackendsから削除されること | E-01（35行目: `(remove-hook 'company-backends 'company-psc-ide-backend)`） | ○ |
| C-22 | :checkers syntax有効時にpsc-ide-flycheck-setupが呼ばれること | E-01（36-37行目: `(when (modulep! :checkers syntax -flymake) (psc-ide-flycheck-setup))`） | ○ |
| C-23 | :checkers syntax無効時にpsc-ide-flycheck-setupが呼ばれないこと | E-01（36行目: `(when (modulep! :checkers syntax -flymake)`の条件分岐） | ○ |
| C-24 | purescript-modeの補完バックエンドにcompany-psc-ide-backendが設定されること | E-01（38行目: `(set-company-backend! 'purescript-mode 'company-psc-ide-backend)`） | ○ |
| C-25 | :editor formatモジュール有効時にpurs-tidyチェックが実行されること | E-02（3行目: `(when (modulep! :editor format)`） | ○ |
| C-26 | :editor formatモジュール無効時にpurs-tidyチェックがスキップされること | E-02（3行目: `(when (modulep! :editor format)`の条件分岐） | ○ |
| C-27 | purs-tidyが存在する場合に警告が出ないこと | E-02（4行目: `(unless (executable-find ""purs-tidy"")`の条件分岐） | ○ |
| C-28 | purs-tidyが存在しない場合に警告が出ること | E-02（4-5行目: `(unless (executable-find ""purs-tidy"") (warn! ""Could not find purs-tidy. Formatting will be disabled.""))`） | ○ |
| C-29 | psc-ideパッケージが正しいピンで定義されること | E-03（4行目: `(package! psc-ide :pin ""c64b05d9011d7c87c6ff2b53be08c3374b6dab66"")`） | ○ |
| C-30 | purescript-modeパッケージが正しいピンで定義されること | E-03（5行目: `(package! purescript-mode :pin ""61732e23bd33b7d0d71bc6cff84b612bd2d9dff2"")`） | ○ |
| C-31 | psciパッケージが正しいピンで定義されること | E-03（6行目: `(package! psci :pin ""ef31045295f29485fc697892fba53390fe193595"")`） | ○ |
| C-32 | purescript-modeがロードされていない場合の挙動 | E-01（3行目: `(after! purescript-mode`の遅延評価構文） | ○ |
| C-33 | psc-ideパッケージが利用できない場合の挙動 | E-01（32行目: `(use-package! psc-ide`のパッケージ依存管理） | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし - 全てのテストケースはソースコードから直接根拠を取得できました

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全てのClaimに明確な根拠が存在し、ソースコードとの整合性が確認されています

## 6) レビュアーチェックリスト（最小）
- [ ] config.elのLSP統合設定（UT-PUR-001, UT-PUR-002）が実際の+lspフラグの動作と一致しているか確認
- [ ] キーバインド設定（UT-PUR-006〜UT-PUR-014）がDoom Emacsの標準的なlocalleaderパターンに従っているか確認
- [ ] Flycheck統合（UT-PUR-022, UT-PUR-023）が:checkers syntaxモジュールとの連携で正しく動作するか確認
- [ ] パッケージのピンバージョン（UT-PUR-029〜UT-PUR-031）が最新の安定版を指しているか確認
- [ ] purs-tidy依存の診断（UT-PUR-027, UT-PUR-028）が:editor formatモジュールとの連携で適切に動作するか確認
