公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。
ODK Collect — Download
联合删边主结果在两个 Rep 均为空，去返回不改变结果。 入口已包含全部确认 Source/Target，但归档还有非 Download 输入观察到 Download Target 的边。不能把此事实自动解释为业务替代入口；也不能为了得到大 Region 将其静默清洗。
单边足以使整个组失效的真实反例
Rep1：g16e248:1317 的原始输入是 MainMenu 的 Drafts、ModelAction g1a5，确认观察 g1s1 → g16s70。K 中没有这条边，因此删除全部 Download 入口仍能从 root 进入下载 UI。若反事实再移除 g16e248，会失去9个下载 UI State；主结果始终是0。
Rep2：g20e294:1762 原始输入 Sent、g1a7，观察 g1s1 → g20s82（Form list download failed 对话框）；相邻且 GUI 连续的 g20e295:1763 点 OK 到 g11s38。再移除前一条边的反事实损失为6，而确认 Download 发生参考只有5；多出的错误对话框由 Sent 反例发生承接。不能把6当完整功能真值。
输入、receipt、NATIVE_TRANSITION 可核实；同次严格对齐截图不足，无法区分异步、触摸错位、重绑定或真实业务跳转。查看器「仍可达路径」以及边详情保留全部证据。
多目标、分支、汇合及退出
Rep1 首页一个入口执行121次：Target 分布 g1s2:28,g16s70:90,g1s1:2,g16s71:1。其中2次仍在主页，不叫成功开启。g16s70 子树仅4个 State；全入口 Target 子树并集6个，仍少于C的9个。下载连接/错误/排序/过滤分支不全由单一Header必经。
真实连续发生 g16e211:325：进入 g16s70，Sort 到 g1s4、Back 返回；点复选框到 g16s71，Refresh 到 g1s2，之后过滤/搜索分支，最终返回上级。完整32步保存在 episodes 和查看器，Back 有些只是关闭功能内浮层，不应一概视作业务退出。
两个入口Target g16s70 --g16e232--> g1s2 与 g16s71 --g16e215--> g1s2 汇合；g1s2 的支配子树只有它自己，不能覆盖上游两个分支。这里是聚合图的两条观察路径，不能冒充同一条连续执行。
Rep2 三个源分别 g1s1:101,g19s75:5,g20s77:3。多源全删和留一个源未删在原图均0：跨功能观察边已经使这个敏感性被遮蔽，不能据此说漏入口无关。两个 Rep 完整边界轨迹的相同后缀最多分别重复80/84次（多数很短并含返回）；这证明发生反复，不证明没有探索收益。
六口径中的本案例主结果
| 案例 | Ⅰ输入次数 | 源 State | 删边数 | C 参考 | A 大小/交集 | B 原图 大小/交集 | B 去返回 大小/交集 |
|---|---|---|---|---|---|---|---|
| odkcollect-Rep1 | 121 | 1 | 4 | 9 | 4 / 4 | 0 / 0 | 0 / 0 |
| odkcollect-Rep2 | 109 | 3 | 4 | 5 | 2 / 2 | 0 / 0 | 0 / 0 |
Rep1 可审核清单
原始 Root：g1s1。
A Header g16s70 真实归档代表图；成员 g16s70, g16s72, g16s73, g16s74。
C 参考：g16s70, g16s71, g16s72, g16s73, g16s74, g1s2, g1s3, g1s4, g1s5。
B 原图 失可达：∅。
B 原图 C 中仍未恢复：g16s70, g16s71, g16s72, g16s73, g16s74, g1s2, g1s3, g1s4, g1s5。
B 原图 C 外成员：∅。
B 去返回 失可达：∅。
B 去返回 C 中仍未恢复：g16s70, g16s71, g16s72, g16s73, g16s74, g1s2, g1s3, g1s4, g1s5。
B 去返回 C 外成员：∅。
所有Source State：g1s1。入口每次Target与完整Concrete见成员表。
删边K：g16e211, g16e246, g16e255, g1e0。
一条删完入口仍可达的原图路径：g1s1 —[g16e248; name Drafts; confirmed=1]→ g16s70。
轨迹停止计数：
| 原因 | 次数 |
|---|---|
| exit_to_outside | 116 |
| entry_did_not_observe_function_scope | 2 |
| GUI_history_discontinuous | 2 |
| archive_end | 1 |
历史功能State 9，收尾精确参考 9；观察在功能内发生 119 次；明确边界结束 116 次。未知/截断没有补成完整业务轨迹。
Rep2 可审核清单
原始 Root：g19s75, g1s1, g20s78。
A Header g11s38 真实归档代表图；成员 g11s38, g11s41。
C 参考：g11s37, g11s38, g11s39, g11s40, g11s41。
B 原图 失可达：∅。
B 原图 C 中仍未恢复：g11s37, g11s38, g11s39, g11s40, g11s41。
B 原图 C 外成员：∅。
B 去返回 失可达：∅。
B 去返回 C 中仍未恢复：g11s37, g11s38, g11s39, g11s40, g11s41。
B 去返回 C 外成员：∅。
所有Source State：g19s75, g1s1, g20s77。入口每次Target与完整Concrete见成员表。
删边K：g11e101, g20e251, g20e260, g20e276。
一条删完入口仍可达的原图路径：g1s1 —[g20e294; name Sent; confirmed=1]→ g20s82 —[g20e295; button1 OK; confirmed=1]→ g11s38 —[g11e103; refresh_button Refresh; confirmed=2]→ g11s37。
轨迹停止计数：
| 原因 | 次数 |
|---|---|
| exit_to_outside | 109 |
历史功能State 5，收尾精确参考 5；观察在功能内发生 109 次；明确边界结束 109 次。未知/截断没有补成完整业务轨迹。