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

activitydiary / Rep1 / g24s69

对照:Add 首达新建编辑页 Singleton

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g27e134:174 / 425g27s75de.rampro.activitydiary:id/select_card_view / g27a921g27s76UNKNOWNFalse
g27e135:175 / 427g27s76Open navigation / g27a929g2s11UNKNOWNTrue
g27e136:176 / 429g2s11Add Activity / g2a157g24s69ⅠTrue

SUPPORTED · activitydiary.add-activity,距离 1;continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

实际动作完整属性、GUI标识与原件索引
{
  "app": "activitydiary",
  "rep": "Rep1",
  "transition_id": "g27e136:176",
  "order": 175,
  "native_transition_order": 175,
  "step": 177,
  "monotonic_ns": 1589460348606960,
  "version": 27,
  "input_version": 27,
  "state": "g2s11",
  "target_state": "g24s69",
  "model_action": "g2a157",
  "input_model_action": "g2a157",
  "input_id": "input-950",
  "action_type": "MODEL_CLICK",
  "identity_digest": "3032b3f8b5c6fe710aa30ad011e8d85959a4b152cb51da8ea385763b23099ebf",
  "related_id": "activitydiary-Rep1-r3dcb5cc640a953",
  "local_id": "activitydiary-Rep1-l41fe849f829502",
  "resource_id": "de.rampro.activitydiary:id/action_add_activity",
  "text": "",
  "content_desc": "Add Activity",
  "class": "android.widget.TextView",
  "bounds": [
    932,
    146,
    1080,
    272
  ],
  "node_path": "0-4",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "resolved_target_activity": "de.rampro.activitydiary.ui.generic.EditActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 245,
  "target_gui_id": 246,
  "source_gui_timestamp": 176,
  "target_gui_timestamp": 177,
  "final_exact": true,
  "edge_id": "g27e136",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "Ⅰ",
    "function": "activitydiary.add-activity",
    "reason": "具名 Add Activity 图标;Main/Manage 上下文和真实编辑目标共同支持",
    "human_confirmed": false,
    "label_origin": "study3_case_entry_review"
  },
  "event_line": 429,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-951.json",
  "receipt_path": "jev-receipts/transition-g27e136-176.json",
  "planned_input_text": null,
  "input_sha256": "d9875f0dc1fedb76d30ef9ef6c17273b6fe5564de84c52fd143e27961f42ca06",
  "receipt_sha256": "325e145463094246378cbf4a15278e0d36737bd62806b0d7aef3f0fecba4864e",
  "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.TextView\"][@resource-id=\"de.rampro.activitydiary:id/action_add_activity\"][@text=\"\"][@content-desc=\"Add Activity\"][@index=4][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']"
}

真实多次路径叠加

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

G g14s38 g14s38 ManageActivity g24s69 g24s69 EditActivity g14s38->g24s69 Relaxing ×1 g17s53 g17s53 EditActivity g17s53->g24s69 SELECT ×1 g1s1 g1s1 MainActivity g1s1->g24s69 Add Activity ×7 g1s1->g24s69 activity_background ×3 g1s3 g1s3 MainActivity g1s3->g24s69 activity_background ×1 g24s69->g17s53 edit_activity_color ×1 g24s69->g24s69 g28e200 g27s76 g27s76 MainActivity g27s76->g24s69 Add Activity ×1 g27s77 g27s77 MainActivity g27s77->g24s69 Add Activity ×1 g27s79 g27s79 MainActivity g27s79->g24s69 Add Activity ×1 g29s93 g29s93 MainActivity g29s93->g24s69 Add Activity ×1 g2s11 g2s11 MainActivity g2s11->g24s69 Add Activity ×1 g37s122 g37s122 MainActivity g37s122->g24s69 activity_background ×1 g37s122->g24s69 Add Activity ×1 g48s171 g48s171 MainActivity g48s171->g24s69 activity_background ×1 g48s171->g24s69 Add Activity ×1 g49s185 g49s185 MainActivity g49s185->g24s69 Add Activity ×1 g50s196 g50s196 MainActivity g50s196->g24s69 Add Activity ×1

Dominator子树

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

G g24s69 g24s69 EditActivity

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g24e127g23s68 → g24s69g23a795external0
g37e557g17s53 → g24s69g17a651external1
g50e997g49s185 → g24s69g49a2421external1
g50e1008g29s93 → g24s69g29a1125external1
g27e150g27s77 → g24s69g27a947external1
g37e510g37s122 → g24s69g37a1567external1
g50e1025g50s196 → g24s69g50a2602external1
g27e144g27s76 → g24s69g27a930external1
g46e689g14s38 → g24s69g14a536external1
g28e200g24s69 → g24s69g24a808self_loop2
g28e219g1s3 → g24s69g1a60external1
g37e507g37s122 → g24s69g37a1570external1
g50e1047g27s79 → g24s69g27a963external1
g37e555g1s1 → g24s69g1a25external7
g48e783g48s171 → g24s69g48a2202external1
g27e136g2s11 → g24s69g2a157external1
g48e822g1s1 → g24s69g1a28external3
g24e124g15s42 → g24s69g15a575external0
g48e786g48s171 → g24s69g48a2205external1

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

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