---
generated_at: 2026-02-19 10:30:00
metrics:
  claims_total: 32
  claims_with_evidence: 28
  claims_without_evidence: 4
confidence_derived: 0.88
---

# 根拠レポート：データベース設計書

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.88**
  - 根拠あり：28 / 32、根拠なし：4
- 優先レビュー（高）
  1. **グローバルキャッシュの詳細構造**：根拠不足
  2. **Finding構造の完全なフィールド一覧**：根拠不足
  3. **Element共通フィールドの網羅性**：根拠不足
  4. **非同期キャッシュ書き込みの条件**：根拠不足

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

- E-01: `lib/src/clojure_lsp/db.clj`
- E-02: `lib/src/clojure_lsp/dep_graph.clj`
- E-03: `lib/src/clojure_lsp/queries.clj`
- E-04: `lib/src/clojure_lsp/kondo.clj`
- E-05: `lib/src/clojure_lsp/startup.clj`
- E-06: `lib/src/clojure_lsp/config.clj`

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | db*はClojureのatomを使用したインメモリデータストア | E-01 (line 21: `(defonce db* (atom initial-db))`) | ○ |
| C-02 | キャッシュはTransit JSON形式で永続化 | E-01 (line 75-77: `transit/writer`, `transit/write`) | ○ |
| C-03 | キャッシュバージョンは13 | E-01 (line 23: `(def version 13)`) | ○ |
| C-04 | 初期状態は:documents, :dep-graph, :diagnosticsを含む | E-01 (line 15-20: `(def initial-db {...})`) | ○ |
| C-05 | diagnosticsは:clj-kondo, :clj-depend, :built-in, :customを含む | E-01 (line 17-20) | ○ |
| C-06 | ローカルキャッシュパスは`{project}/.lsp/.cache/db.transit.json` | E-01 (line 33-34) | ○ |
| C-07 | グローバルキャッシュパスは`~/.cache/clojure-lsp/db.transit.json` | E-01 (line 36-37), E-06 (line 41-44) | ○ |
| C-08 | SQLiteは廃止されている | E-01 (line 25-26, 39-42: `remove-old-sqlite-db-file!`) | ○ |
| C-09 | Datalevinは廃止されている | E-01 (line 28-31, 44-47: `remove-old-datalevin-db-file!`) | ○ |
| C-10 | dep-graphはマルチセットを使用 | E-02 (line 17-18, 151-173: multiset実装) | ○ |
| C-11 | dep-graphの:dependenciesはマルチセット | E-02 (line 37-44) | ○ |
| C-12 | dep-graphの:dependentsはマルチセット | E-02 (line 46-48) | ○ |
| C-13 | dep-graphの:aliasesはマルチセット | E-02 (line 53-58) | ○ |
| C-14 | dep-graphの:urisはセット | E-02 (line 63-65) | ○ |
| C-15 | dep-graphの:internal?はブール値 | E-02 (line 67-69) | ○ |
| C-16 | documentsは:namespaces, :internal?, :langsを含む | E-02 (line 80-90) | ○ |
| C-17 | analysisはURIをキーとしたマップ | E-03 (line 22-26) | ○ |
| C-18 | analysisは複数のバケットを含む | E-03 (line 98-111) | ○ |
| C-19 | バケットには:var-definitions, :var-usagesなどがある | E-03 (line 107-108) | ○ |
| C-20 | バケットには:namespace-definitions, :namespace-usagesがある | E-03 (line 104-105) | ○ |
| C-21 | バケットには:keyword-definitions, :keyword-usagesがある | E-03 (line 101-102) | ○ |
| C-22 | バケットには:java-class-definitions, :java-class-usagesがある | E-03 (line 98-99) | ○ |
| C-23 | バケットには:locals, :local-usagesがある | E-03 (line 210-214) | ○ |
| C-24 | バケットには:protocol-implsがある | E-03 (line 106) | ○ |
| C-25 | kondo解析結果はnormalize関数で正規化される | E-04 (line 200-248) | ○ |
| C-26 | キャッシュにはproject-hash, settings-hash等が含まれる | E-05 (line 197-209: `build-db-cache`) | ○ |
| C-27 | 大規模キャッシュ書き込み前にGCが実行される | E-01 (line 67-70: `System/gc`) | ○ |
| C-28 | キャッシュ書き込みは非同期で行われることがある | E-05 (line 214-215: `async/go`) | ○ |
| C-29 | グローバルキャッシュの詳細構造 | **根拠なし** | △ |
| C-30 | Finding構造の完全なフィールド一覧 | **根拠なし** | △ |
| C-31 | Element共通フィールドの網羅性 | **根拠なし** | △ |
| C-32 | 非同期キャッシュ書き込みの全条件 | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **グローバルキャッシュの詳細構造**：`read-global-cache`と`upsert-global-cache!`は存在するが、具体的なデータ構造の詳細仕様は明示されていない
  - 候補：テストコード / 実際のキャッシュファイル / ドキュメント
- **Finding構造の完全なフィールド一覧**：clj-kondoからの戻り値に依存しており、clojure-lsp側では明示的なスキーマ定義がない
  - 候補：clj-kondoのドキュメント / clj-kondoソースコード
- **Element共通フィールドの網羅性**：要素タイプによって異なるフィールドが存在する可能性があり、完全な一覧は動的に決定される
  - 候補：clj-kondo analysis出力仕様 / テストデータ
- **非同期キャッシュ書き込みの条件**：`api?`フラグによる分岐は確認できるが、全ての条件は不明
  - 候補：呼び出し元コードの調査

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - db*構造、キャッシュ形式、dep-graph構造は高い信頼度
- 0: 低リスク - 廃止ストレージの情報は明確なコード根拠あり
- 1: 中リスク - Element/Finding構造はclj-kondoに依存しており、バージョンによって変動する可能性
- 1: 中リスク - グローバルキャッシュは使用頻度が低い可能性があり、実装詳細の確認が必要
- 0: 低リスク - マルチセット実装は明確に定義されている

## 6) レビュアーチェックリスト（最小）
- [ ] db.cljのinitial-db定義が設計書と一致しているか確認
- [ ] dep-graph.cljのコメント内スキーマ定義との整合性確認
- [ ] clj-kondoのanalysis出力形式との整合性確認
- [ ] startup.cljのbuild-db-cache関数でキャッシュされるフィールドの確認
- [ ] グローバルキャッシュの実際の使用パターンの確認
