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

# 根拠レポート：import モジュール単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：172 / 172、根拠なし：0
- 優先レビュー（高）
  1. **なし**：全テストケースにソースコード根拠あり
  2. **スタンドアロンファイル特性**：rlangパッケージから取り込んだコードのため、元のrlangのテストとの整合性確認を推奨
  3. **C言語実装依存**：check_bool, check_number_decimal, check_number_wholeはFFI経由でC実装を呼び出すため、実際の動作はC側の実装に依存

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

- E-01: `R/import-standalone-obj-type.R` - オブジェクト型のフレンドリー表示機能
- E-02: `R/import-standalone-purrr.R` - purrr関数のミニマル実装
- E-03: `R/import-standalone-types-check.R` - 型チェック関数群
- E-04: `docs/code-to-docs/単体テストケース一覧/plan.md` - プロジェクト計画

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

### import-standalone-obj-type.R 関連（C-01 〜 C-46）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | obj_type_friendly: missing引数でabsentが返る | E-01 (L59-61) | ○ |
| C-02 | obj_type_friendly: S3オブジェクトでクラス名が返る | E-01 (L63-70) | ○ |
| C-03 | obj_type_friendly: quosureで正しい型が返る | E-01 (L64-65) | ○ |
| C-04 | obj_type_friendly: 複数クラスでスラッシュ区切り | E-01 (L67) | ○ |
| C-05 | obj_type_friendly: NULLでバッククォート付きNULL | E-01 (L72-74, L226) | ○ |
| C-06 | obj_type_friendly: 環境でan environment | E-01 (L227) | ○ |
| C-07 | obj_type_friendly: 論理NAで`NA` | E-01 (L80-83) | ○ |
| C-08 | obj_type_friendly: 整数NAでan integer NA | E-01 (L84) | ○ |
| C-09 | obj_type_friendly: 数値NAでa numeric NA | E-01 (L85-89) | ○ |
| C-10 | obj_type_friendly: NaNで`NaN` | E-01 (L86-87) | ○ |
| C-11 | obj_type_friendly: 文字NAでa character NA | E-01 (L92) | ○ |
| C-12 | obj_type_friendly: Infで`Inf` | E-01 (L97-103, L113-114) | ○ |
| C-13 | obj_type_friendly: -Infで`-Inf` | E-01 (L100-101) | ○ |
| C-14 | obj_type_friendly: value=TRUEで数値リテラル表示 | E-01 (L117-121) | ○ |
| C-15 | obj_type_friendly: TRUEで`TRUE` | E-01 (L125) | ○ |
| C-16 | obj_type_friendly: FALSEで`FALSE` | E-01 (L125) | ○ |
| C-17 | obj_type_friendly: 文字列でクォート付き表示 | E-01 (L126-128) | ○ |
| C-18 | obj_type_friendly: 空文字列で特別なメッセージ | E-01 (L127) | ○ |
| C-19 | obj_type_friendly: 長い文字列が切り詰められる | E-01 (L104-110) | ○ |
| C-20 | obj_type_friendly: 空の論理ベクトルで正しいメッセージ | E-01 (L147-150) | ○ |
| C-21 | obj_type_friendly: 空の整数ベクトルで正しいメッセージ | E-01 (L151) | ○ |
| C-22 | obj_type_friendly: 空のリストで正しいメッセージ | E-01 (L156) | ○ |
| C-23 | obj_type_friendly: 論理ベクトルで正しい型 | E-01 (L162, L194) | ○ |
| C-24 | obj_type_friendly: 整数ベクトルで正しい型 | E-01 (L162, L195) | ○ |
| C-25 | obj_type_friendly: 行列で正しい型 | E-01 (L206-207) | ○ |
| C-26 | obj_type_friendly: 配列で正しい型 | E-01 (L208-209) | ○ |
| C-27 | obj_type_friendly: データフレームで正しい型 | E-01 (L183-184) | ○ |
| C-28 | obj_type_friendly: リスト行列で正しい型 | E-01 (L185-186) | ○ |
| C-29 | vec_type_friendly: リストで正しい型 | E-01 (L180-182) | ○ |
| C-30 | vec_type_friendly: length=TRUEで長さ付加 | E-01 (L172-178) | ○ |
| C-31 | vec_type_friendly: 非ベクトルでエラー | E-01 (L166-168) | ○ |
| C-32 | .rlang_as_friendly_type: symbol型 | E-01 (L232-233) | ○ |
| C-33 | .rlang_as_friendly_type: closure型 | E-01 (L247) | ○ |
| C-34 | .rlang_as_friendly_type: builtin型 | E-01 (L244-246) | ○ |
| C-35 | .rlang_as_friendly_type: 未知の型 | E-01 (L249) | ○ |
| C-36 | obj_type_oo: 非OOオブジェクトでbare | E-01 (L266-268) | ○ |
| C-37 | obj_type_oo: S3オブジェクトでS3 | E-01 (L278-279) | ○ |
| C-38 | obj_type_oo: S4オブジェクトでS4 | E-01 (L276-277) | ○ |
| C-39 | obj_type_oo: R6オブジェクトでR6 | E-01 (L272-273) | ○ |
| C-40 | stop_input_type: エラーメッセージ生成 | E-01 (L292-326) | ○ |
| C-41 | stop_input_type: allow_na=TRUE | E-01 (L308-310) | ○ |
| C-42 | stop_input_type: allow_null=TRUE | E-01 (L311-313) | ○ |
| C-43 | oxford_comma: 1要素 | E-01 (L331-332) | ○ |
| C-44 | oxford_comma: 2要素 | E-01 (L343-344) | ○ |
| C-45 | oxford_comma: 3要素以上 | E-01 (L341-342) | ○ |
| C-46 | oxford_comma: 空ベクトル | E-01 (L331-332) | ○ |

### import-standalone-purrr.R 関連（C-47 〜 C-99）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-47 | map: リストに関数を適用 | E-02 (L36-39) | ○ |
| C-48 | map: フォーミュラ記法 | E-02 (L37) | ○ |
| C-49 | map: 追加引数 | E-02 (L38) | ○ |
| C-50 | map: 空リスト | E-02 (L38) | ○ |
| C-51 | walk: 副作用実行 | E-02 (L40-43) | ○ |
| C-52 | map_lgl: 論理ベクトル | E-02 (L45-46) | ○ |
| C-53 | map_lgl: 名前保持 | E-02 (L60) | ○ |
| C-54 | map_int: 整数ベクトル | E-02 (L48-49) | ○ |
| C-55 | map_dbl: 数値ベクトル | E-02 (L51-52) | ○ |
| C-56 | map_chr: 文字列ベクトル | E-02 (L54-55) | ○ |
| C-57 | map2: 2つのリストに適用 | E-02 (L64-72) | ○ |
| C-58 | map2: 名前保持 | E-02 (L67-68) | ○ |
| C-59 | map2: 長さ不一致時の名前 | E-02 (L69-70) | ○ |
| C-60 | map2_lgl: 論理ベクトル | E-02 (L73-74) | ○ |
| C-61 | map2_int: 整数ベクトル | E-02 (L76-77) | ○ |
| C-62 | map2_dbl: 数値ベクトル | E-02 (L79-80) | ○ |
| C-63 | map2_chr: 文字列ベクトル | E-02 (L82-83) | ○ |
| C-64 | imap: インデックス付き | E-02 (L85-87) | ○ |
| C-65 | imap: 名前なしで数値インデックス | E-02 (L86) | ○ |
| C-66 | pmap: 複数リスト | E-02 (L89-97) | ○ |
| C-67 | pmap: リサイクル | E-02 (L98-107) | ○ |
| C-68 | .rlang_purrr_args_recycle: 長さ不整合エラー | E-02 (L102) | ○ |
| C-69 | keep: 条件を満たす要素保持 | E-02 (L109-111) | ○ |
| C-70 | keep: 論理ベクトルフィルタ | E-02 (L122-124) | ○ |
| C-71 | discard: 条件を満たす要素除去 | E-02 (L112-115) | ○ |
| C-72 | discard: NAの扱い | E-02 (L114) | ○ |
| C-73 | map_if: 条件付き変換 | E-02 (L116-120) | ○ |
| C-74 | compact: NULL除去 | E-02 (L131-133) | ○ |
| C-75 | compact: 全NULL | E-02 (L132) | ○ |
| C-76 | transpose: リスト転置 | E-02 (L135-162) | ○ |
| C-77 | transpose: 空リスト | E-02 (L136-138) | ○ |
| C-78 | transpose: 名前なしリスト | E-02 (L142-143) | ○ |
| C-79 | transpose: 内部名不整合 | E-02 (L155-157) | ○ |
| C-80 | every: 全要素条件満たす | E-02 (L164-171) | ○ |
| C-81 | every: 1要素条件不一致 | E-02 (L168) | ○ |
| C-82 | every: 空リスト | E-02 (L167) | ○ |
| C-83 | some: 1要素条件満たす | E-02 (L172-179) | ○ |
| C-84 | some: 全要素条件不一致 | E-02 (L177) | ○ |
| C-85 | some: 空リスト | E-02 (L175) | ○ |
| C-86 | negate: 条件反転 | E-02 (L180-183) | ○ |
| C-87 | negate: フォーミュラ | E-02 (L181) | ○ |
| C-88 | reduce: 畳み込み | E-02 (L185-188) | ○ |
| C-89 | reduce: 初期値指定 | E-02 (L187) | ○ |
| C-90 | reduce: 空リスト | E-02 (L187) | ○ |
| C-91 | reduce_right: 右から畳み込み | E-02 (L189-192) | ○ |
| C-92 | accumulate: 累積結果 | E-02 (L193-196) | ○ |
| C-93 | accumulate_right: 右から累積 | E-02 (L197-200) | ○ |
| C-94 | detect: 条件を満たす最初の要素 | E-02 (L202-212) | ○ |
| C-95 | detect: 条件不一致でNULL | E-02 (L211) | ○ |
| C-96 | detect: .right=TRUE | E-02 (L206) | ○ |
| C-97 | detect_index: 条件を満たすインデックス | E-02 (L213-223) | ○ |
| C-98 | detect_index: 条件不一致で0 | E-02 (L222) | ○ |
| C-99 | detect_index: .right=TRUE | E-02 (L217) | ○ |

### import-standalone-types-check.R 関連（C-100 〜 C-172）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-100 | check_bool: TRUEで検証通過 | E-03 (L55-74) | ○ |
| C-101 | check_bool: FALSEで検証通過 | E-03 (L55-74) | ○ |
| C-102 | check_bool: 数値でエラー | E-03 (L65-73) | ○ |
| C-103 | check_bool: 文字列でエラー | E-03 (L65-73) | ○ |
| C-104 | check_bool: allow_na=TRUEでNA許可 | E-03 (L57, L61) | ○ |
| C-105 | check_bool: allow_na=FALSEでNAエラー | E-03 (L57) | ○ |
| C-106 | check_bool: allow_null=TRUEでNULL許可 | E-03 (L58, L61) | ○ |
| C-107 | check_bool: allow_null=FALSEでNULLエラー | E-03 (L58) | ○ |
| C-108 | check_bool: missing引数エラー | E-03 (L61) | ○ |
| C-109 | check_string: 文字列で検証通過 | E-03 (L76-104) | ○ |
| C-110 | check_string: 空文字列許可 | E-03 (L78) | ○ |
| C-111 | check_string: allow_empty=FALSEで空文字列エラー | E-03 (L78, L111) | ○ |
| C-112 | check_string: 数値でエラー | E-03 (L95-103) | ○ |
| C-113 | check_string: ベクトルでエラー | E-03 (L110) | ○ |
| C-114 | check_string: allow_na=TRUEでNA許可 | E-03 (L79, L120) | ○ |
| C-115 | check_string: NA_character_許可 | E-03 (L120) | ○ |
| C-116 | check_name: 有効な名前で検証通過 | E-03 (L127-153) | ○ |
| C-117 | check_name: 空文字列でエラー | E-03 (L135) | ○ |
| C-118 | check_name: NAでエラー | E-03 (L136) | ○ |
| C-119 | check_number_decimal: 数値で検証通過 | E-03 (L159-195) | ○ |
| C-120 | check_number_decimal: 整数で検証通過 | E-03 (L159-195) | ○ |
| C-121 | check_number_decimal: Inf許可 | E-03 (L163) | ○ |
| C-122 | check_number_decimal: allow_infinite=FALSEでInfエラー | E-03 (L163) | ○ |
| C-123 | check_number_decimal: min検証通過 | E-03 (L161) | ○ |
| C-124 | check_number_decimal: min未満でエラー | E-03 (L161, L250-251) | ○ |
| C-125 | check_number_decimal: max検証通過 | E-03 (L162) | ○ |
| C-126 | check_number_decimal: max超過でエラー | E-03 (L162, L252-253) | ○ |
| C-127 | check_number_decimal: min=max境界値 | E-03 (L248-249) | ○ |
| C-128 | check_number_decimal: 文字列でエラー | E-03 (L183-194) | ○ |
| C-129 | check_number_whole: 整数で検証通過 | E-03 (L197-232) | ○ |
| C-130 | check_number_whole: 数値型整数値で検証通過 | E-03 (L197-232) | ○ |
| C-131 | check_number_whole: 小数でエラー | E-03 (L210) | ○ |
| C-132 | check_number_whole: Infでエラー | E-03 (L213) | ○ |
| C-133 | check_number_whole: min/max範囲内 | E-03 (L199-200) | ○ |
| C-134 | check_number_whole: 範囲外エラー | E-03 (L199-200) | ○ |
| C-135 | check_symbol: シンボルで検証通過 | E-03 (L274-296) | ○ |
| C-136 | check_symbol: 文字列でエラー | E-03 (L288-295) | ○ |
| C-137 | check_symbol: allow_null=TRUEでNULL許可 | E-03 (L283-285) | ○ |
| C-138 | check_arg: シンボルで検証通過 | E-03 (L298-320) | ○ |
| C-139 | check_arg: 数値でエラー | E-03 (L312-319) | ○ |
| C-140 | check_call: callで検証通過 | E-03 (L322-344) | ○ |
| C-141 | check_call: シンボルでエラー | E-03 (L336-343) | ○ |
| C-142 | check_call: allow_null=TRUEでNULL許可 | E-03 (L331-333) | ○ |
| C-143 | check_environment: 環境で検証通過 | E-03 (L346-368) | ○ |
| C-144 | check_environment: リストでエラー | E-03 (L360-367) | ○ |
| C-145 | check_environment: allow_null=TRUEでNULL許可 | E-03 (L355-357) | ○ |
| C-146 | check_function: 関数で検証通過 | E-03 (L370-392) | ○ |
| C-147 | check_function: ラムダ関数で検証通過 | E-03 (L376) | ○ |
| C-148 | check_function: 文字列でエラー | E-03 (L384-391) | ○ |
| C-149 | check_function: allow_null=TRUEでNULL許可 | E-03 (L379-381) | ○ |
| C-150 | check_closure: クロージャで検証通過 | E-03 (L394-416) | ○ |
| C-151 | check_closure: プリミティブでエラー | E-03 (L408-415) | ○ |
| C-152 | check_closure: allow_null=TRUEでNULL許可 | E-03 (L403-405) | ○ |
| C-153 | check_formula: フォーミュラで検証通過 | E-03 (L418-440) | ○ |
| C-154 | check_formula: 両側フォーミュラで検証通過 | E-03 (L424) | ○ |
| C-155 | check_formula: callでエラー | E-03 (L432-439) | ○ |
| C-156 | check_formula: allow_null=TRUEでNULL許可 | E-03 (L427-429) | ○ |
| C-157 | check_character: 文字ベクトルで検証通過 | E-03 (L445-467) | ○ |
| C-158 | check_character: 単一文字列で検証通過 | E-03 (L451) | ○ |
| C-159 | check_character: 数値ベクトルでエラー | E-03 (L459-466) | ○ |
| C-160 | check_character: allow_null=TRUEでNULL許可 | E-03 (L454-456) | ○ |
| C-161 | check_logical: 論理ベクトルで検証通過 | E-03 (L469-491) | ○ |
| C-162 | check_logical: 単一論理値で検証通過 | E-03 (L475) | ○ |
| C-163 | check_logical: 数値でエラー | E-03 (L483-490) | ○ |
| C-164 | check_logical: allow_null=TRUEでNULL許可 | E-03 (L478-480) | ○ |
| C-165 | .rlang_check_is_string: 有効な文字列でTRUE | E-03 (L106-125) | ○ |
| C-166 | .rlang_check_is_string: 空文字列許可でTRUE | E-03 (L111) | ○ |
| C-167 | .rlang_check_is_string: 空文字列禁止でFALSE | E-03 (L111) | ○ |
| C-168 | .rlang_check_is_string: NULL許可でTRUE | E-03 (L116-118) | ○ |
| C-169 | .rlang_check_is_string: NA許可でTRUE | E-03 (L120-122) | ○ |
| C-170 | .stop_not_number: 範囲外エラーメッセージ | E-03 (L234-272) | ○ |
| C-171 | .stop_not_number: 上限超過メッセージ | E-03 (L252-253) | ○ |
| C-172 | .stop_not_number: 範囲指定メッセージ | E-03 (L248-249) | ○ |

## 4) 不足情報（Unknown / Missing）
- なし - 全てのテストケースにソースコード根拠あり

注意点:
- スタンドアロンファイルはrlangパッケージから取り込まれたものであり、元のテストスイートとの整合性確認が推奨される
- check_bool, check_number_decimal, check_number_wholeはC言語のFFI実装（ffi_standalone_is_bool_1.0.7, ffi_standalone_check_number_1.0.7）に依存しているため、C側の実装が正しく動作することが前提

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - 全テストケースがソースコードから直接導出されており、高い信頼性

特記事項:
- これらのファイルは「Standalone file: do not edit by hand」とマークされており、rlangパッケージからの取り込みファイル
- テストケースはR言語の型システムとpurrr互換の関数型プログラミング機能に基づいている
- C言語FFI呼び出し部分（.standalone_types_check_dot_call）は単体テストでモック化が必要な可能性あり

## 6) レビュアーチェックリスト（最小）
- [ ] ソースコードの各関数に対応するテストケースが存在するか確認
- [ ] 正常系・異常系・境界値の観点が網羅されているか確認
- [ ] テスト対象のスタンドアロンファイルが最新のrlangバージョンと整合しているか確認
- [ ] FFI依存関数（check_bool, check_number_decimal, check_number_whole）のC実装との整合性確認
- [ ] R6/R7/S4オブジェクトのテストケースが環境依存しないか確認
- [ ] フォーミュラ記法（~）を使用するテストケースがas_function依存を正しく考慮しているか確認
