---
generated_at: 2026-03-01 14:30:00
metrics:
  claims_total: 100
  claims_with_evidence: 100
  claims_without_evidence: 0
confidence_derived: 1.00
---

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

## 本レポートについて

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

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

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

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

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

---

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

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

- E-01: `packages/jest-schemas/src/index.ts` - モジュールエクスポート定義（19行）
- E-02: `packages/jest-schemas/src/raw-types.ts` - スキーマ定義（355行）
- E-03: `packages/jest-schemas/src/raw-types.ts:12-35` - SnapshotFormatスキーマ定義
- E-04: `packages/jest-schemas/src/raw-types.ts:37-40` - CoverageProviderスキーマ定義
- E-05: `packages/jest-schemas/src/raw-types.ts:42-49` - CoverageThresholdValueスキーマ定義
- E-06: `packages/jest-schemas/src/raw-types.ts:62-81` - ChalkForegroundColorsスキーマ定義
- E-07: `packages/jest-schemas/src/raw-types.ts:83-86` - DisplayNameスキーマ定義
- E-08: `packages/jest-schemas/src/raw-types.ts:89-103` - CoverageReporterNamesスキーマ定義
- E-09: `packages/jest-schemas/src/raw-types.ts:105-113` - CoverageReportersスキーマ定義
- E-10: `packages/jest-schemas/src/raw-types.ts:125-141` - FakeableAPIスキーマ定義
- E-11: `packages/jest-schemas/src/raw-types.ts:115-123` - GlobalFakeTimersConfigスキーマ定義
- E-12: `packages/jest-schemas/src/raw-types.ts:143-174` - FakeTimersConfigスキーマ定義
- E-13: `packages/jest-schemas/src/raw-types.ts:176-184` - LegacyFakeTimersConfigスキーマ定義
- E-14: `packages/jest-schemas/src/raw-types.ts:186-189` - FakeTimersスキーマ定義（Intersect型）
- E-15: `packages/jest-schemas/src/raw-types.ts:191-226` - HasteConfigスキーマ定義
- E-16: `packages/jest-schemas/src/raw-types.ts:228-354` - InitialOptionsスキーマ定義

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | SnapshotFormatスキーマが正しくエクスポートされること | E-01 | ○ |
| C-02 | InitialOptionsスキーマが正しくエクスポートされること | E-01 | ○ |
| C-03 | FakeTimersスキーマが正しくエクスポートされること | E-01 | ○ |
| C-04 | 有効なSnapshotFormat設定がバリデーションを通過すること | E-03 | ○ |
| C-05 | 空オブジェクトがバリデーションを通過すること（Partial型のため） | E-03 (Type.Partial) | ○ |
| C-06 | indent=0が有効であること | E-03 (minimum: 0) | ○ |
| C-07 | indent=-1が無効であること | E-03 (minimum: 0) | ○ |
| C-08 | maxDepth=0が有効であること | E-03 (minimum: 0) | ○ |
| C-09 | maxDepth=-1が無効であること | E-03 (minimum: 0) | ○ |
| C-10 | maxWidth=0が有効であること | E-03 (minimum: 0) | ○ |
| C-11 | maxWidth=-1が無効であること | E-03 (minimum: 0) | ○ |
| C-12 | theme内の全プロパティが有効であること | E-03 (theme: Type.Partial) | ○ |
| C-13 | theme内の一部プロパティのみでも有効であること（Partial型） | E-03 (theme: Type.Partial) | ○ |
| C-14 | callToJSONに文字列を渡した場合エラーとなること | E-03 (Type.Boolean) | ○ |
| C-15 | 'babel'が有効な値として認識されること | E-04 (Type.Literal) | ○ |
| C-16 | 'v8'が有効な値として認識されること | E-04 (Type.Literal) | ○ |
| C-17 | 無効な文字列が拒否されること（CoverageProvider） | E-04 (Type.Union) | ○ |
| C-18 | branches=0が有効であること | E-05 (minimum: 0) | ○ |
| C-19 | branches=100が有効であること | E-05 (maximum: 100) | ○ |
| C-20 | branches=-1が無効であること | E-05 (minimum: 0) | ○ |
| C-21 | branches=101が無効であること | E-05 (maximum: 100) | ○ |
| C-22 | functions=0が有効であること | E-05 (minimum: 0) | ○ |
| C-23 | functions=100が有効であること | E-05 (maximum: 100) | ○ |
| C-24 | lines=0が有効であること | E-05 (minimum: 0) | ○ |
| C-25 | lines=100が有効であること | E-05 (maximum: 100) | ○ |
| C-26 | statements=0が有効であること | E-05 (minimum: 0) | ○ |
| C-27 | statements=100が有効であること | E-05 (maximum: 100) | ○ |
| C-28 | 'black'が有効な色名として認識されること | E-06 (Type.Literal) | ○ |
| C-29 | 'whiteBright'が有効な色名として認識されること | E-06 (Type.Literal) | ○ |
| C-30 | 無効な色名が拒否されること | E-06 (Type.Union) | ○ |
| C-31 | 有効なDisplayNameオブジェクトがバリデーションを通過すること | E-07 | ○ |
| C-32 | nameが欠けている場合エラーとなること | E-07 (Type.Object必須フィールド) | ○ |
| C-33 | colorが欠けている場合エラーとなること | E-07 (Type.Object必須フィールド) | ○ |
| C-34 | colorに無効な値を指定した場合エラーとなること | E-07, E-06 | ○ |
| C-35 | 'clover'が有効なレポーター名として認識されること | E-08 (Type.Literal) | ○ |
| C-36 | 'lcov'が有効なレポーター名として認識されること | E-08 (Type.Literal) | ○ |
| C-37 | 'json-summary'が有効なレポーター名として認識されること | E-08 (Type.Literal) | ○ |
| C-38 | 無効なレポーター名が拒否されること | E-08 (Type.Union) | ○ |
| C-39 | レポーター名の配列が有効であること | E-09 (Type.Array) | ○ |
| C-40 | レポーター名とオプションのタプル配列が有効であること | E-09 (Type.Tuple) | ○ |
| C-41 | 空配列が有効であること（CoverageReporters） | E-09 (Type.Array) | ○ |
| C-42 | 'Date'が有効なFakeableAPIとして認識されること | E-10 (Type.Literal) | ○ |
| C-43 | 'setTimeout'が有効なFakeableAPIとして認識されること | E-10 (Type.Literal) | ○ |
| C-44 | 'performance'が有効なFakeableAPIとして認識されること | E-10 (Type.Literal) | ○ |
| C-45 | 無効なAPI名が拒否されること（FakeableAPI） | E-10 (Type.Union) | ○ |
| C-46 | enableGlobally=trueが有効であること | E-11 (Type.Boolean) | ○ |
| C-47 | enableGlobally=falseが有効であること | E-11 (Type.Boolean) | ○ |
| C-48 | advanceTimers=trueが有効であること | E-12 (Type.Union) | ○ |
| C-49 | advanceTimers=20が有効であること | E-12 (Type.Union) | ○ |
| C-50 | advanceTimers=0が有効であること | E-12 (minimum: 0) | ○ |
| C-51 | advanceTimers=-1が無効であること | E-12 (minimum: 0) | ○ |
| C-52 | doNotFake配列が有効であること | E-12 (Type.Array) | ○ |
| C-53 | doNotFake空配列が有効であること | E-12 (Type.Array) | ○ |
| C-54 | doNotFakeに無効なAPI名を含む場合エラーとなること | E-10, E-12 | ○ |
| C-55 | now=0が有効であること | E-12 (minimum: 0) | ○ |
| C-56 | now=1609459200000が有効であること | E-12 (Type.Integer) | ○ |
| C-57 | now=-1が無効であること | E-12 (minimum: 0) | ○ |
| C-58 | timerLimit=100000が有効であること（デフォルト値） | E-12 (default: 100_000) | ○ |
| C-59 | timerLimit=0が有効であること | E-12 (minimum: 0) | ○ |
| C-60 | timerLimit=-1が無効であること | E-12 (minimum: 0) | ○ |
| C-61 | legacyFakeTimers=falseが有効であること | E-12 (Type.Literal(false)) | ○ |
| C-62 | legacyFakeTimers=trueが有効であること | E-13 (Type.Literal(true)) | ○ |
| C-63 | enableGloballyとadvanceTimersの組み合わせが有効であること | E-14 (Type.Intersect) | ○ |
| C-64 | enableGloballyとlegacyFakeTimers=trueの組み合わせが有効であること | E-14 (Type.Intersect) | ○ |
| C-65 | computeSha1=trueが有効であること | E-15 (Type.Boolean) | ○ |
| C-66 | defaultPlatform='ios'が有効であること | E-15 (Type.Union) | ○ |
| C-67 | defaultPlatform=nullが有効であること | E-15 (Type.Null) | ○ |
| C-68 | platforms配列が有効であること | E-15 (Type.Array) | ○ |
| C-69 | platforms空配列が有効であること | E-15 (Type.Array) | ○ |
| C-70 | 空オブジェクトが有効であること（InitialOptions） | E-16 (Type.Partial) | ○ |
| C-71 | automock=trueが有効であること | E-16 (Type.Boolean) | ○ |
| C-72 | bail=trueが有効であること | E-16 (Type.Union) | ○ |
| C-73 | bail=5が有効であること | E-16 (Type.Union) | ○ |
| C-74 | collectCoverageFrom配列が有効であること | E-16 (Type.Array) | ○ |
| C-75 | coverageThreshold.globalが有効であること | E-16, E-05 | ○ |
| C-76 | coverageThresholdにパス指定が有効であること | E-16 (additionalProperties) | ○ |
| C-77 | displayName文字列が有効であること | E-16 (Type.Union) | ○ |
| C-78 | displayNameオブジェクトが有効であること | E-16, E-07 | ○ |
| C-79 | globalSetup文字列が有効であること | E-16 (Type.Union) | ○ |
| C-80 | globalSetup=nullが有効であること | E-16 (Type.Null) | ○ |
| C-81 | maxWorkers文字列が有効であること | E-16 (Type.Union) | ○ |
| C-82 | maxWorkers数値が有効であること | E-16 (Type.Integer) | ○ |
| C-83 | moduleNameMapperオブジェクトが有効であること | E-16 (Type.Record) | ○ |
| C-84 | moduleNameMapper配列値が有効であること | E-16 (Type.Union) | ○ |
| C-85 | reporters文字列配列が有効であること | E-16 (Type.Array) | ○ |
| C-86 | reportersタプル形式が有効であること | E-16 (Type.Tuple) | ○ |
| C-87 | testMatch文字列が有効であること | E-16 (Type.Union) | ○ |
| C-88 | testMatch配列が有効であること | E-16 (Type.Array) | ○ |
| C-89 | testRegex文字列が有効であること | E-16 (Type.Union) | ○ |
| C-90 | testRegex配列が有効であること | E-16 (Type.Array) | ○ |
| C-91 | transformオブジェクトが有効であること | E-16 (Type.Record) | ○ |
| C-92 | transformタプル値が有効であること | E-16 (Type.Tuple) | ○ |
| C-93 | watchPlugins文字列配列が有効であること | E-16 (Type.Array) | ○ |
| C-94 | watchPluginsタプル形式が有効であること | E-16 (Type.Tuple) | ○ |
| C-95 | workerIdleMemoryLimit数値が有効であること | E-16 (Type.Number) | ○ |
| C-96 | workerIdleMemoryLimit文字列が有効であること | E-16 (Type.String) | ○ |
| C-97 | 複数オプションの組み合わせが有効であること | E-16 | ○ |
| C-98 | snapshotFormat設定が有効であること | E-16, E-03 | ○ |
| C-99 | fakeTimers設定が有効であること | E-16, E-14 | ○ |
| C-100 | haste設定が有効であること | E-16, E-15 | ○ |

## 4) 不足情報（Unknown / Missing）
- なし：すべてのテストケースはソースコードに基づいて生成されています

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - すべてのテストケースはTypeBoxスキーマ定義に基づいており、型制約・境界値が明確に定義されています

## 6) レビュアーチェックリスト（最小）
- [ ] TypeBoxのバリデーション動作が実際の期待と一致するか確認
- [ ] 境界値テストケース（minimum/maximum制約）が網羅されているか確認
- [ ] Union型の全リテラル値がカバーされているか確認
- [ ] Partial型による省略可能性が正しくテストされているか確認
