---
generated_at: 2026-02-22 21:00:00
metrics:
  claims_total: 35
  claims_with_evidence: 32
  claims_without_evidence: 3
confidence_derived: 0.91
---

# 根拠レポート：インフラ設計書

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.91**
  - 根拠あり：32 / 35、根拠なし：3
- 優先レビュー（高）
  1. **Travis CI / AppVeyor の現在の運用状態**：設定ファイルは存在するが、実際にアクティブに利用されているかは不明
  2. **カバレッジレポートのアーティファクト保持期間のデフォルト値**：OSS-Fuzz のアーティファクト保持期間がデフォルト 90 日と記載したが、GitHub Actions のデフォルト設定に依存
  3. **CI 環境で使用されるビルド設定パス `ci/gcc-clang` および `ci/msvc`**：環境変数で参照されているが、該当ファイルの実在確認が不十分

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

- E-01: `Dockerfile`
- E-02: `docker-compose.yml`
- E-03: `Makefile`
- E-04: `Rakefile`
- E-05: `Gemfile`
- E-06: `Gemfile.lock`
- E-07: `.github/workflows/build.yml`
- E-08: `.github/workflows/release.yml`
- E-09: `.github/workflows/coverage.yml`
- E-10: `.github/workflows/codeql-analysis.yml`
- E-11: `.github/workflows/oss-fuzz.yml`
- E-12: `.github/workflows/super-linter.yml`
- E-13: `.github/workflows/ls-lint.yml`
- E-14: `.github/workflows/pre-commit.yml`
- E-15: `.github/workflows/labeler.yml`
- E-16: `.github/dependabot.yml`
- E-17: `.travis.yml`
- E-18: `appveyor.yml`
- E-19: `.pre-commit-config.yaml`
- E-20: `build_config.rb`
- E-21: `build_config/default.rb`
- E-22: `README.md`

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | Docker ベースイメージは ruby:3.2.2-bullseye | E-01 | ○ |
| C-02 | Docker に python3-pip, shellcheck をインストール | E-01 | ○ |
| C-03 | Docker の作業ディレクトリは /app | E-01 | ○ |
| C-04 | Docker 内で bundle install, pre-commit install-hooks を実行 | E-01 | ○ |
| C-05 | docker-compose バージョンは 3.8 | E-02 | ○ |
| C-06 | docker-compose の test サービスの環境変数に MRUBY_CONFIG=ci/gcc-clang 等を設定 | E-02 | ○ |
| C-07 | docker-compose の test サービスの実行コマンドは rake deep_clean && rake -m test:run:serial | E-02 | ○ |
| C-08 | GitHub Actions Build & Test は push, pull_request でトリガー | E-07 | ○ |
| C-09 | Build & Test マトリクスは最大8並列 (max-parallel: 8) | E-07 | ○ |
| C-10 | Build & Test のタイムアウトは 10-15 分 | E-07 | ○ |
| C-11 | ubuntu-24.04, ubuntu-22.04, macos-15, macos-14, windows-2025, windows-2022 でビルド | E-07 | ○ |
| C-12 | Windows-VC ジョブは windows-2022 で MSVC を使用 | E-07 | ○ |
| C-13 | Cosmopolitan ビルドは ubuntu-24.04 で cosmocc を使用 | E-07 | ○ |
| C-14 | Coverage ワークフローは clang-18 を使用し gcovr でレポート生成 | E-09 | ○ |
| C-15 | カバレッジアーティファクトの保持期間は 3 日 | E-09 | ○ |
| C-16 | Release ワークフローはタグ push (*.*.*) でトリガー | E-08 | ○ |
| C-17 | リリースパッケージは zip, tar.gz, tar.xz の3形式で生成 | E-08 | ○ |
| C-18 | SHA256 チェックサムファイルを生成 | E-08 | ○ |
| C-19 | -rc を含むタグはプレリリースとして扱う | E-08 | ○ |
| C-20 | softprops/action-gh-release でドラフトリリースを作成 | E-08 | ○ |
| C-21 | CodeQL は push/PR to master でトリガー | E-10 | ○ |
| C-22 | OSS-Fuzz は pull_request でトリガー、ファジング時間は 600 秒 | E-11 | ○ |
| C-23 | Super-Linter は VALIDATE_DOCKERFILE_HADOLINT: true を設定 | E-12 | ○ |
| C-24 | Dependabot は bundler と github-actions を daily で更新、cooldown 7 日 | E-16 | ○ |
| C-25 | Travis CI は Linux と macOS でテスト | E-17 | ○ |
| C-26 | AppVeyor は Visual Studio 2015-2022 でテスト | E-18 | ○ |
| C-27 | pre-commit の gitleaks, shellcheck, rubocop 等のフック構成 | E-19 | ○ |
| C-28 | Rake 13.3.1, Bundler 2.4.10 を使用 | E-06 | ○ |
| C-29 | YARD 0.9.38, yard-coderay 0.1.0, yard-mruby 0.3.0 を使用 | E-06 | ○ |
| C-30 | build_config/ に多数のクロスコンパイル設定が存在 | E-20, E-21 | ○ |
| C-31 | fail-fast: false が Build & Test マトリクスに設定 | E-07 | ○ |
| C-32 | mruby/mruby リポジトリのみでリリースが実行される | E-08 | ○ |
| C-33 | Travis CI が現在もアクティブに利用されている | E-17 | △ |
| C-34 | AppVeyor が現在もアクティブに利用されている | E-18 | △ |
| C-35 | OSS-Fuzz アーティファクトの保持期間がデフォルト 90 日 | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **Travis CI / AppVeyor の運用状態**: `.travis.yml` と `appveyor.yml` は存在するが、GitHub Actions への移行が進んでいる可能性がある。これらの CI サービスが現在もアクティブかどうかは、各サービスのダッシュボードまたはリポジトリ設定で確認が必要。
  - 候補：Travis CI ダッシュボード / AppVeyor ダッシュボード / GitHub リポジトリ Settings > Integrations
- **CI ビルド設定 `ci/gcc-clang` および `ci/msvc` の実在**: 環境変数 `MRUBY_CONFIG` で参照されるが、`build_config/ci/` ディレクトリの存在は未確認。mruby のビルドシステムが `build_config/` ディレクトリ以下を探索する仕組みであるため、設定名の解決方法を確認する必要がある。
  - 候補：`build_config/ci/gcc-clang.rb` / `lib/mruby/build.rb` の設定解決ロジック
- **GitHub Actions アーティファクトのデフォルト保持期間**: OSS-Fuzz のクラッシュレポートに明示的な `retention-days` が指定されていないため、GitHub のデフォルト設定（90日）を前提とした。
  - 候補：GitHub ドキュメント / リポジトリ Settings > Actions > Artifact and log retention

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - Docker / docker-compose 構成（E-01, E-02 から正確に読み取り可能）
- **0: 低リスク** - GitHub Actions ワークフロー構成（各 yml ファイルから正確に読み取り可能）
- **0: 低リスク** - リリースプロセス（E-08 から正確に読み取り可能）
- **0: 低リスク** - pre-commit フック構成（E-19 から正確に読み取り可能）
- **1: 中リスク** - Travis CI / AppVeyor の現在の運用状態（設定ファイルは存在するが実際のアクティブ状態は不明）
- **1: 中リスク** - CI ビルド設定パス（`ci/gcc-clang` 等）の解決メカニズム
- **0: 低リスク** - Dependabot 設定（E-16 から正確に読み取り可能）
- **0: 低リスク** - ビルドシステム設計（E-03, E-04 から正確に読み取り可能）

## 6) レビュアーチェックリスト（最小）
- [ ] Travis CI (`travis.yml`) が現在もアクティブに利用されているか確認する
- [ ] AppVeyor (`appveyor.yml`) が現在もアクティブに利用されているか確認する
- [ ] `MRUBY_CONFIG=ci/gcc-clang` および `ci/msvc` に対応するビルド設定ファイルの実在を確認する
- [ ] GitHub Actions アーティファクトのデフォルト保持期間がリポジトリ設定と一致するか確認する
- [ ] クロスコンパイル対応プラットフォーム一覧が `build_config/` ディレクトリの実際の内容と一致するか確認する
- [ ] Cosmopolitan ビルド用 cosmocc のバージョン（20260104）がキャッシュキーと一致するか確認する
