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

Wikipedia · Search / Rep1

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

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

A / B / C

口径State数与C交集
A上轮Header g41s21211
B原图53
B去明确返回126
C发生参考2626

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

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

g41e384:447

source g38s203

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

target g41s212

g41s212真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g41e384:447",
  "state": "g38s203",
  "target_state": "g41s212",
  "source_activity": "org.wikipedia.page.PageActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g38a2358",
  "input_model_action": "g38a2358",
  "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,
    172,
    817,
    267
  ],
  "planned_input_text": null,
  "source_gui_id": 609,
  "target_gui_id": 610,
  "final_exact": true,
  "edge_id": "g41e384",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-2328.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g41e384-447.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1042
}

g83e1630:2027

source g52s273

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

target g69s447

g69s447真实归档图
同 GUI ID / timestamp 审计截图；对齐状态按归档保留
alignment: unverified
Action、GUI与原始输入/转换定位
{
  "transition_id": "g83e1630:2027",
  "state": "g52s273",
  "target_state": "g69s447",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.main.MainActivity",
  "model_action": "g52a3096",
  "input_model_action": "g52a3096",
  "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": 2517,
  "target_gui_id": 2518,
  "final_exact": true,
  "edge_id": "g83e1630",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-10920.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g83e1630-2027.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 4970
}

g48e506:598

source g44s222

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

target g41s212

g41s212真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g48e506:598",
  "state": "g44s222",
  "target_state": "g41s212",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g44a2577",
  "input_model_action": "g44a2577",
  "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=\"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/feed_view\"][@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_container\"][@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_container",
  "text": "",
  "content_desc": "",
  "class": "androidx.cardview.widget.CardView",
  "bounds": [
    42,
    312,
    1038,
    438
  ],
  "planned_input_text": null,
  "source_gui_id": 794,
  "target_gui_id": 795,
  "final_exact": true,
  "edge_id": "g48e506",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-3121.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g48e506-598.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1414
}

g77e1384:1662

source g77s496

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

target g77s497

g77s497真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g77e1384:1662",
  "state": "g77s496",
  "target_state": "g77s497",
  "source_activity": "org.wikipedia.main.MainActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g77a5688",
  "input_model_action": "g77a5688",
  "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=\"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/feed_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@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_container\"][@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_container",
  "text": "",
  "content_desc": "",
  "class": "androidx.cardview.widget.CardView",
  "bounds": [
    42,
    312,
    1038,
    438
  ],
  "planned_input_text": null,
  "source_gui_id": 2082,
  "target_gui_id": 2083,
  "final_exact": true,
  "edge_id": "g77e1384",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-8923.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g77e1384-1662.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 4028
}

全部Ⅰ入口成员

SourceModelAction控件/text/desc执行次数Targets
g38s203g38a2358org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g38s204': 1, 'g38s205': 1, 'g41s212': 2}
g36s187g36a2151org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g38s204': 1, 'g41s212': 1, 'g68s440': 1, 'g62s343': 1}
g3s20g3a207org.wikipedia:id/page_toolbar_button_search / Search W / 3{'g41s212': 1, 'g68s440': 1, 'g34s156': 1}
g3s24g3a244org.wikipedia:id/page_toolbar_button_search / Search W / 2{'g33s149': 2}
g69s450g69a5224org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g3s20': 1}
g52s273g52a3096org.wikipedia:id/nav_tab_search / / Search1{'g69s447': 1}
g44s222g44a2577org.wikipedia:id/search_container / / 1{'g41s212': 1}
g54s292g54a3316org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g54s292': 1}
g77s496g77a5688org.wikipedia:id/search_container / / 1{'g77s497': 1}
g54s294g54a3352org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g54s294': 1}
g68s438g68a5093org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g62s343': 1}
g34s156g34a1779org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g34s156': 1}
g35s178g35a2053org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g62s344': 1}
g63s370g63a4298org.wikipedia:id/nav_tab_search / / Search1{'g57s310': 1}
g4s37g4a371org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g41s212': 1}
g3s18g3a188org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g41s212': 1}
g52s278g52a3147org.wikipedia:id/nav_tab_search / / Search1{'g69s447': 1}
g0s0g0a2org.wikipedia:id/nav_tab_search / / Search1{'g35s174': 1}
g52s273g52a3099org.wikipedia:id/search_container / / 1{'g38s205': 1}
g46s243g46a2794org.wikipedia:id/nav_tab_search / / Search1{'g57s310': 1}

关键反例：具体确认输入

g61e756:895

source g61s337

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

target g41s212

g41s212真实归档图
同 GUI ID / timestamp 审计截图；对齐状态按归档保留
alignment: unverified
Action、GUI与原始输入/转换定位
{
  "transition_id": "g61e756:895",
  "state": "g61s337",
  "target_state": "g41s212",
  "source_activity": "org.wikipedia.edit.EditSectionActivity",
  "target_activity": "org.wikipedia.search.SearchActivity",
  "model_action": "g61a3897",
  "input_model_action": "g61a3897",
  "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.HorizontalScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.wikipedia:id/wikitext_button_link\"][@text=\"\"][@content-desc=\"Link\"][@index=7][@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/wikitext_button_link",
  "text": "",
  "content_desc": "Link",
  "class": "android.widget.FrameLayout",
  "bounds": [
    882,
    2211,
    1008,
    2337
  ],
  "planned_input_text": null,
  "source_gui_id": 1165,
  "target_gui_id": 1166,
  "final_exact": true,
  "edge_id": "g61e756",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-audit/inputs/generated-4767.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-receipts/transition-g61e756-895.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_8e5338167a1a4ead9f1ec0bf8afaa13d/attempt_188e626550a144dcb87ee865c695eb57/raw/device-output/native/sata-org.wikipedia-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 2148
}

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

分叉、汇合与Dominator局部片段

g38s204 / g38s205 → g42s213

G g38s203 g38s203 PageActivity source ×4 g38s204 g38s204 SearchActivity target ×2 g38s203->g38s204 g38e371 CLICK page_toolbar_button_search exec 1 g42s213 g42s213 SearchActivity g38s204->g42s213 g54e651 CLICK search_src_text exec 1 g38s205 g38s205 SearchActivity target ×2 g38s205->g42s213 g42e389 CLICK search_src_text exec 0 g40s209 g40s209 SearchActivity g41s211 g41s211 SearchActivity g40s209->g41s211 g41e381 CLICK exec 1 g41s211->g41s211 g41e382 CLICK exec 1 g42s213->g40s209 g42e391 LONG_CLICK search_src_text exec 0 g42s213->g42s213 g42e390 CLICK search_src_text exec 0 g55s301 g55s301 SearchActivity g42s213->g55s301 g55e658 CLICK search_container exec 1 g52s273 g52s273 MainActivity ROOT · source ×2 g52s273->g38s205 g52e566 CLICK search_container exec 1

汇合点子树：g40s209, g41s211, g42s213, g55s301；不包含上游两个分支。

g38s204 → [g54e651; confirmed=1] → g42s213

g38s205 → [g42e389; confirmed=0] → g42s213

g42s213 / g42s214 → g41s212

G g3s20 g3s20 PageActivity ROOT · source ×3 · target ×1 g60s331 g60s331 PageActivity g3s20->g60s331 g60e731 CLICK page_toolbar_button_show_overflow_menu exec 5 g41s212 g41s212 SearchActivity target ×7 g41s212->g41s212 g48e507 LONG_CLICK recent_searches_delete_button exec 1 g41s212->g41s212 g53e591 CLICK search_container exec 1 g41s212->g41s212 g53e592 LONG_CLICK search_src_text exec 1 g41s212->g41s212 g53e603 CLICK exec 1 g42s213 g42s213 SearchActivity g42s213->g41s212 g53e604 CLICK search_close_btn exec 1 g42s214 g42s214 SearchActivity g52s279 g52s279 SearchActivity g42s214->g52s279 g52e571 CLICK exec 1 g52s279->g41s212 g53e606 CLICK search_close_btn exec 1 g61s336 g61s336 EditSectionActivity g60s331->g61s336 g61e754 CLICK page_edit_article exec 3 g61s337 g61s337 EditSectionActivity g61s336->g61s337 g61e755 CLICK edit_section_text exec 0 g61s337->g41s212 g61e756 CLICK wikitext_button_link exec 1

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

g42s213 → [g53e604; confirmed=1] → g41s212

g42s214 → [g52e571; confirmed=1] → g52s279 → [g53e606; confirmed=1] → g41s212

g42s213 / g48s254 → g42s214

G g0s0 g0s0 MainActivity ROOT · source ×1 g34s168 g34s168 MainActivity g0s0->g34s168 g34e307 CLICK nav_more_container exec 2 g46s241 g46s241 PlacesActivity g34s168->g46s241 g46e482 CLICK exec 1 g38s205 g38s205 SearchActivity target ×2 g42s214 g42s214 SearchActivity g38s205->g42s214 g52e570 CLICK namespaceText exec 1 g42s213 g42s213 SearchActivity g42s213->g42s214 g53e588 CLICK exec 1 g42s214->g42s214 g42e393 LONG_CLICK search_src_text exec 0 g42s214->g42s214 g42e394 CLICK search_src_text exec 1 g46s242 g46s242 SearchActivity g46s241->g46s242 g46e483 CLICK searchTextView exec 1 g46s242->g42s214 g46e484 CLICK search_src_text exec 1 g48s254 g48s254 SearchActivity g48s254->g38s205 g48e509 CLICK button1 exec 1

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

g42s213 → [g53e588; confirmed=1] → g42s214

g48s254 → [g48e509; confirmed=1] → g38s205 → [g52e570; confirmed=1] → g42s214

g41s212 / g42s214 → g52s279

G g3s20 g3s20 PageActivity ROOT · source ×3 · target ×1 g60s331 g60s331 PageActivity g3s20->g60s331 g60e731 CLICK page_toolbar_button_show_overflow_menu exec 5 g41s212 g41s212 SearchActivity target ×7 g52s279 g52s279 SearchActivity g41s212->g52s279 g53e605 CLICK namespaceText exec 1 g42s214 g42s214 SearchActivity g42s214->g52s279 g52e571 CLICK exec 1 g44s222 g44s222 MainActivity ROOT · source ×1 g44s222->g41s212 g48e506 CLICK search_container exec 1 g61s336 g61s336 EditSectionActivity g60s331->g61s336 g61e754 CLICK page_edit_article exec 3 g61s337 g61s337 EditSectionActivity g61s336->g61s337 g61e755 CLICK edit_section_text exec 0 g61s337->g41s212 g61e756 CLICK wikitext_button_link exec 1

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

g41s212 → [g53e605; confirmed=1] → g52s279

g42s214 → [g52e571; confirmed=1] → g52s279

g52s279 / g53s284 → g41s212

G g3s20 g3s20 PageActivity ROOT · source ×3 · target ×1 g60s331 g60s331 PageActivity g3s20->g60s331 g60e731 CLICK page_toolbar_button_show_overflow_menu exec 5 g41s212 g41s212 SearchActivity target ×7 g41s212->g41s212 g48e507 LONG_CLICK recent_searches_delete_button exec 1 g41s212->g41s212 g53e591 CLICK search_container exec 1 g41s212->g41s212 g53e592 LONG_CLICK search_src_text exec 1 g41s212->g41s212 g53e603 CLICK exec 1 g42s213 g42s213 SearchActivity g42s213->g41s212 g53e604 CLICK search_close_btn exec 1 g52s279 g52s279 SearchActivity g52s279->g41s212 g53e606 CLICK search_close_btn exec 1 g53s284 g53s284 SearchActivity g53s284->g42s213 g55e657 CLICK exec 1 g61s336 g61s336 EditSectionActivity g60s331->g61s336 g61e754 CLICK page_edit_article exec 3 g61s337 g61s337 EditSectionActivity g61s336->g61s337 g61e755 CLICK edit_section_text exec 0 g61s337->g41s212 g61e756 CLICK wikitext_button_link exec 1

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

g52s279 → [g53e606; confirmed=1] → g41s212

g53s284 → [g55e657; confirmed=1] → g42s213 → [g53e604; confirmed=1] → g41s212

g38s205 / g53s285 → g53s286

G g38s205 g38s205 SearchActivity target ×2 g42s213 g42s213 SearchActivity g38s205->g42s213 g42e389 CLICK search_src_text exec 0 g41s212 g41s212 SearchActivity target ×7 g53s286 g53s286 SearchActivity g41s212->g53s286 g61e757 CLICK exec 1 g42s213->g41s212 g53e604 CLICK search_close_btn exec 1 g52s273 g52s273 MainActivity ROOT · source ×2 g52s273->g38s205 g52e566 CLICK search_container exec 1 g53s285 g53s285 SearchActivity g53s285->g53s286 g53e598 CLICK namespaceText exec 1 g53s287 g53s287 SearchActivity g53s286->g53s287 g53e599 CLICK search_src_text exec 1

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

g38s205 → [g42e389; confirmed=0] → g42s213 → [g53e604; confirmed=1] → g41s212 → [g61e757; confirmed=1] → g53s286

g53s285 → [g53e598; confirmed=1] → g53s286

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

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

original → g35s174
g3s20 → [g35e330; confirmed=1] → g35s174
still reachable after all observed confirmed entry edges cut

original → g38s205
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g48e509; confirmed=1] → g38s205
still reachable after all observed confirmed entry edges cut

original → g41s212
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212
still reachable after all observed confirmed entry edges cut

original → g42s213
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1650; confirmed=2] → g55s300 → [g55e653; confirmed=0] → g42s213
still reachable after all observed confirmed entry edges cut

original → g42s214
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214
still reachable after all observed confirmed entry edges cut

original → g48s254
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254
still reachable after all observed confirmed entry edges cut

original → g52s279
g69s451 → [g69e1175; confirmed=1] → g46s243 → [g68e1079; confirmed=1] → g52s280 → [g52e573; confirmed=1] → g52s279
still reachable after all observed confirmed entry edges cut

original → g53s284
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214 → [g53e594; confirmed=1] → g53s284
still reachable after all observed confirmed entry edges cut

original → g53s285
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g53e597; confirmed=1] → g53s285
still reachable after all observed confirmed entry edges cut

original → g53s286
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g61e757; confirmed=1] → g53s286
still reachable after all observed confirmed entry edges cut

original → g53s287
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g61e757; confirmed=1] → g53s286 → [g53e599; confirmed=1] → g53s287
still reachable after all observed confirmed entry edges cut

original → g53s288
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g53e607; confirmed=1] → g53s288
still reachable after all observed confirmed entry edges cut

original → g55s301
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1650; confirmed=2] → g55s300 → [g55e653; confirmed=0] → g42s213 → [g55e658; confirmed=1] → g55s301
still reachable after all observed confirmed entry edges cut

original → g55s302
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g53e607; confirmed=1] → g53s288 → [g61e759; confirmed=1] → g55s302
still reachable after all observed confirmed entry edges cut

original → g57s310
g0s0 → [g34e307; confirmed=2] → g34s168 → [g63e879; confirmed=1] → g57s310
still reachable after all observed confirmed entry edges cut

original → g62s343
g0s0 → [g34e307; confirmed=2] → g34s168 → [g73e1314; confirmed=0] → g73s483 → [g73e1315; confirmed=0] → g44s220 → [g46e435; confirmed=1] → g46s231 → [g62e766; confirmed=1] → g62s341 → [g68e1141; confirmed=1] → g62s343
still reachable after all observed confirmed entry edges cut

original → g62s344
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g64e1013; confirmed=1] → g64s399 → [g64e1014; confirmed=1] → g25s84 → [g64e1010; confirmed=1] → g62s344
still reachable after all observed confirmed entry edges cut

original → g63s381
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g64e1013; confirmed=1] → g64s399 → [g64e1014; confirmed=1] → g25s84 → [g64e1010; confirmed=1] → g62s344 → [g63e918; confirmed=1] → g63s381
still reachable after all observed confirmed entry edges cut

original → g68s440
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441 → [g77e1388; confirmed=1] → g68s440
still reachable after all observed confirmed entry edges cut

original → g68s441
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441
still reachable after all observed confirmed entry edges cut

original → g69s447
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1687; confirmed=1] → g69s447
still reachable after all observed confirmed entry edges cut

original → g77s498
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441 → [g77e1388; confirmed=1] → g68s440 → [g77e1390; confirmed=1] → g77s498
still reachable after all observed confirmed entry edges cut

original → g77s499
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214 → [g55e644; confirmed=0] → g55s299 → [g83e1597; confirmed=1] → g77s499
still reachable after all observed confirmed entry edges cut

forward → g38s205
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g48e509; confirmed=1] → g38s205
still reachable after all observed confirmed entry edges cut

forward → g41s212
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212
still reachable after all observed confirmed entry edges cut

forward → g42s213
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1650; confirmed=2] → g55s300 → [g55e653; confirmed=0] → g42s213
still reachable after all observed confirmed entry edges cut

forward → g42s214
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214
still reachable after all observed confirmed entry edges cut

forward → g48s254
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254
still reachable after all observed confirmed entry edges cut

forward → g52s279
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214 → [g52e571; confirmed=1] → g52s279
still reachable after all observed confirmed entry edges cut

forward → g53s284
g0s0 → [g34e307; confirmed=2] → g34s168 → [g46e482; confirmed=1] → g46s241 → [g46e483; confirmed=1] → g46s242 → [g46e484; confirmed=1] → g42s214 → [g53e594; confirmed=1] → g53s284
still reachable after all observed confirmed entry edges cut

forward → g53s285
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1643; confirmed=1] → g48s254 → [g53e597; confirmed=1] → g53s285
still reachable after all observed confirmed entry edges cut

forward → g53s286
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g61e757; confirmed=1] → g53s286
still reachable after all observed confirmed entry edges cut

forward → g53s287
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g61e757; confirmed=1] → g53s286 → [g53e599; confirmed=1] → g53s287
still reachable after all observed confirmed entry edges cut

forward → g53s288
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g53e607; confirmed=1] → g53s288
still reachable after all observed confirmed entry edges cut

forward → g55s301
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1650; confirmed=2] → g55s300 → [g55e653; confirmed=0] → g42s213 → [g55e658; confirmed=1] → g55s301
still reachable after all observed confirmed entry edges cut

forward → g55s302
g3s20 → [g60e731; confirmed=5] → g60s331 → [g61e754; confirmed=3] → g61s336 → [g61e755; confirmed=0] → g61s337 → [g61e756; confirmed=1] → g41s212 → [g53e607; confirmed=1] → g53s288 → [g61e759; confirmed=1] → g55s302
still reachable after all observed confirmed entry edges cut

forward → g62s343
g0s0 → [g34e307; confirmed=2] → g34s168 → [g73e1314; confirmed=0] → g73s483 → [g73e1315; confirmed=0] → g44s220 → [g46e435; confirmed=1] → g46s231 → [g62e766; confirmed=1] → g62s341 → [g68e1142; confirmed=1] → g62s343
still reachable after all observed confirmed entry edges cut

forward → g62s344
g0s0 → [g34e307; confirmed=2] → g34s168 → [g73e1314; confirmed=0] → g73s483 → [g73e1315; confirmed=0] → g44s220 → [g46e435; confirmed=1] → g46s231 → [g62e766; confirmed=1] → g62s341 → [g68e1142; confirmed=1] → g62s343 → [g62e772; confirmed=1] → g62s344
still reachable after all observed confirmed entry edges cut

forward → g63s381
g0s0 → [g34e307; confirmed=2] → g34s168 → [g73e1314; confirmed=0] → g73s483 → [g73e1315; confirmed=0] → g44s220 → [g46e435; confirmed=1] → g46s231 → [g62e766; confirmed=1] → g62s341 → [g68e1142; confirmed=1] → g62s343 → [g62e772; confirmed=1] → g62s344 → [g63e918; confirmed=1] → g63s381
still reachable after all observed confirmed entry edges cut

forward → g68s440
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441 → [g77e1388; confirmed=1] → g68s440
still reachable after all observed confirmed entry edges cut

forward → g68s441
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441
still reachable after all observed confirmed entry edges cut

forward → g77s498
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441 → [g77e1388; confirmed=1] → g68s440 → [g77e1390; confirmed=1] → g77s498
still reachable after all observed confirmed entry edges cut

forward → g77s499
g0s0 → [g34e307; confirmed=2] → g34s168 → [g52e550; confirmed=2] → g52s274 → [g83e1634; confirmed=1] → g83s567 → [g83e1636; confirmed=2] → g68s441 → [g77e1388; confirmed=1] → g68s440 → [g77e1390; confirmed=1] → g77s498 → [g77e1391; confirmed=1] → g77s499
still reachable after all observed confirmed entry edges cut

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

g33s149

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

确认转换Source动作Target边界
g53e591:701g41s212MODEL_CLICK org.wikipedia:id/search_containerg41s212search-core-or-mode-shared
g53e592:702g41s212MODEL_LONG_CLICK org.wikipedia:id/search_src_textg41s212search-core-or-mode-shared
g53e593:703g41s212MODEL_CLICK org.wikipedia:id/search_src_textg42s214search-core-or-mode-shared
g53e594:704g42s214MODEL_CLICK org.wikipedia:id/search_close_btng53s284search-core-or-mode-shared
g53e595:705g53s284MODEL_CLICK org.wikipedia:id/search_close_btng53s285search-core-or-mode-shared
g53e596:706g53s285MODEL_CLICK org.wikipedia:id/recent_searches_delete_buttong48s254search-core-or-mode-shared
g53e597:707g48s254MODEL_CLICK android:id/button2g53s285search-core-or-mode-shared
g53e598:708g53s285MODEL_CLICK org.wikipedia:id/namespaceTextg53s286search-core-or-mode-shared
g53e599:709g53s286MODEL_CLICK org.wikipedia:id/search_src_textg53s287search-core-or-mode-shared
g53e600:710g53s287MODEL_SCROLL_TOP_DOWN org.wikipedia:id/search_results_listg53s288search-core-or-mode-shared
g53e601:711g53s288MODEL_CLICK org.wikipedia:id/search_containerg4s37outside