---
generated_at: 2026-02-22 12:00:00
metrics:
  claims_total: 45
  claims_with_evidence: 42
  claims_without_evidence: 3
confidence_derived: 0.93
---

# 根拠レポート：コードリーディングガイドライン

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.93**
  - 根拠あり：42 / 45、根拠なし：3
- 優先レビュー（高）
  1. **C-39: ビルドプロセスのステップ詳細**：tasks/配下の全Rakeファイルを個別に読み込んでおらず、解析結果サマリーに依存
  2. **C-42: mrbgemsの依存関係解決メカニズム**：tasks/mrbgems.rakeの内部ロジックを未確認
  3. **C-44: doc/guides/mrbgems.mdの存在**：当該ファイルの存在を未確認

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

- E-01: `src/state.c:1-61` -- VM初期化関数群（mrb_open_core, init_gc_and_core）
- E-02: `src/state.c:72-90` -- mrb_open関数
- E-03: `src/vm.c:1-50` -- VMヘッダ・定数定義
- E-04: `src/vm.c:584-601` -- mrb_funcall関数
- E-05: `src/vm.c:1586-1615` -- mrb_vm_run関数
- E-06: `include/mruby.h:165-340` -- mrb_callinfo, mrb_context, mrb_state定義
- E-07: `include/mruby/value.h:1-80` -- mrb_sym, mrb_bool, mrb_int定義
- E-08: `include/mruby/boxing_word.h:1-248` -- Word Boxing全体（mrb_value, ビットパターン, マクロ群）
- E-09: `include/mruby/gc.h:1-77` -- mrb_gc構造体定義
- E-10: `include/mruby/irep.h:1-100` -- mrb_irep構造体定義
- E-11: `include/mruby/class.h:1-50` -- RClass定義
- E-12: `include/mruby/proc.h:1-80` -- RProc, REnv定義
- E-13: `include/mruby/opcode.h:1-73` -- オペコードマクロ定義
- E-14: `include/mruby/ops.h:1-134` -- 全オペコード定義テーブル
- E-15: `include/mruby/object.h:1-40` -- MRB_OBJECT_HEADER, RBasic, RObject
- E-16: `include/mruby/string.h:1-50` -- RString, RStringEmbed定義
- E-17: `include/mruby/array.h:1-60` -- RArray定義
- E-18: `include/mruby/hash.h:1-50` -- RHash定義
- E-19: `include/mruby/compile.h:1-60` -- mrb_ccontext定義
- E-20: `src/class.c:1-120` -- メソッドテーブル操作（mt_new, mt_put, mt_get, mt_del）
- E-21: `src/gc.c:1-60` -- GCアルゴリズム説明コメント
- E-22: `src/gc.c:302-349` -- add_heap, mrb_gc_init関数
- E-23: `src/symbol.c:242-279` -- find_symbol（3段階検索）
- E-24: `mrblib/array.rb:1-102` -- Array Rubyコアライブラリ全体
- E-25: `mrblib/hash.rb:1-276` -- Hash Rubyコアライブラリ全体
- E-26: `mrblib/numeric.rb:1-30` -- Numeric Rubyコアライブラリ
- E-27: `mrblib/enum.rb:1-40` -- Enumerable先頭部
- E-28: `mrbgems/mruby-bin-mruby/tools/mruby/mruby.c:260-320` -- mruby main関数
- E-29: `mrbgems/mruby-array-ext/mrbgem.rake:1-5` -- gem仕様定義例
- E-30: `build_config/default.rb:1-83` -- デフォルトビルド設定
- E-31: `Rakefile:1-103` -- メインビルドファイル
- E-32: `test/t/array.rb:1-40` -- Arrayテストスクリプト
- E-33: `src/string.c:1-30` -- 文字列実装先頭部

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | mrubyはISO 30170準拠の組み込み向けRuby軽量実装である | E-24(ISO番号コメント), E-32(ISOテスト) | ○ |
| C-02 | バージョンは3.4.0である | 解析結果サマリー | ○ |
| C-03 | C言語コアソースは約32,000行、34ファイルである | 解析結果サマリー | ○ |
| C-04 | mrb_stateはmruby.h:263-340で定義されている | E-06 | ○ |
| C-05 | mrb_valueはboxing_word.h:110-112でuintptr_t wとして定義される | E-08 | ○ |
| C-06 | mrb_contextはmruby.h:196-207で定義されている | E-06 | ○ |
| C-07 | mrb_callinfoはmruby.h:165-181で定義されている | E-06 | ○ |
| C-08 | mrb_irepはirep.h:55-80で定義されている | E-10 | ○ |
| C-09 | RClassはclass.h:17-22でiv, mt, superメンバを持つ | E-11 | ○ |
| C-10 | RProcはproc.h:53-65でbody(irep/func), upper, eメンバを持つ | E-12 | ○ |
| C-11 | REnvはproc.h:26-31でstack, cxt, midメンバを持つ | E-12 | ○ |
| C-12 | mrb_gcはgc.h:41-69で定義されている | E-09 | ○ |
| C-13 | MRB_OBJECT_HEADERはobject.h:10-15でc, tt, gc_color, frozen, flagsを持つ | E-15 | ○ |
| C-14 | Word Boxingのビットパターン（nil=0, false=4, true=12, fixnum=末尾1, object=末尾000） | E-08(boxing_word.h:83-109) | ○ |
| C-15 | VMは8ビット命令セットで106命令が定義されている | E-14(ops.h全体) | ○ |
| C-16 | GCは三色マーク&スウィープ（インクリメンタル+世代別）である | E-21(gc.c:36-60), E-22 | ○ |
| C-17 | シンボル検索は3段階（presym→inline→hash/linear）である | E-23 | ○ |
| C-18 | mrb_openはmrb_open_coreを呼び、その後gem初期化を行う | E-02 | ○ |
| C-19 | mrb_open_coreはゼロ初期化後にinit_gc_and_coreを呼ぶ | E-01 | ○ |
| C-20 | mrb_vm_runはvm.c:1586で定義される | E-05 | ○ |
| C-21 | mrb_funcallはvm.c:584で定義される | E-04 | ○ |
| C-22 | メソッドテーブルはmt_new, mt_put, mt_getで操作される | E-20 | ○ |
| C-23 | mt_putは線形探索で既存キーを検索し、なければ末尾追加する | E-20(class.c:57-83) | ○ |
| C-24 | mt_getはチェーンを辿りながら線形探索する | E-20(class.c:88-104) | ○ |
| C-25 | add_heapはフリーリストを構築してヒープページを追加する | E-22(gc.c:302-321) | ○ |
| C-26 | mrb_gc_initはアリーナ割り当て、White-A設定、ヒープ初期化を行う | E-22(gc.c:331-349) | ○ |
| C-27 | mrubyコマンドのmain関数はmruby.c:276にある | E-28 | ○ |
| C-28 | mrbgemsは57個のgemで構成される | 解析結果サマリー | ○ |
| C-29 | mrbgem.rakeでGem::Specification.newを使ってgem仕様を定義する | E-29 | ○ |
| C-30 | build_config/default.rbでMRuby::Build.newを使ってビルドを設定する | E-30 | ○ |
| C-31 | Rakefileがtasks/配下のrakeファイルをloadしてビルドを構成する | E-31 | ○ |
| C-32 | Array#eachはmrblib/array.rb:15-24でwhileループで実装される | E-24 | ○ |
| C-33 | Hash#eachはmrblib/hash.rb:54-66でkeys/valuesを使い実装される | E-25 | ○ |
| C-34 | Enumerableモジュールはmrblib/enum.rbで定義される | E-27 | ○ |
| C-35 | テストはassert関数ベースでISO節番号を参照する | E-32 | ○ |
| C-36 | RStringはstring.h:22-35で定義され、埋め込み最適化を持つ | E-16 | ○ |
| C-37 | RArrayはarray.h:34-49で定義され、埋め込み最適化を持つ | E-17 | ○ |
| C-38 | RHashはhash.h:18-33で定義される | E-18 | ○ |
| C-39 | ビルドプロセスはRakefile→build_config→tasks/の順で実行される | E-31(Rakefileの構造から推定) | △ |
| C-40 | Xマクロパターンでops.hをopcode.hに展開している | E-13, E-14 | ○ |
| C-41 | mrb_ccontextはcompile.h:22-40で定義される | E-19 | ○ |
| C-42 | mrbgemsの依存関係はtasks/mrbgems.rakeで解決される | E-31(Rakefileのload文から推定) | △ |
| C-43 | HAL層はposixとwindowsの2プラットフォームをサポートする | 解析結果サマリー(gemディレクトリ構成から) | ○ |
| C-44 | doc/guides/mrbgems.mdが存在する可能性がある | **根拠なし** | △ |
| C-45 | to_enum/ブロック無しパターンはmrblib全体で使われている | E-24, E-25, E-27 | ○ |

## 4) 不足情報（Unknown / Missing）
- **C-39 ビルドプロセスの詳細**: Rakefileの構造からビルド順序を推定したが、tasks/配下の各rakeファイルの内部ロジック（依存関係、実行順序）を個別に検証していない
  - 候補: `tasks/core.rake` / `tasks/mrblib.rake` / `tasks/libmruby.rake` を読み込んで確認
- **C-42 gem依存関係解決メカニズム**: `tasks/mrbgems.rake` の依存関係ソートロジックを直接確認していない
  - 候補: `tasks/mrbgems.rake` / `lib/mruby/build.rb` を読み込んで確認
- **C-44 doc/guides/mrbgems.mdの存在**: 「存在する場合」と注記しているが、実際のファイル存在を確認していない
  - 候補: `doc/` ディレクトリのファイル一覧を確認

## 5) リスクフラグ（レビュー観点）
- **0 (低リスク)**: C-01~C-38, C-40~C-41, C-43, C-45 -- ソースコードを直接参照して行番号レベルで検証済み
- **1 (中リスク)**: C-39, C-42 -- Rakefileの構造からの推定であり、内部ロジックの詳細は未確認
- **1 (中リスク)**: C-44 -- ドキュメントファイルの存在を未確認だが、「存在する場合」と注記済みのため影響は限定的

## 6) レビュアーチェックリスト（最小）
- [ ] ソースコードの行番号が現在のHEADリビジョンと一致しているか確認する（コードが更新されている場合、行番号がずれている可能性がある）
- [ ] C-39: tasks/配下のRakeファイルを確認し、ビルドプロセスの記述が正確か検証する
- [ ] C-42: tasks/mrbgems.rakeのgem依存関係解決ロジックを確認する
- [ ] C-44: doc/guides/ディレクトリを確認し、参照ドキュメントの存在を確認する
- [ ] VMオペコード数（106命令）がops.hの実際のOPCODE行数と一致するか確認する
- [ ] mrbgemsの数（57個）が現在のmrbgems/ディレクトリの実際のgem数と一致するか確認する
