---
generated_at: 2026-02-22 19:30:00
metrics:
  claims_total: 92
  claims_with_evidence: 89
  claims_without_evidence: 3
confidence_derived: 0.97
---

# 根拠レポート：機能一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.97**
  - 根拠あり：89 / 92、根拠なし：3
- 優先レビュー（高）
  1. **C-85（ベンチマーク）**：機能の詳細な内容はmrbgem.rakeのsummaryのみで確認。実際のベンチマーク機能の詳細が不明
  2. **C-88（インライン構造体テスト）**：テスト用gemの詳細な機能・目的が不明
  3. **C-91（アマルガメーション）**：README.mdの記述のみで確認。ビルドタスクの実装は未確認

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

- E-01: `src/vm.c` - 仮想マシン実装（冒頭コメント「virtual machine for mruby」、STACK_INIT_SIZE、MRB_CALL_LEVEL_MAX定義）
- E-02: `src/gc.c` - ガベージコレクション実装（冒頭コメント「garbage collector for mruby」、三色インクリメンタルGCの説明コメント）
- E-03: `src/state.c` - mrb_state管理（mrb_open, mrb_open_core, mrb_close関数）
- E-04: `src/init.c` - コア初期化（mrb_init_core関数、各サブシステム初期化呼び出し一覧）
- E-05: `src/allocf.c` - デフォルトメモリアロケータ（mrb_basic_alloc_func関数）
- E-06: `src/mempool.c` - メモリプール（POOL_ALIGNMENT、POOL_PAGE_SIZE定義）
- E-07: `src/class.c` - Classクラス実装（冒頭コメント「Class class」、メソッドテーブル管理）
- E-08: `src/object.c` - Objectクラス実装
- E-09: `src/kernel.c` - Kernelモジュール実装
- E-10: `src/enum.c` - Enumerableモジュール実装（mrb_init_enumerable関数）
- E-11: `mrblib/enum.rb` - Enumerable Rubyレベル実装
- E-12: `src/string.c` - Stringクラス実装
- E-13: `mrblib/string.rb` - String Rubyレベル実装
- E-14: `src/array.c` - Arrayクラス実装
- E-15: `mrblib/array.rb` - Array Rubyレベル実装
- E-16: `src/hash.c` - Hashクラス実装
- E-17: `mrblib/hash.rb` - Hash Rubyレベル実装
- E-18: `src/numeric.c` - Numericクラス実装
- E-19: `src/numops.c` - 数値演算実装
- E-20: `mrblib/numeric.rb` - Numeric Rubyレベル実装
- E-21: `src/symbol.c` - Symbolクラス実装
- E-22: `mrblib/symbol.rb` - Symbol Rubyレベル実装
- E-23: `src/range.c` - Rangeクラス実装
- E-24: `mrblib/range.rb` - Range Rubyレベル実装
- E-25: `src/proc.c` - Procクラス実装
- E-26: `mrblib/compar.rb` - Comparable Rubyレベル実装
- E-27: `src/error.c` - 例外処理実装（冒頭コメント「Exception class」）
- E-28: `src/backtrace.c` - バックトレース実装
- E-29: `src/variable.c` - 変数管理実装
- E-30: `src/debug.c` - デバッグ情報管理
- E-31: `src/load.c` - バイナリローダ（冒頭コメント「mruby binary loader」）
- E-32: `src/dump.c` - バイナリダンパ（冒頭コメント「mruby binary dumper」）
- E-33: `src/cdump.c` - Cソースダンパ（冒頭コメント「mruby binary dumper (in C)」）
- E-34: `src/codedump.c` - コードダンプ
- E-35: `src/print.c` - 出力機能（冒頭コメント「Kernel#p, Kernel#print」）
- E-36: `src/version.c` - バージョン情報定義
- E-37: `src/readint.c` - 整数パーサ
- E-38: `src/readfloat.c` - 浮動小数点パーサ
- E-39: `src/readnum.c` - 数値パーサ（互換関数）
- E-40: `src/fmt_fp.c` - 浮動小数点フォーマッタ
- E-41: `src/etc.c` - ユーティリティ関数（mrb_data_object_alloc等）
- E-42: `mrbgems/mruby-compar-ext/mrbgem.rake` - summary: 'Comparable module extension'
- E-43: `mrbgems/mruby-enum-ext/mrbgem.rake` - summary: 'Enumerable module extension'
- E-44: `mrbgems/mruby-string-ext/mrbgem.rake` - summary: 'String class extension'
- E-45: `mrbgems/mruby-numeric-ext/mrbgem.rake` - summary: 'Numeric class extension'
- E-46: `mrbgems/mruby-array-ext/mrbgem.rake` - summary: 'Array class extension'
- E-47: `mrbgems/mruby-hash-ext/mrbgem.rake` - summary: 'Hash class extension'
- E-48: `mrbgems/mruby-range-ext/mrbgem.rake` - summary: 'Range class extension'
- E-49: `mrbgems/mruby-proc-ext/mrbgem.rake` - summary: 'Proc class extension'
- E-50: `mrbgems/mruby-symbol-ext/mrbgem.rake` - summary: 'Symbol class extension'
- E-51: `mrbgems/mruby-object-ext/mrbgem.rake` - summary: 'extensional methods shared by all objects'
- E-52: `mrbgems/mruby-kernel-ext/mrbgem.rake` - summary: 'extensional function-like methods'
- E-53: `mrbgems/mruby-class-ext/mrbgem.rake` - summary: 'class/module extension'
- E-54: `mrbgems/mruby-toplevel-ext/mrbgem.rake` - summary: 'toplevel object (main) methods extension'
- E-55: `mrbgems/mruby-objectspace/mrbgem.rake` - summary: 'ObjectSpace class'
- E-56: `mrbgems/mruby-set/mrbgem.rake` - summary: 'Set class'
- E-57: `mrbgems/mruby-fiber/mrbgem.rake` - summary: 'Fiber class'
- E-58: `mrbgems/mruby-enumerator/mrbgem.rake` - summary: 'Enumerator class'
- E-59: `mrbgems/mruby-enum-lazy/mrbgem.rake` - summary: 'Enumerator::Lazy class'
- E-60: `mrbgems/mruby-enum-chain/mrbgem.rake` - summary: 'Enumerator::Chain class'
- E-61: `mrbgems/mruby-catch/mrbgem.rake` - summary: 'Catch / Throw non-local Jump'
- E-62: `mrbgems/mruby-pack/mrbgem.rake` - summary: 'Array#pack and String#unpack method'
- E-63: `mrbgems/mruby-sprintf/mrbgem.rake` - summary: 'standard Kernel#sprintf method'
- E-64: `mrbgems/mruby-time/mrbgem.rake` - summary: 'standard Time class'
- E-65: `mrbgems/mruby-struct/mrbgem.rake` - summary: 'standard Struct class'
- E-66: `mrbgems/mruby-data/mrbgem.rake` - summary: 'standard Data class'
- E-67: `mrbgems/mruby-random/mrbgem.rake` - summary: 'Random class'
- E-68: `mrbgems/mruby-math/mrbgem.rake` - summary: 'standard Math module'
- E-69: `mrbgems/mruby-rational/mrbgem.rake` - summary: 'Rational class'
- E-70: `mrbgems/mruby-complex/mrbgem.rake` - summary: 'Complex class'
- E-71: `mrbgems/mruby-bigint/mrbgem.rake` - summary: 'Integer class extension to multiple-precision'
- E-72: `mrbgems/mruby-cmath/mrbgem.rake` - summary: 'standard Math module with complex'
- E-73: `mrbgems/mruby-metaprog/mrbgem.rake` - summary: 'Meta-programming features for mruby'
- E-74: `mrbgems/mruby-method/mrbgem.rake` - summary: 'Method and UnboundMethod class'
- E-75: `mrbgems/mruby-eval/mrbgem.rake` - summary: 'standard Kernel#eval method'
- E-76: `mrbgems/mruby-binding/mrbgem.rake` - summary: 'Binding class (core features only)'
- E-77: `mrbgems/mruby-proc-binding/mrbgem.rake` - summary: 'Proc#binding method'
- E-78: `mrbgems/mruby-compiler/mrbgem.rake` - summary: 'mruby compiler library'
- E-79: `mrbgems/mruby-compiler/core/` - codegen.c, parse.y, y.tab.c
- E-80: `mrbgems/mruby-io/mrbgem.rake` - summary: 'IO and File class'
- E-81: `mrbgems/mruby-socket/mrbgem.rake` - summary: 'standard socket class'
- E-82: `mrbgems/mruby-errno/mrbgem.rake` - summary: 'Errno module and SystemCallError class'
- E-83: `mrbgems/mruby-dir/mrbgem.rake` - summary指定なし、ディレクトリ操作gem
- E-84: `mrbgems/mruby-bin-mruby/mrbgem.rake` - summary: 'mruby command'
- E-85: `mrbgems/mruby-bin-mrbc/mrbgem.rake` - summary: 'mruby compiler executable'
- E-86: `mrbgems/mruby-bin-mirb/mrbgem.rake` - summary: 'mirb command'
- E-87: `mrbgems/mruby-bin-debugger/mrbgem.rake` - summary: 'mruby debugger command'
- E-88: `mrbgems/mruby-bin-strip/mrbgem.rake` - summary: 'irep dump debug section remover command'
- E-89: `mrbgems/mruby-bin-config/mrbgem.rake` - summary: 'mruby-config command'
- E-90: `mrbgems/mruby-encoding/mrbgem.rake` - summary: "Poorman's Encoding for mruby"
- E-91: `mrbgems/mruby-strftime/mrbgem.rake` - summary: 'Time#strftime implementation'
- E-92: `mrbgems/mruby-sleep/mrbgem.rake` - summary: 'Kernel#sleep and Kernel#usleep'
- E-93: `mrbgems/mruby-exit/mrbgem.rake` - summary: 'Kernel#exit method'
- E-94: `mrbgems/mruby-error/mrbgem.rake` - summary: 'extensional error handling'
- E-95: `mrbgems/mruby-os-memsize/mrbgem.rake` - summary: 'ObjectSpace memsize_of method'
- E-96: `mrbgems/mruby-benchmark/mrbgem.rake` - summary: 'benchmarking and profiling tools'
- E-97: `mrbgems/mruby-task/mrbgem.rake` - summary: 'Cooperative multitasking with preemptive scheduling'
- E-98: `mrbgems/mruby-test/mrbgem.rake` - summary: 'mruby test'
- E-99: `mrbgems/mruby-test-inline-struct/mrbgem.rake` - summary: 'inline structure'
- E-100: `README.md` - プロジェクト概要、ビルド手順、アマルガメーション説明
- E-101: `Rakefile` - ビルドシステムのエントリポイント
- E-102: `build_config.rb` - ビルド構成ファイル
- E-103: `mrbgems/default.gembox` - デフォルトgembox定義
- E-104: `mrbgems/stdlib.gembox` - 標準ライブラリgembox定義
- E-105: `mrbgems/stdlib-ext.gembox` - 標準ライブラリ拡張gembox定義
- E-106: `mrbgems/stdlib-io.gembox` - IO系gembox定義
- E-107: `mrbgems/math.gembox` - 数学系gembox定義
- E-108: `mrbgems/metaprog.gembox` - メタプログラミング系gembox定義
- E-109: `tools/lrama/` - パーサジェネレータ
- E-110: `mrbgems/mruby-task/src/task.c` - Taskスケジューラ実装

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | 仮想マシン（VM）: mrubyバイトコードを実行するスタックベースの仮想マシン | E-01 | ○ |
| C-02 | ガベージコレクション（GC）: 三色インクリメンタルマーク&スイープ方式 | E-02 | ○ |
| C-03 | mrb_state管理: mrb_open/mrb_closeによる状態管理 | E-03 | ○ |
| C-04 | コア初期化: mrb_init_coreによる各サブシステム初期化 | E-04 | ○ |
| C-05 | メモリアロケータ: デフォルトのmalloc/realloc/free | E-05 | ○ |
| C-06 | メモリプール: ページベースのメモリプール | E-06 | ○ |
| C-07 | irep管理: 参照カウント管理・解放 | E-03 | ○ |
| C-08 | Classクラス: メソッドテーブル管理 | E-07 | ○ |
| C-09 | Objectクラス: 基底クラス機能 | E-08 | ○ |
| C-10 | Kernelモジュール: 共通メソッド提供 | E-09 | ○ |
| C-11 | Enumerableモジュール: イテレーション機能 | E-10, E-11 | ○ |
| C-12 | Stringクラス: 文字列操作 | E-12, E-13 | ○ |
| C-13 | Arrayクラス: 配列操作 | E-14, E-15 | ○ |
| C-14 | Hashクラス: ハッシュテーブル操作 | E-16, E-17 | ○ |
| C-15 | Numericクラス: 数値操作 | E-18, E-19, E-20 | ○ |
| C-16 | Symbolクラス: シンボル管理 | E-21, E-22 | ○ |
| C-17 | Rangeクラス: 範囲オブジェクト操作 | E-23, E-24 | ○ |
| C-18 | Procクラス: 手続きオブジェクト | E-25 | ○ |
| C-19 | Comparableモジュール: 比較メソッド群 | E-26 | ○ |
| C-20 | 例外処理: 例外の発生・捕捉・バックトレース | E-27, E-28 | ○ |
| C-21 | 変数管理: 各種変数テーブル管理 | E-29 | ○ |
| C-22 | デバッグ情報: irepデバッグ情報管理 | E-30 | ○ |
| C-23 | バイナリローダ: .mrbファイルの読み込み | E-31 | ○ |
| C-24 | バイナリダンパ: irepのバイナリ出力 | E-32 | ○ |
| C-25 | Cソースダンパ: irepのCソース出力 | E-33 | ○ |
| C-26 | コードダンプ: オペコードのダンプ | E-34 | ○ |
| C-27 | 出力機能: Kernel#p, Kernel#print | E-35 | ○ |
| C-28 | バージョン情報: バージョン定数定義 | E-36 | ○ |
| C-29 | 数値パーサ: 文字列からの数値読み取り | E-37, E-38, E-39 | ○ |
| C-30 | 浮動小数点フォーマッタ: 浮動小数点の文字列変換 | E-40 | ○ |
| C-31 | ユーティリティ関数: RData構造体等の汎用関数 | E-41 | ○ |
| C-32 | Comparable拡張: clamp等の拡張メソッド | E-42 | ○ |
| C-33 | Enumerable拡張: tally, filter_map等の拡張 | E-43 | ○ |
| C-34 | String拡張: center, ljust, chars等の拡張 | E-44 | ○ |
| C-35 | Numeric拡張: zero?, positive?, digits等の拡張 | E-45 | ○ |
| C-36 | Array拡張: assoc, compact, flatten等の拡張 | E-46 | ○ |
| C-37 | Hash拡張: invert, transform_keys, slice等の拡張 | E-47 | ○ |
| C-38 | Range拡張: step等の拡張 | E-48 | ○ |
| C-39 | Proc拡張: arity, lambda?等の拡張 | E-49 | ○ |
| C-40 | Symbol拡張: to_proc等の拡張 | E-50 | ○ |
| C-41 | Object拡張: tap, then等の拡張 | E-51 | ○ |
| C-42 | Kernel拡張: open等の拡張 | E-52 | ○ |
| C-43 | Class/Module拡張: subclasses等の拡張 | E-53 | ○ |
| C-44 | toplevel拡張: define_method等の拡張 | E-54 | ○ |
| C-45 | ObjectSpaceクラス: オブジェクト空間リフレクション | E-55 | ○ |
| C-46 | Setクラス: 集合操作 | E-56 | ○ |
| C-47 | Fiberクラス: 協調的並行処理 | E-57 | ○ |
| C-48 | Enumeratorクラス: 外部イテレータ | E-58 | ○ |
| C-49 | Enumerator::Lazyクラス: 遅延評価 | E-59 | ○ |
| C-50 | Enumerator::Chainクラス: Enumerator連結 | E-60 | ○ |
| C-51 | catch/throw: 非ローカルジャンプ | E-61 | ○ |
| C-52 | Array#pack / String#unpack: バイナリパック・アンパック | E-62 | ○ |
| C-53 | Kernel#sprintf: 書式指定フォーマット | E-63 | ○ |
| C-54 | Timeクラス: 日時処理 | E-64 | ○ |
| C-55 | Structクラス: 動的データ構造体 | E-65 | ○ |
| C-56 | Dataクラス: イミュータブル値オブジェクト | E-66 | ○ |
| C-57 | Randomクラス: 擬似乱数生成 | E-67 | ○ |
| C-58 | Mathモジュール: 標準数学関数 | E-68 | ○ |
| C-59 | Rationalクラス: 有理数演算 | E-69 | ○ |
| C-60 | Complexクラス: 複素数演算 | E-70 | ○ |
| C-61 | BigIntクラス: 多倍長整数 | E-71 | ○ |
| C-62 | CMathモジュール: 複素数対応数学関数 | E-72 | ○ |
| C-63 | メタプログラミング機能: respond_to?, send等 | E-73 | ○ |
| C-64 | Method/UnboundMethodクラス: メソッドオブジェクト | E-74 | ○ |
| C-65 | eval関数: 文字列のRubyコード評価 | E-75 | ○ |
| C-66 | Bindingクラス: 実行コンテキスト取得 | E-76 | ○ |
| C-67 | Proc#binding: Procからバインディング取得 | E-77 | ○ |
| C-68 | mrubyコンパイラ: パース・コード生成 | E-78, E-79 | ○ |
| C-69 | IO/Fileクラス: I/O操作 | E-80 | ○ |
| C-70 | Socketクラス: ソケット通信 | E-81 | ○ |
| C-71 | Errnoモジュール: システムコールエラー | E-82 | ○ |
| C-72 | Dirクラス: ディレクトリ操作 | E-83 | ○ |
| C-73 | mrubyコマンド: スクリプト実行 | E-84 | ○ |
| C-74 | mrbcコマンド: コンパイラ実行 | E-85 | ○ |
| C-75 | mirbコマンド: 対話型シェル | E-86 | ○ |
| C-76 | mrdbコマンド: デバッガ | E-87 | ○ |
| C-77 | mruby-stripコマンド: デバッグ情報除去 | E-88 | ○ |
| C-78 | mruby-configコマンド: ビルド設定出力 | E-89 | ○ |
| C-79 | エンコーディング: UTF-8サポート | E-90 | ○ |
| C-80 | Time#strftime: 日時書式出力 | E-91 | ○ |
| C-81 | sleep関数: スリープ機能 | E-92 | ○ |
| C-82 | exit関数: プログラム終了 | E-93 | ○ |
| C-83 | エラーハンドリング拡張: mrb_protect等 | E-94 | ○ |
| C-84 | ObjectSpace#memsize_of: メモリ消費量取得 | E-95 | ○ |
| C-85 | ベンチマーク: ベンチマーク・プロファイリング | E-96 | △ |
| C-86 | Taskスケジューラ: 協調的マルチタスク | E-97, E-110 | ○ |
| C-87 | テストフレームワーク: mrbtest | E-98 | ○ |
| C-88 | インライン構造体テスト: テスト用gem | E-99 | △ |
| C-89 | ビルド構成: Rakefile/build_config.rb | E-100, E-101, E-102 | ○ |
| C-90 | gemパッケージマネージャ: gembox管理 | E-103, E-104, E-105, E-106, E-107, E-108 | ○ |
| C-91 | アマルガメーション: シングルファイルビルド | E-100 | △ |
| C-92 | パーサジェネレータ（Lrama）: パーサ生成ツール | E-109 | ○ |

## 4) 不足情報（Unknown / Missing）
- C-85（ベンチマーク）：mrbgem.rakeのsummaryに「benchmarking and profiling tools」と記載があるが、具体的にどのようなベンチマーク手法・API を提供するかの詳細確認が不足
  - 候補：`mrbgems/mruby-benchmark/mrblib/` / `mrbgems/mruby-benchmark/src/` / テストコード
- C-88（インライン構造体テスト）：summaryに「inline structure」とのみ記載。テスト用gemの目的・対象が不明確
  - 候補：`mrbgems/mruby-test-inline-struct/src/` / テストコード
- C-91（アマルガメーション）：README.mdの説明に基づいて記述したが、実際のRakeタスク実装（tasks/ディレクトリ内）は未確認
  - 候補：`tasks/` ディレクトリ内のRakefileタスク定義

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - コアランタイム機能（C-01〜C-31）：ソースコードの冒頭コメント・関数定義から直接確認済み
- 0: 低リスク - gem機能（C-32〜C-84, C-86〜C-87）：mrbgem.rakeのsummaryおよびgembox定義から確認済み
- 1: 中リスク - 拡張メソッドの具体的な内容（C-32〜C-44）：summaryベースでの記載のため、個別メソッドの網羅性は未検証
- 1: 中リスク - ベンチマーク・テスト系gem（C-85, C-88）：summaryのみで詳細未確認
- 0: 低リスク - ビルドシステム（C-89〜C-92）：README.md・Rakefile・gembox定義から確認済み

## 6) レビュアーチェックリスト（最小）
- [ ] 各拡張gemの説明文に記載したメソッド名（clamp, tally, filter_map等）が実際にそのgemで提供されているか確認
- [ ] ベンチマーク機能（C-85）の具体的なAPI・使用方法を確認
- [ ] インライン構造体テスト（C-88）の目的と対象を確認
- [ ] アマルガメーション（C-91）のRakeタスク実装を確認
- [ ] HAL（Hardware Abstraction Layer）関連gem（hal-posix-*, hal-win-*）が機能一覧に含まれていないことの妥当性を確認
- [ ] mruby-cmath が機能一覧に含まれているがfull-core.gembox/default.gemboxには含まれていない点を確認
