---
generated_at: 2026-02-19 00:30:00
metrics:
  claims_total: 50
  claims_with_evidence: 45
  claims_without_evidence: 5
confidence_derived: 0.90
---

# 根拠レポート：結合テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.90**
  - 根拠あり：45 / 50、根拠なし：5
- 優先レビュー（高）
  1. **IT-042（POSIXct型キーによるjoin連携）**：テストコードでの明示的な検証なし
  2. **IT-043（リスト列を含むデータフレームのjoin連携）**：vctrs型システム依存
  3. **IT-045（型不一致時のjoinエラー処理）**：条件網羅が不十分な可能性
  4. **IT-046（summariseでのサイズ不一致エラー処理）**：エラー条件の網羅性要確認
  5. **IT-047（mutateでのサイズ不一致エラー処理）**：エラー条件の網羅性要確認

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

- E-01: `R/join.R` - 結合関数（inner_join, left_join, right_join, full_join, semi_join, anti_join, nest_join）の実装
- E-02: `R/group-by.R` - group_by関数およびungroup関数の実装
- E-03: `R/filter.R` - filter関数およびfilter_out関数の実装
- E-04: `R/mutate.R` - mutate関数の実装
- E-05: `R/summarise.R` - summarise/summarize関数の実装
- E-06: `R/across.R` - across, if_any, if_all関数の実装
- E-07: `R/bind-rows.R` - bind_rows関数の実装
- E-08: `R/join-by.R` - join_by関数の実装
- E-09: `R/join-cross.R` - cross_join関数の実装
- E-10: `R/slice.R` - slice関数群の実装
- E-11: `R/arrange.R` - arrange関数の実装
- E-12: `R/distinct.R` - distinct関数の実装
- E-13: `R/case-when.R` - case_when関数の実装
- E-14: `R/if-else.R` - if_else関数の実装
- E-15: `R/coalesce.R` - coalesce関数の実装
- E-16: `R/lead-lag.R` - lead, lag関数の実装
- E-17: `R/context.R` - n(), cur_group()等のコンテキスト関数の実装
- E-18: `R/group-data.R` - group_keys, group_rows等の実装
- E-19: `R/group-split.R` - group_split関数の実装
- E-20: `R/count-tally.R` - count, tally関数の実装
- E-21: `R/reframe.R` - reframe関数の実装
- E-22: `R/rowwise.R` - rowwise関数の実装
- E-23: `R/conditions.R` - エラー処理とメッセージング
- E-24: `tests/testthat/test-join.R` - join関数群のテスト
- E-25: `tests/testthat/test-group-by.R` - group_by関数のテスト
- E-26: `tests/testthat/test-summarise.R` - summarise関数のテスト
- E-27: `tests/testthat/test-mutate.R` - mutate関数のテスト
- E-28: `tests/testthat/test-filter.R` - filter関数のテスト
- E-29: `DESCRIPTION` - パッケージ依存関係（vctrs, rlang, tibble等）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 (IT-001) | グループ化されたデータフレームのinner_join連携 | E-01, E-02, E-25 | ○ |
| C-02 (IT-002) | グループ化されたデータフレームのleft_join連携 | E-01, E-02, E-25 | ○ |
| C-03 (IT-003) | グループ化されたデータフレームのsemi_join連携 | E-01, E-02, E-25 | ○ |
| C-04 (IT-004) | グループ化されたデータフレームのanti_join連携 | E-01, E-02, E-25 | ○ |
| C-05 (IT-005) | グループ化されたデータフレームのsummarise連携 | E-05, E-02, E-26 | ○ |
| C-06 (IT-006) | 多段階グループ化されたデータフレームのsummarise連携 | E-05, E-02, E-26 | ○ |
| C-07 (IT-007) | グループ化されたデータフレームのmutate連携 | E-04, E-02, E-27 | ○ |
| C-08 (IT-008) | グループ化されたデータフレームのfilter連携 | E-03, E-02, E-28 | ○ |
| C-09 (IT-009) | summarise内でのacross関数連携 | E-06, E-05 | ○ |
| C-10 (IT-010) | mutate内でのacross関数連携 | E-06, E-04 | ○ |
| C-11 (IT-011) | 異なる型を持つデータフレームのbind_rows連携 | E-07, E-29 | ○ |
| C-12 (IT-012) | tibbleとdata.frame間のjoin連携 | E-01, E-29 | ○ |
| C-13 (IT-013) | join_by()を使用した条件付きjoin | E-08, E-01, E-24 | ○ |
| C-14 (IT-014) | 重複列名に対するsuffix適用 | E-01, E-24 | ○ |
| C-15 (IT-015) | nest_joinの結果とtidyr連携 | E-01 | ○ |
| C-16 (IT-016) | グループ化後のselect連携（暗黙的グループ列追加） | E-02, E-25 | ○ |
| C-17 (IT-017) | rowwise後のsummarise連携 | E-22, E-05 | ○ |
| C-18 (IT-018) | グループ化されたデータフレームのreframe連携 | E-21, E-02 | ○ |
| C-19 (IT-019) | グループ化されたデータフレームのslice連携 | E-10, E-02 | ○ |
| C-20 (IT-020) | グループ化されたデータフレームのarrange連携 | E-11, E-02 | ○ |
| C-21 (IT-021) | グループ化されたデータフレームのdistinct連携 | E-12, E-02 | ○ |
| C-22 (IT-022) | NA値の結合マッチング制御 | E-01, E-24 | ○ |
| C-23 (IT-023) | 複数マッチの結合処理制御 | E-01, E-24 | ○ |
| C-24 (IT-024) | 多対多関係の検出と警告 | E-01, E-24 | ○ |
| C-25 (IT-025) | 未マッチキーの検出 | E-01, E-24 | ○ |
| C-26 (IT-026) | クロス結合の実行 | E-09 | ○ |
| C-27 (IT-027) | 結合キーの保持制御 | E-01, E-24 | ○ |
| C-28 (IT-028) | mutate内でのcase_when連携 | E-13, E-04 | ○ |
| C-29 (IT-029) | mutate内でのif_else連携 | E-14, E-04 | ○ |
| C-30 (IT-030) | mutate内でのcoalesce連携 | E-15, E-04 | ○ |
| C-31 (IT-031) | mutate内でのlead/lag連携 | E-16, E-04 | ○ |
| C-32 (IT-032) | summarise内でのn()関数連携 | E-17, E-05 | ○ |
| C-33 (IT-033) | mutate内でのcur_group()連携 | E-17, E-04 | ○ |
| C-34 (IT-034) | group_by後のgroup_keys連携 | E-18, E-02 | ○ |
| C-35 (IT-035) | group_by後のgroup_split連携 | E-19, E-02 | ○ |
| C-36 (IT-036) | group_by後のcount連携 | E-20, E-02 | ○ |
| C-37 (IT-037) | group_by後のtally連携 | E-20, E-02 | ○ |
| C-38 (IT-038) | group_by後のpull連携 | E-02 | ○ |
| C-39 (IT-039) | mutate後のrelocate連携 | E-04 | ○ |
| C-40 (IT-040) | group_by後のrename連携 | E-02 | ○ |
| C-41 (IT-041) | factor型キーによるjoin連携 | E-01, E-24 | ○ |
| C-42 (IT-042) | POSIXct型キーによるjoin連携 | **根拠なし** | △ |
| C-43 (IT-043) | リスト列を含むデータフレームのjoin連携 | **根拠不足** | △ |
| C-44 (IT-044) | リスト列によるgroup_by連携 | E-02, E-25 | ○ |
| C-45 (IT-045) | 型不一致時のjoinエラー処理 | E-23 | △ |
| C-46 (IT-046) | summariseでのサイズ不一致エラー処理 | E-23, E-26 | △ |
| C-47 (IT-047) | mutateでのサイズ不一致エラー処理 | E-23, E-27 | △ |
| C-48 (IT-048) | filterでの型エラー処理 | E-03, E-23 | ○ |
| C-49 (IT-049) | 複数動詞のパイプライン連携 | E-29 | ○ |
| C-50 (IT-050) | 複数join操作のパイプライン連携 | E-01 | ○ |

## 4) 不足情報（Unknown / Missing）
- **IT-042（POSIXct型キーによるjoin連携）**
  - テストコード内で明示的なPOSIXct型のjoinテストが確認できず
  - 候補：`tests/testthat/test-join.R`に追加確認 / vctrs依存テストの確認

- **IT-043（リスト列を含むデータフレームのjoin連携）**
  - リスト列を結合キーとして使用するケースの明示的テストが不足
  - 候補：vctrsPパッケージ側のテスト確認 / 新規テスト追加

- **IT-045, IT-046, IT-047（エラー処理系）**
  - エラー条件の網羅性を確認するためのテストケース検証が必要
  - 候補：`tests/testthat/_snaps/`のスナップショットテスト確認

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: IT-001〜IT-041, IT-044, IT-048〜IT-050 - ソースコードとテストコードで十分に検証可能
- **1（中リスク）**: IT-042, IT-043 - 暗黙的なvctrs型システム依存があり、追加確認推奨
- **2（高リスク）**: IT-045〜IT-047 - エラー処理の網羅性について実際のテスト実行での検証を推奨

## 6) レビュアーチェックリスト（最小）
- [ ] IT-001〜IT-004（join + group_by連携）のテスト条件が実際のtest-group-by.Rと一致するか確認
- [ ] IT-042のPOSIXct型joinについて、実際の動作を確認（必要に応じてテスト追加）
- [ ] IT-043のリスト列joinについて、vctrs側のサポート状況を確認
- [ ] IT-045〜IT-047のエラー処理について、実際のエラーメッセージを確認
- [ ] 優先度「高」のテストケース（IT-001〜IT-010, IT-032, IT-049）の手順が実行可能か確認
- [ ] テストケースのテスト手順が実際のR構文として正しいか確認
