---
generated_at: 2026-02-17 10:30:00
metrics:
  claims_total: 86
  claims_with_evidence: 86
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：service.csv

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：86 / 86、根拠なし：0
- 優先レビュー（高）
  1. **なし**：すべてのテストケースにソースコード根拠あり

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

- E-01: `script/service/init.lua` - モジュールエントリポイント（3行）
- E-02: `script/service/service.lua` - メインサービスモジュール（291行）
- E-03: `script/service/net.lua` - ネットワーク通信モジュール（276行）

## 3) Claims と根拠の対応（レビューの主戦場）

### service.lua - serviceクラス
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | reportMemoryCollect - メモリ収集レポートが正しい形式で返却される | E-02 (行38-53) | ○ |
| C-02 | reportMemoryCollect - GC前後のメモリ差分表示 | E-02 (行39-43) | ○ |
| C-03 | reportMemoryCollect - brave0件時のメモリレポート | E-02 (行31-34) | ○ |
| C-04 | reportMemory - メモリレポートが正しい形式で返却される | E-02 (行55-65) | ○ |
| C-05 | reportMemory - brave0件時のメモリレポート | E-02 (行56, 62-63) | ○ |
| C-06 | reportTask - タスクレポートが正しい形式で返却される | E-02 (行67-96) | ○ |
| C-07 | reportTask - コルーチン0件時 | E-02 (行74-86) | ○ |
| C-08 | reportTask - 各状態のコルーチンカウント | E-02 (行76-86) | ○ |
| C-09 | reportCache - キャッシュレポートが正しい形式で返却される | E-02 (行98-114) | ○ |
| C-10 | reportCache - キャッシュ0件時 | E-02 (行102-107) | ○ |
| C-11 | reportCache - deadキャッシュカウント | E-02 (行104-106) | ○ |
| C-12 | reportProto - プロトコルレポートが正しい形式で返却される | E-02 (行116-132) | ○ |
| C-13 | reportProto - holdon/waiting 0件時 | E-02 (行120-125) | ○ |
| C-14 | report - 600秒ループタイマー設定 | E-02 (行134-148) | ○ |
| C-15 | reportStatus - ステータスバー有効時の報告 | E-02 (行211-245) | ○ |
| C-16 | reportStatus - workingClock時のローディング表示 | E-02 (行216-217) | ○ |
| C-17 | reportStatus - sleeping時の睡眠表示 | E-02 (行218-219) | ○ |
| C-18 | reportStatus - アイドル時の猫表示 | E-02 (行220-221) | ○ |
| C-19 | reportStatus - ステータスバー無効時 | E-02 (行212-214) | ○ |
| C-20 | reportStatus - 同一ステータス時の再通知防止 | E-02 (行240-242) | ○ |
| C-21 | sayHello - hello通知送信 | E-02 (行247-249) | ○ |
| C-22 | lockCache - キャッシュディレクトリ作成 | E-02 (行251-265) | ○ |
| C-23 | lockCache - ロックファイル作成 | E-02 (行261) | ○ |
| C-24 | lockCache - ロックファイル作成失敗時のエラーログ | E-02 (行262-264) | ○ |
| C-25 | start - サービス正常開始 | E-02 (行267-288) | ○ |
| C-26 | start - 4人のbraveリクルート | E-02 (行270) | ○ |
| C-27 | start - COMPILECORES設定時の追加braveリクルート | E-02 (行271-273) | ○ |
| C-28 | start - SOCKET設定時のソケットリッスン | E-02 (行274-276) | ○ |
| C-29 | start - SOCKET未設定時のstdioリッスン | E-02 (行277-278) | ○ |
| C-30 | start - SOCKET非整数時のアサートエラー | E-02 (行275) | ○ |
| C-31 | eventLoop - 正常動作 | E-02 (行150-207) | ○ |
| C-32 | eventLoop - wakeupイベント処理 | E-02 (行152-155) | ○ |
| C-33 | eventLoop - busy状態遷移 | E-02 (行157-162) | ○ |
| C-34 | eventLoop - idle状態遷移 | E-02 (行164-169) | ○ |

### net.lua - netモジュール
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-35 | listen - TCPソケットリッスン | E-03 (行160-218) | ○ |
| C-36 | listen - UNIXソケットリッスン | E-03 (行167-169) | ○ |
| C-37 | listen - UNIXソケット既存ファイル削除 | E-03 (行168) | ○ |
| C-38 | listen - ソケット作成失敗時のエラー | E-03 (行163-166) | ○ |
| C-39 | listen - bind失敗時のエラー | E-03 (行172-176) | ○ |
| C-40 | listen - listen失敗時のエラー | E-03 (行179-183) | ○ |
| C-41 | listen - acceptイベント処理 | E-03 (行192-216) | ○ |
| C-42 | listen - accept失敗時のエラー | E-03 (行194-197) | ○ |
| C-43 | listen - on_accepted falseでのクローズ | E-03 (行212-214) | ○ |
| C-44 | connect - TCPソケット接続 | E-03 (行220-267) | ○ |
| C-45 | connect - ソケット作成失敗時のエラー | E-03 (行223-226) | ○ |
| C-46 | connect - connect失敗時のエラー | E-03 (行229-233) | ○ |
| C-47 | connect - 接続成功イベント | E-03 (行244-260) | ○ |
| C-48 | connect - 接続状態エラー | E-03 (行261-264) | ○ |
| C-49 | connect - ストリーム変換 | E-03 (行247) | ○ |
| C-50 | update - タイムアウトなしイベント処理 | E-03 (行269-273) | ○ |
| C-51 | update - タイムアウト指定 | E-03 (行270) | ○ |
| C-52 | update - 空イベント | E-03 (行270-272) | ○ |

### net.lua - streamクラス
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-53 | write - データバッファ追加 | E-03 (行63-74) | ○ |
| C-54 | write - 書き込みフラグ設定 | E-03 (行70-71) | ○ |
| C-55 | write - バッファ連結 | E-03 (行73) | ○ |
| C-56 | write - shutdown_w時のスキップ | E-03 (行64-66) | ○ |
| C-57 | write - 空文字列スキップ | E-03 (行67-69) | ○ |
| C-58 | is_closed - 両方シャットダウン時 | E-03 (行75-77) | ○ |
| C-59 | is_closed - 片方のみシャットダウン時 | E-03 (行76) | ○ |
| C-60 | close - 読み取りシャットダウン | E-03 (行78-82) | ○ |
| C-61 | close - 完全クローズ | E-03 (行83-87) | ○ |
| C-62 | close - 遅延クローズ | E-03 (行83) | ○ |

### net.lua - listenクラス
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-63 | is_closed - shutdown_r判定 | E-03 (行128-130) | ○ |
| C-64 | close - リスナークローズ | E-03 (行131-134) | ○ |

### net.lua - connectクラス
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-65 | write - データバッファ追加 | E-03 (行144-149) | ○ |
| C-66 | write - 空文字列スキップ | E-03 (行145-147) | ○ |
| C-67 | is_closed - shutdown_w判定 | E-03 (行150-152) | ○ |
| C-68 | close - 接続クローズ | E-03 (行153-156) | ○ |

### net.lua - 内部関数
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-69 | fd_set_read - フラグ設定 | E-03 (行9-15) | ○ |
| C-70 | fd_set_read - 重複設定防止 | E-03 (行10-12) | ○ |
| C-71 | fd_clr_read - フラグクリア | E-03 (行17-23) | ○ |
| C-72 | fd_clr_read - 重複クリア防止 | E-03 (行18-20) | ○ |
| C-73 | fd_set_write - フラグ設定 | E-03 (行25-31) | ○ |
| C-74 | fd_clr_write - フラグクリア | E-03 (行33-39) | ○ |
| C-75 | on_event - イベント発火 | E-03 (行41-46) | ○ |
| C-76 | on_event - 未登録イベント | E-03 (行42-43) | ○ |
| C-77 | update_stream - データ受信 | E-03 (行96-103) | ○ |
| C-78 | update_stream - 接続切断検知 | E-03 (行98-99) | ○ |
| C-79 | update_stream - データ送信 | E-03 (行105-117) | ○ |
| C-80 | update_stream - 送信完了処理 | E-03 (行113-114) | ○ |
| C-81 | update_stream - 部分送信処理 | E-03 (行112) | ○ |
| C-82 | update_stream - 送信エラー処理 | E-03 (行107-109) | ○ |

### net.lua - metatable
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-83 | stream_mt:__newindex - イベントハンドラ登録 | E-03 (行58-62) | ○ |
| C-84 | listen_mt:__newindex - イベントハンドラ登録 | E-03 (行123-127) | ○ |
| C-85 | connect_mt:__newindex - イベントハンドラ登録 | E-03 (行139-143) | ○ |

### init.lua
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-86 | require - service.serviceエクスポート | E-01 (行1-3) | ○ |

## 4) 不足情報（Unknown / Missing）
- なし
  - すべてのテストケースはソースコードから直接抽出されており、根拠が明確です

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク**
  - すべてのテストケースがソースコードに基づいており、信頼度は高い
  - 外部依存（bee.socket, bee.select, bee.filesystem等）のモック化が必要
  - イベントループのテストは統合テスト的なアプローチが必要な可能性あり

## 6) レビュアーチェックリスト（最小）
- [ ] net.luaのソケット操作テストが実環境で実行可能か確認
- [ ] service.luaのイベントループテストの実行方法を検討
- [ ] 外部モジュール（pub, proto, vm等）のモック化戦略を確認
- [ ] UNIXソケットテストがWindows環境で対応可能か確認
- [ ] lockCacheのファイル権限テストが環境依存でないか確認
