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

# 根拠レポート：帳票一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：17 / 17、根拠なし：0
- 優先レビュー（高）
  1. **該当なし**：全項目にソースコードの根拠あり
  2. **注意点**：mrubyはプログラミング言語の処理系であり、ビジネスアプリケーションの帳票（請求書・納品書等）は存在しない。本一覧はコード内の「出力・ダンプ・レポート」機能を帳票として整理したものである
  3. **カテゴリの妥当性**：「帳票」の定義を広義に解釈しているため、レビュアーによるカテゴリ分類の妥当性確認を推奨

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

- E-01: `src/dump.c` - mrb_dump_irep, mrb_dump_irep_binary, mrb_dump_irep_cfunc関数
- E-02: `src/cdump.c` - mrb_dump_irep_cstruct関数
- E-03: `src/codedump.c` - mrb_codedump_all, mrb_codedump_all_file, codedump関数
- E-04: `src/backtrace.c` - mrb_print_backtrace, print_backtrace, decode_location関数
- E-05: `src/print.c` - mrb_print_m, mrb_p, mrb_show_version, mrb_show_copyright関数
- E-06: `mrbgems/mruby-sprintf/src/sprintf.c` - Kernel.#sprintf実装
- E-07: `mrbgems/mruby-strftime/src/strftime.c` - Time#strftime実装（mrb_time_strftime）
- E-08: `mrbgems/mruby-bin-debugger/tools/mrdb/cmdprint.c` - dbgcmd_print, dbgcmd_eval, dbgcmd_info_local関数
- E-09: `mrbgems/mruby-bin-debugger/tools/mrdb/apilist.c` - mrb_debug_list, show_lines関数
- E-10: `mrbgems/mruby-bin-debugger/tools/mrdb/apiprint.c` - mrb_debug_eval関数
- E-11: `mrbgems/mruby-benchmark/mrblib/benchmark.rb` - Benchmark::Report, Benchmark::Tms, Benchmark.bmメソッド
- E-12: `mrbgems/mruby-io/src/io.c` - IOクラス実装
- E-13: `mrbgems/mruby-bin-mrbc/tools/mrbc/mrbc.c` - mrbcコマンド（dump_file関数、-B/-Sオプション処理）
- E-14: `mrbgems/mruby-bin-mruby/tools/mruby/mruby.c` - mrubyコマンド（-vオプション処理）
- E-15: `mrbgems/mruby-bin-strip/tools/mruby-strip/mruby_strip.c` - mruby-stripコマンド（strip関数）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | IREP バイナリダンプ (mrb形式): IREPをRiteBinaryフォーマットでファイルに出力 | E-01, E-13 | ○ |
| C-02 | IREP Cソースダンプ (cfunc形式): IREPをC言語のuint8_t配列として出力 | E-01, E-13 | ○ |
| C-03 | IREP C構造体ダンプ (cstruct形式): IREPをC言語の構造体初期化コードとして出力 | E-02, E-13 | ○ |
| C-04 | コードダンプ: IREPの命令列をアセンブリ形式でstdoutに出力 | E-03, E-14 | ○ |
| C-05 | バックトレース出力: 例外発生時のコールスタック情報をstderrに出力 | E-04 | ○ |
| C-06 | デバッガ print/eval出力: mrdbのprint/evalコマンドによる式評価結果の出力 | E-08, E-10 | ○ |
| C-07 | デバッガ ソースリスト出力: mrdbのlistコマンドによるソースコード表示 | E-09 | ○ |
| C-08 | デバッガ ローカル変数一覧出力: mrdbのinfo localコマンドによるローカル変数一覧 | E-08 | ○ |
| C-09 | sprintf フォーマット文字列: Kernel.#sprintfによる書式指定文字列の生成 | E-06 | ○ |
| C-10 | strftime 日時フォーマット: Time#strftimeによる日時フォーマット変換 | E-07 | ○ |
| C-11 | print / puts 出力: Kernel#print/putsによる標準出力への文字列出力 | E-05, E-12 | ○ |
| C-12 | p (inspect出力): Kernel#pによるオブジェクトのinspect結果出力 | E-05 | ○ |
| C-13 | バージョン情報出力: mrubyのバージョン情報を標準出力に表示 | E-05, E-13, E-14 | ○ |
| C-14 | 著作権情報出力: mrubyの著作権情報を標準出力に表示 | E-05, E-13, E-14 | ○ |
| C-15 | Benchmark レポート出力: Benchmark.bmによるベンチマーク結果のフォーマット出力 | E-11 | ○ |
| C-16 | IO ファイル書き込み: IO/Fileクラスによるファイルへのデータ書き込み | E-12 | ○ |
| C-17 | mruby-strip 出力: IREPバイナリからデバッグ情報を除去した軽量バイナリを再出力 | E-15 | ○ |

## 4) 不足情報（Unknown / Missing）
- 本プロジェクト（mruby）はプログラミング言語の処理系であり、ビジネスアプリケーションにおける帳票（請求書・納品書・レポート等のフォーマット済み印刷出力）は存在しない
  - 候補：帳票の定義をビジネス帳票に限定する場合は「該当なし」となる。本一覧は広義の「出力・ダンプ・レポート機能」として整理した
- mruby-ioのIO#write, IO#puts, IO#print等の個別メソッドについては1つのエントリにまとめているため、個別の仕様詳細は別途io.cの全コードを精査する必要がある
  - 候補：io.c / file.c / mruby_io_gem.c の詳細調査

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全ての帳票項目にソースコードレベルの根拠あり
- 1: 中リスク - 「帳票」の定義がmrubyプロジェクトの性質上、一般的なビジネス帳票とは異なる解釈をしているため、利用目的に合致するか確認が必要
- 0: 低リスク - カテゴリ分類（バイナリダンプ/デバッグ出力/フォーマット出力/標準出力/情報出力/ベンチマーク/ファイル出力）は機能的な分類として妥当

## 6) レビュアーチェックリスト（最小）
- [ ] mrubyプロジェクトにおける「帳票」の定義が利用目的に合致しているか確認する
- [ ] バイナリダンプ系（No.1-3, 17）の出力形式説明がsrc/dump.c, src/cdump.cの実装と一致しているか確認する
- [ ] デバッグ出力系（No.4-8）の機能説明がmrbgems/mruby-bin-debuggerの実装と一致しているか確認する
- [ ] フォーマット出力系（No.9-10）のサポート書式指定子の記述が十分か確認する
- [ ] IO関連（No.16）の範囲が適切か（IO#read等の入力系は含めていない）確認する
- [ ] 他に出力系機能として漏れているものがないか確認する（例：mruby-pack等のバイナリ出力）
