公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。

ActivityDiary · Add Activity / Rep2

63次Ⅰ输入，31个源State；44次精确映射，19次历史未映射。

交互查看全部成员完整案例JSON原始input/receipt/event摘包可关联GUI快照原始收尾图公开副本

A / B / C

口径State数与C交集
A上轮Header g27s9622
B原图00
B去明确返回00
C发生参考44

C是有限的入口触发发生参考，不是排他State金标。B的C外节点需区分共享/扩展/明确移交。图上聚合路径不冒充连续轨迹，confirmed=0保留。

真实入口示例：Source、控件与Target

g39e822:1187

source g27s98

g27s98真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g27s96

g27s96真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g39e822:1187",
  "state": "g27s98",
  "target_state": "g27s96",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "target_activity": "de.rampro.activitydiary.ui.generic.EditActivity",
  "model_action": "g27a1412",
  "input_model_action": "g27a1412",
  "action_type": "MODEL_CLICK",
  "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=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "de.rampro.activitydiary:id/action_add_activity",
  "text": "",
  "content_desc": "Add Activity",
  "class": "android.widget.TextView",
  "bounds": [
    1029,
    73,
    1080,
    199
  ],
  "planned_input_text": null,
  "source_gui_id": 1345,
  "target_gui_id": 1346,
  "final_exact": true,
  "edge_id": "g39e822",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-6552.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g39e822-1187.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 3071
}

g26e283:359

source g15s55

g15s55真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g15s55

g15s55真实归档图
同 GUI ID / timestamp 审计截图；对齐状态按归档保留
alignment: unverified
Action、GUI与原始输入/转换定位
{
  "transition_id": "g26e283:359",
  "state": "g15s55",
  "target_state": "g15s55",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "target_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "model_action": "g15a883",
  "input_model_action": "g15a883",
  "action_type": "MODEL_CLICK",
  "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']",
  "resource_id": "de.rampro.activitydiary:id/action_add_activity",
  "text": "",
  "content_desc": "Add Activity",
  "class": "android.widget.TextView",
  "bounds": [
    2252,
    63,
    2400,
    189
  ],
  "planned_input_text": null,
  "source_gui_id": 439,
  "target_gui_id": 440,
  "final_exact": true,
  "edge_id": "g26e283",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-1944.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g26e283-359.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 858
}

g41e987:1429

source g11s34

g11s34真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g27s96

g27s96真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g41e987:1429",
  "state": "g11s34",
  "target_state": "g27s96",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "target_activity": "de.rampro.activitydiary.ui.generic.EditActivity",
  "model_action": "g11a558",
  "input_model_action": "g11a558",
  "action_type": "MODEL_CLICK",
  "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/navigation_view\"][@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/design_navigation_view\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.appcompat.widget.LinearLayoutCompat\"][@resource-id=\"de.rampro.activitydiary:id/nav_add_activity\"][@text=\"\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.CheckedTextView\"][@resource-id=\"de.rampro.activitydiary:id/design_menu_item_text\"][@text=\"Add Acti\"][@content-desc=\"\"][@index=5][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='true'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "de.rampro.activitydiary:id/design_menu_item_text",
  "text": "Add Acti",
  "content_desc": "",
  "class": "android.widget.CheckedTextView",
  "bounds": [
    42,
    1103,
    693,
    1229
  ],
  "planned_input_text": null,
  "source_gui_id": 1591,
  "target_gui_id": 1592,
  "final_exact": true,
  "edge_id": "g41e987",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-7919.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g41e987-1429.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 3697
}

g37e610:793

source g31s120

g31s120真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g27s96

g27s96真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g37e610:793",
  "state": "g31s120",
  "target_state": "g27s96",
  "source_activity": "de.rampro.activitydiary.ui.generic.ManageActivity",
  "target_activity": "de.rampro.activitydiary.ui.generic.EditActivity",
  "model_action": "g31a1722",
  "input_model_action": "g31a1722",
  "action_type": "MODEL_CLICK",
  "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=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']",
  "resource_id": "de.rampro.activitydiary:id/action_add_activity",
  "text": "",
  "content_desc": "Add Activity",
  "class": "android.widget.TextView",
  "bounds": [
    784,
    73,
    932,
    199
  ],
  "planned_input_text": null,
  "source_gui_id": 935,
  "target_gui_id": 936,
  "final_exact": true,
  "edge_id": "g37e610",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-4340.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g37e610-793.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1985
}

全部Ⅰ入口成员

SourceModelAction控件/text/desc执行次数Targets
g27s98g27a1412de.rampro.activitydiary:id/action_add_activity / / Add Activity9{'g27s96': 9}
g31s121g31a1742de.rampro.activitydiary:id/action_add_activity / / Add Activity8{'g27s96': 8}
g15s55g15a883de.rampro.activitydiary:id/action_add_activity / / Add Activity4{'g15s55': 2, 'g8s22': 2}
g5s11g5a243de.rampro.activitydiary:id/action_add_activity / / Add Activity3{'g8s22': 1, 'g27s96': 2}
g41s176g41a2565de.rampro.activitydiary:id/action_add_activity / / Add Activity3{'g27s96': 3}
g41s179g41a2656de.rampro.activitydiary:id/action_add_activity / / Add Activity3{'g27s96': 3}
g11s34g11a552de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g8s22': 1, 'g27s96': 1}
g11s34g11a558de.rampro.activitydiary:id/design_menu_item_text / Add Acti / 2{'g6s14': 1, 'g27s96': 1}
g5s10g5a217de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g3s5': 1, 'g9s27': 1}
g1s1g1a25de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g9s27': 1, 'g16s59': 1}
g39s159g39a2187de.rampro.activitydiary:id/action_add_activity / / Add Activity2{'g27s96': 2}
g15s50g15a754de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g30s108g30a1567de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g30s108': 1}
g41s177g41a2595de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g31s120g31a1722de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g30s117g30a1679de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g16s59': 1}
g10s28g10a474de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g16s59': 1}
g35s133g35a1877de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g39s169g39a2427de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g26s92g26a1337de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g15s51g15a781de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g8s21g8a369de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g15s52g15a812de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g39s158g39a2171de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g26s95g26a1376de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g15s55g15a884de.rampro.activitydiary:id/design_menu_item_text / Add Acti / 1{'g27s96': 1}
g9s25g9a437de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g41s173g41a2503de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g26s93g26a1355de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g8s22': 1}
g30s116g30a1670de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g16s59': 1}
g30s114g30a1629de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g16s59': 1}
g27s98g27a1412de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s98': 1}
g41s174g41a2519de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g27s96': 1}
g15s54g15a872de.rampro.activitydiary:id/action_add_activity / / Add Activity1{'g15s54': 1}

关键反例：具体确认输入

g34e540:680

source g5s11

g5s11真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative

target g27s96

g27s96真实归档图
同 State 历史代表截图，非该次输入截图；高亮只作 bounds 投影提示
alignment: unverified_state_representative
Action、GUI与原始输入/转换定位
{
  "transition_id": "g34e540:680",
  "state": "g5s11",
  "target_state": "g27s96",
  "source_activity": "de.rampro.activitydiary.ui.main.MainActivity",
  "target_activity": "de.rampro.activitydiary.ui.generic.EditActivity",
  "model_action": "g5a246",
  "input_model_action": "g5a246",
  "action_type": "MODEL_LONG_CLICK",
  "identity": "MODEL_LONG_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=\"android.widget.RelativeLayout\"][@resource-id=\"de.rampro.activitydiary:id/activity_background\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']",
  "resource_id": "de.rampro.activitydiary:id/activity_background",
  "text": "",
  "content_desc": "",
  "class": "android.widget.RelativeLayout",
  "bounds": [
    12,
    225,
    1038,
    351
  ],
  "planned_input_text": null,
  "source_gui_id": 802,
  "target_gui_id": 803,
  "final_exact": true,
  "edge_id": "g34e540",
  "input_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3734.json",
  "receipt_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-receipts/transition-g34e540-680.json",
  "event_path": "[WORKSPACE]/experiments/guitaboo_formal_emulator_20261103T1725/formal-runs/platform-managed/run_dc2dd8de975e441b98d63d521b527b43/attempt_2c76c87bcb6949e1a62808e2add23065/raw/device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-events.jsonl",
  "event_line": 1670
}

分叉、汇合与Dominator局部片段

g27s96 / g9s27 → g3s6

G g1s1 g1s1 MainActivity ROOT · source ×2 g9s27 g9s27 EditActivity target ×2 g1s1->g9s27 g10e58 CLICK action_add_activity exec 1 g27s96 g27s96 EditActivity target ×38 g3s6 g3s6 EditActivity g27s96->g3s6 g27e285 CLICK edit_activity_color exec 5 g3s6->g3s6 g3e5 LONG_CLICK hexCode exec 13 g3s6->g3s6 g43e1289 CLICK hexCode exec 5 g41s176 g41s176 MainActivity ROOT · source ×3 g41s176->g27s96 g42e1266 LONG_CLICK activity_background exec 2 g46s209 g46s209 EditActivity g46s209->g3s6 g46e1133 CLICK exec 0 g5s11 g5s11 MainActivity ROOT · source ×3 g5s11->g27s96 g27e284 CLICK action_add_activity exec 2 g9s27->g46s209 g46e1130 CLICK quickFixButton1 exec 0

汇合点子树：g3s6；不包含上游两个分支。

g27s96 → [g27e285; confirmed=5] → g3s6

g9s27 → [g46e1130; confirmed=0] → g46s209 → [g46e1133; confirmed=0] → g3s6

g46s208 / g46s209 → g3s6

G g1s1 g1s1 MainActivity ROOT · source ×2 g46s208 g46s208 EditActivity g1s1->g46s208 g46e1159 LONG_CLICK select_card_view exec 0 g3s6 g3s6 EditActivity g3s6->g3s6 g3e5 LONG_CLICK hexCode exec 13 g3s6->g3s6 g43e1289 CLICK hexCode exec 5 g46s208->g3s6 g46e1117 CLICK exec 0 g46s209 g46s209 EditActivity g46s209->g3s6 g46e1133 CLICK exec 0

汇合点子树：g3s6；不包含上游两个分支。

g46s208 → [g46e1117; confirmed=0] → g3s6

g46s209 → [g46e1133; confirmed=0] → g3s6

删完入口仍可达的全部参考State路径

这些是聚合UTG路径；每条边的确认输入ID与次数见完整案例JSON。初始已不可达单列，不当作删边恢复。

original → g27s96
g41s176 → [g42e1266; confirmed=2] → g27s96
still reachable after all observed confirmed entry edges cut

original → g3s6
g1s1 → [g46e1159; confirmed=0] → g46s208 → [g46e1117; confirmed=0] → g3s6
still reachable after all observed confirmed entry edges cut

original → g43s202
g41s176 → [g42e1266; confirmed=2] → g27s96 → [g43e1287; confirmed=2] → g43s202
still reachable after all observed confirmed entry edges cut

original → g9s27
g1s1 → [g30e370; confirmed=2] → g10s28 → [g10e56; confirmed=0] → g9s27
still reachable after all observed confirmed entry edges cut

forward → g27s96
g41s176 → [g42e1266; confirmed=2] → g27s96
still reachable after all observed confirmed entry edges cut

forward → g3s6
g1s1 → [g46e1159; confirmed=0] → g46s208 → [g46e1117; confirmed=0] → g3s6
still reachable after all observed confirmed entry edges cut

forward → g43s202
g41s176 → [g42e1266; confirmed=2] → g27s96 → [g43e1287; confirmed=2] → g43s202
still reachable after all observed confirmed entry edges cut

forward → g9s27
g1s1 → [g30e370; confirmed=2] → g10s28 → [g10e56; confirmed=0] → g9s27
still reachable after all observed confirmed entry edges cut

C发生参考：逐State GUI与范围身份

g27s96

A True / B原图 False / B去返回 False

g27s96代表图de.rampro.activitydiary.ui.generic.EditActivity
历史代表图，不认证同次对齐。
g3s6

A False / B原图 False / B去返回 False

g3s6代表图de.rampro.activitydiary.ui.generic.EditActivity
历史代表图，不认证同次对齐。
g43s202

A True / B原图 False / B去返回 False

g43s202代表图de.rampro.activitydiary.ui.generic.EditActivity
历史代表图，不认证同次对齐。
g9s27

A False / B原图 False / B去返回 False

g9s27代表图de.rampro.activitydiary.ui.generic.EditActivity
历史代表图，不认证同次对齐。

一条真实连续轨迹：完整步骤

入口 g41e1053:2132，停止：exit_to_outside。只连接同GUI、同抽象版本的相邻确认执行。

确认转换Source动作Target边界
g27e281:2133g27s96MODEL_LONG_CLICK de.rampro.activitydiary:id/edit_activity_nameg27s96editor-shared
g27e285:2134g27s96MODEL_CLICK de.rampro.activitydiary:id/edit_activity_colorg3s6editor-shared
g3e5:2135g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2136g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2137g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2138g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1289:2139g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2140g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1289:2141g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2142g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1289:2143g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2144g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1289:2145g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2146g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1289:2147g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g3e5:2148g3s6MODEL_LONG_CLICK de.rampro.activitydiary:id/hexCodeg3s6editor-shared
g43e1290:2149g3s6MODEL_CLICK de.rampro.activitydiary:id/okColorButtong27s96editor-shared
g27e285:2150g27s96MODEL_CLICK de.rampro.activitydiary:id/edit_activity_colorg3s6editor-shared
g16e135:2151g3s6MODEL_CLICK de.rampro.activitydiary:id/hexCodeg16s59editor-shared
g16e157:2152g16s59MODEL_CLICK de.rampro.activitydiary:id/edit_activity_nameg16s59editor-shared
g16e155:2153g16s59MODEL_LONG_CLICK de.rampro.activitydiary:id/edit_activity_nameg16s59editor-shared
g42e1261:2154g16s59MODEL_BACK g16s59editor-shared
g16e157:2155g16s59MODEL_CLICK de.rampro.activitydiary:id/edit_activity_nameg16s59editor-shared
g41e1161:2156g16s59MODEL_CLICK de.rampro.activitydiary:id/action_edit_deleteg39s159outside