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

omninotes / Rep2 / g6s26

Settings 的直接入口与子页对照

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

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g8e249:505 / 1214g8s73drawer open / g8a744g8s34UNKNOWNTrue
g9e256:506 / 1216g8s34Settings / g8a277g9s85ⅠTrue
g9e250:507 / 1218g9s85Navigati / g9a856g6s26UNKNOWNTrue

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

实际动作完整属性、GUI标识与原件索引
{
  "app": "omninotes",
  "rep": "Rep2",
  "transition_id": "g9e256:506",
  "order": 505,
  "native_transition_order": 505,
  "step": 513,
  "monotonic_ns": 1613377314189498,
  "version": 9,
  "input_version": 9,
  "state": "g8s34",
  "target_state": "g9s85",
  "model_action": "g8a277",
  "input_model_action": "g8a277",
  "input_id": "input-2786",
  "action_type": "MODEL_CLICK",
  "identity_digest": "a62cf68590cfe2a8dd95b137db10f8d102684ccc08c7c84a45154dadf62a24b8",
  "related_id": "omninotes-Rep2-r16784d3655e1f4",
  "local_id": "omninotes-Rep2-l5445d5a5055f22",
  "resource_id": "it.feio.android.omninotes:id/settings",
  "text": "Settings",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    116,
    452,
    798,
    578
  ],
  "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": 611,
  "target_gui_id": 612,
  "source_gui_timestamp": 512,
  "target_gui_timestamp": 513,
  "final_exact": true,
  "edge_id": "g9e256",
  "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": 1216,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-2787.json",
  "receipt_path": "jev-receipts/transition-g9e256-506.json",
  "planned_input_text": null,
  "input_sha256": "efc8a8a4d0180ac58b40100bfb982ddae230580e31f004ebdb73f5e59957367a",
  "receipt_sha256": "fadf68c1f18a630b50baf0e83c8bbd90740f9c6e4fe5290319aaed73ac0f79f4",
  "source_gui_evidence": [],
  "target_gui_evidence": [
    {
      "sha256": "3ab516ead3e0d4c408c017a4542a801fe9943c8cbae2caa98bda4f98307a7385",
      "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=\"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=\"Settings\"][@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 g6s26 g6s26 SettingsActivity g6s26->g6s26 g8e84 g6s26->g6s26 g6e52 g8s75 g8s75 AboutActivity g6s26->g8s75 g8e277 g9s85 g9s85 SettingsActivity g6s26->g9s85 Navigate up ×1 g8s34 g8s34 MainActivity g8s34->g9s85 Settings ×1 g9s85->g6s26 Navigati ×2

Dominator子树

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

G g6s26 g6s26 SettingsActivity g8s75 g8s75 AboutActivity g6s26->g8s75 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g8e84g6s26 → g6s26g6a211self_loop2
g6e52g6s26 → g6s26g6a210self_loop2
g9e259g9s85 → g6s26g9a851external0
g9e250g9s85 → g6s26g9a856external2

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
omninotes.settingsg8s34 / g8a277it.feio.android.omninotes:id/settings / Settings / 9{'g7s29': 2, 'g6s25': 6, 'g9s85': 1}