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

# 根拠レポート：バッチ一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：49 / 49、根拠なし：0
- 優先レビュー（高）
  1. **該当なし**：全主張に根拠あり

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

- E-01: `Rakefile`
- E-02: `Makefile`
- E-03: `tasks/core.rake`
- E-04: `tasks/mrblib.rake`
- E-05: `tasks/mrbgems.rake`
- E-06: `tasks/libmruby.rake`
- E-07: `tasks/bin.rake`
- E-08: `tasks/test.rake`
- E-09: `tasks/benchmark.rake`
- E-10: `tasks/doc.rake`
- E-11: `tasks/install.rake`
- E-12: `tasks/amalgam.rake`
- E-13: `tasks/presym.rake`
- E-14: `.github/workflows/build.yml`
- E-15: `.github/workflows/coverage.yml`
- E-16: `.github/workflows/release.yml`
- E-17: `.github/workflows/codeql-analysis.yml`
- E-18: `.github/workflows/pre-commit.yml`
- E-19: `.github/workflows/super-linter.yml`
- E-20: `.github/workflows/ls-lint.yml`
- E-21: `.github/workflows/oss-fuzz.yml`
- E-22: `.github/workflows/labeler.yml`
- E-23: `appveyor.yml`
- E-24: `Dockerfile`
- E-25: `docker-compose.yml`

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | rake all（default）: 全ターゲットをビルドし、リポジトリ内にローカルインストールする | E-01 | ○ |
| C-02 | rake build: 全ビルドターゲットの成果物を生成する | E-01 | ○ |
| C-03 | rake gensym: プリシンボルリストとヘッダーファイルを生成する | E-13 | ○ |
| C-04 | core.rake: mrubyコアソースファイル（src/*.c）をコンパイルする | E-03 | ○ |
| C-05 | mrblib.rake: mrblib/*.rbファイルをCソースに変換しコンパイルする | E-04 | ○ |
| C-06 | mrbgems.rake: mrbgemsの初期化コード（gem_init.c）とLEGALファイルを生成する | E-05 | ○ |
| C-07 | rake generate_active_gems_txt: 有効なgemsのテキストファイルを生成する | E-05 | ○ |
| C-08 | libmruby.rake: 静的ライブラリ（libmruby.a）を生成し、ヘッダーファイルをコピーする | E-06 | ○ |
| C-09 | bin.rake: 実行可能バイナリをビルドしインストールする | E-07 | ○ |
| C-10 | rake test: 全mrubyテストをビルドして実行する | E-08 | ○ |
| C-11 | rake test:lib: ライブラリテストをビルドして実行する | E-08 | ○ |
| C-12 | rake test:bin: コマンドバイナリテストをビルドして実行する | E-08 | ○ |
| C-13 | rake test:run:serial: 全mrubyテストを逐次実行する | E-08 | ○ |
| C-14 | rake benchmark: ベンチマークテストを実行し結果をプロットする | E-09 | ○ |
| C-15 | rake doc: YARDドキュメントとDoxygenドキュメントを生成する | E-10 | ○ |
| C-16 | rake doc:api: mrbdocコマンドでYARDドキュメントを生成する | E-10 | ○ |
| C-17 | rake doc:capi: DoxygenでC APIドキュメントを生成する | E-10 | ○ |
| C-18 | rake doc:clean: 生成済みドキュメントを全て削除する | E-10 | ○ |
| C-19 | rake doc:update-opcode.md: doc/internal/opcode.mdを自動更新する | E-10 | ○ |
| C-20 | rake doc:update-index: README.mdのドキュメントインデックスを更新する | E-10 | ○ |
| C-21 | rake install: ホスト向けにコンパイル済みプロダクトをインストールする | E-11 | ○ |
| C-22 | rake install:full: 全ビルドターゲットのプロダクトをインストールする | E-11 | ○ |
| C-23 | rake install:bin: 全ビルドターゲットの実行可能バイナリのみインストールする | E-11 | ○ |
| C-24 | rake amalgam: アマルガムされたmruby.hとmruby.cを生成する | E-12 | ○ |
| C-25 | rake clean: 全ビルド成果物とインストール済みアーティファクトを削除する | E-01 | ○ |
| C-26 | rake deep_clean: 全成果物に加えgem cloneディレクトリも削除する | E-01 | ○ |
| C-27 | rake check: 全pre-commitフックを全ファイルに対して実行する | E-01 | ○ |
| C-28 | rake checkinstall: pre-commitフックをインストールする | E-01 | ○ |
| C-29 | rake checkupdate: pre-commitフックの更新を確認する | E-01 | ○ |
| C-30 | rake composecheck: docker-composeでpre-commitフックを実行する | E-01 | ○ |
| C-31 | rake composetest: docker-composeでmrubyテストをビルド・実行する | E-01 | ○ |
| C-32 | make all: Rakeを使用して全ターゲットをビルドする | E-02 | ○ |
| C-33 | make test: Rakeを使用してテストをビルド・実行する | E-02 | ○ |
| C-34 | make clean: Rakeを使用してビルド成果物を削除する | E-02 | ○ |
| C-35 | make check: prekフックを全ファイルに実行する | E-02 | ○ |
| C-36 | make composecheck: docker-composeでprekフックを実行する | E-02 | ○ |
| C-37 | make composetest: docker-composeでテストを実行する | E-02 | ○ |
| C-38 | Build & Test（build.yml）: 複数OS・コンパイラでビルドとテストを実行する | E-14 | ○ |
| C-39 | Coverage（coverage.yml）: カバレッジ付きビルド・テストとレポート生成 | E-15 | ○ |
| C-40 | Release Builds（release.yml）: タグpush時にパッケージングしGitHubリリースを作成 | E-16 | ○ |
| C-41 | CodeQL Analysis（codeql-analysis.yml）: CodeQLでセキュリティ分析を実行 | E-17 | ○ |
| C-42 | pre-commit（pre-commit.yml）: PR時にprekフックを実行 | E-18 | ○ |
| C-43 | Super-Linter（super-linter.yml）: コードベースの静的解析を実行 | E-19 | ○ |
| C-44 | ls-lint（ls-lint.yml）: ファイル名規則を検証 | E-20 | ○ |
| C-45 | CIFuzz（oss-fuzz.yml）: ファジングテストをビルド・実行 | E-21 | ○ |
| C-46 | Pull Request Labeler（labeler.yml）: PR作成時に自動ラベル付与 | E-22 | ○ |
| C-47 | appveyor.yml: Visual Studio複数バージョンでWindows向けビルドとテスト | E-23 | ○ |
| C-48 | Dockerfile: テスト実行環境のコンテナイメージをビルド | E-24 | ○ |
| C-49 | docker-compose.yml: deep_clean後にテストを逐次実行 | E-25 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし。全主張にソースコード上の根拠が確認できた。
  - 補足: CI設定ファイル（`build_config/ci/` 配下）の詳細内容は未精査だが、ワークフローファイル自体から十分に情報が得られている

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - 全主張がソースコードファイルと直接対応しており、矛盾は検出されなかった
- 0: 低リスク - Rakeタスク定義はRakefileおよびtasks/*.rakeから全て読み取れている
- 0: 低リスク - GitHub Actionsワークフローは.github/workflows/*.ymlから全て読み取れている
- 0: 低リスク - MakefileターゲットはRakeタスクのラッパーであり、実行コマンドが明確
- 1: 中リスク - ツールチェーン定義（tasks/toolchains/*.rake）はバッチ一覧には含めていないが、ビルドタスクの構成要素として間接的に関与する

## 6) レビュアーチェックリスト（最小）
- [ ] Rakeタスク（No.1-31）が Rakefile および tasks/*.rake の定義と一致しているか
- [ ] Makeターゲット（No.32-37）が Makefile の定義と一致しているか
- [ ] GitHub Actionsワークフロー（No.38-46）が .github/workflows/*.yml の定義と一致しているか
- [ ] AppVeyor CI（No.47）が appveyor.yml の定義と一致しているか
- [ ] Docker関連（No.48-49）が Dockerfile / docker-compose.yml の定義と一致しているか
- [ ] バッチ名・説明・備考の記述が正確かつ十分か
- [ ] カテゴリ分類が適切か（特にRakeタスクのサブカテゴリ分け）
