---
generated_at: 2026-02-19 22:30:00
metrics:
  claims_total: 83
  claims_with_evidence: 80
  claims_without_evidence: 3
confidence_derived: 0.96
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.96**
  - 根拠あり：80 / 83、根拠なし：3
- 優先レビュー（高）
  1. **C-37 dfmtリント**：dfmtリンターの詳細ロジックの読み込みが限定的
  2. **C-80 標準ライブラリパス検出**：ユーティリティファイルの詳細読み込みが未実施
  3. **C-83 クラッシュハンドラ**：crash_handler.dの詳細読み込みが未実施

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

- E-01: `README.md` - プロジェクト概要・機能説明・カスタムリクエスト仕様
- E-02: `dub.json` - プロジェクト構成・サブパッケージ定義・依存関係
- E-03: `source/app.d` - エントリーポイント・コマンドラインオプション・--provide値
- E-04: `source/served/extension.d` - LSP初期化・ワークスペース管理・設定変更・DCD起動・シャットダウン
- E-05: `source/served/commands/complete.d` - 自動補完・スニペット・DCD再起動・サーバー停止
- E-06: `source/served/commands/definition.d` - 定義ジャンプ・ホバー情報
- E-07: `source/served/commands/calltips.d` - シグネチャヘルプ
- E-08: `source/served/commands/code_actions.d` - コードアクション
- E-09: `source/served/commands/code_lens.d` - コードレンズ
- E-10: `source/served/commands/color.d` - ドキュメントカラー・カラープレゼンテーション
- E-11: `source/served/commands/dub.d` - DUB管理全般（設定・依存関係・ビルドタスク・フォーマット変換）
- E-12: `source/served/commands/file_search.d` - ファイル検索・モジュール名検索
- E-13: `source/served/commands/folding.d` - 折りたたみ範囲
- E-14: `source/served/commands/format.d` - コードフォーマット（D言語・SDL）
- E-15: `source/served/commands/highlight.d` - ドキュメントハイライト
- E-16: `source/served/commands/index.d` - バックグラウンドインデックス
- E-17: `source/served/commands/inlay_hints.d` - インレイヒント
- E-18: `source/served/commands/references.d` - 参照検索
- E-19: `source/served/commands/rename.d` - リネーム
- E-20: `source/served/commands/symbol_search.d` - シンボル検索
- E-21: `source/served/commands/test_provider.d` - テストプロバイダ
- E-22: `source/served/commands/dcd_update.d` - DCD更新
- E-23: `source/served/workers/profilegc.d` - ProfileGCエントリ・コードレンズ
- E-24: `source/served/linters/diagnosticmanager.d` - 診断マネージャ
- E-25: `source/served/linters/dscanner.d` - DScanner静的解析
- E-26: `source/served/linters/dub.d` - DUBビルド診断
- E-27: `lsp/source/served/lsp/` - LSP RPCサブパッケージ
- E-28: `protocol/source/served/lsp/` - LSPプロトコルサブパッケージ
- E-29: `serverbase/source/served/` - サーバー基盤サブパッケージ
- E-30: `dcd/source/served/dcd/client.d` - DCDクライアントサブパッケージ
- E-31: `workspace-d/source/workspaced/` - ワークスペース機能サブパッケージ
- E-32: `http/source/served/http.d` - HTTPダウンロードサブパッケージ
- E-33: `source/served/utils/ddoc.d` - DDocユーティリティ
- E-34: `source/served/utils/diet.d` - Dietテンプレートユーティリティ
- E-35: `source/served/utils/translate.d` - 翻訳ユーティリティ
- E-36: `source/served/utils/progress.d` - 進捗レポートユーティリティ
- E-37: `source/crash_handler.d` - クラッシュハンドラ（ファイル存在確認のみ）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | 初期化 (initialize) | E-04 | ○ |
| C-02 | シャットダウン (shutdown) | E-04 | ○ |
| C-03 | トレース設定 ($/setTrace) | E-04 | ○ |
| C-04 | ワークスペースフォルダ変更 | E-04 | ○ |
| C-05 | 設定変更処理 | E-04 | ○ |
| C-06 | プロジェクト強制ロード (served/forceLoadProjects) | E-04, E-01 | ○ |
| C-07 | サーバー情報取得 (served/getInfo) | E-04, E-01 | ○ |
| C-08 | ドキュメントオープン (textDocument/didOpen) | E-04 | ○ |
| C-09 | ドキュメント変更 (textDocument/didChange) | E-04 | ○ |
| C-10 | ドキュメント保存 (textDocument/didSave) | E-04, E-11, E-16, E-21 | ○ |
| C-11 | ドキュメントクローズ (textDocument/didClose) | E-04 | ○ |
| C-12 | 自動補完 (textDocument/completion) | E-05 | ○ |
| C-13 | 補完アイテム解決 (completionItem/resolve) | E-05 | ○ |
| C-14 | スニペット補完 | E-05, E-03 | ○ |
| C-15 | 自動インポート補完 | E-05 | ○ |
| C-16 | スニペット登録 (served/addDependencySnippet) | E-05, E-01 | ○ |
| C-17 | シグネチャヘルプ (textDocument/signatureHelp) | E-07 | ○ |
| C-18 | 定義ジャンプ (textDocument/definition) | E-06 | ○ |
| C-19 | ホバー情報 (textDocument/hover) | E-06 | ○ |
| C-20 | ドキュメントシンボル (textDocument/documentSymbol) | E-20 | ○ |
| C-21 | ワークスペースシンボル (workspace/symbol) | E-20 | ○ |
| C-22 | ドキュメントハイライト (textDocument/documentHighlight) | E-15 | ○ |
| C-23 | 参照検索 (textDocument/references) | E-18 | ○ |
| C-24 | リネーム (textDocument/rename) | E-19 | ○ |
| C-25 | リネーム準備 (textDocument/prepareRename) | E-19 | ○ |
| C-26 | コードアクション (textDocument/codeAction) | E-08 | ○ |
| C-27 | コードレンズ (textDocument/codeLens) | E-09, E-23 | ○ |
| C-28 | コードレンズ解決 (codeLens/resolve) | E-09 | ○ |
| C-29 | ドキュメントフォーマット (textDocument/formatting) | E-14 | ○ |
| C-30 | 範囲フォーマット (textDocument/rangeFormatting) | E-14 | ○ |
| C-31 | 折りたたみ範囲 (textDocument/foldingRange) | E-13 | ○ |
| C-32 | インレイヒント (textDocument/inlayHint) | E-17 | ○ |
| C-33 | ドキュメントカラー (textDocument/documentColor) | E-10 | ○ |
| C-34 | カラープレゼンテーション (textDocument/colorPresentation) | E-10 | ○ |
| C-35 | DScanner静的解析 | E-25 | ○ |
| C-36 | DUBビルド診断 | E-26 | ○ |
| C-37 | dfmtリント | E-04 | △ |
| C-38 | 診断マネージャ | E-24 | ○ |
| C-39 | DScanner手動実行 (served/doDscanner) | E-04, E-01 | ○ |
| C-40 | DScanner設定取得 (served/getDscannerConfig) | E-04, E-01 | ○ |
| C-41 | 設定一覧取得 (served/listConfigurations) | E-11, E-01 | ○ |
| C-42 | 設定切り替え (served/switchConfig) | E-11, E-01 | ○ |
| C-43 | 現在設定取得 (served/getConfig) | E-11, E-01 | ○ |
| C-44 | アーキテクチャ一覧取得 (served/listArchTypes) | E-11, E-01 | ○ |
| C-45 | アーキテクチャ切り替え (served/switchArchType) | E-11, E-01 | ○ |
| C-46 | 現在アーキテクチャ取得 (served/getArchType) | E-11, E-01 | ○ |
| C-47 | ビルドタイプ一覧取得 (served/listBuildTypes) | E-11, E-01 | ○ |
| C-48 | ビルドタイプ切り替え (served/switchBuildType) | E-11, E-01 | ○ |
| C-49 | 現在ビルドタイプ取得 (served/getBuildType) | E-11, E-01 | ○ |
| C-50 | コンパイラ取得 (served/getCompiler) | E-11, E-01 | ○ |
| C-51 | コンパイラ切り替え (served/switchCompiler) | E-11, E-01 | ○ |
| C-52 | アクティブDUB設定取得 (served/getActiveDubConfig) | E-11, E-01 | ○ |
| C-53 | インポート追加 (served/addImport) | E-11, E-01 | ○ |
| C-54 | インポート更新 (served/updateImports) | E-11, E-01 | ○ |
| C-55 | 依存関係一覧取得 (served/listDependencies) | E-11, E-01 | ○ |
| C-56 | ビルドタスク提供 (served/buildTasks) | E-11, E-01 | ○ |
| C-57 | DUBフォーマット変換 (served/convertDubFormat) | E-11, E-01 | ○ |
| C-58 | 依存関係インストール (served/installDependency) | E-11, E-01 | ○ |
| C-59 | 依存関係更新 (served/updateDependency) | E-11, E-01 | ○ |
| C-60 | 依存関係アンインストール (served/uninstallDependency) | E-11, E-01 | ○ |
| C-61 | DCDサーバー再起動 (served/restartServer) | E-05, E-01 | ○ |
| C-62 | DCDサーバー停止 (served/killServer) | E-05, E-01 | ○ |
| C-63 | DCD更新 (served/updateDCD) | E-22, E-01 | ○ |
| C-64 | ファイル検索 (served/searchFile) | E-12, E-01 | ○ |
| C-65 | モジュール名でファイル検索 (served/findFilesByModule) | E-12, E-01 | ○ |
| C-66 | バックグラウンドインデックス | E-16 | ○ |
| C-67 | 変更時インデックス更新 | E-16 | ○ |
| C-68 | 保存時インデックス更新 | E-16 | ○ |
| C-69 | ユニットテスト検出・追跡 | E-21, E-03 | ○ |
| C-70 | ProfileGCエントリ取得 (served/getProfileGCEntries) | E-23, E-01 | ○ |
| C-71 | ProfileGCコードレンズ | E-23 | ○ |
| C-72 | LSPプロトコル型定義 (serve-d:protocol) | E-28, E-02 | ○ |
| C-73 | LSP RPC通信 (serve-d:lsp) | E-27, E-02 | ○ |
| C-74 | LSPサーバー基盤 (serve-d:serverbase) | E-29, E-02 | ○ |
| C-75 | DCDクライアント (serve-d:dcd) | E-30, E-02, E-01 | ○ |
| C-76 | ワークスペース機能 (serve-d:workspace-d) | E-31, E-02, E-01 | ○ |
| C-77 | HTTPダウンロード (serve-d:http) | E-32, E-02, E-01 | ○ |
| C-78 | DDoc処理 | E-33 | ○ |
| C-79 | Dietテンプレート処理 | E-34 | ○ |
| C-80 | 標準ライブラリパス検出 | **根拠なし** | △ |
| C-81 | 翻訳・多言語対応 | E-35, E-03 | ○ |
| C-82 | 進捗レポート | E-36 | ○ |
| C-83 | クラッシュハンドラ | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- C-37（dfmtリント）：`source/served/linters/dfmt.d` の詳細な内容を完全には読み込んでいない。extension.dの呼び出しから存在は確認済みだが、具体的なリント内容の詳細は未検証
  - 候補：source/served/linters/dfmt.d の全文読み込み
- C-80（標準ライブラリパス検出）：`source/served/utils/stdlib_detect.d` のファイル存在は確認済みだが内容を読み込んでいない
  - 候補：source/served/utils/stdlib_detect.d の全文読み込み
- C-83（クラッシュハンドラ）：`source/crash_handler.d` のファイル存在は確認済みだが内容を詳細に読み込んでいない
  - 候補：source/crash_handler.d の全文読み込み

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - LSP標準プロトコルメソッド（C-01〜C-34）は全てソースコード内の`@protocolMethod`デコレータで直接確認済み
- 0: 低リスク - カスタムリクエスト（served/*）はREADME.mdの仕様とソースコードの両方で確認済み
- 0: 低リスク - DUB管理機能（C-41〜C-60）はソースコード内で詳細に確認済み
- 1: 中リスク - サブパッケージ（C-72〜C-77）はdub.json定義とディレクトリ構造で確認しているが、各サブパッケージの全ソースコードを網羅的に読み込んでいない
- 0: 低リスク - ユーティリティ機能（C-78〜C-82）はファイル存在とインポート/使用箇所から確認済み

## 6) レビュアーチェックリスト（最小）
- [ ] 機能一覧の83項目が、プロジェクトの主要機能を網羅しているか
- [ ] カテゴリ分類が適切で、同一カテゴリ内の機能が論理的にグルーピングされているか
- [ ] 各機能の説明文が、実際のソースコードの挙動と一致しているか
- [ ] DUB管理機能（No.41〜60）の個別項目の粒度が適切か（細分化しすぎていないか）
- [ ] サブパッケージ（No.72〜77）の機能説明が、README.mdのProject Layout記述と整合しているか
- [ ] dfmtリント（No.37）・標準ライブラリパス検出（No.80）・クラッシュハンドラ（No.83）の説明内容を実際のソースコードと突合すること
- [ ] 機能漏れがないか：特にworkspace-dサブパッケージ内の詳細コンポーネント（ccdb, dlangui等）を個別機能として追加すべきか検討
