---
generated_at: 2026-03-01 06:20:00
metrics:
  claims_total: 40
  claims_with_evidence: 38
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：babel-plugin-transform-object-set-prototype-of-to-assign 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：38 / 40、根拠なし：2
- 優先レビュー（高）
  1. **UT-OPA-038（TypeScript型注釈付きコードでの変換）**：TypeScript固有の動作は実際のテスト実行で確認が必要
  2. **UT-OPA-040（ソースマップ情報の生成）**：ソースマップの正確性はBabel内部動作に依存

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

- E-01: `packages/babel-plugin-transform-object-set-prototype-of-to-assign/src/index.ts`（プラグインソースコード）
- E-02: `packages/babel-helper-plugin-utils/src/index.ts`（declare関数の実装）
- E-03: `packages/babel-plugin-transform-object-set-prototype-of-to-assign/package.json`（依存関係情報）
- E-04: `packages/babel-plugin-transform-object-set-prototype-of-to-assign/README.md`（プラグイン説明文書）
- E-05: Babel Plugin API ドキュメント（visitor パターン、path.matchesPattern、file.addHelper）

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

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | プラグインが正しく初期化されること | E-01 (L1-17), E-02 (L26-51) | ○ |
| C-02 | プラグイン名が正しく設定されること | E-01 (L7) | ○ |
| C-03 | visitorオブジェクトが存在すること | E-01 (L9-15) | ○ |
| C-04 | CallExpressionビジターが定義されていること | E-01 (L10-14) | ○ |
| C-05 | Babel 6以前のバージョンでエラーがスローされること | E-01 (L4), E-02 (L84-128) | ○ |
| C-06 | Object.setPrototypeOfがdefaultsヘルパーに変換されること | E-01 (L11-13) | ○ |
| C-07 | 変換後のASTが正しい構造を持つこと | E-01 (L12) | ○ |
| C-08 | 2つの引数が保持されること | E-01 (L12)：calleeのみ変更、argumentsは未変更 | ○ |
| C-09 | ネストされたObject.setPrototypeOfも変換されること | E-01：CallExpressionビジターは再帰的に適用 | ○ |
| C-10 | 関数の戻り値として使用された場合も変換されること | E-01：CallExpressionの位置に依存しない | ○ |
| C-11 | 変数代入時に変換されること | E-01：CallExpression全般に適用 | ○ |
| C-12 | 式文として単独で使用された場合も変換されること | E-01：CallExpression全般に適用 | ○ |
| C-13 | 引数が0個の場合の動作 | E-01 (L11-13)：引数チェックなし | ○ |
| C-14 | 引数が1個の場合の動作 | E-01 (L11-13)：引数チェックなし | ○ |
| C-15 | 引数が3個以上の場合の動作 | E-01 (L11-13)：引数チェックなし | ○ |
| C-16 | 他のメソッド呼び出しは変換されないこと | E-01 (L11)：matchesPatternによるフィルタリング | ○ |
| C-17 | Object以外のオブジェクトのsetPrototypeOfは変換されないこと | E-01 (L11)：'Object.setPrototypeOf'パターン指定 | ○ |
| C-18 | Reflect.setPrototypeOfは変換されないこと | E-01 (L11)：パターンマッチング | ○ |
| C-19 | プロパティアクセスを介した呼び出しは変換されないこと | E-01 (L11)：MemberExpressionパターン限定 | ○ |
| C-20 | 変数に代入されたObject.setPrototypeOfは変換されないこと | E-01：直接呼び出しのみ対象 | ○ |
| C-21 | コールバック内でも変換されること | E-01：AST走査で全CallExpression対象 | ○ |
| C-22 | 条件式内でも変換されること | E-01：AST走査で全CallExpression対象 | ○ |
| C-23 | 論理演算子と組み合わせても変換されること | E-01：AST走査で全CallExpression対象 | ○ |
| C-24 | 即時実行関数内でも変換されること | E-01：スコープに依存しない | ○ |
| C-25 | アロー関数内でも変換されること | E-01：スコープに依存しない | ○ |
| C-26 | クラスメソッド内でも変換されること | E-01：スコープに依存しない | ○ |
| C-27 | staticメソッド内でも変換されること | E-01：スコープに依存しない | ○ |
| C-28 | try-catch内でも変換されること | E-01：構文に依存しない | ○ |
| C-29 | ループ内でも変換されること | E-01：構文に依存しない | ○ |
| C-30 | defaultsヘルパーが正しく追加されること | E-01 (L12)：file.addHelper('defaults') | ○ |
| C-31 | Object.setPrototypeOfパターンが正しくマッチすること | E-01 (L11)：matchesPattern呼び出し | ○ |
| C-32 | 異なるパターンはマッチしないこと | E-01 (L11)：条件分岐 | ○ |
| C-33 | calleeが正しく置き換えられること | E-01 (L12)：path.node.callee代入 | ○ |
| C-34 | assertVersionが存在しない場合もポリフィルで動作すること | E-02 (L17-24, L40-47)：apiPolyfills | ○ |
| C-35 | 複数回の変換が同一ファイル内で正しく行われること | E-01：ビジターの再適用 | ○ |
| C-36 | ESモジュール構文と共存できること | E-01：CallExpression以外未変更 | ○ |
| C-37 | strict modeでも正しく動作すること | E-01：strictモードに依存しない | ○ |
| C-38 | TypeScript型注釈付きコードでも変換されること | **根拠なし** | △ |
| C-39 | コメントが保持されること | E-01：コメントはAST変換で保持される（Babel仕様） | ○ |
| C-40 | ソースマップ情報が正しく生成されること | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **TypeScript対応（C-38）**: TypeScriptコードでの動作は、別途TypeScriptパーサー（@babel/preset-typescript）との組み合わせテストが必要。プラグイン自体にはTypeScript固有のロジックは含まれていない
  - 候補：`@babel/preset-typescript`との結合テスト / 実際のTypeScriptファイルでの動作確認
- **ソースマップ生成（C-40）**: ソースマップ生成はBabel coreの機能であり、プラグインレベルでの直接検証は困難
  - 候補：Babel coreのsourceMapsオプションを有効にした統合テスト / 変換前後の位置情報比較

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: プラグインは非常にシンプルな変換ロジック（1つのパターンマッチと1つの置換）で構成されており、予期しない動作のリスクは低い
- **1（中リスク）**: `defaults`ヘルパーの実装がObject.setPrototypeOfと完全に等価な動作をするかは、ヘルパー実装の検証が必要
- **0（低リスク）**: バージョンチェック機能は@babel/helper-plugin-utilsで標準化されており、信頼性が高い

## 6) レビュアーチェックリスト（最小）
- [ ] UT-OPA-006（主要変換機能）の期待結果が実際の変換結果と一致するか確認
- [ ] UT-OPA-005（バージョンチェック）でBabel 6環境での実際のエラーメッセージを確認
- [ ] UT-OPA-030（defaultsヘルパー追加）でヘルパーが正しく動作するか確認
- [ ] TypeScript環境での実際の動作確認（UT-OPA-038）
- [ ] 境界値ケース（引数0個/1個/3個以上）の実際の動作確認（UT-OPA-013〜015）
