---
generated_at: 2026-03-01 12:00:00
metrics:
  claims_total: 40
  claims_with_evidence: 40
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：40 / 40、根拠なし：0
- 優先レビュー（高）
  1. 全テストケースがソースコードに基づいて導出されており、根拠不足の項目はありません

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

- E-01: `packages/jest-test-result/src/helpers.ts` - ヘルパー関数群（makeEmptyAggregatedTestResult, buildFailureTestResult, addResult, createEmptyTestResult）
- E-02: `packages/jest-test-result/src/formatTestResults.ts` - テスト結果フォーマット関数（formatTestResult, formatTestResults）
- E-03: `packages/jest-test-result/src/types.ts` - 型定義ファイル（AggregatedResult, TestResult, FormattedTestResults等）
- E-04: `packages/jest-test-result/src/index.ts` - モジュールエクスポート定義
- E-05: `packages/jest-test-result/src/__tests__/formatTestResults.test.ts` - 既存のテストコード

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | makeEmptyAggregatedTestResult: 空のAggregatedTestResultが正しく生成される | E-01 (L10-43) | ○ |
| C-02 | makeEmptyAggregatedTestResult: snapshotオブジェクトが正しい初期値を持つ | E-01 (L21-38) | ○ |
| C-03 | makeEmptyAggregatedTestResult: openHandlesが空配列で初期化される | E-01 (L21) | ○ |
| C-04 | buildFailureTestResult: テストパスとエラーからFailureTestResultが生成される | E-01 (L45-83) | ○ |
| C-05 | buildFailureTestResult: perfStatsが全て0で初期化される | E-01 (L58-69) | ○ |
| C-06 | buildFailureTestResult: snapshotが全て0/falseで初期化される | E-01 (L71-79) | ○ |
| C-07 | buildFailureTestResult: 空文字のtestPathでも動作する | E-01 (L48) | ○ |
| C-08 | addResult: テスト結果が正しくaggregatedResultsに追加される | E-01 (L86-153) | ○ |
| C-09 | addResult: numTodoTestsがundefinedの場合0として扱われる | E-01 (L91-94) | ○ |
| C-10 | addResult: 失敗テストがある場合numFailedTestSuitesが増加する | E-01 (L113-114) | ○ |
| C-11 | addResult: testExecErrorがある場合numRuntimeErrorTestSuitesが増加する | E-01 (L107-109) | ○ |
| C-12 | addResult: skipped=trueの場合numPendingTestSuitesが増加する | E-01 (L111-112) | ○ |
| C-13 | addResult: スナップショット追加がある場合filesAddedが増加する | E-01 (L120-122) | ○ |
| C-14 | addResult: スナップショット削除がある場合filesRemovedが増加する | E-01 (L123-125) | ○ |
| C-15 | addResult: スナップショット不一致がある場合filesUnmatchedが増加する | E-01 (L126-128) | ○ |
| C-16 | addResult: スナップショット更新がある場合filesUpdatedが増加する | E-01 (L129-131) | ○ |
| C-17 | addResult: uncheckedKeysがある場合uncheckedKeysByFileに追加される | E-01 (L136-144) | ○ |
| C-18 | addResult: uncheckedKeysが空配列の場合追加されない | E-01 (L137-138) | ○ |
| C-19 | addResult: uncheckedKeysがnullの場合追加されない | E-01 (L137) | ○ |
| C-20 | addResult: snapshot.totalが正しく計算される | E-01 (L148-152) | ○ |
| C-21 | addResult: 複数のテスト結果を追加した場合カウンタが累積される | E-01 (L96-105) | ○ |
| C-22 | createEmptyTestResult: 空のTestResultが正しく生成される | E-01 (L155-186) | ○ |
| C-23 | createEmptyTestResult: perfStatsが全て0で初期化される | E-01 (L162-173) | ○ |
| C-24 | createEmptyTestResult: snapshotが全て0/falseで初期化される | E-01 (L175-183) | ○ |
| C-25 | formatTestResult: testExecErrorがある場合failedステータスで結果が返される | E-02 (L22-34) | ○ |
| C-26 | formatTestResult: testExecErrorがありfailureMessageがnullの場合testExecError.messageが使用される | E-02 (L28) | ○ |
| C-27 | formatTestResult: skipped=trueの場合skippedステータスで結果が返される | E-02 (L36-48) | ○ |
| C-28 | formatTestResult: 全テスト成功かつ全テスト実行済みの場合passedステータス | E-02 (L50-66) | ○ |
| C-29 | formatTestResult: 全テスト成功だがpendingテストがある場合focusedステータス | E-02 (L62-65) | ○ |
| C-30 | formatTestResult: 失敗テストがある場合failedステータス | E-02 (L62-66) | ○ |
| C-31 | formatTestResult: codeCoverageFormatterが指定された場合カバレッジがフォーマットされる | E-02 (L54-57) | ○ |
| C-32 | formatTestResult: codeCoverageFormatterが未指定の場合元のcoverageが使用される | E-02 (L54-57) | ○ |
| C-33 | formatTestResult: perfStatsのstart/endがstartTime/endTimeとして返される | E-02 (L58-59) | ○ |
| C-34 | formatTestResults: AggregatedResultがFormattedTestResultsに変換される | E-02 (L71-81) | ○ |
| C-35 | formatTestResults: 複数のtestResultsが全てフォーマットされる | E-02 (L76-78) | ○ |
| C-36 | formatTestResults: testResultsが空配列の場合も正しく処理される | E-02 (L76-78) | ○ |
| C-37 | formatTestResults: results内の他のプロパティがそのまま引き継がれる | E-02 (L80) | ○ |
| C-38 | formatTestResults: assertionResultsがそのまま含まれる | E-02 (L25, L39, L53), E-05 (L12-33) | ○ |
| C-39 | formatTestResult: failureMessageがnullの場合空文字が使用される | E-02 (L42, L59) | ○ |
| C-40 | formatTestResult: failureMessageがundefinedの場合空文字が使用される | E-02 (L42, L59) | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なしの項目はありません。
- 全てのテストケースはソースコード解析に基づいて導出されています。

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースはソースコードから直接導出されており、高い信頼性があります
- 既存のテストコード（E-05）との整合性も確認済みです

## 6) レビュアーチェックリスト（最小）
- [ ] helpers.ts内の4つのヘルパー関数のテストケースがそれぞれの関数ロジックを網羅しているか確認
- [ ] formatTestResults.ts内のステータス判定ロジック（passed/failed/skipped/focused）のテストケースが適切か確認
- [ ] スナップショット関連の集計ロジックのテストケースが境界値を含めて網羅しているか確認
- [ ] 既存のテストコード（formatTestResults.test.ts）との重複・差分を確認
