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

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：116 / 116、根拠なし：0
- 優先レビュー（高）
  1. **依存関係解決メソッドのテストケース（UT-DPM-035～042）**：複雑なフォールバックロジックの検証
  2. **TryFindDependencyManagerInPath のテストケース（UT-DPM-051～055）**：パス解析とエラー処理
  3. **ネイティブDLL解決のテストケース（UT-DPM-103～106）**：プラットフォーム依存の動作

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

- E-01: `src/Compiler/DependencyManager/AssemblyResolveHandler.fs` - アセンブリ解決ハンドラーの実装
- E-02: `src/Compiler/DependencyManager/AssemblyResolveHandler.fsi` - アセンブリ解決ハンドラーのインターフェース定義
- E-03: `src/Compiler/DependencyManager/DependencyProvider.fs` - 依存関係プロバイダーの実装
- E-04: `src/Compiler/DependencyManager/DependencyProvider.fsi` - 依存関係プロバイダーのインターフェース定義
- E-05: `src/Compiler/DependencyManager/NativeDllResolveHandler.fs` - ネイティブDLL解決ハンドラーの実装
- E-06: `src/Compiler/DependencyManager/NativeDllResolveHandler.fsi` - ネイティブDLL解決ハンドラーのインターフェース定義

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

### Option モジュール（DependencyProvider.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 (UT-DPM-001) | ofString関数は有効な文字列をSome型に変換する | E-03 (16-23行目) | ○ |
| C-02 (UT-DPM-002) | ofString関数は空文字列をNoneに変換する | E-03 (16-23行目) | ○ |
| C-03 (UT-DPM-003) | ofString関数はnullをNoneに変換する | E-03 (16-23行目) | ○ |

### ReflectionHelper モジュール（DependencyProvider.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-04 (UT-DPM-004) | assemblyHasAttributeは指定属性を持つアセンブリでtrueを返す | E-03 (45-50行目) | ○ |
| C-05 (UT-DPM-005) | assemblyHasAttributeは指定属性を持たないアセンブリでfalseを返す | E-03 (45-50行目) | ○ |
| C-06 (UT-DPM-006) | assemblyHasAttributeは例外発生時にfalseを返す | E-03 (49-50行目) | ○ |
| C-07 (UT-DPM-007) | getAttributeNamedは型に指定属性が存在する場合Someを返す | E-03 (52-57行目) | ○ |
| C-08 (UT-DPM-008) | getAttributeNamedは型に指定属性が存在しない場合Noneを返す | E-03 (52-57行目) | ○ |
| C-09 (UT-DPM-009) | getAttributeNamedは例外発生時にNoneを返す | E-03 (56-57行目) | ○ |
| C-10 (UT-DPM-010) | getInstancePropertyは存在するインスタンスプロパティを取得する | E-03 (59-72行目) | ○ |
| C-11 (UT-DPM-011) | getInstancePropertyは存在しないプロパティでNoneを返す | E-03 (64-66行目) | ○ |
| C-12 (UT-DPM-012) | getInstancePropertyは静的プロパティでNoneを返す | E-03 (69行目) | ○ |
| C-13 (UT-DPM-013) | getInstancePropertyは例外発生時にNoneを返す | E-03 (71-72行目) | ○ |
| C-14 (UT-DPM-014) | getInstanceMethodは存在するインスタンスメソッドを取得する | E-03 (74-80行目) | ○ |
| C-15 (UT-DPM-015) | getInstanceMethodは存在しないメソッドでNoneを返す | E-03 (76-77行目) | ○ |
| C-16 (UT-DPM-016) | getInstanceMethodは例外発生時にNoneを返す | E-03 (79-80行目) | ○ |
| C-17 (UT-DPM-017) | stripTieWrapperはTargetInvocationExceptionのInnerExceptionを返す | E-03 (82-85行目) | ○ |
| C-18 (UT-DPM-018) | stripTieWrapperは通常の例外をそのまま返す | E-03 (85行目) | ○ |
| C-19 (UT-DPM-019) | stripTieWrapperはInnerExceptionがnullのTargetInvocationExceptionをそのまま返す | E-03 (84行目) | ○ |

### ReflectionDependencyManagerProvider クラス（DependencyProvider.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-20 (UT-DPM-020) | InstanceMakerは有効な依存関係マネージャー型からインスタンス生成関数を取得する | E-03 (188-266行目) | ○ |
| C-21 (UT-DPM-021) | InstanceMakerはDependencyManagerAttributeがない型ではNoneを返す | E-03 (195-197行目) | ○ |
| C-22 (UT-DPM-022) | InstanceMakerはNameプロパティがない型ではNoneを返す | E-03 (196行目) | ○ |
| C-23 (UT-DPM-023) | InstanceMakerはKeyプロパティがない型ではNoneを返す | E-03 (197行目) | ○ |
| C-24 (UT-DPM-024) | MakeResultFromObjectは有効なオブジェクトからIResolveDependenciesResultを生成する | E-03 (338-375行目) | ○ |
| C-25 (UT-DPM-025) | MakeResultFromObjectはSuccessプロパティがないオブジェクトではfalseを返す | E-03 (342-344行目) | ○ |
| C-26 (UT-DPM-026) | MakeResultFromObjectはStdOutプロパティがないオブジェクトでは空配列を返す | E-03 (347-350行目) | ○ |
| C-27 (UT-DPM-027) | MakeResultFromFieldsは指定フィールドからIResolveDependenciesResultを生成する | E-03 (377-398行目) | ○ |
| C-28 (UT-DPM-028) | MakeResultFromFieldsは空のシーケンスで生成できる | E-03 (377-398行目) | ○ |
| C-29 (UT-DPM-029) | Nameプロパティはプロバイダー名を取得する | E-03 (402-403行目) | ○ |
| C-30 (UT-DPM-030) | Keyプロパティはプロバイダーキーを取得する | E-03 (405-406行目) | ○ |
| C-31 (UT-DPM-031) | HelpMessagesプロパティはヘルプメッセージを取得する | E-03 (414-415行目) | ○ |
| C-32 (UT-DPM-032) | HelpMessagesプロパティはプロパティがない場合空配列を返す | E-03 (184-186行目) | ○ |
| C-33 (UT-DPM-033) | ClearResultsCacheメソッドはキャッシュをクリアする | E-03 (408-412行目) | ○ |
| C-34 (UT-DPM-034) | ClearResultsCacheメソッドがない場合でもエラーにならない | E-03 (411-412行目) | ○ |
| C-35 (UT-DPM-035) | ResolveDependenciesはresolveDepsExWithScriptInfoAndTimeoutを優先使用する | E-03 (427-437行目) | ○ |
| C-36 (UT-DPM-036) | ResolveDependenciesはresolveDepsExWithTimeoutにフォールバックする | E-03 (438-439行目) | ○ |
| C-37 (UT-DPM-037) | ResolveDependenciesはresolveDepsExにフォールバックする | E-03 (440-441行目) | ○ |
| C-38 (UT-DPM-038) | ResolveDependenciesはresolveDepsにフォールバックする | E-03 (442-450行目) | ○ |
| C-39 (UT-DPM-039) | ResolveDependenciesはどのメソッドもない場合失敗結果を返す | E-03 (451-455行目) | ○ |
| C-40 (UT-DPM-040) | ResolveDependenciesはメソッド呼び出しがnullを返す場合失敗結果を返す | E-03 (458行目) | ○ |
| C-41 (UT-DPM-041) | ResolveDependenciesはタプル以外の結果オブジェクトを正しく処理する | E-03 (464-465行目) | ○ |
| C-42 (UT-DPM-042) | ResolveDependenciesは3要素タプル結果を正しく処理する | E-03 (466-479行目) | ○ |

### DependencyProvider クラス（DependencyProvider.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-43 (UT-DPM-043) | デフォルトコンストラクタでインスタンス生成できる | E-03 (569行目), E-04 (88-89行目) | ○ |
| C-44 (UT-DPM-044) | NativeResolutionProbeのみでインスタンス生成できる | E-03 (567行目), E-04 (91-92行目) | ○ |
| C-45 (UT-DPM-045) | NativeResolutionProbeとキャッシュ設定でインスタンス生成できる | E-03 (565行目), E-04 (94-95行目) | ○ |
| C-46 (UT-DPM-046) | AssemblyResolutionProbeとNativeResolutionProbeでインスタンス生成できる | E-03 (559-560行目), E-04 (97-98行目) | ○ |
| C-47 (UT-DPM-047) | GetRegisteredDependencyManagerHelpTextは登録マネージャーのヘルプテキストを取得する | E-03 (572-580行目), E-04 (107-109行目) | ○ |
| C-48 (UT-DPM-048) | GetRegisteredDependencyManagerHelpTextはマネージャー未登録の場合空配列を返す | E-03 (572-580行目) | ○ |
| C-49 (UT-DPM-049) | ClearResultsCacheはすべてのマネージャーのキャッシュをクリアする | E-03 (583-588行目), E-04 (111-113行目) | ○ |
| C-50 (UT-DPM-050) | CreatePackageManagerUnknownErrorは不明なマネージャーのエラーメッセージを生成する | E-03 (591-607行目), E-04 (115-117行目) | ○ |
| C-51 (UT-DPM-051) | TryFindDependencyManagerInPathはパスにコロンがあり登録マネージャーと一致する場合マネージャーを返す | E-03 (610-626行目), E-04 (142-149行目) | ○ |
| C-52 (UT-DPM-052) | TryFindDependencyManagerInPathはパスにコロンがなく相対パスの場合nullを返す | E-03 (627-628行目) | ○ |
| C-53 (UT-DPM-053) | TryFindDependencyManagerInPathは絶対パス（ルート付き）の場合nullを返す | E-03 (614行目) | ○ |
| C-54 (UT-DPM-054) | TryFindDependencyManagerInPathは不明なマネージャーキーの場合エラーを報告しnullを返す | E-03 (619-624行目) | ○ |
| C-55 (UT-DPM-055) | TryFindDependencyManagerInPathは例外発生時にエラーを報告しnullを返す | E-03 (629-633行目) | ○ |
| C-56 (UT-DPM-056) | TryFindDependencyManagerByKeyは登録されたキーで正しいマネージャーを取得する | E-03 (636-648行目), E-04 (133-140行目) | ○ |
| C-57 (UT-DPM-057) | TryFindDependencyManagerByKeyは登録されていないキーでnullを返す | E-03 (640-642行目) | ○ |
| C-58 (UT-DPM-058) | TryFindDependencyManagerByKeyは例外発生時にエラーを報告しnullを返す | E-03 (644-648行目) | ○ |
| C-59 (UT-DPM-059) | Resolveは依存関係を正しく解決する | E-03 (651-709行目), E-04 (119-131行目) | ○ |
| C-60 (UT-DPM-060) | ResolveはexecutionRidがnullの場合プラットフォームRIDを使用する | E-03 (680-683行目) | ○ |
| C-61 (UT-DPM-061) | Resolveはキャッシュが有効な場合キャッシュから結果を返す | E-03 (676-701行目) | ○ |
| C-62 (UT-DPM-062) | Resolveは解決失敗時にエラーを報告する | E-03 (707-709行目) | ○ |
| C-63 (UT-DPM-063) | Resolveは成功時にネイティブDLLパスをリフレッシュする | E-03 (705行目) | ○ |
| C-64 (UT-DPM-064) | Disposeで登録マネージャーがクリアされる | E-03 (716行目) | ○ |
| C-65 (UT-DPM-065) | Disposeでハンドラーが解放される | E-03 (717-718行目) | ○ |

### AssemblyResolveHandlerCoreclr クラス（AssemblyResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-66 (UT-DPM-066) | CoreCLR環境でハンドラーが正しく登録される | E-01 (16-39行目) | ○ |
| C-67 (UT-DPM-067) | ResolveAssemblyNetStandardはプローブパスに一致するアセンブリをロードする | E-01 (41-64行目) | ○ |
| C-68 (UT-DPM-068) | ResolveAssemblyNetStandardはプローブパスに一致しない場合nullを返す | E-01 (61行目) | ○ |
| C-69 (UT-DPM-069) | ResolveAssemblyNetStandardはプローブパスが空の場合nullを返す | E-01 (46-48行目) | ○ |
| C-70 (UT-DPM-070) | ResolveAssemblyNetStandardは例外発生時にnullを返す | E-01 (63-64行目) | ○ |
| C-71 (UT-DPM-071) | Disposeでイベントハンドラーが解除される | E-01 (66-68行目) | ○ |

### AssemblyResolveHandlerDeskTop クラス（AssemblyResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-72 (UT-DPM-072) | デスクトップ環境でハンドラーが正しく登録される | E-01 (71-99行目) | ○ |
| C-73 (UT-DPM-073) | resolveAssemblyNETはプローブパスに一致するアセンブリをロードする | E-01 (73-94行目) | ○ |
| C-74 (UT-DPM-074) | resolveAssemblyNETはプローブパスに一致しない場合nullを返す | E-01 (91行目) | ○ |
| C-75 (UT-DPM-075) | resolveAssemblyNETはプローブパスが空の場合nullを返す | E-01 (76-78行目) | ○ |
| C-76 (UT-DPM-076) | resolveAssemblyNETは例外発生時にnullを返す | E-01 (93-94行目) | ○ |
| C-77 (UT-DPM-077) | Disposeでイベントハンドラーが解除される | E-01 (101-103行目) | ○ |

### AssemblyResolveHandler クラス（AssemblyResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-78 (UT-DPM-078) | CoreCLR環境でCoreClrハンドラーが使用される | E-01 (107-113行目) | ○ |
| C-79 (UT-DPM-079) | デスクトップ環境でDeskTopハンドラーが使用される | E-01 (107-113行目) | ○ |
| C-80 (UT-DPM-080) | assemblyProbingPathsがNoneの場合ハンドラーが作成されない | E-01 (108-109行目) | ○ |
| C-81 (UT-DPM-081) | null引数がNoneに変換される | E-01 (115行目) | ○ |
| C-82 (UT-DPM-082) | 内部ハンドラーがDisposeされる | E-01 (117-119行目) | ○ |
| C-83 (UT-DPM-083) | ハンドラーがNoneの場合でもエラーにならない | E-01 (119行目) | ○ |

### ProbingPathsStore クラス（NativeDllResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-84 (UT-DPM-084) | AppendPathSeparatorはパス末尾にセパレータを追加する | E-05 (19-25行目) | ○ |
| C-85 (UT-DPM-085) | AppendPathSeparatorは既にセパレータがある場合追加しない | E-05 (22-25行目) | ○ |
| C-86 (UT-DPM-086) | RemoveProbeFromProcessPathはプローブパスをPATHから削除する | E-05 (27-35行目) | ○ |
| C-87 (UT-DPM-087) | RemoveProbeFromProcessPathは空または空白のプローブパスでは何も変更しない | E-05 (28行目) | ○ |
| C-88 (UT-DPM-088) | RemoveProbeFromProcessPathはPATHにプローブパスが存在しない場合変更しない | E-05 (34行目) | ○ |
| C-89 (UT-DPM-089) | AddProbeToProcessPathはプローブパスをPATHに追加する | E-05 (37-45行目) | ○ |
| C-90 (UT-DPM-090) | AddProbeToProcessPathは既にPATHに存在する場合追加しない | E-05 (43行目) | ○ |
| C-91 (UT-DPM-091) | AddProbeToProcessPathは追加したパスをaddedPathsに記録する | E-05 (45行目) | ○ |
| C-92 (UT-DPM-092) | RefreshPathsInEnvironmentは複数のルートパスをPATHに追加する | E-05 (47-49行目) | ○ |
| C-93 (UT-DPM-093) | RefreshPathsInEnvironmentは空のルートシーケンスで何も変更しない | E-05 (48行目) | ○ |
| C-94 (UT-DPM-094) | Disposeは追加されたすべてのパスをPATHから削除する | E-05 (51-55行目) | ○ |
| C-95 (UT-DPM-095) | Disposeは追加パスがない場合でもエラーにならない | E-05 (54行目) | ○ |

### NativeDllResolveHandlerCoreClr クラス（NativeDllResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-96 (UT-DPM-096) | CoreCLR環境でハンドラーが正しく登録される | E-05 (69-167行目) | ○ |
| C-97 (UT-DPM-097) | probingFileNamesはベース名に適切なサフィックスを追加する | E-05 (87-126行目) | ○ |
| C-98 (UT-DPM-098) | Windows環境で.dllと.exeサフィックスが追加される | E-05 (104-106行目) | ○ |
| C-99 (UT-DPM-099) | macOS環境で.dylibサフィックスが追加される | E-05 (107-108行目) | ○ |
| C-100 (UT-DPM-100) | Linux環境で.soサフィックスが追加される | E-05 (109-110行目) | ○ |
| C-101 (UT-DPM-101) | ルート付きパスの場合サフィックスが追加されない | E-05 (89行目, 115行目) | ○ |
| C-102 (UT-DPM-102) | 既にサフィックスがある場合追加されない | E-05 (91-92行目) | ○ |
| C-103 (UT-DPM-103) | resolveUnmanagedDllはプローブルートにライブラリが存在する場合ロードする | E-05 (128-155行目) | ○ |
| C-104 (UT-DPM-104) | resolveUnmanagedDllはruntimesディレクトリ内のライブラリをロードする | E-05 (130-135行目) | ○ |
| C-105 (UT-DPM-105) | resolveUnmanagedDllはライブラリが見つからない場合IntPtr.Zeroを返す | E-05 (155行目) | ○ |
| C-106 (UT-DPM-106) | resolveUnmanagedDllはプローブルートがNoneの場合IntPtr.Zeroを返す | E-05 (138-139行目) | ○ |
| C-107 (UT-DPM-107) | RefreshPathsInEnvironmentはパスを環境にリフレッシュする | E-05 (169-170行目) | ○ |
| C-108 (UT-DPM-108) | Disposeでイベントハンドラーが解除されパスが削除される | E-05 (172-174行目) | ○ |

### NativeDllResolveHandler クラス（NativeDllResolveHandler.fs）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-109 (UT-DPM-109) | CoreCLR環境でCoreClrハンドラーが使用される | E-05 (179-184行目) | ○ |
| C-110 (UT-DPM-110) | 非CoreCLR環境でハンドラーがNoneになる | E-05 (183行目) | ○ |
| C-111 (UT-DPM-111) | nativeProbingRootsがNoneの場合ハンドラーが作成されない | E-05 (182行目) | ○ |
| C-112 (UT-DPM-112) | null引数がNoneに変換される | E-05 (186行目) | ○ |
| C-113 (UT-DPM-113) | 内部ハンドラーのRefreshPathsInEnvironmentが呼び出される | E-05 (188-189行目) | ○ |
| C-114 (UT-DPM-114) | ハンドラーがNoneの場合RefreshPathsInEnvironmentは何もしない | E-05 (189行目) | ○ |
| C-115 (UT-DPM-115) | 内部ハンドラーがDisposeされる | E-05 (191-193行目) | ○ |
| C-116 (UT-DPM-116) | ハンドラーがNoneの場合Disposeでもエラーにならない | E-05 (193行目) | ○ |

## 4) 不足情報（Unknown / Missing）
- 現時点で根拠なしのテストケースはありません
- すべてのテストケースはソースコードの実装に基づいて生成されています

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 根拠が明確で、実装との対応が明瞭
- 全体的に低リスク（信頼度スコア: 1.00）

## 6) レビュアーチェックリスト（最小）
- [ ] 依存関係解決メソッドのフォールバックロジック（UT-DPM-035～042）が正しくテストされているか
- [ ] プラットフォーム依存のネイティブDLL解決（UT-DPM-097～105）がすべての対象環境でテスト可能か
- [ ] 環境に応じたハンドラー選択（CoreCLR vs Desktop）のテストが実行環境で有効か
- [ ] キャッシュ機能のテスト（UT-DPM-061）でスレッドセーフ性が考慮されているか
- [ ] PATH環境変数操作のテスト（UT-DPM-086～094）が他のテストに影響しないように分離されているか
