公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Infomap社区不是业务功能金标；入口为Oracle Replay；未做真实设备在线验证。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。

omninotes-Rep1：Snooze / Settings：组合操作

播放真实轨迹、历史快照、Lineage与入口证据

只展示焦点之前已有Snapshot；首250步之前无快照，不用最终图补齐。

真实归档GUI — unverified
同GUI ID/timestamp的审计关联；不是原子Tree+Bitmap，不认证当次控件框对齐

执行序号: 1005
Native step: 1035
wall_time_ms: 1793701476564
事件: g14e571:1005
原日志行: 2580
Source Activity: it.feio.android.omninotes.SnoozeActivity
Target Activity: it.feio.android.omninotes.SnoozeActivity
Action: MODEL_CLICK
ModelAction: g14a1138
resource ID: it.feio.android.omninotes:id/buttonSwitcher
text/content-desc: NOV 3, 2 /
Concrete digest: 7b98ef4f6cad38a87a4a6fa89328c59951fa362354aa0a09fb90bd1823632809
已有Snapshot: S0005
Snapshot截止: 1000
Target社区: NOT_YET_IN_SNAPSHOT
成员: None
Lineage: None
当前分区回投指标: None

附近真实事件（之后为留出事实）

序号	Source→Action→Target	新增S/T	证据
1004	g10s43 → افزودن ی → g14s117	0 / 0	原Native/input/receipt定位
1005	g14s117 → NOV 3, 2 → g14s120	1 / 1	原Native/input/receipt定位
1006	g14s120 → MODEL_SCROLL_TOP_DOWN → g14s120	0 / 1	原Native/input/receipt定位
1007	g14s120 → 6:25 PM → g14s117	0 / 1	原Native/input/receipt定位
1008	g14s117 → NOV 3, 2 → g14s120	0 / 0	原Native/input/receipt定位
1009	g14s120 → 2026 → g15s122	1 / 1	原Native/input/receipt定位
1010	g15s122 → MODEL_CLICK → g15s123	1 / 1	原Native/input/receipt定位
1011	g15s123 → EVERY WE → g15s122	0 / 1	原Native/input/receipt定位
1012	g15s122 → MODEL_CLICK → g15s123	0 / 0	原Native/input/receipt定位

原生选择信息

只复用ModelAction事实，不代表结果覆盖或可执行Concrete库存。

{
  "event": "SELECTION_DECISION",
  "step": 1034,
  "monotonic_ns": 1590588457775784,
  "wall_time_ms": 1793701475235,
  "abstraction_version": 14,
  "state_id": "g14s117",
  "model_action_id": "g14a1138",
  "snapshot_reason": "selection",
  "state_visits": 3,
  "state_first_seen": 967,
  "state_last_seen": 1034,
  "state_saturated": false,
  "state_saturation": 0.2857143,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 5,
  "model_action_count": 7,
  "enabled_valid_action_count": 7,
  "unsaturated_model_action_count": 5,
  "unvisited_model_action_count": 5,
  "effective_unvisited_model_action_count": 5,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 5,
  "enabled_valid_unvisited_action_count": 5,
  "unvisited_model_action_ids": "g14a1138,g14a1139,g14a1141,g14a1142,g14a1144",
  "selection_strategy": "EARLY_STAGE",
  "selection_context": "exploration",
  "selection_buffer_size_after": 0,
  "selected_model_action_type": "MODEL_CLICK",
  "selected_model_action_saturated": false,
  "selected_model_action_unvisited": true,
  "selected_effective_unvisited": true,
  "selected_navigation_target": true,
  "selected_model_action_visits": 0,
  "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.SnoozeActivity|class=android.widget.Button|text=NOV 3, 2|resource_id=it.feio.android.omninotes:id/buttonSwitcher|bounds=194,1614,484,1740",
  "selected_resolved_node_count": 1,
  "event_line": 2579
}

omninotes-Rep1：Snooze / Settings：组合操作

source g14s117

target g14s120

附近真实事件（之后为留出事实）

原生选择信息