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

omninotes / Rep2 / g9s85

较大 Settings 子树混入 About/Stats

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

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 2e344cba0d17720e7178f756f5b5a1f3c3c5effdc2e524d593adb4e31faddac5

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g9e293:504 / 1211g9s86it.feio.android.omninotes:id/search_cancel / g9a864g8s73ⅡTrue
g8e249:505 / 1214g8s73drawer open / g8a744g8s34UNKNOWNTrue
g9e256:506 / 1216g8s34Settings / g8a277g9s85ⅠTrue

SUPPORTED · omninotes.settings,距离 1;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 g9e294 g6s26->g9s85 g9e251 g8s31 g8s31 SettingsActivity g8s31->g8s31 g8e58 g8s31->g8s31 g8e56 g8s31->g8s31 g8e59 g8s31->g8s31 g8e57 g8s31->g9s85 g9e254 g8s32 g8s32 SettingsActivity g8s33 g8s33 SettingsActivity g8s32->g8s33 g8e62 g8s32->g8s33 g8e247 g8s34 g8s34 MainActivity g8s34->g9s85 Settings ×1 g8s35 g8s35 SettingsActivity g8s35->g8s35 g8e87 g8s35->g8s35 g8e88 g8s35->g9s85 g9e267 g8s36 g8s36 SettingsActivity g8s75->g9s85 g9e276 g8s76 g8s76 StatsActivity g8s76->g9s85 g9e279 g8s79 g8s79 SettingsActivity g8s79->g8s31 g8e300 g8s81 g8s81 StatsActivity g8s81->g8s81 g8e305 g8s81->g8s81 g8e304 g8s81->g9s85 g9e283 g9s85->g6s26 g9e259 g9s85->g6s26 g9e250 g9s85->g8s31 g9e253 g9s85->g8s32 g9e258 g9s85->g8s32 g9e255 g9s85->g8s35 g9e266 g9s85->g8s36 g9e268 g9s85->g8s76 g9e278 g9s85->g8s79 g9e281 g9s85->g8s81 g9e282 g9s85->g9s85 g9e272 g9s85->g9s85 g9e263 g9s85->g9s85 g9e275 g9s85->g9s85 g9e269 g9s85->g9s85 g9e271 g9s85->g9s85 g9e270 g9s85->g9s85 g9e284

Dominator子树

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

G g6s26 g6s26 SettingsActivity g8s75 g8s75 AboutActivity g6s26->g8s75 idom g8s31 g8s31 SettingsActivity g8s32 g8s32 SettingsActivity g8s33 g8s33 SettingsActivity g8s32->g8s33 idom g8s35 g8s35 SettingsActivity g8s36 g8s36 SettingsActivity g8s76 g8s76 StatsActivity g8s79 g8s79 SettingsActivity g8s81 g8s81 StatsActivity g9s85 g9s85 SettingsActivity g9s85->g6s26 idom g9s85->g8s31 idom g9s85->g8s32 idom g9s85->g8s35 idom g9s85->g8s36 idom g9s85->g8s76 idom g9s85->g8s79 idom g9s85->g8s81 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g9e272g9s85 → g9s85g9a854self_loop0
g9e276g8s75 → g9s85g8a766internal_return0
g9e263g9s85 → g9s85g9a851self_loop0
g9e275g9s85 → g9s85g9a852self_loop0
g9e294g6s26 → g9s85g6a212internal_return1
g9e262g6s27 → g9s85g6a213external0
g9e252g6s27 → g9s85g6a217external0
g9e254g8s31 → g9s85g8a254internal_return0
g9e269g9s85 → g9s85g9a853self_loop0
g9e251g6s26 → g9s85g6a209internal_return1
g9e271g9s85 → g9s85g9a856self_loop1
g9e270g9s85 → g9s85g9a855self_loop0
g9e279g8s76 → g9s85g8a768internal_return0
g9e249g4s21 → g9s85g4a149external0
g9e283g8s81 → g9s85g8a815internal_return0
g9e284g9s85 → g9s85g9a850self_loop0
g9e267g8s35 → g9s85g8a281internal_return0
g9e265g3s19 → g9s85g3a133external0
g9e256g8s34 → g9s85g8a277external1

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

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