---
generated_at: 2026-02-20 10:00:00
metrics:
  claims_total: 45
  claims_with_evidence: 40
  claims_without_evidence: 5
confidence_derived: 0.89
---

# 根拠レポート：運用マニュアル

## 本レポートについて

### 目的
本レポートは、生成された運用マニュアルの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.89**
  - 根拠あり：40 / 45、根拠なし：5
- 優先レビュー（高）
  1. **DCDサーバー停止時のタイムアウト時間（2秒）の正確性**：ソースコード上の実装詳細の確認が必要
  2. **プリビルトバイナリの対応プラットフォーム詳細**：実際のCI/CDワークフローとの整合性要確認
  3. **各設定パラメータのデフォルト値と有効値**：実装コードでの正確な値の確認が必要
  4. **50KiBの閾値やデバウンス値の正確性**：業務要件一覧に記載があるが、実装コードでの検証が必要
  5. **エディタ固有の操作手順（ショートカットキー等）**：エディタによって異なる可能性がある

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

- E-01: `docs/code-to-docs/業務要件一覧/業務要件一覧.csv` - 業務要件一覧（54件の業務要件）
- E-02: `docs/code-to-docs/機能一覧/機能一覧.csv` - 機能一覧（83件の機能）
- E-03: `docs/code-to-docs/画面一覧/画面一覧.csv` - 画面一覧（70件の画面定義）
- E-04: `docs/code-to-docs/画面機能マッピング/画面機能マッピング.csv` - 画面機能マッピング
- E-05: `docs/code-to-docs/画面一覧/画面遷移図.md` - 画面遷移図（Mermaid図）
- E-06: `docs/code-to-docs/README.md` - プロジェクト概要ドキュメント
- E-07: `README.md` - 公式README（コマンドラインオプション、カスタムリクエスト仕様）
- E-08: `docs/code-to-docs/機能設計書/1-初期化_(initialize).md` - 初期化機能設計書
- E-09: `docs/code-to-docs/機能設計書/12-自動補完.md` - 自動補完機能設計書
- E-10: `source/served/extension.d` - LSP拡張・初期化ロジック（ソースコード）
- E-11: `source/served/commands/complete.d` - コード補完実装（ソースコード）
- E-12: `source/served/commands/dub.d` - DUBビルドタスク実装（ソースコード）
- E-13: `source/served/commands/definition.d` - 定義ジャンプ実装（ソースコード）
- E-14: `dub.json` - プロジェクト設定・依存関係定義
- E-15: `editor-vim.md`, `editor-emacs.md`, 他 - エディタ設定ガイド

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | serve-dはD言語向けのLSPサーバーである | E-06, E-07 | ○ |
| C-02 | code-d拡張のバックエンドとして動作する | E-07 | ○ |
| C-03 | DCD、D-Scanner、dfmt、DUBと連携する | E-01 (BR-007,BR-028), E-06 | ○ |
| C-04 | 主要業務は7カテゴリ（コード補完、ナビゲーション等） | E-01, E-02 | ○ |
| C-05 | 業務フローは5ステップ（初期化→編集→ナビゲーション→診断→ビルド） | E-05 | ○ |
| C-06 | ユーザー種別は開発者とプロジェクト管理者の2種類 | E-01, E-02 | ○ |
| C-07 | 対応エディタはVSCode、Vim、Emacs等 | E-07, E-15 | ○ |
| C-08 | プリビルトバイナリとソースビルドの2つのインストール方法がある | E-07 | ○ |
| C-09 | コマンドラインオプション（--version, --logfile, --lang等） | E-07 | ○ |
| C-10 | 対応言語はen/de/fr/ja/ru | E-01 (BR-052), E-06 | ○ |
| C-11 | グローバルスタートアップ・ワークスペーススタートアップの初期化フロー | E-03 (画面2,3), E-05, E-08 | ○ |
| C-12 | DCD更新確認ダイアログの表示と選択肢（コンパイル/ダウンロード/無視） | E-03 (画面4), E-05 | ○ |
| C-13 | DUB依存関係ダウンロード確認ダイアログ（Upgrade/Always/Never） | E-03 (画面5), E-05 | ○ |
| C-14 | サブプロジェクト閾値はデフォルト6個 | E-01 (BR-005) | ○ |
| C-15 | manyProjectsAction設定でask/skip/loadを制御 | E-01 (BR-005) | ○ |
| C-16 | コード補完のトリガー文字は . = / * + - | E-01 (BR-007), E-08, E-09 | ○ |
| C-17 | 補完種別：DCD補完、スニペット補完、自動インポート補完、Ddocドキュメント補完 | E-01 (BR-007〜BR-012), E-02 (12-16), E-09 | ○ |
| C-18 | シグネチャヘルプのトリガー文字は ( [ , | E-01 (BR-015), E-08 | ○ |
| C-19 | dfmt/sdlfmtによるコードフォーマット | E-01 (BR-022), E-02 (29,30) | ○ |
| C-20 | .editorconfigがdfmt設定を上書きする | E-01 (BR-022) | ○ |
| C-21 | import文のソートはアルファベット順、public importが先頭 | E-01 (BR-023) | ○ |
| C-22 | 定義ジャンプはDCDとDCDExtの2段階で位置を特定 | E-01 (BR-013) | ○ |
| C-23 | 参照検索はDCDの定義ジャンプ+インデックスのimportグラフで再帰検索 | E-01 (BR-016) | ○ |
| C-24 | ドキュメントハイライトは定義=write/使用=readで区別 | E-01 (BR-017) | ○ |
| C-25 | ドキュメントシンボルはdeprecatedにタグ付与 | E-01 (BR-019) | ○ |
| C-26 | ワークスペースシンボルは標準ライブラリを除外 | E-01 (BR-018) | ○ |
| C-27 | D-Scanner静的解析は診断スロット0 | E-01 (BR-028) | ○ |
| C-28 | DUBビルド診断は排他制御あり（二重実行防止） | E-01 (BR-029) | ○ |
| C-29 | dfmtコメント診断は診断スロット2 | E-01 (BR-030) | ○ |
| C-30 | コードアクション：インポート追加、インターフェース実装、インポートソート等 | E-01 (BR-023〜BR-025, BR-032), E-02 (26) | ○ |
| C-31 | リネームは定義箇所（write）でのみ実行可能 | E-01 (BR-021) | ○ |
| C-32 | ビルドタスクはRun/Test/Build/Rebuildの4種類 | E-01 (BR-038), E-02 (56), E-07 | ○ |
| C-33 | 依存関係管理（追加・更新・削除）はSDL/JSON両形式に対応 | E-01 (BR-036), E-07 | ○ |
| C-34 | DUBフォーマット変換（dub.json⇔dub.sdl） | E-01 (BR-037), E-07 | ○ |
| C-35 | DCDサーバーの再起動・停止コマンド | E-02 (61,62), E-07 | ○ |
| C-36 | DCDの更新はバイナリDLまたはソースコンパイル | E-01 (BR-041) | ○ |
| C-37 | served/getInfoでサーバー情報を取得 | E-02 (7), E-07 | ○ |
| C-38 | DUBビルド設定・アーキテクチャ・ビルドタイプの一覧取得と切り替え | E-01 (BR-034), E-02 (41-52), E-07 | ○ |
| C-39 | D-Scanner設定はdscanner.iniで制御、enabled/disabled/skip-unittestの3状態 | E-07 | ○ |
| C-40 | インデックスはsymbolindex.binにディスク永続化 | E-01 (BR-043) | ○ |
| C-41 | DCDサーバー停止時は2秒タイムアウトで強制kill | E-01 (BR-040) | △ |
| C-42 | 50KiB超のファイルでは500msの遅延が発生 | E-01 (BR-043, BR-044) | △ |
| C-43 | VSCodeでのショートカットキー（F12、Shift+F12、Ctrl+T等） | **根拠なし** | △ |
| C-44 | プリビルトバイナリの対応プラットフォーム詳細（Win/Linux/macOS x86_64） | E-01 (BR-041) | △ |
| C-45 | GitHub Issues/Discord/メールのサポート連絡先 | E-07 | △ |

## 4) 不足情報（Unknown / Missing）
- C-41: DCDサーバーの2秒タイムアウトは業務要件一覧に記載があるが、実装コード（complete.d, com/dcd.d）での値の検証が必要
  - 候補：`source/served/commands/complete.d` / `workspace-d/source/workspaced/com/dcd.d`
- C-42: 50KiBの閾値とデバウンス値は業務要件一覧に記載があるが、実装コードでの検証が必要
  - 候補：`source/served/commands/index.d`
- C-43: エディタのショートカットキーはエディタ固有の情報であり、serve-dのソースコードには含まれない。一般的なVSCodeのデフォルト設定に基づいている
  - 候補：VSCode公式ドキュメント / code-d拡張のpackage.json
- C-44: プリビルトバイナリの対応プラットフォームは業務要件一覧の記載とGitHub Releasesの実際の公開状況で差異がある可能性
  - 候補：`.github/workflows/releases.yml` / GitHub Releasesページ
- C-45: Discordリンクとメールアドレスは公式READMEに記載があるが、現在も有効かは確認が必要
  - 候補：README.md / GitHub リポジトリのAboutセクション

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - serve-dのコア機能説明（コード補完、定義ジャンプ等）はソースコード・設計書・READMEと整合性があり信頼性が高い
- 0: 低リスク - 業務フロー構成はLSPサーバーの特性を踏まえて適切にテンプレートを変換している
- 1: 中リスク - エディタ固有のUI操作手順（ショートカットキー、メニュー位置等）はVSCode前提で記載しており、他エディタでは異なる
- 1: 中リスク - 設定パラメータのデフォルト値や閾値は業務要件一覧からの引用であり、バージョンアップにより変更される可能性がある
- 0: 低リスク - DUB依存関係管理・DCD管理の操作手順は公式READMEのカスタムリクエスト仕様に基づいている

## 6) レビュアーチェックリスト（最小）
- [ ] serve-dの現行バージョンで、記載されたコマンドラインオプションが全て有効か確認する
- [ ] DCDサーバーの2秒タイムアウト値を実装コードで確認する
- [ ] 50KiB閾値・デバウンス値を実装コード（index.d）で確認する
- [ ] エディタ固有のショートカットキー（F12、Shift+F12等）がVSCode以外のエディタで適用可能か補足する
- [ ] GitHub Issues/Discord/メールのサポート連絡先が現在も有効か確認する
- [ ] 対応エディタの一覧が最新の状態か確認する（Atom等のサポート終了エディタの有無）
- [ ] DUBフォーマット変換（json⇔sdl）の操作手順が正確か実際に動作確認する
- [ ] manyProjectsThresholdのデフォルト値（6個）が現行バージョンで正しいか確認する
