---
generated_at: 2026-02-19 22:30:00
metrics:
  claims_total: 16
  claims_with_evidence: 16
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：帳票一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：16 / 16、根拠なし：0
- 優先レビュー（高）
  1. **該当なし**：全ての主張に根拠が存在します

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

- E-01: `source/served/linters/dscanner.d` - DScanner診断機能の実装。`lint()` 関数でDScanner解析を実行し `createDiagnosticsFor` / `updateDiagnostics` で診断結果を出力
- E-02: `source/served/linters/dub.d` - DUBビルド診断機能の実装。`lint()` 関数でDUBビルドを実行し `PublishDiagnosticsParams` として診断結果を出力
- E-03: `source/served/linters/dfmt.d` - dfmt診断機能の実装。`lint()` / `lintDfmt()` 関数でdfmtコメントの整合性チェックを実行
- E-04: `source/served/linters/diagnosticmanager.d` - 診断情報管理の実装。3つの診断プロバイダスロットの統合と `textDocument/publishDiagnostics` の送信
- E-05: `source/served/workers/profilegc.d` - ProfileGCレポートの実装。`ProfileGCEntry` 構造体、`served/getProfileGCEntries` エンドポイント、CodeLens表示
- E-06: `source/served/commands/test_provider.d` - ユニットテスト一覧の実装。`coded/pushProjectTests` 通知、`UnittestProject` / `UnittestModule` / `UnittestInfo` 構造体
- E-07: `source/served/commands/symbol_search.d` - シンボル検索の実装。`textDocument/documentSymbol` と `workspace/symbol` エンドポイント
- E-08: `source/served/commands/dub.d` - DUB関連コマンドの実装。`served/buildTasks`、`served/listDependencies`、`served/getActiveDubConfig`、`served/listConfigurations`、`served/listArchTypes`、`served/listBuildTypes` エンドポイント
- E-09: `source/served/lsp/protoext.d` - LSPプロトコル拡張型定義。`ServedInfoResponse`、`DScannerIniSection`、`UnittestProject`、`Task`、`DubDependency` 等の構造体定義
- E-10: `source/served/commands/code_lens.d` - CodeLens機能の実装。`textDocument/codeLens` と `codeLens/resolve` エンドポイント、インポートコンパイル時間計測
- E-11: `source/served/extension.d` - serve-dメイン拡張機能。`served/getDscannerConfig` と `served/getInfo` エンドポイントを含む
- E-12: `README.md` - プロジェクトのREADME。カスタムリクエスト/通知の仕様ドキュメント

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | DScanner診断レポート：D言語ソースコードの静的解析結果を診断情報として出力 | E-01, E-04 | ○ |
| C-02 | DUBビルド診断レポート：DUBビルド実行時のコンパイルエラー・警告を診断情報として出力 | E-02, E-04 | ○ |
| C-03 | dfmt診断レポート：dfmtフォーマッタのon/offコメントに関する診断情報を出力 | E-03, E-04 | ○ |
| C-04 | ProfileGCレポート：profilegc.logファイルを解析しGCメモリ割り当て情報を出力 | E-05 | ○ |
| C-05 | ユニットテスト一覧レポート：ユニットテストの一覧をモジュール単位で出力 | E-06, E-09 | ○ |
| C-06 | ドキュメントシンボル一覧：指定ドキュメント内のシンボルの一覧を出力 | E-07 | ○ |
| C-07 | ワークスペースシンボル検索結果：クエリに一致するシンボルをファジー検索し結果一覧を出力 | E-07 | ○ |
| C-08 | ビルドタスク一覧：DUBプロジェクトのビルドタスクを一覧として出力 | E-08, E-09, E-12 | ○ |
| C-09 | DUB依存関係一覧：DUBプロジェクトの依存パッケージ一覧を出力 | E-08, E-09, E-12 | ○ |
| C-10 | アクティブDUB設定レポート：現在アクティブなDUBプロジェクトのビルド設定詳細を出力 | E-08, E-12 | ○ |
| C-11 | DScanner設定レポート：DScannerの現在の設定を一覧として出力 | E-09, E-11, E-12 | ○ |
| C-12 | serve-dサーバー情報レポート：serve-dサーバーの状態情報を出力 | E-09, E-11, E-12 | ○ |
| C-13 | DUB構成一覧：利用可能なビルド構成の名前一覧を出力 | E-08, E-12 | ○ |
| C-14 | アーキテクチャ一覧：利用可能なアーキテクチャの一覧を出力 | E-08, E-09, E-12 | ○ |
| C-15 | ビルドタイプ一覧：利用可能なビルドタイプの名前一覧を出力 | E-08, E-12 | ○ |
| C-16 | インポートコンパイル時間レポート：各import文のコンパイル時間を計測しCodeLensとして表示 | E-10 | ○ |

## 4) 不足情報（Unknown / Missing）
- 本プロジェクト（serve-d）はD言語のLSPサーバーであり、一般的な業務アプリケーションの帳票（PDF/Excel/印刷帳票等）は存在しない。本帳票一覧ではLSPプロトコル経由で出力される構造化データ（レポート性質のレスポンス）を「帳票」として広義に解釈して列挙している。
  - 候補：extension.d内の他のカスタムリクエスト / workspace-dサブパッケージ内の追加出力 / protocol.dの標準LSPレスポンス

## 5) リスクフラグ（レビュー観点）
- 1: 中リスク - 「帳票」の定義が通常の業務帳票と異なり、LSPレスポンスを帳票として解釈している。レビュアーはこの解釈が適切かどうか判断が必要。
- 0: 低リスク - 各主張は全てソースコードの`@protocolMethod`/`@protocolNotification`アノテーションで直接確認可能であり、根拠は明確。

## 6) レビュアーチェックリスト（最小）
- [ ] 「帳票」をLSPレスポンスとして解釈することがプロジェクトの目的に合致するか確認
- [ ] 全16件の帳票について、ソースコード内の対応する`@protocolMethod`/`@protocolNotification`アノテーションを確認
- [ ] extension.d内に追加の出力エンドポイントが存在しないか確認（ファイルサイズが大きいため、全体確認を推奨）
- [ ] workspace-dサブパッケージ内に独立した出力機能が存在しないか確認
- [ ] 各帳票の「説明」がソースコード内の実際の出力内容と一致するか確認
