---
generated_at: 2026-02-21 20:50:00
metrics:
  claims_total: 40
  claims_with_evidence: 38
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：業務要件一覧.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：38 / 40、根拠なし：2
- 優先レビュー（高）
  1. **BR-037（レガシー互換）**：機能範囲の詳細が不明確
  2. **BR-038（参照ラッパー）**：利用シナリオの根拠不足

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

- E-01: `README.md` - プロジェクト概要（HSLライブラリの目的）
- E-02: `src/vec/transform.php` - Vec操作関数（map, chunk, fill, flatten等）
- E-03: `src/vec/select.php` - Vec選択操作
- E-04: `src/dict/transform.php` - Dict操作関数（map, flip, group_by, from_keys等）
- E-05: `src/keyset/select.php` - Keyset集合演算（diff, intersect, filter等）
- E-06: `src/c/select.php` - Cユーティリティ（first, last, find, pop_back等）
- E-07: `src/str/select.php` - Str選択関数（slice, trim, strip_prefix等）
- E-08: `src/regex/regex.php` - 正規表現関数（first_match, every_match, replace等）
- E-09: `src/math/compute.php` - 数学関数（abs, ceil, floor, sin, cos等）
- E-10: `src/random/pseudo.php` - 擬似乱数（int, float, string）
- E-11: `src/file/open.php` - ファイルオープン関数
- E-12: `src/file/Lock.php` - ファイルロック機構
- E-13: `src/io/ReadHandle.php` - 読み取りハンドルインターフェース
- E-14: `src/io/BufferedReader.php` - バッファ付き読み取り
- E-15: `src/io/MemoryHandle.php` - メモリハンドル
- E-16: `src/io/pipe.php` - パイプ機能
- E-17: `src/tcp/connect.php` - TCP接続機能
- E-18: `src/unix/connect.php` - Unixソケット接続
- E-19: `src/network/IPProtocolBehavior.php` - IPプロトコル動作設定
- E-20: `src/async/Semaphore.php` - 非同期セマフォ
- E-21: `src/async/Condition.php` - 条件変数
- E-22: `src/async/Poll.php` - ポーリング機構
- E-23: `src/os/` - OS関連機能（複数ファイル）
- E-24: `src/locale/` - ロケール機能（複数ファイル）
- E-25: `src/legacy_fixme/coercions.php` - 型強制変換
- E-26: `src/Ref.php` - 参照ラッパー
- E-27: `src/file/WriteMode.php` - 書き込みモード定義
- E-28: `src/vec/async.php` - 非同期Vec操作
- E-29: `src/dict/async.php` - 非同期Dict操作

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | BR-001: Vecコレクション操作機能 | E-02, E-03 | ○ |
| C-02 | BR-002: Dictコレクション操作機能 | E-04 | ○ |
| C-03 | BR-003: Keysetコレクション操作機能 | E-05 | ○ |
| C-04 | BR-004: Cユーティリティ操作機能 | E-06 | ○ |
| C-05 | BR-005: 文字列選択・抽出機能 | E-07 | ○ |
| C-06 | BR-006: 文字列変換・整形機能 | E-07 (src/str/) | ○ |
| C-07 | BR-007: 文字列検査・分析機能 | E-07 (src/str/) | ○ |
| C-08 | BR-008: 文字列結合・分割機能 | E-07 (src/str/) | ○ |
| C-09 | BR-009: 正規表現マッチング機能 | E-08 | ○ |
| C-10 | BR-010: 正規表現置換機能 | E-08 | ○ |
| C-11 | BR-011: 基本数学演算機能 | E-09 | ○ |
| C-12 | BR-012: 三角関数・指数対数機能 | E-09 | ○ |
| C-13 | BR-013: 基数変換機能 | E-09 | ○ |
| C-14 | BR-014: コレクション数値演算機能 | E-09 (src/math/containers.php) | ○ |
| C-15 | BR-015: 擬似乱数生成機能 | E-10 | ○ |
| C-16 | BR-016: 暗号論的乱数生成機能 | E-10 (src/random/secure.php) | ○ |
| C-17 | BR-017: ファイル読み書き機能 | E-11 | ○ |
| C-18 | BR-018: 一時ファイル管理機能 | E-11 (src/file/temporary_file.php) | ○ |
| C-19 | BR-019: ファイルロック機能 | E-12 | ○ |
| C-20 | BR-020: 読み取りハンドル機能 | E-13 | ○ |
| C-21 | BR-021: 書き込みハンドル機能 | E-13 (src/io/WriteHandle.php) | ○ |
| C-22 | BR-022: バッファリング読み取り機能 | E-14 | ○ |
| C-23 | BR-023: 標準I/O機能 | E-13 (src/io/stdio.php) | ○ |
| C-24 | BR-024: メモリハンドル機能 | E-15 | ○ |
| C-25 | BR-025: パイプ機能 | E-16 | ○ |
| C-26 | BR-026: TCP接続機能 | E-17 | ○ |
| C-27 | BR-027: Unixドメインソケット機能 | E-18 | ○ |
| C-28 | BR-028: IPプロトコル動作選択機能 | E-19 | ○ |
| C-29 | BR-029: セマフォ制御機能 | E-20 | ○ |
| C-30 | BR-030: 条件変数機能 | E-21 | ○ |
| C-31 | BR-031: ポーリング機能 | E-22 | ○ |
| C-32 | BR-032: ソケットアドレス機能 | E-23 | ○ |
| C-33 | BR-033: ファイルディスクリプタ操作機能 | E-23 | ○ |
| C-34 | BR-034: プロセス・環境操作機能 | E-23 | ○ |
| C-35 | BR-035: 一時ディレクトリ機能 | E-23 | ○ |
| C-36 | BR-036: ロケール管理機能 | E-24 | ○ |
| C-37 | BR-037: 型強制変換機能 | E-25 | △ |
| C-38 | BR-038: 参照ラッパー機能 | E-26 | △ |
| C-39 | BR-039: 非同期コレクション操作機能 | E-28, E-29 | ○ |
| C-40 | BR-040: 書き込みモード選択機能 | E-27 | ○ |

## 4) 不足情報（Unknown / Missing）
- **BR-037（レガシー互換）**: `legacy_fixme`モジュールの詳細な機能範囲とサポートされる型変換パターンの完全なリストが不明確
  - 候補：HHVM移行ガイド / 内部ドキュメント / PHPとの互換性仕様書
- **BR-038（参照ラッパー）**: `Ref`クラスの具体的なユースケースと設計意図に関するドキュメントが不足
  - 候補：設計ドキュメント / APIガイドライン / 使用例

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - コレクション操作（BR-001〜BR-004）、文字列操作（BR-005〜BR-008）、数学演算（BR-011〜BR-014）
  - ソースコード上で関数定義が明確に確認でき、ドキュメントコメントも充実している
- **0: 低リスク** - ファイルI/O（BR-017〜BR-019）、I/Oハンドル（BR-020〜BR-025）
  - インターフェース定義とドキュメントコメントが整備されている
- **1: 中リスク** - ネットワーク機能（BR-026〜BR-028）、非同期処理（BR-029〜BR-031）
  - 実装は確認できるが、エラーハンドリングやエッジケースの網羅性に関して追加確認推奨
- **2: 高リスク** - レガシー互換（BR-037）
  - 非推奨機能であり、今後のHHVMバージョンでの動作保証が不明確

## 6) レビュアーチェックリスト（最小）
- [ ] 各モジュール（vec/dict/keyset/str/math等）の主要関数がCSVに網羅されているか確認
- [ ] 優先度（高/中/低）の設定が妥当か確認（特に高優先度の項目）
- [ ] レガシー互換機能（BR-037）の記載が適切か、非推奨の注記が明確か確認
- [ ] 非同期機能（BR-029〜BR-031, BR-039）の説明が正確か確認
- [ ] ネットワーク機能（BR-026〜BR-028）のIPv4/IPv6対応記述が正確か確認
