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

wikipedia / Rep1 / g42s213

Search 开启先于语言/namespace 操作

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

Target GUI / 观察结果真实归档截图
同 GUI ID/timestamp 审计截图;对齐仍按原件标记
alignment: unverified
原图 SHA 99d8ae459c6ebd5ad5fc5793fcbb2140a0d7e3874e6388e01f315a2b33bbfe88

Dominator Header GUI

Dominator Header GUI真实归档截图
同 GUI ID/timestamp 审计截图;对齐仍按原件标记
alignment: unverified
原图 SHA c4636ed46d116d1dd005ad209b676290f882a80920aa97fc207723a7c5aec2a0

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g53e585:695 / 1652g48s249MODEL_CLICK / g48a2853g3s18UNKNOWNFalse
g53e586:696 / 1654g3s18Search W / g3a188g41s212ⅠTrue
g53e587:697 / 1656g41s212: / g41a2512g42s213UNKNOWNTrue

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']"
}

真实多次路径叠加

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

G g36s187 g36s187 PageActivity g38s204 g38s204 SearchActivity g36s187->g38s204 Search W ×1 g41s212 g41s212 SearchActivity g36s187->g41s212 Search W ×1 g42s213 g42s213 SearchActivity g38s204->g42s213 Search W ×1 g3s18 g3s18 PageActivity g3s18->g41s212 Search W ×1 g40s209 g40s209 SearchActivity g41s211 g41s211 SearchActivity g40s209->g41s211 g41e381 g41s211->g41s211 g41e382 g41s212->g41s212 MODEL_CLICK ×1 g41s212->g42s213 : ×2 g53s284 g53s284 SearchActivity g41s212->g53s284 MODEL_BACK ×1 g42s213->g40s209 g42e391 g42s213->g42s213 g42e390 g55s301 g55s301 SearchActivity g42s213->g55s301 g55e658 g4s37 g4s37 PageActivity g4s37->g41s212 Search W ×1 g53s284->g42s213 -35 byte ×1

Dominator子树

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

G g40s209 g40s209 SearchActivity g41s211 g41s211 SearchActivity g40s209->g41s211 idom g42s213 g42s213 SearchActivity g42s213->g40s209 idom g55s301 g55s301 SearchActivity g42s213->g55s301 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g55e653g55s300 → g42s213g55a3412external0
g55e657g53s284 → g42s213g53a3224external1
g42e389g38s205 → g42s213g38a2378external0
g42e390g42s213 → g42s213g42a2518self_loop0
g53e587g41s212 → g42s213g41a2512external2
g54e651g38s204 → g42s213g38a2369external1

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

组成员不是仅凭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}