---
generated_at: 2026-02-17 22:30:00
metrics:
  claims_total: 45
  claims_with_evidence: 42
  claims_without_evidence: 3
confidence_derived: 0.93
---

# 根拠レポート：非機能要件定義書

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：42 / 45、根拠なし：3
- 優先レビュー（高）
  1. **稼働率N/A記載**：サーバーアプリケーションとしての稼働率要件が存在しない可能性の確認が必要
  2. **メモリ使用量（数GB）**：大規模プロジェクトでの実測値の確認が必要
  3. **Tracy連携**：実際のtracy統合コードの詳細確認が必要

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

- E-01: `script/config/template.lua` - 設定テンプレート定義
- E-02: `script/files.lua` - ファイル管理・コンパイル処理
- E-03: `script/timer.lua` - タイマー管理
- E-04: `script/await.lua` - 非同期処理管理
- E-05: `script/lazy-cacher.lua` - キャッシュ管理
- E-06: `script/provider/diagnostic.lua` - 診断処理
- E-07: `script/service/service.lua` - サービス管理・メイン処理
- E-08: `script/gc.lua` - ガベージコレクション管理
- E-09: `script/workspace/loading.lua` - ワークスペースローディング
- E-10: `.luarc.json` - プロジェクト設定サンプル
- E-11: `changelog.md` - 変更履歴（セキュリティ関連記載）
- E-12: `locale/` - 多言語対応ファイル

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | 構文解析の警告閾値が0.1秒 | E-02 (line 707-708) | ○ |
| C-02 | LuaDoc解析の警告閾値が0.1秒 | E-02 (line 559-560) | ○ |
| C-03 | lazy-table変換の警告閾値が0.1秒 | E-02 (line 569-570) | ○ |
| C-04 | 診断結果プッシュ間隔が500ms | E-06 (line 340-341) | ○ |
| C-05 | awaitステップ処理警告閾値が0.5秒 | E-04 (line 242-243) | ○ |
| C-06 | プログレスバー遅延表示が0.5秒 | E-06 (line 296-297) | ○ |
| C-07 | 最大プリロードファイル数が5,000 | E-01 (line 321) | ○ |
| C-08 | プリロードファイルサイズ上限が500KB | E-01 (line 322) | ○ |
| C-09 | 巨大ファイル上限が10MB | E-02 (line 237) | ○ |
| C-10 | 診断結果上限が10,000件 | E-06 (line 140-141) | ○ |
| C-11 | 補完候補最大数が100件 | E-01 (line 350) | ○ |
| C-12 | キャッシュ最大同時オープンファイル数が50 | E-05 (line 19) | ○ |
| C-13 | キャッシュファイルサイズ上限が100MB | E-05 (line 20) | ○ |
| C-14 | ワーカースレッド数が4+COMPILECORES | E-07 (line 270-272) | ○ |
| C-15 | ワークスペース診断遅延が3,000ms | E-01 (line 303) | ○ |
| C-16 | ワークスペース診断最小遅延が200ms | E-06 (line 444) | ○ |
| C-17 | 診断更新待機時間が100ms | E-06 (line 460) | ○ |
| C-18 | 稼働率がN/A（クライアントアプリケーション） | **根拠なし** | △ |
| C-19 | xpcallによるエラー捕捉 | E-02, E-03, E-06 | ○ |
| C-20 | マルチプロセス構成（brave） | E-07 (line 270) | ○ |
| C-21 | lazy-cacherによるディスクキャッシュ | E-05, E-02 (line 535-539) | ○ |
| C-22 | 定期的GC実行 | E-06 (line 518-522) | ○ |
| C-23 | 状態永続化条件（compileCount >= 3） | E-02 (line 574-578) | ○ |
| C-24 | プラグインパスのデフォルト空文字列 | E-11 (line 1835) | ○ |
| C-25 | ファイルエンコーディングサポート | E-01 (line 231-236) | ○ |
| C-26 | パス正規化機能 | E-02 (line 990-1013) | ○ |
| C-27 | 設定値検証（config.template） | E-01 (全体) | ○ |
| C-28 | URIスキーム制限 | E-01 (line 297) | ○ |
| C-29 | サードパーティチェック設定 | E-01 (line 324-329) | ○ |
| C-30 | ライブラリファイル診断設定 | E-01 (line 305-314) | ○ |
| C-31 | プラグインAPI（OnSetText, OnTransformAst） | E-02 (line 194-220, 660-668) | ○ |
| C-32 | スコープ別設定 | E-02, E-06 | ○ |
| C-33 | 設定ウォッチ機能 | E-02 (config.watch呼び出し) | ○ |
| C-34 | 多言語対応 | E-12 (ディレクトリ構造) | ○ |
| C-35 | ランタイムバージョンサポート | E-01 (line 187-194) | ○ |
| C-36 | ログレベル | E-07, E-02 (log関数呼び出し) | ○ |
| C-37 | 性能ログ出力 | E-02, E-04 | ○ |
| C-38 | 開発モード（DEVELOP変数） | E-02 (line 199, 285-288) | ○ |
| C-39 | 診断レポート機能 | E-07 (line 38-148) | ○ |
| C-40 | Tracy連携 | E-06 (line 306-307) | ○ |
| C-41 | メモリ監視 | E-07 (line 26-65, 226-228) | ○ |
| C-42 | 診断レポート600秒間隔 | E-07 (line 135) | ○ |
| C-43 | ステータスバー表示 | E-07 (line 211-244) | ○ |
| C-44 | GCコンテナ | E-08 (全体) | ○ |
| C-45 | 大規模プロジェクトで数GBメモリ消費 | **根拠なし** | △ |

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

- **C-18（稼働率N/A）**: クライアントアプリケーションとしての特性から推測した記載。サーバーモードでの稼働率要件が存在する可能性あり
  - 候補：運用ドキュメント / 要件定義書 / プロジェクト仕様書

- **C-45（メモリ使用量）**: 大規模プロジェクトでのメモリ使用量は実測値ではなく推測
  - 候補：ベンチマークテスト結果 / パフォーマンステスト報告書 / Issue/PR

- **Tracy連携詳細**: tracyモジュールの詳細な統合方法・設定方法についてはコード内に断片的な参照のみ
  - 候補：tracy.lua / 外部ドキュメント / ビルドスクリプト

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

- **0: 低リスク** - 性能要件（レスポンスタイム、スループット）: コードから直接抽出した数値であり信頼性が高い
- **0: 低リスク** - 設定項目: config/template.luaから直接抽出しており正確
- **1: 中リスク** - 可用性要件: クライアントアプリケーション特性からN/Aとしたが、サーバーモード運用時の要件確認が必要
- **0: 低リスク** - セキュリティ要件: changelog.mdおよびコードから抽出した設定項目
- **1: 中リスク** - 制約事項（メモリ使用量）: 推測値であり実測による検証が望ましい

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

- [ ] 性能要件の数値がコード内の実装と一致しているか確認
- [ ] 設定項目のデフォルト値がconfig/template.luaと一致しているか確認
- [ ] 可用性要件のN/A記載が本プロジェクトの運用形態に適切か確認
- [ ] セキュリティ要件（プラグインパス等）が最新のchangelog.mdと整合しているか確認
- [ ] 制約事項のメモリ使用量記載について、実運用での検証が必要か判断
- [ ] Tracy連携について追加ドキュメントの必要性を判断
