---
generated_at: 2026-02-17 20:45:00
metrics:
  claims_total: 50
  claims_with_evidence: 48
  claims_without_evidence: 2
confidence_derived: 0.96
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.96**
  - 根拠あり：48 / 50、根拠なし：2
- 優先レビュー（高）
  1. **BR-034 ホットコードリロード**：実験的機能のため実装状況要確認
  2. **BR-048 JSONスクリプト**：使用例・ドキュメント不足

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

- E-01: `compiler/main.nim` - コンパイラメインエントリポイント、コマンドディスパッチャ
- E-02: `compiler/commands.nim` - コマンドライン引数処理、オプション定義
- E-03: `compiler/options.nim` - グローバルオプション、コンパイラ設定、機能フラグ定義
- E-04: `compiler/cgen.nim` - Cコード生成バックエンド
- E-05: `compiler/jsgen.nim` - JavaScriptコード生成バックエンド
- E-06: `compiler/sem.nim` - セマンティック解析パス
- E-07: `compiler/pipelines.nim` - コンパイルパイプライン管理
- E-08: `compiler/vm.nim` - コンパイル時仮想マシン
- E-09: `compiler/docgen.nim` - ドキュメント生成
- E-10: `compiler/extccomp.nim` - 外部Cコンパイラ統合
- E-11: `koch.nim` - ビルドツール、メンテナンスプログラム
- E-12: `readme.md` - プロジェクト概要、ビルド手順
- E-13: `compiler/msgs.nim` - メッセージ・エラー報告
- E-14: `lib/system.nim` - 標準ライブラリコア
- E-15: `compiler/pragmas.nim` - プラグマ処理
- E-16: `compiler/nilcheck.nim` - Nil安全性チェック
- E-17: `compiler/concepts.nim` - コンセプト機能実装
- E-18: `compiler/lambdalifting.nim` - クロージャ変換
- E-19: `compiler/injectdestructors.nim` - デストラクタ注入（ARC/ORC）
- E-20: `compiler/liftdestructors.nim` - デストラクタリフティング
- E-21: `nimsuggest/nimsuggest.nim` - IDE支援ツール
- E-22: `nimpretty/nimpretty.nim` - コードフォーマッタ
- E-23: `testament/testament.nim` - テストフレームワーク
- E-24: `compiler/nifgen.nim` - NIF形式コード生成
- E-25: `lib/nimhcr.nim` - ホットコードリロードランタイム

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | BR-001 ソースコードコンパイル | E-01, E-04, E-05, E-07 | ○ |
| C-02 | BR-002 インクリメンタルコンパイル | E-03 (symbolFiles), E-24 | ○ |
| C-03 | BR-003 クロスコンパイル | E-02, E-03 (platform/target) | ○ |
| C-04 | BR-004 実行時チェック機能 | E-03 (ChecksOptions) | ○ |
| C-05 | BR-005 最適化レベル設定 | E-02, E-03 (optOptimizeSpeed/Size) | ○ |
| C-06 | BR-006 ガベージコレクション選択 | E-02, E-03 (TGCMode) | ○ |
| C-07 | BR-007 ARC/ORCメモリ管理 | E-19, E-20, E-03 | ○ |
| C-08 | BR-008 スレッドセーフメモリ管理 | E-03 (gcAtomicArc, gcYrc) | ○ |
| C-09 | BR-009 マクロシステム | E-06, E-08 | ○ |
| C-10 | BR-010 ジェネリクス | E-06, E-03 (inferGenericTypes) | ○ |
| C-11 | BR-011 例外処理システム | E-02, E-03 (ExceptionSystem) | ○ |
| C-12 | BR-012 コンセプト機能 | E-17 | ○ |
| C-13 | BR-013 エフェクトシステム | E-03 (strictFuncs, strictEffects) | ○ |
| C-14 | BR-014 ビュー型 | E-03 (views) | ○ |
| C-15 | BR-015 IDE支援機能 | E-21, E-03 (IdeCmd) | ○ |
| C-16 | BR-016 ドキュメント生成 | E-09, E-01 (cmdDoc) | ○ |
| C-17 | BR-017 コードフォーマット | E-22, E-03 (optStyleCheck) | ○ |
| C-18 | BR-018 依存関係可視化 | E-01 (commandGenDepend) | ○ |
| C-19 | BR-019 Nimbleパッケージ管理 | E-02, E-03 (nimblePaths) | ○ |
| C-20 | BR-020 設定ファイルシステム | E-02, E-03 (configFiles) | ○ |
| C-21 | BR-021 NimScript実行 | E-01 (cmdNimscript), E-02 | ○ |
| C-22 | BR-022 Cコンパイラ統合 | E-10 | ○ |
| C-23 | BR-023 ビルドキャッシュ管理 | E-03 (nimcacheDir) | ○ |
| C-24 | BR-024 デバッグ情報生成 | E-02, E-03 (optCDebug) | ○ |
| C-25 | BR-025 スタックトレース出力 | E-03 (optStackTrace) | ○ |
| C-26 | BR-026 プロファイリング | E-03 (optProfiler, optProfileVM) | ○ |
| C-27 | BR-027 テストスイート実行 | E-23, E-11 | ○ |
| C-28 | BR-028 セマンティックチェック | E-01 (cmdCheck), E-06 | ○ |
| C-29 | BR-029 危険操作の明示 | E-03 (optPanics) | ○ |
| C-30 | BR-030 Nil安全性 | E-16, E-03 (strictNotNil) | ○ |
| C-31 | BR-031 動的ライブラリ生成 | E-03 (optGenDynLib) | ○ |
| C-32 | BR-032 静的ライブラリ生成 | E-03 (optGenStaticLib) | ○ |
| C-33 | BR-033 実行ファイル生成 | E-03 (optGenGuiApp) | ○ |
| C-34 | BR-034 ホットコードリロード | E-25 | △ |
| C-35 | BR-035 スレッド機能 | E-03 (optThreads, optThreadAnalysis) | ○ |
| C-36 | BR-036 C言語相互運用 | E-10, E-15 | ○ |
| C-37 | BR-037 JavaScript相互運用 | E-05, E-03 (optJsBigInt64) | ○ |
| C-38 | BR-038 C++相互運用 | E-03 (cppCustomNamespace) | ○ |
| C-39 | BR-039 コンパイル時評価 | E-08, E-03 (maxLoopIterationsVM) | ○ |
| C-40 | BR-040 マクロ実行 | E-08 | ○ |
| C-41 | BR-041 インストーラ生成 | E-11 (zip, xz, nsis) | ○ |
| C-42 | BR-042 Cソース配布 | E-11 (csource) | ○ |
| C-43 | BR-043 詳細エラーメッセージ | E-13, E-03 (spellSuggestMax) | ○ |
| C-44 | BR-044 警告・ヒント制御 | E-02, E-03 (warningAsErrors) | ○ |
| C-45 | BR-045 レガシー機能サポート | E-03 (LegacyFeature) | ○ |
| C-46 | BR-046 実験的機能管理 | E-03 (Feature) | ○ |
| C-47 | BR-047 カラー出力 | E-03 (optUseColors) | ○ |
| C-48 | BR-048 JSONスクリプト | E-01 (cmdJsonscript) | △ |
| C-49 | BR-049 自己ブートストラップ | E-11 (boot), E-12 | ○ |
| C-50 | BR-050 CI統合 | E-11 (runCI) | ○ |

## 4) 不足情報（Unknown / Missing）
- **BR-034 ホットコードリロード**: `lib/nimhcr.nim`の実装は確認できるが、実験的機能であり本番環境での安定性は未確認
  - 候補：実際の使用例 / パフォーマンステスト結果 / 制限事項ドキュメント
- **BR-048 JSONスクリプト**: コマンドは存在するが、使用方法の詳細ドキュメントが不足
  - 候補：JSON形式仕様 / 使用例 / ユースケース説明

## 5) リスクフラグ（レビュー観点）
- **0 (低リスク)**: 大部分の業務要件はソースコードに明確な実装根拠あり
- **1 (中リスク)**: 実験的機能（views, strictNotNil, inferGenericTypes等）は仕様変更の可能性あり
- **1 (中リスク)**: ホットコードリロード機能は実験的で安定性未検証
- **0 (低リスク)**: コアコンパイル機能（C/JS生成、GC選択等）は十分に成熟

## 6) レビュアーチェックリスト（最小）
- [ ] BR-001〜BR-005（コンパイル機能）: 各バックエンドオプションが正しく記載されているか確認
- [ ] BR-006〜BR-008（メモリ管理）: GCオプション名と機能説明の対応が正確か確認
- [ ] BR-034（ホットコードリロード）: 実験的機能の制限事項を追記すべきか検討
- [ ] BR-046（実験的機能管理）: 現行の実験的機能一覧が最新か確認
- [ ] カテゴリ分類の妥当性を確認（重複や分類漏れがないか）
- [ ] 優先度の設定が適切か確認（プロジェクトの実際の重要度と一致しているか）
