```markdown
# テスト作成レポート

## 完了契約-テスト対応表
| 契約ID | 由来 | 観測可能な契約 | 入口/経路 | テスト | 結果 | 未カバー理由 |
|--------|------|----------------|-----------|--------|------|--------------|
| `{ID}` | 計画 / 新規発見 | {戻り値、保存形式、設定キー、CLI出力、イベント、エラー分類、副作用など} | {CLI / 設定読み込み / 設定保存 / 実行時 / 一括処理 / 子処理 / イベント / 永続化など} | `{テスト名またはテストファイル}` | 作成 / 既存 / 未作成 | {未作成の場合のみ理由} |

## 検証境界（外部境界または環境依存境界を持つ契約のみ）
| 契約ID | モックで確認した範囲 | 実連携範囲 | テスト環境 / HOME / 設定の分離 | 未確認理由 |
|--------|----------------------|------------|--------------------------------|------------|
| `{ID}` | {テストダブルで証明した振る舞い} | {確認した実連携または残る範囲} | {使用した分離方法} | {未確認範囲がある場合のみ理由} |

## 危険分岐・識別テスト
| 契約ID | 分岐 | 失敗させたい誤実装 | 拒否する入力 / 状態とassertion | テスト | 未カバー理由 |
|--------|------|--------------------|--------------------------------|--------|--------------|
| `{ID}` | {欠落、未知値、不正値、優先順位衝突、override、roundtrip、部分失敗など} | {このテストで検出したい誤実装} | {誤実装を拒否する入力または状態とassertion} | `{テスト名またはテストファイル}` | {未作成または未実証の場合のみ理由} |

## 影響経路テスト（該当する契約のみ）
| 契約ID | 経路 | 生成側 | 消費側 | 保証する契約 | テスト | 未カバー理由 |
|--------|------|----------|----------|--------------|--------|--------------|
| `{ID}` | {入口から末端までの経路} | {値や状態を作る箇所} | {値や状態を使う箇所} | {伝搬・変換・保存・発火などの契約} | `{テスト名またはテストファイル}` | {未作成の場合のみ理由} |

## 連続実行・所有権・並行性（該当する場合）
この節は、要求が、特定の変化（入力、環境、設定、接続状態などの変化）を名指しし、その変化の後もその時点の状態に合わせて振る舞うことを求め、かつその変化をまたいで同じ実体（画面、プロセス、接続、セッション、キャッシュなど）が存続する場合に該当する。既存の振る舞いを維持する要求や、変化を名指ししない要求は、それだけでは該当しない。

| 契約ID | 実行シーケンスまたは交差 | 実際の上位入口 | 観測する不変条件 | テスト | 未カバー理由 |
|--------|--------------------------|----------------|------------------|--------|--------------|
| `{ID}` | {作成→保存→復元→継続→再進入、失敗終端、並行交差など} | {本番相当の入口} | {所有権、識別、終端対応など} | `{テスト名またはテストファイル}` | {未作成の場合のみ理由} |

## 否定契約
| 契約ID | 禁止する挙動 | 観測方法 | テスト | 未カバー理由 |
|--------|----------------|----------|--------|--------------|
| `{ID}` | {出してはいけない値、保存してはいけない形式、送信してはいけない情報など} | {振る舞いとしてどう観測するか} | `{テスト名またはテストファイル}` | {未作成の場合のみ理由} |

## 作成テスト
| ファイル | 種別 | テスト数 | 概要 |
|---------|------|---------|------|
| `{テストファイルパス}` | 単体 / 統合 | {N} | {テスト対象の概要} |

## 未カバー項目
| 要件/分岐 | 未カバー理由 | 後続で必要な確認 |
|-----------|--------------|------------------|
| {未カバーの要件または分岐} | {なぜテスト化しなかったか} | {実装・レビュー・手動確認などで必要な確認} |

## 実行結果（参考）
実装前のためテスト失敗・import エラーは想定内。

| 状態 | 件数 | 備考 |
|------|------|------|
| Pass | {N} | |
| Fail / Import Error（想定内） | {N} | 未実装モジュール起因 |
| Error（要対応） | {N} | 既存パスミス等、実装後も残るもの |

## 備考（判断がある場合のみ）
- {テスト設計の判断や注意点}
```