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

omninotes / Rep1 / g10s48

Settings → Data 子页

it.feio.android.omninotes.SettingsActivity；Region 2 State（含Header）；6次全部精确到达，其中区外5次。

交互查看每次到达与全部来源本案例完整数据原始输入／回执／GUI摘包与所有表格

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g13e423:660 / 1669g13s102Pārvietoties uz augšu / g13a968g0s2UNKNOWNTrue
g2e6:661 / 1672g0s2Iestatīj / g0a16g2s5ⅠTrue
g13e424:662 / 1675g2s5MODEL_CLICK / g2a53g10s48UNKNOWNTrue

SUPPORTED · omninotes.settings，距离 2；continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

实际动作完整属性、GUI标识与原件索引
{
  "app": "omninotes",
  "rep": "Rep1",
  "transition_id": "g2e6:661",
  "order": 660,
  "native_transition_order": 660,
  "step": 676,
  "monotonic_ns": 1590125199355707,
  "version": 13,
  "input_version": 13,
  "state": "g0s2",
  "target_state": "g2s5",
  "model_action": "g0a16",
  "input_model_action": "g0a16",
  "input_id": "input-3642",
  "action_type": "MODEL_CLICK",
  "identity_digest": "bd2b1aee9fe46872851dd2116bdf4a76502f0a0f21ef2a36fb5c67f55d9dbb54",
  "related_id": "omninotes-Rep1-r4e2b63c4758bb8",
  "local_id": "omninotes-Rep1-l4aaee8c4ffc150",
  "resource_id": "it.feio.android.omninotes:id/settings",
  "text": "Iestatīj",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    116,
    603,
    798,
    729
  ],
  "node_path": "0-0-0-2-2",
  "source_activity": "it.feio.android.omninotes.MainActivity",
  "resolved_target_activity": "it.feio.android.omninotes.SettingsActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 776,
  "target_gui_id": 777,
  "source_gui_timestamp": 675,
  "target_gui_timestamp": 676,
  "final_exact": true,
  "edge_id": "g2e6",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "Ⅰ",
    "function": "omninotes.settings",
    "reason": "具名功能/操作入口，输入标签、页面上下文和观察到的 GUI/目标共同支持；当前笔记作为业务对象，不与值调整合并",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 1672,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-3643.json",
  "receipt_path": "jev-receipts/transition-g2e6-661.json",
  "planned_input_text": null,
  "input_sha256": "ecdd16471150a5586f9a780f6fa626d4c29d9dd7c6fc1a7146df2e37c151a8d7",
  "receipt_sha256": "60c99f25d48fbbebf6930c6f8baa035630e7d58aaa7462aaaad27a447788a80b",
  "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=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"it.feio.android.omninotes:id/navigation_drawer\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.LinearLayout\"][@resource-id=\"it.feio.android.omninotes:id/settings_view\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"it.feio.android.omninotes:id/settings\"][@text=\"Iestatīj\"][@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 g0s2 g0s2 MainActivity g2s5 g2s5 SettingsActivity g0s2->g2s5 Iestatīj ×1 g10s48 g10s48 SettingsActivity g10s49 g10s49 SettingsActivity g10s48->g10s49 g10e114 g10s49->g10s48 g10e116 g10s49->g10s49 g10e115 g2s5->g10s48 MODEL_CLICK ×1

Dominator子树

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

G g10s48 g10s48 SettingsActivity g10s49 g10s49 SettingsActivity g10s48->g10s49 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g13e424g2s5 → g10s48g2a53external1
g13e409g2s5 → g10s48g2a46external2
g10e116g10s49 → g10s48g10a402internal_return1
g10e119g10s38 → g10s48g10a313external1
g10e113g10s38 → g10s48g10a312external1

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
omninotes.settingsg0s2 / g0a16it.feio.android.omninotes:id/settings / Settings / 2{'g2s5': 2}
omninotes.settingsg0s2 / g0a16it.feio.android.omninotes:id/settings / إعدادات / 1{'g2s5': 1}
omninotes.settingsg0s2 / g0a16it.feio.android.omninotes:id/settings / အပြင်အဆင / 2{'g10s38': 2}
omninotes.settingsg0s2 / g0a16it.feio.android.omninotes:id/settings / Iestatīj / 7{'g2s5': 7}