公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。
omninotes / Rep2 / g9s85
较大 Settings 子树混入 About/Stats
it.feio.android.omninotes.SettingsActivity;Region 11 State(含Header);4次全部精确到达,其中区外1次。
交互查看每次到达与全部来源本案例完整数据原始输入/回执/GUI摘包与所有表格
Source GUI / 回溯动作
alignment: unverified_state_representative
原图 SHA 9065b6938abdb0a1f0be69126122f2b62b14a7c69c0621399c228af4292d9574
Target GUI / 观察结果
alignment: unverified
原图 SHA 2e344cba0d17720e7178f756f5b5a1f3c3c5effdc2e524d593adb4e31faddac5
Dominator Header GUI
alignment: unverified
原图 SHA 2e344cba0d17720e7178f756f5b5a1f3c3c5effdc2e524d593adb4e31faddac5
一条真实连续历史
以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。
| 事件 / 行号 | Source | 实际Action / ModelAction | Target | 角色 | 收尾映射 |
|---|---|---|---|---|---|
| g9e293:504 / 1211 | g9s86 | it.feio.android.omninotes:id/search_cancel / g9a864 | g8s73 | Ⅱ | True |
| g8e249:505 / 1214 | g8s73 | drawer open / g8a744 | g8s34 | UNKNOWN | True |
| g9e256:506 / 1216 | g8s34 | Settings / g8a277 | g9s85 | Ⅰ | 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']"
}真实多次路径叠加
蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。
Dominator子树
支配树边是结构关系,并非GUI执行边。
全部已观察incoming topology
| Edge | Source → Target | ModelAction | 关系 | 精确执行次数 |
|---|---|---|---|---|
| g9e272 | g9s85 → g9s85 | g9a854 | self_loop | 0 |
| g9e276 | g8s75 → g9s85 | g8a766 | internal_return | 0 |
| g9e263 | g9s85 → g9s85 | g9a851 | self_loop | 0 |
| g9e275 | g9s85 → g9s85 | g9a852 | self_loop | 0 |
| g9e294 | g6s26 → g9s85 | g6a212 | internal_return | 1 |
| g9e262 | g6s27 → g9s85 | g6a213 | external | 0 |
| g9e252 | g6s27 → g9s85 | g6a217 | external | 0 |
| g9e254 | g8s31 → g9s85 | g8a254 | internal_return | 0 |
| g9e269 | g9s85 → g9s85 | g9a853 | self_loop | 0 |
| g9e251 | g6s26 → g9s85 | g6a209 | internal_return | 1 |
| g9e271 | g9s85 → g9s85 | g9a856 | self_loop | 1 |
| g9e270 | g9s85 → g9s85 | g9a855 | self_loop | 0 |
| g9e279 | g8s76 → g9s85 | g8a768 | internal_return | 0 |
| g9e249 | g4s21 → g9s85 | g4a149 | external | 0 |
| g9e283 | g8s81 → g9s85 | g8a815 | internal_return | 0 |
| g9e284 | g9s85 → g9s85 | g9a850 | self_loop | 0 |
| g9e267 | g8s35 → g9s85 | g8a281 | internal_return | 0 |
| g9e265 | g3s19 → g9s85 | g3a133 | external | 0 |
| g9e256 | g8s34 → g9s85 | g8a277 | external | 1 |
相关功能组的全部具体入口成员
组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。
| 功能 | Source / ModelAction | 控件 / text / desc | 确认次数 | 观察Target |
|---|---|---|---|---|
| omninotes.settings | g8s34 / g8a277 | it.feio.android.omninotes:id/settings / Settings / | 9 | {'g7s29': 2, 'g6s25': 6, 'g9s85': 1} |

