---
generated_at: 2026-02-17 00:00:00
metrics:
  claims_total: 48
  claims_with_evidence: 45
  claims_without_evidence: 3
confidence_derived: 0.94
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.94**
  - 根拠あり：45 / 48、根拠なし：3
- 優先レビュー（高）
  1. **BR-041 並列診断実行**：NUM_THREADS設定の詳細仕様が未確認
  2. **BR-043 サードパーティライブラリ**：meta/3rdディレクトリの完全な内容確認が未実施
  3. **BR-048 進捗報告**：script/progress.luaの詳細実装確認が限定的

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

- E-01: `README.md` - プロジェクト概要とFeatures一覧
- E-02: `script/core/definition.lua` - 定義ジャンプ機能実装
- E-03: `script/core/reference.lua` - 参照検索機能実装
- E-04: `script/core/hover/init.lua` - ホバー情報表示実装
- E-05: `script/core/completion/completion.lua` - コード補完実装
- E-06: `script/core/diagnostics/init.lua` - 診断機能基盤
- E-07: `script/core/rename.lua` - リネーム機能実装
- E-08: `script/core/formatting.lua` - フォーマット機能実装
- E-09: `script/core/hint.lua` - インレイヒント実装
- E-10: `script/core/signature.lua` - シグネチャヘルプ実装
- E-11: `script/core/workspace-symbol.lua` - ワークスペースシンボル検索
- E-12: `script/core/semantic-tokens.lua` - セマンティックトークン実装
- E-13: `script/core/folding.lua` - コードフォールディング実装
- E-14: `script/core/document-symbol.lua` - ドキュメントシンボル実装
- E-15: `script/core/code-action.lua` - コードアクション実装
- E-16: `script/core/type-definition.lua` - 型定義ジャンプ実装
- E-17: `script/core/highlight.lua` - シンボルハイライト実装
- E-18: `script/core/color.lua` - カラー情報実装
- E-19: `script/core/code-lens.lua` - コードレンズ実装
- E-20: `script/core/rangeformatting.lua` - 範囲フォーマット実装
- E-21: `script/core/type-formatting.lua` - 入力時フォーマット実装
- E-22: `script/vm/init.lua` - VM初期化（型推論基盤）
- E-23: `script/vm/infer.lua` - 型推論実装（Grep結果より確認）
- E-24: `script/vm/generic.lua` - ジェネリック型サポート
- E-25: `script/provider/provider.lua` - LSPプロバイダー実装
- E-26: `script/provider/capability.lua` - クライアント能力ネゴシエーション
- E-27: `script/config/init.lua` - 設定管理基盤
- E-28: `script/workspace/init.lua` - ワークスペース管理基盤
- E-29: `script/cli/check.lua` - CLI診断チェック実装
- E-30: `script/library.lua` - 標準ライブラリ管理
- E-31: `script/await.lua` - 非同期処理基盤
- E-32: `script/progress.lua` - 進捗報告機能
- E-33: `locale/ja-jp/` - 日本語ローカライズファイル
- E-34: `script/core/completion/auto-require.lua` - 自動require挿入
- E-35: `script/core/completion/postfix.lua` - Postfix補完
- E-36: `script/core/diagnostics/undefined-global.lua` - 未定義変数診断
- E-37: `script/core/diagnostics/unused-local.lua` - 未使用変数診断
- E-38: `script/core/diagnostics/assign-type-mismatch.lua` - 型不一致診断
- E-39: `script/core/diagnostics/return-type-mismatch.lua` - 戻り値型診断
- E-40: `script/core/diagnostics/unreachable-code.lua` - 到達不能コード診断
- E-41: `script/core/diagnostics/spell-check.lua` - スペルチェック診断

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | BR-001 Luaソースコード解析 | E-01, E-25 | ○ |
| C-02 | BR-002 LuaDocアノテーション解析 | E-01, E-22 | ○ |
| C-03 | BR-003 静的型推論 | E-22, E-23 | ○ |
| C-04 | BR-004 ジェネリック型サポート | E-24 | ○ |
| C-05 | BR-005 定義ジャンプ | E-01, E-02 | ○ |
| C-06 | BR-006 参照検索 | E-01, E-03 | ○ |
| C-07 | BR-007 型定義ジャンプ | E-16 | ○ |
| C-08 | BR-008 ワークスペースシンボル検索 | E-11 | ○ |
| C-09 | BR-009 自動補完 | E-01, E-05 | ○ |
| C-10 | BR-010 自動require挿入 | E-34 | ○ |
| C-11 | BR-011 Postfix補完 | E-35 | ○ |
| C-12 | BR-012 ホバー情報表示 | E-01, E-04 | ○ |
| C-13 | BR-013 関数シグネチャヘルプ | E-10 | ○ |
| C-14 | BR-014 構文エラー検出 | E-01 | ○ |
| C-15 | BR-015 未定義変数警告 | E-01, E-36 | ○ |
| C-16 | BR-016 未使用変数警告 | E-37 | ○ |
| C-17 | BR-017 型不一致警告 | E-38 | ○ |
| C-18 | BR-018 戻り値型検証 | E-39 | ○ |
| C-19 | BR-019 冗長コード検出 | E-40 | ○ |
| C-20 | BR-020 スペルチェック | E-01, E-41 | ○ |
| C-21 | BR-021 診断無効化コントロール | E-06 | ○ |
| C-22 | BR-022 シンボルリネーム | E-01, E-07 | ○ |
| C-23 | BR-023 コードアクション | E-15 | ○ |
| C-24 | BR-024 コードフォーマット | E-01, E-08 | ○ |
| C-25 | BR-025 範囲フォーマット | E-20 | ○ |
| C-26 | BR-026 入力時フォーマット | E-21 | ○ |
| C-27 | BR-027 ドキュメントシンボル | E-14 | ○ |
| C-28 | BR-028 コードフォールディング | E-13 | ○ |
| C-29 | BR-029 セマンティックトークン | E-12 | ○ |
| C-30 | BR-030 インレイヒント | E-09 | ○ |
| C-31 | BR-031 シンボルハイライト | E-17 | ○ |
| C-32 | BR-032 カラー情報 | E-18 | ○ |
| C-33 | BR-033 コードレンズ | E-19 | ○ |
| C-34 | BR-034 マルチルートワークスペース | E-25, E-28 | ○ |
| C-35 | BR-035 ファイル監視 | E-25 | ○ |
| C-36 | BR-036 ライブラリパス設定 | E-01, E-30 | ○ |
| C-37 | BR-037 設定ファイルサポート | E-25, E-27 | ○ |
| C-38 | BR-038 Luaバージョン設定 | E-01, E-30 | ○ |
| C-39 | BR-039 診断設定 | E-06 | ○ |
| C-40 | BR-040 診断チェックCLI | E-29 | ○ |
| C-41 | BR-041 並列診断実行 | **根拠なし** | △ |
| C-42 | BR-042 Lua標準ライブラリ補完 | E-30 | ○ |
| C-43 | BR-043 サードパーティライブラリ | **根拠なし** | △ |
| C-44 | BR-044 UIローカライゼーション | E-01, E-33 | ○ |
| C-45 | BR-045 LSPプロトコル実装 | E-25, E-26 | ○ |
| C-46 | BR-046 クライアント能力ネゴシエーション | E-26 | ○ |
| C-47 | BR-047 非同期処理基盤 | E-31 | ○ |
| C-48 | BR-048 進捗報告 | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- BR-041（並列診断実行）：NUM_THREADSの設定箇所と具体的な並列化実装の詳細確認が必要
  - 候補：`script/cli/check.lua`の詳細解析 / ビルドスクリプト / 環境変数設定
- BR-043（サードパーティライブラリ）：`meta/3rd`ディレクトリの存在と内容の直接確認が必要
  - 候補：`meta/3rd/` / ドキュメントサイト / コミュニティリポジトリ
- BR-048（進捗報告）：`script/progress.lua`の詳細実装と使用箇所の網羅的確認が必要
  - 候補：progress.luaの全文解析 / プロバイダーでの使用箇所

## 5) リスクフラグ（レビュー観点）
- 0（低リスク）：全体的にソースコードと一致しており、LSP仕様に基づく標準的な機能が多い
- 1（中リスク）：並列処理やサードパーティライブラリ連携の詳細仕様については追加確認推奨
- 0（低リスク）：ローカライゼーションについては日本語ファイルの存在を確認済み

## 6) レビュアーチェックリスト（最小）
- [ ] BR-041の並列診断実行について、NUM_THREADS環境変数の動作を実機確認
- [ ] meta/3rdディレクトリの存在と収録ライブラリ一覧を確認
- [ ] script/progress.luaの進捗報告がLSP $/progressプロトコルに準拠しているか確認
- [ ] README.mdのFeatures一覧と業務要件一覧の整合性を最終確認
- [ ] 各診断ルールの命名がソースコードのファイル名と一致しているか確認
