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

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

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `modules/lang/go/autoload.el` - テスト実行・ベンチマーク・generate機能の定義
- E-02: `modules/lang/go/config.el` - go-mode/go-ts-modeの設定・パッケージ連携の定義
- E-03: `modules/lang/go/doctor.el` - 依存関係・ツール検証の定義
- E-04: `modules/lang/go/packages.el` - パッケージ定義・バージョンピン留め

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

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +go--spawn関数がコマンドを実行する | E-01 (3-5行目) | 〇 |
| C-02 | +go--spawn関数に空コマンドを渡した場合の動作 | E-01 (3-5行目) | 〇 |
| C-03 | +go--assert-buffer-visitingがファイルバッファで成功する | E-01 (7-9行目) | 〇 |
| C-04 | +go--assert-buffer-visitingがファイルなしバッファでエラーを出す | E-01 (8-9行目) | 〇 |
| C-05 | +go--run-testsがテスト引数を連結する | E-01 (17-20行目) | 〇 |
| C-06 | +go--run-testsが+go-test-lastを更新する | E-01 (19行目) | 〇 |
| C-07 | +go--run-testsに空引数を渡した場合の動作 | E-01 (17-20行目) | 〇 |
| C-08 | +go/test-rerunが前回テストを再実行する | E-01 (23-28行目) | 〇 |
| C-09 | +go/test-rerunが前回テストなしで+go/test-allを呼ぶ | E-01 (26-28行目) | 〇 |
| C-10 | +go/test-allが全テストを実行する | E-01 (31-34行目) | 〇 |
| C-11 | +go/test-nestedが再帰的テストを実行する | E-01 (37-40行目) | 〇 |
| C-12 | +go/test-singleが単一テストを実行する | E-01 (44-53行目) | 〇 |
| C-13 | +go/test-singleが_test.go以外でエラーを出す | E-01 (47-48行目) | 〇 |
| C-14 | +go/test-singleがテスト関数なしでエラーを出す | E-01 (51-52行目) | 〇 |
| C-15 | +go/test-singleがファイルなしバッファでエラーを出す | E-01 (46行目) | 〇 |
| C-16 | +go/test-fileがファイル内全テストを実行する | E-01 (56-70行目) | 〇 |
| C-17 | +go/test-fileが_test.go以外でエラーを出す | E-01 (60-61行目) | 〇 |
| C-18 | +go/test-fileがテスト関数なしでエラーを出す | E-01 (68-69行目) | 〇 |
| C-19 | +go/test-fileがファイルなしバッファでエラーを出す | E-01 (59行目) | 〇 |
| C-20 | +go/test-fileがテスト関数1つの場合に動作する | E-01 (56-70行目) | 〇 |
| C-21 | +go/bench-allが全ベンチマークを実行する | E-01 (73-76行目) | 〇 |
| C-22 | +go/bench-singleが単一ベンチマークを実行する | E-01 (79-86行目) | 〇 |
| C-23 | +go/bench-singleが_test.go以外でエラーを出す | E-01 (86行目) | 〇 |
| C-24 | +go--generateがgo generateを実行する | E-01 (91-97行目) | 〇 |
| C-25 | +go--generateが存在しないディレクトリでエラーを出す | E-01 (92-93行目) | 〇 |
| C-26 | +go/generate-fileが現在ファイルでgenerateを実行する | E-01 (100-105行目) | 〇 |
| C-27 | +go/generate-fileがファイルなしバッファでエラーを出す | E-01 (103行目) | 〇 |
| C-28 | +go/generate-dirがディレクトリでgenerateを実行する | E-01 (108-111行目) | 〇 |
| C-29 | +go/generate-allがプロジェクト全体でgenerateを実行する | E-01 (114-125行目) | 〇 |
| C-30 | +go/generate-allがプレフィックス引数でプロジェクト選択する | E-01 (119-123行目) | 〇 |
| C-31 | +go/generate-allがプロジェクト外でエラーを出す | E-01 (125行目) | 〇 |
| C-32 | +go/play-buffer-or-regionが選択範囲を送信する | E-01 (129-134行目) | 〇 |
| C-33 | +go/play-buffer-or-regionがバッファ全体を送信する | E-01 (129-134行目) | 〇 |

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-34 | +go-common-configがgo-modeを設定する | E-02 (6-44行目) | 〇 |
| C-35 | +go-common-configが+lsp有効時にlsp!を追加する | E-02 (12-13行目) | 〇 |
| C-36 | +go-common-configがキーバインドを設定する | E-02 (15-44行目) | 〇 |
| C-54 | go-ts-modeがtree-sitter有効時に設定される | E-02 (51-67行目) | 〇 |
| C-55 | go-mod-ts-modeがgo.modで使用される | E-02 (53, 58-60行目) | 〇 |
| C-56 | go-work-ts-modeがgo.workで使用される | E-02 (61-65行目) | 〇 |
| C-57 | gorepl-modeがコマンドを提供する | E-02 (70-71行目) | 〇 |
| C-58 | flycheck-golangci-lintがgo-modeで実行される | E-02 (74-77行目) | 〇 |
| C-59 | flycheck-golangci-lintがgo-ts-modeで実行される | E-02 (77行目) | 〇 |

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-37 | +lspと:tools lspの整合性が検証される | E-03 (4-6行目) | 〇 |
| C-38 | +lspがあるが:tools lspがない場合にアサーション失敗 | E-03 (4-6行目) | 〇 |
| C-39 | +tree-sitterと:tools tree-sitterの整合性が検証される | E-03 (8-10行目) | 〇 |
| C-40 | +tree-sitterがあるが:tools tree-sitterがない場合にアサーション失敗 | E-03 (8-10行目) | 〇 |
| C-41 | +tree-sitterとgo-ts-modeの整合性が検証される | E-03 (12-14行目) | 〇 |
| C-42 | +tree-sitterがあるがgo-ts-modeがない場合にアサーション失敗 | E-03 (12-14行目) | 〇 |
| C-43 | goreがない場合に警告が出る | E-03 (16-17行目) | 〇 |
| C-44 | gotestsがない場合に警告が出る | E-03 (19-20行目) | 〇 |
| C-45 | gomodifytagsがない場合に警告が出る | E-03 (22-23行目) | 〇 |
| C-46 | gocodeがない場合に警告が出る | E-03 (25-29行目) | 〇 |
| C-47 | goplsがない場合に警告が出る | E-03 (31-33行目) | 〇 |

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-48 | go-modeパッケージが定義される | E-04 (4行目) | 〇 |
| C-49 | gorepl-modeパッケージが定義される | E-04 (5行目) | 〇 |
| C-50 | go-tagパッケージが定義される | E-04 (6行目) | 〇 |
| C-51 | go-gen-testパッケージが定義される | E-04 (7行目) | 〇 |
| C-52 | flycheck-golangci-lintパッケージが条件付きで定義される | E-04 (9-10行目) | 〇 |
| C-53 | flycheck-golangci-lintパッケージが条件不成立時は定義されない | E-04 (9行目) | 〇 |

## 4) 不足情報（Unknown / Missing）
- なし：すべてのテストケースはソースコードに基づいて生成されています

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースがソースコードに直接対応しています
- Emacs Lispのテストフレームワーク（ERT）での実装時に、モック/スタブの実装が必要になる可能性があります
  - `compile`関数のモック
  - `buffer-file-name`のモック
  - `projectile-ensure-project`のモック
  - `executable-find`のモック

## 6) レビュアーチェックリスト（最小）
- [ ] テストケースの網羅性：すべてのpublic関数（`;;;###autoload`マーク付き）がカバーされているか
- [ ] 異常系テストケースが十分か：各関数のエラーハンドリングパスがテストされているか
- [ ] 境界値テストが適切か：空文字列、nil、単一要素などのエッジケースがカバーされているか
- [ ] Emacs Lispの特性を考慮しているか：`interactive`関数と内部関数の区別が適切か
- [ ] 依存パッケージの検証が含まれているか：doctor.elの依存ツール検証が網羅されているか
