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

activitydiary / Rep1 / g17s53

对照:共享颜色组件 Singleton

de.rampro.activitydiary.ui.generic.EditActivity;Region 1 State(含Header);170次全部精确到达,其中区外39次。

Source GUI / 回溯动作

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

Target GUI / 观察结果

Target GUI / 观察结果真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA c08dec1d747180b3217e21ac9e971419a290cc885166c8038bac7cea5f2116b4

Dominator Header GUI

Dominator Header GUI真实归档截图
同 State 历史代表图,非当次执行截图;bounds 仅为投影,不认证精确对齐
alignment: unverified_state_representative
原图 SHA f22ad775aa46650aab337e2f1ccf87f81df049716769c83f2d1ea2ecf7dad02c

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g36e510:649 / 1662g27s83de.rampro.activitydiary:id/select_card_view / g27a1018g27s83UNKNOWNFalse
g36e511:650 / 1664g27s83de.rampro.activitydiary:id/select_card_view / g27a1017g21s63UNKNOWNFalse
g21e112:651 / 1667g21s63de.rampro.activitydiary:id/edit_activity_color / g21a751g17s53ⅡTrue
实际动作完整属性、GUI标识与原件索引
{
  "app": "activitydiary",
  "rep": "Rep1",
  "transition_id": "g36e510:649",
  "order": 648,
  "native_transition_order": 648,
  "step": 655,
  "monotonic_ns": 1590100274511313,
  "version": 36,
  "input_version": 36,
  "state": "g27s83",
  "target_state": "g27s83",
  "model_action": "g27a1018",
  "input_model_action": "g27a1018",
  "input_id": "input-3553",
  "action_type": "MODEL_CLICK",
  "identity_digest": "1cc38e396d646e6a5a85939f9ed65b257fbd813d479a4916001d32a4d799b334",
  "related_id": "activitydiary-Rep1-r27f53877b89920",
  "local_id": "activitydiary-Rep1-le79aaaf9ecb5f7",
  "resource_id": "de.rampro.activitydiary:id/select_card_view",
  "text": "",
  "content_desc": "",
  "class": "android.widget.FrameLayout",
  "bounds": [
    0,
    1026,
    303,
    1244
  ],
  "node_path": "0-5-0-0-3-1",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "resolved_target_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "target_activity_evidence": "next_input_same_GUI_timestamp_State_version",
  "source_gui_id": 762,
  "target_gui_id": 763,
  "source_gui_timestamp": 654,
  "target_gui_timestamp": 655,
  "final_exact": false,
  "edge_id": null,
  "new_state": false,
  "new_model_action": false,
  "self_loop": true,
  "gui_unchanged": false,
  "label": {
    "category": "UNKNOWN",
    "function": null,
    "reason": "现有属性、局部上下文与观察结果不足以判断;不按 resource ID/形式直接合并",
    "human_confirmed": false,
    "label_origin": "study2_inherited_exploratory"
  },
  "event_line": 1662,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-3554.json",
  "receipt_path": "jev-receipts/transition-g36e510-649.json",
  "planned_input_text": null,
  "input_sha256": "708456321731b8ffb17f1d0f7dfaf4ae5187ec1c0d3903dbb11125adc1a4ad81",
  "receipt_sha256": "6f58292b4b1f04f73266987b94e9454b43f83c8391a065523ac55c71f5e28233",
  "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=\"de.rampro.activitydiary:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/content_fragment\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.view.ViewGroup\"][@resource-id=\"de.rampro.activitydiary:id/main_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.recyclerview.widget.RecyclerView\"][@resource-id=\"de.rampro.activitydiary:id/select_recycler\"][@text=\"\"][@content-desc=\"\"][@index=3][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"de.rampro.activitydiary:id/select_card_view\"][@text=\"\"][@content-desc=\"\"][@index=1][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='true'][@scrollable='false']"
}

真实多次路径叠加

蓝色执行边来自分别连续的实际历史;整张叠加图不等于某一次执行。灰虚线仅为拓扑。

G g14s39 g14s39 ManageActivity g21s63 g21s63 EditActivity g14s39->g21s63 activity_background ×1 g15s42 g15s42 ManageActivity g15s42->g21s63 activity_background ×1 g17s53 g17s53 EditActivity g17s53->g17s53 g49e835 g17s53->g17s53 g17e107 g17s53->g17s53 g46e831 g17s53->g17s53 g17e109 g17s53->g21s63 SELECT ×2 g18s58 g18s58 ManageActivity g18s58->g21s63 activity_background ×1 g1s1 g1s1 MainActivity g1s1->g21s63 activity_background ×3 g1s1->g21s63 select_card_view ×3 g24s69 g24s69 EditActivity g1s1->g24s69 Add Activity ×1 g1s1->g24s69 activity_background ×1 g1s3 g1s3 MainActivity g1s3->g21s63 select_card_view ×1 g1s3->g21s63 activity_background ×1 g21s63->g17s53 edit_activity_color ×21 g21s63->g21s63 Activity ×7 g21s63->g21s63 12 Novem ×9 g24s69->g17s53 edit_activity_color ×1 g24s70 g24s70 EditActivity g24s69->g24s70 Activity ×1 g24s70->g17s53 edit_activity_color ×1 g24s70->g24s70 Activity ×1 g24s70->g24s70 Save ×1 g27s77 g27s77 MainActivity g27s77->g21s63 Add Activity ×1 g27s81 g27s81 MainActivity g27s81->g21s63 activity_background ×1 g27s83 g27s83 historical / unknown g27s83->g21s63 Add Activity ×1 g29s93 g29s93 MainActivity g29s93->g21s63 Add Activity ×1 g2s11 g2s11 MainActivity g2s11->g21s63 Add Acti ×1 g47s168 g47s168 EditActivity g47s168->g17s53 edit_activity_color ×1 g47s169 g47s169 EditActivity g47s168->g47s169 Activity ×1 g47s169->g17s53 edit_activity_color ×1 g49s179 g49s179 MainActivity g49s179->g21s63 Add Activity ×1 g49s179->g21s63 select_card_view ×1 g49s187 g49s187 MainActivity g49s187->g47s168 select_card_view ×1 g8s25 g8s25 MainActivity g8s25->g21s63 select_card_view ×1 g8s25->g47s168 select_card_view ×1

Dominator子树

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

G g17s53 g17s53 EditActivity

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g49e835g17s53 → g17s53g17a651self_loop3
g21e112g21s63 → g17s53g21a751external35
g37e556g24s69 → g17s53g24a809external1
g48e826g24s70 → g17s53g24a818external1
g49e920g47s169 → g17s53g47a2165external1
g17e107g17s53 → g17s53g17a650self_loop46
g29e238g29s91 → g17s53g29a1111external0
g47e900g47s168 → g17s53g47a2156external1
g46e831g17s53 → g17s53g17a652self_loop37
g17e109g17s53 → g17s53g17a649self_loop45

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
activitydiary.add-activityg1s1 / g1a25de.rampro.activitydiary:id/action_add_activity / / Add Activity10{'g1s2': 2, 'g21s63': 1, 'g24s69': 7}
activitydiary.add-activityg1s3 / g1a57de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g1s7': 2}
activitydiary.add-activityg8s25 / g8a299de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g1s7': 2}
activitydiary.add-activityg15s42 / g15a575de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g17s54': 1}
activitydiary.add-activityg23s68 / g23a795de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g17s54': 1}
activitydiary.add-activityg2s11 / g2a157de.rampro.activitydiary:id/action_add_activity / / Add Activity4{'g24s69': 1, 'g29s91': 1, 'g21s63': 2}
activitydiary.add-activityg27s76 / g27a930de.rampro.activitydiary:id/action_add_activity / / Add Activity3{'g24s69': 1, 'g21s63': 2}
activitydiary.add-activityg27s77 / g27a947de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g24s69': 1, 'g21s63': 1}
activitydiary.add-activityg27s83 / g27a1004de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g24s69': 1, 'g21s63': 1}
activitydiary.add-activityg28s89 / g28a1071de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.add-activityg28s90 / g28a1089de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg2s11 / g2a163de.rampro.activitydiary:id/design_menu_item_text / Add Acti / 3{'g21s63': 3}
activitydiary.add-activityg26s73 / g26a863de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg27s75 / g27a908de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.add-activityg35s117 / g35a1495de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg27s79 / g27a963de.rampro.activitydiary:id/action_add_activity / / Add Activity4{'g21s63': 3, 'g24s69': 1}
activitydiary.add-activityg36s120 / g36a1531de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg1s9 / g1a125de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g29s91': 1}
activitydiary.add-activityg37s124 / g37a1611de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g24s69': 2}
activitydiary.add-activityg29s93 / g29a1125de.rampro.activitydiary:id/action_add_activity / / Add Activity3{'g21s63': 2, 'g24s69': 1}
activitydiary.add-activityg46s166 / g46a2123de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg27s81 / g27a982de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g21s63': 2}
activitydiary.add-activityg49s179 / g49a2282de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg27s80 / g27a972de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg37s123 / g37a1585de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g21s63': 1}
activitydiary.add-activityg37s122 / g37a1567de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.add-activityg49s185 / g49a2421de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.add-activityg50s196 / g50a2602de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.add-activityg48s171 / g48a2202de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g24s69': 1}
activitydiary.edit-existing-activityg1s9 / g1a137de.rampro.activitydiary:id/select_card_view / / 1{'g1s2': 1}
activitydiary.edit-existing-activityg14s38 / g14a541de.rampro.activitydiary:id/activity_background / / 1{'g12s35': 1}
activitydiary.edit-existing-activityg14s39 / g14a545de.rampro.activitydiary:id/activity_name / Cinema / 1{'g12s34': 1}
activitydiary.edit-existing-activityg15s42 / g15a580de.rampro.activitydiary:id/activity_name / Relaxing / 1{'g16s47': 1}
activitydiary.edit-existing-activityg15s42 / g15a591de.rampro.activitydiary:id/activity_background / / 1{'g17s55': 1}
activitydiary.edit-existing-activityg20s62 / g20a744de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg22s66 / g22a782de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s81 / g27a993de.rampro.activitydiary:id/select_card_view / / 2{'g21s63': 2}
activitydiary.edit-existing-activityg27s81 / g27a984de.rampro.activitydiary:id/activity_background / / 2{'g21s63': 2}
activitydiary.edit-existing-activityg27s76 / g27a933de.rampro.activitydiary:id/activity_background / / 2{'g21s63': 2}
activitydiary.edit-existing-activityg28s87 / g28a1059de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg8s25 / g8a310de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s3 / g1a60de.rampro.activitydiary:id/activity_background / / 2{'g24s69': 1, 'g21s63': 1}
activitydiary.edit-existing-activityg29s93 / g29a1128de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s76 / g27a942de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s76 / g27a942de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a28de.rampro.activitydiary:id/activity_background / / 9{'g21s63': 6, 'g24s69': 3}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s79 / g27a966de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 2{'g21s63': 2}
activitydiary.edit-existing-activityg1s9 / g1a128de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s79 / g27a966de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s3 / g1a69de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s3 / g1a69de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg27s76 / g27a942de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s39 / g14a555de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg15s42 / g15a588de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a704de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a694de.rampro.activitydiary:id/activity_name / Sleeping / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a692de.rampro.activitydiary:id/activity_name / Cooking / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a698de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a703de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg18s58 / g18a702de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a536de.rampro.activitydiary:id/activity_name / Relaxing / 1{'g24s69': 1}
activitydiary.edit-existing-activityg14s39 / g14a553de.rampro.activitydiary:id/activity_name / Woodwork / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s39 / g14a551de.rampro.activitydiary:id/activity_name / Sleeping / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s39 / g14a548de.rampro.activitydiary:id/activity_name / Gardenin / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a532de.rampro.activitydiary:id/activity_name / Cleaning / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a539de.rampro.activitydiary:id/activity_name / Woodwork / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a531de.rampro.activitydiary:id/activity_name / Cinema / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a535de.rampro.activitydiary:id/activity_name / Officewo / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a538de.rampro.activitydiary:id/activity_name / Swimming / 1{'g21s63': 1}
activitydiary.edit-existing-activityg14s38 / g14a537de.rampro.activitydiary:id/activity_name / Sleeping / 1{'g21s63': 1}
activitydiary.edit-existing-activityg29s93 / g29a1137de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg8s25 / g8a302de.rampro.activitydiary:id/activity_background / / 2{'g28s85': 1, 'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg1s1 / g1a36de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s179 / g49a2285de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg48s171 / g48a2214de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s179 / g49a2294de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg8s25 / g8a315de.rampro.activitydiary:id/select_card_view / / 1{'g47s168': 1}
activitydiary.edit-existing-activityg37s122 / g37a1582de.rampro.activitydiary:id/select_card_view / / 1{'g47s168': 1}
activitydiary.edit-existing-activityg48s171 / g48a2205de.rampro.activitydiary:id/activity_background / / 1{'g24s69': 1}
activitydiary.edit-existing-activityg8s25 / g8a310de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s185 / g49a2424de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s187 / g49a2485de.rampro.activitydiary:id/select_card_view / / 1{'g47s168': 1}
activitydiary.edit-existing-activityg37s122 / g37a1570de.rampro.activitydiary:id/activity_background / / 1{'g24s69': 1}
activitydiary.edit-existing-activityg37s122 / g37a1579de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s185 / g49a2443de.rampro.activitydiary:id/select_card_view / / 1{'g47s168': 1}
activitydiary.edit-existing-activityg27s79 / g27a966de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg50s195 / g50a2590de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s181 / g49a2339de.rampro.activitydiary:id/select_card_view / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg36s120 / g36a1544de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}
activitydiary.edit-existing-activityg49s178 / g49a2261de.rampro.activitydiary:id/activity_background / / 1{'g21s63': 1}

Add与既有活动编辑的共享后续

共享 15 种Activity-scoped精确控件;不是创建/编辑业务等价证明。

控件resource IDAdd次数Edit次数
Savede.rampro.activitydiary:id/action_edit_done21
Alphabe1de.rampro.activitydiary:id/edit_activity_name11
FFA000de.rampro.activitydiary:id/hexCode22
Selectde.rampro.activitydiary:id/hexCode12
000000de.rampro.activitydiary:id/hexCode12
Selectde.rampro.activitydiary:id/hexCode13
Activityde.rampro.activitydiary:id/edit_activity_name12
Activityde.rampro.activitydiary:id/edit_activity_name84
edit_activity_colorde.rampro.activitydiary:id/edit_activity_color1224
edit_activity_colorde.rampro.activitydiary:id/edit_activity_color22
Rename deleted activity with same name to resolve the conflictde.rampro.activitydiary:id/quickFixButtonRename11
FFA000de.rampro.activitydiary:id/hexCode13
0097A7de.rampro.activitydiary:id/hexCode11
SELECTde.rampro.activitydiary:id/okColorButton824
Activityde.rampro.activitydiary:id/edit_activity_name33