---
generated_at: 2026-02-17 12:00:00
metrics:
  claims_total: 101
  claims_with_evidence: 101
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：core-diagnostics.csv

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：101 / 101、根拠なし：0
- 優先レビュー（高）
  1. **特になし**：全てのテストケースはソースコードに基づいて生成
  2. **パフォーマンス関連テスト（UT-DIA-001〜003）**：実際のスリープ動作は環境依存
  3. **外部モジュール依存テスト（UT-DIA-054〜055, 080〜081）**：spell, code_formatモジュールに依存

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

- E-01: `script/core/diagnostics/init.lua` - 診断メインモジュール（checkSleep, getSeverity, getStatus, check, buildDiagList, メイン関数）
- E-02: `script/core/diagnostics/helper/missing-doc-helper.lua` - ドキュメント不足ヘルパー（findParam, findReturn, CheckFunction）
- E-03: `script/core/diagnostics/undefined-global.lua` - 未定義グローバル診断
- E-04: `script/core/diagnostics/unused-local.lua` - 未使用ローカル変数診断（hasGet, isMyTable, isToBeClosed, isDocClass, isDeclareFunctionParam）
- E-05: `script/core/diagnostics/deprecated.lua` - 非推奨シンボル診断
- E-06: `script/core/diagnostics/assign-type-mismatch.lua` - 代入型不一致診断（hasMarkType, hasMarkClass）
- E-07: `script/core/diagnostics/missing-parameter.lua` - パラメータ不足診断
- E-08: `script/core/diagnostics/return-type-mismatch.lua` - 戻り値型不一致診断（getDocReturns, checkReturn）
- E-09: `script/core/diagnostics/duplicate-index.lua` - 重複インデックス診断
- E-10: `script/core/diagnostics/spell-check.lua` - スペルチェック診断
- E-11: `script/core/diagnostics/unreachable-code.lua` - 到達不能コード診断（allLiteral, hasReturn）
- E-12: `script/core/diagnostics/param-type-mismatch.lua` - パラメータ型不一致診断（expandGenerics, getReceiverGenericMap, getDefNode, getRawDefNode）
- E-13: `script/core/diagnostics/missing-return.lua` - return不足診断（hasReturn）
- E-14: `script/core/diagnostics/empty-block.lua` - 空ブロック診断
- E-15: `script/core/diagnostics/redefined-local.lua` - ローカル変数再定義診断
- E-16: `script/core/diagnostics/trailing-space.lua` - 行末スペース診断
- E-17: `script/core/diagnostics/undefined-field.lua` - 未定義フィールド診断（checkUndefinedField, checkUndefinedFieldByIndexEnum）
- E-18: `script/core/diagnostics/newline-call.lua` - 改行後括弧診断
- E-19: `script/core/diagnostics/codestyle-check.lua` - コードスタイル診断
- E-20: `script/core/diagnostics/ambiguity-1.lua` - 曖昧演算子診断
- E-21: `script/core/diagnostics/need-check-nil.lua` - nilチェック必要診断
- E-22: `script/core/diagnostics/count-down-loop.lua` - カウントダウンループ診断
- E-23: `script/core/diagnostics/invisible.lua` - 可視性違反診断
- E-24: `script/core/diagnostics/missing-fields.lua` - 必須フィールド不足診断
- E-25: `script/core/diagnostics/discard-returns.lua` - 戻り値破棄診断
- E-26: `script/core/diagnostics/unbalanced-assignments.lua` - 不均衡代入診断
- E-27: `script/core/diagnostics/lowercase-global.lua` - 小文字グローバル診断（isDocClass, isGlobalRegex）
- E-28: `script/core/diagnostics/circle-doc-class.lua` - 循環クラス継承診断

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UT-DIA-001: checkSleep関数のスリープ実行テスト | E-01 (init.lua:12-32) | ○ |
| C-02 | UT-DIA-002: speedRate=0の境界値テスト | E-01 (init.lua:14-16) | ○ |
| C-03 | UT-DIA-003: speedRate=100の境界値テスト | E-01 (init.lua:14-16) | ○ |
| C-04 | UT-DIA-004: getSeverity関数の重要度取得テスト | E-01 (init.lua:37-61) | ○ |
| C-05 | UT-DIA-005: !付き重要度の優先テスト | E-01 (init.lua:40-42) | ○ |
| C-06 | UT-DIA-006: グループ重要度適用テスト | E-01 (init.lua:43-59) | ○ |
| C-07 | UT-DIA-007: getStatus関数のステータス取得テスト | E-01 (init.lua:66-90) | ○ |
| C-08 | UT-DIA-008: !付きステータスの優先テスト | E-01 (init.lua:69-71) | ○ |
| C-09 | UT-DIA-009: check関数の診断実行テスト | E-01 (init.lua:99-146) | ○ |
| C-10 | UT-DIA-010: 無効化診断のスキップテスト | E-01 (init.lua:100-103) | ○ |
| C-11 | UT-DIA-011: Noneステータスのスキップテスト | E-01 (init.lua:107-109) | ○ |
| C-12 | UT-DIA-012: Openedステータスの閉ファイルスキップテスト | E-01 (init.lua:111-113) | ○ |
| C-13 | UT-DIA-013: 重複診断結果フィルタリングテスト | E-01 (init.lua:126-129) | ○ |
| C-14 | UT-DIA-014: 負のstart位置スキップテスト | E-01 (init.lua:123-125) | ○ |
| C-15 | UT-DIA-015: buildDiagList関数のソートテスト | E-01 (init.lua:151-164) | ○ |
| C-16 | UT-DIA-016: メイン関数の診断実行テスト | E-01 (init.lua:172-191) | ○ |
| C-17 | UT-DIA-017: ASTなし時のnil返却テスト | E-01 (init.lua:173-176) | ○ |
| C-18 | UT-DIA-018: findParam関数のパラメータ検索テスト | E-02 (missing-doc-helper.lua:5-19) | ○ |
| C-19 | UT-DIA-019: findParam関数のnilハンドリングテスト | E-02 (missing-doc-helper.lua:6-8) | ○ |
| C-20 | UT-DIA-020: findParam関数の空配列ハンドリングテスト | E-02 (missing-doc-helper.lua:10-17) | ○ |
| C-21 | UT-DIA-021: findReturn関数の戻り値検索テスト | E-02 (missing-doc-helper.lua:21-37) | ○ |
| C-22 | UT-DIA-022: findReturn関数のnilハンドリングテスト | E-02 (missing-doc-helper.lua:22-24) | ○ |
| C-23 | UT-DIA-023: checkFunction関数のドキュメント不足検出テスト | E-02 (missing-doc-helper.lua:39-80) | ○ |
| C-24 | UT-DIA-024: selfパラメータの除外テスト | E-02 (missing-doc-helper.lua:54) | ○ |
| C-25 | UT-DIA-025: _パラメータの除外テスト | E-02 (missing-doc-helper.lua:55) | ○ |
| C-26 | UT-DIA-026: 未定義グローバル検出テスト | E-03 (undefined-global.lua:21-36) | ○ |
| C-27 | UT-DIA-027: stateがnilの場合のreturnテスト | E-03 (undefined-global.lua:15-18) | ○ |
| C-28 | UT-DIA-028: require類似関数の追加メッセージテスト | E-03 (undefined-global.lua:6-11, 25-27) | ○ |
| C-29 | UT-DIA-029: hasGet関数の参照検出テスト | E-04 (unused-local.lua:9-34) | ○ |
| C-30 | UT-DIA-030: hasGet関数の未参照検出テスト | E-04 (unused-local.lua:10-12) | ○ |
| C-31 | UT-DIA-031: hasGet関数の弱参照検出テスト | E-04 (unused-local.lua:19-26) | ○ |
| C-32 | UT-DIA-032: isMyTable関数のテーブル判定テスト | E-04 (unused-local.lua:36-42) | ○ |
| C-33 | UT-DIA-033: isToBeClosed関数のclose属性判定テスト | E-04 (unused-local.lua:44-54) | ○ |
| C-34 | UT-DIA-034: isDocClass関数のクラス定義判定テスト | E-04 (unused-local.lua:56-66) | ○ |
| C-35 | UT-DIA-035: isDeclareFunctionParam関数のパラメータ判定テスト | E-04 (unused-local.lua:69-75) | ○ |
| C-36 | UT-DIA-036: 未使用ローカル変数検出テスト | E-04 (unused-local.lua:77-129) | ○ |
| C-37 | UT-DIA-037: _変数の除外テスト | E-04 (unused-local.lua:88-89) | ○ |
| C-38 | UT-DIA-038: 除外パターンテスト | E-04 (unused-local.lua:84-85, 92-94) | ○ |
| C-39 | UT-DIA-039: 非推奨シンボル検出テスト | E-05 (deprecated.lua:21-81) | ○ |
| C-40 | UT-DIA-040: バージョン制限シンボル検出テスト | E-05 (deprecated.lua:46-65) | ○ |
| C-41 | UT-DIA-041: 非推奨コメント含有テスト | E-05 (deprecated.lua:66-69) | ○ |
| C-42 | UT-DIA-042: hasMarkType関数のテスト | E-06 (assign-type-mismatch.lua:21-32) | ○ |
| C-43 | UT-DIA-043: hasMarkClass関数のテスト | E-06 (assign-type-mismatch.lua:35-46) | ○ |
| C-44 | UT-DIA-044: 代入型不一致検出テスト | E-06 (assign-type-mismatch.lua:49-121) | ○ |
| C-45 | UT-DIA-045: 型マーク付きnil代入スキップテスト | E-06 (assign-type-mismatch.lua:69-82) | ○ |
| C-46 | UT-DIA-046: パラメータ不足検出テスト | E-07 (missing-parameter.lua:15-31) | ○ |
| C-47 | UT-DIA-047: 十分な引数の確認テスト | E-07 (missing-parameter.lua:22-24) | ○ |
| C-48 | UT-DIA-048: getDocReturns関数のテスト | E-08 (return-type-mismatch.lua:10-42) | ○ |
| C-49 | UT-DIA-049: getDocReturns関数のnilテスト | E-08 (return-type-mismatch.lua:38-40) | ○ |
| C-50 | UT-DIA-050: checkReturn関数のテスト | E-08 (return-type-mismatch.lua:52-77) | ○ |
| C-51 | UT-DIA-051: 戻り値なし関数のスキップテスト | E-08 (return-type-mismatch.lua:80-83) | ○ |
| C-52 | UT-DIA-052: 重複インデックス検出テスト | E-09 (duplicate-index.lua:14-65) | ○ |
| C-53 | UT-DIA-053: 重複なし確認テスト | E-09 (duplicate-index.lua:32) | ○ |
| C-54 | UT-DIA-054: スペルチェックテスト | E-10 (spell-check.lua:8-35) | ○ |
| C-55 | UT-DIA-055: スペルチェック失敗ログテスト | E-10 (spell-check.lua:17-22) | ○ |
| C-56 | UT-DIA-056: allLiteral関数のテスト | E-11 (unreachable-code.lua:10-21) | ○ |
| C-57 | UT-DIA-057: hasReturn関数のreturn検出テスト | E-11 (unreachable-code.lua:24-57) | ○ |
| C-58 | UT-DIA-058: hasReturn関数のif分岐テスト | E-11 (unreachable-code.lua:29-40) | ○ |
| C-59 | UT-DIA-059: 到達不能コード検出テスト | E-11 (unreachable-code.lua:60-84) | ○ |
| C-60 | UT-DIA-060: expandGenerics関数のテスト | E-12 (param-type-mismatch.lua:9-39) | ○ |
| C-61 | UT-DIA-061: getReceiverGenericMap関数のテスト | E-12 (param-type-mismatch.lua:44-67) | ○ |
| C-62 | UT-DIA-062: getDefNode関数のテスト | E-12 (param-type-mismatch.lua:73-109) | ○ |
| C-63 | UT-DIA-063: パラメータ型不一致検出テスト | E-12 (param-type-mismatch.lua:129-176) | ○ |
| C-64 | UT-DIA-064: hasReturn関数のreturn存在確認テスト | E-13 (missing-return.lua:9-39) | ○ |
| C-65 | UT-DIA-065: hasReturn関数の無限ループ検出テスト | E-13 (missing-return.lua:25-29) | ○ |
| C-66 | UT-DIA-066: return不足検出テスト | E-13 (missing-return.lua:42-76) | ○ |
| C-67 | UT-DIA-067: 空ifブロック検出テスト | E-14 (empty-block.lua:17-29) | ○ |
| C-68 | UT-DIA-068: 空forループ検出テスト | E-14 (empty-block.lua:31-41) | ○ |
| C-69 | UT-DIA-069: 空for-inループ検出テスト | E-14 (empty-block.lua:43-53) | ○ |
| C-70 | UT-DIA-070: ローカル変数再定義検出テスト | E-15 (redefined-local.lua:7-37) | ○ |
| C-71 | UT-DIA-071: _変数の除外テスト | E-15 (redefined-local.lua:15-18) | ○ |
| C-72 | UT-DIA-072: 行末スペース検出テスト | E-16 (trailing-space.lua:44-49) | ○ |
| C-73 | UT-DIA-073: 空白のみの行検出テスト | E-16 (trailing-space.lua:38-43) | ○ |
| C-74 | UT-DIA-074: 文字列内空白除外テスト | E-16 (trailing-space.lua:25-27) | ○ |
| C-75 | UT-DIA-075: 未定義フィールド検出テスト | E-17 (undefined-field.lua:21-54) | ○ |
| C-76 | UT-DIA-076: any型スキップテスト | E-17 (undefined-field.lua:31-33) | ○ |
| C-77 | UT-DIA-077: enum未定義インデックス検出テスト | E-17 (undefined-field.lua:56-86) | ○ |
| C-78 | UT-DIA-078: 改行後括弧検出テスト | E-18 (newline-call.lua:16-53) | ○ |
| C-79 | UT-DIA-079: 同一行の正常呼び出し確認テスト | E-18 (newline-call.lua:38-41) | ○ |
| C-80 | UT-DIA-080: コードスタイル違反検出テスト | E-19 (codestyle-check.lua:8-41) | ○ |
| C-81 | UT-DIA-081: code_format不在処理テスト | E-19 (codestyle-check.lua:15-18) | ○ |
| C-82 | UT-DIA-082: 曖昧演算子検出テスト | E-20 (ambiguity-1.lua:28-79) | ○ |
| C-83 | UT-DIA-083: nilチェック必要検出テスト | E-21 (need-check-nil.lua:8-48) | ○ |
| C-84 | UT-DIA-084: any型スキップテスト | E-21 (need-check-nil.lua:40) | ○ |
| C-85 | UT-DIA-085: カウントダウンループ検出テスト | E-22 (count-down-loop.lua:5-51) | ○ |
| C-86 | UT-DIA-086: 正しいステップ確認テスト | E-22 (count-down-loop.lua:36-48) | ○ |
| C-87 | UT-DIA-087: private可視性違反検出テスト | E-23 (invisible.lua:28-39) | ○ |
| C-88 | UT-DIA-088: protected可視性違反検出テスト | E-23 (invisible.lua:40-48) | ○ |
| C-89 | UT-DIA-089: package可視性違反検出テスト | E-23 (invisible.lua:49-58) | ○ |
| C-90 | UT-DIA-090: 必須フィールド不足検出テスト | E-24 (missing-fields.lua:8-118) | ○ |
| C-91 | UT-DIA-091: optionalフィールド除外テスト | E-24 (missing-fields.lua:72) | ○ |
| C-92 | UT-DIA-092: partialクラス処理テスト | E-24 (missing-fields.lua:29-40, 56, 95-99) | ○ |
| C-93 | UT-DIA-093: 戻り値破棄検出テスト | E-25 (discard-returns.lua:8-30) | ○ |
| C-94 | UT-DIA-094: 条件式使用除外テスト | E-25 (discard-returns.lua:15-19) | ○ |
| C-95 | UT-DIA-095: 不均衡代入検出テスト | E-26 (unbalanced-assignments.lua:15-49) | ○ |
| C-96 | UT-DIA-096: isDocClass関数のテスト | E-27 (lowercase-global.lua:8-18) | ○ |
| C-97 | UT-DIA-097: isGlobalRegex関数のテスト | E-27 (lowercase-global.lua:20-32) | ○ |
| C-98 | UT-DIA-098: 小文字グローバル検出テスト | E-27 (lowercase-global.lua:35-85) | ○ |
| C-99 | UT-DIA-099: 大文字グローバル確認テスト | E-27 (lowercase-global.lua:57-59) | ○ |
| C-100 | UT-DIA-100: 循環クラス継承検出テスト | E-28 (circle-doc-class.lua:8-58) | ○ |
| C-101 | UT-DIA-101: 正常継承確認テスト | E-28 (circle-doc-class.lua:28-30) | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし：全テストケースはソースコードの関数・ロジックに基づいて生成されています

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全テストケースはソースコードに直接対応
- 注意点:
  - UT-DIA-054〜055: spell-checkモジュールは外部依存（provider.spell）
  - UT-DIA-080〜081: codestyle-checkモジュールは外部依存（code_format）
  - これらのテストは外部モジュールのモック化が必要な可能性がある

## 6) レビュアーチェックリスト（最小）
- [ ] init.luaのメイン関数テスト（UT-DIA-009〜017）が診断フローを網羅しているか確認
- [ ] helper/missing-doc-helper.luaのテスト（UT-DIA-018〜025）がヘルパー関数を網羅しているか確認
- [ ] 各診断ファイル（65ファイル）に対して正常系・異常系・境界値テストが含まれているか確認
- [ ] 外部依存モジュール（spell, code_format）のテスト方針を検討
- [ ] 優先度の設定（高/中/低）が適切かレビュー
- [ ] テストIDの命名規則（UT-DIA-xxx）が一貫しているか確認
