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

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

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

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

source g10s103

MISSING

target g10s103

MISSING

执行序号: 1243
Native step: 1319
wall_time_ms: 1793725458972
事件: g10e438:1243
原日志行: 3278
Source Activity: it.feio.android.omninotes.SnoozeActivity
Target Activity: it.feio.android.omninotes.SnoozeActivity
Action: MODEL_CLICK
ModelAction: g10a994
resource ID: it.feio.android.omninotes:id/minutes
text/content-desc: 05 /
Concrete digest: 302028fc9678af892f678e8c3f004e83491b4c603c5d95e46db2f7c4b0829213
已有Snapshot: S0006
Snapshot截止: 1178
Target社区: S0006-C0002
成员: ['g0s3', 'g0s4', 'g0s5', 'g10s100', 'g10s101', 'g10s102', 'g10s103', 'g8s59']
Lineage: L00038
当前分区回投指标: {'source_steps': 49, 'budget_share': 0.04159592529711375, 'internal_flow': 35, 'reentries': 11, 'dwell_p90': 6.800000000000004, 'dwell_max': 13, 'recent_progress': {'steps': 33, 'new_state': 4, 'new_transition': 25, 'new_pair': 18, 'native_new_model': 4, 'native_progress_records': 33, 'native_selected_unvisited': 22, 'native_selected_unsaturated': 24, 'native_unvisited_positive': 33, 'native_state_saturated': 0}}

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

序号	Source→Action→Target	新增S/T	证据
1242	g10s101 → ADD REMI → g10s103	0 / 1	原Native/input/receipt定位
1243	g10s103 → 05 → g10s103	0 / 1	原Native/input/receipt定位
1244	g10s103 → NOV 4, 2 → g10s113	1 / 1	原Native/input/receipt定位
1245	g10s113 → MODEL_CLICK → g11s115	1 / 1	原Native/input/receipt定位
1246	g11s115 → Wed, Nov → g10s113	0 / 1	原Native/input/receipt定位
1247	g10s113 → MODEL_CLICK → g11s116	1 / 1	原Native/input/receipt定位
1248	g11s116 → WEEKLY O → g10s113	0 / 1	原Native/input/receipt定位
1249	g10s113 → MODEL_CLICK → g11s116	0 / 0	原Native/input/receipt定位
1250	g11s116 → EVERY WE → g10s113	0 / 1	原Native/input/receipt定位

原生选择信息

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

{
  "event": "SELECTION_DECISION",
  "step": 1318,
  "monotonic_ns": 1614505651024893,
  "wall_time_ms": 1793725458060,
  "abstraction_version": 10,
  "state_id": "g10s103",
  "model_action_id": "g10a994",
  "snapshot_reason": "selection",
  "state_visits": 2,
  "state_first_seen": 1233,
  "state_last_seen": 1318,
  "state_saturated": false,
  "state_saturation": 0.11111111,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 8,
  "model_action_count": 9,
  "enabled_valid_action_count": 9,
  "unsaturated_model_action_count": 8,
  "unvisited_model_action_count": 8,
  "effective_unvisited_model_action_count": 8,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 8,
  "enabled_valid_unvisited_action_count": 8,
  "unvisited_model_action_ids": "g10a993,g10a994,g10a995,g10a996,g10a997,g10a998,g10a999,g10a1001",
  "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.TextView|text=05|resource_id=it.feio.android.omninotes:id/minutes|bounds=858,392,1000,561",
  "selected_resolved_node_count": 1,
  "event_line": 3277
}