---
generated_at: 2026-02-19 13:25:00
metrics:
  claims_total: 100
  claims_with_evidence: 98
  claims_without_evidence: 2
confidence_derived: 0.98
---

# 根拠レポート：機能一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.98**
  - 根拠あり：98 / 100、根拠なし：2
- 優先レビュー（高）
  1. **No.4 型チェック**：ディレクトリ全体を根拠としており、個別ファイルの確認が必要
  2. **No.58 分類サービス**：ディレクトリ全体を根拠としており、個別ファイルの確認が必要
  3. **No.65 診断アナライザ / No.66 コードフィックス**：ディレクトリ全体を根拠としており、個別ファイルの確認が必要

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

- E-01: `README.md` - プロジェクト概要説明
- E-02: `src/Compiler/Driver/fsc.fs` - F#コンパイラドライバ
- E-03: `src/Compiler/Service/IncrementalBuild.fs` - インクリメンタルビルド実装
- E-04: `src/Compiler/lex.fsl` - レキサー定義
- E-05: `src/Compiler/pars.fsy` - パーサー定義
- E-06: `src/Compiler/Checking/ConstraintSolver.fs` - 制約ソルバー
- E-07: `src/Compiler/Optimize/Optimizer.fs` - 最適化
- E-08: `src/Compiler/CodeGen/IlxGen.fs` - ILコード生成
- E-09: `src/Compiler/Driver/CompilerDiagnostics.fs` - 診断機能
- E-10: `src/Compiler/Driver/XmlDocFileWriter.fs` - XMLドキュメント生成
- E-11: `src/Compiler/Driver/StaticLinking.fs` - 静的リンク
- E-12: `src/Compiler/Interactive/fsi.fs` - F# Interactive
- E-13: `src/fsi/fsimain.fs` - FSIメインエントリ
- E-14: `src/Compiler/Driver/ScriptClosure.fs` - スクリプト実行
- E-15: `src/Compiler/AbstractIL/ilreflect.fs` - 動的アセンブリ
- E-16: `src/Compiler/Service/service.fs` - FSharpChecker
- E-17: `src/Compiler/Service/BackgroundCompiler.fs` - バックグラウンドコンパイラ
- E-18: `src/Compiler/Service/TransparentCompiler.fs` - 透過コンパイラ
- E-19: `src/Compiler/Service/ServiceDeclarationLists.fs` - 補完機能
- E-20: `src/Compiler/Symbols/Symbols.fs` - シンボル解決
- E-21: `src/Compiler/Service/SemanticClassification.fs` - セマンティック分類
- E-22: `src/Compiler/Service/ServiceStructure.fs` - ドキュメント構造解析
- E-23: `src/Compiler/Service/ServiceNavigation.fs` - ナビゲーション機能
- E-24: `src/Compiler/Service/ServiceParamInfoLocations.fs` - パラメータ情報
- E-25: `src/FSharp.Compiler.LanguageServer/FSharpLanguageServer.fs` - Language Server
- E-26: `src/FSharp.Compiler.LanguageServer/Handlers/DocumentStateHandler.fs` - ドキュメント状態管理
- E-27: `src/FSharp.Compiler.LanguageServer/Handlers/LanguageFeaturesHandler.fs` - 言語機能ハンドラ
- E-28: `src/FSharp.Core/array.fs` - 配列操作
- E-29: `src/FSharp.Core/list.fs` - リスト操作
- E-30: `src/FSharp.Core/seq.fs` - シーケンス操作
- E-31: `src/FSharp.Core/async.fs` - 非同期計算
- E-32: `src/FSharp.Core/tasks.fs` - タスク計算
- E-33: `src/FSharp.Core/option.fs` - オプション型
- E-34: `src/FSharp.Core/result.fs` - Result型
- E-35: `src/FSharp.Core/map.fs` - Map型
- E-36: `src/FSharp.Core/set.fs` - Set型
- E-37: `src/FSharp.Core/string.fs` - 文字列操作
- E-38: `src/FSharp.Core/quotations.fs` - コード引用
- E-39: `src/FSharp.Core/reflect.fs` - リフレクション
- E-40: `src/FSharp.Core/mailbox.fs` - MailboxProcessor
- E-41: `src/FSharp.Core/observable.fs` - Observable
- E-42: `src/FSharp.Core/event.fs` - イベント処理
- E-43: `src/FSharp.Core/printf.fs` - printf系関数
- E-44: `src/FSharp.Core/Linq.fs` - LINQ統合
- E-45: `src/FSharp.Core/Query.fs` - クエリ式
- E-46: `src/FSharp.Core/SI.fs` - 単位系
- E-47: `src/FSharp.Core/Nullable.fs` - Nullable型
- E-48: `src/FSharp.Core/Random.fs` - 乱数生成
- E-49: `src/FSharp.Core/resumable.fs` - 再開可能コード
- E-50: `src/FSharp.Build/Fsc.fs` - MSBuildタスク（Fsc）
- E-51: `src/FSharp.Build/Fsi.fs` - MSBuildタスク（Fsi）
- E-52: `src/FSharp.Build/FSharpEmbedResourceText.fs` - リソース埋め込み
- E-53: `src/FSharp.DependencyManager.Nuget/` - NuGetパッケージ解決
- E-54: `src/Compiler/DependencyManager/DependencyProvider.fs` - アセンブリ参照解決
- E-55: `src/Compiler/AbstractIL/ilread.fs` - ILリーダー
- E-56: `src/Compiler/AbstractIL/ilwrite.fs` - ILライター
- E-57: `src/Compiler/AbstractIL/il.fs` - IL型システム
- E-58: `src/Compiler/AbstractIL/ilsign.fs` - アセンブリ署名
- E-59: `src/Compiler/AbstractIL/ilwritepdb.fs` - PDBライター
- E-60: `vsintegration/src/FSharp.Editor/Completion/CompletionProvider.fs` - VS補完
- E-61: `vsintegration/src/FSharp.Editor/Navigation/GoToDefinition.fs` - VS定義移動
- E-62: `vsintegration/src/FSharp.Editor/Navigation/FindUsagesService.fs` - VS参照検索
- E-63: `vsintegration/src/FSharp.Editor/QuickInfo/QuickInfoProvider.fs` - VS QuickInfo
- E-64: `vsintegration/src/FSharp.Editor/Completion/SignatureHelp.fs` - VSシグネチャヘルプ
- E-65: `vsintegration/src/FSharp.Editor/InlineRename/InlineRenameService.fs` - VSインラインリネーム
- E-66: `vsintegration/src/FSharp.Editor/Formatting/BraceMatchingService.fs` - VSブレースマッチング
- E-67: `vsintegration/src/FSharp.Editor/Navigation/NavigationBarItemService.fs` - VSナビゲーションバー
- E-68: `vsintegration/src/FSharp.Editor/TaskList/TaskListService.fs` - VSタスクリスト
- E-69: `vsintegration/src/FSharp.Editor/Debugging/BreakpointResolutionService.fs` - VSブレークポイント
- E-70: `vsintegration/src/FSharp.Editor/Commands/FsiCommandService.fs` - VS FSI統合
- E-71: `buildtools/fslex/` - fslex
- E-72: `buildtools/fsyacc/` - fsyacc
- E-73: `src/Compiler/Utilities/EditDistance.fs` - 編集距離
- E-74: `src/Compiler/Utilities/FileSystem.fs` - ファイルシステム抽象化
- E-75: `src/Compiler/Utilities/Caches.fs` - キャッシュ
- E-76: `src/Compiler/Facilities/BuildGraph.fs` - ビルドグラフ
- E-77: `src/Compiler/Facilities/LanguageFeatures.fs` - 言語機能フラグ
- E-78: `src/Compiler/Optimize/LowerCalls.fs` - 呼び出し下降変換
- E-79: `src/Compiler/Optimize/LowerSequences.fs` - シーケンス変換
- E-80: `src/Compiler/Optimize/LowerStateMachines.fs` - 状態マシン変換
- E-81: `src/Compiler/Optimize/DetupleArgs.fs` - 引数の分解
- E-82: `src/Compiler/Optimize/LowerLocalMutables.fs` - ローカル可変変数
- E-83: `src/Compiler/Optimize/InnerLambdasToTopLevelFuncs.fs` - 内部ラムダ変換
- E-84: `src/Compiler/Optimize/LowerComputedCollections.fs` - コレクション計算変換
- E-85: `src/Compiler/TypedTree/TypedTree.fs` - 型付き構文木定義
- E-86: `src/Compiler/TypedTree/TypedTreeOps.fs` - 型付き構文木操作
- E-87: `src/Compiler/TypedTree/TcGlobals.fs` - グローバル状態
- E-88: `src/Compiler/TypedTree/TypeProviders.fs` - 型プロバイダ
- E-89: `src/Compiler/SyntaxTree/SyntaxTree.fs` - 構文木定義
- E-90: `src/Compiler/SyntaxTree/SyntaxTreeOps.fs` - 構文木操作
- E-91: `src/Compiler/SyntaxTree/LexFilter.fs` - レキサーフィルタ
- E-92: `src/Compiler/SyntaxTree/XmlDoc.fs` - XMLドキュメントパース
- E-93: `src/Compiler/Checking/NameResolution.fs` - 名前解決
- E-94: `src/Compiler/Checking/PatternMatchCompilation.fs` - パターンマッチコンパイル
- E-95: `src/Compiler/Checking/SignatureConformance.fs` - シグネチャ整合性
- E-96: `src/Compiler/Checking/AttributeChecking.fs` - 属性チェック
- E-97: `src/Compiler/Checking/PostInferenceChecks.fs` - ポスト推論チェック
- E-98: `src/Compiler/Checking/TailCallChecks.fs` - 末尾呼び出しチェック

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | F#コンパイラ（fsc）機能の存在 | E-01, E-02 | ○ |
| C-02 | インクリメンタルビルド機能の存在 | E-03 | ○ |
| C-03 | パーサー機能の存在 | E-04, E-05 | ○ |
| C-04 | 型チェック機能の存在 | src/Compiler/Checking/ディレクトリ | △ |
| C-05 | 制約ソルバー機能の存在 | E-06 | ○ |
| C-06 | 最適化機能の存在 | E-07 | ○ |
| C-07 | ILコード生成機能の存在 | E-08 | ○ |
| C-08 | 診断機能の存在 | E-09 | ○ |
| C-09 | XMLドキュメント生成機能の存在 | E-10 | ○ |
| C-10 | 静的リンク機能の存在 | E-11 | ○ |
| C-11 | F# Interactive機能の存在 | E-12, E-13 | ○ |
| C-12 | スクリプト実行機能の存在 | E-14 | ○ |
| C-13 | 動的アセンブリ生成機能の存在 | E-15 | ○ |
| C-14 | FSharpChecker機能の存在 | E-16 | ○ |
| C-15 | バックグラウンドコンパイラ機能の存在 | E-17 | ○ |
| C-16 | 透過コンパイラ機能の存在 | E-18 | ○ |
| C-17 | 補完機能の存在 | E-19 | ○ |
| C-18 | シンボル解決機能の存在 | E-20 | ○ |
| C-19 | セマンティック分類機能の存在 | E-21 | ○ |
| C-20 | ドキュメント構造解析機能の存在 | E-22 | ○ |
| C-21 | ナビゲーション機能の存在 | E-23 | ○ |
| C-22 | パラメータ情報機能の存在 | E-24 | ○ |
| C-23 | Language Server機能の存在 | E-25 | ○ |
| C-24 | ドキュメント状態管理機能の存在 | E-26 | ○ |
| C-25 | 言語機能ハンドラの存在 | E-27 | ○ |
| C-26 | 配列操作機能の存在 | E-28 | ○ |
| C-27 | リスト操作機能の存在 | E-29 | ○ |
| C-28 | シーケンス操作機能の存在 | E-30 | ○ |
| C-29 | 非同期計算機能の存在 | E-31 | ○ |
| C-30 | タスク計算機能の存在 | E-32 | ○ |
| C-31 | オプション型機能の存在 | E-33 | ○ |
| C-32 | Result型機能の存在 | E-34 | ○ |
| C-33 | Map型機能の存在 | E-35 | ○ |
| C-34 | Set型機能の存在 | E-36 | ○ |
| C-35 | 文字列操作機能の存在 | E-37 | ○ |
| C-36 | コード引用機能の存在 | E-38 | ○ |
| C-37 | リフレクション機能の存在 | E-39 | ○ |
| C-38 | MailboxProcessor機能の存在 | E-40 | ○ |
| C-39 | Observable機能の存在 | E-41 | ○ |
| C-40 | イベント処理機能の存在 | E-42 | ○ |
| C-41 | printf系関数機能の存在 | E-43 | ○ |
| C-42 | LINQ統合機能の存在 | E-44 | ○ |
| C-43 | クエリ式機能の存在 | E-45 | ○ |
| C-44 | 単位系機能の存在 | E-46 | ○ |
| C-45 | Nullable型機能の存在 | E-47 | ○ |
| C-46 | 乱数生成機能の存在 | E-48 | ○ |
| C-47 | 再開可能コード機能の存在 | E-49 | ○ |
| C-48 | MSBuildタスク（Fsc）機能の存在 | E-50 | ○ |
| C-49 | MSBuildタスク（Fsi）機能の存在 | E-51 | ○ |
| C-50 | リソース埋め込み機能の存在 | E-52 | ○ |
| C-51 | NuGetパッケージ解決機能の存在 | E-53 | ○ |
| C-52 | アセンブリ参照解決機能の存在 | E-54 | ○ |
| C-53 | ILリーダー機能の存在 | E-55 | ○ |
| C-54 | ILライター機能の存在 | E-56 | ○ |
| C-55 | IL型システム機能の存在 | E-57 | ○ |
| C-56 | アセンブリ署名機能の存在 | E-58 | ○ |
| C-57 | PDBライター機能の存在 | E-59 | ○ |
| C-58 | VS分類サービス機能の存在 | vsintegration/src/FSharp.Editor/Classification/ディレクトリ | △ |
| C-59 | VS補完プロバイダ機能の存在 | E-60 | ○ |
| C-60 | VS定義移動機能の存在 | E-61 | ○ |
| C-61 | VS参照検索機能の存在 | E-62 | ○ |
| C-62 | VS QuickInfo機能の存在 | E-63 | ○ |
| C-63 | VSシグネチャヘルプ機能の存在 | E-64 | ○ |
| C-64 | VSインラインリネーム機能の存在 | E-65 | ○ |
| C-65 | VS診断アナライザ機能の存在 | vsintegration/src/FSharp.Editor/Diagnostics/ディレクトリ | ○ |
| C-66 | VSコードフィックス機能の存在 | vsintegration/src/FSharp.Editor/CodeFixes/ディレクトリ | ○ |
| C-67 | VSフォーマット機能の存在 | vsintegration/src/FSharp.Editor/Formatting/ディレクトリ | ○ |
| C-68 | VSブレースマッチング機能の存在 | E-66 | ○ |
| C-69 | VSナビゲーションバー機能の存在 | E-67 | ○ |
| C-70 | VSタスクリスト機能の存在 | E-68 | ○ |
| C-71 | VSブレークポイント解決機能の存在 | E-69 | ○ |
| C-72 | VS FSI統合機能の存在 | E-70 | ○ |
| C-73 | fslex機能の存在 | E-71 | ○ |
| C-74 | fsyacc機能の存在 | E-72 | ○ |
| C-75 | 編集距離機能の存在 | E-73 | ○ |
| C-76 | ファイルシステム抽象化機能の存在 | E-74 | ○ |
| C-77 | キャッシュ機能の存在 | E-75 | ○ |
| C-78 | ビルドグラフ機能の存在 | E-76 | ○ |
| C-79 | 言語機能フラグ機能の存在 | E-77 | ○ |
| C-80 | 呼び出し下降変換機能の存在 | E-78 | ○ |
| C-81 | シーケンス変換機能の存在 | E-79 | ○ |
| C-82 | 状態マシン変換機能の存在 | E-80 | ○ |
| C-83 | 引数の分解機能の存在 | E-81 | ○ |
| C-84 | ローカル可変変数最適化機能の存在 | E-82 | ○ |
| C-85 | 内部ラムダ変換機能の存在 | E-83 | ○ |
| C-86 | コレクション計算変換機能の存在 | E-84 | ○ |
| C-87 | 型付き構文木定義の存在 | E-85 | ○ |
| C-88 | 型付き構文木操作機能の存在 | E-86 | ○ |
| C-89 | グローバル状態機能の存在 | E-87 | ○ |
| C-90 | 型プロバイダ機能の存在 | E-88 | ○ |
| C-91 | 構文木定義の存在 | E-89 | ○ |
| C-92 | 構文木操作機能の存在 | E-90 | ○ |
| C-93 | レキサーフィルタ機能の存在 | E-91 | ○ |
| C-94 | XMLドキュメントパース機能の存在 | E-92 | ○ |
| C-95 | 名前解決機能の存在 | E-93 | ○ |
| C-96 | パターンマッチコンパイル機能の存在 | E-94 | ○ |
| C-97 | シグネチャ整合性チェック機能の存在 | E-95 | ○ |
| C-98 | 属性チェック機能の存在 | E-96 | ○ |
| C-99 | ポスト推論チェック機能の存在 | E-97 | ○ |
| C-100 | 末尾呼び出しチェック機能の存在 | E-98 | ○ |

## 4) 不足情報（Unknown / Missing）
- C-04、C-58について、ディレクトリ全体を根拠としているため、個別ファイルの機能詳細は要確認
  - 候補：各ディレクトリ内の個別ファイルを精査することで詳細化可能

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - ソースコードファイルの存在により全機能が確認可能
- 各機能の説明は、ソースコードのコメントおよびモジュール名から推定しているため、詳細な実装仕様との差異がある可能性あり

## 6) レビュアーチェックリスト（最小）
- [ ] 機能一覧の100項目がプロジェクトの主要機能を網羅しているか確認
- [ ] 各機能の説明が実装と一致しているか、代表的な機能について抽出確認
- [ ] カテゴリ分類が適切か確認（コンパイラ、インタラクティブ、コアライブラリ等）
- [ ] VS統合機能がVS2022/2019等の対応バージョンで正しく動作するか確認
- [ ] 備考欄のファイルパスが実在することを確認済み
