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

odkcollect / Rep1 / g16s70

Download 的两步前史与直接入口对照

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

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

Source GUI / 回溯动作

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

Target GUI / 观察结果

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

Dominator Header GUI

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

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g5e60:1279 / 3748g3s11MODEL_BACK / g3a69g1s1ⅡTrue
g1e0:1280 / 3751g1s1Download / g1a8g1s2ⅠTrue
g16e233:1281 / 3753g1s2Cancel / g1a11g16s70ⅡTrue

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

REJECTED · odkcollect.sent，距离 4；intervening_different_independent_entry:g1e0:1280

实际动作完整属性、GUI标识与原件索引
{
  "app": "odkcollect",
  "rep": "Rep1",
  "transition_id": "g1e0:1280",
  "order": 1279,
  "native_transition_order": 1279,
  "step": 1355,
  "monotonic_ns": 1591345271231863,
  "version": 16,
  "input_version": 16,
  "state": "g1s1",
  "target_state": "g1s2",
  "model_action": "g1a8",
  "input_model_action": "g1a8",
  "input_id": "input-7189",
  "action_type": "MODEL_CLICK",
  "identity_digest": "259f2f75d8e82f6687f7240fbf4fa050310dbe2c552c645a8b51cc16249f8836",
  "related_id": "odkcollect-Rep1-r7eed348ac129af",
  "local_id": "odkcollect-Rep1-l9b3c2bf696616b",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Download",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    231,
    1082,
    912,
    1145
  ],
  "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": 1482,
  "target_gui_id": 1483,
  "source_gui_timestamp": 1354,
  "target_gui_timestamp": 1355,
  "final_exact": true,
  "edge_id": "g1e0",
  "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": 3751,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-7190.json",
  "receipt_path": "jev-receipts/transition-g1e0-1280.json",
  "planned_input_text": null,
  "input_sha256": "36992440ca5f37859adc8c85df354ddb62162f45463d203ff054dd0d2b482dfb",
  "receipt_sha256": "79e886195307924a3689a73dccb87a151f986ef559773053c26427dc5e3d2fe3",
  "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='false']/*[@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 g16s70 g16s70 FormDownloadListActivity g16s70->g16s70 g16e245 g16s72 g16s72 FormDownloadListActivity g16s70->g16s72 g16e217 g1s4 g1s4 FormDownloadListActivity g16s70->g1s4 Sort the list ×1 g16s71 g16s71 FormDownloadListActivity g16s71->g16s70 checkbox ×1 g16s72->g16s70 g16e221 g16s72->g16s72 g16e222 g16s72->g16s72 g16e228 g16s72->g16s72 g16e227 g16s72->g16s72 g16e224 g16s72->g16s72 g16e223 g16s73 g16s73 FormDownloadListActivity g16s72->g16s73 g16e229 g16s72->g16s73 g16e218 g16s74 g16s74 FormDownloadListActivity g16s72->g16s74 g16e225 g16s73->g16s72 g16e220 g16s73->g16s73 g16e219 g16s74->g16s72 g16e226 g1s1 g1s1 MainMenuActivity g1s1->g16s70 Download ×90 g1s1->g16s71 Download ×1 g1s2 g1s2 FormDownloadListActivity g1s1->g1s2 Download ×7 g1s2->g16s70 MODEL_BACK ×6 g1s2->g16s70 Cancel ×1 g1s2->g1s2 MODEL_BACK ×6 g1s4->g16s70 MODEL_BACK ×1

Dominator子树

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

G g16s70 g16s70 FormDownloadListActivity g16s72 g16s72 FormDownloadListActivity g16s70->g16s72 idom g16s73 g16s73 FormDownloadListActivity g16s72->g16s73 idom g16s74 g16s74 FormDownloadListActivity g16s72->g16s74 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g16e230g16s71 → g16s70g16a581external2
g16e211g1s1 → g16s70g1a8external90
g16e256g16s71 → g16s70g16a582external1
g16e245g16s70 → g16s70g16a575self_loop1
g16e233g1s2 → g16s70g1a11external2
g16e213g1s4 → g16s70g1a21external1
g16e248g1s1 → g16s70g1a5external1
g16e231g16s71 → g16s70g16a580external1
g16e221g16s72 → g16s70g16a585internal_return2
g16e216g1s2 → g16s70g1a12external9

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

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

功能Source / ModelAction控件 / text / desc确认次数观察Target
odkcollect.downloadg1s1 / g1a8org.odk.collect.android:id/name / Download / 121{'g1s2': 28, 'g16s70': 90, 'g1s1': 2, 'g16s71': 1}