公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。
wikipedia / Rep2 / g26s116
主页 Search card → 横向语言操作 → Header
org.wikipedia.search.SearchActivity;Region 4 State(含Header);25次全部精确到达,其中区外18次。
交互查看每次到达与全部来源本案例完整数据原始输入/回执/GUI摘包与所有表格
Source GUI / 回溯动作
alignment: unverified_state_representative
原图 SHA 7ba790a9e92481d153301c989db3ecd2257b40000b61cd029626e543e7ec27da
Target GUI / 观察结果
alignment: unverified_state_representative
原图 SHA 7210be442cbe57f16c3698d655482a4b6d1d70add4a0166076c28739ebba5dba
Dominator Header GUI
alignment: unverified
原图 SHA 13786771d5781dcae6057550d7eaf55bd9763e1fec37a65e388ccf9974bab22d
一条真实连续历史
以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。
| 事件 / 行号 | Source | 实际Action / ModelAction | Target | 角色 | 收尾映射 |
|---|---|---|---|---|---|
| g54e771:901 / 2096 | g13s71 | MODEL_BACK / g13a746 | g53s254 | Ⅱ | True |
| g54e772:902 / 2098 | g53s254 | org.wikipedia:id/search_card / g53a2854 | g29s130 | Ⅰ | True |
| g54e773:903 / 2100 | g29s130 | org.wikipedia:id/horizontal_scroll_languages / g29a1386 | g26s116 | Ⅱ | True |
SUPPORTED · wikipedia.global-search,距离 2;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence
REJECTED · wikipedia.tab-manager,距离 5;intervening_different_independent_entry:g54e772:902
实际动作完整属性、GUI标识与原件索引
{
"app": "wikipedia",
"rep": "Rep2",
"transition_id": "g54e772:902",
"order": 901,
"native_transition_order": 901,
"step": 908,
"monotonic_ns": 1618249616848810,
"version": 54,
"input_version": 54,
"state": "g53s254",
"target_state": "g29s130",
"model_action": "g53a2854",
"input_model_action": "g53a2854",
"input_id": "input-4871",
"action_type": "MODEL_CLICK",
"identity_digest": "548d490f00e73bb48dcc365dcd87a341e0bd3bf73ece7781a15170a8e3d6e098",
"related_id": "wikipedia-Rep2-re6f7c59bd23384",
"local_id": "wikipedia-Rep2-l92e94ec12b5ec4",
"resource_id": "org.wikipedia:id/search_card",
"text": "",
"content_desc": "",
"class": "androidx.cardview.widget.CardView",
"bounds": [
42,
239,
1038,
365
],
"node_path": "0-1-0-0-0-0-0",
"source_activity": "org.wikipedia.main.MainActivity",
"resolved_target_activity": "org.wikipedia.search.SearchActivity",
"target_activity_evidence": "archived_GUI_or_final_exact_edge",
"source_gui_id": 1114,
"target_gui_id": 1115,
"source_gui_timestamp": 907,
"target_gui_timestamp": 908,
"final_exact": true,
"edge_id": "g54e772",
"new_state": false,
"new_model_action": false,
"self_loop": false,
"gui_unchanged": false,
"label": {
"category": "Ⅰ",
"function": "wikipedia.global-search",
"reason": "主页 Search Wikipedia 空查询提示框/父卡片,实际到 SearchActivity;非最近查询条目",
"human_confirmed": false,
"label_origin": "study3_case_entry_review"
},
"event_line": 2098,
"event_path": "jev-events.jsonl",
"input_path": "jev-audit/inputs/generated-4872.json",
"receipt_path": "jev-receipts/transition-g54e772-902.json",
"planned_input_text": null,
"input_sha256": "55b80a7ea01b0f8ec56eec2845fdf7f0fc4bf9bd5694dfaf5e94caf5253bffe2",
"receipt_sha256": "e2c27874b2a7e1a7e668ebeda41d6c13d4ec374570a6e67a280f6e8f2097921e",
"source_gui_evidence": [],
"target_gui_evidence": [],
"concrete_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']"
}真实多次路径叠加
蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。
Dominator子树
支配树边是结构关系,并非GUI执行边。
全部已观察incoming topology
| Edge | Source → Target | ModelAction | 关系 | 精确执行次数 |
|---|---|---|---|---|
| g53e770 | g13s71 → g26s116 | g13a739 | external | 1 |
| g54e761 | g44s214 → g26s116 | g44a2332 | external | 1 |
| g71e979 | g39s177 → g26s116 | g39a1969 | external | 1 |
| g54e762 | g26s116 → g26s116 | g26a1202 | self_loop | 1 |
| g26e216 | g26s116 → g26s116 | g26a1196 | self_loop | 1 |
| g70e931 | g68s317 → g26s116 | g68a3676 | external | 1 |
| g71e982 | g44s214 → g26s116 | g44a2338 | external | 1 |
| g29e252 | g29s130 → g26s116 | g29a1385 | external | 1 |
| g70e945 | g41s189 → g26s116 | g41a2082 | external | 1 |
| g82e1266 | g4s20 → g26s116 | g4a244 | external | 1 |
| g54e774 | g26s116 → g26s116 | g26a1201 | self_loop | 2 |
| g71e981 | g44s214 → g26s116 | g44a2337 | external | 1 |
| g71e983 | g44s214 → g26s116 | g44a2339 | external | 1 |
| g29e253 | g26s116 → g26s116 | g26a1197 | self_loop | 1 |
| g26e215 | g26s116 → g26s116 | g26a1203 | self_loop | 1 |
| g26e214 | g4s25 → g26s116 | g4a316 | external | 2 |
| g54e773 | g29s130 → g26s116 | g29a1386 | external | 1 |
| g80e1208 | g54s266 → g26s116 | g54a2993 | external | 2 |
| g26e217 | g26s116 → g26s116 | g26a1198 | self_loop | 1 |
| g80e1199 | g54s266 → g26s116 | g54a2990 | external | 3 |
相关功能组的全部具体入口成员
组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。
| 功能 | Source / ModelAction | 控件 / text / desc | 确认次数 | 观察Target |
|---|---|---|---|---|
| wikipedia.global-search | g3s10 / g3a134 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g3s11': 1} |
| wikipedia.global-search | g4s19 / g4a235 | org.wikipedia:id/nav_tab_search / / Search | 3 | {'g3s11': 1, 'g90s478': 1, 'g93s523': 1} |
| wikipedia.global-search | g4s22 / g4a277 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g4s22': 1} |
| wikipedia.global-search | g5s28 / g5a344 | org.wikipedia:id/page_toolbar_button_search / Search W / | 2 | {'g5s29': 2} |
| wikipedia.global-search | g4s25 / g4a316 | org.wikipedia:id/page_toolbar_button_search / Search W / | 4 | {'g26s116': 2, 'g27s119': 1, 'g27s122': 1} |
| wikipedia.global-search | g39s176 / g39a1954 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g39s177': 1} |
| wikipedia.global-search | g39s181 / g39a1996 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g39s177': 1} |
| wikipedia.global-search | g39s175 / g39a1949 | org.wikipedia:id/search_container / / | 2 | {'g41s192': 1, 'g41s199': 1} |
| wikipedia.global-search | g41s206 / g41a2236 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g41s206': 1} |
| wikipedia.global-search | g41s189 / g41a2082 | org.wikipedia:id/search_container / / | 2 | {'g41s199': 1, 'g26s116': 1} |
| wikipedia.global-search | g41s189 / g41a2079 | org.wikipedia:id/nav_tab_search / / Search | 4 | {'g53s254': 2, 'g39s177': 2} |
| wikipedia.global-search | g53s262 / g53a2941 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g53s254': 1} |
| wikipedia.global-search | g13s71 / g13a739 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g26s116': 1} |
| wikipedia.global-search | g53s254 / g53a2854 | org.wikipedia:id/search_card / / | 1 | {'g29s130': 1} |
| wikipedia.global-search | g3s15 / g3a194 | org.wikipedia:id/nav_tab_search / / Search | 3 | {'g53s254': 1, 'g39s177': 1, 'g14s75': 1} |
| wikipedia.global-search | g68s317 / g68a3676 | org.wikipedia:id/search_container / / | 1 | {'g26s116': 1} |
| wikipedia.global-search | g70s327 / g70a3804 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g53s254': 1} |
| wikipedia.global-search | g39s177 / g39a1969 | org.wikipedia:id/search_card / / | 2 | {'g26s116': 1, 'g5s29': 1} |
| wikipedia.global-search | g72s343 / g72a3914 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g39s177': 1} |
| wikipedia.global-search | g75s355 / g75a4085 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g39s177': 1} |
| wikipedia.global-search | g4s21 / g4a258 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g4s21': 1} |
| wikipedia.global-search | g80s379 / g80a4323 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g82s391': 1} |
| wikipedia.global-search | g4s20 / g4a244 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g26s116': 1} |
| wikipedia.global-search | g72s344 / g72a3930 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g39s177': 1} |
| wikipedia.global-search | g86s410 / g86a4617 | org.wikipedia:id/search_card / / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g86s430 / g86a4845 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g86s434 / g86a4898 | org.wikipedia:id/search_container / / | 2 | {'g86s411': 2} |
| wikipedia.global-search | g13s66 / g13a689 | org.wikipedia:id/page_toolbar_button_search / Search W / | 2 | {'g86s411': 2} |
| wikipedia.global-search | g90s469 / g90a5293 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g90s470': 1} |
| wikipedia.global-search | g13s63 / g13a666 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g36s164 / g36a1835 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g90s485 / g90a5492 | org.wikipedia:id/page_toolbar_button_search / Search W / | 4 | {'g90s493': 4} |
| wikipedia.global-search | g14s75 / g14a792 | org.wikipedia:id/search_card / / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g93s543 / g93a6105 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g86s411': 1} |
| wikipedia.global-search | g93s555 / g93a6250 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g93s555': 1} |
| wikipedia.global-search | g8s44 / g8a502 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g86s411': 1} |


