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

omninotes / Rep1 / g8s20

Settings 在 Header 前两/三步,多语言身份

it.feio.android.omninotes.SettingsActivity;Region 3 State(含Header);20次全部精确到达,其中区外8次。

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 f33104ea5effcccaf1867265cc1e31f8df806e9c917e3589a942d480a3afb400

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g2e6:592 / 1512g0s2Settings / g0a16g2s5ⅠTrue
g13e398:593 / 1515g2s5Online m / g2a52g2s5UNKNOWNTrue
g13e399:594 / 1517g2s5Interfac / g2a47g8s20UNKNOWNTrue

SUPPORTED · omninotes.settings,距离 3;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

实际动作完整属性、GUI标识与原件索引
{
  "app": "omninotes",
  "rep": "Rep1",
  "transition_id": "g2e6:592",
  "order": 591,
  "native_transition_order": 591,
  "step": 607,
  "monotonic_ns": 1590057052255701,
  "version": 13,
  "input_version": 13,
  "state": "g0s2",
  "target_state": "g2s5",
  "model_action": "g0a16",
  "input_model_action": "g0a16",
  "input_id": "input-3285",
  "action_type": "MODEL_CLICK",
  "identity_digest": "a62cf68590cfe2a8dd95b137db10f8d102684ccc08c7c84a45154dadf62a24b8",
  "related_id": "omninotes-Rep1-r16784d3655e1f4",
  "local_id": "omninotes-Rep1-lea22a7f9655347",
  "resource_id": "it.feio.android.omninotes:id/settings",
  "text": "Settings",
  "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": 707,
  "target_gui_id": 708,
  "source_gui_timestamp": 606,
  "target_gui_timestamp": 607,
  "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": 1512,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-3286.json",
  "receipt_path": "jev-receipts/transition-g2e6-592.json",
  "planned_input_text": null,
  "input_sha256": "a1dde12d25c51239f74001a388a501c283c3d1aa82803c023f93964812f5f965",
  "receipt_sha256": "a398d5eb6dea341bbdad6f69803372fc83a8a06b22dcf53a64aaee3cc60a7c9e",
  "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=\"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 g0s2 g0s2 MainActivity g10s38 g10s38 SettingsActivity g0s2->g10s38 အပြင်အဆင ×1 g2s5 g2s5 SettingsActivity g0s2->g2s5 إعدادات ×3 g8s20 g8s20 SettingsActivity g10s38->g8s20 အသွင်အပြ ×1 g2s5->g2s5 Online m ×1 g2s5->g8s20 MODEL_CLICK ×2 g2s5->g8s20 Interfac ×2 g8s20->g2s5 التنقل إلى أعلى ×1 g8s20->g8s20 MODEL_CLICK ×1 g8s20->g8s20 g11e375 g8s20->g8s20 g11e373 g8s20->g8s20 g11e374 g9s22 g9s22 SettingsActivity g8s20->g9s22 g9e40 g9s23 g9s23 SettingsActivity g8s20->g9s23 g9e46 g9s22->g8s20 g11e376 g9s22->g8s20 g11e377 g9s22->g8s20 g11e378 g9s22->g8s20 g9e41 g9s23->g8s20 g9e47 g9s23->g9s23 g9e48 g9s23->g9s23 g13e400

Dominator子树

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

G g8s20 g8s20 SettingsActivity g9s22 g9s22 SettingsActivity g8s20->g9s22 idom g9s23 g9s23 SettingsActivity g8s20->g9s23 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g8e38g2s5 → g8s20g2a54external4
g11e375g8s20 → g8s20g8a144self_loop1
g9e44g8s20 → g8s20g8a145self_loop1
g13e399g2s5 → g8s20g2a47external2
g11e373g8s20 → g8s20g8a146self_loop1
g13e435g13s102 → g8s20g13a981external1
g11e376g9s22 → g8s20g9a157internal_return1
g11e377g9s22 → g8s20g9a158internal_return1
g11e372g10s38 → g8s20g10a314external1
g11e374g8s20 → g8s20g8a148self_loop2
g11e378g9s22 → g8s20g9a159internal_return1
g9e47g9s23 → g8s20g9a161internal_return2
g9e41g9s22 → g8s20g9a156internal_return2

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

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