---
generated_at: 2026-02-19 12:30:00
metrics:
  claims_total: 93
  claims_with_evidence: 93
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：FSharp-Compiler-LanguageServer 単体テストケース一覧

## 本レポートについて

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

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

1. **根拠の有無確認**：各テストケースに対して、ソースコード内のクラス・関数・メソッド定義が存在するか
2. **根拠との整合性**：テストケースの内容がソースコードの実装と矛盾していないか
3. **網羅性**：モジュール内の全ての公開インターフェースをカバーしているか

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：93 / 93、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全てのテストケースにソースコード根拠あり
  2. **GetSemanticTokensForFile**：複雑なロジックのため追加検証推奨
  3. **CapabilitiesManager**：設定による条件分岐が多いため追加検証推奨

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

- E-01: `src/FSharp.Compiler.LanguageServer/FSharpLanguageServerConfig.fs` - FSharpLanguageServerFeatures, FSharpLanguageServerConfig型定義
- E-02: `src/FSharp.Compiler.LanguageServer/Utils.fs` - LspLogger関数、Range拡張、FSharpDiagnosticExtensions、Activityモジュール
- E-03: `src/FSharp.Compiler.LanguageServer/Executable.fs` - mainエントリーポイント
- E-04: `src/FSharp.Compiler.LanguageServer/FSharpLanguageServer.fs` - FSharpLanguageServerクラス、Extensions型
- E-05: `src/FSharp.Compiler.LanguageServer/Common/FSharpRequestContext.fs` - TokenTypesモジュール、FSharpRequestContext、ContextHolder、FShapRequestContextFactory
- E-06: `src/FSharp.Compiler.LanguageServer/Common/CapabilitiesManager.fs` - IServerCapabilitiesOverrideインターフェース、CapabilitiesManagerクラス
- E-07: `src/FSharp.Compiler.LanguageServer/Common/LifecycleManager.fs` - LspServiceLifeCycleManager、FSharpLspServicesクラス
- E-08: `src/FSharp.Compiler.LanguageServer/Handlers/LanguageFeaturesHandler.fs` - LanguageFeaturesHandlerクラス
- E-09: `src/FSharp.Compiler.LanguageServer/Handlers/DocumentStateHandler.fs` - DocumentStateHandlerクラス

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01〜C-03 | FSharpLanguageServerFeatures/Config Default プロパティ | E-01: 行9-23 | ○ |
| C-04〜C-09 | LspLogger各ログメソッド | E-02: 行16-35 | ○ |
| C-10〜C-11 | Range.ToLspRange拡張メソッド | E-02: 行37-43 | ○ |
| C-12 | FSharpDiagnostic.ToLspDiagnostic | E-02: 行46-56 | ○ |
| C-13〜C-15 | Activity.listen/listenToAll/listenToSome | E-02: 行58-90 | ○ |
| C-16 | Executable.main | E-03: 行7-21 | ○ |
| C-17〜C-27 | FSharpLanguageServerコンストラクタ/Create系メソッド | E-04: 行32-116 | ○ |
| C-28〜C-42 | TokenTypesモジュール（LexicalClassification, GetSyntacticTokenTypes, FSharpTokenTypeToLSP, toIndex） | E-05: 行20-84 | ○ |
| C-43〜C-53 | FSharpRequestContext、ContextHolder、FShapRequestContextFactory | E-05: 行86-187 | ○ |
| C-54〜C-64 | CapabilitiesManager（SetInitializeParams, GetInitializeParams, GetInitializeResult） | E-06: 行10-63 | ○ |
| C-65〜C-68 | LspServiceLifeCycleManager（ShutdownAsync, ExitAsync） | E-07: 行11-23 | ○ |
| C-69〜C-77 | FSharpLspServices（GetRequiredService, GetService, GetRequiredServices, Dispose, TryGetService） | E-07: 行25-45 | ○ |
| C-78〜C-84 | LanguageFeaturesHandler（MutatesSolutionState, HandleRequestAsync） | E-08: 行15-59 | ○ |
| C-85〜C-91 | DocumentStateHandler（MutatesSolutionState, HandleRequestAsync, HandleNotificationAsync） | E-09: 行12-47 | ○ |
| C-92〜C-93 | Extensions.Please拡張メソッド | E-04: 行25-30 | ○ |

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

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースにソースコード根拠あり
- 以下の点について追加検証を推奨:
  - `GetSemanticTokensForFile`: 相対位置計算ロジックが複雑（E-05: 行91-161）
  - `CapabilitiesManager.GetInitializeResult`: scOverridesによるfold処理（E-06: 行59-62）
  - `DocumentStateHandler`: ContentChanges[0]のみを使用する仕様確認（E-09: 行34）

## 6) レビュアーチェックリスト（最小）
- [ ] 各テストケースの前提条件が実行可能か確認
- [ ] 入力値と期待結果の整合性を確認
- [ ] 境界値テストケース（空配列、0件等）のカバレッジ確認
- [ ] 異常系テストケース（例外、null等）のカバレッジ確認
- [ ] 優先度「高」のテストケースが適切に設定されているか確認
- [ ] FSharpWorkspaceとの連携テストの追加要否を検討
- [ ] CancellationTokenによるキャンセル処理のテストカバレッジ確認
