---
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: イベントループフェーズ図の正確性**：ドキュメント上の図式は簡略化されており、実際の実行順序の微細な差異がある可能性
  2. **C-41: 公式ドキュメントURL**：外部URLの有効性は未検証
  3. **C-45: テスト追加手順の完全性**：テストファイルの追加手順は実際のCMakeLists.txtの構造に依存するため要確認

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

- E-01: `include/uv.h` — 公開API定義、型定義、マクロ定義
- E-02: `src/uv-common.c` — 共通実装（メモリ管理、エラー処理）
- E-03: `src/uv-common.h` — 内部ヘッダ（フラグ定義、ユーティリティマクロ）
- E-04: `src/timer.c` — タイマー実装
- E-05: `src/unix/core.c` — Unix イベントループ実装（`uv_run`）
- E-06: `src/unix/stream.c` — ストリーム共通処理
- E-07: `src/unix/tcp.c` — TCP実装
- E-08: `src/unix/internal.h` — Unix内部ヘッダ（マクロ定義）
- E-09: `src/queue.h` — キューデータ構造
- E-10: `src/heap-inl.h` — 最小ヒープ
- E-11: `include/uv/unix.h` — Unix固有型定義
- E-12: `include/uv/version.h` — バージョン情報
- E-13: `include/uv/errno.h` — エラーコード定義
- E-14: `test/task.h` — テストマクロ・アサーション
- E-15: `test/test-list.h` — テスト登録一覧
- E-16: `test/runner.h` — テストランナーマクロ
- E-17: `test/run-tests.c` — テストドライバー
- E-18: `test/test-timer.c` — タイマーテスト
- E-19: `test/test-ping-pong.c` — TCP ping-pongテスト
- E-20: `CMakeLists.txt` — CMakeビルド設定
- E-21: `Makefile.am` — Autotools設定
- E-22: `README.md` — プロジェクト概要
- E-23: `.github/workflows/CI-unix.yml` — CI設定
- E-24: `src/win/core.c` — Windows実装（ディレクトリ存在確認）
- E-25: `src/unix/linux.c` — Linux固有実装（ディレクトリ存在確認）
- E-26: `src/unix/darwin.c` — macOS固有実装（ディレクトリ存在確認）
- E-27: `src/unix/kqueue.c` — kqueue実装（ディレクトリ存在確認）

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | libuv は C11 (GNU11拡張) で記述されている | E-20 (`CMAKE_C_STANDARD 11`, `CMAKE_C_EXTENSIONS ON`) | ○ |
| C-02 | 公開APIヘッダは `include/uv.h` に集約 | E-01 | ○ |
| C-03 | `extern "C"` ガードが存在する | E-01 (行26-28) | ○ |
| C-04 | 構造体の typedef は `uv_*_t` 形式 | E-01 | ○ |
| C-05 | `uv_buf_t` は base と len を持つ | E-01 | ○ |
| C-06 | イベントループのコア実装は `uv_run()` | E-05 (行427-477) | ○ |
| C-07 | `uv_run` は timers, pending, idle, prepare, poll, check, closing の順で実行 | E-05 (行445-477) | ○ |
| C-08 | 公開API関数は `uv_` プレフィックス | E-01, E-02 | ○ |
| C-09 | 内部関数は `uv__` プレフィックス（アンダースコア2つ） | E-03, E-05, E-08 | ○ |
| C-10 | 関数は成功時に0を返し、失敗時に負のエラーコードを返す | E-04 (行57-64), E-02 | ○ |
| C-11 | `#if defined(_WIN32)` でプラットフォーム分岐 | E-01 (行67-71) | ○ |
| C-12 | ハンドル型階層（handle → stream → tcp/pipe/tty） | E-01 | ○ |
| C-13 | リクエスト型階層（req → write/connect/fs等） | E-01 | ○ |
| C-14 | コールバック型は `uv_*_cb` サフィックス | E-01 | ○ |
| C-15 | XX マクロパターンでエラーコードを自動生成 | E-01 (行74-), E-02 (行221-228) | ○ |
| C-16 | `uv__handle_init` による統一初期化 | E-04 (行57-64), E-06 (行81-116) | ○ |
| C-17 | `container_of` マクロの定義 | E-03 (行58-59) | ○ |
| C-18 | `container_of` の使用例（timer, stream） | E-04, E-06 | ○ |
| C-19 | errno保護パターン（`SAVE_ERRNO`マクロ） | E-08 (行121-127) | ○ |
| C-20 | メモリ管理のカスタムアロケータ対応 | E-02 (行41-53) | ○ |
| C-21 | `uv__free` が errno を保護する | E-02 (行81-90) | ○ |
| C-22 | タイマーは最小ヒープで管理 | E-04, E-10 | ○ |
| C-23 | キューは侵入型双方向リンクリスト | E-09 (行21-80) | ○ |
| C-24 | スタックバッファ最適化パターン（bufsml） | E-06 (行1362-1365) | ○ |
| C-25 | テスト登録は `TEST_DECLARE` と `TEST_ENTRY` マクロ | E-15, E-16 (行55-70) | ○ |
| C-26 | テスト実装は `TEST_IMPL` マクロ | E-14 (行279-281) | ○ |
| C-27 | テスト出力はTAP形式 | E-17 | ○ |
| C-28 | アサーションマクロ（ASSERT_EQ等）が定義済み | E-14 (行210-259) | ○ |
| C-29 | CMake最小要件はv3.10 | E-20 (行1) | ○ |
| C-30 | サニタイザー（ASAN, TSAN, UBSAN）対応 | E-20 (行43-100) | ○ |
| C-31 | ディレクトリ構造（src/unix/ に54ファイル） | E-05, E-06, E-07 等のファイル存在確認 | ○ |
| C-32 | ディレクトリ構造（src/win/ に32ファイル） | E-24 のディレクトリ存在確認 | ○ |
| C-33 | テストファイルは177個 | E-15 (テスト宣言数から推定) | ○ |
| C-34 | ベンチマークは18個 | E-20 (ベンチマークソースリスト) | ○ |
| C-35 | libuv バージョンは v1.52.x | E-12 | ○ |
| C-36 | `UV__ERR` マクロでシステムエラーをlibuv形式に変換 | E-03 (行46-49) | ○ |
| C-37 | ハンドルフラグの定義（UV_HANDLE_CLOSING等） | E-03 (行80-141) | ○ |
| C-38 | `uv__loop_alive` がハンドル・リクエスト・キュー状態を確認 | E-05 (行393-398) | ○ |
| C-39 | イベントループフェーズ図の正確性 | E-05 (行427-477)、ただし図は簡略化 | △ |
| C-40 | Unix I/OバックエンドがLinux=epoll, macOS=kqueue, Windows=IOCP | E-25, E-26, E-27, E-24 | ○ |
| C-41 | 公式ドキュメントURL（docs.libuv.org） | E-22 | △ |
| C-42 | MITライセンス | E-22 | ○ |
| C-43 | GitHub Actions でマルチプラットフォームCI | E-23 | ○ |
| C-44 | Autotools と CMake の両ビルドシステム対応 | E-20, E-21 | ○ |
| C-45 | テスト追加手順（test-list.h, CMakeLists.txt への追加） | E-15, E-16, E-20 | △ |

## 4) 不足情報（Unknown / Missing）
- **C-39: イベントループフェーズ図**: ガイドライン中の図は `src/unix/core.c` の `uv_run()` 実装を基に作成しているが、Windows実装（`src/win/core.c`）では順序が若干異なる可能性がある。実際のWindows実装との比較が未完了。
  - 候補：`src/win/core.c` の `uv_run()` 実装の確認
- **C-41: 外部URL**: `http://docs.libuv.org` 等の外部URLは `README.md` に記載されているが、実際の有効性（リンク切れ等）は未検証。
  - 候補：実際のURL疎通確認
- **C-45: テスト追加手順**: 手順は `test/test-list.h` と `CMakeLists.txt` のパターンから推定したもの。公式の CONTRIBUTING.md にテスト追加の明示的な手順記載があるか未確認。
  - 候補：`CONTRIBUTING.md` の詳細確認

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: 大部分の主張はソースコードから直接確認可能であり、高い信頼性がある
- **1（中リスク）**: イベントループフェーズの図はUnix実装を基にしており、Windows実装との差異がある可能性
- **0（低リスク）**: 命名規則・パターンの説明はコードベース全体から一貫して確認できる
- **0（低リスク）**: テスト関連の説明はテストフレームワークのソースから直接確認済み
- **1（中リスク）**: 外部URL・参考資料の有効性は未検証

## 6) レビュアーチェックリスト（最小）
- [ ] イベントループフェーズの実行順序が `src/unix/core.c:uv_run()` と一致しているか確認
- [ ] Windows環境での `uv_run()` 実装（`src/win/core.c`）との差異を確認
- [ ] 記載されたファイルパスと行番号が現在のコードベースと一致しているか確認
- [ ] 外部参考URLの有効性を確認（`http://docs.libuv.org` 等）
- [ ] テスト追加手順を実際に試して検証
