公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 SHA 只认证原件,公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联,未经人工金标或独立外部审查;代表图不认证当次触摸对齐。
activitydiary / Rep1 / g2s11
失败:退出编辑后到抽屉,不归属 Add
de.rampro.activitydiary.ui.main.MainActivity;Region 23 State(含Header);91次全部精确到达,其中区外90次。
交互查看每次到达与全部来源本案例完整数据原始输入/回执/GUI摘包与所有表格
Source GUI / 回溯动作
alignment: unverified_state_representative
原图 SHA a5efd13d291d289db6445318210c6159680a0b157039b8afab0f1136a0d26ae3
Target GUI / 观察结果
alignment: unverified_state_representative
原图 SHA a53c2fff1695aa6164415dff0edcc66dc15742e06f33ce5b3115c79b5554fff9
Dominator Header GUI
alignment: unverified_state_representative
原图 SHA a53c2fff1695aa6164415dff0edcc66dc15742e06f33ce5b3115c79b5554fff9
一条真实连续历史
以下按确认事件顺序展示。全部到达可在交互页逐次选择;不从拓扑逆向拼造历史。
| 事件 / 行号 | Source | 实际Action / ModelAction | Target | 角色 | 收尾映射 |
|---|---|---|---|---|---|
| g2e45:61 / 147 | g1s3 | Open navigation / g1a56 | g2s11 | UNKNOWN | True |
实际动作完整属性、GUI标识与原件索引
{
"app": "activitydiary",
"rep": "Rep1",
"transition_id": "g2e45:61",
"order": 60,
"native_transition_order": 60,
"step": 62,
"monotonic_ns": 1589274777663651,
"version": 2,
"input_version": 1,
"state": "g1s3",
"target_state": "g2s11",
"model_action": "g1a56",
"input_model_action": "g1a56",
"input_id": "input-337",
"action_type": "MODEL_CLICK",
"identity_digest": "7f25bc0ac4673e3e28e30da3abe8a163a168009c54c9554da2946d4bd4f0be0e",
"related_id": "activitydiary-Rep1-r943e30b5cdda9e",
"local_id": "activitydiary-Rep1-l5e14ab5d641f5c",
"resource_id": "",
"text": "#8690306c",
"content_desc": "Open navigation",
"class": "android.widget.ImageButton",
"bounds": [
0,
136,
147,
283
],
"node_path": "0-0",
"source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
"resolved_target_activity": "de.rampro.activitydiary.ui.main.MainActivity",
"target_activity_evidence": "archived_GUI_or_final_exact_edge",
"source_gui_id": 66,
"target_gui_id": 71,
"source_gui_timestamp": 61,
"target_gui_timestamp": 62,
"final_exact": true,
"edge_id": "g2e45",
"new_state": false,
"new_model_action": false,
"self_loop": false,
"gui_unchanged": false,
"label": {
"category": "UNKNOWN",
"function": null,
"reason": "现有属性、局部上下文与观察结果不足以判断;不按 resource ID/形式直接合并",
"human_confirmed": false,
"label_origin": "study2_inherited_exploratory"
},
"event_line": 147,
"event_path": "jev-events.jsonl",
"input_path": "jev-audit/inputs/generated-338.json",
"receipt_path": "jev-receipts/transition-g2e45-61.json",
"planned_input_text": null,
"input_sha256": "bf305dca33a674adcbdb15024c96321ccb1a213e3dc0c4b22e125c564718a911",
"receipt_sha256": "642c6b63615f9970d15ac07dd1918d33a557e8cd9b6d74ae4fc369e893205bcb",
"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=\"android.widget.ImageButton\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"Open navigation\"][@index=0][@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 | 关系 | 精确执行次数 |
|---|---|---|---|---|
| g28e194 | g27s77 → g2s11 | g27a951 | external | 2 |
| g49e859 | g49s180 → g2s11 | g49a2304 | external | 1 |
| g49e847 | g49s179 → g2s11 | g49a2281 | external | 1 |
| g27e135 | g27s76 → g2s11 | g27a929 | external | 6 |
| g49e886 | g49s178 → g2s11 | g49a2257 | external | 1 |
| g49e821 | g49s176 → g2s11 | g49a2242 | internal_return | 1 |
| g49e913 | g46s166 → g2s11 | g46a2122 | external | 1 |
| g48e810 | g48s171 → g2s11 | g48a2201 | external | 4 |
| g49e914 | g21s63 → g2s11 | g21a752 | external | 1 |
| g37e531 | g37s122 → g2s11 | g37a1566 | external | 15 |
| g27e137 | g24s69 → g2s11 | g24a806 | external | 1 |
| g36e539 | g8s25 → g2s11 | g8a298 | external | 1 |
| g29e358 | g1s1 → g2s11 | g1a24 | external | 47 |
| g49e819 | g29s93 → g2s11 | g29a1124 | external | 2 |
| g2e45 | g1s3 → g2s11 | g1a56 | external | 4 |
| g50e993 | g49s185 → g2s11 | g49a2420 | external | 1 |
| g36e541 | g29s91 → g2s11 | g29a1115 | external | 1 |
| g49e864 | g49s181 → g2s11 | g49a2328 | external | 1 |
相关功能组的全部具体入口成员
组成员不是仅凭resource ID或Target合并;与此Header是否有关联仍需逐次历史支持。
| 功能 | Source / ModelAction | 控件 / text / desc | 确认次数 | 观察Target |
|---|---|---|---|---|
| activitydiary.add-activity | g1s1 / g1a25 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 10 | {'g1s2': 2, 'g21s63': 1, 'g24s69': 7} |
| activitydiary.add-activity | g1s3 / g1a57 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g1s7': 2} |
| activitydiary.add-activity | g8s25 / g8a299 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g1s7': 2} |
| activitydiary.add-activity | g15s42 / g15a575 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g17s54': 1} |
| activitydiary.add-activity | g23s68 / g23a795 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g17s54': 1} |
| activitydiary.add-activity | g2s11 / g2a157 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 4 | {'g24s69': 1, 'g29s91': 1, 'g21s63': 2} |
| activitydiary.add-activity | g27s76 / g27a930 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 3 | {'g24s69': 1, 'g21s63': 2} |
| activitydiary.add-activity | g27s77 / g27a947 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g24s69': 1, 'g21s63': 1} |
| activitydiary.add-activity | g27s83 / g27a1004 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g24s69': 1, 'g21s63': 1} |
| activitydiary.add-activity | g28s89 / g28a1071 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.add-activity | g28s90 / g28a1089 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g2s11 / g2a163 | de.rampro.activitydiary:id/design_menu_item_text / Add Acti / | 3 | {'g21s63': 3} |
| activitydiary.add-activity | g26s73 / g26a863 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g27s75 / g27a908 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.add-activity | g35s117 / g35a1495 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g27s79 / g27a963 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 4 | {'g21s63': 3, 'g24s69': 1} |
| activitydiary.add-activity | g36s120 / g36a1531 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g1s9 / g1a125 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g29s91': 1} |
| activitydiary.add-activity | g37s124 / g37a1611 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g24s69': 2} |
| activitydiary.add-activity | g29s93 / g29a1125 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 3 | {'g21s63': 2, 'g24s69': 1} |
| activitydiary.add-activity | g46s166 / g46a2123 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g27s81 / g27a982 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 2 | {'g21s63': 2} |
| activitydiary.add-activity | g49s179 / g49a2282 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g27s80 / g27a972 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g37s123 / g37a1585 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g21s63': 1} |
| activitydiary.add-activity | g37s122 / g37a1567 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.add-activity | g49s185 / g49a2421 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.add-activity | g50s196 / g50a2602 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.add-activity | g48s171 / g48a2202 | de.rampro.activitydiary:id/action_add_activity / / Add Activity | 1 | {'g24s69': 1} |
| activitydiary.edit-existing-activity | g1s9 / g1a137 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g1s2': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a541 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g12s35': 1} |
| activitydiary.edit-existing-activity | g14s39 / g14a545 | de.rampro.activitydiary:id/activity_name / Cinema / | 1 | {'g12s34': 1} |
| activitydiary.edit-existing-activity | g15s42 / g15a580 | de.rampro.activitydiary:id/activity_name / Relaxing / | 1 | {'g16s47': 1} |
| activitydiary.edit-existing-activity | g15s42 / g15a591 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g17s55': 1} |
| activitydiary.edit-existing-activity | g20s62 / g20a744 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g22s66 / g22a782 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s81 / g27a993 | de.rampro.activitydiary:id/select_card_view / / | 2 | {'g21s63': 2} |
| activitydiary.edit-existing-activity | g27s81 / g27a984 | de.rampro.activitydiary:id/activity_background / / | 2 | {'g21s63': 2} |
| activitydiary.edit-existing-activity | g27s76 / g27a933 | de.rampro.activitydiary:id/activity_background / / | 2 | {'g21s63': 2} |
| activitydiary.edit-existing-activity | g28s87 / g28a1059 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g8s25 / g8a310 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s3 / g1a60 | de.rampro.activitydiary:id/activity_background / / | 2 | {'g24s69': 1, 'g21s63': 1} |
| activitydiary.edit-existing-activity | g29s93 / g29a1128 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s76 / g27a942 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s76 / g27a942 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a28 | de.rampro.activitydiary:id/activity_background / / | 9 | {'g21s63': 6, 'g24s69': 3} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s79 / g27a966 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 2 | {'g21s63': 2} |
| activitydiary.edit-existing-activity | g1s9 / g1a128 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s79 / g27a966 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s3 / g1a69 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s3 / g1a69 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g27s76 / g27a942 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s39 / g14a555 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g15s42 / g15a588 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a704 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a694 | de.rampro.activitydiary:id/activity_name / Sleeping / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a692 | de.rampro.activitydiary:id/activity_name / Cooking / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a698 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a703 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g18s58 / g18a702 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a536 | de.rampro.activitydiary:id/activity_name / Relaxing / | 1 | {'g24s69': 1} |
| activitydiary.edit-existing-activity | g14s39 / g14a553 | de.rampro.activitydiary:id/activity_name / Woodwork / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s39 / g14a551 | de.rampro.activitydiary:id/activity_name / Sleeping / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s39 / g14a548 | de.rampro.activitydiary:id/activity_name / Gardenin / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a532 | de.rampro.activitydiary:id/activity_name / Cleaning / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a539 | de.rampro.activitydiary:id/activity_name / Woodwork / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a531 | de.rampro.activitydiary:id/activity_name / Cinema / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a535 | de.rampro.activitydiary:id/activity_name / Officewo / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a538 | de.rampro.activitydiary:id/activity_name / Swimming / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g14s38 / g14a537 | de.rampro.activitydiary:id/activity_name / Sleeping / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g29s93 / g29a1137 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g8s25 / g8a302 | de.rampro.activitydiary:id/activity_background / / | 2 | {'g28s85': 1, 'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g1s1 / g1a36 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s179 / g49a2285 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g48s171 / g48a2214 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s179 / g49a2294 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g8s25 / g8a315 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g47s168': 1} |
| activitydiary.edit-existing-activity | g37s122 / g37a1582 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g47s168': 1} |
| activitydiary.edit-existing-activity | g48s171 / g48a2205 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g24s69': 1} |
| activitydiary.edit-existing-activity | g8s25 / g8a310 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s185 / g49a2424 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s187 / g49a2485 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g47s168': 1} |
| activitydiary.edit-existing-activity | g37s122 / g37a1570 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g24s69': 1} |
| activitydiary.edit-existing-activity | g37s122 / g37a1579 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s185 / g49a2443 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g47s168': 1} |
| activitydiary.edit-existing-activity | g27s79 / g27a966 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g50s195 / g50a2590 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s181 / g49a2339 | de.rampro.activitydiary:id/select_card_view / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g36s120 / g36a1544 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
| activitydiary.edit-existing-activity | g49s178 / g49a2261 | de.rampro.activitydiary:id/activity_background / / | 1 | {'g21s63': 1} |
Add与既有活动编辑的共享后续
共享 15 种Activity-scoped精确控件;不是创建/编辑业务等价证明。
| 控件 | resource ID | Add次数 | Edit次数 |
|---|---|---|---|
| Save | de.rampro.activitydiary:id/action_edit_done | 2 | 1 |
| Alphabe1 | de.rampro.activitydiary:id/edit_activity_name | 1 | 1 |
| FFA000 | de.rampro.activitydiary:id/hexCode | 2 | 2 |
| Select | de.rampro.activitydiary:id/hexCode | 1 | 2 |
| 000000 | de.rampro.activitydiary:id/hexCode | 1 | 2 |
| Select | de.rampro.activitydiary:id/hexCode | 1 | 3 |
| Activity | de.rampro.activitydiary:id/edit_activity_name | 1 | 2 |
| Activity | de.rampro.activitydiary:id/edit_activity_name | 8 | 4 |
| edit_activity_color | de.rampro.activitydiary:id/edit_activity_color | 12 | 24 |
| edit_activity_color | de.rampro.activitydiary:id/edit_activity_color | 2 | 2 |
| Rename deleted activity with same name to resolve the conflict | de.rampro.activitydiary:id/quickFixButtonRename | 1 | 1 |
| FFA000 | de.rampro.activitydiary:id/hexCode | 1 | 3 |
| 0097A7 | de.rampro.activitydiary:id/hexCode | 1 | 1 |
| SELECT | de.rampro.activitydiary:id/okColorButton | 8 | 24 |
| Activity | de.rampro.activitydiary:id/edit_activity_name | 3 | 3 |

