---
generated_at: 2026-02-19 15:30:00
metrics:
  claims_total: 150
  claims_with_evidence: 147
  claims_without_evidence: 3
confidence_derived: 0.98
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.98**
  - 根拠あり：147 / 150、根拠なし：3
- 優先レビュー（高）
  1. **UT-AIL-134 (ilprint output_module)**: DEBUG条件付きコンパイルのため、実行時の動作確認が必要
  2. **UT-AIL-083 (parseILVersion異常系)**: 例外の具体的な型の確認が必要
  3. **UT-AIL-096 (WriteILBinaryFile異常系)**: 例外の具体的な型の確認が必要

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

- E-01: `src/Compiler/AbstractIL/il.fsi` - IL型定義のインターフェースシグネチャ
- E-02: `src/Compiler/AbstractIL/il.fs` - IL型定義の実装
- E-03: `src/Compiler/AbstractIL/ilread.fsi` - ILバイナリリーダーのインターフェース
- E-04: `src/Compiler/AbstractIL/ilread.fs` - ILバイナリリーダーの実装
- E-05: `src/Compiler/AbstractIL/ilwrite.fsi` - ILバイナリライターのインターフェース
- E-06: `src/Compiler/AbstractIL/ilwrite.fs` - ILバイナリライターの実装
- E-07: `src/Compiler/AbstractIL/ilmorph.fsi` - IL変換（モーフ）のインターフェース
- E-08: `src/Compiler/AbstractIL/ilmorph.fs` - IL変換（モーフ）の実装
- E-09: `src/Compiler/AbstractIL/ilsign.fsi` - 署名機能のインターフェース
- E-10: `src/Compiler/AbstractIL/ilsign.fs` - 署名機能の実装
- E-11: `src/Compiler/AbstractIL/ilx.fsi` - ILX拡張（ユニオン、クロージャ）のインターフェース
- E-12: `src/Compiler/AbstractIL/ilx.fs` - ILX拡張の実装
- E-13: `src/Compiler/AbstractIL/ilnativeres.fsi` - ネイティブリソースのインターフェース
- E-14: `src/Compiler/AbstractIL/ilnativeres.fs` - ネイティブリソースの実装
- E-15: `src/Compiler/AbstractIL/ilreflect.fsi` - 動的アセンブリ生成のインターフェース
- E-16: `src/Compiler/AbstractIL/ilreflect.fs` - 動的アセンブリ生成の実装
- E-17: `src/Compiler/AbstractIL/ilwritepdb.fsi` - PDB生成のインターフェース
- E-18: `src/Compiler/AbstractIL/ilwritepdb.fs` - PDB生成の実装
- E-19: `src/Compiler/AbstractIL/ilsupp.fsi` - サポート関数のインターフェース
- E-20: `src/Compiler/AbstractIL/ilsupp.fs` - サポート関数の実装
- E-21: `src/Compiler/AbstractIL/ilbinary.fsi` - バイナリ定数のインターフェース
- E-22: `src/Compiler/AbstractIL/ilbinary.fs` - バイナリ定数の実装
- E-23: `src/Compiler/AbstractIL/ilascii.fsi` - ASCII形式IL命令のインターフェース
- E-24: `src/Compiler/AbstractIL/ilascii.fs` - ASCII形式IL命令の実装
- E-25: `src/Compiler/AbstractIL/ilprint.fsi` - IL出力のインターフェース
- E-26: `src/Compiler/AbstractIL/ilprint.fs` - IL出力の実装

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | ILAssemblyRef.Createで有効なアセンブリ参照が作成される | E-01, E-02 | ○ |
| C-02 | ILAssemblyRef.Createで空文字列名が許容される | E-01, E-02 | ○ |
| C-03 | ILAssemblyRef.FromAssemblyNameでAssemblyNameから変換される | E-01, E-02 | ○ |
| C-04 | ILAssemblyRef.QualifiedNameで完全修飾名が取得される | E-01, E-02 | ○ |
| C-05 | ILAssemblyRef.EqualsIgnoringVersionでバージョン無視比較される | E-01, E-02 | ○ |
| C-06 | ILAssemblyRef.EqualsIgnoringVersionで異なる名前はfalse | E-01, E-02 | ○ |
| C-07 | PublicKey.KeyAsTokenで公開鍵からトークン変換される | E-01, E-02 | ○ |
| C-08 | PublicKey.IsKeyでPublicKeyの判定ができる | E-01, E-02 | ○ |
| C-09 | PublicKey.IsKeyTokenでPublicKeyTokenの判定ができる | E-01, E-02 | ○ |
| C-10 | ILModuleRef.Createでモジュール参照が作成される | E-01, E-02 | ○ |
| C-11 | ILModuleRef.Createでhash付きモジュール参照が作成される | E-01, E-02 | ○ |
| C-12 | ILTypeRef.Createで型参照が作成される | E-01, E-02 | ○ |
| C-13 | ILTypeRef.Createでネスト型参照が作成される | E-01, E-02 | ○ |
| C-14 | ILTypeRef.FullNameで完全名が取得される | E-01, E-02 | ○ |
| C-15 | ILTypeRef.BasicQualifiedNameでネスト型に+記法が使われる | E-01, E-02 | ○ |
| C-16 | ILTypeSpec.Createで型仕様が作成される | E-01, E-02 | ○ |
| C-17 | ILTypeSpec.Createでジェネリック型仕様が作成される | E-01, E-02 | ○ |
| C-18 | ILTypeSpec.GenericArgsで空リストが返される | E-01, E-02 | ○ |
| C-19 | ILArrayShape.Rankで配列ランクが取得される | E-01, E-02 | ○ |
| C-20 | ILArrayShape.SingleDimensionalで一次元配列形状が取得される | E-01, E-02 | ○ |
| C-21 | ILArrayShape.FromRankでランク0の配列形状が作成される | E-01, E-02 | ○ |
| C-22 | ILMethodRef.Createでメソッド参照が作成される | E-01, E-02 | ○ |
| C-23 | ILMethodRef.Createでジェネリックメソッド参照が作成される | E-01, E-02 | ○ |
| C-24 | ILMethodRef.ArgCountで引数数が取得される | E-01, E-02 | ○ |
| C-25 | ILMethodRef.GetCallingSignatureで呼び出しシグネチャが取得される | E-01, E-02 | ○ |
| C-26 | ILMethodSpec.Createでメソッド仕様が作成される | E-01, E-02 | ○ |
| C-27 | ILMethodSpec.GenericArgsでジェネリック引数が取得される | E-01, E-02 | ○ |
| C-28 | ILFieldRef.DeclaringTypeRefで宣言型参照が取得される | E-01, E-02 | ○ |
| C-29 | ILFieldSpec.ActualTypeで実際の型が取得される | E-01, E-02 | ○ |
| C-30 | ILCallingConv.Instanceでインスタンス呼び出し規約が取得される | E-01, E-02 | ○ |
| C-31 | ILCallingConv.Staticで静的呼び出し規約が取得される | E-01, E-02 | ○ |
| C-32 | ILCallingConv.IsInstanceでインスタンス判定ができる | E-01, E-02 | ○ |
| C-33 | ILSourceDocument.Createでソースドキュメントが作成される | E-01, E-02 | ○ |
| C-34 | ILDebugPoint.Createでデバッグポイントが作成される | E-01, E-02 | ○ |
| C-35 | ILDebugPoint.Createで行番号0が許容される | E-01, E-02 | ○ |
| C-36 | ILFieldInit.AsObjectでフィールド初期化値がオブジェクトに変換される | E-01, E-02 | ○ |
| C-37 | ILFieldInit.AsObjectでNullがnullに変換される | E-01, E-02 | ○ |
| C-38 | ILFieldInit.AsObjectでStringが文字列に変換される | E-01, E-02 | ○ |
| C-39 | ILMethodDefコンストラクタでメソッド定義が作成される | E-01, E-02 | ○ |
| C-40 | ILMethodDef.IsClassInitializerで.cctor判定ができる | E-01, E-02 | ○ |
| C-41 | ILMethodDef.IsConstructorで.ctor判定ができる | E-01, E-02 | ○ |
| C-42 | ILMethodDef.IsStaticで静的メソッド判定ができる | E-01, E-02 | ○ |
| C-43 | ILMethodDef.IsVirtualで仮想メソッド判定ができる | E-01, E-02 | ○ |
| C-44 | ILMethodDef.IsAbstractで抽象メソッド判定ができる | E-01, E-02 | ○ |
| C-45 | ILMethodDef.Accessでアクセス修飾子が取得される | E-01, E-02 | ○ |
| C-46 | ILMethodDef.Withで関数的更新ができる | E-01, E-02 | ○ |
| C-47 | ILMethodDefs.FindByNameで名前検索ができる | E-01, E-02 | ○ |
| C-48 | ILMethodDefs.FindByNameで存在しない名前は空リスト | E-01, E-02 | ○ |
| C-49 | ILFieldDefコンストラクタでフィールド定義が作成される | E-01, E-02 | ○ |
| C-50 | ILFieldDef.IsStaticで静的フィールド判定ができる | E-01, E-02 | ○ |
| C-51 | ILFieldDef.IsLiteralでリテラル判定ができる | E-01, E-02 | ○ |
| C-52 | ILFieldDef.Accessでアクセス修飾子が取得される | E-01, E-02 | ○ |
| C-53 | ILTypeDefコンストラクタで型定義が作成される | E-01, E-02 | ○ |
| C-54 | ILTypeDef.IsClassでクラス判定ができる | E-01, E-02 | ○ |
| C-55 | ILTypeDef.IsStructで構造体判定ができる | E-01, E-02 | ○ |
| C-56 | ILTypeDef.IsInterfaceでインターフェース判定ができる | E-01, E-02 | ○ |
| C-57 | ILTypeDef.IsEnumで列挙型判定ができる | E-01, E-02 | ○ |
| C-58 | ILTypeDef.IsDelegateでデリゲート判定ができる | E-01, E-02 | ○ |
| C-59 | ILTypeDef.Accessでアクセス修飾子が取得される | E-01, E-02 | ○ |
| C-60 | ILTypeDef.Withで関数的更新ができる | E-01, E-02 | ○ |
| C-61 | ILTypeDefs.FindByNameで名前検索ができる | E-01, E-02 | ○ |
| C-62 | ILTypeDefs.FindByNameで存在しない名前は例外 | E-01, E-02 | ○ |
| C-63 | ILTypeDefs.ExistsByNameで存在確認ができる | E-01, E-02 | ○ |
| C-64 | ILTypeDefs.ExistsByNameで存在しない場合false | E-01, E-02 | ○ |
| C-65 | splitNamespaceで名前空間が分割される | E-02 | ○ |
| C-66 | splitNamespaceで空文字列は空リスト | E-02 | ○ |
| C-67 | splitNamespaceでドットなしは単一要素 | E-02 | ○ |
| C-68 | splitILTypeNameで型名が分割される | E-02 | ○ |
| C-69 | splitTypeNameRightで型名が右から分割される | E-02 | ○ |
| C-70 | mkILTyRefで型参照が作成される | E-02 | ○ |
| C-71 | mkILNestedTyRefでネスト型参照が作成される | E-02 | ○ |
| C-72 | mkILBoxedTyでボックス化型が作成される | E-02 | ○ |
| C-73 | mkILValueTyで値型が作成される | E-02 | ○ |
| C-74 | mkILArrTyで配列型が作成される | E-02 | ○ |
| C-75 | mkILMethRefでメソッド参照が作成される | E-02 | ○ |
| C-76 | mkILMethSpecでメソッド仕様が作成される | E-02 | ○ |
| C-77 | mkILFieldSpecでフィールド仕様が作成される | E-02 | ○ |
| C-78 | rescopeILTypeで型が再スコープされる | E-02 | ○ |
| C-79 | rescopeILTypeRefで型参照が再スコープされる | E-02 | ○ |
| C-80 | instILTypeで型変数がインスタンス化される | E-02 | ○ |
| C-81 | instILTypeで空のジェネリック引数は元の型 | E-02 | ○ |
| C-82 | parseILVersionでバージョン文字列が解析される | E-02 | ○ |
| C-83 | parseILVersionで不正な文字列は例外 | **根拠なし** | △ |
| C-84 | formatILVersionでバージョンがフォーマットされる | E-02 | ○ |
| C-85 | sha1HashBytesでSHA1ハッシュが計算される | E-02 | ○ |
| C-86 | sha1HashBytesで空データのハッシュが計算される | E-02 | ○ |
| C-87 | ILModuleReader.ILModuleDefでモジュール定義が読み取れる | E-03, E-04 | ○ |
| C-88 | ILModuleReader.ILAssemblyRefsでアセンブリ参照リストが読み取れる | E-03, E-04 | ○ |
| C-89 | OpenILModuleReaderでバイナリリーダーが開ける | E-03, E-04 | ○ |
| C-90 | OpenILModuleReaderで存在しないファイルは例外 | E-03, E-04 | ○ |
| C-91 | OpenILModuleReaderFromBytesでバイト配列から開ける | E-03, E-04 | ○ |
| C-92 | OpenILModuleReaderFromBytesで不正データは例外 | E-03, E-04 | ○ |
| C-93 | OpenILModuleReaderFromStreamでストリームから開ける | E-03, E-04 | ○ |
| C-94 | ClearAllILModuleReaderCacheでキャッシュがクリアされる | E-03, E-04 | ○ |
| C-95 | WriteILBinaryFileでバイナリが書き込まれる | E-05, E-06 | ○ |
| C-96 | WriteILBinaryFileで無効パスは例外 | **根拠なし** | △ |
| C-97 | WriteILBinaryInMemoryでバイナリがメモリに書き込まれる | E-05, E-06 | ○ |
| C-98 | WriteILBinaryInMemoryでPDB付き書き込みができる | E-05, E-06 | ○ |
| C-99 | morphILScopeRefsInILTypeRefで型参照スコープがモーフされる | E-07, E-08 | ○ |
| C-100 | morphILTypeRefsInILTypeで型内の型参照がモーフされる | E-07, E-08 | ○ |
| C-101 | morphILTypeRefsInILModuleMemoizedでモジュール全体がモーフされる | E-07, E-08 | ○ |
| C-102 | morphILInstrsInILCodeで命令がモーフされる | E-07, E-08 | ○ |
| C-103 | ILStrongNameSigner.OpenPublicKeyで公開鍵からサイナーが作成される | E-09, E-10 | ○ |
| C-104 | ILStrongNameSigner.OpenKeyPairFileでキーペアからサイナーが作成される | E-09, E-10 | ○ |
| C-105 | ILStrongNameSigner.SignatureSizeで署名サイズが取得される | E-09, E-10 | ○ |
| C-106 | ILStrongNameSigner.SignStreamでストリームに署名できる | E-09, E-10 | ○ |
| C-107 | ILStrongNameSigner.IsFullySignedで完全署名判定ができる | E-09, E-10 | ○ |
| C-108 | IlxUnionCaseField.Typeでフィールド型が取得される | E-11, E-12 | ○ |
| C-109 | IlxUnionCaseField.Nameでフィールド名が取得される | E-11, E-12 | ○ |
| C-110 | IlxUnionCase.IsNullaryで無引数ケース判定ができる | E-11, E-12 | ○ |
| C-111 | IlxUnionSpec.DeclaringTypeで宣言型が取得される | E-11, E-12 | ○ |
| C-112 | IlxUnionSpec.Alternativesで全ケースが取得される | E-11, E-12 | ○ |
| C-113 | IlxClosureSpec.Createでクロージャ仕様が作成される | E-11, E-12 | ○ |
| C-114 | IlxClosureSpec.Constructorでコンストラクタが取得される | E-11, E-12 | ○ |
| C-115 | mkILFreeVarで自由変数が作成される | E-11, E-12 | ○ |
| C-116 | CvtResFile.ReadResFileでリソースファイルが読み取れる | E-13, E-14 | ○ |
| C-117 | Win32ResourceConversions.AppendIconToResourceStreamでアイコンが追加される | E-13, E-14 | ○ |
| C-118 | Win32ResourceConversions.AppendVersionToResourceStreamでバージョンが追加される | E-13, E-14 | ○ |
| C-119 | Win32ResourceConversions.AppendManifestToResourceStreamでマニフェストが追加される | E-13, E-14 | ○ |
| C-120 | NativeResourceWriter.SortResourcesでリソースがソートされる | E-13, E-14 | ○ |
| C-121 | mkDynamicAssemblyAndModuleで動的アセンブリが作成される | E-15, E-16 | ○ |
| C-122 | EmitDynamicAssemblyFragmentで動的アセンブリフラグメントが出力される | E-15, E-16 | ○ |
| C-123 | LookupTypeRefで型参照がSystem.Typeに解決される | E-15, E-16 | ○ |
| C-124 | LookupTypeでIL型がSystem.Typeに解決される | E-15, E-16 | ○ |
| C-125 | generatePortablePdbでポータブルPDBが生成される | E-17, E-18 | ○ |
| C-126 | compressPortablePdbStreamでPDBストリームが圧縮される | E-17, E-18 | ○ |
| C-127 | getDebugFileNameでデバッグファイル名が取得される | E-17, E-18 | ○ |
| C-128 | unshadowScopesでシャドウスコープが処理される | E-17, E-18 | ○ |
| C-129 | linkNativeResourcesでリソースがリンクされる | E-19, E-20 | ○ |
| C-130 | unlinkResourceでリソースがアンリンクされる | E-19, E-20 | ○ |
| C-131 | TableName.FromIndexでインデックスからテーブル名が取得される | E-21, E-22 | ○ |
| C-132 | TableName.Indexでテーブル名からインデックスが取得される | E-21, E-22 | ○ |
| C-133 | NoArgInstrsで引数なし命令テーブルが取得される | E-23, E-24 | ○ |
| C-134 | output_moduleでモジュールが出力される | **根拠なし** | △ |
| C-135 | ILGlobals.primaryAssemblyScopeRefでスコープ参照が取得される | E-01, E-02 | ○ |
| C-136 | ILGlobals.typ_ObjectでObject型が取得される | E-01, E-02 | ○ |
| C-137 | ILGlobals.typ_StringでString型が取得される | E-01, E-02 | ○ |
| C-138 | mkILGlobalsでILGlobalsが作成される | E-01, E-02 | ○ |
| C-139 | isILObjectTyでObject型判定ができる | E-02 | ○ |
| C-140 | isILStringTyでString型判定ができる | E-02 | ○ |
| C-141 | mkILCustomAttributeでカスタム属性が作成される | E-02 | ○ |
| C-142 | decodeILAttribDataで属性データがデコードされる | E-02 | ○ |
| C-143 | mkILMethodBodyでメソッドボディが作成される | E-02 | ○ |
| C-144 | nonBranchingInstrsToCodeで命令からコードが作成される | E-02 | ○ |
| C-145 | generateCodeLabelで一意のラベルが生成される | E-02 | ○ |
| C-146 | mkILCtorでコンストラクタが作成される | E-02 | ○ |
| C-147 | mkILStaticMethodで静的メソッドが作成される | E-02 | ○ |
| C-148 | mkILInstanceFieldでインスタンスフィールドが作成される | E-02 | ○ |
| C-149 | mkILGenericClassでジェネリッククラスが作成される | E-02 | ○ |
| C-150 | computeILRefsでモジュールの参照が計算される | E-02 | ○ |

## 4) 不足情報（Unknown / Missing）
- **C-83 (parseILVersion異常系)**: 例外の具体的な型（FormatException等）がソースコードから明確に確認できなかった
  - 候補：実装コードの詳細レビュー / 既存テストケースの参照
- **C-96 (WriteILBinaryFile異常系)**: 無効なパスに対する例外の型が明確でない
  - 候補：実装コードの詳細レビュー / 既存テストケースの参照
- **C-134 (output_module)**: DEBUG条件付きコンパイルのため、リリースビルドでは利用不可
  - 候補：DEBUGビルドでの動作確認

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 大半のテストケースはソースコードのシグネチャ定義に基づいており、信頼性が高い
- **1: 中リスク** - 異常系テスト（例外のスロー）については、具体的な例外型の確認が推奨される
- **1: 中リスク** - DEBUG条件付きコード（ilprint.fs）のテストは、ビルド構成に依存する

## 6) レビュアーチェックリスト（最小）
- [ ] 高優先度のテストケース（署名、バイナリ読み書き、再スコープ）が網羅されているか
- [ ] F#特有の構文（Union、Closure）に関するILX拡張のテストが含まれているか
- [ ] 境界値テスト（空配列、空文字列、0値）が適切に設定されているか
- [ ] 異常系テストの期待結果（例外型）が適切か
- [ ] モジュール間の依存関係（ILGlobalsなど）を考慮したテストになっているか
