A 结构子树B 失可达集合C 发生范围参考虚线箭头：被删入口边 · 点线：明确返回边 · ROOT：原始 Root
01真实 GUI 与动作
控件身份、GUI 属性与原始输入 / 回执来源
02结构范围与反例路径
点击图中 State 查看截图与范围成员身份；点击边查看原始确认转换。
03从入口出发的真实轨迹
完整发生范围与停止原因
04方法差异与边界审核
仍遗漏 / 误收风险 / 单边敏感性
完整节点成员与分析口径
C 只表示同 GUI 连续、同抽象版本的已确认轨迹中可审核的功能发生范围，且仅精确映射收尾图的节点进入比较；它不是完整功能金标。图上的聚合路径不冒充连续录像。无新增 State 不等于没有方法覆盖收益。本轮未修改正式实现，未启动设备、GPU、Provider 或新实验。