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

ODK Rep2：晚期重复路径，库存仍缺失

查看后续真实轨迹和80%留出；零新增是观察事实，可执行未尝试动作仍为NA。

关联范围：entry-associated observed B segment。探索性复核，未作人类金标。

在交互查看器打开：轨迹、窗口、库存、历史检查点

source g1s1

target g11s37

Run

odkcollect-Rep2

功能入口组/页面

odkcollect.download

真实入口

g11e101:1899

确认执行

g11e101:1899

Source / Target

g1s1 → g11s37

Activity

org.odk.collect.android.mainmenu.MainMenuActivity → org.odk.collect.android.activities.FormDownloadListActivity

Action / ModelAction

MODEL_CLICK / g1a8

Resource ID

org.odk.collect.android:id/name

text / desc

Download /

class / path

android.widget.TextView / 0-0-2-4-4

局部Concrete新颖性

False

新ID转换

False

原生新State

False

库存证据

PARTIAL

完整有效Concrete / 精确剩余

MISSING / NA

输入前匹配的 Selection

只对齐实际选择记录，不能补齐全Concrete成员或其他动作资格。

{
  "event": "SELECTION_DECISION",
  "step": 2005,
  "monotonic_ns": 1619621821559900,
  "wall_time_ms": 1793730574329,
  "abstraction_version": 20,
  "state_id": "g1s1",
  "model_action_id": "g1a8",
  "snapshot_reason": "selection",
  "state_visits": 687,
  "state_first_seen": 1,
  "state_last_seen": 2005,
  "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": 85,
  "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,1071,912,1134",
  "selected_resolved_node_count": 1,
  "event_line": 5460
}

真实连续 B 片段

停止原因 target_activity_unknown；不认证完整功能边界。

证据定位

原始input/receipt/transition JSONL，第 205 行。原始input SHA 3b6e2bf9bb0a455a42b65673298851fd1d4fc86118f57257e4b2ee6f215d362e；receipt SHA c2603acdf7e5d01a1847368b44bb73db96dbb1cf72f2842afcc83c55ea37606c。公开路径脱敏会改变副本字节，公开SHA另见清单。