---
generated_at: 2026-02-22 12:00:00
metrics:
  claims_total: 30
  claims_with_evidence: 27
  claims_without_evidence: 3
confidence_derived: 0.90
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.90**
  - 根拠あり：27 / 30、根拠なし：3
- 優先レビュー（高）
  1. **ReadTheDocs SLA・可用性**：外部サービスのSLA情報はコードから読み取れない
  2. **GitHub SLA 99.9%**：GitHub公式ドキュメント参照が必要
  3. **Dependabot更新頻度の実効性**：設定は確認できるが実際の運用状態は不明

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

- E-01: `CMakeLists.txt` — CMakeビルド設定、バージョン要件、ビルドターゲット、サニタイザーオプション
- E-02: `configure.ac` — Autotoolsビルド設定、プロジェクトバージョン（1.52.0）
- E-03: `Makefile.am` — Automakeターゲット定義
- E-04: `autogen.sh` — Autotools初期化スクリプト
- E-05: `.github/workflows/CI-unix.yml` — Unix系CI/CDワークフロー定義
- E-06: `.github/workflows/CI-win.yml` — Windows CI/CDワークフロー定義
- E-07: `.github/workflows/CI-docs.yml` — ドキュメントCIワークフロー
- E-08: `.github/workflows/CI-sample.yml` — サンプルコードCIワークフロー
- E-09: `.github/workflows/sanitizer.yml` — サニタイザーワークフロー定義
- E-10: `.github/dependabot.yml` — Dependabot設定
- E-11: `.readthedocs.yaml` — ReadTheDocs設定
- E-12: `.clang-tidy` — clang-tidy設定
- E-13: `libuv.pc.in` — pkg-config設定（共有ライブラリ）
- E-14: `libuv-static.pc.in` — pkg-config設定（静的ライブラリ）
- E-15: `cmake-toolchains/cross-mingw32.cmake` — MinGWクロスコンパイルツールチェーン
- E-16: `.gitignore` — Git除外設定
- E-17: `m4/libuv-check-flags.m4` — Autotoolsマクロ（コンパイラフラグ検出）
- E-18: `m4/ax_pthread.m4` — POSIXスレッド検出マクロ

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | libuvバージョンは1.52.0 | E-02 | ○ |
| C-02 | CMake 3.10以上が必要 | E-01 | ○ |
| C-03 | C11標準を使用 | E-01 | ○ |
| C-04 | 共有ライブラリ(uv)と静的ライブラリ(uv_a)をビルド | E-01 | ○ |
| C-05 | ASAN/MSAN/TSAN/UBSANサニタイザーオプション対応 | E-01, E-09 | ○ |
| C-06 | clang-tidy静的解析が有効（デフォルトON） | E-01, E-12 | ○ |
| C-07 | Autotools（configure.ac + Makefile.am）が代替ビルドシステム | E-02, E-03, E-04 | ○ |
| C-08 | GitHub Actionsで5つのワークフローを使用 | E-05, E-06, E-07, E-08, E-09 | ○ |
| C-09 | CI-unixでLinux/macOS/Android/iOS/QEMUをテスト | E-05 | ○ |
| C-10 | CI-winでVS 2022/2025とMinGWをテスト | E-06 | ○ |
| C-11 | QEMUで14アーキテクチャをテスト | E-05 | ○ |
| C-12 | macOS 14/15/15-Intelでテスト | E-05 | ○ |
| C-13 | Android NDK API 30でビルド・テスト | E-05 | ○ |
| C-14 | MinGWビルドはUbuntu上で実行しアーティファクト保存（2日間） | E-06 | ○ |
| C-15 | MinGWテストはMinGWビルドに依存 | E-06 | ○ |
| C-16 | ReadTheDocs連携でSphinx HTMLドキュメントをビルド | E-07, E-11 | ○ |
| C-17 | ReadTheDocs環境はUbuntu 22.04 / Python 3.9 | E-11 | ○ |
| C-18 | Dependabotが週次でGitHub Actions依存関係を更新 | E-10 | ○ |
| C-19 | pkg-configでlibuv.pcとlibuv-static.pcを提供 | E-13, E-14 | ○ |
| C-20 | MinGWクロスコンパイルツールチェーンを提供 | E-15 | ○ |
| C-21 | Androidテストのタイムアウト乗数は5倍 | E-05 | ○ |
| C-22 | sanitizers-linuxはUbuntu 22.04でASAN/MSAN/TSAN/UBSAN実行 | E-09 | ○ |
| C-23 | sanitizers-windowsはClang 17でUBSAN実行 | E-09 | ○ |
| C-24 | CI-docsはdocs/**のPRでトリガー | E-07 | ○ |
| C-25 | CI-sampleはdocs/code/**のPR/Pushでトリガー | E-08 | ○ |
| C-26 | Visual Studioの構成にWin32/x64/x64+ASAN/x64+UBSAN/ARM64がある | E-06 | ○ |
| C-27 | autogen.shがAutomake v1.12以降のserial-testsに対応 | E-04 | ○ |
| C-28 | GitHub SLAは99.9% | **根拠なし** | △ |
| C-29 | ReadTheDocs は高可用性マネージドサービス | **根拠なし** | △ |
| C-30 | Dependabot更新が実際に有効に機能している | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- GitHub / ReadTheDocs のSLA・可用性情報はコードベースに含まれず、外部ドキュメント参照が必要
  - 候補：GitHub公式SLAドキュメント / ReadTheDocs利用規約 / 運用実績ログ
- Dependabotの実効性は `.github/dependabot.yml` の存在で設定確認はできるが、実際のPR作成・マージ状況はGitHub UIで確認が必要
  - 候補：GitHubリポジトリのPR履歴 / Dependabotダッシュボード

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク — ビルドシステム構成（CMake/Autotools）の記述はソースコードから直接確認可能
- 0: 低リスク — CI/CDワークフロー定義はYAMLファイルから正確に抽出
- 0: 低リスク — テスト対象アーキテクチャはワークフローマトリックスから網羅的に抽出
- 1: 中リスク — 外部サービス（GitHub/ReadTheDocs）の可用性・SLA記述はコード外情報に依存
- 0: 低リスク — pkg-config設定は.pc.inテンプレートから直接確認

## 6) レビュアーチェックリスト（最小）
- [ ] GitHub Actions ワークフロー5件の記述がYAMLファイルと一致しているか
- [ ] CMakeビルドオプション（サニタイザー等）の記述がCMakeLists.txtと一致しているか
- [ ] QEMUテスト対象14アーキテクチャが正確か
- [ ] GitHub/ReadTheDocs のSLA・可用性記述が外部公式情報と整合するか
- [ ] Dependabotの設定内容（週次/github-actions）が正確か
