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

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

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

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

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

事件: g90e1534:1880
执行序号: 1880
Native step: 1896
原日志行: 4578
Source Activity: org.wikipedia.page.PageActivity
Target Activity: org.wikipedia.search.SearchActivity
Action: MODEL_CLICK
ModelAction: g36a1835
resource ID: org.wikipedia:id/page_toolbar_button_search
text / content-desc: Search W /
Concrete digest: 45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c
Region成员: ['g14s75', 'g19s94', 'g39s173', 'g83s395', 'g86s410', 'g86s411', 'g86s413', 'g86s414', 'g86s426', 'g86s433', 'g86s434', 'g90s474', 'g90s475', 'g90s493', 'g90s494', 'g93s557']
实际来源执行: 84
内部流量: 57
确认进入 / 保守重入: 27 / 14
完整停留P90 / 最长: 7.4 / 11
最后20%: {'steps': 36, 'new_state': 5, 'new_state_target_inside': 4, 'new_state_target_outside': 1, 'new_transition': 31, 'new_state_pair': 27, 'native_new_model': 5}

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

序号	事件	Source→Action→Target	新增	原证据
1879	g90e1533:1879	g86s426 → MODEL_SCROLL_TOP_DOWN → g36s164	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1880	g90e1534:1880	g36s164 → Search W → g86s411	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1881	g90e1535:1881	g86s411 → Portal: → g86s426	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1882	g90e1536:1882	g86s426 → Wikipedi → g87s443	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1883	g90e1537:1883	g87s443 → More options → g90s477	{'native_new_state': True, 'first_model_transition': True}	原始Native/input/receipt定位
1884	g90e1538:1884	g90s477 → New tab → g36s164	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1885	g90e1539:1885	g36s164 → More options → g90s477	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1886	g90e1540:1886	g90s477 → Explore → g4s19	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1887	g90e1541:1887	g4s19 → Search → g90s478	{'native_new_state': True, 'first_model_transition': True}	原始Native/input/receipt定位

输入前Native快照

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

{
  "event": "SELECTION_DECISION",
  "step": 1895,
  "monotonic_ns": 1619807711386791,
  "wall_time_ms": 1793730760808,
  "abstraction_version": 90,
  "state_id": "g36s164",
  "model_action_id": "g36a1835",
  "snapshot_reason": "selection",
  "state_visits": 14,
  "state_first_seen": 383,
  "state_last_seen": 1895,
  "state_saturated": false,
  "state_saturation": 0.8,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 1,
  "model_action_count": 5,
  "enabled_valid_action_count": 5,
  "unsaturated_model_action_count": 1,
  "unvisited_model_action_count": 1,
  "effective_unvisited_model_action_count": 1,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 1,
  "enabled_valid_unvisited_action_count": 1,
  "unvisited_model_action_ids": "g36a1835",
  "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=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=Search W|resource_id=org.wikipedia:id/page_toolbar_button_search|bounds=147,99,2137,194",
  "selected_resolved_node_count": 1,
  "event_line": 4577
}

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

source g36s164

target g86s411

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

输入前Native快照