---
generated_at: 2026-02-19 10:35:00
metrics:
  claims_total: 25
  claims_with_evidence: 25
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：13-textDocument-publishDiagnostics

## 本レポートについて

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

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

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

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

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

---

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

## 2) 参照した情報（Evidence一覧）

- E-01: `cli/src/clojure_lsp/server.clj` 131-137行目 - publish-diagnostic実装
- E-02: `cli/src/clojure_lsp/server.clj` 597-622行目 - spawn-async-tasks!
- E-03: `cli/src/clojure_lsp/server.clj` 42行目 - diagnostics-debounce-ms定数（25ms）
- E-04: `lib/src/clojure_lsp/feature/diagnostics.clj` 14-25行目 - diagnostic-types-of-unnecessary-type
- E-05: `lib/src/clojure_lsp/feature/diagnostics.clj` 36-64行目 - kondo-finding->diagnostic
- E-06: `lib/src/clojure_lsp/feature/diagnostics.clj` 95-107行目 - clj-depend-violations->diagnostics
- E-07: `lib/src/clojure_lsp/feature/diagnostics.clj` 115-129行目 - find-diagnostics
- E-08: `lib/src/clojure_lsp/feature/diagnostics.clj` 145-146行目 - publish-diagnostics!
- E-09: `lib/src/clojure_lsp/feature/file_management.clj` 40-61行目 - did-open
- E-10: `lib/src/clojure_lsp/feature/file_management.clj` 255-281行目 - analyze-changes
- E-11: `lib/src/clojure_lsp/handlers.clj` 187-188行目 - 初期化時の一括診断

## 3) Claims と根拠の対応（レビューの主戦場）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | メソッド名はtextDocument/publishDiagnostics | E-01 | ○ |
| C-02 | サーバーからクライアントへの通知 | E-01 | ○ |
| C-03 | デバウンス間隔は25ms | E-03 | ○ |
| C-04 | core.asyncチャンネル経由で送信 | E-02, E-08 | ○ |
| C-05 | debounce-byでURIごとにデバウンス | E-02 | ○ |
| C-06 | find-diagnosticsで診断収集 | E-07 | ○ |
| C-07 | clj-kondo診断を収集 | E-05, E-07 | ○ |
| C-08 | clj-depend診断を収集 | E-06, E-07 | ○ |
| C-09 | built-in診断を収集 | E-07 | ○ |
| C-10 | custom診断を収集 | E-07 | ○ |
| C-11 | JARファイルは空配列を返却 | E-07 | ○ |
| C-12 | kondo-levelがoffでスキップ | E-07 | ○ |
| C-13 | depend-levelがoffでスキップ | E-07 | ○ |
| C-14 | タグ1はUnnecessary | E-04, E-05 | ○ |
| C-15 | タグ2はDeprecated | E-04, E-05 | ○ |
| C-16 | didOpenで診断送信 | E-09 | ○ |
| C-17 | didChange後に診断送信 | E-10 | ○ |
| C-18 | didChangeWatchedFilesで診断送信 | E-02 | ○ |
| C-19 | 初期化後に一括診断 | E-11 | ○ |
| C-20 | sourceはclj-kondo/clojure-lsp/clj-depend | E-05, E-06 | ○ |
| C-21 | conform-or-logで検証 | E-01 | ○ |
| C-22 | send-notificationで送信 | E-01 | ○ |
| C-23 | 無効なfindingはフィルタリング | E-05 | ○ |
| C-24 | ns-exclude-regex一致で除外 | E-05 | ○ |
| C-25 | range-type設定で範囲計算 | E-05 | ○ |

## 4) 不足情報（Unknown / Missing）

- なし

## 5) リスクフラグ（レビュー観点）

- 0: 低リスク - すべての主張がソースコードで確認可能

## 6) レビュアーチェックリスト（最小）

- [ ] server.clj 131-137行目のpublish-diagnostic実装を確認
- [ ] diagnostics.clj 115-129行目のfind-diagnostics関数を確認
- [ ] diagnostics.clj 36-64行目のkondo-finding->diagnostic変換を確認
- [ ] file_management.clj 40-61行目のdid-open時の診断送信を確認
