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

odkcollect / Rep2 / g11s38

三步 Download → Back(功能内) → Cancel → Header

org.odk.collect.android.activities.FormDownloadListActivity；Region 2 State（含Header）；120次全部精确到达，其中区外115次。

交互查看每次到达与全部来源本案例完整数据原始输入／回执／GUI摘包与所有表格

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g20e260:722 / 1998g20s77Download / g20a422g11s37ⅠTrue
g11e140:723 / 2000g11s37MODEL_BACK / g11a203g11s37ⅡTrue
g11e102:724 / 2002g11s37Cancel / g11a202g11s38ⅡTrue

SUPPORTED · odkcollect.download，距离 3；continuous_confirmed_path_inside_reviewed_workflow; shared_GUI_not_business_equivalence

REJECTED · odkcollect.delete-forms，距离 5；intervening_different_independent_entry:g20e260:722

实际动作完整属性、GUI标识与原件索引
{
  "app": "odkcollect",
  "rep": "Rep2",
  "transition_id": "g20e260:722",
  "order": 721,
  "native_transition_order": 721,
  "step": 748,
  "monotonic_ns": 1617580249192628,
  "version": 20,
  "input_version": 20,
  "state": "g20s77",
  "target_state": "g11s37",
  "model_action": "g20a422",
  "input_model_action": "g20a422",
  "input_id": "input-3912",
  "action_type": "MODEL_CLICK",
  "identity_digest": "71f89b8952a74a58857dc1e1c368fa2ac848c761ea5f3bc87538fc592e5c512e",
  "related_id": "odkcollect-Rep2-r4e4adeb1416716",
  "local_id": "odkcollect-Rep2-l88c9ea83a830ce",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Download",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    591,
    561,
    1872,
    624
  ],
  "node_path": "0-0-2-4-4",
  "source_activity": "org.odk.collect.android.mainmenu.MainMenuActivity",
  "resolved_target_activity": "org.odk.collect.android.activities.FormDownloadListActivity",
  "target_activity_evidence": "archived_GUI_or_final_exact_edge",
  "source_gui_id": 914,
  "target_gui_id": 915,
  "source_gui_timestamp": 747,
  "target_gui_timestamp": 748,
  "final_exact": true,
  "edge_id": "g20e260",
  "new_state": false,
  "new_model_action": false,
  "self_loop": false,
  "gui_unchanged": false,
  "label": {
    "category": "Ⅰ",
    "function": "odkcollect.download",
    "reason": "首页 Download 具名命令；实际结果保留 self-loop/未打开冲突",
    "human_confirmed": false,
    "label_origin": "study3_case_entry_review"
  },
  "event_line": 1998,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-3913.json",
  "receipt_path": "jev-receipts/transition-g20e260-722.json",
  "planned_input_text": null,
  "input_sha256": "41323b460b7d906fc740c75265500e223e8060a4887a9ea2befb95e485e4de53",
  "receipt_sha256": "3ea172e6f9059f5c15f356273db6810addaf22ed25d9667bb20ebb6c4bf20296",
  "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.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='true']/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"org.odk.collect.android:id/get_forms\"][@text=\"\"][@content-desc=\"\"][@index=4][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.TextView\"][@resource-id=\"org.odk.collect.android:id/name\"][@text=\"Download\"][@content-desc=\"\"][@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 g11s37 g11s37 FormDownloadListActivity g11s37->g11s37 MODEL_BACK ×104 g11s38 g11s38 FormDownloadListActivity g11s37->g11s38 Cancel ×105 g11s41 g11s41 FormDownloadListActivity g11s38->g11s41 g11e113 g11s41->g11s38 g11e114 g11s41->g11s38 g11e115 g19s75 g19s75 MainMenuActivity g19s75->g11s37 get_forms ×5 g1s1 g1s1 MainMenuActivity g1s1->g11s37 Download ×97 g1s1->g11s38 Download ×2 g20s77 g20s77 MainMenuActivity g20s77->g11s37 Download ×3

Dominator子树

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

G g11s38 g11s38 FormDownloadListActivity g11s41 g11s41 FormDownloadListActivity g11s38->g11s41 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g11e114g11s41 → g11s38g11a226internal_return2
g11e112g11s40 → g11s38g11a217external1
g11e115g11s41 → g11s38g11a225internal_return3
g20e276g1s1 → g11s38g1a8external2
g11e105g11s39 → g11s38g11a210external2
g20e295g20s82 → g11s38g20a452external1
g11e102g11s37 → g11s38g11a202external108
g11e117g11s40 → g11s38g11a224external1

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
odkcollect.downloadg1s1 / g1a8org.odk.collect.android:id/name / Download / 101{'g11s37': 99, 'g11s38': 2}
odkcollect.downloadg19s75 / g19a411org.odk.collect.android:id/get_forms / / 5{'g11s37': 5}
odkcollect.downloadg20s77 / g20a422org.odk.collect.android:id/name / Download / 3{'g11s37': 3}