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

activitydiary-Rep1：Add/Edit：共享编辑与结果分歧

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

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

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

事件: g28e189:231
执行序号: 231
Native step: 232
原日志行: 563
Source Activity: de.rampro.activitydiary.ui.main.MainActivity
Target Activity: de.rampro.activitydiary.ui.generic.EditActivity
Action: MODEL_LONG_CLICK
ModelAction: g28a1059
resource ID: de.rampro.activitydiary:id/select_card_view
text / content-desc: /
Concrete digest: 27aa3a614ca24140d8432166f432c62c3e0a39df218adb2ba9ee107be418e9e8
Region成员: ['g12s35', 'g13s36', 'g14s38', 'g14s39', 'g18s58', 'g21s63', 'g22s66', 'g26s73', 'g29s94', 'g29s97', 'g35s117', 'g36s120', 'g46s154']
实际来源执行: 314
内部流量: 170
确认进入 / 保守重入: 146 / 109
完整停留P90 / 最长: 3.0 / 20
最后20%: {'steps': 48, 'new_state': 1, 'new_state_target_inside': 0, 'new_state_target_outside': 1, 'new_transition': 16, 'new_state_pair': 10, 'native_new_model': 1}

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

序号	事件	Source→Action→Target	新增	原证据
230	g28e188:230	g27s84 → Search → g28s87	{'native_new_state': True, 'first_model_transition': True}	原始Native/input/receipt定位
231	g28e189:231	g28s87 → MODEL_LONG_CLICK → g21s63	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
232	g28e190:232	g21s63 → Save → g28s87	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
233	g28e191:233	g28s87 → MODEL_LONG_CLICK → g28s85	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
234	g28e192:234	g28s85 → Navigate up → g28s87	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
235	g28e193:235	g28s87 → Open navigation → g27s77	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
236	g28e194:236	g27s77 → Clear query → g2s11	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
237	g28e195:237	g2s11 → About → g28s88	{'native_new_state': True, 'first_model_transition': True}	原始Native/input/receipt定位
238	g28e196:238	g28s88 → MODEL_SCROLL_BOTTOM_UP → g28s88	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位

输入前Native快照

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

{
  "event": "SELECTION_DECISION",
  "step": 231,
  "monotonic_ns": 1589544865041993,
  "wall_time_ms": 1793700431807,
  "abstraction_version": 28,
  "state_id": "g28s87",
  "model_action_id": "g28a1059",
  "snapshot_reason": "selection",
  "state_visits": 1,
  "state_first_seen": 231,
  "state_last_seen": 231,
  "state_saturated": false,
  "state_saturation": 0,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 11,
  "model_action_count": 11,
  "enabled_valid_action_count": 11,
  "unsaturated_model_action_count": 11,
  "unvisited_model_action_count": 11,
  "effective_unvisited_model_action_count": 11,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 11,
  "enabled_valid_unvisited_action_count": 11,
  "unvisited_model_action_ids": "g28a1055,g28a1056,g28a1057,g28a1058,g28a1059,g28a1060,g28a1061,g28a1062,g28a1063,g28a1064,g28a1065",
  "selection_strategy": "EARLY_STAGE",
  "selection_context": "exploration",
  "selection_buffer_size_after": 0,
  "selected_model_action_type": "MODEL_LONG_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_LONG_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.FrameLayout|text=|resource_id=de.rampro.activitydiary:id/select_card_view|bounds=0,283,353,668",
  "selected_resolved_node_count": 2,
  "event_line": 562
}

activitydiary-Rep1：Add/Edit：共享编辑与结果分歧

source g28s87

target g21s63

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

输入前Native快照