docs(specs): Android reliable discovery 調査 (B) のパケットキャプチャによる findings を追加

[OJII3]

本 PR は 2026-06-27-android-bottleneck-investigation.md の Next action 1 (reliable discovery + ACK block 調査) のうち B (discovery 不通) を host 側 tshark パケットキャプチャで解析した findings。

主要な発見

既存 findings の仮説 B は反証された。

• Android (192.168.0.22) は SPDP/SEDP/user data packet をすべて host に送信している
• host (192.168.0.20) はすべての packet を受信している
• 既存 findings の「discovery 不通」は誤りで、真の問題は host 側 rmw_fastrtts_cpp の parse / decode 段階にある

計測	total RTPS	Android→Host	helper received
reliable-32	603	511	0/200 (0%)
best-effort-8192	1921	1821	162/200 (81%)

3 仮説すべて判定:

• H1 (Player SPDP/SEDP 不出力): REFUTED
• H2 (Android kernel 経路問題): REFUTED (ただし IGMP 未参加は副次発見)
• H3 (rmw_fastrtts_cpp parse 失敗): SUPPORTED

計測環境

• 2026-06-27 23:18 JST
• branch: perf/discovery-capture-investigation
• HEAD: 3c74790 + 計測 commit
• Android: Sony XIG04 (Xperia 10 III), ro.build.type=user + ro.debuggable=0 (root 不可)
• host: wlp3s0 上で tshark 4.6.5

制限 (Limitation)

• Android 側 tcpdump は root 不可のため実行不能
• /proc/net/igmp で wlan0 が 239.255.0.1 (SPDP) に未参加 を確認
• host 側 capture のみで分析

変更ファイル

• docs/superpowers/specs/2026-06-27-discovery-capture-investigation.md (findings 本体, 221 行)
• docs/superpowers/specs/2026-06-27-discovery-capture-investigation-design.md (design, 302 行)
• tools/discovery-capture/{analyze,discovery_capture}.py (TDD, 8 tests pass)
• artifacts/discovery-capture/ (計測 artifacts、pcap 除く)

next action (別 PR)

1. host 側 rmw_fastrtts_cpp verbose ログで receive / drop 詳細解析
2. Android IGMP 設定 (ip maddr add 239.255.0.1 dev wlan0) で改善検証
3. A' fragmentation コスト最適化 (8 fragment × 6ms/fragment)
4. Sony XIG04 root 化 (調査 infrastructure 改善)

A' (reliable-8000 の 71× 退化) は fragmentation コストが支配的と推定され別 findings。