---
generated_at: 2026-02-17 20:55:00
metrics:
  claims_total: 45
  claims_with_evidence: 45
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：画面一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：45 / 45、根拠なし：0
- 優先レビュー（高）
  - 全ての主張に根拠が存在するため、特別な優先レビュー項目はありません

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

- E-01: `script/provider/provider.lua` - LSPメソッドのメイン登録ファイル（1672行）
- E-02: `script/cli/init.lua` - CLIモードのエントリーポイント（35行）
- E-03: `script/cli/help.lua` - CLIヘルプ定義（171行）
- E-04: `script/cli/check.lua` - 診断チェックCLI（121行）
- E-05: `script/cli/check_worker.lua` - 診断ワーカー
- E-06: `script/cli/doc/init.lua` - ドキュメント生成CLI
- E-07: `script/cli/visualize.lua` - AST可視化CLI（107行）
- E-08: `script/core/command/removeSpace.lua` - 空白削除コマンド
- E-09: `script/core/command/solve.lua` - 問題解決コマンド
- E-10: `script/core/command/jsonToLua.lua` - JSON変換コマンド
- E-11: `script/core/command/setConfig.lua` - 設定変更コマンド
- E-12: `script/core/command/getConfig.lua` - 設定取得コマンド
- E-13: `script/core/command/autoRequire.lua` - 自動requireコマンド
- E-14: `script/core/command/exportDocument.lua` - ドキュメント出力コマンド
- E-15: `script/core/command/reloadFFIMeta.lua` - FFIメタデータ再読込コマンド
- E-16: `README.md` - プロジェクト概要（104行）

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | ホバー情報表示（textDocument/hover）の存在 | E-01 (L340-385) | ○ |
| C-02 | コード補完（textDocument/completion）の存在 | E-01 (L621-730) | ○ |
| C-03 | 補完アイテム詳細（completionItem/resolve）の存在 | E-01 (L732-771) | ○ |
| C-04 | シグネチャヘルプ（textDocument/signatureHelp）の存在 | E-01 (L773-823) | ○ |
| C-05 | 定義へ移動（textDocument/definition）の存在 | E-01 (L420-443) | ○ |
| C-06 | 型定義へ移動（textDocument/typeDefinition）の存在 | E-01 (L445-468) | ○ |
| C-07 | 実装へ移動（textDocument/implementation）の存在 | E-01 (L470-493) | ○ |
| C-08 | 参照検索（textDocument/references）の存在 | E-01 (L495-528) | ○ |
| C-09 | ドキュメントハイライト（textDocument/documentHighlight）の存在 | E-01 (L530-557) | ○ |
| C-10 | 名前変更（textDocument/rename）の存在 | E-01 (L559-598) | ○ |
| C-11 | 名前変更準備（textDocument/prepareRename）の存在 | E-01 (L600-619) | ○ |
| C-12 | ドキュメントシンボル（textDocument/documentSymbol）の存在 | E-01 (L825-875) | ○ |
| C-13 | ワークスペースシンボル（workspace/symbol）の存在 | E-01 (L1023-1066) | ○ |
| C-14 | コードアクション（textDocument/codeAction）の存在 | E-01 (L877-928) | ○ |
| C-15 | コードレンズ（textDocument/codeLens）の存在 | E-01 (L930-965) | ○ |
| C-16 | コードレンズ詳細（codeLens/resolve）の存在 | E-01 (L967-975) | ○ |
| C-17 | セマンティックトークン（full）の存在 | E-01 (L1082-1106) | ○ |
| C-18 | セマンティックトークン（range）の存在 | E-01 (L1111-1140) | ○ |
| C-19 | 折りたたみ範囲（textDocument/foldingRange）の存在 | E-01 (L1142-1181) | ○ |
| C-20 | カラー表示（textDocument/documentColor）の存在 | E-01 (L1183-1209) | ○ |
| C-21 | カラープレゼンテーション（textDocument/colorPresentation）の存在 | E-01 (L1211-1216) | ○ |
| C-22 | フォーマット（textDocument/formatting）の存在 | E-01 (L1259-1295) | ○ |
| C-23 | 範囲フォーマット（textDocument/rangeFormatting）の存在 | E-01 (L1297-1333) | ○ |
| C-24 | 入力時フォーマット（textDocument/onTypeFormatting）の存在 | E-01 (L1335-1372) | ○ |
| C-25 | インレイヒント（textDocument/inlayHint）の存在 | E-01 (L1407-1454) | ○ |
| C-26 | 診断情報（textDocument/diagnostic）の存在 | E-01 (L1468-1507) | ○ |
| C-27 | ワークスペース診断（workspace/diagnostic）の存在 | E-01 (L1509-1554) | ○ |
| C-28 | 空白削除コマンド（lua.removeSpace）の存在 | E-01 (L993-995), E-08 | ○ |
| C-29 | 問題解決コマンド（lua.solve）の存在 | E-01 (L996-998), E-09 | ○ |
| C-30 | JSON to Lua変換コマンド（lua.jsonToLua）の存在 | E-01 (L999-1001), E-10 | ○ |
| C-31 | 設定変更コマンド（lua.setConfig）の存在 | E-01 (L1002-1004), E-11 | ○ |
| C-32 | 設定取得コマンド（lua.getConfig）の存在 | E-01 (L1005-1007), E-12 | ○ |
| C-33 | 自動requireコマンド（lua.autoRequire）の存在 | E-01 (L1008-1010), E-13 | ○ |
| C-34 | ドキュメント出力コマンド（lua.exportDocument）の存在 | E-01 (L1011-1013), E-14 | ○ |
| C-35 | FFIメタデータ再読込コマンド（lua.reloadFFIMeta）の存在 | E-01 (L1014-1018), E-15 | ○ |
| C-36 | CLIヘルプ表示（--help）の存在 | E-02 (L1-4), E-03 | ○ |
| C-37 | CLIバージョン表示（--version）の存在 | E-02 (L6-9), E-03 (L47-52) | ○ |
| C-38 | CLI診断チェック（--check）の存在 | E-02 (L11-14), E-04 | ○ |
| C-39 | CLI診断ワーカー（--check_worker）の存在 | E-02 (L16-19), E-05 | ○ |
| C-40 | CLIドキュメント生成（--doc）の存在 | E-02 (L21-28), E-06 | ○ |
| C-41 | CLI AST可視化（--visualize）の存在 | E-02 (L31-34), E-07 | ○ |
| C-42 | PSIビュー（$/psi/view）の存在 | E-01 (L1585-1598) | ○ |
| C-43 | PSI選択（$/psi/select）の存在 | E-01 (L1600-1613) | ○ |
| C-44 | ステータスクリック（$/status/click）の存在 | E-01 (L1225-1257) | ○ |
| C-45 | APIレポート（$/api/report）の存在 | E-01 (L1556-1583) | ○ |

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

- なし
  - 全ての画面（機能）は対応するソースコードファイルから直接確認されています

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

- 0: 低リスク - 全ての主張がソースコードから直接確認されています

**注意事項:**
- 本プロジェクトはGUI画面を持たないLSPサーバーであるため、「画面」はLSPメソッドおよびCLIコマンドとして解釈しています
- ユーザーが実際に目にするUIはエディタ（VS Code等）側で提供されます

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

- [ ] LSPメソッドの分類（LSP機能/LSPコマンド/CLI/LSP内部）は適切か
- [ ] 各機能の説明は実装と一致しているか
- [ ] 設定オプション（config:）の記載は正確か
- [ ] 「画面」という概念の解釈（LSPメソッド/CLI）は要件に合致しているか
