---
generated_at: 2026-01-27 10:30:00
metrics:
  claims_total: 35
  claims_with_evidence: 34
  claims_without_evidence: 1
confidence_derived: 0.97
---

# 根拠レポート: 31-デバッグコンソール

## 主張と根拠の対応表

| 主張ID | 主張内容 | 根拠ファイル | 根拠箇所（行番号） | 根拠種別 |
|--------|---------|-------------|-------------------|---------|
| C-01 | FilterViewPaneを継承したReplクラス | repl.ts | 97行目 | ○ |
| C-02 | ビューIDは workbench.panel.repl.view | debug.ts | REPL_VIEW_ID定義 | ○ |
| C-03 | デバッグセッション非アクティブ時は読み取り専用 | repl.ts | 337-345行目 | ○ |
| C-04 | 入力履歴は最大100件保存 | repl.ts | 160行目 | ○ |
| C-05 | HISTORY_STORAGE_KEYでWorkspaceStorageに保存 | repl.ts | 84行目, 832行目 | ○ |
| C-06 | フィルタ値はFILTER_VALUE_STORAGE_KEYで保存 | repl.ts | 86行目, 842-847行目 | ○ |
| C-07 | acceptReplInputでセッションにaddReplExpression呼び出し | repl.ts | 478-489行目 | ○ |
| C-08 | 式入力後に履歴に追加 | repl.ts | 483行目 | ○ |
| C-09 | clearReplでsessionsToIgnoreに追加 | repl.ts | 464-476行目 | ○ |
| C-10 | WorkbenchAsyncDataTreeを使用 | repl.ts | 659-685行目 | ○ |
| C-11 | ReplEvaluationInputsRendererで入力レンダリング | replViewer.ts | 70-92行目 | ○ |
| C-12 | ReplGroupRendererでグループレンダリング | replViewer.ts | 94-127行目 | ○ |
| C-13 | ReplEvaluationResultsRendererで結果レンダリング | replViewer.ts | 129-160行目 | ○ |
| C-14 | ReplOutputElementRendererで出力レンダリング | replViewer.ts | 162-229行目 | ○ |
| C-15 | ReplVariablesRendererで変数レンダリング | replViewer.ts | 231-270行目 | ○ |
| C-16 | ReplRawObjectsRendererで生オブジェクトレンダリング | replViewer.ts | 272-309行目 | ○ |
| C-17 | createReplInputでCodeEditorWidget作成 | repl.ts | 724-764行目 | ○ |
| C-18 | 補完プロバイダの登録 | repl.ts | 262-322行目 | ○ |
| C-19 | AcceptReplInputActionがEnterキーにバインド | repl.ts | 911-931行目 | ○ |
| C-20 | FilterReplActionでフィルタへフォーカス | repl.ts | 933-952行目 | ○ |
| C-21 | FindReplActionで検索機能 | repl.ts | 955-985行目 | ○ |
| C-22 | clearReplActionでコンソールクリア | repl.ts | 1059-1096行目 | ○ |
| C-23 | HistoryNavigatorで履歴管理 | repl.ts | 103行目, 160行目 | ○ |
| C-24 | navigateHistoryで上下キー操作 | repl.ts | 420-429行目 | ○ |
| C-25 | ReplFilterでフィルタリング | repl.ts | 121行目, 161-162行目 | ○ |
| C-26 | フィルタ変更時にrefilter呼び出し | repl.ts | 248-254行目 | ○ |
| C-27 | セッション選択UIはSelectReplActionViewItem | repl.ts | 1012-1024行目 | ○ |
| C-28 | ReplDataSourceで非同期データ取得 | repl.ts | 657行目, 672行目 | ○ |
| C-29 | ワードラップ設定対応 | repl.ts | 654-655行目, 681-684行目 | ○ |
| C-30 | フォント設定はdebug.console設定から取得 | repl.ts | 896-906行目 | ○ |
| C-31 | ANSIエスケープシーケンス対応 | repl.ts | 518行目, replViewer.ts 199-204行目 | ○ |
| C-32 | 出力カウントバッジ表示 | replViewer.ts | 180-181行目, 211-217行目 | ○ |
| C-33 | ソース参照リンク表示 | replViewer.ts | 207-208行目 | ○ |
| C-34 | プレースホルダメッセージ表示 | repl.ts | 802-827行目 | ○ |
| C-35 | REFRESH_DELAYは50ms | repl.ts | 100行目 | - |

## 根拠なし主張の詳細

### C-35: REFRESH_DELAYは50ms

**主張内容**: リフレッシュ遅延は50ミリ秒に設定されている

**根拠が見つからなかった理由**: コード上では確認できたが、この値の設計意図や根拠となるドキュメントは見つからなかった。実装上の経験則的な値と推測される。

**信頼度への影響**: 軽微。実装コードから値は確認できており、動作仕様としては正確。

## 検証プロセス

1. **repl.ts の読解**: メインクラスReplの全体構造、FilterViewPaneの継承関係、主要メソッドを確認
2. **replViewer.ts の読解**: 各種レンダラークラスの実装を確認
3. **debug.ts の参照**: REPL_VIEW_ID等の定数定義を確認
4. **ストレージキーの確認**: HISTORY_STORAGE_KEY, FILTER_VALUE_STORAGE_KEY等の使用箇所を確認
5. **アクション定義の確認**: AcceptReplInputAction等の各種アクション登録を確認

## 信頼度サマリー

- **総主張数**: 35
- **根拠あり**: 34
- **根拠なし**: 1
- **導出信頼度**: 0.97 (97%)

本画面設計書はソースコードの詳細な解析に基づいており、高い信頼度で記述されている。根拠なしの1件はパフォーマンスチューニング値であり、機能仕様には影響しない。
