---
generated_at: 2026-02-19 10:30:00
metrics:
  claims_total: 28
  claims_with_evidence: 26
  claims_without_evidence: 2
confidence_derived: 0.93
---

# 根拠レポート：11-F# Interactive（fsi）

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：26 / 28、根拠なし：2
- 優先レビュー（高）
  1. **パフォーマンス要件（100ms以下）**：具体的な計測根拠なし
  2. **LGCA ABENDエラー**：fsi.fsでのABEND参照の詳細確認必要

## 2) 参照した情報（Evidence一覧）

- E-01: `src/Compiler/Interactive/fsi.fs` - FsiValue、FsiEvaluationSessionHostConfig定義
- E-02: `src/fsi/fsimain.fs` - evaluateSession関数、エントリーポイント
- E-03: `src/Compiler/Interactive/fsi.fs` 76-88行目 - FsiValue/FsiBoundValue型定義
- E-04: `src/Compiler/Interactive/fsi.fs` 506-586行目 - FsiEvaluationSessionHostConfig抽象クラス
- E-05: `src/Compiler/Interactive/fsi.fs` 590-800行目 - FsiValuePrinter実装
- E-06: `src/Compiler/Interactive/fsi.fs` 947-972行目 - FsiCommandLineOptions
- E-07: `src/fsi/fsimain.fs` 172-300行目 - セッション初期化処理
- E-08: `src/fsi/fsimain.fs` 83-148行目 - WinFormsEventLoop実装
- E-09: `src/Compiler/Interactive/fsi.fs` 891-922行目 - DiagnosticsLoggerThatStopsOnFirstError
- E-10: `src/Compiler/Interactive/fsi.fs` 803-846行目 - FsiStdinSyphon
- E-11: `docs/code-to-docs/画面機能マッピング/画面機能マッピング.csv` - 画面No.7との関連
- E-12: `docs/code-to-docs/機能一覧/機能一覧.csv` - 機能No.11の定義

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | FsiValueはReflectionValue/ReflectionType/FSharpTypeを保持する | E-03 | ○ |
| C-02 | FsiEvaluationSessionHostConfigはホスト環境との接続点を定義する抽象クラス | E-04 | ○ |
| C-03 | evaluateSession関数がメインエントリーポイント | E-02, E-07 | ○ |
| C-04 | WinFormsイベントループと連携可能 | E-08 | ○ |
| C-05 | 複数行入力は;;で終わるまで蓄積 | E-06 | ○ |
| C-06 | FsiValuePrinterが結果の表示を担当 | E-05 | ○ |
| C-07 | DiagnosticsLoggerThatStopsOnFirstErrorがエラー処理を担当 | E-09 | ○ |
| C-08 | FsiStdinSyphonが入力のキャプチャを担当 | E-10 | ○ |
| C-09 | F# Interactive ツールウィンドウ（画面No.7）と関連 | E-11 | ○ |
| C-10 | 機能一覧でNo.11として定義されている | E-12 | ○ |
| C-11 | コマンドライン引数の解析にFsiCommandLineOptionsを使用 | E-06 | ○ |
| C-12 | --guiオプションでGUI表示をサポート | E-06 (951行目 gui変数) | ○ |
| C-13 | fsi-serverモードでリモート実行可能 | E-02 (152-166行目 StartServer) | ○ |
| C-14 | VFSI実行時はUTF8エンコーディングを設定 | E-07 (182-185行目) | ○ |
| C-15 | FSharp.Compiler.Interactive.Settings.dllをロード | E-07 (213-235行目) | ○ |
| C-16 | FormatProvider等の印刷設定をホストから取得 | E-04 (510-537行目) | ○ |
| C-17 | カスタムプリンターの追加が可能 | E-05 (630-656行目) | ○ |
| C-18 | 値の表示は設定により抑制可能（ShowDeclarationValues） | E-05 (725行目) | ○ |
| C-19 | PrintWidth/PrintDepth/PrintLengthで表示を制御 | E-04 (528-537行目) | ○ |
| C-20 | エラー発生後もセッションは継続する | E-09 (raise StopProcessing後のループ継続) | ○ |
| C-21 | 動的アセンブリ生成はilreflect.fsで実装 | E-01 (35行目 import) | ○ |
| C-22 | スクリプト実行時はINTERACTIVEシンボルが定義される | E-01 (ScriptClosure import) | ○ |
| C-23 | 評価結果をitとして束縛 | E-05 (InvokeExprPrinter, vref参照) | ○ |
| C-24 | LCID設定で多言語対応 | E-02 (47-57行目 SetCurrentUICultureForThread) | ○ |
| C-25 | EventLoopInvokeでGUIスレッドと同期 | E-08 (100-133行目) | ○ |
| C-26 | GetOptionalConsoleReadLineでコンソール入力を取得 | E-04 (562行目) | ○ |
| C-27 | 単純な式評価は100ms以下 | **根拠なし** | △ |
| C-28 | LGCA ABENDエラーが発生する可能性 | **根拠不足**（コード内で明確なABEND参照が見つからない） | △ |

## 4) 不足情報（Unknown / Missing）

- **パフォーマンス要件（C-27）**：具体的なベンチマーク結果や要件定義書への参照がない
  - 候補：テストスイートのパフォーマンステスト / 要件定義書 / ユーザードキュメント
- **LGCA ABENDエラー（C-28）**：fsi.fsコード内にABEND('LGCA')の記述が見つからない。この記載は他機能からのテンプレート混入の可能性
  - 候補：エラー処理の詳細確認 / 削除検討

## 5) リスクフラグ（レビュー観点）

- **1（中リスク）**: パフォーマンス要件は推定値であり、実測が必要
- **0（低リスク）**: 主要な機能説明はソースコードと整合している
- **1（中リスク）**: ABENDエラーの記載は要確認（テンプレート由来の可能性）

## 6) レビュアーチェックリスト（最小）

- [ ] FsiValueの構造がソースコードの定義と一致しているか確認
- [ ] evaluateSession関数の処理フローが正確に記述されているか確認
- [ ] 画面機能マッピングとの整合性を確認
- [ ] パフォーマンス要件の妥当性を確認（必要に応じて削除または根拠追加）
- [ ] ABENDエラーの記載を削除するか、適切な根拠を追加するか判断
