---
generated_at: 2026-02-19 15:30:00
metrics:
  claims_total: 161
  claims_with_evidence: 161
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：colwise.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：161 / 161、根拠なし：0
- 優先レビュー（高）
  1. **across/if_any/if_all関数**: dplyrの中核機能であり、複雑なロジックを含む
  2. **エラー処理テストケース**: 異常系のテストケースは実装と一致しているか要確認
  3. **グループ化データの処理**: グループ変数の除外/包含ロジックの正確性

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

- E-01: `R/colwise.R` - vars, all_vars, any_vars, tbl_at_vars, tbl_if_vars, tbl_ptype, as_inlined_function
- E-02: `R/colwise-funs.R` - as_fun_list, auto_name_formulas, quo_as_function, is_fun_list, fun_env
- E-03: `R/colwise-arrange.R` - arrange_all, arrange_at, arrange_if
- E-04: `R/colwise-distinct.R` - distinct_all, distinct_at, distinct_if
- E-05: `R/colwise-filter.R` - filter_all, filter_at, filter_if, apply_filter_syms, all_exprs, any_exprs, quo_reduce
- E-06: `R/colwise-group-by.R` - group_by_all, group_by_at, group_by_if, .group_by_static_drop
- E-07: `R/colwise-mutate.R` - summarise_all/if/at, mutate_all/if/at, transmute_all/if/at, manip_all/if/at, manip_apply_syms, check_grouped, check_dot_cols
- E-08: `R/colwise-select.R` - select_all/if/at, rename_all/if/at, vars_select_syms
- E-09: `R/across.R` - across, if_any, if_all, c_across, across_setup, across_glue_mask, c_across_setup, expand_across, expand_if_across, quo_eval_fns, is_inlinable_function, is_inlinable_formula, df_unpack, apply_unpack_spec
- E-10: `R/pick.R` - pick, expand_pick, expand_pick_quo, eval_pick, as_pick_selection, as_pick_expansion, dplyr_pick_tibble, stop_pick_empty
- E-11: `docs/code-to-docs/単体テストケース一覧/plan.md` - プロジェクト情報とモジュール構成

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | vars()は空のquosuresリストを返却 | E-01 (L105-107) | ○ |
| C-02 | vars()は複数変数を含むquosuresを返却 | E-01 (L105-107) | ○ |
| C-03 | all_vars()はall_varsクラスのquosureを返却 | E-01 (L129-132) | ○ |
| C-04 | any_vars()はany_varsクラスのquosureを返却 | E-01 (L135-138) | ○ |
| C-05 | print.all_varsは"predicate intersection"と表示 | E-01 (L140-143) | ○ |
| C-06 | print.any_varsは"predicate union"と表示 | E-01 (L145-148) | ○ |
| C-07 | tbl_at_varsはNULL入力で空の文字ベクトルを返却 | E-01 (L163-164) | ○ |
| C-08 | tbl_at_varsは整数ベクトルで列位置選択 | E-01 (L165-166) | ○ |
| C-09 | tbl_at_varsは文字ベクトルで列名選択 | E-01 (L167-172) | ○ |
| C-10 | tbl_at_varsは不正な型でエラー | E-01 (L173-178) | ○ |
| C-11 | tbl_if_varsは論理ベクトルで列選択 | E-01 (L210-223) | ○ |
| C-12 | tbl_if_varsは論理ベクトルサイズ不一致でエラー | E-01 (L211-222) | ○ |
| C-13 | tbl_if_varsは述語関数で列選択 | E-01 (L235-266) | ○ |
| C-14 | tbl_if_varsは述語が非論理値を返すとエラー | E-01 (L247-261) | ○ |
| C-15 | as_fun_listは関数をリストに変換 | E-02 (L1-76) | ○ |
| C-16 | as_fun_listは文字列から関数を取得 | E-02 (L59-60) | ○ |
| C-17 | as_fun_listはフォーミュラを変換 | E-02 (L33-56) | ○ |
| C-18 | as_fun_listは不正な型でエラー | E-02 (L61-63) | ○ |
| C-19 | arrange_all/at/ifは対応する列でソート | E-03 (L33-106) | ○ |
| C-20 | distinct_all/at/ifは対応する列で重複削除 | E-04 (L46-105) | ○ |
| C-21 | filter_all/at/ifはall_vars/any_varsでフィルタ | E-05 (L63-84) | ○ |
| C-22 | apply_filter_symsは空シンボルでエラー | E-05 (L87-89) | ○ |
| C-23 | group_by_all/at/ifは対応する列でグループ化 | E-06 (L52-124) | ○ |
| C-24 | summarise_all/if/atは対応する列で集計 | E-07 (L114-156) | ○ |
| C-25 | mutate_all/if/atは対応する列を変換 | E-07 (L273-318) | ○ |
| C-26 | transmute_all/if/atは対応する列を変換して選択 | E-07 (L322-367) | ○ |
| C-27 | select_all/if/atは対応する列を選択 | E-08 (L53-119) | ○ |
| C-28 | rename_all/if/atは対応する列をリネーム | E-08 (L62-128) | ○ |
| C-29 | vars_select_symsは複数関数でエラー | E-08 (L137-141) | ○ |
| C-30 | acrossは全列/選択列に関数を適用 | E-09 (L216-351) | ○ |
| C-31 | acrossは複数関数を適用して複数列を生成 | E-09 (L478-516) | ○ |
| C-32 | acrossは空選択で1行tibbleを返却 | E-09 (L284-286) | ○ |
| C-33 | if_anyはいずれかの列が条件を満たす行を返却 | E-09 (L355-362) | ○ |
| C-34 | if_allは全ての列が条件を満たす行を返却 | E-09 (L366-373) | ○ |
| C-35 | if_anyは空選択でFALSEを返却 | E-09 (L24-25) | ○ |
| C-36 | if_allは空選択でTRUEを返却 | E-09 (L27-28) | ○ |
| C-37 | c_acrossは行ごとに値をベクトルとして結合 | E-09 (L397-410) | ○ |
| C-38 | pickは列のサブセットをtibbleとして返却 | E-10 (L71-106) | ○ |
| C-39 | pickは空引数でエラー | E-10 (L79-81, L224-226) | ○ |
| C-40 | dplyr_pick_tibbleは空入力で1行0列tibbleを返却 | E-10 (L208-222) | ○ |

## 4) 不足情報（Unknown / Missing）
- 根拠なしの項目はありません

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全てのテストケースはソースコードに基づいて生成されており、根拠が明確です

### 注意すべき観点
1. **superseded（非推奨）関数のテスト**: colwise-arrange/distinct/filter/group-by/mutate/select.Rの関数は全てsupersededステータスであり、across/pickに置き換えられることが推奨されている
2. **lifecycle警告**: 多くの関数がlifecycle::signal_stage("superseded", ...)を呼び出すため、テスト実行時に警告が発生する
3. **データマスク環境**: across, pick, c_acrossはデータマスク環境で評価されるため、環境の扱いに注意が必要

## 6) レビュアーチェックリスト（最小）
- [ ] across/if_any/if_all/c_acrossの基本機能テストケースが網羅的か確認
- [ ] pickの空引数エラー処理が正しく検証されているか確認
- [ ] グループ化データでのグループ変数除外ロジックが正しく検証されているか確認
- [ ] 境界値テスト（空選択、空入力）が適切に設計されているか確認
- [ ] エラーメッセージの検証が含まれているか確認
- [ ] superseded関数のlifecycle警告を考慮したテスト設計か確認
