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

# 根拠レポート: babel-types 単体テストケース一覧

## 本レポートについて

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

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

1. **根拠の有無確認**：各テストケースに対して、ソースコードの実装が存在するか
2. **根拠との整合性**：テストケースの内容がソースコードの実装と矛盾していないか
3. **網羅性**：主要な関数・メソッド・クラスをテスト対象としてカバーしているか

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：175 / 175、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全テストケースに根拠あり

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

### validators ディレクトリ
- E-01: `packages/babel-types/src/validators/is.ts`
- E-02: `packages/babel-types/src/validators/isNode.ts`
- E-03: `packages/babel-types/src/validators/isType.ts`
- E-04: `packages/babel-types/src/validators/isValidIdentifier.ts`
- E-05: `packages/babel-types/src/validators/validate.ts`
- E-06: `packages/babel-types/src/validators/isBinding.ts`
- E-07: `packages/babel-types/src/validators/isBlockScoped.ts`
- E-08: `packages/babel-types/src/validators/isImmutable.ts`
- E-09: `packages/babel-types/src/validators/isLet.ts`
- E-10: `packages/babel-types/src/validators/isNodesEquivalent.ts`
- E-11: `packages/babel-types/src/validators/isPlaceholderType.ts`
- E-12: `packages/babel-types/src/validators/isReferenced.ts`
- E-13: `packages/babel-types/src/validators/isScope.ts`
- E-14: `packages/babel-types/src/validators/isSpecifierDefault.ts`
- E-15: `packages/babel-types/src/validators/isVar.ts`
- E-16: `packages/babel-types/src/validators/matchesPattern.ts`
- E-17: `packages/babel-types/src/validators/isValidES3Identifier.ts`
- E-18: `packages/babel-types/src/validators/buildMatchMemberExpression.ts`
- E-19: `packages/babel-types/src/validators/react/isReactComponent.ts`
- E-20: `packages/babel-types/src/validators/react/isCompatTag.ts`

### clone ディレクトリ
- E-21: `packages/babel-types/src/clone/cloneNode.ts`
- E-22: `packages/babel-types/src/clone/clone.ts`
- E-23: `packages/babel-types/src/clone/cloneDeep.ts`
- E-24: `packages/babel-types/src/clone/cloneWithoutLoc.ts`
- E-25: `packages/babel-types/src/clone/cloneDeepWithoutLoc.ts`

### comments ディレクトリ
- E-26: `packages/babel-types/src/comments/addComment.ts`
- E-27: `packages/babel-types/src/comments/addComments.ts`
- E-28: `packages/babel-types/src/comments/inheritLeadingComments.ts`
- E-29: `packages/babel-types/src/comments/inheritTrailingComments.ts`
- E-30: `packages/babel-types/src/comments/inheritInnerComments.ts`
- E-31: `packages/babel-types/src/comments/inheritsComments.ts`
- E-32: `packages/babel-types/src/comments/removeComments.ts`

### converters ディレクトリ
- E-33: `packages/babel-types/src/converters/toComputedKey.ts`
- E-34: `packages/babel-types/src/converters/toIdentifier.ts`
- E-35: `packages/babel-types/src/converters/toExpression.ts`
- E-36: `packages/babel-types/src/converters/toBindingIdentifierName.ts`
- E-37: `packages/babel-types/src/converters/toKeyAlias.ts`
- E-38: `packages/babel-types/src/converters/valueToNode.ts`
- E-39: `packages/babel-types/src/converters/ensureBlock.ts`
- E-40: `packages/babel-types/src/converters/toStatement.ts`
- E-41: `packages/babel-types/src/converters/toBlock.ts`

### modifications ディレクトリ
- E-42: `packages/babel-types/src/modifications/inherits.ts`
- E-43: `packages/babel-types/src/modifications/appendToMemberExpression.ts`
- E-44: `packages/babel-types/src/modifications/prependToMemberExpression.ts`
- E-45: `packages/babel-types/src/modifications/removeProperties.ts`
- E-46: `packages/babel-types/src/modifications/removePropertiesDeep.ts`
- E-47: `packages/babel-types/src/modifications/flow/removeTypeDuplicates.ts`
- E-48: `packages/babel-types/src/modifications/typescript/removeTypeDuplicates.ts`

### retrievers ディレクトリ
- E-49: `packages/babel-types/src/retrievers/getBindingIdentifiers.ts`
- E-50: `packages/babel-types/src/retrievers/getOuterBindingIdentifiers.ts`
- E-51: `packages/babel-types/src/retrievers/getAssignmentIdentifiers.ts`
- E-52: `packages/babel-types/src/retrievers/getFunctionName.ts`

### traverse ディレクトリ
- E-53: `packages/babel-types/src/traverse/traverse.ts`
- E-54: `packages/babel-types/src/traverse/traverseFast.ts`

### utils ディレクトリ
- E-55: `packages/babel-types/src/utils/shallowEqual.ts`
- E-56: `packages/babel-types/src/utils/inherit.ts`
- E-57: `packages/babel-types/src/utils/react/cleanJSXElementLiteralChild.ts`

### asserts ディレクトリ
- E-58: `packages/babel-types/src/asserts/assertNode.ts`

### builders ディレクトリ
- E-59: `packages/babel-types/src/builders/validateNode.ts`
- E-60: `packages/babel-types/src/builders/productions.ts`
- E-61: `packages/babel-types/src/builders/flow/createFlowUnionType.ts`
- E-62: `packages/babel-types/src/builders/flow/createTypeAnnotationBasedOnTypeof.ts`
- E-63: `packages/babel-types/src/builders/typescript/createTSUnionType.ts`
- E-64: `packages/babel-types/src/builders/react/buildChildren.ts`

### constants ディレクトリ
- E-65: `packages/babel-types/src/constants/index.ts`

### index
- E-66: `packages/babel-types/src/index.ts`

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

### validators カテゴリ (UT-TYP-001 〜 UT-TYP-054)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | is関数の正常系テスト（タイプ一致） | E-01 | ○ |
| C-02 | is関数のopts付きテスト | E-01 | ○ |
| C-03 | is関数のnull入力テスト | E-01 | ○ |
| C-04 | is関数のundefined入力テスト | E-01 | ○ |
| C-05 | is関数のPlaceholder処理テスト | E-01 | ○ |
| C-06 | isNode関数の正常系テスト | E-02 | ○ |
| C-07 | isNode関数のnull入力テスト | E-02 | ○ |
| C-08 | isNode関数の無効タイプテスト | E-02 | ○ |
| C-09 | isType関数のタイプ一致テスト | E-03 | ○ |
| C-10 | isType関数のエイリアステスト | E-03 | ○ |
| C-11 | isType関数のnull入力テスト | E-03 | ○ |
| C-12 | isValidIdentifier関数の正常系テスト | E-04 | ○ |
| C-13 | isValidIdentifier関数の予約語テスト | E-04 | ○ |
| C-14 | isValidIdentifier関数のreserved=falseテスト | E-04 | ○ |
| C-15 | isValidIdentifier関数の不正型テスト | E-04 | ○ |
| C-16 | validate関数の正常系テスト | E-05 | ○ |
| C-17 | validate関数のnull入力テスト | E-05 | ○ |
| C-18 | validateField関数のテスト | E-05 | ○ |
| C-19 | validateField関数のoptionalテスト | E-05 | ○ |
| C-20 | isBinding関数の正常系テスト | E-06 | ○ |
| C-21 | isBinding関数のObjectExpression特殊ケーステスト | E-06 | ○ |
| C-22 | isBlockScoped関数のFunctionDeclarationテスト | E-07 | ○ |
| C-23 | isBlockScoped関数のClassDeclarationテスト | E-07 | ○ |
| C-24 | isBlockScoped関数のlet/constテスト | E-07 | ○ |
| C-25 | isImmutable関数のImmutableタイプテスト | E-08 | ○ |
| C-26 | isImmutable関数のundefined識別子テスト | E-08 | ○ |
| C-27 | isImmutable関数の通常識別子テスト | E-08 | ○ |
| C-28 | isLet関数のletテスト | E-09 | ○ |
| C-29 | isLet関数のconstテスト | E-09 | ○ |
| C-30 | isLet関数のvar除外テスト | E-09 | ○ |
| C-31 | isNodesEquivalent関数の同一構造テスト | E-10 | ○ |
| C-32 | isNodesEquivalent関数の異タイプテスト | E-10 | ○ |
| C-33 | isNodesEquivalent関数のnull入力テスト | E-10 | ○ |
| C-34 | isNodesEquivalent関数の配列比較テスト | E-10 | ○ |
| C-35 | isPlaceholderType関数の同一タイプテスト | E-11 | ○ |
| C-36 | isPlaceholderType関数のエイリアステスト | E-11 | ○ |
| C-37 | isReferenced関数のMemberExpression objectテスト | E-12 | ○ |
| C-38 | isReferenced関数のMemberExpression propertyテスト | E-12 | ○ |
| C-39 | isReferenced関数のVariableDeclarator initテスト | E-12 | ○ |
| C-40 | isReferenced関数のFunctionDeclarationテスト | E-12 | ○ |
| C-41 | isScope関数のScopableテスト | E-13 | ○ |
| C-42 | isScope関数の関数ボディ除外テスト | E-13 | ○ |
| C-43 | isSpecifierDefault関数のImportDefaultSpecifierテスト | E-14 | ○ |
| C-44 | isSpecifierDefault関数のdefault名テスト | E-14 | ○ |
| C-45 | isVar関数のvarテスト | E-15 | ○ |
| C-46 | isVar関数のlet除外テスト | E-15 | ○ |
| C-47 | matchesPattern関数のパターンマッチテスト | E-16 | ○ |
| C-48 | matchesPattern関数の配列パターンテスト | E-16 | ○ |
| C-49 | matchesPattern関数の部分一致テスト | E-16 | ○ |
| C-50 | matchesPattern関数の非MemberExpressionテスト | E-16 | ○ |
| C-51 | isValidES3Identifier関数のテスト | E-17 | ○ |
| C-52 | isValidES3Identifier関数のES3予約語テスト | E-17 | ○ |
| C-53 | buildMatchMemberExpression関数のテスト | E-18 | ○ |
| C-54 | buildMatchMemberExpression生成関数のテスト | E-18 | ○ |

### clone カテゴリ (UT-TYP-055 〜 UT-TYP-064)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-55 | cloneNode関数のディープクローンテスト | E-21 | ○ |
| C-56 | cloneNode関数のシャロークローンテスト | E-21 | ○ |
| C-57 | cloneNode関数のwithoutLocテスト | E-21 | ○ |
| C-58 | cloneNode関数のnull入力テスト | E-21 | ○ |
| C-59 | cloneNode関数の不明タイプエラーテスト | E-21 | ○ |
| C-60 | cloneNode関数のIdentifier特殊処理テスト | E-21 | ○ |
| C-61 | clone関数のテスト | E-22 | ○ |
| C-62 | cloneDeep関数のテスト | E-23 | ○ |
| C-63 | cloneWithoutLoc関数のテスト | E-24 | ○ |
| C-64 | cloneDeepWithoutLoc関数のテスト | E-25 | ○ |

### comments カテゴリ (UT-TYP-065 〜 UT-TYP-074)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-65 | addComment関数のテスト | E-26 | ○ |
| C-66 | addComment関数のline=trueテスト | E-26 | ○ |
| C-67 | addComments関数の複数コメントテスト | E-27 | ○ |
| C-68 | addComments関数の既存コメント追加テスト | E-27 | ○ |
| C-69 | addComments関数のnull入力テスト | E-27 | ○ |
| C-70 | inheritLeadingComments関数のテスト | E-28 | ○ |
| C-71 | inheritTrailingComments関数のテスト | E-29 | ○ |
| C-72 | inheritInnerComments関数のテスト | E-30 | ○ |
| C-73 | inheritsComments関数のテスト | E-31 | ○ |
| C-74 | removeComments関数のテスト | E-32 | ○ |

### converters カテゴリ (UT-TYP-075 〜 UT-TYP-114)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-75 | toComputedKey関数のIdentifier変換テスト | E-33 | ○ |
| C-76 | toComputedKey関数のcomputed維持テスト | E-33 | ○ |
| C-77 | toIdentifier関数のキャメルケース化テスト | E-34 | ○ |
| C-78 | toIdentifier関数の先頭数字除去テスト | E-34 | ○ |
| C-79 | toIdentifier関数の空文字列テスト | E-34 | ○ |
| C-80 | toExpression関数の式抽出テスト | E-35 | ○ |
| C-81 | toExpression関数のクラス変換テスト | E-35 | ○ |
| C-82 | toExpression関数の関数変換テスト | E-35 | ○ |
| C-83 | toExpression関数のエラーテスト | E-35 | ○ |
| C-84 | toBindingIdentifierName関数の変換テスト | E-36 | ○ |
| C-85 | toBindingIdentifierName関数のeval処理テスト | E-36 | ○ |
| C-86 | toBindingIdentifierName関数のarguments処理テスト | E-36 | ○ |
| C-87 | toKeyAlias関数のIdentifierエイリアステスト | E-37 | ○ |
| C-88 | toKeyAlias関数のStringLiteralエイリアステスト | E-37 | ○ |
| C-89 | toKeyAlias関数のstaticプレフィックステスト | E-37 | ○ |
| C-90 | toKeyAlias.increment関数のテスト | E-37 | ○ |
| C-91 | toKeyAlias.increment関数のオーバーフローテスト | E-37 | ○ |
| C-92 | valueToNode関数のundefined変換テスト | E-38 | ○ |
| C-93 | valueToNode関数のboolean変換テスト | E-38 | ○ |
| C-94 | valueToNode関数のnull変換テスト | E-38 | ○ |
| C-95 | valueToNode関数のstring変換テスト | E-38 | ○ |
| C-96 | valueToNode関数のnumber変換テスト | E-38 | ○ |
| C-97 | valueToNode関数の負数変換テスト | E-38 | ○ |
| C-98 | valueToNode関数のInfinity変換テスト | E-38 | ○ |
| C-99 | valueToNode関数のNaN変換テスト | E-38 | ○ |
| C-100 | valueToNode関数のbigint変換テスト | E-38 | ○ |
| C-101 | valueToNode関数のRegExp変換テスト | E-38 | ○ |
| C-102 | valueToNode関数のArray変換テスト | E-38 | ○ |
| C-103 | valueToNode関数のObject変換テスト | E-38 | ○ |
| C-104 | valueToNode関数のエラーテスト | E-38 | ○ |
| C-105 | ensureBlock関数のブロック変換テスト | E-39 | ○ |
| C-106 | ensureBlock関数の既存ブロック維持テスト | E-39 | ○ |
| C-107 | toStatement関数のStatement維持テスト | E-40 | ○ |
| C-108 | toStatement関数のクラス変換テスト | E-40 | ○ |
| C-109 | toStatement関数の代入式変換テスト | E-40 | ○ |
| C-110 | toStatement関数のignore=trueテスト | E-40 | ○ |
| C-111 | toStatement関数のエラーテスト | E-40 | ○ |
| C-112 | toBlock関数のBlockStatement維持テスト | E-41 | ○ |
| C-113 | toBlock関数の空文変換テスト | E-41 | ○ |
| C-114 | toBlock関数の関数内式変換テスト | E-41 | ○ |

### modifications カテゴリ (UT-TYP-115 〜 UT-TYP-130)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-115 | inherits関数のプロパティ継承テスト | E-42 | ○ |
| C-116 | inherits関数のnull入力テスト | E-42 | ○ |
| C-117 | inherits関数のプライベートプロパティ継承テスト | E-42 | ○ |
| C-118 | appendToMemberExpression関数のテスト | E-43 | ○ |
| C-119 | appendToMemberExpression関数のcomputedテスト | E-43 | ○ |
| C-120 | prependToMemberExpression関数のテスト | E-44 | ○ |
| C-121 | prependToMemberExpression関数のsuperエラーテスト | E-44 | ○ |
| C-122 | removeProperties関数のテスト | E-45 | ○ |
| C-123 | removeProperties関数のpreserveCommentsテスト | E-45 | ○ |
| C-124 | removeProperties関数のプライベートプロパティ削除テスト | E-45 | ○ |
| C-125 | removePropertiesDeep関数のテスト | E-46 | ○ |
| C-126 | removeTypeDuplicates(Flow)関数の重複削除テスト | E-47 | ○ |
| C-127 | removeTypeDuplicates(Flow)関数のany優先テスト | E-47 | ○ |
| C-128 | removeTypeDuplicates(Flow)関数のユニオン展開テスト | E-47 | ○ |
| C-129 | removeTypeDuplicates(TS)関数の重複削除テスト | E-48 | ○ |
| C-130 | removeTypeDuplicates(TS)関数のany優先テスト | E-48 | ○ |

### retrievers カテゴリ (UT-TYP-131 〜 UT-TYP-141)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-131 | getBindingIdentifiers関数の正常系テスト | E-49 | ○ |
| C-132 | getBindingIdentifiers関数のduplicates=trueテスト | E-49 | ○ |
| C-133 | getBindingIdentifiers関数のouterOnly=trueテスト | E-49 | ○ |
| C-134 | getOuterBindingIdentifiers関数のテスト | E-50 | ○ |
| C-135 | getAssignmentIdentifiers関数の正常系テスト | E-51 | ○ |
| C-136 | getAssignmentIdentifiers関数のArrayPatternテスト | E-51 | ○ |
| C-137 | getAssignmentIdentifiers関数のObjectPatternテスト | E-51 | ○ |
| C-138 | getFunctionName関数のid名取得テスト | E-52 | ○ |
| C-139 | getFunctionName関数のプロパティ推論テスト | E-52 | ○ |
| C-140 | getFunctionName関数のgetterプレフィックステスト | E-52 | ○ |
| C-141 | getFunctionName関数のnull戻り値テスト | E-52 | ○ |

### traverse カテゴリ (UT-TYP-142 〜 UT-TYP-148)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-142 | traverse関数の正常系テスト | E-53 | ○ |
| C-143 | traverse関数のexitハンドラテスト | E-53 | ○ |
| C-144 | traverse関数の祖先情報テスト | E-53 | ○ |
| C-145 | traverseFast関数の正常系テスト | E-54 | ○ |
| C-146 | traverseFast関数のskipテスト | E-54 | ○ |
| C-147 | traverseFast関数のstopテスト | E-54 | ○ |
| C-148 | traverseFast関数のnull入力テスト | E-54 | ○ |

### utils カテゴリ (UT-TYP-149 〜 UT-TYP-152)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-149 | shallowEqual関数の等価判定テスト | E-55 | ○ |
| C-150 | shallowEqual関数の不一致判定テスト | E-55 | ○ |
| C-151 | inherit関数のプロパティ継承テスト | E-56 | ○ |
| C-152 | inherit関数の重複除去テスト | E-56 | ○ |

### asserts カテゴリ (UT-TYP-153 〜 UT-TYP-155)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-153 | assertNode関数の正常系テスト | E-58 | ○ |
| C-154 | assertNode関数の無効ノードエラーテスト | E-58 | ○ |
| C-155 | assertNode関数のnullエラーテスト | E-58 | ○ |

### builders カテゴリ (UT-TYP-156 〜 UT-TYP-168)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-156 | validateNode関数のテスト | E-59 | ○ |
| C-157 | validateNode関数のnull入力テスト | E-59 | ○ |
| C-158 | buildUndefinedNode関数のテスト | E-60 | ○ |
| C-159 | createFlowUnionType関数の複数型テスト | E-61 | ○ |
| C-160 | createFlowUnionType関数の単一型テスト | E-61 | ○ |
| C-161 | createTypeAnnotationBasedOnTypeof関数のstringテスト | E-62 | ○ |
| C-162 | createTypeAnnotationBasedOnTypeof関数のfunctionテスト | E-62 | ○ |
| C-163 | createTypeAnnotationBasedOnTypeof関数のエラーテスト | E-62 | ○ |
| C-164 | createTSUnionType関数のテスト | E-63 | ○ |
| C-165 | createTSUnionType関数のTSTypeAnnotation処理テスト | E-63 | ○ |
| C-166 | buildChildren関数のテスト | E-64 | ○ |
| C-167 | buildChildren関数のJSXTextテスト | E-64 | ○ |
| C-168 | buildChildren関数の空式スキップテスト | E-64 | ○ |

### react utils カテゴリ (UT-TYP-169 〜 UT-TYP-175)

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-169 | cleanJSXElementLiteralChild関数の整形テスト | E-57 | ○ |
| C-170 | cleanJSXElementLiteralChild関数の空テキストテスト | E-57 | ○ |
| C-171 | isReactComponent関数のテスト | E-19 | ○ |
| C-172 | isCompatTag関数の小文字タグテスト | E-20 | ○ |
| C-173 | isCompatTag関数の大文字タグテスト | E-20 | ○ |
| C-174 | isCompatTag関数の空文字列テスト | E-20 | ○ |
| C-175 | isCompatTag関数のnull入力テスト | E-20 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし：全てのテストケースに対応するソースコードが存在

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースがソースコードに基づいて生成されている
- 生成されたビルダー関数（`packages/babel-types/src/builders/generated/`）は自動生成コードのため、テストケース一覧には含めていない
- 型定義ファイル（`packages/babel-types/src/ast-types/generated/`）も自動生成のため除外

## 6) レビュアーチェックリスト（最小）
- [ ] 各テストケースの入力値と期待結果が実装と整合しているか
- [ ] 境界値テストが十分にカバーされているか
- [ ] エラーケースの網羅性は適切か
- [ ] 優先度の設定は妥当か（高：コア機能、中：拡張機能、低：非推奨/ユーティリティ）
- [ ] テストID（UT-TYP-XXX）の連番に欠番がないか
