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

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

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

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

source g27s96

target g27s96

执行序号

2208

Native step

2231

wall_time_ms

1793727500228

事件

g27e277:2208

原日志行

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

已有Snapshot

S0011

Snapshot截止

2000

Target社区

S0011-C0004

成员

['g16s59', 'g17s66', 'g19s72', 'g27s96', 'g31s120', 'g31s121', 'g35s133', 'g35s134', 'g37s143', 'g37s144', 'g37s145', 'g38s146', 'g41s173']

Lineage

L00099

当前分区回投指标

{'source_steps': 289, 'budget_share': 0.1445, 'internal_flow': 172, 'reentries': 104, 'dwell_p90': 2.0, 'dwell_max': 41, 'recent_progress': {'steps': 5, 'new_state': 0, 'new_transition': 3, 'new_pair': 0, 'native_new_model': 0, 'native_progress_records': 5, 'native_selected_unvisited': 0, 'native_selected_unsaturated': 0, 'native_unvisited_positive': 0, 'native_state_saturated': 5}}

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

原生选择信息

只复用ModelAction事实，不代表结果覆盖或可执行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
}