公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。
wikipedia / Rep1 / g42s213
Search 开启先于语言/namespace 操作
org.wikipedia.search.SearchActivity;Region 4 State(含Header);4次全部精确到达,其中区外4次。
交互查看每次到达与全部来源本案例完整数据原始输入/回执/GUI摘包与所有表格
Source GUI / 回溯动作
alignment: unverified_state_representative
原图 SHA 69118b430bc9bc17b82d6eae1c4c1eabc35c66c903cfe414412db8d29cf9f911
Target GUI / 观察结果
alignment: unverified
原图 SHA 99d8ae459c6ebd5ad5fc5793fcbb2140a0d7e3874e6388e01f315a2b33bbfe88
Dominator Header GUI
alignment: unverified
原图 SHA c4636ed46d116d1dd005ad209b676290f882a80920aa97fc207723a7c5aec2a0
一条真实连续历史
以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。
| 事件 / 行号 | Source | 实际Action / ModelAction | Target | 角色 | 收尾映射 |
|---|---|---|---|---|---|
| g53e585:695 / 1652 | g48s249 | MODEL_CLICK / g48a2853 | g3s18 | UNKNOWN | False |
| g53e586:696 / 1654 | g3s18 | Search W / g3a188 | g41s212 | Ⅰ | True |
| g53e587:697 / 1656 | g41s212 | : / g41a2512 | g42s213 | UNKNOWN | True |
SUPPORTED · wikipedia.global-search,距离 2;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence
REJECTED · wikipedia.article-languages,距离 4;intervening_different_independent_entry:g53e586:696
实际动作完整属性、GUI标识与原件索引
{
"app": "wikipedia",
"rep": "Rep1",
"transition_id": "g53e586:696",
"order": 695,
"native_transition_order": 695,
"step": 702,
"monotonic_ns": 1615248076989905,
"version": 53,
"input_version": 53,
"state": "g3s18",
"target_state": "g41s212",
"model_action": "g3a188",
"input_model_action": "g3a188",
"input_id": "input-3644",
"action_type": "MODEL_CLICK",
"identity_digest": "45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c",
"related_id": "wikipedia-Rep1-r9fcf7ed4f82e9e",
"local_id": "wikipedia-Rep1-lacdc60dd41736f",
"resource_id": "org.wikipedia:id/page_toolbar_button_search",
"text": "Search W",
"content_desc": "",
"class": "android.widget.TextView",
"bounds": [
147,
172,
817,
267
],
"node_path": "0-0-0-2",
"source_activity": "org.wikipedia.page.PageActivity",
"resolved_target_activity": "org.wikipedia.search.SearchActivity",
"target_activity_evidence": "archived_GUI_or_final_exact_edge",
"source_gui_id": 920,
"target_gui_id": 921,
"source_gui_timestamp": 701,
"target_gui_timestamp": 702,
"final_exact": true,
"edge_id": "g53e586",
"new_state": false,
"new_model_action": false,
"self_loop": false,
"gui_unchanged": false,
"label": {
"category": "Ⅰ",
"function": "wikipedia.global-search",
"reason": "文章页 Search Wikipedia 入口,无 planned input text;不假设每次都成功开启",
"human_confirmed": false,
"label_origin": "study3_case_entry_review"
},
"event_line": 1654,
"event_path": "jev-events.jsonl",
"input_path": "jev-audit/inputs/generated-3645.json",
"receipt_path": "jev-receipts/transition-g53e586-696.json",
"planned_input_text": null,
"input_sha256": "b01010e2dd7bdf7265b8ad3476a756a9333f797a432d98b247775ddc51bfedfc",
"receipt_sha256": "b2146b1d93cdb80918c6a60b7fa0d7a1e832c617d22f064830ab07aaf7faaeb0",
"source_gui_evidence": [],
"target_gui_evidence": [
{
"sha256": "ada9062b30be6cc9f28096c417393cee56503d0a29ebab5f7f6d96290ea8e2df",
"observed_version_matches": true
}
],
"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=\"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']"
}真实多次路径叠加
蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。
Dominator子树
支配树边是结构关系,并非GUI执行边。
全部已观察incoming topology
| Edge | Source → Target | ModelAction | 关系 | 精确执行次数 |
|---|---|---|---|---|
| g55e653 | g55s300 → g42s213 | g55a3412 | external | 0 |
| g55e657 | g53s284 → g42s213 | g53a3224 | external | 1 |
| g42e389 | g38s205 → g42s213 | g38a2378 | external | 0 |
| g42e390 | g42s213 → g42s213 | g42a2518 | self_loop | 0 |
| g53e587 | g41s212 → g42s213 | g41a2512 | external | 2 |
| g54e651 | g38s204 → g42s213 | g38a2369 | external | 1 |
相关功能组的全部具体入口成员
组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。
| 功能 | Source / ModelAction | 控件 / text / desc | 确认次数 | 观察Target |
|---|---|---|---|---|
| wikipedia.global-search | g3s24 / g3a244 | org.wikipedia:id/page_toolbar_button_search / Search W / | 2 | {'g33s149': 2} |
| wikipedia.global-search | g0s0 / g0a2 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g35s174': 1} |
| wikipedia.global-search | g38s203 / g38a2358 | org.wikipedia:id/page_toolbar_button_search / Search W / | 4 | {'g38s204': 1, 'g38s205': 1, 'g41s212': 2} |
| wikipedia.global-search | g44s222 / g44a2577 | org.wikipedia:id/search_container / / | 1 | {'g41s212': 1} |
| wikipedia.global-search | g52s273 / g52a3099 | org.wikipedia:id/search_container / / | 1 | {'g38s205': 1} |
| wikipedia.global-search | g3s18 / g3a188 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g41s212': 1} |
| wikipedia.global-search | g3s20 / g3a207 | org.wikipedia:id/page_toolbar_button_search / Search W / | 3 | {'g41s212': 1, 'g68s440': 1, 'g34s156': 1} |
| wikipedia.global-search | g4s37 / g4a371 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g41s212': 1} |
| wikipedia.global-search | g54s294 / g54a3352 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g54s294': 1} |
| wikipedia.global-search | g36s187 / g36a2151 | org.wikipedia:id/page_toolbar_button_search / Search W / | 4 | {'g38s204': 1, 'g41s212': 1, 'g68s440': 1, 'g62s343': 1} |
| wikipedia.global-search | g46s243 / g46a2794 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g57s310': 1} |
| wikipedia.global-search | g63s370 / g63a4298 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g57s310': 1} |
| wikipedia.global-search | g35s178 / g35a2053 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g62s344': 1} |
| wikipedia.global-search | g68s438 / g68a5093 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g62s343': 1} |
| wikipedia.global-search | g52s278 / g52a3147 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g69s447': 1} |
| wikipedia.global-search | g69s450 / g69a5224 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g3s20': 1} |
| wikipedia.global-search | g54s292 / g54a3316 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g54s292': 1} |
| wikipedia.global-search | g77s496 / g77a5688 | org.wikipedia:id/search_container / / | 1 | {'g77s497': 1} |
| wikipedia.global-search | g52s273 / g52a3096 | org.wikipedia:id/nav_tab_search / / Search | 1 | {'g69s447': 1} |
| wikipedia.global-search | g34s156 / g34a1779 | org.wikipedia:id/page_toolbar_button_search / Search W / | 1 | {'g34s156': 1} |


