---
generated_at: 2026-03-01 10:30:00
metrics:
  claims_total: 96
  claims_with_evidence: 96
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：babel-helper-module-imports 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：96 / 96、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全てのテストケースがソースコードから導出されており根拠あり

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

- E-01: `packages/babel-helper-module-imports/src/index.ts` - 公開API（addDefault, addNamed, addNamespace, addSideEffect）
- E-02: `packages/babel-helper-module-imports/src/is-module.ts` - isModule関数（モジュール判定ユーティリティ）
- E-03: `packages/babel-helper-module-imports/src/import-builder.ts` - ImportBuilderクラス（AST構築）
- E-04: `packages/babel-helper-module-imports/src/import-injector.ts` - ImportInjectorクラス（インポート注入ロジック）、補助関数（isValueImport, hasNamespaceImport, hasDefaultImport, maybeAppendImportSpecifiers）

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

### is-module.ts（UT-HMI-001〜003）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | isModuleがsourceType='module'でtrueを返す | E-02 L7-8 | ○ |
| C-02 | isModuleがsourceType='script'でfalseを返す | E-02 L7-8 | ○ |
| C-03 | isModuleがundefinedでfalsyを返す | E-02 L7-8 | ○ |

### import-builder.ts - コンストラクタ・基本メソッド（UT-HMI-004〜009）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-04 | ImportBuilderコンストラクタが正しく初期化 | E-03 L31-35 | ○ |
| C-05 | done()がstatements/resultNameを返す | E-03 L37-42 | ○ |
| C-06 | import()がImportDeclarationを追加 | E-03 L44-49 | ○ |
| C-07 | import()がthisを返す（チェーン） | E-03 L48 | ○ |
| C-08 | require()がExpressionStatementを追加 | E-03 L51-60 | ○ |
| C-09 | require()がthisを返す（チェーン） | E-03 L59 | ○ |

### import-builder.ts - specifierメソッド（UT-HMI-010〜019）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-10 | namespace()がImportNamespaceSpecifierを追加 | E-03 L62-71 | ○ |
| C-11 | namespace()がresultNameを設定 | E-03 L69 | ○ |
| C-12 | namespace()がImportDeclaration以外でアサーション失敗 | E-03 L66 | ○ |
| C-13 | namespace()がspecifiersが空でない場合アサーション失敗 | E-03 L67 | ○ |
| C-14 | default()がImportDefaultSpecifierを追加 | E-03 L72-80 | ○ |
| C-15 | default()がresultNameを設定 | E-03 L78 | ○ |
| C-16 | default()がImportDeclaration以外でアサーション失敗 | E-03 L75 | ○ |
| C-17 | named()がimportName='default'でdefault()に委譲 | E-03 L82 | ○ |
| C-18 | named()がImportSpecifierを追加 | E-03 L81-91 | ○ |
| C-19 | named()がresultNameを設定 | E-03 L89 | ○ |

### import-builder.ts - var/interop/propメソッド（UT-HMI-020〜031）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-20 | var()がVariableDeclarationを生成 | E-03 L93-106 | ○ |
| C-21 | var()が非ExpressionStatementからの変換 | E-03 L96-99 | ○ |
| C-22 | var()がresultNameを設定 | E-03 L104 | ○ |
| C-23 | defaultInterop()がinteropRequireDefaultでラップ | E-03 L108-110 | ○ |
| C-24 | wildcardInterop()がinteropRequireWildcardでラップ | E-03 L111-113 | ○ |
| C-25 | _interop()がExpressionStatementをラップ | E-03 L115-118 | ○ |
| C-26 | _interop()がVariableDeclarationをラップ | E-03 L119-123 | ○ |
| C-27 | _interop()が予期しない型でアサーション失敗 | E-03 L124-125 | ○ |
| C-28 | prop()がExpressionStatementにmemberExpressionを設定 | E-03 L130-136 | ○ |
| C-29 | prop()がVariableDeclarationにmemberExpressionを設定 | E-03 L137-143 | ○ |
| C-30 | prop()が予期しない型でアサーション失敗 | E-03 L144 | ○ |
| C-31 | read()がresultNameをmemberExpressionに更新 | E-03 L149-151 | ○ |

### import-injector.ts - ImportInjectorクラス（UT-HMI-032〜042）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-32 | コンストラクタがprogramPathを取得 | E-04 L138-147 | ○ |
| C-33 | コンストラクタがデフォルトオプションを設定 | E-04 L128-136 | ○ |
| C-34 | コンストラクタがimportedSourceをデフォルトに反映 | E-04 L149 | ○ |
| C-35 | addDefault()がaddNamed('default',...)を呼ぶ | E-04 L152-154 | ○ |
| C-36 | addNamed()がimportNameの型チェック | E-04 L161 | ○ |
| C-37 | addNamed()が_generateImportを呼ぶ | E-04 L163-166 | ○ |
| C-38 | addNamespace()が_generateImport(opts,null)を呼ぶ | E-04 L169-174 | ○ |
| C-39 | addSideEffect()が_generateImport(opts,undefined)を呼ぶ | E-04 L176-181 | ○ |
| C-40 | _applyDefaults()が文字列importedSourceをマージ | E-04 L189-190 | ○ |
| C-41 | _applyDefaults()がオブジェクト形式をマージ | E-04 L191-193 | ○ |
| C-42 | _applyDefaults()が両方引数でアサーション失敗 | E-04 L192 | ○ |

### import-injector.ts - _generateImport ES6モジュール（UT-HMI-043〜047）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-43 | ES6 namespace importの生成 | E-04 L246-259 | ○ |
| C-44 | ES6 default importの生成 | E-04 L257-258 | ○ |
| C-45 | ES6 named importの生成 | E-04 L257-258 | ○ |
| C-46 | CommonJSからES6インポートでエラー | E-04 L247-249 | ○ |
| C-47 | 不正なimportedTypeでエラー | E-04 L260-261 | ○ |

### import-injector.ts - _generateImport CommonJS babel interop（UT-HMI-048〜051）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-48 | CJS babel interop namespace importの生成 | E-04 L307-309 | ○ |
| C-49 | CJS babel interop default importの生成 | E-04 L318-319 | ○ |
| C-50 | CJS babel interop named importの生成 | E-04 L320-321 | ○ |
| C-51 | ensureLiveReferenceでライブ参照生成 | E-04 L310-317 | ○ |

### import-injector.ts - _generateImport CommonJS compiled/uncompiled（UT-HMI-052〜057）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-52 | CJS compiled interop namespaceの生成 | E-04 L354-356 | ○ |
| C-53 | CJS compiled interop defaultの生成 | E-04 L357-361 | ○ |
| C-54 | CJS uncompiled interop namespaceの生成 | E-04 L398-405 | ○ |
| C-55 | CJS uncompiled interop defaultの生成 | E-04 L406-407 | ○ |
| C-56 | uncompiled default + ensureLiveReferenceでエラー | E-04 L366-368 | ○ |
| C-57 | 不正なimportedInteropでエラー | E-04 L416-418 | ○ |

### import-injector.ts - _generateImport その他（UT-HMI-058〜061）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-58 | ensureNoContextでSequenceExpression返却 | E-04 L424-430 | ○ |
| C-59 | importPosition='after'で非モジュール時エラー | E-04 L236-238 | ○ |
| C-60 | node interop namespace importの生成 | E-04 L263-276 | ○ |
| C-61 | node interop default importの生成 | E-04 L277-289 | ○ |

### import-injector.ts - _insertStatements系（UT-HMI-062〜070）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-62 | importPosition='after'で_insertStatementsAfter呼び出し | E-04 L439-440 | ○ |
| C-63 | importPosition='before'で_insertStatementsBefore呼び出し | E-04 L441-442 | ○ |
| C-64 | 挿入失敗時にunshiftContainer呼び出し | E-04 L445 | ○ |
| C-65 | 同じソースでspecifiersマージ | E-04 L449-465 | ○ |
| C-66 | _blockHoist設定 | E-04 L468-471 | ○ |
| C-67 | 適切な位置にinsertBefore | E-04 L473-481 | ○ |
| C-68 | 最後のインポート後に挿入 | E-04 L519 | ○ |
| C-69 | after位置でspecifiersマージ | E-04 L508-513 | ○ |
| C-70 | 全マージ時にtrue返却 | E-04 L517 | ○ |

### import-injector.ts - 補助関数（UT-HMI-071〜087）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-71 | isValueImportがtype判定 | E-04 L525-527 | ○ |
| C-72 | isValueImportがtypeof判定 | E-04 L525-527 | ○ |
| C-73 | isValueImportがvalue判定 | E-04 L525-527 | ○ |
| C-74 | isValueImportがundefined判定 | E-04 L525-527 | ○ |
| C-75 | hasNamespaceImportが1specifier判定 | E-04 L529-536 | ○ |
| C-76 | hasNamespaceImportが2specifier判定 | E-04 L533-534 | ○ |
| C-77 | hasNamespaceImportが非namespace判定 | E-04 L529-536 | ○ |
| C-78 | hasDefaultImportがdefault存在判定 | E-04 L538-543 | ○ |
| C-79 | hasDefaultImportが空specifiers判定 | E-04 L540 | ○ |
| C-80 | hasDefaultImportが非default判定 | E-04 L541 | ○ |
| C-81 | maybeAppendImportSpecifiersが空targetへ設定 | E-04 L549-551 | ○ |
| C-82 | maybeAppendImportSpecifiersが空sourceで返却 | E-04 L553 | ○ |
| C-83 | maybeAppendImportSpecifiersがnamespace競合（target） | E-04 L555 | ○ |
| C-84 | maybeAppendImportSpecifiersがnamespace競合（source） | E-04 L555 | ○ |
| C-85 | maybeAppendImportSpecifiersがdefault競合解決 | E-04 L557-562 | ○ |
| C-86 | maybeAppendImportSpecifiersがdefault追加 | E-04 L563-565 | ○ |
| C-87 | maybeAppendImportSpecifiersがspecifiersマージ | E-04 L568 | ○ |

### index.ts - 公開API（UT-HMI-088〜096）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-88 | addDefaultがImportInjector.addDefault呼び出し | E-01 L9-15 | ○ |
| C-89 | addDefaultがオプション伝播 | E-01 L12 | ○ |
| C-90 | addNamedがImportInjector.addNamed呼び出し | E-01 L17-61 | ○ |
| C-91 | addNamedがensureLiveReferenceでMemberExpression返却 | E-01 L26-33 | ○ |
| C-92 | addNamedがensureNoContextでSequenceExpression返却 | E-01 L34-41 | ○ |
| C-93 | addNamedがデフォルトでIdentifier返却 | E-01 L17-25 | ○ |
| C-94 | addNamespaceがImportInjector.addNamespace呼び出し | E-01 L63-69 | ○ |
| C-95 | addSideEffectがImportInjector.addSideEffect呼び出し | E-01 L71-77 | ○ |
| C-96 | addSideEffectがspecifiersなしインポート生成 | E-04 L176-181, E-03 L44-49 | ○ |

## 4) 不足情報（Unknown / Missing）
- 現時点で根拠なしのテストケースはありません。
- 全てのテストケースがソースコードの実装に基づいて導出されています。

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: 全てのテストケースがソースコードから直接導出されており、実装との整合性が高い
- ただし、以下の点についてはレビュー時に確認が推奨される：
  - 実際のBabel変換処理との統合テストは別途必要
  - エッジケース（非常に複雑なインポート構文など）の追加テストを検討
  - @babel/traverse, @babel/typesとの連携部分の境界テスト

## 6) レビュアーチェックリスト（最小）
- [ ] 各ファイル・クラス・関数の正常系テストケースが網羅されているか
- [ ] 異常系（assert失敗、エラースロー）のテストケースが網羅されているか
- [ ] 境界値（空配列、null/undefined）のテストケースが含まれているか
- [ ] importedType, importedInterop, importingInteropの各組み合わせが網羅されているか
- [ ] ensureLiveReference, ensureNoContextオプションのテストが含まれているか
- [ ] importPositionの"before"/"after"両方のテストが含まれているか
- [ ] 補助関数（isValueImport, hasNamespaceImport, hasDefaultImport, maybeAppendImportSpecifiers）のテストが含まれているか
