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

Wikipedia · Search / Rep2

55次Ⅰ输入，35个源State；53次精确映射，2次历史未映射。

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

A / B / C

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

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

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

g90e1612:1968

source g90s485

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

target g90s493

g90s493真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g90e1612:1968",
  "state": "g90s485",
  "target_state": "g90s493",
  "source_activity": "org.wikipedia.page.PageActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g90a5492",
  "input_model_action": "g90a5492",
  "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"org.wikipedia:id/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/container_with_nav_trigger\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.wikipedia:id/page_toolbar_button_search\"][@text=\"Search W\"][@content-desc=\"\"][@index=2][@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.wikipedia:id/page_toolbar_button_search",
  "text": "Search W",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    147,
    99,
    2137,
    194
  ],
  "planned_input_text": null,
  "source_gui_id": 2394,
  "target_gui_id": 2395,
  "final_exact": true,
  "edge_id": "g90e1612",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-10585.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g90e1612-1968.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 4786
}

g53e717:808

source g41s189

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

target g53s254

g53s254真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g53e717:808",
  "state": "g41s189",
  "target_state": "g53s254",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.main.MainActivity",
  "model_action": "g41a2079",
  "input_model_action": "g41a2079",
  "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.view.ViewGroup\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/nav_tab_search\"][@text=\"\"][@content-desc=\"Search\"][@index=2][@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.wikipedia:id/nav_tab_search",
  "text": "",
  "content_desc": "Search",
  "class": "android.widget.FrameLayout",
  "bounds": [
    432,
    2148,
    648,
    2337
  ],
  "planned_input_text": null,
  "source_gui_id": 1011,
  "target_gui_id": 1012,
  "final_exact": true,
  "edge_id": "g53e717",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4371.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g53e717-808.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1860
}

g70e929:1103

source g3s15

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

target g53s254

g53s254真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g70e929:1103",
  "state": "g3s15",
  "target_state": "g53s254",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.main.MainActivity",
  "model_action": "g3a194",
  "input_model_action": "g3a194",
  "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.view.ViewGroup\"][@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.wikipedia:id/nav_tab_search\"][@text=\"\"][@content-desc=\"Search\"][@index=2][@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.wikipedia:id/nav_tab_search",
  "text": "",
  "content_desc": "Search",
  "class": "android.widget.FrameLayout",
  "bounds": [
    432,
    2148,
    648,
    2337
  ],
  "planned_input_text": null,
  "source_gui_id": 1356,
  "target_gui_id": 1357,
  "final_exact": true,
  "edge_id": "g70e929",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-5952.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g70e929-1103.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 2595
}

g71e979:1159

source g39s177

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

target g26s116

g26s116真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g71e979:1159",
  "state": "g39s177",
  "target_state": "g26s116",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g39a1969",
  "input_model_action": "g39a1969",
  "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.view.ViewGroup\"][@resource-id=\"org.wikipedia:id/fragment_main_coordinator\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.viewpager.widget.ViewPager\"][@resource-id=\"org.wikipedia:id/main_view_pager\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"org.wikipedia:id/history_list\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.cardview.widget.CardView\"][@resource-id=\"org.wikipedia:id/search_card\"][@text=\"\"][@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": "org.wikipedia:id/search_card",
  "text": "",
  "content_desc": "",
  "class": "androidx.cardview.widget.CardView",
  "bounds": [
    42,
    239,
    1038,
    365
  ],
  "planned_input_text": null,
  "source_gui_id": 1428,
  "target_gui_id": 1429,
  "final_exact": true,
  "edge_id": "g71e979",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-6294.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g71e979-1159.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 2747
}

全部Ⅰ入口成员

SourceModelAction控件/text/desc执行次数Targets
g90s485g90a5492org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g90s493': 4}
g41s189g41a2079org.wikipedia:id/nav_tab_search / / Search4{'g53s254': 2, 'g39s177': 2}
g4s25g4a316org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g26s116': 2, 'g27s119': 1, 'g27s122': 1}
g3s15g3a194org.wikipedia:id/nav_tab_search / / Search3{'g53s254': 1, 'g39s177': 1, 'g14s75': 1}
g4s19g4a235org.wikipedia:id/nav_tab_search / / Search3{'g3s11': 1, 'g90s478': 1, 'g93s523': 1}
g39s177g39a1969org.wikipedia:id/search_card / / 2{'g26s116': 1, 'g5s29': 1}
g5s28g5a344org.wikipedia:id/page_toolbar_button_search / Search W / 2{'g5s29': 2}
g86s434g86a4898org.wikipedia:id/search_container / / 2{'g86s411': 2}
g13s66g13a689org.wikipedia:id/page_toolbar_button_search / Search W / 2{'g86s411': 2}
g39s175g39a1949org.wikipedia:id/search_container / / 2{'g41s192': 1, 'g41s199': 1}
g41s189g41a2082org.wikipedia:id/search_container / / 2{'g41s199': 1, 'g26s116': 1}
g93s555g93a6250org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g93s555': 1}
g90s469g90a5293org.wikipedia:id/nav_tab_search / / Search1{'g90s470': 1}
g4s22g4a277org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g4s22': 1}
g70s327g70a3804org.wikipedia:id/nav_tab_search / / Search1{'g53s254': 1}
g4s21g4a258org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g4s21': 1}
g4s20g4a244org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g26s116': 1}
g80s379g80a4323org.wikipedia:id/nav_tab_search / / Search1{'g82s391': 1}
g68s317g68a3676org.wikipedia:id/search_container / / 1{'g26s116': 1}
g39s181g39a1996org.wikipedia:id/nav_tab_search / / Search1{'g39s177': 1}
g72s344g72a3930org.wikipedia:id/nav_tab_search / / Search1{'g39s177': 1}
g93s543g93a6105org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g86s411': 1}
g36s164g36a1835org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g86s411': 1}
g13s63g13a666org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g86s411': 1}
g53s254g53a2854org.wikipedia:id/search_card / / 1{'g29s130': 1}
g86s410g86a4617org.wikipedia:id/search_card / / 1{'g86s411': 1}
g75s355g75a4085org.wikipedia:id/nav_tab_search / / Search1{'g39s177': 1}
g72s343g72a3914org.wikipedia:id/nav_tab_search / / Search1{'g39s177': 1}
g14s75g14a792org.wikipedia:id/search_card / / 1{'g86s411': 1}
g3s10g3a134org.wikipedia:id/nav_tab_search / / Search1{'g3s11': 1}
g13s71g13a739org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g26s116': 1}
g41s206g41a2236org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g41s206': 1}
g53s262g53a2941org.wikipedia:id/nav_tab_search / / Search1{'g53s254': 1}
g39s176g39a1954org.wikipedia:id/nav_tab_search / / Search1{'g39s177': 1}
g86s430g86a4845org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g86s411': 1}
g8s44g8a502org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g86s411': 1}

关键反例：具体确认输入

g5e49:53

source g5s30

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

target g5s32

g5s32真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g5e49:53",
  "state": "g5s30",
  "target_state": "g5s32",
  "source_activity": "org.wikipedia.search.SearchActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g5a362",
  "input_model_action": "g5a362",
  "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.LinearLayout\"][@resource-id=\"org.wikipedia:id/search_container\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"org.wikipedia:id/search_cab_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.AutoCompleteTextView\"][@resource-id=\"org.wikipedia:id/search_src_text\"][@text=\"Search W\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
  "resource_id": "org.wikipedia:id/search_src_text",
  "text": "Search W",
  "content_desc": "",
  "class": "android.widget.AutoCompleteTextView",
  "bounds": [
    168,
    99,
    875,
    193
  ],
  "planned_input_text": "5526295120276113567104.7007441",
  "source_gui_id": 67,
  "target_gui_id": 69,
  "final_exact": true,
  "edge_id": "g5e49",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-281.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g5e49-53.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 117
}

g86e1396:1708

source g36s163

g36s163真实归档图
同 GUI ID / timestamp 审计截图；对齐状态按归档保留
alignment: unverified

target g86s414

g86s414真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g86e1396:1708",
  "state": "g36s163",
  "target_state": "g86s414",
  "source_activity": "org.wikipedia.page.PageActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g36a1822",
  "input_model_action": "g36a1822",
  "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"org.wikipedia:id/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/container_with_nav_trigger\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Navigate up\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "",
  "text": "#3086dac0",
  "content_desc": "Navigate up",
  "class": "android.widget.ImageButton",
  "bounds": [
    0,
    73,
    147,
    220
  ],
  "planned_input_text": null,
  "source_gui_id": 2079,
  "target_gui_id": 2080,
  "final_exact": true,
  "edge_id": "g86e1396",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-9201.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g86e1396-1708.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8f9e0e03aff94363a3ae7757f17a7c14/attempt_71d585a136f244fbbafe0be57544ef6c/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 4145
}

SearchActivity字段携planned_input_text是Ⅲ查询依赖，不混入Ⅰ开启入口；成功sendText不自动追加Enter，不能据此认证独立提交按钮。Places/编辑器Link保持待确认。

分叉、汇合与Dominator局部片段

g27s119 / g41s192 → g41s193

G g13s66 g13s66 PageActivity ROOT · source ×2 g41s204 g41s204 PageActivity g13s66->g41s204 g41e478 CLICK page_save exec 1 g27s119 g27s119 SearchActivity target ×1 g27s120 g27s120 SearchActivity g27s119->g27s120 g27e222 CLICK exec 1 g27s121 g27s121 SearchActivity g27s120->g27s121 g27e224 CLICK recent_searches_delete_button exec 2 g41s199 g41s199 SearchActivity target ×2 g27s121->g41s199 g44e535 CLICK button2 exec 1 g39s175 g39s175 MainActivity source ×2 g41s192 g41s192 SearchActivity target ×1 g39s175->g41s192 g41e448 CLICK search_container exec 1 g41s193 g41s193 SearchActivity g41s192->g41s193 g41e449 CLICK namespaceText exec 1 g41s193->g41s193 g44e537 CLICK exec 1 g48s234 g48s234 SearchActivity g41s193->g48s234 g48e612 CLICK exec 1 g41s198 g41s198 SearchActivity g41s198->g41s199 g41e465 CLICK search_close_btn exec 2 g41s199->g41s193 g41e466 CLICK search_container exec 1 g41s204->g41s198 g41e479 CLICK exec 1 g4s25 g4s25 PageActivity ROOT · source ×4 g4s25->g27s119 g27e221 CLICK page_toolbar_button_search exec 1

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

g27s119 → [g27e222; confirmed=1] → g27s120 → [g27e224; confirmed=2] → g27s121 → [g44e535; confirmed=1] → g41s199 → [g41e466; confirmed=1] → g41s193

g41s192 → [g41e449; confirmed=1] → g41s193

g86s413 / g86s414 → g86s426

G g36s163 g36s163 PageActivity ROOT g86s414 g86s414 SearchActivity g36s163->g86s414 g86e1396 CLICK exec 1 g86s411 g86s411 SearchActivity target ×11 g86s413 g86s413 SearchActivity g86s411->g86s413 g86e1341 CLICK search_src_text exec 1 g86s426 g86s426 SearchActivity g86s413->g86s426 g93e1716 SCROLL_BOTTOM_UP search_results_list exec 1 g86s414->g86s411 g87e1434 CLICK search_close_btn exec 1 g86s414->g86s426 g86e1393 SCROLL_BOTTOM_UP search_results_list exec 2

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

g86s413 → [g93e1716; confirmed=1] → g86s426

g86s414 → [g86e1393; confirmed=2] → g86s426

g86s411 / g86s426 → g86s413

G g13s66 g13s66 PageActivity ROOT · source ×2 g86s411 g86s411 SearchActivity target ×11 g13s66->g86s411 g87e1432 CLICK page_toolbar_button_search exec 2 g36s163 g36s163 PageActivity ROOT g86s414 g86s414 SearchActivity g36s163->g86s414 g86e1396 CLICK exec 1 g86s413 g86s413 SearchActivity g86s411->g86s413 g86e1341 CLICK search_src_text exec 1 g86s414->g86s411 g87e1434 CLICK search_close_btn exec 1 g86s426 g86s426 SearchActivity g90s493 g90s493 SearchActivity target ×4 g86s426->g90s493 g90e1615 CLICK search_close_btn exec 2 g90s493->g86s413 g93e1714 CLICK exec 2

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

g86s411 → [g86e1341; confirmed=1] → g86s413

g86s426 → [g90e1615; confirmed=2] → g90s493 → [g93e1714; confirmed=2] → g86s413

g86s413 / g86s414 → g86s426

G g36s163 g36s163 PageActivity ROOT g86s414 g86s414 SearchActivity g36s163->g86s414 g86e1396 CLICK exec 1 g86s411 g86s411 SearchActivity target ×11 g86s413 g86s413 SearchActivity g86s411->g86s413 g86e1341 CLICK search_src_text exec 1 g86s426 g86s426 SearchActivity g86s413->g86s426 g93e1716 SCROLL_BOTTOM_UP search_results_list exec 1 g86s414->g86s411 g87e1434 CLICK search_close_btn exec 1 g86s414->g86s426 g86e1393 SCROLL_BOTTOM_UP search_results_list exec 2

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

g86s413 → [g93e1716; confirmed=1] → g86s426

g86s414 → [g86e1393; confirmed=2] → g86s426

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

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

original → g14s75
g13s66 → [g41e486; confirmed=1] → g13s70 → [g13e108; confirmed=1] → g13s71 → [g14e125; confirmed=1] → g14s75
still reachable after all observed confirmed entry edges cut

original → g26s116
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g80e1199; confirmed=3] → g26s116
still reachable after all observed confirmed entry edges cut

original → g27s120
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g27e225; confirmed=1] → g27s120
still reachable after all observed confirmed entry edges cut

original → g27s121
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121
still reachable after all observed confirmed entry edges cut

original → g27s122
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e710; confirmed=0] → g27s122
still reachable after all observed confirmed entry edges cut

original → g27s123
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e710; confirmed=0] → g27s122 → [g27e227; confirmed=1] → g27s123
still reachable after all observed confirmed entry edges cut

original → g29s130
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e715; confirmed=0] → g29s130
still reachable after all observed confirmed entry edges cut

original → g32s144
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e724; confirmed=2] → g26s114 → [g32e309; confirmed=2] → g32s144
still reachable after all observed confirmed entry edges cut

original → g39s177
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e724; confirmed=2] → g26s114 → [g78e1082; confirmed=1] → g39s177
still reachable after all observed confirmed entry edges cut

original → g41s193
g13s66 → [g41e478; confirmed=1] → g41s204 → [g41e479; confirmed=1] → g41s198 → [g41e465; confirmed=2] → g41s199 → [g41e466; confirmed=1] → g41s193
still reachable after all observed confirmed entry edges cut

original → g41s198
g13s66 → [g41e478; confirmed=1] → g41s204 → [g41e479; confirmed=1] → g41s198
still reachable after all observed confirmed entry edges cut

original → g41s199
g13s66 → [g41e478; confirmed=1] → g41s204 → [g41e479; confirmed=1] → g41s198 → [g41e465; confirmed=2] → g41s199
still reachable after all observed confirmed entry edges cut

original → g48s233
g13s66 → [g41e478; confirmed=1] → g41s204 → [g41e479; confirmed=1] → g41s198 → [g41e465; confirmed=2] → g41s199 → [g48e610; confirmed=1] → g48s233
still reachable after all observed confirmed entry edges cut

original → g48s234
g13s66 → [g41e478; confirmed=1] → g41s204 → [g41e479; confirmed=1] → g41s198 → [g41e465; confirmed=2] → g41s199 → [g41e466; confirmed=1] → g41s193 → [g48e612; confirmed=1] → g48s234
still reachable after all observed confirmed entry edges cut

original → g53s254
g13s66 → [g41e486; confirmed=1] → g13s70 → [g13e108; confirmed=1] → g13s71 → [g54e771; confirmed=1] → g53s254
still reachable after all observed confirmed entry edges cut

original → g5s29
g4s25 → [g5e44; confirmed=1] → g5s27 → [g7e47; confirmed=0] → g7s36 → [g7e48; confirmed=0] → g5s29
still reachable after all observed confirmed entry edges cut

original → g5s30
g4s25 → [g5e44; confirmed=1] → g5s27 → [g7e47; confirmed=0] → g7s36 → [g7e48; confirmed=0] → g5s29 → [g5e48; confirmed=1] → g5s30
still reachable after all observed confirmed entry edges cut

original → g5s32
g4s25 → [g5e44; confirmed=1] → g5s27 → [g7e47; confirmed=0] → g7s36 → [g7e48; confirmed=0] → g5s29 → [g83e1291; confirmed=1] → g5s32
still reachable after all observed confirmed entry edges cut

original → g70s323
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g80e1199; confirmed=3] → g26s116 → [g70e932; confirmed=1] → g70s323
still reachable after all observed confirmed entry edges cut

original → g70s324
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g80e1199; confirmed=3] → g26s116 → [g70e932; confirmed=1] → g70s323 → [g70e933; confirmed=1] → g70s324
still reachable after all observed confirmed entry edges cut

original → g82s391
g4s25 → [g82e1268; confirmed=1] → g82s391
still reachable after all observed confirmed entry edges cut

original → g83s395
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g93e1786; confirmed=2] → g83s395
still reachable after all observed confirmed entry edges cut

original → g83s396
g13s66 → [g41e486; confirmed=1] → g13s70 → [g13e108; confirmed=1] → g13s71 → [g86e1331; confirmed=1] → g83s396
still reachable after all observed confirmed entry edges cut

original → g86s411
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411
still reachable after all observed confirmed entry edges cut

original → g86s413
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g86e1341; confirmed=1] → g86s413
still reachable after all observed confirmed entry edges cut

original → g86s414
g36s163 → [g86e1396; confirmed=1] → g86s414
still reachable after all observed confirmed entry edges cut

original → g86s426
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g86e1393; confirmed=2] → g86s426
still reachable after all observed confirmed entry edges cut

original → g86s431
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g86e1413; confirmed=2] → g86s431
still reachable after all observed confirmed entry edges cut

original → g90s470
g13s66 → [g41e486; confirmed=1] → g13s70 → [g13e108; confirmed=1] → g13s71 → [g90e1515; confirmed=1] → g90s470
still reachable after all observed confirmed entry edges cut

original → g90s474
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g90e1527; confirmed=1] → g90s474
still reachable after all observed confirmed entry edges cut

original → g90s475
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g90e1527; confirmed=1] → g90s474 → [g90e1528; confirmed=1] → g90s475
still reachable after all observed confirmed entry edges cut

original → g90s493
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g86e1393; confirmed=2] → g86s426 → [g90e1615; confirmed=2] → g90s493
still reachable after all observed confirmed entry edges cut

original → g90s494
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g86e1393; confirmed=2] → g86s426 → [g90e1615; confirmed=2] → g90s493 → [g90e1616; confirmed=1] → g90s494
still reachable after all observed confirmed entry edges cut

original → g93s557
g36s163 → [g86e1396; confirmed=1] → g86s414 → [g87e1434; confirmed=1] → g86s411 → [g93e1830; confirmed=1] → g93s557
still reachable after all observed confirmed entry edges cut

forward → g26s116
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g80e1208; confirmed=2] → g26s116
still reachable after all observed confirmed entry edges cut

forward → g27s120
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g27e225; confirmed=1] → g27s120
still reachable after all observed confirmed entry edges cut

forward → g27s121
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121
still reachable after all observed confirmed entry edges cut

forward → g27s122
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e710; confirmed=0] → g27s122
still reachable after all observed confirmed entry edges cut

forward → g27s123
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e710; confirmed=0] → g27s122 → [g27e227; confirmed=1] → g27s123
still reachable after all observed confirmed entry edges cut

forward → g29s130
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e715; confirmed=0] → g29s130
still reachable after all observed confirmed entry edges cut

forward → g32s144
g39s172 → [g39e365; confirmed=1] → g19s94 → [g54e728; confirmed=0] → g54s266 → [g54e724; confirmed=2] → g26s114 → [g32e309; confirmed=2] → g32s144
still reachable after all observed confirmed entry edges cut

forward → g39s177
g3s10 → [g17e146; confirmed=2] → g17s85 → [g83e1283; confirmed=2] → g75s351 → [g87e1406; confirmed=0] → g87s435 → [g87e1417; confirmed=0] → g39s177
still reachable after all observed confirmed entry edges cut

forward → g41s193
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g44e535; confirmed=1] → g41s199 → [g41e466; confirmed=1] → g41s193
still reachable after all observed confirmed entry edges cut

forward → g41s198
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g44e535; confirmed=1] → g41s199 → [g41e466; confirmed=1] → g41s193 → [g41e467; confirmed=1] → g41s198
still reachable after all observed confirmed entry edges cut

forward → g41s199
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g44e535; confirmed=1] → g41s199
still reachable after all observed confirmed entry edges cut

forward → g48s233
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g44e535; confirmed=1] → g41s199 → [g48e610; confirmed=1] → g48s233
still reachable after all observed confirmed entry edges cut

forward → g48s234
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1410; confirmed=1] → g27s121 → [g44e535; confirmed=1] → g41s199 → [g41e466; confirmed=1] → g41s193 → [g48e612; confirmed=1] → g48s234
still reachable after all observed confirmed entry edges cut

forward → g53s254
g13s66 → [g90e1480; confirmed=0] → g90s463 → [g90e1481; confirmed=0] → g82s389 → [g82e1256; confirmed=0] → g53s254
still reachable after all observed confirmed entry edges cut

forward → g5s29
g4s25 → [g5e44; confirmed=1] → g5s27 → [g7e47; confirmed=0] → g7s36 → [g7e48; confirmed=0] → g5s29
still reachable after all observed confirmed entry edges cut

forward → g5s30
没有路径边；检查原Root/初始不可达标注。
unreachable even before cut; not recovered by deleting entries

forward → g5s32
g4s25 → [g5e44; confirmed=1] → g5s27 → [g7e47; confirmed=0] → g7s36 → [g7e48; confirmed=0] → g5s29 → [g83e1291; confirmed=1] → g5s32
still reachable after all observed confirmed entry edges cut

forward → g70s323
没有路径边；检查原Root/初始不可达标注。
unreachable even before cut; not recovered by deleting entries

forward → g70s324
没有路径边；检查原Root/初始不可达标注。
unreachable even before cut; not recovered by deleting entries

forward → g83s395
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g93e1786; confirmed=2] → g83s395
still reachable after all observed confirmed entry edges cut

forward → g83s396
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g93e1786; confirmed=2] → g83s395 → [g83e1293; confirmed=1] → g83s396
still reachable after all observed confirmed entry edges cut

forward → g86s411
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411
still reachable after all observed confirmed entry edges cut

forward → g86s413
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g86e1341; confirmed=1] → g86s413
still reachable after all observed confirmed entry edges cut

forward → g86s414
g39s172 → [g39e365; confirmed=1] → g19s94 → [g86e1343; confirmed=2] → g86s414
still reachable after all observed confirmed entry edges cut

forward → g86s426
g39s172 → [g39e365; confirmed=1] → g19s94 → [g86e1343; confirmed=2] → g86s414 → [g86e1393; confirmed=2] → g86s426
still reachable after all observed confirmed entry edges cut

forward → g86s431
g39s172 → [g39e365; confirmed=1] → g19s94 → [g86e1343; confirmed=2] → g86s414 → [g86e1413; confirmed=2] → g86s431
still reachable after all observed confirmed entry edges cut

forward → g90s470
g13s66 → [g90e1480; confirmed=0] → g90s463 → [g90e1481; confirmed=0] → g82s389 → [g82e1256; confirmed=0] → g53s254 → [g71e967; confirmed=1] → g71s335 → [g90e1517; confirmed=2] → g90s470
still reachable after all observed confirmed entry edges cut

forward → g90s474
没有路径边；检查原Root/初始不可达标注。
unreachable even before cut; not recovered by deleting entries

forward → g90s475
没有路径边；检查原Root/初始不可达标注。
unreachable even before cut; not recovered by deleting entries

forward → g90s493
g39s172 → [g39e365; confirmed=1] → g19s94 → [g86e1343; confirmed=2] → g86s414 → [g86e1393; confirmed=2] → g86s426 → [g90e1615; confirmed=2] → g90s493
still reachable after all observed confirmed entry edges cut

forward → g90s494
g39s172 → [g39e365; confirmed=1] → g19s94 → [g86e1343; confirmed=2] → g86s414 → [g86e1393; confirmed=2] → g86s426 → [g90e1615; confirmed=2] → g90s493 → [g90e1616; confirmed=1] → g90s494
still reachable after all observed confirmed entry edges cut

forward → g93s557
g39s172 → [g39e365; confirmed=1] → g19s94 → [g87e1424; confirmed=1] → g86s411 → [g93e1830; confirmed=1] → g93s557
still reachable after all observed confirmed entry edges cut

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

g14s75

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

g14s75代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g26s116

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

g26s116代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g27s119

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

g27s119代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g27s120

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

g27s120代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g27s121

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

g27s121代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g27s122

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

g27s122代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g27s123

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

g27s123代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g29s130

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

g29s130代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g32s144

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

g32s144代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g39s177

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

g39s177代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g3s11

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

g3s11代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g41s192

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

g41s192代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g41s193

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

g41s193代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g41s198

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

g41s198代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g41s199

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

g41s199代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g48s233

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

g48s233代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g48s234

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

g48s234代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g53s254

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

g53s254代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g5s29

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

g5s29代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g5s30

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

g5s30代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g5s32

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

g5s32代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g70s323

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

g70s323代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g70s324

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

g70s324代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g82s391

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

g82s391代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g83s395

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

g83s395代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g83s396

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

g83s396代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g86s411

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

g86s411代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g86s413

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

g86s413代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g86s414

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

g86s414代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g86s426

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

g86s426代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g86s431

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

g86s431代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g90s470

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

g90s470代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g90s474

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

g90s474代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g90s475

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

g90s475代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g90s478

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

g90s478代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g90s493

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

g90s493代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g90s494

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

g90s494代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。
g93s523

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

g93s523代表图org.wikipedia.main.MainActivity
历史代表图，不认证同次对齐。
g93s557

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

g93s557代表图org.wikipedia.search.SearchActivity
历史代表图，不认证同次对齐。

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

入口 g87e1432:1752，停止：language configuration handoff (extended scope recorded separately)。只连接同GUI、同抽象版本的相邻确认执行。

确认转换Source动作Target边界
g87e1426:1753g86s411MODEL_CLICK g86s414search-core-or-mode-shared
g87e1433:1754g86s414MODEL_SCROLL_TOP_DOWN org.wikipedia:id/search_results_listg86s414search-core-or-mode-shared
g87e1434:1755g86s414MODEL_CLICK org.wikipedia:id/search_close_btng86s411search-core-or-mode-shared
g87e1435:1756g86s411MODEL_CLICK org.wikipedia:id/search_containerg86s411search-core-or-mode-shared
g87e1436:1757g86s411MODEL_LONG_CLICK org.wikipedia:id/recent_searches_delete_buttong86s411search-core-or-mode-shared
g87e1437:1758g86s411MODEL_CLICK org.wikipedia:id/namespaceTextg86s413search-core-or-mode-shared
g87e1438:1759g86s413MODEL_SCROLL_TOP_DOWN org.wikipedia:id/search_results_listg86s414search-core-or-mode-shared
g87e1439:1760g86s414MODEL_LONG_CLICK org.wikipedia:id/search_src_textg86s414search-core-or-mode-shared
g87e1440:1761g86s414MODEL_CLICK org.wikipedia:id/langCodeTextg19s94language configuration handoff (extended scope recorded separately)