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

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

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

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

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

事件: g27e277:2208
执行序号: 2208
Native step: 2231
原日志行: 5633
Source Activity: de.rampro.activitydiary.ui.generic.EditActivity
Target Activity: de.rampro.activitydiary.ui.generic.EditActivity
Action: MODEL_CLICK
ModelAction: g27a1396
resource ID: de.rampro.activitydiary:id/action_edit_done
text / content-desc: / Save
Concrete digest: 7b234822713889eeda9cf6c2c732de84b02f91ca6dd63b8c1be756018d0f8fea
Region成员: ['g16s59', 'g17s66', 'g19s72', 'g27s96', 'g31s120', 'g31s121', 'g35s133', 'g35s134', 'g37s143', 'g37s144', 'g37s145', 'g38s146', 'g41s173', 'g43s202']
实际来源执行: 323
内部流量: 189
确认进入 / 保守重入: 137 / 119
完整停留P90 / 最长: 2.0 / 41
最后20%: {'steps': 40, 'new_state': 1, 'new_state_target_inside': 1, 'new_state_target_outside': 0, 'new_transition': 14, 'new_state_pair': 7, 'native_new_model': 1}

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

序号	事件	Source→Action→Target	新增	原证据
2207	g43e1290:2207	g3s6 → SELECT → g27s96	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
2208	g27e277:2208	g27s96 → Save → g27s96	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
2209	g43e1287:2209	g27s96 → Activity → g43s202	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
2210	g43e1310:2210	g43s202 → MODEL_BACK → g27s96	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
2211	g27e285:2211	g27s96 → MODEL_CLICK → g3s6	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
2212	g16e135:2212	g3s6 → E64A19 → g16s59	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位

输入前Native快照

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

{
  "event": "SELECTION_DECISION",
  "step": 2230,
  "monotonic_ns": 1616547271746244,
  "wall_time_ms": 1793727499520,
  "abstraction_version": 43,
  "state_id": "g27s96",
  "model_action_id": "g27a1396",
  "snapshot_reason": "selection",
  "state_visits": 67,
  "state_first_seen": 55,
  "state_last_seen": 2230,
  "state_saturated": true,
  "state_saturation": 1,
  "native_state_saturated": true,
  "native_unsaturated_model_action_count": 0,
  "model_action_count": 8,
  "enabled_valid_action_count": 8,
  "unsaturated_model_action_count": 0,
  "unvisited_model_action_count": 0,
  "effective_unvisited_model_action_count": 0,
  "effective_state_saturated": true,
  "local_probe_action_count": 0,
  "navigation_action_count": 0,
  "enabled_valid_unvisited_action_count": 0,
  "unvisited_model_action_ids": "",
  "selection_strategy": "EPSILON_GREEDY",
  "selection_context": "exploration",
  "selection_buffer_size_after": 0,
  "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": 5,
  "selected_action_fingerprint": "type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.generic.EditActivity|class=android.widget.TextView|text=|resource_id=de.rampro.activitydiary:id/action_edit_done|bounds=932,73,1080,199",
  "selected_resolved_node_count": 1,
  "event_line": 5632
}

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

source g27s96

target g27s96

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

输入前Native快照