---
generated_at: 2026-02-19 10:30:00
metrics:
  claims_total: 57
  claims_with_evidence: 55
  claims_without_evidence: 2
confidence_derived: 0.96
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.96**
  - 根拠あり：55 / 57、根拠なし：2
- 優先レビュー（高）
  1. **BR-052（スタブ生成）**：根拠不足 - スタブの具体的な生成仕様の確認が必要
  2. **BR-057（プロジェクトツリー表示）**：根拠不足 - 実装の詳細確認が必要

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

- E-01: `lib/src/clojure_lsp/api.clj` - 公開API定義
- E-02: `lib/src/clojure_lsp/handlers.clj` - LSPハンドラ実装
- E-03: `lib/src/clojure_lsp/feature/completion.clj` - コード補完機能
- E-04: `lib/src/clojure_lsp/feature/code_actions.clj` - コードアクション機能
- E-05: `lib/src/clojure_lsp/feature/rename.clj` - リネーム機能
- E-06: `lib/src/clojure_lsp/feature/diagnostics.clj` - 診断機能
- E-07: `lib/src/clojure_lsp/feature/format.clj` - フォーマット機能
- E-08: `lib/src/clojure_lsp/feature/clean_ns.clj` - 名前空間クリーンアップ機能
- E-09: `lib/src/clojure_lsp/feature/hover.clj` - ホバー機能
- E-10: `lib/src/clojure_lsp/feature/call_hierarchy.clj` - 呼び出し階層機能
- E-11: `lib/src/clojure_lsp/feature/semantic_tokens.clj` - セマンティックトークン機能
- E-12: `README.md` - プロジェクト概要

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | プロジェクト解析（BR-001） | E-01 (analyze-project-and-deps!関数) | ○ |
| C-02 | ファイル変更検知（BR-002） | E-02 (did-open, did-change, did-save, did-close) | ○ |
| C-03 | 監視ファイル変更処理（BR-003） | E-02 (did-change-watched-files) | ○ |
| C-04 | コード補完候補提供（BR-004） | E-03 (completion関数) | ○ |
| C-05 | スニペット補完（BR-005） | E-03 (merging-snippets関数) | ○ |
| C-06 | 補完候補優先順位付け（BR-006） | E-03 (priority-order定義) | ○ |
| C-07 | 定義へジャンプ（BR-007） | E-02 (definition関数) | ○ |
| C-08 | 宣言へジャンプ（BR-008） | E-02 (declaration関数) | ○ |
| C-09 | 実装へジャンプ（BR-009） | E-02 (implementation関数) | ○ |
| C-10 | 参照検索（BR-010） | E-02 (references関数) | ○ |
| C-11 | ワークスペースシンボル検索（BR-011） | E-02 (workspace-symbols関数) | ○ |
| C-12 | 呼び出し階層表示（BR-012） | E-10 (prepare, incoming, outgoing関数) | ○ |
| C-13 | シンボルリネーム（BR-013） | E-05 (rename-element, rename-from-position関数) | ○ |
| C-14 | 名前空間クリーンアップ（BR-014） | E-08 (clean-ns-edits関数) | ○ |
| C-15 | コードフォーマット（BR-015） | E-07 (formatting, range-formatting関数) | ○ |
| C-16 | 不足ライブラリ追加（BR-016） | E-04 (require-suggestion-actions関数) | ○ |
| C-17 | インライン展開（BR-017） | E-04 (inline-symbol-action関数) | ○ |
| C-18 | 関数抽出（BR-018） | E-04 (extract-function-action関数) | ○ |
| C-19 | let導入（BR-019） | E-04 (introduce-let-action, move-to-let-action関数) | ○ |
| C-20 | スレッドマクロ変換（BR-020） | E-04 (thread-first-all-action, unwind-thread-action関数) | ○ |
| C-21 | コレクション型変換（BR-021） | E-04 (change-colls-actions関数) | ○ |
| C-22 | 分割代入変換（BR-022） | E-04 (destructure-keys-action, restructure-keys-action関数) | ○ |
| C-23 | プライバシー切り替え（BR-023） | E-04 (cycle-privacy-action関数) | ○ |
| C-24 | fn/defn昇格（BR-024） | E-04 (promote-fn-action, demote-fn-action関数) | ○ |
| C-25 | 条件式変換（BR-025） | E-04 (refactor-if->cond-action, refactor-cond->if-action関数) | ○ |
| C-26 | 要素並べ替え（BR-026） | E-04 (sort-clauses-action, drag-backward-action関数) | ○ |
| C-27 | パラメータ並べ替え（BR-027） | E-04 (drag-param-backward-action, drag-param-forward-action関数) | ○ |
| C-28 | get-in変換（BR-028） | E-04 (get-in-more-action, get-in-less-action関数) | ○ |
| C-29 | 診断情報提供（BR-029） | E-06 (find-diagnostics, publish-diagnostics!関数) | ○ |
| C-30 | 未使用公開変数検出（BR-030） | E-06 (diagnostic-types-of-unnecessary-type定義) | ○ |
| C-31 | 診断抑制（BR-031） | E-04 (suppress-diagnostic-actions関数) | ○ |
| C-32 | 依存関係違反検出（BR-032） | E-06 (clj-depend-violations->diagnostics関数) | ○ |
| C-33 | ホバー情報表示（BR-033） | E-09 (hover, hover-documentation関数) | ○ |
| C-34 | Clojuredocs統合（BR-034） | E-09 (clojuredocs->hover-docs関数) | ○ |
| C-35 | コードアクション提供（BR-035） | E-04 (all関数) | ○ |
| C-36 | テスト作成（BR-036） | E-04 (create-test-action関数) | ○ |
| C-37 | マクロ解決（BR-037） | E-04 (resolve-macro-as-action関数) | ○ |
| C-38 | refer :all置換（BR-038） | E-04 (replace-refer-all-actions関数) | ○ |
| C-39 | 参照数表示（BR-039） | E-02 (code-lens, code-lens-resolve関数) | ○ |
| C-40 | セマンティックトークン提供（BR-040） | E-11 (full-tokens, range-tokens関数) | ○ |
| C-41 | ドキュメントシンボル提供（BR-041） | E-02 (document-symbol関数) | ○ |
| C-42 | ドキュメントハイライト（BR-042） | E-02 (document-highlight関数) | ○ |
| C-43 | リンク編集範囲提供（BR-043） | E-02 (linked-editing-ranges関数) | ○ |
| C-44 | 折りたたみ範囲提供（BR-044） | E-02 (folding-range関数) | ○ |
| C-45 | 選択範囲提供（BR-045） | E-02 (selection-range関数) | ○ |
| C-46 | シグネチャヘルプ提供（BR-046） | E-02 (signature-help関数) | ○ |
| C-47 | ファイルリネーム処理（BR-047） | E-02 (will-rename-files, did-rename-files関数) | ○ |
| C-48 | フォーム移動（BR-048） | E-04 (move-form機能の参照) | ○ |
| C-49 | Javaクラス補完（BR-049） | E-03 (with-java-definition-items関数) | ○ |
| C-50 | JDKソース解析（BR-050） | E-02 (retrieve-jdk-source-and-analyze!参照) | ○ |
| C-51 | 依存関係コンテンツ表示（BR-051） | E-02 (dependency-contents関数) | ○ |
| C-52 | スタブ生成（BR-052） | **根拠なし** | △ |
| C-53 | 設定変更反映（BR-053） | E-02 (did-change-configuration関数) | ○ |
| C-54 | プロジェクトダンプ（BR-054） | E-01 (dump関数) | ○ |
| C-55 | カーソル情報取得（BR-055） | E-02 (cursor-info-log, cursor-info-raw関数) | ○ |
| C-56 | サーバー情報取得（BR-056） | E-02 (server-info-log, server-info-raw関数) | ○ |
| C-57 | プロジェクトツリー表示（BR-057） | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **スタブ生成（BR-052）**：`stubs.clj`ファイルの詳細な実装を確認していないため、機能の詳細仕様が不明
  - 候補：lib/src/clojure_lsp/feature/stubs.clj / 設定ファイル / ドキュメント
- **プロジェクトツリー表示（BR-057）**：`project_tree.clj`ファイルの詳細な実装を確認していないため、ツリー構造の仕様が不明
  - 候補：lib/src/clojure_lsp/feature/project_tree.clj / VSCode拡張機能仕様 / クライアント実装

## 5) リスクフラグ（レビュー観点）
- 0（低リスク）：BR-052、BR-057は実装ファイルが存在し、handlers.cljから参照されているため、機能自体は存在する。詳細仕様の確認のみ必要。
- 1（中リスク）：Java相互運用機能（BR-049、BR-050、BR-051）はJDK環境依存のため、環境によって動作が異なる可能性がある。
- 0（低リスク）：その他の業務要件は全てソースコードから明確に確認できる。

## 6) レビュアーチェックリスト（最小）
- [ ] BR-052（スタブ生成）の詳細仕様を`stubs.clj`で確認する
- [ ] BR-057（プロジェクトツリー）の詳細仕様を`project_tree.clj`で確認する
- [ ] Java相互運用機能が対象環境で正常に動作するか確認する
- [ ] 優先度設定が組織の要件と一致しているか確認する
- [ ] 関連機能のカラムに記載された関数名がソースコードと一致しているか確認する
