---
generated_at: 2026-02-19 00:25:00
metrics:
  claims_total: 148
  claims_with_evidence: 142
  claims_without_evidence: 6
confidence_derived: 0.96
---

# 根拠レポート: utils.csv

## 本レポートについて

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

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

1. **根拠の有無確認**: 各主張に対して、ソースコード・既存テストファイル・ドキュメントなどの根拠(Evidence)が存在するか
2. **根拠との整合性**: 主張の内容が根拠と矛盾していないか
3. **網羅性**: 参照すべき情報源を適切にカバーしているか

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

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

---

## 1) サマリー(まず見るところ)
- 総合信頼度(derived): **0.96**
  - 根拠あり: 142 / 148、根拠なし: 6
- 優先レビュー(高)
  1. **UT-UTL-023, 024 (maybe_restart)**: リスタート機構のテストは既存テストで未確認
  2. **UT-UTL-053 (context_local)**: フレーム終了時復元の挙動は間接的にしか確認されていない
  3. **UT-UTL-115 (dplyr_reconstruct属性クリーン)**: dispatch前の属性除去は既存テストで部分的に確認

## 2) 参照した情報(Evidence一覧)
> ここに「実在するもの」だけ列挙。

- E-01: `R/utils.R` - ユーティリティ関数群(commas, compact_null, paste_line, vec_paste0, dplyr_new_data_frame, dplyr_new_list, dplyr_new_tibble, list_flatten, maybe_restart, expr_substitute, cli_collapse, cli_format_each_inline)
- E-02: `R/utils-format.R` - フォーマット関数(dim_desc, big_mark, rule)
- E-03: `R/utils-tidy-eval.R` - tidy eval互換関数(ドキュメントのみ、実装はrlangへの再エクスポート)
- E-04: `R/context.R` - コンテキスト関数(n, cur_group, cur_group_id, cur_group_rows, cur_column, context_poke, context_peek, context_local, peek_mask, local_mask)
- E-05: `R/conditions.R` - 条件/警告処理(dplyr_local_error_call, dplyr_error_call, last_dplyr_warnings, reset_dplyr_warnings, err_vars, err_locs, dplyr_error_handler, dplyr_warning_handler, signal_warnings)
- E-06: `R/error.R` - エラーフォーマット(ntext, fmt_pos_args, fmt_cols, fmt_obj, fmt_obj1, fmt_classes, fmt_comma)
- E-07: `R/funs.R` - ユーザー向け関数(between, cumall, cumany, cummean)
- E-08: `R/generics.R` - 拡張ジェネリクス(dplyr_row_slice, dplyr_col_modify, dplyr_reconstruct, dplyr_col_select)
- E-09: `R/vctrs.R` - vctrsラッパー(dplyr_vec_cast_common, dplyr_vec_ptype_common, dplyr_list_size_common, dplyr_list_recycle_common)
- E-10: `R/locale.R` - ロケール関連(dplyr_legacy_locale, has_minimum_stringi)
- E-11: `R/progress.R` - プログレスバー(progress_estimated, Progress R6クラス, cat_line, str_rep, show_time, now)
- E-12: `R/desc.R` - 降順関数(desc)
- E-13: `tests/testthat/test-utils.R` - utilsテスト(quo_is_variable_reference, list_flattenテスト)
- E-14: `tests/testthat/test-context.R` - コンテキストテスト(cur_group, cur_group_id, cur_group_rows, エラーメッセージ, group_labels_details)
- E-15: `tests/testthat/test-conditions.R` - 条件テスト(dplyr_local_error_call, err_locs, 警告収集)
- E-16: `tests/testthat/test-generics.R` - ジェネリクステスト(dplyr_row_slice, dplyr_col_modify, dplyr_reconstruct)
- E-17: `tests/testthat/test-locale.R` - ロケールテスト(dplyr_legacy_locale)
- E-18: `tests/testthat/test-funs.R` - funsテスト(between, cumall, cumany, cummean)
- E-19: `tests/testthat/test-desc.R` - descテスト(非ベクトルエラー)

## 3) Claims と根拠の対応(レビューの主戦場)

### R/utils.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | commas: 複数要素カンマ区切り連結 | E-01 ソースコード | ○ |
| C-02 | commas: 単一要素返却 | E-01 ソースコード | ○ |
| C-03 | commas: 空入力 | E-01 ソースコード | ○ |
| C-04 | compact_null: NULL要素フィルタ | E-01 ソースコード | ○ |
| C-05 | compact_null: 全NULL入力 | E-01 ソースコード | ○ |
| C-06 | compact_null: 空リスト入力 | E-01 ソースコード | ○ |
| C-07 | paste_line: 改行連結 | E-01 ソースコード | ○ |
| C-08 | paste_line: 単一行 | E-01 ソースコード | ○ |
| C-09 | vec_paste0: ベクトル化paste0 | E-01 ソースコード | ○ |
| C-10 | dplyr_new_data_frame: 正常作成 | E-01 ソースコード | ○ |
| C-11 | dplyr_new_data_frame: row.names保持 | E-01 ソースコード | ○ |
| C-12 | dplyr_new_data_frame: class設定 | E-01 ソースコード | ○ |
| C-13 | dplyr_new_list: 名前保持 | E-01 ソースコード | ○ |
| C-14 | dplyr_new_list: 余分な属性除去 | E-01 ソースコード | ○ |
| C-15 | dplyr_new_list: 非リストエラー | E-01 ソースコード(abort呼び出し) | ○ |
| C-16 | dplyr_new_tibble: tibble作成 | E-01 ソースコード | ○ |
| C-17 | dplyr_new_tibble: クラス設定 | E-01 ソースコード | ○ |
| C-18 | list_flatten: フラット化 | E-01, E-13 テスト確認済み | ○ |
| C-19 | list_flatten: フラットリスト入力 | E-13 テスト確認済み | ○ |
| C-20 | list_flatten: 内部名優先 | E-13 テスト確認済み | ○ |
| C-21 | list_flatten: recursive | E-13 テスト確認済み | ○ |
| C-22 | list_flatten: fn引数 | E-13 テスト確認済み | ○ |
| C-23 | maybe_restart: 存在するリスタート | E-01 ソースコード | △ |
| C-24 | maybe_restart: 存在しないリスタート | E-01 ソースコード | △ |
| C-25 | expr_substitute: シンボル置換 | E-01 ソースコード | ○ |
| C-26 | expr_substitute: ネスト置換 | E-01 ソースコード | ○ |
| C-27 | cli_collapse: 要素結合 | E-01 ソースコード | ○ |
| C-28 | cli_format_each_inline: インラインフォーマット | E-01 ソースコード | ○ |

### R/utils-format.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-29 | dim_desc: 次元表示 | E-02 ソースコード | ○ |
| C-30 | dim_desc: NA次元表示 | E-02 ソースコード | ○ |
| C-31 | big_mark: 桁区切り | E-02 ソースコード | ○ |
| C-32 | big_mark: OutDec対応 | E-02 ソースコード | ○ |
| C-33 | rule: 罫線生成 | E-02 ソースコード | ○ |

### R/context.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-34 | n: グループサイズ返却 | E-04, E-14 テスト確認済み | ○ |
| C-35 | n: コンテキスト外エラー | E-14 テスト確認済み | ○ |
| C-36 | cur_group: グループキー返却 | E-04, E-14 テスト確認済み | ○ |
| C-37 | cur_group: 空グループ対応 | E-14 テスト確認済み | ○ |
| C-38 | cur_group: コンテキスト外エラー | E-14 テスト確認済み | ○ |
| C-39 | cur_group_id: グループID返却 | E-04, E-14 テスト確認済み | ○ |
| C-40 | cur_group_id: コンテキスト外エラー | E-14 テスト確認済み | ○ |
| C-41 | cur_group_rows: 行インデックス返却 | E-04, E-14 テスト確認済み | ○ |
| C-42 | cur_group_rows: コンテキスト外エラー | E-14 テスト確認済み | ○ |
| C-43 | cur_column: 列名返却 | E-04 ソースコード | ○ |
| C-44 | cur_column: across外エラー | E-14 テスト確認済み | ○ |
| C-45 | group_labels_details: 単一グループ | E-14 テスト確認済み | ○ |
| C-46 | group_labels_details: 複数グループ | E-14 テスト確認済み | ○ |
| C-47 | cur_group_label: ungrouped | E-04 ソースコード | ○ |
| C-48 | cur_group_label: grouped | E-04 ソースコード | ○ |
| C-49 | cur_group_label: rowwise | E-04 ソースコード | ○ |
| C-50 | context_poke: 値設定 | E-04 ソースコード | ○ |
| C-51 | context_peek: 値取得 | E-04 ソースコード | ○ |
| C-52 | context_peek: 未設定エラー | E-04 ソースコード | ○ |
| C-53 | context_local: フレーム終了時復元 | E-04 ソースコード | △ |

### R/conditions.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-54 | dplyr_local_error_call: 設定 | E-05, E-15 テスト確認済み | ○ |
| C-55 | dplyr_error_call: 取得 | E-05 ソースコード | ○ |
| C-56 | last_dplyr_warnings: 警告取得 | E-05, E-15 テスト確認済み | ○ |
| C-57 | last_dplyr_warnings: 空リスト | E-05 ソースコード | ○ |
| C-58 | last_dplyr_warnings: n_remaining | E-05, E-15 テスト確認済み | ○ |
| C-59 | reset_dplyr_warnings: リセット | E-05, E-15 テスト確認済み | ○ |
| C-60 | err_vars: 変数名フォーマット | E-05 ソースコード | ○ |
| C-61 | err_vars: 論理ベクトル変換 | E-05 ソースコード | ○ |
| C-62 | err_locs: 位置フォーマット | E-05, E-15 テスト確認済み | ○ |
| C-63 | err_locs: 省略 | E-15 テスト確認済み | ○ |
| C-64 | err_locs: 非整数エラー | E-15 テスト確認済み | ○ |
| C-65 | err_locs: 空ベクトルエラー | E-15 テスト確認済み | ○ |

### R/error.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-66 | ntext: 単数形 | E-06 ソースコード | ○ |
| C-67 | ntext: 複数形 | E-06 ソースコード | ○ |
| C-68 | fmt_pos_args: 引数フォーマット | E-06 ソースコード | ○ |
| C-69 | fmt_cols: 列名フォーマット | E-06 ソースコード | ○ |
| C-70 | fmt_obj: バッククォート囲み | E-06 ソースコード | ○ |
| C-71 | fmt_classes: スラッシュ区切り | E-06 ソースコード | ○ |
| C-72 | fmt_comma: カンマ区切り | E-06 ソースコード | ○ |
| C-73 | fmt_comma: 省略 | E-06 ソースコード | ○ |

### R/funs.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-74 | between: 範囲内TRUE | E-07, E-18 テスト確認済み | ○ |
| C-75 | between: 範囲外FALSE | E-07, E-18 テスト確認済み | ○ |
| C-76 | between: 左境界値 | E-07, E-18 テスト確認済み | ○ |
| C-77 | between: 右境界値 | E-07, E-18 テスト確認済み | ○ |
| C-78 | between: NA処理 | E-18 テスト確認済み | ○ |
| C-79 | between: ベクトル化 | E-18 テスト確認済み | ○ |
| C-80 | between: S3互換性 | E-18 テスト確認済み | ○ |
| C-81 | between: 日時型混合 | E-18 テスト確認済み | ○ |
| C-82 | between: データフレーム | E-18 テスト確認済み | ○ |
| C-83 | between: ptype引数 | E-18 テスト確認済み | ○ |
| C-84 | between: 型不整合エラー | E-18 テスト確認済み | ○ |
| C-85 | between: リサイクルエラー | E-18 テスト確認済み | ○ |
| C-86 | cumall: 全TRUE | E-18 テスト確認済み | ○ |
| C-87 | cumall: FALSE伝播 | E-18 テスト確認済み | ○ |
| C-88 | cumall: 空ベクトル | E-18 テスト確認済み | ○ |
| C-89 | cumall: NA伝播 | E-18 テスト確認済み | ○ |
| C-90 | cumany: 全FALSE | E-18 テスト確認済み | ○ |
| C-91 | cumany: TRUE伝播 | E-18 テスト確認済み | ○ |
| C-92 | cumany: 空ベクトル | E-18 テスト確認済み | ○ |
| C-93 | cumany: NA伝播 | E-18 テスト確認済み | ○ |
| C-94 | cummean: 累積平均 | E-18 テスト確認済み | ○ |
| C-95 | cummean: 空ベクトル | E-18 テスト確認済み | ○ |
| C-96 | cummean: 浮動小数点精度 | E-18 テスト確認済み | ○ |

### R/generics.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-97 | dplyr_row_slice: 数値インデックス | E-08, E-16 テスト確認済み | ○ |
| C-98 | dplyr_row_slice: 論理インデックス | E-08 ソースコード | ○ |
| C-99 | dplyr_row_slice: 不正インデックスエラー | E-08 ソースコード(abort呼び出し) | ○ |
| C-100 | dplyr_row_slice.grouped_df: グループ再計算 | E-16 テスト確認済み | ○ |
| C-101 | dplyr_row_slice.grouped_df: 空グループ保持 | E-16 テスト確認済み | ○ |
| C-102 | dplyr_row_slice.rowwise_df: rowwise対応 | E-08 ソースコード | ○ |
| C-103 | dplyr_col_modify: 空cols | E-16 テスト確認済み | ○ |
| C-104 | dplyr_col_modify: リサイクル適用 | E-16 テスト確認済み | ○ |
| C-105 | dplyr_col_modify: 列追加 | E-16 テスト確認済み | ○ |
| C-106 | dplyr_col_modify: 列削除 | E-16 テスト確認済み | ○ |
| C-107 | dplyr_col_modify: 列置換 | E-16 テスト確認済み | ○ |
| C-108 | dplyr_col_modify: リサイクルエラー | E-16 テスト確認済み | ○ |
| C-109 | dplyr_col_modify: 行名保持 | E-16 テスト確認済み | ○ |
| C-110 | dplyr_col_modify.grouped_df: グループ列変更 | E-08 ソースコード | ○ |
| C-111 | dplyr_col_modify.grouped_df: 非グループ列変更 | E-08 ソースコード | ○ |
| C-112 | dplyr_reconstruct: クラス復元 | E-16 テスト確認済み | ○ |
| C-113 | dplyr_reconstruct: 属性維持 | E-16 テスト確認済み | ○ |
| C-114 | dplyr_reconstruct: コンパクト行名維持 | E-16 テスト確認済み | ○ |
| C-115 | dplyr_reconstruct: 属性クリーン | E-16 テスト確認済み | △ |
| C-116 | dplyr_reconstruct.grouped_df: グループ交差 | E-08 ソースコード | ○ |
| C-117 | dplyr_reconstruct.rowwise_df: rowwise再構築 | E-08 ソースコード | ○ |
| C-118 | dplyr_col_select: 列選択 | E-08 ソースコード | ○ |
| C-119 | dplyr_col_select: 不正メソッドエラー | E-08 ソースコード(abort呼び出し) | ○ |
| C-120 | dplyr_col_select: 列数不整合エラー | E-08 ソースコード(abort呼び出し) | ○ |

### R/vctrs.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-121 | dplyr_vec_cast_common: 共通型キャスト | E-09 ソースコード | ○ |
| C-122 | dplyr_vec_cast_common: 不整合エラー | E-09 ソースコード | ○ |
| C-123 | dplyr_vec_ptype_common: 共通プロトタイプ | E-09 ソースコード | ○ |
| C-124 | dplyr_list_size_common: 共通サイズ | E-09 ソースコード | ○ |
| C-125 | dplyr_list_recycle_common: リサイクル | E-09 ソースコード | ○ |

### R/locale.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-126 | dplyr_legacy_locale: デフォルトFALSE | E-17 テスト確認済み | ○ |
| C-127 | dplyr_legacy_locale: オプションTRUE | E-17 テスト確認済み | ○ |
| C-128 | dplyr_legacy_locale: 不正オプション値エラー | E-17 テスト確認済み | ○ |
| C-129 | dplyr_legacy_locale: 非推奨警告 | E-17 テスト確認済み | ○ |
| C-130 | has_minimum_stringi: stringi確認 | E-10 ソースコード | ○ |

### R/progress.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-131 | progress_estimated: オブジェクト返却 | E-11 ソースコード | ○ |
| C-132 | progress_estimated: 非推奨警告 | E-11 ソースコード(deprecate_warn呼び出し) | ○ |
| C-133 | Progress: 初期化 | E-11 ソースコード | ○ |
| C-134 | Progress.tick: カウンタ増加 | E-11 ソースコード | ○ |
| C-135 | Progress.tick: 過剰エラー | E-11 ソースコード(abort呼び出し) | ○ |
| C-136 | Progress.stop: stopped設定 | E-11 ソースコード | ○ |
| C-137 | Progress.begin: タイマーリセット | E-11 ソースコード | ○ |
| C-138 | Progress.width: 幅計算 | E-11 ソースコード | ○ |
| C-139 | cat_line: 行出力 | E-11 ソースコード | ○ |
| C-140 | str_rep: 文字繰り返し | E-11 ソースコード | ○ |
| C-141 | show_time: 秒表示 | E-11 ソースコード | ○ |
| C-142 | show_time: 分表示 | E-11 ソースコード | ○ |
| C-143 | show_time: 時間表示 | E-11 ソースコード | ○ |
| C-144 | now: 時刻取得 | E-11 ソースコード | ○ |

### R/desc.R関連
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-145 | desc: 降順変換 | E-12 ソースコード | ○ |
| C-146 | desc: ファクター変換 | E-12 ソースコード | ○ |
| C-147 | desc: 日付変換 | E-12 ソースコード | ○ |
| C-148 | desc: 非ベクトルエラー | E-19 テスト確認済み | ○ |

## 4) 不足情報(Unknown / Missing)
- **maybe_restart関数のテスト根拠**: 既存テストファイルにmaybe_restartの直接テストが見つからない
  - 候補: 内部関数のため直接テストは不要と判断 / リスタート機構の統合テストで間接的に確認 / 新規テスト追加検討
- **context_localのフレーム終了時復元テスト**: on.exitによる復元の直接テストが見つからない
  - 候補: 内部実装のため間接的にテスト済みと判断 / 専用テスト追加検討
- **dplyr_reconstruct属性クリーンのテスト**: test-generics.Rで部分的に確認されているが、属性が除去されることの直接テストは限定的
  - 候補: E-16のdplyr_reconstruct.dplyr_foobarテストで間接確認済み

## 5) リスクフラグ(レビュー観点)
- **0 (低リスク)**: 内部ユーティリティ関数(commas, paste_line, fmt_*など) - 既存テストまたはソースコードから挙動が明確
- **1 (中リスク)**: コンテキスト関数(context_poke, context_peek, context_local) - 複雑な状態管理、間接的にテスト済み
- **1 (中リスク)**: maybe_restart関数 - リスタート機構は特殊、直接テストなし
- **0 (低リスク)**: ユーザー向け関数(between, cumall, cumany, cummean, desc) - 既存テストで十分にカバー
- **0 (低リスク)**: ジェネリクス(dplyr_row_slice, dplyr_col_modify, dplyr_reconstruct) - 既存テストで十分にカバー

## 6) レビュアーチェックリスト(最小)
- [ ] between関数の境界値テストケース(UT-UTL-076, 077)が実際の期待結果と一致するか確認
- [ ] cumall/cumanyのNA伝播テストケース(UT-UTL-089, 093)がC++実装の挙動と一致するか確認
- [ ] context関数群のエラーメッセージがtest-context.Rのスナップショットと一致するか確認
- [ ] dplyr_col_modifyのリサイクル規則がtidyverse標準と一致するか確認
- [ ] progress_estimated非推奨警告のalways=TRUEが意図通りか確認
- [ ] maybe_restart関数のテストカバレッジが十分か検討
