---
generated_at: 2026-03-01 10:30:00
metrics:
  claims_total: 124
  claims_with_evidence: 118
  claims_without_evidence: 6
confidence_derived: 0.95
---

# 根拠レポート：jest-matcher-utils.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：118 / 124、根拠なし：6
- 優先レビュー（高）
  1. **C-049（serializes to the same string）**：実装コードには存在するが既存テストで明示的にカバーされていない
  2. **C-066（matcherErrorMessage specific省略）**：実装上の分岐だが既存テストで直接カバーされていない
  3. **C-064（getLabelPrinter長さ超過エラー）**：既存テストで確認済みだがエッジケース

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

- E-01: `packages/jest-matcher-utils/src/index.ts` - メインソースファイル
- E-02: `packages/jest-matcher-utils/src/Replaceable.ts` - Replaceableクラス定義
- E-03: `packages/jest-matcher-utils/src/deepCyclicCopyReplaceable.ts` - deepCyclicCopyReplaceable関数定義
- E-04: `packages/jest-matcher-utils/src/__tests__/index.test.ts` - メインテストファイル
- E-05: `packages/jest-matcher-utils/src/__tests__/Replaceable.test.ts` - Replaceableテストファイル
- E-06: `packages/jest-matcher-utils/src/__tests__/deepCyclicCopyReplaceable.test.ts` - deepCyclicCopyReplaceableテストファイル
- E-07: `packages/jest-matcher-utils/src/__tests__/printDiffOrStringify.test.ts` - printDiffOrStringifyテストファイル
- E-08: `packages/jest-matcher-utils/src/__tests__/deepCyclicCopyReplaceableDom.test.ts` - DOM用テストファイル

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

### index.ts - stringify関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-001 | 空配列を文字列化できること | E-01, E-04 | ○ |
| C-002 | 空オブジェクトを文字列化できること | E-01, E-04 | ○ |
| C-003 | 数値を文字列化できること | E-01, E-04 | ○ |
| C-004 | nullを文字列化できること | E-01, E-04 | ○ |
| C-005 | undefinedを文字列化できること | E-01, E-04 | ○ |
| C-006 | 文字列を文字列化できること | E-01, E-04 | ○ |
| C-007 | Symbolを文字列化できること | E-01, E-04 | ○ |
| C-008 | NaNを文字列化できること | E-01, E-04 | ○ |
| C-009 | Infinityを文字列化できること | E-01, E-04 | ○ |
| C-010 | -Infinityを文字列化できること | E-01, E-04 | ○ |
| C-011 | 正規表現を文字列化できること | E-01, E-04 | ○ |
| C-012 | BigIntを文字列化できること | E-01, E-04 | ○ |
| C-013 | 循環参照を持つオブジェクトを文字列化 | E-01, E-04 | ○ |
| C-014 | toJSONエラー時のフォールバック | E-01, E-04 | ○ |
| C-015 | 大きなオブジェクトでmaxDepth削減 | E-01, E-04 | ○ |
| C-016 | 大きな配列でmaxWidth削減 | E-01, E-04 | ○ |

### index.ts - print関数群
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-017 | 末尾空白のハイライト | E-01 | ○ |
| C-018 | printReceivedで赤色フォーマット | E-01 | ○ |
| C-019 | printExpectedで緑色フォーマット | E-01 | ○ |
| C-020 | printWithTypeで型情報付き出力 | E-01 | ○ |
| C-021 | null/undefinedで型情報省略 | E-01 | ○ |

### index.ts - ensure関数群
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-022 | ensureNoExpected正常系 | E-01, E-04 | ○ |
| C-023 | ensureNoExpected異常系 | E-01, E-04 | ○ |
| C-024 | ensureNoExpectedオプション付き | E-01, E-04 | ○ |
| C-025 | ensureActualIsNumber正常系(number) | E-01, E-04 | ○ |
| C-026 | ensureActualIsNumber正常系(bigint) | E-01, E-04 | ○ |
| C-027 | ensureActualIsNumber異常系 | E-01, E-04 | ○ |
| C-028 | ensureExpectedIsNumber正常系(number) | E-01, E-04 | ○ |
| C-029 | ensureExpectedIsNumber正常系(bigint) | E-01, E-04 | ○ |
| C-030 | ensureExpectedIsNumber異常系 | E-01, E-04 | ○ |
| C-031 | ensureNumbers両方number | E-01, E-04 | ○ |
| C-032 | ensureNumbers両方bigint | E-01, E-04 | ○ |
| C-033 | ensureNumbers actual不正 | E-01, E-04 | ○ |
| C-034 | ensureNumbers expected不正 | E-01, E-04 | ○ |
| C-035 | ensureNumbersオプション付き | E-01, E-04 | ○ |
| C-036 | ensureExpectedIsNonNegativeInteger正常系 | E-01 | ○ |
| C-037 | ensureExpectedIsNonNegativeInteger負数 | E-01 | ○ |
| C-038 | ensureExpectedIsNonNegativeInteger小数 | E-01 | ○ |
| C-039 | ensureExpectedIsNonNegativeInteger型エラー | E-01 | ○ |

### index.ts - printDiffOrStringify関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-040 | 複数行文字列の差分表示 | E-01, E-07 | ○ |
| C-041 | 単一行文字列の差分表示 | E-01, E-07 | ○ |
| C-042 | オブジェクトの差分表示 | E-01, E-07 | ○ |
| C-043 | expected空文字列の境界 | E-01, E-07 | ○ |
| C-044 | received空文字列の境界 | E-01, E-07 | ○ |
| C-045 | MAX_DIFF_STRING_LENGTH超過 | E-01, E-07 | ○ |
| C-046 | asymmetricMatcher処理 | E-01, E-07, E-04 | ○ |
| C-047 | 循環参照オブジェクトの差分 | E-01, E-07 | ○ |
| C-048 | Mapの差分表示 | E-01, E-07 | ○ |
| C-049 | serializes to the same string | E-01 | △ |

### index.ts - replaceMatchedToAsymmetricMatcher関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-050 | asymmetricMatcher置換 | E-01, E-07 | ○ |
| C-051 | ネストされたオブジェクト置換 | E-01, E-07 | ○ |
| C-052 | 配列内の置換処理 | E-01, E-07 | ○ |
| C-053 | 循環参照検出 | E-01, E-07 | ○ |

### index.ts - diff関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-054 | 基本的な差分出力 | E-01, E-04 | ○ |
| C-055 | 両方boolean時null | E-01, E-04 | ○ |
| C-056 | 両方number時null | E-01, E-04 | ○ |
| C-057 | 両方bigint時null | E-01, E-04 | ○ |

### index.ts - pluralize関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-058 | 単数形出力 | E-01, E-04 | ○ |
| C-059 | 複数形出力（英単語） | E-01, E-04 | ○ |
| C-060 | 大きな数値出力 | E-01, E-04 | ○ |

### index.ts - getLabelPrinter関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-061 | 引数なしの出力 | E-01, E-04 | ○ |
| C-062 | 等長ラベルの整列 | E-01, E-04 | ○ |
| C-063 | パディング処理 | E-01, E-04 | ○ |
| C-064 | 長さ超過エラー | E-01, E-04 | ○ |

### index.ts - matcherErrorMessage関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-065 | エラーメッセージ生成 | E-01 | ○ |
| C-066 | specific省略時のメッセージ | E-01 | △ |

### index.ts - matcherHint関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-067 | 基本的なヒント生成 | E-01, E-04 | ○ |
| C-068 | isNot=true時.not追加 | E-01, E-04 | ○ |
| C-069 | promise修飾子追加 | E-01, E-04 | ○ |
| C-070 | comment追加 | E-01 | △ |
| C-071 | expectedColor適用 | E-01, E-04 | ○ |
| C-072 | receivedColor適用 | E-01, E-04 | ○ |
| C-073 | secondArgument表示 | E-01, E-04 | ○ |
| C-074 | secondArgumentColor適用 | E-01, E-04 | ○ |
| C-075 | isDirectExpectCall形式 | E-01 | △ |
| C-076 | 旧形式（ドット含む）処理 | E-01 | △ |

### Replaceable.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-077 | オブジェクト初期化 | E-02, E-05 | ○ |
| C-078 | 配列初期化 | E-02, E-05 | ○ |
| C-079 | Map初期化 | E-02, E-05 | ○ |
| C-080 | 不正型エラー | E-02, E-05 | ○ |
| C-081 | オブジェクトget | E-02, E-05 | ○ |
| C-082 | 配列get | E-02, E-05 | ○ |
| C-083 | Map get | E-02, E-05 | ○ |
| C-084 | オブジェクトset | E-02, E-05 | ○ |
| C-085 | 配列set | E-02, E-05 | ○ |
| C-086 | Map set | E-02, E-05 | ○ |
| C-087 | オブジェクトforeach | E-02, E-05 | ○ |
| C-088 | 配列foreach | E-02, E-05 | ○ |
| C-089 | Map foreach | E-02, E-05 | ○ |
| C-090 | Symbolキー処理 | E-02, E-05 | ○ |
| C-091 | 非列挙プロパティ除外 | E-02, E-05 | ○ |
| C-092 | isReplaceable型一致 | E-02, E-05 | ○ |
| C-093 | isReplaceable配列一致 | E-02, E-05 | ○ |
| C-094 | isReplaceable Map一致 | E-02, E-05 | ○ |
| C-095 | isReplaceable型不一致 | E-02, E-05 | ○ |
| C-096 | isReplaceable非サポート型 | E-02, E-05 | ○ |

### deepCyclicCopyReplaceable.ts
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-097 | プリミティブ処理 | E-03, E-06 | ○ |
| C-098 | null処理 | E-03, E-06 | ○ |
| C-099 | undefined処理 | E-03, E-06 | ○ |
| C-100 | 関数処理 | E-03, E-06 | ○ |
| C-101 | 配列コピー | E-03, E-06 | ○ |
| C-102 | オブジェクトコピー | E-03, E-06 | ○ |
| C-103 | Mapコピー | E-03, E-06 | ○ |
| C-104 | 循環参照処理 | E-03, E-06 | ○ |
| C-105 | ネスト循環処理 | E-03, E-06 | ○ |
| C-106 | Symbolキーコピー | E-03, E-06 | ○ |
| C-107 | getter変換 | E-03, E-06 | ○ |
| C-108 | 非列挙プロパティコピー | E-03, E-06 | ○ |
| C-109 | 継承getter処理 | E-03, E-06 | ○ |
| C-110 | ビルトイン除外 | E-03, E-06 | ○ |
| C-111 | Buffer除外 | E-03, E-06 | ○ |
| C-112 | TypedArray除外 | E-03, E-06 | ○ |
| C-113 | RegExp除外 | E-03, E-06 | ○ |
| C-114 | Set除外 | E-03, E-06 | ○ |
| C-115 | ディスクリプタ正規化 | E-03, E-06 | ○ |
| C-116 | SERIALIZABLE_PROPERTIES制限 | E-03, E-06 | ○ |
| C-117 | 自己参照getter処理 | E-03, E-06 | ○ |
| C-118 | 異クラスgetter処理 | E-03, E-06 | ○ |
| C-119 | プリミティブgetter処理 | E-03, E-06 | ○ |
| C-120 | 循環Mapコピー | E-03, E-06 | ○ |
| C-121 | DOM要素コピー | E-03, E-08 | ○ |
| C-122 | 複雑DOM要素コピー | E-03, E-08 | ○ |
| C-123 | window除外 | E-03, E-08 | ○ |
| C-124 | Response JSON処理 | E-03, E-06 | ○ |

## 4) 不足情報（Unknown / Missing）
- C-049: `serializes to the same string`メッセージの表示ロジックは実装コードに存在するが、既存テストで明示的にカバーされていない
  - 候補：printDiffOrStringify.test.tsに追加テストケースを作成
- C-066: `matcherErrorMessage`のspecificがundefinedの場合の分岐テストが不足
  - 候補：index.test.tsにmatcherErrorMessageの単体テスト追加
- C-070, C-075, C-076: matcherHintの一部オプション（comment, isDirectExpectCall, 旧形式）の明示的テストが不足
  - 候補：matcherHintテストケースの拡充

## 5) リスクフラグ（レビュー観点）
- 0（低リスク）: 大部分のテストケースはソースコードと既存テストファイルに基づいて生成
- 1（中リスク）: 一部のエッジケース（C-049, C-066, C-070, C-075, C-076）は実装から推測されたもの
- 0（低リスク）: Replaceable, deepCyclicCopyReplaceableは既存テストによる高いカバレッジ

## 6) レビュアーチェックリスト（最小）
- [ ] 根拠なしテストケース（C-049, C-066, C-070, C-075, C-076）の妥当性確認
- [ ] 境界値テストケース（C-015, C-016, C-043, C-044, C-045）の入力値が適切か確認
- [ ] 優先度「高」のテストケースが網羅的にビジネスロジックをカバーしているか確認
- [ ] jsdom環境が必要なテストケース（C-121, C-122, C-123）の前提条件が明確か確認
