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

odkcollect / Rep2 / g11s37

对照：连接对话框 Singleton

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

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

Source GUI / 回溯动作

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

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 eae45bbec1a58db870c2fd212522ac3ae896f44ff18da6400a1abbe545b040d4

一条真实连续历史

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

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射
g11e101:159 / 428g1s1Download / g1a8g11s37ⅠTrue

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

实际动作完整属性、GUI标识与原件索引
{
  "app": "odkcollect",
  "rep": "Rep2",
  "transition_id": "g11e101:159",
  "order": 158,
  "native_transition_order": 158,
  "step": 161,
  "monotonic_ns": 1616725667130457,
  "version": 11,
  "input_version": 11,
  "state": "g1s1",
  "target_state": "g11s37",
  "model_action": "g1a8",
  "input_model_action": "g1a8",
  "input_id": "input-819",
  "action_type": "MODEL_CLICK",
  "identity_digest": "259f2f75d8e82f6687f7240fbf4fa050310dbe2c552c645a8b51cc16249f8836",
  "related_id": "odkcollect-Rep2-r7eed348ac129af",
  "local_id": "odkcollect-Rep2-l9b3c2bf696616b",
  "resource_id": "org.odk.collect.android:id/name",
  "text": "Download",
  "content_desc": "",
  "class": "android.widget.TextView",
  "bounds": [
    231,
    1071,
    912,
    1134
  ],
  "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": 231,
  "target_gui_id": 235,
  "source_gui_timestamp": 160,
  "target_gui_timestamp": 161,
  "final_exact": true,
  "edge_id": "g11e101",
  "new_state": true,
  "new_model_action": true,
  "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": 428,
  "event_path": "jev-events.jsonl",
  "input_path": "jev-audit/inputs/generated-820.json",
  "receipt_path": "jev-receipts/transition-g11e101-159.json",
  "planned_input_text": null,
  "input_sha256": "a788dcbb837e10b60c9c9a7a4763a96f59d5c06b8a7d77fdc27c1ce715f459c1",
  "receipt_sha256": "e1303686a8f460351f41728d5f53539d99a2e44e6380e6622ae57ededd10de23",
  "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 g11s37 g11s37 FormDownloadListActivity g11s37->g11s37 g11e140 g19s75 g19s75 MainMenuActivity g19s75->g11s37 get_forms ×5 g1s1 g1s1 MainMenuActivity g1s1->g11s37 Download ×99 g20s77 g20s77 MainMenuActivity g20s77->g11s37 Download ×3

Dominator子树

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

G g11s37 g11s37 FormDownloadListActivity

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g11e101g1s1 → g11s37g1a8external99
g20e251g19s75 → g11s37g19a411external5
g11e103g11s38 → g11s37g11a207external2
g20e260g20s77 → g11s37g20a422external3
g11e140g11s37 → g11s37g11a203self_loop109
g11e110g11s40 → g11s37g11a222external1

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

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