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

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：32 / 32、根拠なし：0
- 優先レビュー（高）
  1. **UT-KOT-010**：gradlewが見つからない場合のエラーハンドリング - 実際のエラー挙動はEmacs Lispのdefault-directory動作に依存
  2. **UT-KOT-028**：assert!失敗時の挙動 - Doom Emacsのassert!マクロの実装詳細に依存
  3. **UT-KOT-014/015**：LSP連携テスト - 実際のLSP起動はlsp-modeパッケージに依存

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

- E-01: `modules/lang/kotlin/autoload.el` - 行1-15（+kotlin-locate-gradlew-file, +kotlin/run-gradlew関数定義）
- E-02: `modules/lang/kotlin/config.el` - 行1-31（モジュール設定、フック、キーバインディング）
- E-03: `modules/lang/kotlin/doctor.el` - 行1-8（環境チェック、依存性検証）
- E-04: `modules/lang/kotlin/packages.el` - 行1-10（パッケージ定義）
- E-05: `modules/lang/kotlin/README.org` - 行1-68（モジュール概要、フラグ説明）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | +kotlin-locate-gradlew-fileがlocate-dominating-fileを使用してgradlewを検索 | E-01 (行4-6) | ○ |
| C-02 | ネストされたディレクトリからの検索はlocate-dominating-fileの仕様に基づく | E-01 (行6) | ○ |
| C-03 | gradlewが見つからない場合nilが返却される | E-01 (行6) - locate-dominating-fileの仕様 | ○ |
| C-04 | buffer-file-nameがnilの場合の挙動 | E-01 (行6) | ○ |
| C-05 | +kotlin/run-gradlewがcompileコマンドを呼び出す | E-01 (行9-15) | ○ |
| C-06 | compile-commandがformat関数で構築される | E-01 (行14) | ○ |
| C-07 | default-directoryが+kotlin-locate-gradlew-fileの結果に設定される | E-01 (行12) | ○ |
| C-08 | カスタムコマンドがformat関数に渡される | E-01 (行14) | ○ |
| C-09 | 複数引数がそのままformat関数に渡される | E-01 (行14) | ○ |
| C-10 | gradlew未検出時のdefault-directoryがnil | E-01 (行12) | ○ |
| C-11 | 空文字列コマンドの処理 | E-01 (行14) | ○ |
| C-12 | set-docsets!でKotlinドキュメントセットが設定される | E-02 (行4) | ○ |
| C-13 | set-repl-handler!でkotlin-replが設定される | E-02 (行5) | ○ |
| C-14 | +lspフラグでlsp!がフックに追加される | E-02 (行7-8) | ○ |
| C-15 | +lspフラグ無効時はフック追加されない | E-02 (行7) - modulep!条件 | ○ |
| C-16 | localleader b aキーバインディング | E-02 (行13) | ○ |
| C-17 | localleader b bキーバインディング | E-02 (行14) | ○ |
| C-18 | localleader b tキーバインディング | E-02 (行15) | ○ |
| C-19 | flycheck-kotlin-setupがkotlin-modeフックで実行される | E-02 (行18-20) | ○ |
| C-20 | :checkers syntax無効時はflycheck-kotlin未設定 | E-02 (行19) - modulep!条件 | ○ |
| C-21 | +tree-sitterフラグでkotlin-ts-modeが設定される | E-02 (行23-28) | ○ |
| C-22 | Tree-sitter grammarのURL設定 | E-02 (行28) | ○ |
| C-23 | kotlin-ts-modeでのLSP連携 | E-02 (行30-31) | ○ |
| C-24 | ktlint存在時に警告なし | E-03 (行3-4) | ○ |
| C-25 | ktlint未存在時に警告表示 | E-03 (行3-4) | ○ |
| C-26 | +lsp無効時のアサーション成功 | E-03 (行6-8) | ○ |
| C-27 | +lspと:tools lsp両方有効時のアサーション成功 | E-03 (行6-8) | ○ |
| C-28 | +lsp有効で:tools lsp無効時のアサーション失敗 | E-03 (行6-8) | ○ |
| C-29 | kotlin-modeパッケージのpin定義 | E-04 (行4) | ○ |
| C-30 | kotlin-ts-modeの条件付きパッケージ定義 | E-04 (行6-7) | ○ |
| C-31 | flycheck-kotlinの条件付きパッケージ定義 | E-04 (行9-10) | ○ |
| C-32 | +tree-sitter無効時のkotlin-ts-mode除外 | E-04 (行6) - 条件分岐 | ○ |

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

## 5) リスクフラグ（レビュー観点）
- **0 (低リスク)**: 全テストケースがソースコードに基づいて導出されている
- **1 (中リスク)**: 一部のテストケース（UT-KOT-010, UT-KOT-028）は、Emacs Lispの標準関数やDoom Emacsのマクロの挙動に依存しており、実際のテスト実行時に確認が必要
- **注意点**:
  - Emacs Lisp特有の動的型付けにより、nilや不正な入力に対する挙動は実行時に確認が必要
  - Doom Emacsのカスタムマクロ（modulep!, set-docsets!, set-repl-handler!等）の詳細な挙動はDoomコアの実装に依存

## 6) レビュアーチェックリスト（最小）
- [ ] autoload.elの関数定義が正しくテストケースに反映されているか
- [ ] config.elのフラグ条件（+lsp, +tree-sitter, :checkers syntax）に対応するテストケースが網羅されているか
- [ ] doctor.elの環境チェックロジックが正しくテストケースに反映されているか
- [ ] packages.elの条件付きパッケージ定義がテストケースでカバーされているか
- [ ] キーバインディング（localleader b a/b/t）のテストケースが適切か
- [ ] 境界値テスト（空文字列、nil等）が必要な箇所に含まれているか
- [ ] Emacs Lisp特有のエラーハンドリング（nilによるエラー等）が考慮されているか
