---
generated_at: 2026-02-20 00:15:00
metrics:
  claims_total: 54
  claims_with_evidence: 50
  claims_without_evidence: 4
confidence_derived: 0.93
---

# 根拠レポート：業務要件一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：50 / 54、根拠なし：4
- 優先レビュー（高）
  1. **BR-012 Diet テンプレート補完**：Dietテンプレート補完の詳細ロジックはutils/diet.dの参照が限定的
  2. **BR-047 インポートコンパイル時間計測**：キャッシュ有効期限の詳細はcom/dmd.dの実装に依存
  3. **BR-048 GCプロファイラデコレーション**：profilegc.logのフォーマット仕様は外部依存
  4. **BR-053 初期化進捗の段階的報告**：クライアント側での進捗表示の実装詳細は未確認

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

- E-01: `source/served/extension.d` - メインサーバー実装（initialize, doGlobalStartup, doStartup, changedConfig等）
- E-02: `source/app.d` - アプリケーションエントリポイント（コマンドライン引数解析）
- E-03: `source/served/types.d` - Configuration構造体、Workspace構造体、detectDcdPath
- E-04: `source/served/backend/lazy_workspaced.d` - LazyWorkspaceD / LazyInstance実装
- E-05: `serverbase/source/served/serverbase.d` - LSPサーバーベース（LanguageServerRouter）
- E-06: `source/served/commands/complete.d` - コード補完（DCD/スニペット/オートインポート統合）
- E-07: `source/served/commands/definition.d` - 定義ジャンプ・ホバー
- E-08: `source/served/commands/calltips.d` - シグネチャヘルプ
- E-09: `source/served/commands/references.d` - 参照検索
- E-10: `source/served/commands/highlight.d` - ドキュメントハイライト
- E-11: `source/served/commands/symbol_search.d` - シンボル検索
- E-12: `source/served/commands/file_search.d` - ファイル/モジュール検索
- E-13: `source/served/commands/rename.d` - シンボルリネーム
- E-14: `source/served/commands/format.d` - コードフォーマット
- E-15: `source/served/commands/code_actions.d` - コードアクション（クイックフィックス、インポート整理、メソッド自動実装）
- E-16: `source/served/commands/folding.d` - コード折りたたみ
- E-17: `source/served/commands/inlay_hints.d` - インレイヒント
- E-18: `source/served/commands/dub.d` - DUBビルドシステム統合（設定管理、依存関係、ビルドタスク）
- E-19: `source/served/commands/dcd_update.d` - DCDインストール/アップデート
- E-20: `source/served/commands/index.d` - インデックス管理
- E-21: `source/served/commands/code_lens.d` - コードレンズ
- E-22: `source/served/commands/color.d` - DMLカラー検出
- E-23: `source/served/commands/test_provider.d` - ユニットテスト検出
- E-24: `source/served/linters/diagnosticmanager.d` - 診断統合管理（3スロット設計）
- E-25: `source/served/linters/dscanner.d` - D-Scanner静的解析リンター
- E-26: `source/served/linters/dub.d` - DUBビルドエラーリンター
- E-27: `source/served/linters/dfmt.d` - dfmtコメントリンター
- E-28: `source/served/workers/rename_listener.d` - ファイル作成/リネーム監視
- E-29: `source/served/workers/profilegc.d` - GCプロファイラ
- E-30: `source/served/utils/translate.d` - 多言語翻訳
- E-31: `source/served/utils/progress.d` - 進捗報告
- E-32: `source/served/lsp/protoext.d` - LSPプロトコル拡張型定義
- E-33: `workspace-d/source/workspaced/com/dcd.d` - DCDコンポーネント
- E-34: `workspace-d/source/workspaced/com/dcdext.d` - DCD拡張コンポーネント
- E-35: `workspace-d/source/workspaced/com/dub.d` - DUBコンポーネント
- E-36: `workspace-d/source/workspaced/com/dscanner.d` - D-Scannerコンポーネント
- E-37: `workspace-d/source/workspaced/com/dfmt.d` - dfmtコンポーネント
- E-38: `workspace-d/source/workspaced/com/importer.d` - import管理コンポーネント
- E-39: `workspace-d/source/workspaced/com/moduleman.d` - モジュール管理コンポーネント
- E-40: `workspace-d/source/workspaced/com/index.d` - インデックスコンポーネント
- E-41: `workspace-d/source/workspaced/com/references.d` - 参照検索コンポーネント
- E-42: `workspace-d/source/workspaced/com/snippets/package.d` - スニペットエンジン
- E-43: `workspace-d/source/workspaced/backend.d` - WorkspaceDバックエンド
- E-44: `workspace-d/source/workspaced/com/dmd.d` - DMDコンポーネント
- E-45: `README.md` - プロジェクト説明・カスタムリクエスト仕様
- E-46: `dub.json` - パッケージ定義

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | BR-001: LSPプロトコルによるサーバー初期化 | E-01, E-05, E-45 | ○ |
| C-02 | BR-002: コマンドライン引数によるサーバー構成 | E-02, E-45 | ○ |
| C-03 | BR-003: マルチワークスペース対応 | E-01, E-03, E-45 | ○ |
| C-04 | BR-004: 遅延読み込みによるプロジェクト初期化 | E-04, E-43 | ○ |
| C-05 | BR-005: 多プロジェクト検出と制御 | E-01, E-03 | ○ |
| C-06 | BR-006: プロジェクトルート自動検出 | E-01 | ○ |
| C-07 | BR-007: D言語コード補完 | E-06, E-33 | ○ |
| C-08 | BR-008: スニペット補完 | E-06, E-42 | ○ |
| C-09 | BR-009: オートインポート補完 | E-06, E-40 | ○ |
| C-10 | BR-010: Ddocドキュメント補完 | E-06 | ○ |
| C-11 | BR-011: DlangUI DML補完 | E-06, E-22 | ○ |
| C-12 | BR-012: Diet テンプレート補完 | E-06 | △ |
| C-13 | BR-013: 定義ジャンプ | E-07, E-33, E-34 | ○ |
| C-14 | BR-014: ホバー時ドキュメント表示 | E-07, E-33, E-37 | ○ |
| C-15 | BR-015: シグネチャヘルプ | E-08, E-34 | ○ |
| C-16 | BR-016: 参照検索 | E-09, E-41, E-33, E-40 | ○ |
| C-17 | BR-017: ドキュメントハイライト | E-10, E-33, E-34 | ○ |
| C-18 | BR-018: ワークスペースシンボル検索 | E-11, E-40 | ○ |
| C-19 | BR-019: ドキュメントシンボル一覧 | E-11, E-36 | ○ |
| C-20 | BR-020: ファイル/モジュール検索 | E-12 | ○ |
| C-21 | BR-021: シンボルリネーム | E-13, E-10 | ○ |
| C-22 | BR-022: コードフォーマット | E-14, E-37 | ○ |
| C-23 | BR-023: インポート整理 | E-15, E-38 | ○ |
| C-24 | BR-024: インターフェース/抽象クラスメソッド自動実装 | E-15, E-34 | ○ |
| C-25 | BR-025: 自動インポート追加 | E-15, E-18, E-38 | ○ |
| C-26 | BR-026: コード折りたたみ範囲提供 | E-16, E-34 | ○ |
| C-27 | BR-027: インレイヒント表示 | E-17, E-33 | ○ |
| C-28 | BR-028: D-Scanner静的解析 | E-25, E-36 | ○ |
| C-29 | BR-029: DUBビルドエラー診断 | E-26, E-35 | ○ |
| C-30 | BR-030: dfmtコメント診断 | E-27, E-37 | ○ |
| C-31 | BR-031: 診断統合管理 | E-24 | ○ |
| C-32 | BR-032: クイックフィックス提案 | E-15, E-36 | ○ |
| C-33 | BR-033: DScanner警告の抑制設定 | E-15 | ○ |
| C-34 | BR-034: DUBビルド設定管理 | E-18, E-35, E-45 | ○ |
| C-35 | BR-035: DUBレシピファイル監視 | E-18, E-35 | ○ |
| C-36 | BR-036: 依存関係管理 | E-18, E-35, E-45 | ○ |
| C-37 | BR-037: DUBレシピフォーマット変換 | E-18, E-45 | ○ |
| C-38 | BR-038: ビルドタスク提供 | E-18, E-45 | ○ |
| C-39 | BR-039: インポートパス更新 | E-18, E-35, E-45 | ○ |
| C-40 | BR-040: DCDサーバーライフサイクル管理 | E-06, E-33 | ○ |
| C-41 | BR-041: DCDインストール/アップデート | E-19, E-01 | ○ |
| C-42 | BR-042: DCDバージョン検出とクライアント選択 | E-33 | ○ |
| C-43 | BR-043: ソースコードインデックス構築 | E-20, E-40 | ○ |
| C-44 | BR-044: 差分インデックス更新 | E-20 | ○ |
| C-45 | BR-045: 新規D言語ソースファイルのモジュール名自動生成 | E-28, E-39 | ○ |
| C-46 | BR-046: 新規DUBレシピファイルの雛形生成 | E-28 | ○ |
| C-47 | BR-047: インポートコンパイル時間計測 | E-21 | △ |
| C-48 | BR-048: GCプロファイラデコレーション | E-29 | △ |
| C-49 | BR-049: DMLカラーリテラル検出 | E-22 | ○ |
| C-50 | BR-050: 階層的設定管理 | E-03, E-43, E-01 | ○ |
| C-51 | BR-051: DCD自動検出 | E-03 | ○ |
| C-52 | BR-052: UIメッセージの多言語翻訳 | E-30 | ○ |
| C-53 | BR-053: 初期化進捗の段階的報告 | E-31 | △ |
| C-54 | BR-054: ユニットテスト自動検出 | E-23 | ○ |

## 4) 不足情報（Unknown / Missing）
- BR-012（Diet テンプレート補完）：`source/served/utils/diet.d` の詳細分析が不足。Dietテンプレート補完のコンテキスト感知ロジックの網羅性が未確認
  - 候補：`source/served/utils/diet.d` の詳細読込 / vibe.d のDiet仕様との突合
- BR-047（インポートコンパイル時間計測）：`com/dmd.d` のDMDコンパイル実行の詳細とタイムアウト処理が限定的にしか確認できていない
  - 候補：`workspace-d/source/workspaced/com/dmd.d` の詳細読込
- BR-048（GCプロファイラデコレーション）：`profilegc.log` のフォーマット仕様がD言語ランタイムの内部仕様に依存しており、外部ドキュメントとの突合が未実施
  - 候補：D言語ランタイム公式ドキュメント / profilegc.logのフォーマット仕様
- BR-053（初期化進捗の段階的報告）：`progress.d` のログ出力が実際にクライアントでどう表示されるかはクライアント実装依存であり、仕様として確定していない部分がある
  - 候補：code-d（VSCode拡張）のクライアント側実装との突合

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 大部分の業務要件はソースコード内の `@protocolMethod` / `@protocolNotification` デコレータにより明確に識別可能であり、高い信頼性がある
- 0: 低リスク - カスタムリクエスト仕様は `README.md` に詳細に記載されており、実装との整合性が確認できている
- 1: 中リスク - 一部の設定値のデフォルト値やしきい値（manyProjectsThreshold=6, デバウンス時間等）はソースコードから直接読み取った値であり、ユーザー向けドキュメントとの差異がある可能性がある
- 1: 中リスク - DUBのSDL/JSON形式での依存関係挿入ロジックは複雑であり、エッジケースでの動作が網羅的に検証されていない可能性がある

## 6) レビュアーチェックリスト（最小）
- [ ] 全54件の業務要件が実際のLSPプロトコルメソッド/カスタムリクエストをカバーしているか確認
- [ ] 優先度の高/中/低の分類が妥当か確認（特に「高」に設定されたコア機能）
- [ ] △マークの4件（BR-012, BR-047, BR-048, BR-053）について追加調査の要否を判断
- [ ] DUBビルドシステム統合（BR-034〜BR-039）の設定項目がConfiguration構造体の全フィールドをカバーしているか確認
- [ ] カテゴリの粒度が適切か確認（現在12カテゴリに54件を分類）
