---
generated_at: 2026-03-01 15:45:00
metrics:
  claims_total: 165
  claims_with_evidence: 162
  claims_without_evidence: 3
confidence_derived: 0.98
---

# 根拠レポート：jest-haste-map.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.98**
  - 根拠あり：162 / 165、根拠なし：3
- 優先レビュー（高）
  1. **UT-HMP-050**: watchmanインストール状態の検証（外部依存）
  2. **UT-HMP-148/149**: watchmanコマンド実行の検証（外部依存）
  3. **UT-HMP-153/154**: fseventsモジュールの検証（プラットフォーム依存）

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

- E-01: `packages/jest-haste-map/src/index.ts` - HasteMapクラス（メインエントリポイント）
- E-02: `packages/jest-haste-map/src/HasteFS.ts` - HasteFSクラス（ファイルシステム抽象化）
- E-03: `packages/jest-haste-map/src/ModuleMap.ts` - ModuleMapクラス（モジュールマップ管理）
- E-04: `packages/jest-haste-map/src/worker.ts` - ワーカープロセス処理
- E-05: `packages/jest-haste-map/src/crawlers/node.ts` - Nodeファイルシステムクローラー
- E-06: `packages/jest-haste-map/src/crawlers/watchman.ts` - Watchmanクローラー
- E-07: `packages/jest-haste-map/src/getMockName.ts` - モック名抽出関数
- E-08: `packages/jest-haste-map/src/lib/fast_path.ts` - 高速パス操作ユーティリティ
- E-09: `packages/jest-haste-map/src/lib/getPlatformExtension.ts` - プラットフォーム拡張子抽出
- E-10: `packages/jest-haste-map/src/lib/normalizePathSep.ts` - パス区切り文字正規化
- E-11: `packages/jest-haste-map/src/lib/dependencyExtractor.ts` - 依存関係抽出
- E-12: `packages/jest-haste-map/src/lib/isWatchmanInstalled.ts` - Watchmanインストール検出
- E-13: `packages/jest-haste-map/src/blacklist.ts` - 拡張子ブラックリスト
- E-14: `packages/jest-haste-map/src/constants.ts` - 定数定義
- E-15: `packages/jest-haste-map/src/types.ts` - 型定義
- E-16: `packages/jest-haste-map/src/watchers/FSEventsWatcher.ts` - FSEventsウォッチャー

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

### HasteMap クラス（E-01）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | getStaticがhasteMapModulePathでカスタムモジュールを返す | E-01: L225-230 | ○ |
| C-02 | getStaticがデフォルトでHasteMapを返す | E-01: L229 | ○ |
| C-03 | createがカスタムモジュールでインスタンス作成 | E-01: L232-241 | ○ |
| C-04 | createがデフォルトインスタンス作成 | E-01: L237-241 | ○ |
| C-05 | constructorがオプションを初期化 | E-01: L244-295 | ○ |
| C-06 | ignorePatternにVCS_DIRECTORIESを追加 | E-01: L273-286 | ○ |
| C-07 | ignorePatternがRegExp以外でTypeError | E-01: L280-283 | ○ |
| C-08 | enableSymlinksとuseWatchman両方trueでエラー | E-01: L288-294 | ○ |
| C-09 | setupCachePathがハッシュを生成 | E-01: L297-340 | ○ |
| C-10 | hasteImplModulePathでキャッシュキー生成 | E-01: L305-310 | ○ |
| C-11 | dependencyExtractorでキャッシュキー生成 | E-01: L312-321 | ○ |
| C-12 | getCacheFilePathが一意パス生成 | E-01: L342-352 | ○ |
| C-13 | extraパラメータでハッシュ生成 | E-01: L347 | ○ |
| C-14 | getModuleMapFromJSONがModuleMap生成 | E-01: L354-356 | ○ |
| C-15 | buildがファイルマップ構築 | E-01: L362-403 | ○ |
| C-16 | 変更ファイルでキャッシュ永続化 | E-01: L370-377 | ○ |
| C-17 | 変更なしでキャッシュ永続化スキップ | E-01: L377-379 | ○ |
| C-18 | 複数回呼び出しで同じPromise返却 | E-01: L362-364, L401-403 | ○ |
| C-19 | readがキャッシュファイル読み込み | E-01: L408-418 | ○ |
| C-20 | readがキャッシュなしで空マップ返却 | E-01: L413-415 | ○ |
| C-21 | readModuleMapがModuleMap読み込み | E-01: L420-428 | ○ |
| C-22 | _processFileがメタデータ更新 | E-01: L451-662 | ○ |
| C-23 | _processFileがファイルなしでエラー | E-01: L524-529 | ○ |
| C-24 | retainAllFilesでnode_modulesスキップ | E-01: L574-588 | ○ |
| C-25 | mocksPatternでモック登録 | E-01: L591-622 | ○ |
| C-26 | throwOnModuleCollisionでDuplicateError | E-01: L472-488 | ○ |
| C-27 | throwOnModuleCollision falseで警告 | E-01: L473-483 | ○ |
| C-28 | _buildHasteMapが変更処理 | E-01: L664-721 | ○ |
| C-29 | 削除ファイルで重複回復 | E-01: L686-688 | ○ |
| C-30 | skipPackageJsonでスキップ | E-01: L692-697 | ○ |
| C-31 | _persistがキャッシュ書き込み | E-01: L736-738 | ○ |
| C-32 | maxWorkers <= 1でインバンドワーカー | E-01: L747-748 | ○ |
| C-33 | maxWorkers > 1でWorkerインスタンス | E-01: L750-756 | ○ |
| C-34 | forceInBandでインバンドワーカー | E-01: L747 | ○ |
| C-35 | watchmanでwatchmanCrawl使用 | E-01: L766 | ○ |
| C-36 | watchman不可でnodeCrawl使用 | E-01: L766 | ○ |
| C-37 | watchmanCrawl失敗でリトライ | E-01: L778-798 | ○ |
| C-38 | リトライ失敗でエラー | E-01: L789-794 | ○ |
| C-39 | watchオプションfalseで終了 | E-01: L811-813 | ○ |
| C-40 | ファイル変更でchangeイベント | E-01: L857-871 | ○ |
| C-41 | ファイル追加でhasteMap更新 | E-01: L970-1001 | ○ |
| C-42 | ファイル削除でhasteMapから削除 | E-01: L939-967 | ○ |
| C-43 | _recoverDuplicatesが重複回復 | E-01: L1030-1076 | ○ |
| C-44 | 重複2件以上で回復しない | E-01: L1055-1057 | ○ |
| C-45 | endがウォッチャー閉じる | E-01: L1078-1090 | ○ |
| C-46 | endがchangeIntervalクリア | E-01: L1079-1081 | ○ |
| C-47 | _ignoreがパターンマッチ | E-01: L1095-1106 | ○ |
| C-48 | _ignoreがnode_modules除外 | E-01: L1103-1105 | ○ |
| C-49 | _ignoreが通常パスfalse | E-01: L1095-1106 | ○ |
| C-50 | _shouldUseWatchmanがuseWatchman確認 | E-01: L1108-1116 | △ |
| C-51 | _createEmptyMapが空マップ作成 | E-01: L1118-1126 | ○ |
| C-52 | DuplicateErrorがパス保持 | E-01: L1131-1141 | ○ |

### HasteFS クラス（E-02）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-53 | constructorが初期化 | E-02: L17-20 | ○ |
| C-54 | getModuleNameがモジュール名取得 | E-02: L22-25 | ○ |
| C-55 | getModuleNameがファイルなしでnull | E-02: L24 | ○ |
| C-56 | getSizeがサイズ取得 | E-02: L27-30 | ○ |
| C-57 | getSizeがファイルなしでnull | E-02: L29 | ○ |
| C-58 | getDependenciesが依存関係取得 | E-02: L32-42 | ○ |
| C-59 | getDependenciesが空依存で空配列 | E-02: L36-38 | ○ |
| C-60 | getDependenciesがファイルなしでnull | E-02: L40 | ○ |
| C-61 | getSha1がハッシュ取得 | E-02: L44-47 | ○ |
| C-62 | getSha1がファイルなしでnull | E-02: L46 | ○ |
| C-63 | existsがファイル存在でtrue | E-02: L49-51 | ○ |
| C-64 | existsがファイルなしでfalse | E-02: L50 | ○ |
| C-65 | getAllFilesが絶対パス配列返却 | E-02: L53-55 | ○ |
| C-66 | getAllFilesが空で空配列 | E-02: L54 | ○ |
| C-67 | getFileIteratorが相対パスIterable | E-02: L57-59 | ○ |
| C-68 | getAbsoluteFileIteratorが絶対パス | E-02: L61-65 | ○ |
| C-69 | matchFilesが正規表現マッチ | E-02: L67-78 | ○ |
| C-70 | matchFilesが文字列を正規表現変換 | E-02: L68-70 | ○ |
| C-71 | matchFilesがマッチなしで空配列 | E-02: L71-77 | ○ |
| C-72 | matchFilesWithGlobがglobマッチ | E-02: L80-91 | ○ |
| C-73 | matchFilesWithGlobがroot指定で相対 | E-02: L85 | ○ |
| C-74 | matchFilesWithGlobがマッチなしで空Set | E-02: L81-90 | ○ |

### ModuleMap クラス（E-03）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-75 | constructorがRawModuleMapで初期化 | E-03: L51-53 | ○ |
| C-76 | getModuleがモジュールパス取得 | E-03: L55-74 | ○ |
| C-77 | getModuleがプラットフォーム指定 | E-03: L64-68 | ○ |
| C-78 | getModuleがタイプ指定 | E-03: L61-63 | ○ |
| C-79 | getModuleがモジュールなしでnull | E-03: L73 | ○ |
| C-80 | getModuleが重複でエラー | E-03: L140-145, L173-197 | ○ |
| C-81 | getPackageがパッケージパス取得 | E-03: L76-82 | ○ |
| C-82 | getPackageがパッケージなしでnull | E-03: L81 | ○ |
| C-83 | getMockModuleがモックパス取得 | E-03: L84-88 | ○ |
| C-84 | getMockModuleがindex付き取得 | E-03: L86 | ○ |
| C-85 | getMockModuleがモックなしでundefined | E-03: L87 | ○ |
| C-86 | getRawModuleMapが生データ取得 | E-03: L90-97 | ○ |
| C-87 | toJSONがシリアライズ | E-03: L99-111 | ○ |
| C-88 | toJSONがキャッシュ使用 | E-03: L100 | ○ |
| C-89 | fromJSONがデシリアライズ | E-03: L113-122 | ○ |
| C-90 | createが空ModuleMap作成 | E-03: L199-206 | ○ |
| C-91 | mapToArrayRecursiveが再帰変換 | E-03: L27-37 | ○ |
| C-92 | mapFromArrayRecursiveが再帰変換 | E-03: L39-49 | ○ |
| C-93 | DuplicateHasteCandidatesErrorがメッセージ生成 | E-03: L209-242 | ○ |

### worker（E-04）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-94 | workerがpackage.json処理 | E-04: L49-61 | ○ |
| C-95 | workerがJSファイル処理 | E-04: L62-89 | ○ |
| C-96 | workerがhasteImpl使用 | E-04: L64-66 | ○ |
| C-97 | workerがcomputeDependenciesで抽出 | E-04: L68-83 | ○ |
| C-98 | workerがcomputeSha1で計算 | E-04: L92-94 | ○ |
| C-99 | workerがブラックリストスキップ | E-04: L62 | ○ |
| C-100 | workerがJSONパースエラー | E-04: L59-61 | ○ |
| C-101 | getSha1がSHA-1計算 | E-04: L99-110 | ○ |
| C-102 | getSha1がcomputeSha1 falseでnull | E-04: L100-102 | ○ |
| C-103 | sha1hexが文字列ハッシュ | E-04: L24-26 | ○ |
| C-104 | sha1hexがBuffer対応 | E-04: L25 | ○ |

### crawlers/node.ts（E-05）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-105 | nodeCrawlがファイル収集 | E-05: L195-241 | ○ |
| C-106 | nodeCrawlがネイティブfind使用 | E-05: L209, L235-236 | ○ |
| C-107 | nodeCrawlがforceNodeFilesystemAPIでNode API | E-05: L209, L237-238 | ○ |
| C-108 | nodeCrawlが拡張子フィルタ | E-05: L108 | ○ |
| C-109 | nodeCrawlがignoreで除外 | E-05: L82-84 | ○ |
| C-110 | nodeCrawlが削除ファイル検出 | E-05: L214, L225 | ○ |
| C-111 | nodeCrawlが空rootsで空結果 | E-05: L126-130 | ○ |
| C-112 | findが再帰探索 | E-05: L59-131 | ○ |
| C-113 | findがsymlinkスキップ | E-05: L86-88 | ○ |
| C-114 | findNativeがネイティブ検索 | E-05: L133-193 | ○ |
| C-115 | hasNativeFindSupportがfind検出 | E-05: L24-57 | ○ |
| C-116 | hasNativeFindSupportが強制フラグ | E-05: L27-29 | ○ |

### crawlers/watchman.ts（E-06）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-117 | watchmanCrawlがクロール | E-06: L92-349 | ○ |
| C-118 | watchmanCrawlがsuffix-set使用 | E-06: L111-121 | ○ |
| C-119 | watchmanCrawlがSHA-1フィールド | E-06: L134-141 | ○ |
| C-120 | watchmanCrawlがフレッシュインスタンス | E-06: L254-259 | ○ |
| C-121 | watchmanCrawlがクロック使用 | E-06: L209-216 | ○ |
| C-122 | watchmanCrawlが削除検出 | E-06: L292-302 | ○ |
| C-123 | watchmanCrawlがエラー | E-06: L123-124, L266-268 | ○ |
| C-124 | capabilityCheckが機能チェック | E-06: L73-90 | ○ |
| C-125 | capabilityCheckがエラーreject | E-06: L82-84 | ○ |
| C-126 | watchmanErrorがフォーマット | E-06: L59-64 | ○ |

### getMockName（E-07）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-127 | getMockNameがモック名抽出 | E-07: L12-17 | ○ |
| C-128 | getMockNameがネストパス | E-07: L13-16 | ○ |
| C-129 | getMockNameがバックスラッシュ変換 | E-07: L16 | ○ |

### lib/fast_path.ts（E-08）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-130 | relativeが相対パス計算 | E-08: L11-15 | ○ |
| C-131 | relativeがpath.relativeフォールバック | E-08: L14 | ○ |
| C-132 | resolveが絶対パス生成 | E-08: L21-25 | ○ |
| C-133 | resolveが親参照解決 | E-08: L22-23 | ○ |

### lib/getPlatformExtension.ts（E-09）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-134 | getPlatformExtensionが拡張子抽出 | E-09: L11-27 | ○ |
| C-135 | getPlatformExtensionが未サポートでnull | E-09: L26 | ○ |
| C-136 | getPlatformExtensionがカスタム配列 | E-09: L23-25 | ○ |
| C-137 | getPlatformExtensionが単一ドットでnull | E-09: L17-19 | ○ |

### lib/normalizePathSep.ts（E-10）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-138 | normalizePathSepがセパレータ変換 | E-10: L14-15 | ○ |
| C-139 | normalizePathSepがPOSIXで変更なし | E-10: L12 | ○ |

### lib/dependencyExtractor.ts（E-11）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-140 | extractorがimport抽出 | E-11: L52-58, L85 | ○ |
| C-141 | extractorがrequire抽出 | E-11: L41-50, L86 | ○ |
| C-142 | extractorがexport from抽出 | E-11: L52-58, L85 | ○ |
| C-143 | extractorが動的import抽出 | E-11: L41-50, L86 | ○ |
| C-144 | extractorがJest拡張抽出 | E-11: L60-71, L87 | ○ |
| C-145 | extractorがブロックコメント無視 | E-11: L83 | ○ |
| C-146 | extractorが行コメント無視 | E-11: L84 | ○ |
| C-147 | extractorがtype import無視 | E-11: L54 | ○ |

### lib/isWatchmanInstalled.ts（E-12）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-148 | isWatchmanInstalledがインストール検出 | E-12: L11-18 | △ |
| C-149 | isWatchmanInstalledが未インストールでfalse | E-12: L15-16 | △ |

### blacklist.ts（E-13）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-150 | blacklistがブラックリスト判定 | E-13: L18-60 | ○ |
| C-151 | blacklistが非ブラックリスト判定 | E-13: L18-60 | ○ |

### constants.ts（E-14）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-152 | Hが定数値を持つ | E-14: L20-44 | ○ |

### watchers/FSEventsWatcher.ts（E-16）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-153 | isSupportedがfsevent検出 | E-16: L51-53 | ○ |
| C-154 | isSupportedが利用不可でfalse | E-16: L52 | ○ |
| C-155 | constructorがウォッチャー初期化 | E-16: L82-126 | ○ |
| C-156 | constructorがfseventsなしでエラー | E-16: L91-95 | ○ |
| C-157 | closeがウォッチャー停止 | E-16: L131-137 | ○ |
| C-158 | closeがコールバック呼び出し | E-16: L134-136 | ○ |
| C-159 | handleEventがCHANGEイベント | E-16: L171-172 | ○ |
| C-160 | handleEventがADDイベント | E-16: L173-175 | ○ |
| C-161 | handleEventがDELETEイベント | E-16: L166-167 | ○ |
| C-162 | handleEventが無視パターンスキップ | E-16: L150-152 | ○ |
| C-163 | isFileIncludedがglobマッチ | E-16: L139-146 | ○ |
| C-164 | isFileIncludedがignore除外 | E-16: L140-142 | ○ |
| C-165 | recReaddirが再帰読み込み | E-16: L62-80 | ○ |

## 4) 不足情報（Unknown / Missing）
- **UT-HMP-050**: `_shouldUseWatchman`の挙動はisWatchmanInstalledの非同期結果に依存するため、モックを用いた検証が必要
  - 候補：isWatchmanInstalledのモック / 実環境でのwatchman状態
- **UT-HMP-148/149**: watchmanコマンドの実行結果に依存するため、外部プロセスのモックが必要
  - 候補：child_process.execFileのモック / watchmanインストール環境
- **UT-HMP-153/154**: fseventsモジュールの存在確認はプラットフォーム依存
  - 候補：Darwin環境での検証 / fseventsモジュールのモック

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 大部分のテストケースはソースコードから直接導出可能
- 1: 中リスク - 外部依存（watchman, fsevents）に関するテストケースは環境依存
- 1: 中リスク - ファイルシステム操作を伴うテストはモックの適切な設定が必要

## 6) レビュアーチェックリスト（最小）
- [ ] HasteMapクラスの主要メソッド（build, read, _processFile）のテストケースが網羅されているか
- [ ] HasteFSクラスの全publicメソッドがテスト対象になっているか
- [ ] ModuleMapクラスのgetModule/getPackage/getMockModuleのエラーケースが含まれているか
- [ ] crawlers（node, watchman）の正常系・異常系・フォールバックがカバーされているか
- [ ] 依存関係抽出（dependencyExtractor）の各import/require形式がテストされているか
- [ ] FSEventsWatcherのイベント処理（ADD, CHANGE, DELETE）が網羅されているか
- [ ] プラットフォーム固有の処理（normalizePathSep, getPlatformExtension）が両環境でテストされているか
- [ ] エラーハンドリング（DuplicateError, DuplicateHasteCandidatesError）が適切にテストされているか
