---
generated_at: 2026-02-19 15:25:00
metrics:
  claims_total: 42
  claims_with_evidence: 39
  claims_without_evidence: 3
confidence_derived: 0.93
---

# 根拠レポート：コードリーディングガイドライン

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：39 / 42、根拠なし：3
- 優先レビュー（高）
  1. **セクション7のパターン出現頻度**：定量的な計測なし
  2. **FsLex/FsYaccの詳細動作**：ビルドツール内部の動作確認が必要
  3. **パフォーマンス関連の記述**：ベンチマークによる検証が必要

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

- E-01: `README.md` - プロジェクト概要
- E-02: `DEVGUIDE.md` - 開発ガイド
- E-03: `docs/index.md` - コンパイラドキュメントインデックス
- E-04: `docs/overview.md` - アーキテクチャ概要
- E-05: `docs/coding-standards.md` - コーディング規約・略語一覧
- E-06: `src/Compiler/Driver/fsc.fs` - コンパイラドライバ実装
- E-07: `src/Compiler/SyntaxTree/SyntaxTree.fs` - AST定義
- E-08: `src/Compiler/TypedTree/TypedTree.fs` - 型付きツリー定義
- E-09: `src/Compiler/Checking/ConstraintSolver.fs` - 制約ソルバー
- E-10: `src/Compiler/Optimize/Optimizer.fs` - オプティマイザー
- E-11: `src/Compiler/FSharp.Compiler.Service.fsproj` - プロジェクトファイル
- E-12: `src/FSharp.Core/prim-types.fs` - コアライブラリ型定義

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | プロジェクトはF#コンパイラ、コアライブラリ、エディタツールを含む | E-01 | ○ |
| C-02 | F#はモジュールベースの構造を持つ | E-06, E-07 | ○ |
| C-03 | `module internal`は内部アクセス修飾子付きモジュール宣言 | E-06:12 | ○ |
| C-04 | 判別共用体の定義例（ValInline） | E-08:43-58 | ○ |
| C-05 | レコード型の定義例（ValInfo） | E-10:98-99 | ○ |
| C-06 | パターンマッチングの使用例 | E-06:77-97 | ○ |
| C-07 | 関数定義にletキーワードを使用 | E-06:100-111 | ○ |
| C-08 | openキーワードでモジュールをインポート | E-07:1-11 | ○ |
| C-09 | コンパイラパイプラインは6つの主要フェーズで構成 | E-04 | ○ |
| C-10 | AST、Typed Tree、Abstract ILの3つの主要データ表現 | E-04 | ○ |
| C-11 | TcGlobalsはグローバルな型チェック情報 | E-05 | ○ |
| C-12 | ファイル拡張子.fs/.fsi/.fsl/.fsyの説明 | E-11 | ○ |
| C-13 | Tcプレフィックスは型チェッカー関連 | E-05 | ○ |
| C-14 | Synプレフィックスは構文木関連 | E-05 | ○ |
| C-15 | IL/Ilxプレフィックスは抽象IL関連 | E-05 | ○ |
| C-16 | tyは型、mはRange、gはTcGlobals | E-05 | ○ |
| C-17 | 略語一覧（amap, ccu, css, denv等） | E-05 | ○ |
| C-18 | ディレクトリ構造（src/Compiler以下） | E-11 | ○ |
| C-19 | AbstractILディレクトリの役割 | E-03 | ○ |
| C-20 | SyntaxTreeディレクトリの役割 | E-03 | ○ |
| C-21 | TypedTreeディレクトリの役割 | E-03 | ○ |
| C-22 | Checkingディレクトリの役割 | E-03 | ○ |
| C-23 | Optimizeディレクトリの役割 | E-03 | ○ |
| C-24 | CodeGenディレクトリの役割 | E-03 | ○ |
| C-25 | パイプラインアーキテクチャを採用 | E-04 | ○ |
| C-26 | データフローの説明（ソース→トークン→AST→TypedTree→IL→バイナリ） | E-04 | ○ |
| C-27 | TypeCheck関数の実装例 | E-06:140-167 | ○ |
| C-28 | NewCompGenTypar等の制約ソルバー関数 | E-09:85-100 | ○ |
| C-29 | ExprValueInfo判別共用体の定義 | E-10:55-97 | ○ |
| C-30 | 判別共用体パターンの頻出度「高」 | **根拠なし** | △ |
| C-31 | パターンマッチングの頻出度「高」 | **根拠なし** | △ |
| C-32 | オブジェクト式の使用例 | E-06:100-111 | ○ |
| C-33 | ビットフラグパターンの使用例 | E-08:100-145 | ○ |
| C-34 | 字句解析はlex.fslで定義 | E-11 | ○ |
| C-35 | 構文解析はpars.fsyで定義 | E-11 | ○ |
| C-36 | FsLex/FsYaccツールの使用 | E-04 | ○ |
| C-37 | Ident型の定義例 | E-07:13-24 | ○ |
| C-38 | README.mdが最初に参照すべきドキュメント | E-01, E-02 | ○ |
| C-39 | DEVGUIDE.mdが開発環境セットアップに使用 | E-02 | ○ |
| C-40 | docs/coding-standards.mdに略語一覧がある | E-05 | ○ |
| C-41 | fsc.fsがメインエントリーポイント | E-06:1-12 | ○ |
| C-42 | fantomas-tools/sharplab.ioのツール紹介 | **根拠なし（外部リソース）** | △ |

## 4) 不足情報（Unknown / Missing）
- **C-30, C-31（パターン出現頻度）**: コードベース全体の定量的分析が必要
  - 候補：静的解析ツール / grep結果の集計 / 手動カウント
- **C-42（外部ツール）**: 外部Webリソースのため、実際のアクセス確認が必要
  - 候補：URLの生存確認 / スクリーンショットによる検証

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - コードサンプルの行番号参照（将来のコード変更で位置がずれる可能性）
- **0: 低リスク** - 外部ドキュメントへのリンク（将来変更される可能性）
- **1: 中リスク** - アーキテクチャ図（Mermaid）の正確性確認が必要
- **1: 中リスク** - 略語一覧の完全性（新しい略語が追加されている可能性）

## 6) レビュアーチェックリスト（最小）
- [ ] セクション1-5のコードサンプルが実際のファイル内容と一致しているか
- [ ] セクション3の命名規則・略語一覧が `docs/coding-standards.md` と整合しているか
- [ ] セクション4のディレクトリ構造が現在のリポジトリ構造と一致しているか
- [ ] セクション5のアーキテクチャ図が `docs/overview.md` の図と整合しているか
- [ ] セクション6のコードサンプルの行番号が最新のソースと一致しているか
- [ ] 外部リンク（fantomas-tools, sharplab.io, 公式ドキュメント）が有効か
- [ ] F#言語仕様へのリンクが有効か
