公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。

wikipedia / Rep1 / g68s441

Ⅰ Search 入口 → Ⅲ查询依赖 → Header

org.wikipedia.search.SearchActivity;Region 4 State(含Header);16次全部精确到达,其中区外7次。

Source GUI / 回溯动作

Source GUI / 回溯动作真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA 34fcc46ff2b39cd6443e4726f424ed9966882f78f54614a57458f4c9215dfd67

Target GUI / 观察结果

Target GUI / 观察结果真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA f088d5adb89bad12aaf2d1e189e701dd18e9c29f8721a6ccd91e4a2244cc60bc

Dominator Header GUI

Dominator Header GUI真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA 3074a857457d752cea32541019a11ec3e37ac428c75bb9e222af513488dd369c

一条真实连续历史

以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g77e1383:1661 / 4026g76s493Other pa / g76a5647g77s496UNKNOWNTrue
g77e1384:1662 / 4028g77s496org.wikipedia:id/search_container / g77a5688g77s497ⅠTrue
g77e1385:1663 / 4030g77s497Search W / g77a5700g68s441ⅢTrue

SUPPORTED · wikipedia.global-search,距离 2;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

实际动作完整属性、GUI标识与原件索引
{
  "app": "wikipedia",
  "rep": "Rep1",
  "transition_id": "g77e1384:1662",
  "order": 1659,
  "native_transition_order": 1661,
  "step": 1676,
  "monotonic_ns": 1616897253497799,
  "version": 77,
  "input_version": 77,
  "state": "g77s496",
  "target_state": "g77s497",
  "model_action": "g77a5688",
  "input_model_action": "g77a5688",
  "input_id": "input-8922",
  "action_type": "MODEL_CLICK",
  "identity_digest": "4d11c4b271d05a76908e28a5cab25e2ebbc37b1448b46a7575dca257178ea663",
  "related_id": "wikipedia-Rep1-r5e4f2a2319d726",
  "local_id": "wikipedia-Rep1-l46131960b33a54",
  "resource_id": "org.wikipedia:id/search_container",
  "text": "",
  "content_desc": "",
  "class": "androidx.cardview.widget.CardView",
  "bounds": [
    42,
    312,
    1038,
    438
  ],
  "node_path": "0-1-0-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": 2082,
  "target_gui_id": 2083,
  "source_gui_timestamp": 1675,
  "target_gui_timestamp": 1676,
  "final_exact": true,
  "edge_id": "g77e1384",
  "new_state": true,
  "new_model_action": true,
  "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": 4028,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-8923.json",
  "receipt_path": "jev-receipts/transition-g77e1384-1662.json",
  "planned_input_text": null,
  "input_sha256": "787f63c8a77d8081e61dc709a3a0633c98b4fc9d72dc97d6a804a2454bc45b3b",
  "receipt_sha256": "1671afd3749f3ac5d6ae7cee40701b8f82d9d34ef3baaad6fec750e546c16de7",
  "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=\"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']"
}

真实多次路径叠加

蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。

G g36s187 g36s187 PageActivity g62s343 g62s343 SearchActivity g36s187->g62s343 Search W ×1 g68s440 g68s440 SearchActivity g36s187->g68s440 Search W ×1 g62s343->g68s440 SIMPLIFI ×1 g68s440->g68s440 Search W ×1 g68s441 g68s441 SearchActivity g68s440->g68s441 Search W ×1 g68s440->g68s441 User: ×1 g68s441->g68s441 g83e1640 g68s441->g68s441 g69e1259 g68s441->g68s441 g69e1258 g68s441->g68s441 g77e1386 g68s441->g68s441 g83e1641 g68s441->g68s441 g77e1387 g68s442 g68s442 SearchActivity g68s441->g68s442 g68e1151 g83s568 g83s568 SearchActivity g68s441->g83s568 g83e1637 g68s442->g68s442 g68e1152 g68s444 g68s444 PageActivity g68s442->g68s444 g68e1153 g77s496 g77s496 MainActivity g77s497 g77s497 SearchActivity g77s496->g77s497 search_container ×1 g77s497->g68s441 Search W ×1 g83s568->g68s441 g83e1638 g83s568->g68s441 g83e1639

Dominator子树

支配树边是结构关系,并非GUI执行边。

G g68s441 g68s441 SearchActivity g68s442 g68s442 SearchActivity g68s441->g68s442 idom g83s568 g83s568 SearchActivity g68s441->g83s568 idom g68s444 g68s444 PageActivity g68s442->g68s444 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g83e1648g83s567 → g68s441g83a6564external1
g83e1640g68s441 → g68s441g68a5125self_loop1
g83e1638g83s568 → g68s441g83a6584internal_return1
g83e1639g83s568 → g68s441g83a6582internal_return1
g83e1636g83s567 → g68s441g83a6562external2
g69e1259g68s441 → g68s441g68a5119self_loop1
g69e1258g68s441 → g68s441g68a5126self_loop1
g68e1150g68s440 → g68s441g68a5104external2
g77e1385g77s497 → g68s441g77a5700external1
g69e1257g68s440 → g68s441g68a5106external1
g77e1386g68s441 → g68s441g68a5122self_loop2
g83e1641g68s441 → g68s441g68a5120self_loop1
g77e1387g68s441 → g68s441g68a5123self_loop1

相关功能组的全部具体入口成员

组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。

功能Source / ModelAction控件 / text / desc确认次数观察Target
wikipedia.global-searchg3s24 / g3a244org.wikipedia:id/page_toolbar_button_search / Search W / 2{'g33s149': 2}
wikipedia.global-searchg0s0 / g0a2org.wikipedia:id/nav_tab_search / / Search1{'g35s174': 1}
wikipedia.global-searchg38s203 / g38a2358org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g38s204': 1, 'g38s205': 1, 'g41s212': 2}
wikipedia.global-searchg44s222 / g44a2577org.wikipedia:id/search_container / / 1{'g41s212': 1}
wikipedia.global-searchg52s273 / g52a3099org.wikipedia:id/search_container / / 1{'g38s205': 1}
wikipedia.global-searchg3s18 / g3a188org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g41s212': 1}
wikipedia.global-searchg3s20 / g3a207org.wikipedia:id/page_toolbar_button_search / Search W / 3{'g41s212': 1, 'g68s440': 1, 'g34s156': 1}
wikipedia.global-searchg4s37 / g4a371org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g41s212': 1}
wikipedia.global-searchg54s294 / g54a3352org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g54s294': 1}
wikipedia.global-searchg36s187 / g36a2151org.wikipedia:id/page_toolbar_button_search / Search W / 4{'g38s204': 1, 'g41s212': 1, 'g68s440': 1, 'g62s343': 1}
wikipedia.global-searchg46s243 / g46a2794org.wikipedia:id/nav_tab_search / / Search1{'g57s310': 1}
wikipedia.global-searchg63s370 / g63a4298org.wikipedia:id/nav_tab_search / / Search1{'g57s310': 1}
wikipedia.global-searchg35s178 / g35a2053org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g62s344': 1}
wikipedia.global-searchg68s438 / g68a5093org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g62s343': 1}
wikipedia.global-searchg52s278 / g52a3147org.wikipedia:id/nav_tab_search / / Search1{'g69s447': 1}
wikipedia.global-searchg69s450 / g69a5224org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g3s20': 1}
wikipedia.global-searchg54s292 / g54a3316org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g54s292': 1}
wikipedia.global-searchg77s496 / g77a5688org.wikipedia:id/search_container / / 1{'g77s497': 1}
wikipedia.global-searchg52s273 / g52a3096org.wikipedia:id/nav_tab_search / / Search1{'g69s447': 1}
wikipedia.global-searchg34s156 / g34a1779org.wikipedia:id/page_toolbar_button_search / Search W / 1{'g34s156': 1}