公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。

ODK Collect · Download / Rep2

109次Ⅰ输入，3个源State；109次精确映射，0次历史未映射。

交互查看全部成员完整案例JSON原始input/receipt/event摘包可关联GUI快照原始收尾图公开副本

A / B / C

口径State数与C交集
A上轮Header g11s3822
B原图00
B去明确返回00
C发生参考55

C是有限的入口触发发生参考，不是排他State金标。B的C外节点需区分共享/扩展/明确移交。图上聚合路径不冒充连续轨迹，confirmed=0保留。

真实入口示例：Source、控件与Target

g20e276:1350

source g1s1

g1s1真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g11s38

g11s38真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g20e276:1350",
  "state": "g1s1",
  "target_state": "g11s38",
  "source_activity": "org.odk.collect.android.mainmenu.MainMenuActivity",
  "target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "model_action": "g1a8",
  "input_model_action": "g1a8",
  "action_type": "MODEL_CLICK",
  "identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.odk.collect.android:id/name\"][@text=\"Download\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Download",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    231,
    1071,
    912,
    1134
  ],
  "planned_input_text": null,
  "source_gui_id": 1585,
  "target_gui_id": 1586,
  "final_exact": true,
  "edge_id": "g20e276",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-7463.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e276-1350.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 3840
}

g20e251:700

source g19s75

g19s75真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g11s37

g11s37真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g20e251:700",
  "state": "g19s75",
  "target_state": "g11s37",
  "source_activity": "org.odk.collect.android.mainmenu.MainMenuActivity",
  "target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "model_action": "g19a411",
  "input_model_action": "g19a411",
  "action_type": "MODEL_CLICK",
  "identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "org.odk.collect.android:id/get_forms",
  "text": "",
  "content_desc": "",
  "class": "android.widget.FrameLayout",
  "bounds": [
    360,
    1008,
    2040,
    1017
  ],
  "planned_input_text": null,
  "source_gui_id": 892,
  "target_gui_id": 893,
  "final_exact": true,
  "edge_id": "g20e251",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-3803.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e251-700.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1936
}

g20e260:722

source g20s77

g20s77真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g11s37

g11s37真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g20e260:722",
  "state": "g20s77",
  "target_state": "g11s37",
  "source_activity": "org.odk.collect.android.mainmenu.MainMenuActivity",
  "target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "model_action": "g20a422",
  "input_model_action": "g20a422",
  "action_type": "MODEL_CLICK",
  "identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.odk.collect.android:id/name\"][@text=\"Download\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Download",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    591,
    561,
    1872,
    624
  ],
  "planned_input_text": null,
  "source_gui_id": 914,
  "target_gui_id": 915,
  "final_exact": true,
  "edge_id": "g20e260",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-3913.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e260-722.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1998
}

全部Ⅰ入口成员

SourceModelAction控件/text/desc执行次数Targets
g1s1g1a8org.odk.collect.android:id/name / Download / 101{'g11s37': 99, 'g11s38': 2}
g19s75g19a411org.odk.collect.android:id/get_forms / / 5{'g11s37': 5}
g20s77g20a422org.odk.collect.android:id/name / Download / 3{'g11s37': 3}

关键反例：具体确认输入

g20e294:1762

source g1s1

g1s1真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g20s82

g20s82真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g20e294:1762",
  "state": "g1s1",
  "target_state": "g20s82",
  "source_activity": "org.odk.collect.android.mainmenu.MainMenuActivity",
  "target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "model_action": "g1a7",
  "input_model_action": "g1a7",
  "action_type": "MODEL_CLICK",
  "identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/view_sent_forms\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.odk.collect.android:id/name\"][@text=\"Sent\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Sent",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    231,
    882,
    912,
    945
  ],
  "planned_input_text": null,
  "source_gui_id": 2036,
  "target_gui_id": 2040,
  "final_exact": true,
  "edge_id": "g20e294",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-9819.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e294-1762.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 5054
}

g20e295:1763

source g20s82

g20s82真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g11s38

g11s38真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g20e295:1763",
  "state": "g20s82",
  "target_state": "g11s38",
  "source_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "model_action": "g20a452",
  "input_model_action": "g20a452",
  "action_type": "MODEL_CLICK",
  "identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"org.odk.collect.android:id/buttonPanel\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"android:id/button1\"][@text=\"OK\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "android:id/button1",
  "text": "OK",
  "content_desc": "",
  "class": "android.widget.Button",
  "bounds": [
    695,
    1344,
    926,
    1470
  ],
  "planned_input_text": null,
  "source_gui_id": 2040,
  "target_gui_id": 2041,
  "final_exact": true,
  "edge_id": "g20e295",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-9828.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-receipts/transition-g20e295-1763.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_5838d6022fac47b48d4524d1402960a8/attempt_f1ea66c1bf9d4801ad5e817b8ba8ec40/raw/device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 5056
}

分叉、汇合与Dominator局部片段

g11s38 / g11s40 → g11s39

G g11s38 g11s38 FormDownloadListActivity target ×2 g11s39 g11s39 FormDownloadListActivity g11s38->g11s39 g11e104 CLICK menu_filter exec 4 g11s39->g11s39 g11e106 LONG_CLICK search_src_text exec 1 g11s39->g11s39 g11e118 BACK exec 1 g11s40 g11s40 FormDownloadListActivity g11s40->g11s39 g11e108 CLICK search_close_btn exec 1 g1s1 g1s1 MainMenuActivity ROOT · source ×101 g1s1->g11s38 g20e276 CLICK name exec 2 g20s82 g20s82 FormDownloadListActivity g1s1->g20s82 g20e294 CLICK name exec 1 g20s82->g11s38 g20e295 CLICK button1 exec 1

汇合点子树：g11s39；不包含上游两个分支。

g11s38 → [g11e104; confirmed=4] → g11s39

g11s40 → [g11e108; confirmed=1] → g11s39

g11s37 / g11s39 → g11s40

G g11s37 g11s37 FormDownloadListActivity target ×107 g11s40 g11s40 FormDownloadListActivity g11s37->g11s40 g11e111 CLICK button2 exec 1 g11s38 g11s38 FormDownloadListActivity target ×2 g11s38->g11s37 g11e103 CLICK refresh_button exec 2 g11s39 g11s39 FormDownloadListActivity g11s39->g11s40 g11e107 CLICK refresh_button exec 2 g11s40->g11s40 g11e109 CLICK search_src_text exec 1 g1s1 g1s1 MainMenuActivity ROOT · source ×101 g1s1->g11s37 g11e101 CLICK name exec 99 g20s82 g20s82 FormDownloadListActivity g1s1->g20s82 g20e294 CLICK name exec 1 g20s82->g11s38 g20e295 CLICK button1 exec 1

汇合点子树：g11s40；不包含上游两个分支。

g11s37 → [g11e111; confirmed=1] → g11s40

g11s39 → [g11e107; confirmed=2] → g11s40

g11s38 / g11s40 → g11s37

G g11s37 g11s37 FormDownloadListActivity target ×107 g11s37->g11s37 g11e140 BACK exec 109 g11s38 g11s38 FormDownloadListActivity target ×2 g11s38->g11s37 g11e103 CLICK refresh_button exec 2 g11s40 g11s40 FormDownloadListActivity g11s40->g11s37 g11e110 CLICK refresh_button exec 1 g1s1 g1s1 MainMenuActivity ROOT · source ×101 g1s1->g11s38 g20e276 CLICK name exec 2 g20s82 g20s82 FormDownloadListActivity g1s1->g20s82 g20e294 CLICK name exec 1 g20s82->g11s38 g20e295 CLICK button1 exec 1

汇合点子树：g11s37；不包含上游两个分支。

g11s38 → [g11e103; confirmed=2] → g11s37

g11s40 → [g11e110; confirmed=1] → g11s37

g11s37 / g11s39 → g11s38

G g11s37 g11s37 FormDownloadListActivity target ×107 g11s38 g11s38 FormDownloadListActivity target ×2 g11s37->g11s38 g11e102 CLICK button2 exec 108 g11s38->g11s37 g11e103 CLICK refresh_button exec 2 g11s41 g11s41 FormDownloadListActivity g11s38->g11s41 g11e113 CLICK menu_sort exec 5 g11s39 g11s39 FormDownloadListActivity g11s39->g11s38 g11e105 CLICK exec 2 g11s41->g11s38 g11e114 CLICK title exec 2 g11s41->g11s38 g11e115 CLICK exec 3 g1s1 g1s1 MainMenuActivity ROOT · source ×101 g1s1->g11s37 g11e101 CLICK name exec 99 g20s82 g20s82 FormDownloadListActivity g1s1->g20s82 g20e294 CLICK name exec 1 g20s82->g11s38 g20e295 CLICK button1 exec 1

汇合点子树：g11s38, g11s41；不包含上游两个分支。

g11s37 → [g11e102; confirmed=108] → g11s38

g11s39 → [g11e105; confirmed=2] → g11s38

删完入口仍可达的全部参考State路径

这些是聚合UTG路径；每条边的确认输入ID与次数见完整案例JSON。初始已不可达单列，不当作删边恢复。

original → g11s37
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e103; confirmed=2] → g11s37
still reachable after all observed confirmed entry edges cut

original → g11s38
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38
still reachable after all observed confirmed entry edges cut

original → g11s39
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e104; confirmed=4] → g11s39
still reachable after all observed confirmed entry edges cut

original → g11s40
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e103; confirmed=2] → g11s37 → [g11e111; confirmed=1] → g11s40
still reachable after all observed confirmed entry edges cut

original → g11s41
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e113; confirmed=5] → g11s41
still reachable after all observed confirmed entry edges cut

forward → g11s37
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e103; confirmed=2] → g11s37
still reachable after all observed confirmed entry edges cut

forward → g11s38
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38
still reachable after all observed confirmed entry edges cut

forward → g11s39
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e104; confirmed=4] → g11s39
still reachable after all observed confirmed entry edges cut

forward → g11s40
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e103; confirmed=2] → g11s37 → [g11e111; confirmed=1] → g11s40
still reachable after all observed confirmed entry edges cut

forward → g11s41
g1s1 → [g20e294; confirmed=1] → g20s82 → [g20e295; confirmed=1] → g11s38 → [g11e113; confirmed=5] → g11s41
still reachable after all observed confirmed entry edges cut

C发生参考：逐State GUI与范围身份

g11s37

A False / B原图 False / B去返回 False

g11s37代表图org.odk.collect.android.activities.FormDownloadListActivity
历史代表图，不认证同次对齐。
g11s38

A True / B原图 False / B去返回 False

g11s38代表图org.odk.collect.android.activities.FormDownloadListActivity
历史代表图，不认证同次对齐。
g11s39

A False / B原图 False / B去返回 False

g11s39代表图org.odk.collect.android.activities.FormDownloadListActivity
历史代表图，不认证同次对齐。
g11s40

A False / B原图 False / B去返回 False

g11s40代表图org.odk.collect.android.activities.FormDownloadListActivity
历史代表图，不认证同次对齐。
g11s41

A True / B原图 False / B去返回 False

g11s41代表图org.odk.collect.android.activities.FormDownloadListActivity
历史代表图，不认证同次对齐。

一条真实连续轨迹：完整步骤

入口 g11e101:159，停止：exit_to_outside。只连接同GUI、同抽象版本的相邻确认执行。

确认转换Source动作Target边界
g11e102:160g11s37MODEL_CLICK android:id/button2g11s38core
g11e103:161g11s38MODEL_CLICK org.odk.collect.android:id/refresh_buttong11s37core
g11e102:162g11s37MODEL_CLICK android:id/button2g11s38core
g11e104:163g11s38MODEL_CLICK org.odk.collect.android:id/menu_filterg11s39core
g11e105:164g11s39MODEL_CLICK g11s38core
g11e104:165g11s38MODEL_CLICK org.odk.collect.android:id/menu_filterg11s39core
g11e106:166g11s39MODEL_LONG_CLICK org.odk.collect.android:id/search_src_textg11s39core
g11e107:167g11s39MODEL_CLICK org.odk.collect.android:id/refresh_buttong11s40core
g11e108:168g11s40MODEL_CLICK org.odk.collect.android:id/search_close_btng11s39core
g11e107:169g11s39MODEL_CLICK org.odk.collect.android:id/refresh_buttong11s40core
g11e109:170g11s40MODEL_CLICK org.odk.collect.android:id/search_src_textg11s40core
g11e110:171g11s40MODEL_CLICK org.odk.collect.android:id/refresh_buttong11s37core
g11e111:172g11s37MODEL_CLICK android:id/button2g11s40core
g11e112:173g11s40MODEL_CLICK g11s38core
g11e113:174g11s38MODEL_CLICK org.odk.collect.android:id/menu_sortg11s41core
g11e114:175g11s41MODEL_CLICK org.odk.collect.android:id/titleg11s38core
g11e113:176g11s38MODEL_CLICK org.odk.collect.android:id/menu_sortg11s41core
g11e115:177g11s41MODEL_CLICK g11s38core
g11e113:178g11s38MODEL_CLICK org.odk.collect.android:id/menu_sortg11s41core
g11e115:179g11s41MODEL_CLICK g11s38core
g11e113:180g11s38MODEL_CLICK org.odk.collect.android:id/menu_sortg11s41core
g11e114:181g11s41MODEL_CLICK org.odk.collect.android:id/titleg11s38core
g11e113:182g11s38MODEL_CLICK org.odk.collect.android:id/menu_sortg11s41core
g11e115:183g11s41MODEL_CLICK g11s38core
g11e104:184g11s38MODEL_CLICK org.odk.collect.android:id/menu_filterg11s39core
g11e116:185g11s39MODEL_CLICK org.odk.collect.android:id/search_src_textg11s40core
g11e117:186g11s40MODEL_BACK g11s38core
g11e104:187g11s38MODEL_CLICK org.odk.collect.android:id/menu_filterg11s39core
g11e118:188g11s39MODEL_BACK g11s39core
g11e105:189g11s39MODEL_CLICK g11s38core
g11e103:190g11s38MODEL_CLICK org.odk.collect.android:id/refresh_buttong11s37core
g11e102:191g11s37MODEL_CLICK android:id/button2g11s38core
g11e119:192g11s38MODEL_BACK g1s1outside