公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Dominator与流量社区不是功能金标；完整可执行库存仍缺失。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。

odkcollect-Rep1：Download：局部与公共导航

播放真实时间轨迹、切算法/Back/前缀

默认焦点目标所在模块 Infomap-G1-001，不是人工确认业务边界。

真实归档GUI — unverified_state_representative
同State历史代表图；不是当次执行截图，虚线框只作bounds投影
ape-state-screenshots/g1s1-1.png

事件: g16e255:1978
执行序号: 1978
Native step: 2105
原日志行: 5911
Source Activity: org.odk.collect.android.mainmenu.MainMenuActivity
Target Activity: org.odk.collect.android.activities.FormDownloadListActivity
Action: MODEL_CLICK
ModelAction: g1a8
resource ID: org.odk.collect.android:id/name
text / content-desc: Download /
Concrete digest: 259f2f75d8e82f6687f7240fbf4fa050310dbe2c552c645a8b51cc16249f8836
Region成员: ['g14s61', 'g15s64', 'g16s70', 'g16s71', 'g1s1', 'g1s6', 'g3s10', 'g3s11', 'g5s15', 'g5s17', 'g5s21', 'g5s24', 'g5s25', 'g7s28']
实际来源执行: 1797
内部流量: 1746
确认进入 / 保守重入: 51 / 49
完整停留P90 / 最长: 19.1 / 29
最后20%: {'steps': 394, 'new_state': 0, 'new_state_target_inside': 0, 'new_state_target_outside': 0, 'new_transition': 6, 'new_state_pair': 5, 'native_new_model': 0}

附近真实执行（不跨断点拼接）

序号	事件	Source→Action→Target	新增	原证据
1977	g5e60:1977	g3s11 → MODEL_BACK → g1s1	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1978	g16e255:1978	g1s1 → Download → g16s71	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1979	g16e256:1979	g16s71 → MODEL_CLICK → g16s70	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1980	g16e237:1980	g16s70 → MODEL_BACK → g1s1	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1981	g16e211:1981	g1s1 → Download → g16s70	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1982	g16e237:1982	g16s70 → MODEL_BACK → g1s1	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1983	g1e16:1983	g1s1 → Delete f → g1s6	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1984	g3e40:1984	g1s6 → MODEL_BACK → g1s1	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位

输入前Native快照

饱和与未访问是Native ModelAction证据，完整有效Concrete库存仍NA；不重算Concrete覆盖。

{
  "event": "SELECTION_DECISION",
  "step": 2104,
  "monotonic_ns": 1592591305634320,
  "wall_time_ms": 1793703478110,
  "abstraction_version": 16,
  "state_id": "g1s1",
  "model_action_id": "g1a8",
  "snapshot_reason": "selection",
  "state_visits": 918,
  "state_first_seen": 1,
  "state_last_seen": 2104,
  "state_saturated": true,
  "state_saturation": 1,
  "native_state_saturated": true,
  "native_unsaturated_model_action_count": 0,
  "model_action_count": 8,
  "enabled_valid_action_count": 8,
  "unsaturated_model_action_count": 0,
  "unvisited_model_action_count": 0,
  "effective_unvisited_model_action_count": 0,
  "effective_state_saturated": true,
  "local_probe_action_count": 0,
  "navigation_action_count": 0,
  "enabled_valid_unvisited_action_count": 0,
  "unvisited_model_action_ids": "",
  "selection_strategy": "EPSILON_GREEDY",
  "selection_context": "exploration",
  "selection_buffer_size_after": 0,
  "selected_model_action_type": "MODEL_CLICK",
  "selected_model_action_saturated": true,
  "selected_model_action_unvisited": false,
  "selected_effective_unvisited": false,
  "selected_navigation_target": false,
  "selected_model_action_visits": 114,
  "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.odk.collect.android.mainmenu.MainMenuActivity|class=android.widget.TextView|text=Download|resource_id=org.odk.collect.android:id/name|bounds=231,1144,912,1207",
  "selected_resolved_node_count": 1,
  "event_line": 5910
}

odkcollect-Rep1：Download：局部与公共导航

source g1s1

target g16s71

附近真实执行（不跨断点拼接）

输入前Native快照