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

wikipedia-Rep1：Search：持续新增与切分

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

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

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

执行序号: 1508
Native step: 1524
wall_time_ms: 1793727550533
事件: g69e1255:1510
原日志行: 3659
Source Activity: org.wikipedia.page.PageActivity
Target Activity: org.wikipedia.search.SearchActivity
Action: MODEL_CLICK
ModelAction: g36a2151
resource ID: org.wikipedia:id/page_toolbar_button_search
text/content-desc: Search W /
Concrete digest: 45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c
已有Snapshot: S0008
Snapshot截止: 1500
Target社区: S0008-C0031
成员: ['g62s340', 'g68s440', 'g68s441', 'g68s442', 'g68s444']
Lineage: L00171
当前分区回投指标: {'source_steps': 6, 'budget_share': 0.004, 'internal_flow': 5, 'reentries': 0, 'dwell_p90': 6.0, 'dwell_max': 6, 'recent_progress': {'steps': 0, 'new_state': 0, 'new_transition': 0, 'new_pair': 0, 'native_new_model': 0, 'native_progress_records': 0, 'native_selected_unvisited': 0, 'native_selected_unsaturated': 0, 'native_unvisited_positive': 0, 'native_state_saturated': 0}}

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

序号	Source→Action→Target	新增S/T	证据
1507	g54s292 → Done → g36s187	0 / 1	原Native/input/receipt定位
1508	g36s187 → Search W → g68s440	0 / 1	原Native/input/receipt定位
1509	g68s440 → Search W → g68s440	0 / 1	原Native/input/receipt定位
1510	g68s440 → Search W → g68s441	0 / 1	原Native/input/receipt定位
1511	g68s441 → MODEL_SCROLL_RIGHT_LEFT → g68s441	0 / 1	原Native/input/receipt定位
1512	g68s441 → +4698140 → g68s441	0 / 1	原Native/input/receipt定位
1513	g68s441 → Navigate up → g3s20	0 / 1	原Native/input/receipt定位
1514	g3s20 → Language → g69s469	1 / 1	原Native/input/receipt定位
1515	g69s469 → MODEL_CLICK → g3s20	0 / 1	原Native/input/receipt定位

原生选择信息

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

{
  "event": "SELECTION_DECISION",
  "step": 1523,
  "monotonic_ns": 1616660419486517,
  "wall_time_ms": 1793727549333,
  "abstraction_version": 69,
  "state_id": "g36s187",
  "model_action_id": "g36a2151",
  "snapshot_reason": "selection",
  "state_visits": 20,
  "state_first_seen": 407,
  "state_last_seen": 1523,
  "state_saturated": true,
  "state_saturation": 0.7,
  "native_state_saturated": true,
  "native_unsaturated_model_action_count": 0,
  "model_action_count": 10,
  "enabled_valid_action_count": 7,
  "unsaturated_model_action_count": 0,
  "unvisited_model_action_count": 3,
  "effective_unvisited_model_action_count": 3,
  "effective_state_saturated": true,
  "local_probe_action_count": 0,
  "navigation_action_count": 0,
  "enabled_valid_unvisited_action_count": 0,
  "unvisited_model_action_ids": "g36a2156,g36a2157,g36a2158",
  "selection_strategy": "EARLY_STAGE",
  "selection_context": "navigation",
  "selection_buffer_size_after": 2,
  "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": 2,
  "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,172,817,267",
  "selected_resolved_node_count": 1,
  "event_line": 3658
}

wikipedia-Rep1：Search：持续新增与切分

source g36s187

target g68s440

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

原生选择信息