---
generated_at: 2026-03-01 16:00:00
metrics:
  claims_total: 115
  claims_with_evidence: 115
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：jest-util 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `packages/jest-util/src/clearLine.ts` - TTYストリームへの行クリア処理
- E-02: `packages/jest-util/src/createDirectory.ts` - ディレクトリ作成処理（recursive: true）
- E-03: `packages/jest-util/src/ErrorWithStack.ts` - スタックトレース付きエラークラス
- E-04: `packages/jest-util/src/formatTime.ts` - 時間フォーマット関数（プレフィックス対応）
- E-05: `packages/jest-util/src/globsToMatcher.ts` - globパターンからマッチャー生成
- E-06: `packages/jest-util/src/installCommonGlobals.ts` - グローバルオブジェクト設定
- E-07: `packages/jest-util/src/interopRequireDefault.ts` - ESM/CJSインターオペラビリティ
- E-08: `packages/jest-util/src/invariant.ts` - 条件アサーション関数
- E-09: `packages/jest-util/src/isInteractive.ts` - インタラクティブ環境検出
- E-10: `packages/jest-util/src/isNonNullable.ts` - null/undefined判定
- E-11: `packages/jest-util/src/isPromise.ts` - Promise/thenable判定
- E-12: `packages/jest-util/src/pluralize.ts` - 複数形化関数
- E-13: `packages/jest-util/src/preRunMessage.ts` - 事前実行メッセージ出力
- E-14: `packages/jest-util/src/replacePathSepForGlob.ts` - パス区切り変換
- E-15: `packages/jest-util/src/requireOrImportModule.ts` - モジュールロード（CJS/ESM両対応）
- E-16: `packages/jest-util/src/setGlobal.ts` - グローバル変数設定
- E-17: `packages/jest-util/src/tryRealpath.ts` - シンボリックリンク解決
- E-18: `packages/jest-util/src/deepCyclicCopy.ts` - 循環参照対応深いコピー
- E-19: `packages/jest-util/src/convertDescriptorToString.ts` - ディスクリプタ文字列変換
- E-20: `packages/jest-util/src/createProcessObject.ts` - processオブジェクト作成
- E-21: `packages/jest-util/src/garbage-collection-utils.ts` - GCユーティリティ
- E-22: `packages/jest-util/src/specialChars.ts` - 特殊文字定数

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

### clearLine.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | TTY環境で行がクリアされること | E-01: L10-14 `if (stream.isTTY) { stream.write('\u001B[999D\u001B[K') }` | ○ |
| C-02 | 非TTY環境では何も書き込まないこと | E-01: L10-14 条件分岐でisTTYがfalseの場合は何もしない | ○ |

### createDirectory.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-03 | ディレクトリが再帰的に作成されること | E-02: L12 `fs.mkdirSync(path, {recursive: true})` | ○ |
| C-04 | 既存ディレクトリでエラーにならないこと | E-02: L13-16 `if (error.code !== 'EEXIST') { throw error }` | ○ |
| C-05 | 権限エラーが再スローされること | E-02: L13-16 EEXIST以外のエラーは再スロー | ○ |

### ErrorWithStack.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-06 | メッセージ付きエラーが作成されること | E-03: L20 `super(message)` | ○ |
| C-07 | スタックトレースがcallsiteから開始されること | E-03: L21-23 `Error.captureStackTrace(this, callsite)` | ○ |
| C-08 | stackLimitが適用されること | E-03: L16-18 `Error.stackTraceLimit = Math.max(stackLimit, originalStackLimit || 10)` | ○ |
| C-09 | stackLimitがoriginalより小さい場合は無視されること | E-03: L17 `Math.max(stackLimit, originalStackLimit || 10)` | ○ |

### formatTime.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-10 | ミリ秒でフォーマットされること | E-04: L13 `prefixes = ['n', 'μ', 'm', '']` でデフォルト-3で'ms' | ○ |
| C-11 | マイクロ秒でフォーマットされること | E-04: prefixes配列のインデックス計算 | ○ |
| C-12 | ナノ秒でフォーマットされること | E-04: prefixes[0] = 'n' | ○ |
| C-13 | 秒でフォーマットされること | E-04: prefixes[3] = '' | ○ |
| C-14 | 左パディングが適用されること | E-04: L21 `String(time).padStart(padLeftLength)` | ○ |
| C-15 | 0がフォーマットされること | E-04: 数値0も文字列変換される | ○ |
| C-16 | 負のprefixPowerが範囲外の場合クランプされること | E-04: L14-19 Math.max/Math.min でクランプ | ○ |

### globsToMatcher.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-17 | 単一globパターンがマッチすること | E-05: L46-61 picomatchを使用したマッチング | ○ |
| C-18 | 複数globパターンがORでマッチすること | E-05: L63-96 複数マッチャーのループ処理 | ○ |
| C-19 | 否定パターンが除外すること | E-05: L77-81 `if (!matched && negated) { kept = false }` | ○ |
| C-20 | 空配列で常にfalseが返ること | E-05: L40-44 `if (globs.length === 0) { return () => false }` | ○ |
| C-21 | 否定パターンのみでマッチすること | E-05: L89-95 `negatives === matchers.length` の条件 | ○ |
| C-22 | 否定パターンのみで除外されること | E-05: L95 `kept !== false` | ○ |
| C-23 | picomatchオプションが適用されること | E-05: L39, L48 オプションのマージ | ○ |
| C-24 | Windowsパス区切りが変換されること | E-05: L64 `replacePathSepForGlob(path)` | ○ |

### installCommonGlobals.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-25 | processオブジェクトが設定されること | E-06: L24 `globalObject.process = createProcessObject()` | ○ |
| C-26 | jest-native-promiseシンボルが設定されること | E-06: L29-33 `Symbol.for('jest-native-promise')` | ○ |
| C-27 | globalsがマージされること | E-06: L77 `Object.assign(globalObject, deepCyclicCopy(globals))` | ○ |
| C-28 | GC削除モードが初期化されること | E-06: L70-75 `initializeGarbageCollectionUtils` 呼び出し | ○ |

### interopRequireDefault.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-29 | ESモジュールがそのまま返されること | E-07: L11 `obj && obj.__esModule ? obj : ...` | ○ |
| C-30 | CommonJSモジュールがラップされること | E-07: L11 `{default: obj}` | ○ |
| C-31 | nullがラップされること | E-07: `obj &&` でfalsy値は `{default: obj}` に | ○ |
| C-32 | undefinedがラップされること | E-07: 同上 | ○ |

### invariant.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-33 | truthy値でエラーがスローされないこと | E-08: L12 `if (!condition)` | ○ |
| C-34 | falsy値でエラーがスローされること | E-08: L13 `throw new Error(message)` | ○ |
| C-35 | カスタムメッセージがエラーに含まれること | E-08: L9 `message = ''` デフォルト引数 | ○ |
| C-36 | 空文字列でエラーがスローされること | E-08: 空文字列はfalsy | ○ |
| C-37 | 0でエラーがスローされること | E-08: 0はfalsy | ○ |

### isInteractive.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-38 | CI環境でfalseが返ること | E-09: L11-13 `if (isCI) { return false }` | ○ |
| C-39 | TTY環境でtrueが返ること | E-09: L20-22 `if (process.stdout.isTTY) { return process.env.TERM !== 'dumb' }` | ○ |
| C-40 | dumbターミナルでfalseが返ること | E-09: L21 `TERM !== 'dumb'` | ○ |
| C-41 | process.stdoutがnullでfalseが返ること | E-09: L16-18 `if (process.stdout == null) { return false }` | ○ |

### isNonNullable.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-42 | オブジェクトでtrueが返ること | E-10: L9 `value != null` | ○ |
| C-43 | 文字列でtrueが返ること | E-10: 同上 | ○ |
| C-44 | 0でtrueが返ること | E-10: 0 != nullはtrue | ○ |
| C-45 | nullでfalseが返ること | E-10: null != nullはfalse | ○ |
| C-46 | undefinedでfalseが返ること | E-10: undefined != nullはfalse | ○ |

### isPromise.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-47 | Promiseでtrueが返ること | E-11: L11-15 条件チェック | ○ |
| C-48 | thenableオブジェクトでtrueが返ること | E-11: L14 `typeof (candidate as any).then === 'function'` | ○ |
| C-49 | thenableな関数でtrueが返ること | E-11: L13 `typeof candidate === 'function'` | ○ |
| C-50 | 通常オブジェクトでfalseが返ること | E-11: thenプロパティがないのでfalse | ○ |
| C-51 | nullでfalseが返ること | E-11: L12 `candidate != null` | ○ |
| C-52 | undefinedでfalseが返ること | E-11: 同上 | ○ |
| C-53 | プリミティブでfalseが返ること | E-11: L13 typeofチェック | ○ |

### pluralize.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-54 | count=2で複数形が返ること | E-12: L13 `count === 1 ? '' : ending` | ○ |
| C-55 | count=1で単数形が返ること | E-12: 同上 | ○ |
| C-56 | カスタム語尾が適用されること | E-12: L11 `ending = 's'` デフォルト引数 | ○ |
| C-57 | count=0で複数形が返ること | E-12: 0 !== 1 なので複数形 | ○ |

### preRunMessage.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-58 | インタラクティブ環境でメッセージが出力されること | E-13: L14-16 `if (isInteractive) { stream.write(...) }` | ○ |
| C-59 | 非インタラクティブ環境では何も出力されないこと | E-13: isInteractiveがfalseの場合は何もしない | ○ |
| C-60 | インタラクティブ環境で行がクリアされること | E-13: L20-22 `if (isInteractive) { clearLine(stream) }` | ○ |
| C-61 | 非インタラクティブ環境では何もしないこと | E-13: 同上 | ○ |

### replacePathSepForGlob.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-62 | バックスラッシュがスラッシュに変換されること | E-14: L9 `path.replaceAll(/\\(?![$()+.?^{}])/g, '/')` | ○ |
| C-63 | 既にスラッシュのパスは変更されないこと | E-14: 正規表現がマッチしない | ○ |
| C-64 | エスケープシーケンスが保持されること | E-14: 否定先読み `(?![$()+.?^{}])` | ○ |
| C-65 | 空文字列で空文字列が返ること | E-14: replaceAllは空文字列を返す | ○ |

### requireOrImportModule.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-66 | CommonJSモジュールがロードされること | E-15: L59 `require(filePath)` | ○ |
| C-67 | .mjsファイルがESMとしてロードされること | E-15: L55-57 `if (filePath.endsWith('.mjs'))` | ○ |
| C-68 | ESMモジュールがdynamic importでロードされること | E-15: L65-69 `ERR_REQUIRE_ESM` | ○ |
| C-69 | interopRequireDefaultがスキップされること | E-15: L60-62 `if (!applyInteropRequireDefault) { return requiredModule }` | ○ |
| C-70 | 相対パスでエラーがスローされること | E-15: L49-52 | ○ |
| C-71 | ESMでdefaultエクスポートがない場合エラーがスローされること | E-15: L28-31 | ○ |

### setGlobal.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-72 | グローバル変数が設定されること | E-16: L20 `Reflect.set(globalToMutate, key, value)` | ○ |
| C-73 | シンボルキーで設定できること | E-16: L15 `key: string | symbol` | ○ |
| C-74 | afterTeardown='retain'でプロパティが保護されること | E-16: L21-23 | ○ |
| C-75 | afterTeardown='clean'でプロパティが保護されないこと | E-16: L19 デフォルト値 | ○ |

### tryRealpath.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-76 | シンボリックリンクが解決されること | E-17: L12 `realpathSync.native(path)` | ○ |
| C-77 | ENOENTエラーで元のパスが返ること | E-17: L14 `error.code !== 'ENOENT'` | ○ |
| C-78 | EISDIRエラーで元のパスが返ること | E-17: L14 `error.code !== 'EISDIR'` | ○ |
| C-79 | その他のエラーが再スローされること | E-17: L15 `throw error` | ○ |

### deepCyclicCopy.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-80 | オブジェクトが深くコピーされること | E-18: L28 `deepCyclicCopyObject` | ○ |
| C-81 | 配列が深くコピーされること | E-18: L26 `deepCyclicCopyArray` | ○ |
| C-82 | 循環参照が正しく処理されること | E-18: L23-24 `cycles.has(value)` | ○ |
| C-83 | プリミティブがそのまま返ること | E-18: L21 `typeof value !== 'object'` | ○ |
| C-84 | nullがそのまま返ること | E-18: L21 `value === null` | ○ |
| C-85 | Bufferがそのまま返ること | E-18: L21 `Buffer.isBuffer(value)` | ○ |
| C-86 | blacklistで除外されること | E-18: L46-49 | ○ |
| C-87 | keepPrototypeでプロトタイプが保持されること | E-18: L37-38 | ○ |

### convertDescriptorToString.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-88 | 文字列がそのまま返ること | E-19: L25 `case 'string': return descriptor` | ○ |
| C-89 | 数値が文字列に変換されること | E-19: L22 `case 'number': return \`${descriptor}\`` | ○ |
| C-90 | undefinedが'undefined'に変換されること | E-19: L22 `case 'undefined'` | ○ |
| C-91 | 名前付き関数の名前が返ること | E-19: L15-17 `if (descriptor.name) { return descriptor.name }` | ○ |
| C-92 | 名前なし関数でエラーがスローされること | E-19: L28-30 `throw new Error(...)` | ○ |
| C-93 | オブジェクトでエラーがスローされること | E-19: 同上 | ○ |

### createProcessObject.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-94 | 新しいprocessオブジェクトが作成されること | E-20: L83-88 `deepCyclicCopy(process, ...)` | ○ |
| C-95 | envプロパティがProxyで設定されること | E-20: L63-80 `new Proxy(...)` | ○ |
| C-96 | sendメソッドが常にtrueを返すこと | E-20: L112 `newProcess.send = () => true` | ○ |
| C-97 | toStringTagが'process'に設定されること | E-20: L92 `Symbol.toStringTag` | ○ |
| C-98 | envの値が文字列に変換されること | E-20: L68 `const strValue = \`${value}\`` | ○ |
| C-99 | Windows環境で大文字小文字を区別しないこと | E-20: L55-60 `getPropertyWin32` | ○ |

### garbage-collection-utils.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-100 | 削除モードが初期化されること | E-21: L52 `Reflect.set(globalObject, DELETION_MODE_SYMBOL, deletionMode)` | ○ |
| C-101 | 既に初期化済みの場合は警告が出ること | E-21: L40-50 | ○ |
| C-102 | オブジェクトのプロパティが削除されること | E-21: L61-73 `deleteProperties` | ○ |
| C-103 | 保護されたプロパティは削除されないこと | E-21: L68 `!protectedKeys.includes(key)` | ○ |
| C-104 | 削除モード'off'では何もしないこと | E-21: L62 `getDeletionMode() !== 'off'` | ○ |
| C-105 | 全プロパティが保護されること | E-21: L88 `properties: Array<keyof T> = []` | ○ |
| C-106 | 指定プロパティのみ保護されること | E-21: L112 `getProtectedKeys` | ○ |
| C-107 | ネストしたプロパティも保護されること | E-21: L113-119 depth処理 | ○ |
| C-108 | オブジェクトでtrueが返ること | E-21: L134-141 `canDeleteProperties` | ○ |
| C-109 | 関数でtrueが返ること | E-21: L137 `type === 'function'` | ○ |
| C-110 | nullでfalseが返ること | E-21: L135 `value !== null` | ○ |
| C-111 | プリミティブでfalseが返ること | E-21: L137 typeチェック | ○ |

### specialChars.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-112 | 矢印文字が定義されていること | E-22: L10 `ARROW = ' \u203A '` | ○ |
| C-113 | アイコンオブジェクトが定義されていること | E-22: L11-16 `ICONS = {...}` | ○ |
| C-114 | 画面クリア文字が定義されていること | E-22: L18-20 `CLEAR = ...` | ○ |
| C-115 | Windows環境で異なるアイコンが使用されること | E-22: L8, L12-13 `isWindows` 条件分岐 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし - 全テストケースに対して、ソースコードから根拠を特定できました。

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全115テストケースがソースコードに基づいており、根拠が明確です。

## 6) レビュアーチェックリスト（最小）
- [ ] 各関数の正常系テストケースが網羅されているか
- [ ] 境界値テストケースが適切に設定されているか
- [ ] 異常系テストケース（null/undefined、エラー処理）が網羅されているか
- [ ] プラットフォーム依存の処理（Windows/Unix）がテストされているか
- [ ] 循環参照などの特殊なケースがテストされているか
