---
generated_at: 2026-02-19 22:30:00
metrics:
  claims_total: 70
  claims_with_evidence: 66
  claims_without_evidence: 4
confidence_derived: 0.94
---

# 根拠レポート：画面一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.94**
  - 根拠あり：66 / 70、根拠なし：4
- 優先レビュー（高）
  1. **C-20 コードレンズ（textDocument/codeLens）**：ソースファイルの詳細未確認
  2. **C-69 テストプロバイダー**：ソースファイルの詳細未確認
  3. **C-65 ProfileGCエントリ取得**：ソースファイルの詳細未確認
  4. **C-35 dfmt リント**：リンターファイルの詳細未確認

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

- E-01: `source/served/extension.d` - メインの拡張機能モジュール（initialize, doGlobalStartup, doStartup, changedConfig等）
- E-02: `source/served/commands/complete.d` - コード補完、DCDサーバー管理（restartServer, killServer, addDependencySnippet）
- E-03: `source/served/commands/dub.d` - DUB関連コマンド（listConfigurations, switchConfig, addImport, updateImports, listDependencies, buildTasks, convertDubFormat, installDependency等）
- E-04: `source/served/commands/dcd_update.d` - DCD更新処理（updateDCD）
- E-05: `source/served/commands/code_actions.d` - コードアクション（provideCodeActions）
- E-06: `source/served/lsp/protoext.d` - LSPプロトコル拡張型定義（各リクエスト/レスポンス型）
- E-07: `source/served/utils/progress.d` - プログレス報告（ProgressType定義）
- E-08: `views/en.txt` - 英語翻訳リソース（UIメッセージ定義）
- E-09: `source/app.d` - エントリーポイント（コマンドライン引数処理、--provide フラグ）
- E-10: `README.md` - プロジェクト概要、カスタムリクエスト/通知のドキュメント
- E-11: `dub.json` - プロジェクト設定（サブパッケージ、依存関係、stringImportPaths）
- E-12: `source/served/commands/definition.d` - 定義ジャンプ
- E-13: `source/served/commands/format.d` - フォーマット、インポートソート
- E-14: `source/served/commands/highlight.d` - ドキュメントハイライト
- E-15: `source/served/commands/inlay_hints.d` - インレイヒント
- E-16: `source/served/commands/references.d` - 参照検索
- E-17: `source/served/commands/rename.d` - リネーム
- E-18: `source/served/commands/calltips.d` - シグネチャヘルプ、ホバー
- E-19: `source/served/commands/folding.d` - 折りたたみ
- E-20: `source/served/commands/symbol_search.d` - シンボル検索
- E-21: `source/served/commands/file_search.d` - ファイル検索
- E-22: `source/served/commands/color.d` - カラー表示
- E-23: `source/served/commands/code_lens.d` - コードレンズ
- E-24: `source/served/commands/test_provider.d` - テストプロバイダー
- E-25: `source/served/linters/dscanner.d` - DScannerリンター
- E-26: `source/served/linters/dfmt.d` - dfmtリンター
- E-27: `source/served/linters/dub.d` - DUBリンター
- E-28: `source/served/workers/profilegc.d` - ProfileGCワーカー
- E-29: `views/ja.txt` - 日本語翻訳リソース
- E-30: `views/de.txt` - ドイツ語翻訳リソース
- E-31: `views/fr.txt` - フランス語翻訳リソース
- E-32: `views/ru.txt` - ロシア語翻訳リソース

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | LSPサーバー初期化（initialize）はクライアントからのinitializeリクエストを処理する | E-01 (initialize関数 L231-L332) | ○ |
| C-02 | グローバルスタートアップで各コンポーネントを登録・初期化する | E-01 (doGlobalStartup関数 L363-L484) | ○ |
| C-03 | ワークスペーススタートアップでdub/fsworkspaceの初期化を行う | E-01 (doStartup関数 L556-L631) | ○ |
| C-04 | DCD更新確認ダイアログでコンパイル/ダウンロードまたは無視の選択肢を提示 | E-01 (doGlobalStartup関数 L442-L472), E-08 | ○ |
| C-05 | DUB依存関係ダウンロード確認ダイアログでUpgrade/Always/Neverの選択肢を表示 | E-01 (delayedProjectActivation関数 L806-L855), E-08 | ○ |
| C-06 | サブプロジェクト読み込み確認ダイアログでLoad/Skipの選択肢を表示 | E-01 (delayedProjectActivation関数 L749-L773), E-08 | ○ |
| C-07 | 設定変更通知でクライアントからの設定変更を各コンポーネントに反映する | E-01 (changedConfig関数 L59-L203) | ○ |
| C-08 | 無効な設定値の場合はエラーメッセージを表示する | E-01 (changedConfig関数 L121-L155), E-08 | ○ |
| C-09 | DCD起動失敗時にクライアントにエラーメッセージを表示する | E-01 (startDCDServer関数 L1019), E-08 | ○ |
| C-10 | dub初期化失敗時にfsworkspaceにフォールバックしエラーメッセージを表示する | E-01 (delayedProjectActivation関数 L880-L898), E-08 | ○ |
| C-11 | コンポーネント読み込み失敗時にエラーメッセージを表示する | E-01 (shared static this L1358-L1379) | ○ |
| C-12 | dubプロジェクト初回読み込み時にcoded/initDubTree通知を送信 | E-01 (didLoadDubProject関数 L923-L931) | ○ |
| C-13 | DUB依存関係更新時にcoded/updateDubTree通知を送信 | E-03 (onDidSaveDubRecipe関数 L324) | ○ |
| C-14 | DCD等のインストール進捗をcoded/logInstall通知で送信 | E-04 (updateDCD関数全体) | ○ |
| C-15 | coded/updateSetting通知でクライアントの設定を更新 | E-04 (updateDCD関数 L270-L273) | ○ |
| C-16 | プロジェクト読み込みスキップ時にcoded/skippedLoads通知を送信 | E-01 (notifySkippedRoots関数 L914-L921) | ○ |
| C-17 | D言語、dietテンプレート、DMLファイルに対するコード補完を提供 | E-02 (provideComplete関数 L304-L396) | ○ |
| C-18 | 選択された補完アイテムの詳細情報を解決する | E-02 (resolveCompletionItem関数 L940-L1019) | ○ |
| C-19 | ソースコードに対する修正提案やリファクタリングアクションを提供 | E-05 (provideCodeActions関数 L43) | ○ |
| C-20 | ソースコード上にインラインでGCアロケーション情報等を表示 | E-23 | △ |
| C-21 | ドキュメント内の色情報を提供 | E-22, E-01 (serverCapabilities L306) | ○ |
| C-22 | シンボルの定義箇所へのジャンプ機能を提供 | E-12, E-01 (serverCapabilities L308) | ○ |
| C-23 | dfmtを使用してドキュメント全体のフォーマットを実行 | E-13, E-01 (serverCapabilities L309) | ○ |
| C-24 | dfmtを使用して選択範囲のフォーマットを実行 | E-13, E-01 (serverCapabilities L311) | ○ |
| C-25 | カーソル位置のシンボルのハイライト表示を提供 | E-14, E-01 (serverCapabilities L310) | ○ |
| C-26 | パラメータ名等のインラインヒントを表示 | E-15, E-01 (serverCapabilities L316) | ○ |
| C-27 | シンボルの参照箇所一覧を提供 | E-16, E-01 (serverCapabilities L317) | ○ |
| C-28 | シンボルのリネーム機能（prepareRename対応）を提供 | E-17, E-01 (serverCapabilities L293-L295, L318) | ○ |
| C-29 | 関数呼び出し時のパラメータ情報を表示 | E-18, E-01 (serverCapabilities L280-L282) | ○ |
| C-30 | シンボル上にカーソルを置いた際のドキュメント情報を表示 | E-18, E-01 (serverCapabilities L315) | ○ |
| C-31 | コードの折りたたみ可能な範囲を提供 | E-19, E-01 (serverCapabilities L300, L313) | ○ |
| C-32 | ドキュメント内のシンボル一覧を提供（アウトライン表示用） | E-20, E-01 (serverCapabilities L312) | ○ |
| C-33 | ワークスペース全体からシンボルを検索する機能を提供 | E-20, E-01 (serverCapabilities L320) | ○ |
| C-34 | DScannerによる静的解析を実行し診断情報を送信 | E-25, E-01 (doDscanner関数 L1168-L1187) | ○ |
| C-35 | dfmtによるフォーマットチェックを実行 | E-26 | △ |
| C-36 | DUBビルドを実行しコンパイルエラーの診断情報を送信 | E-27, E-01 (onDidSaveDocument関数 L1337-L1343) | ○ |
| C-37 | 指定位置のimportブロックをソートするテキスト編集を返す | E-13, E-10 | ○ |
| C-38 | クラス/インターフェースの抽象メソッドを自動実装する | E-05, E-10 | ○ |
| C-39 | DCDをソースからコンパイルまたはバイナリをダウンロードして更新する | E-04 (updateDCD関数全体) | ○ |
| C-40 | 全DCDサーバーインスタンスを再起動する | E-02 (restartServer関数 L1376-L1385) | ○ |
| C-41 | 全DCDサーバーインスタンスを停止する | E-02 (killServer関数 L1388-L1394) | ○ |
| C-42 | DUBプロジェクトの利用可能な設定一覧を返す | E-03 (listConfigurations関数 L25-L31) | ○ |
| C-43 | DUBプロジェクトの設定を切り替える | E-03 (switchConfig関数 L33-L39) | ○ |
| C-44 | 現在のDUB設定を返す | E-03 (getConfig関数 L41-L47) | ○ |
| C-45 | 利用可能なアーキテクチャ一覧を返す | E-03 (listArchTypes関数 L49-L74) | ○ |
| C-46 | ビルドアーキテクチャを切り替える | E-03 (switchArchType関数 L76-L82) | ○ |
| C-47 | 現在のアーキテクチャを返す | E-03 (getArchType関数 L84-L90) | ○ |
| C-48 | 利用可能なビルドタイプ一覧を返す | E-03 (listBuildTypes関数 L92-L98) | ○ |
| C-49 | ビルドタイプを切り替える | E-03 (switchBuildType関数 L100-L106) | ○ |
| C-50 | 現在のビルドタイプを返す | E-03 (getBuildType関数 L108-L114) | ○ |
| C-51 | 現在のコンパイラを返す | E-03 (getCompiler関数 L116-L122) | ○ |
| C-52 | 使用するコンパイラを切り替える | E-03 (switchCompiler関数 L124-L130) | ○ |
| C-53 | 指定されたインポートをソースコードに追加するテキスト編集を返す | E-03 (addImport関数 L204-L210) | ○ |
| C-54 | DUB依存関係をリフレッシュしDCDのインポートパスを更新する | E-03 (updateImports関数 L212-L232) | ○ |
| C-55 | DUBパッケージの依存関係一覧を返す | E-03 (listDependencies関数 L327-L382) | ○ |
| C-56 | Run, Test, Build, Rebuildのビルドタスク一覧を返す | E-03 (provideBuildTasks関数 L390-L509) | ○ |
| C-57 | dub.json/dub.sdlのフォーマットを相互変換する | E-03 (convertDubFormat関数 L513-L572) | ○ |
| C-58 | DUBパッケージのレシピファイルに依存関係を追加しdub upgradeを実行する | E-03 (installDependency関数 L574-L586) | ○ |
| C-59 | DUBレシピファイル内の依存関係バージョンを更新する | E-03 (updateDependency関数 L588-L604) | ○ |
| C-60 | DUBレシピファイルから依存関係を削除する | E-03 (uninstallDependency関数 L606-L621) | ○ |
| C-61 | プロジェクト内のファイルをファイル名で検索する | E-21, E-10 | ○ |
| C-62 | モジュール名でファイルを検索する | E-21, E-10 | ○ |
| C-63 | 指定URIに対するDScanner設定を返す | E-01 (getDscannerConfig関数 L1189-L1224) | ○ |
| C-64 | 現在アクティブなDUBプロジェクトのビルド設定を返す | E-03 (getActiveDubConfig関数 L166-L202) | ○ |
| C-65 | profilegc.logのエントリをパース・結合して返す | E-28 | △ |
| C-66 | サーバー情報、設定、インデックス、タスク一覧を返す | E-01 (getServedInfo関数 L1226-L1314) | ○ |
| C-67 | 指定パスのプロジェクトを強制的に読み込む | E-01 (forceLoadProjects関数 L633-L721) | ○ |
| C-68 | 依存関係に応じたスニペットをserve-d全体に登録する | E-02 (addDependencySnippet関数 L1399-L1415) | ○ |
| C-69 | ユニットテストの検出・通知機能を提供する | E-24 | △ |
| C-70 | エディタ上に表示されるメッセージの翻訳リソース（en, de, fr, ja, ru対応） | E-08, E-29, E-30, E-31, E-32 | ○ |

## 4) 不足情報（Unknown / Missing）
- C-20（コードレンズ）、C-35（dfmtリント）、C-65（ProfileGCエントリ取得）、C-69（テストプロバイダー）はソースファイルの存在を確認したが、詳細な実装内容まで精査していない
  - 候補：`source/served/commands/code_lens.d` / `source/served/linters/dfmt.d` / `source/served/workers/profilegc.d` / `source/served/commands/test_provider.d` の詳細読み取り
- 本プロジェクトはLSPサーバーであり、従来のGUI画面を持たないため、「画面」の定義をLSPインタラクションポイントとして解釈した。この解釈が適切かどうかはレビュアーの判断が必要

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - CSVのカテゴリ分類や画面名の粒度は妥当と判断
- 1: 中リスク - 本プロジェクトはLSPサーバーであり従来の「画面」の概念が直接適用できない。LSPリクエスト/通知を「画面」として解釈しており、レビュアーによる適切性の確認が必要
- 0: 低リスク - 画面遷移図はmermaid形式で主要なフローを網羅

## 6) レビュアーチェックリスト（最小）
- [ ] LSPリクエスト/通知を「画面」として扱う解釈が要件に合致しているか確認
- [ ] 根拠なし（△）の4項目（C-20, C-35, C-65, C-69）について、対応するソースファイルの実装内容を精査
- [ ] 画面遷移図のmermaidがエディタで正しくレンダリングされるか確認
- [ ] CSVファイルのカラム数が全行で一致しているか確認
- [ ] 翻訳リソース（views/）に記載されているUIメッセージがCSV内の通知/ダイアログと対応しているか確認
