---
generated_at: 2026-02-17 10:30:00
metrics:
  claims_total: 175
  claims_with_evidence: 175
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：provider.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：175 / 175、根拠なし：0
- 優先レビュー（高）
  1. 全テストケースはソースコードから直接抽出されており、根拠あり
  2. LSPプロトコルハンドラのテストケースが多数（provider.lua）
  3. 診断機能（diagnostic.lua）のテストケースが詳細

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

- E-01: `script/provider/provider.lua` - メインプロバイダモジュール（1672行）
- E-02: `script/provider/capability.lua` - LSP機能提供設定（85行）
- E-03: `script/provider/diagnostic.lua` - 診断プロバイダ（728行）
- E-04: `script/provider/markdown.lua` - Markdown生成（164行）
- E-05: `script/provider/formatting.lua` - フォーマット設定（102行）
- E-06: `script/provider/completion.lua` - 補完機能設定（105行）
- E-07: `script/provider/spell.lua` - スペルチェック（52行）
- E-08: `script/provider/inlay-hint.lua` - インレイヒント更新（30行）
- E-09: `script/provider/code-lens.lua` - コードレンズ更新（30行）
- E-10: `script/provider/semantic-tokens.lua` - セマンティックトークン更新（30行）
- E-11: `script/provider/name-style.lua` - 名前スタイルチェック（29行）
- E-12: `script/provider/build-meta.lua` - メタファイル構築（154行）
- E-13: `script/provider/language-configuration.lua` - 言語設定（114行）
- E-14: `script/provider/init.lua` - 初期化エントリポイント（3行）

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

### provider.lua（UT-PRV-001 〜 UT-PRV-075）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | updateConfig - ローカル設定読み込み | E-01 L32-69 | ○ |
| C-02 | updateConfig - クライアント設定読み込み | E-01 L43-51 | ○ |
| C-03 | updateConfig - RC設定読み込み | E-01 L53-58 | ○ |
| C-04 | updateConfig - 設定ファイル不在時 | E-01 L34-41 | ○ |
| C-05 | register - メソッド登録 | E-01 L71-82 | ○ |
| C-06 | register - capability登録 | E-01 L77-79 | ○ |
| C-07 | register - previewフラグ制御 | E-01 L74-76 | ○ |
| C-08 | initialize - client.init呼び出し | E-01 L112-113 | ○ |
| C-09 | initialize - rootUri設定 | E-01 L115-118 | ○ |
| C-10 | initialize - workspaceFolders処理 | E-01 L120-126 | ○ |
| C-11 | initialize - レスポンス生成 | E-01 L128-137 | ○ |
| C-12 | initialized - updateConfig呼び出し | E-01 L145 | ○ |
| C-13 | initialized - dynamicRegistration | E-01 L148-160 | ○ |
| C-14 | exit - os.exit呼び出し | E-01 L167-172 | ○ |
| C-15 | shutdown - trueを返す | E-01 L174-179 | ○ |
| C-16 | textDocument/didOpen - setText | E-01 L278-280 | ○ |
| C-17 | textDocument/didOpen - files.open | E-01 L281 | ○ |
| C-18 | textDocument/didClose - files.close | E-01 L292 | ○ |
| C-19 | textDocument/didClose - 非Luaファイル処理 | E-01 L293-295 | ○ |
| C-20 | textDocument/didChange - テキストマージ | E-01 L313-318 | ○ |
| C-21 | textDocument/didChange - テキスト不在時 | E-01 L306-311 | ○ |
| C-22 | textDocument/hover - ホバー情報 | E-01 L362-384 | ○ |
| C-23 | textDocument/hover - hover.enable無効時 | E-01 L349-351 | ○ |
| C-24 | textDocument/hover - ローディング中 | E-01 L352-360 | ○ |
| C-25 | textDocument/hover - 空結果 | E-01 L369-375 | ○ |
| C-26 | textDocument/definition - 定義位置 | E-01 L426-442 | ○ |
| C-27 | textDocument/definition - state不在 | E-01 L430-432 | ○ |
| C-28 | textDocument/typeDefinition | E-01 L451-467 | ○ |
| C-29 | textDocument/implementation | E-01 L476-493 | ○ |
| C-30 | textDocument/references - 参照一覧 | E-01 L501-527 | ○ |
| C-31 | textDocument/references - 参照なし | E-01 L511-514 | ○ |
| C-32 | textDocument/documentHighlight | E-01 L535-556 | ○ |
| C-33 | textDocument/rename - リネーム編集 | E-01 L567-597 | ○ |
| C-34 | textDocument/rename - 結果なし | E-01 L577-579 | ○ |
| C-35 | textDocument/prepareRename | E-01 L602-618 | ○ |
| C-36 | textDocument/completion - 補完候補 | E-01 L651-729 | ○ |
| C-37 | textDocument/completion - 無効時 | E-01 L625-627 | ○ |
| C-38 | textDocument/completion - 準備中 | E-01 L628-630 | ○ |
| C-39 | textDocument/completion - 特殊トリガー | E-01 L641-647 | ○ |
| C-40 | completionItem/resolve - 詳細解決 | E-01 L746-770 | ○ |
| C-41 | completionItem/resolve - data不在 | E-01 L736-738 | ○ |
| C-42 | textDocument/signatureHelp | E-01 L781-822 | ○ |
| C-43 | textDocument/signatureHelp - 無効時 | E-01 L783-785 | ○ |
| C-44 | textDocument/documentSymbol | E-01 L831-874 | ○ |
| C-45 | textDocument/documentSymbol - 空名前 | E-01 L858-860 | ○ |
| C-46 | textDocument/codeAction | E-01 L891-927 | ○ |
| C-47 | textDocument/codeAction - 結果なし | E-01 L906-908 | ○ |
| C-48 | textDocument/codeLens | E-01 L938-964 | ○ |
| C-49 | textDocument/codeLens - 無効時 | E-01 L940-942 | ○ |
| C-50 | codeLens/resolve | E-01 L969-974 | ○ |
| C-51 | workspace/executeCommand - removeSpace | E-01 L993-995 | ○ |
| C-52 | workspace/executeCommand - solve | E-01 L996-998 | ○ |
| C-53 | workspace/executeCommand - jsonToLua | E-01 L999-1001 | ○ |
| C-54 | workspace/executeCommand - setConfig | E-01 L1002-1004 | ○ |
| C-55 | workspace/executeCommand - getConfig | E-01 L1005-1007 | ○ |
| C-56 | workspace/executeCommand - autoRequire | E-01 L1008-1010 | ○ |
| C-57 | workspace/symbol | E-01 L1029-1065 | ○ |
| C-58 | workspace/symbol - 結果なし | E-01 L1033-1035 | ○ |
| C-59 | textDocument/semanticTokens/range | E-01 L1123-1139 | ○ |
| C-60 | textDocument/foldingRange | E-01 L1147-1180 | ○ |
| C-61 | textDocument/foldingRange - 無効範囲 | E-01 L1170-1176 | ○ |
| C-62 | textDocument/documentColor | E-01 L1188-1207 | ○ |
| C-63 | textDocument/colorPresentation | E-01 L1212-1215 | ○ |
| C-64 | textDocument/formatting | E-01 L1264-1294 | ○ |
| C-65 | textDocument/formatting - 無効時 | E-01 L1272-1274 | ○ |
| C-66 | textDocument/rangeFormatting | E-01 L1302-1332 | ○ |
| C-67 | textDocument/onTypeFormatting | E-01 L1344-1371 | ○ |
| C-68 | textDocument/onTypeFormatting - インデント | E-01 L1359-1367 | ○ |
| C-69 | $/cancelRequest | E-01 L1375-1377 | ○ |
| C-70 | textDocument/inlayHint | E-01 L1414-1453 | ○ |
| C-71 | textDocument/inlayHint - 無効時 | E-01 L1416-1418 | ○ |
| C-72 | textDocument/diagnostic | E-01 L1478-1506 | ○ |
| C-73 | convertDefinitionResult - locationLink | E-01 L395-400 | ○ |
| C-74 | convertDefinitionResult - location | E-01 L401-404 | ○ |
| C-75 | toArray | E-01 L1068-1077 | ○ |

### capability.lua（UT-PRV-076 〜 UT-PRV-081）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-76 | getProvider - プロバイダ取得 | E-02 L48-74 | ○ |
| C-77 | getProvider - 静的completion | E-02 L61-67 | ○ |
| C-78 | filling - fillings追加 | E-02 L76-78 | ○ |
| C-79 | resolve - resolvedMap設定 | E-02 L80-82 | ○ |
| C-80 | mergeFillings | E-02 L15-30 | ○ |
| C-81 | resolve(internal) - テンプレート解決 | E-02 L32-46 | ○ |

### diagnostic.lua（UT-PRV-082 〜 UT-PRV-119）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-82 | clear - キャッシュクリア | E-03 L161-172 | ○ |
| C-83 | clear - publishDiagnostics通知 | E-03 L167-170 | ○ |
| C-84 | clear - キャッシュなし時 | E-03 L163-165 | ○ |
| C-85 | clearCacheExcept | E-03 L174-184 | ○ |
| C-86 | clearAll - 全クリア | E-03 L188-206 | ○ |
| C-87 | clearAll - スコープ限定 | E-03 L189-202 | ○ |
| C-88 | syntaxErrors - 変換 | E-03 L208-227 | ○ |
| C-89 | syntaxErrors - エラーなし | E-03 L209-211 | ○ |
| C-90 | syntaxErrors - 無効化診断 | E-03 L216-223 | ○ |
| C-91 | doDiagnostic - 実行 | E-03 L281-358 | ○ |
| C-92 | doDiagnostic - 無効時 | E-03 L282-284 (isValid) | ○ |
| C-93 | doDiagnostic - state不在 | E-03 L288-292 | ○ |
| C-94 | resendDiagnostic | E-03 L361-380 | ○ |
| C-95 | resendDiagnostic - キャッシュなし | E-03 L362-365 | ○ |
| C-96 | pullDiagnostic | E-03 L385-416 | ○ |
| C-97 | pullDiagnostic - unchanged | E-03 L409-410 | ○ |
| C-98 | stopScopeDiag | E-03 L419-423 | ○ |
| C-99 | refreshScopeDiag - 更新 | E-03 L427-447 | ○ |
| C-100 | refreshScopeDiag - イベント不一致 | E-03 L433-436 | ○ |
| C-101 | refresh | E-03 L450-464 | ○ |
| C-102 | refresh - 準備中 | E-03 L451-453 | ○ |
| C-103 | diagnosticsScope - スコープ診断 | E-03 L581-601 | ○ |
| C-104 | diagnosticsScope - 無効時クリア | E-03 L585-587 | ○ |
| C-105 | diagnosticsScope - 遅延無効 | E-03 L589-591 | ○ |
| C-106 | isPaused - true | E-03 L659-661 | ○ |
| C-107 | isPaused - false | E-03 L659-661 | ○ |
| C-108 | pause | E-03 L663-665 | ○ |
| C-109 | resume | E-03 L667-669 | ○ |
| C-110 | refreshClient | E-03 L647-656 | ○ |
| C-111 | refreshClient - 未準備 | E-03 L648-650 | ○ |
| C-112 | buildSyntaxError | E-03 L36-84 | ○ |
| C-113 | buildSyntaxError - バージョン | E-03 L44-50 | ○ |
| C-114 | buildSyntaxError - 関連情報 | E-03 L52-72 | ○ |
| C-115 | buildDiagnostic | E-03 L86-123 | ○ |
| C-116 | buildDiagnostic - state不在 | E-03 L87-90 | ○ |
| C-117 | mergeDiags - マージ | E-03 L125-158 | ○ |
| C-118 | mergeDiags - 全nil | E-03 L126-128 | ○ |
| C-119 | mergeDiags - 診断数制限 | E-03 L138-142 | ○ |

### markdown.lua（UT-PRV-120 〜 UT-PRV-130）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-120 | add - テキスト追加 | E-04 L44-63 | ○ |
| C-121 | add - nil追加時 | E-04 L45-47 | ○ |
| C-122 | add - markdownネスト | E-04 L49-53 | ○ |
| C-123 | splitLine | E-04 L65-71 | ○ |
| C-124 | emptyLine | E-04 L73-79 | ○ |
| C-125 | string - 変換 | E-04 L82-159 | ○ |
| C-126 | string - キャッシュ | E-04 L83-85 | ○ |
| C-127 | string - コードブロック | E-04 L113-122 | ○ |
| C-128 | __tostring | E-04 L38-40 | ○ |
| C-129 | processSymbolReferences - 変換 | E-04 L13-36 | ○ |
| C-130 | processSymbolReferences - シンボル不在 | E-04 L24-27 | ○ |

### formatting.lua（UT-PRV-131 〜 UT-PRV-135）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-131 | updateConfig - 初回読み込み | E-05 L41-46 | ○ |
| C-132 | updateConfig - スキップ | E-05 L42-43 | ○ |
| C-133 | updateConfig - editorconfig | E-05 L56-64 | ○ |
| C-134 | updateNonStandardSymbols - //設定 | E-05 L79-91 | ○ |
| C-135 | updateNonStandardSymbols - nil | E-05 L80-82 | ○ |

### completion.lua（UT-PRV-136 〜 UT-PRV-143）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-136 | allWords - トリガー文字 | E-06 L9-30 | ○ |
| C-137 | allWords - postfix | E-06 L18-22 | ○ |
| C-138 | allWords - separator | E-06 L23-27 | ○ |
| C-139 | enable | E-06 L32-56 | ○ |
| C-140 | enable - 既有効時 | E-06 L33-35 | ○ |
| C-141 | enable - 動的登録不可 | E-06 L36-40 | ○ |
| C-142 | disable | E-06 L58-78 | ○ |
| C-143 | disable - 既無効時 | E-06 L59-61 | ○ |

### spell.lua（UT-PRV-144 〜 UT-PRV-151）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-144 | loadDictionaryFromFile | E-07 L12-14 | ○ |
| C-145 | loadDictionaryFromBuffer | E-07 L16-18 | ○ |
| C-146 | addWord | E-07 L20-22 | ○ |
| C-147 | spellCheck | E-07 L24-33 | ○ |
| C-148 | spellCheck - 辞書初期化 | E-07 L25-28 | ○ |
| C-149 | getSpellSuggest | E-07 L35-40 | ○ |
| C-150 | getSpellSuggest - 失敗時 | E-07 L36-39 | ○ |
| C-151 | initDictionary | E-07 L42-49 | ○ |

### inlay-hint.lua（UT-PRV-152 〜 UT-PRV-154）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-152 | refresh | E-08 L6-15 | ○ |
| C-153 | refresh - クライアント未準備 | E-08 L7-9 | ○ |
| C-154 | refresh - サポートなし | E-08 L10-12 | ○ |

### code-lens.lua（UT-PRV-155 〜 UT-PRV-156）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-155 | refresh | E-09 L6-15 | ○ |
| C-156 | refresh - クライアント未準備 | E-09 L7-9 | ○ |

### semantic-tokens.lua（UT-PRV-157 〜 UT-PRV-158）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-157 | refresh | E-10 L6-15 | ○ |
| C-158 | refresh - クライアント未準備 | E-10 L7-9 | ○ |

### name-style.lua（UT-PRV-159 〜 UT-PRV-160）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-159 | nameStyleCheck | E-11 L12-20 | ○ |
| C-160 | nameStyleCheck - 設定初期化 | E-11 L13-17 | ○ |

### build-meta.lua（UT-PRV-161 〜 UT-PRV-171）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-161 | build - メタファイル生成 | E-12 L130-151 | ○ |
| C-162 | build - クラス変換 | E-12 L139-146 | ○ |
| C-163 | mergeString | E-12 L39-48 | ○ |
| C-164 | mergeString - 空文字列 | E-12 L43-45 | ○ |
| C-165 | addComments | E-12 L50-57 | ○ |
| C-166 | addComments - 空コメント | E-12 L51-53 | ○ |
| C-167 | addMethod | E-12 L62-84 | ○ |
| C-168 | addMethod - 不正メソッド名 | E-12 L63-65 | ○ |
| C-169 | buildText | E-12 L89-116 | ○ |
| C-170 | buildText - 継承 | E-12 L94-98 | ○ |
| C-171 | buildRootText | E-12 L118-125 | ○ |

### language-configuration.lua（UT-PRV-172 〜 UT-PRV-175）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-172 | make - 言語設定 | E-13 L105-111 | ○ |
| C-173 | make - アノテーション補完 | E-13 L107-109 | ○ |
| C-174 | make - autoClosingPairs | E-13 L30-41 | ○ |
| C-175 | make - onEnterRules | E-13 L42-65 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし
  - すべてのテストケースはソースコードから直接抽出され、根拠が存在する

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースに明確な根拠あり
- 注意点:
  - provider.luaは1672行と大規模なため、テストケースの網羅性を確認すること
  - 外部依存（code_format、bee.filesystem等）を使用するモジュールはモック化が必要
  - 非同期処理（async関数）のテストは適切なテストフレームワークを使用すること

## 6) レビュアーチェックリスト（最小）
- [ ] provider.luaの主要LSPメソッド（initialize, hover, completion, definition等）のテストケースが網羅されているか
- [ ] diagnostic.luaの診断生成・クリア・更新フローが適切にテストされているか
- [ ] 各モジュールの正常系・異常系・境界値テストが含まれているか
- [ ] 外部依存モジュール（code_format等）を使用する関数のモック方針が明確か
- [ ] 非同期処理のテスト方針が明確か
- [ ] 設定変更時のwatchコールバックのテストが考慮されているか
