---
generated_at: 2026-02-17 20:45:00
metrics:
  claims_total: 40
  claims_with_evidence: 38
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：結合テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：38 / 40、根拠なし：2
- 優先レビュー（高）
  1. **IT-031 HCR統合**：HCR機能の詳細な連携仕様の根拠不足
  2. **IT-033 Testament Azure**：Azure Pipelines環境固有の連携仕様の根拠不足

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

- E-01: `compiler/main.nim` - コンパイラメインエントリポイント、コマンドディスパッチ
- E-02: `compiler/pipelines.nim` - コンパイルパイプライン実装
- E-03: `compiler/lexer.nim` - 字句解析器
- E-04: `compiler/parser.nim` - 構文解析器
- E-05: `compiler/sem.nim` - 意味解析器
- E-06: `compiler/cgen.nim` - Cコードジェネレータ
- E-07: `compiler/jsgen.nim` - JavaScriptコードジェネレータ
- E-08: `compiler/extccomp.nim` - 外部Cコンパイラ呼び出し
- E-09: `compiler/vm.nim` - Nim仮想マシン
- E-10: `compiler/vmgen.nim` - VM命令生成
- E-11: `compiler/evaltempl.nim` - テンプレート評価
- E-12: `compiler/modulegraphs.nim` - モジュールグラフ管理
- E-13: `compiler/modules.nim` - モジュール管理
- E-14: `compiler/nimeval.nim` - Nimインタープリタ評価
- E-15: `compiler/scriptconfig.nim` - スクリプト設定
- E-16: `compiler/sigmatch.nim` - シグネチャマッチング
- E-17: `compiler/semcall.nim` - 呼び出し意味解析
- E-18: `compiler/concepts.nim` - Concepts実装
- E-19: `compiler/sempass2.nim` - 意味解析パス2
- E-20: `compiler/reorder.nim` - コード並び替え
- E-21: `compiler/injectdestructors.nim` - デストラクタ注入
- E-22: `compiler/lambdalifting.nim` - クロージャ変換
- E-23: `compiler/docgen.nim` - ドキュメント生成
- E-24: `compiler/nifgen.nim` - NIF生成
- E-25: `compiler/nifbackend.nim` - NIFバックエンド
- E-26: `compiler/ic/replayer.nim` - ICリプレイヤー
- E-27: `compiler/pragmas.nim` - プラグマ処理
- E-28: `compiler/semtypinst.nim` - 型インスタンス化
- E-29: `compiler/semtypes.nim` - 型意味解析
- E-30: `compiler/cgmeth.nim` - メソッドディスパッチ
- E-31: `compiler/sourcemap.nim` - ソースマップ生成
- E-32: `compiler/nilcheck.nim` - nilチェック解析
- E-33: `compiler/evalffi.nim` - FFI評価
- E-34: `nimsuggest/nimsuggest.nim` - nimsuggest実装
- E-35: `nimsuggest/sexp.nim` - S式パーサ
- E-36: `nimsuggest/tester.nim` - nimsuggestテスター
- E-37: `testament/testament.nim` - テストフレームワーク
- E-38: `testament/backend.nim` - テスト結果バックエンド
- E-39: `testament/azure.nim` - Azure連携
- E-40: `tests/compilerapi/tcompilerapi.nim` - コンパイラAPIテスト
- E-41: `nimpretty/tester.nim` - nimprettyテスター
- E-42: `lib/nimhcr.nim` - ホットコードリロード
- E-43: `lib/pure/asynchttpserver.nim` - 非同期HTTPサーバ
- E-44: `lib/pure/httpclient.nim` - HTTPクライアント
- E-45: `lib/pure/net.nim` - ネットワーク
- E-46: `lib/pure/json.nim` - JSON処理
- E-47: `lib/pure/os.nim` - OS操作
- E-48: `lib/pure/osproc.nim` - プロセス操作
- E-49: `lib/pure/streams.nim` - ストリーム

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | IT-001 Lexer-Parser連携 | E-03, E-04 | ○ |
| C-02 | IT-002 Parser-Semantic連携 | E-04, E-05 | ○ |
| C-03 | IT-003 Semantic-Cgen連携 | E-05, E-06 | ○ |
| C-04 | IT-004 Semantic-JSgen連携 | E-05, E-07 | ○ |
| C-05 | IT-005 Cgen-ExtCcomp連携 | E-06, E-08 | ○ |
| C-06 | IT-006 Pipeline統合 | E-01, E-02 | ○ |
| C-07 | IT-007 ModuleGraph依存解決 | E-12, E-13 | ○ |
| C-08 | IT-008 VM統合 | E-05, E-09 | ○ |
| C-09 | IT-009 Macro展開 | E-09, E-10 | ○ |
| C-10 | IT-010 Template展開 | E-11, E-05 | ○ |
| C-11 | IT-011 Nimsuggest統合 | E-34, E-05 | ○ |
| C-12 | IT-012 Nimsuggest EPC | E-34, E-35 | ○ |
| C-13 | IT-013 Testament統合 | E-37, E-01 | ○ |
| C-14 | IT-014 Testament Backend | E-37, E-38 | ○ |
| C-15 | IT-015 Interpreter統合 | E-14, E-09, E-40 | ○ |
| C-16 | IT-016 NimScript統合 | E-15, E-09 | ○ |
| C-17 | IT-017 AsyncHTTP統合 | E-43, E-44 | ○ |
| C-18 | IT-018 Net-SSL統合 | E-45 | ○ |
| C-19 | IT-019 JSON-マーシャリング統合 | E-46 | ○ |
| C-20 | IT-020 OS-OsProc統合 | E-47, E-48 | ○ |
| C-21 | IT-021 NIF統合 | E-24, E-25 | ○ |
| C-22 | IT-022 IC統合 | E-26, E-02 | ○ |
| C-23 | IT-023 DestructorInjection統合 | E-21, E-06 | ○ |
| C-24 | IT-024 LambdaLifting統合 | E-22, E-05 | ○ |
| C-25 | IT-025 Docgen統合 | E-23, E-02 | ○ |
| C-26 | IT-026 SignatureMatching統合 | E-16, E-17 | ○ |
| C-27 | IT-027 Concepts統合 | E-18, E-05 | ○ |
| C-28 | IT-028 Effects追跡 | E-19, E-05 | ○ |
| C-29 | IT-029 CodeReordering統合 | E-20, E-02 | ○ |
| C-30 | IT-030 Streams統合 | E-49 | ○ |
| C-31 | IT-031 HCR統合 | E-42 | △ |
| C-32 | IT-032 SourceMap統合 | E-31, E-07 | ○ |
| C-33 | IT-033 Testament Azure | E-39 | △ |
| C-34 | IT-034 Pragmas処理 | E-27, E-05 | ○ |
| C-35 | IT-035 TypeInst統合 | E-28, E-29 | ○ |
| C-36 | IT-036 CGMethod統合 | E-30, E-06 | ○ |
| C-37 | IT-037 Nimpretty統合 | E-41, E-04 | ○ |
| C-38 | IT-038 Threads統合 | E-05 | ○ |
| C-39 | IT-039 FFI統合 | E-33, E-09 | ○ |
| C-40 | IT-040 NilCheck統合 | E-32, E-19 | ○ |

## 4) 不足情報（Unknown / Missing）
- **IT-031 HCR統合**: lib/nimhcr.nimの実装は確認できるが、cgen.nimとの具体的な連携インターフェースの詳細仕様が不明
  - 候補：compiler/cgen.nimのHCR関連コード / HCRドキュメント / 実際のテストケース
- **IT-033 Testament Azure**: testament/azure.nimの存在は確認できるが、Azure Pipelines APIとの連携詳細が環境依存
  - 候補：Azure Pipelines公式ドキュメント / CI設定ファイル(azure-pipelines.yml) / 環境変数仕様

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: IT-030 Streams統合 - 標準的なストリームI/O操作であり、既存テストで十分カバー
- **0（低リスク）**: IT-019 JSON-マーシャリング統合 - 標準ライブラリ機能であり安定
- **1（中リスク）**: IT-021 NIF統合 - 比較的新しい機能であり、インターフェースが変更される可能性
- **1（中リスク）**: IT-022 IC統合 - インクリメンタルコンパイル機能は複雑であり注意が必要
- **2（高リスク）**: IT-031 HCR統合 - ホットコードリロードは実験的機能であり、安定性に注意
- **2（高リスク）**: IT-039 FFI統合 - 外部関数呼び出しはプラットフォーム依存性が高い

## 6) レビュアーチェックリスト（最小）
- [ ] 各テストケースのテスト種別（コンパイラ連携/ツール連携/標準ライブラリ連携）が適切に分類されているか
- [ ] テスト手順が実行可能な粒度で記載されているか
- [ ] 期待結果が検証可能な形式で記載されているか
- [ ] 優先度設定が機能の重要度を適切に反映しているか
- [ ] 前提条件が明確に定義されているか
- [ ] IT-031(HCR)とIT-033(Azure)について追加調査が必要か判断
- [ ] コンパイラコンポーネント間の依存関係が正しく反映されているか
- [ ] テストカバレッジの観点で不足している連携パターンがないか
