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

scarletnotes-Rep1:CreateNote:动态内容与反复新建

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

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

source g41s168

真实归档GUI
unverified_state_representative
同State历史代表图;不是当次执行截图,虚线框只作bounds投影

target g40s130

真实归档GUI
unverified_state_representative
同State历史代表图;不是当次执行截图,虚线框只作bounds投影
执行序号
1592
Native step
1606
wall_time_ms
1793702296122
事件
g41e566:1592
原日志行
3692
Source Activity
com.maubis.scarlet.base.MainActivity
Target Activity
com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity
Action
MODEL_CLICK
ModelAction
g41a2169
resource ID
com.bijoysingh.quicknote:id/title
text/content-desc
No Notes /
Concrete digest
c14d528e9ac50539f0f98cd0df940801fdad7d8c1c7b24f2159ef771a4eb2607
已有Snapshot
S0008
Snapshot截止
1500
Target社区
S0008-C0022
成员
['g37s112', 'g40s130']
Lineage
L00066
当前分区回投指标
{'source_steps': 191, 'budget_share': 0.12733333333333333, 'internal_flow': 147, 'reentries': 37, 'dwell_p90': 12.0, 'dwell_max': 36, 'recent_progress': {'steps': 35, 'new_state': 0, 'new_transition': 2, 'new_pair': 2, 'native_new_model': 0, 'native_progress_records': 35, 'native_selected_unvisited': 0, 'native_selected_unsaturated': 0, 'native_unvisited_positive': 0, 'native_state_saturated': 35}}

附近真实事件(之后为留出事实)

序号Source→Action→Target新增S/T证据
1591g41s168 → Search N → g41s1680 / 1原Native/input/receipt定位
1592g41s168 → No Notes → g40s1300 / 1原Native/input/receipt定位
1593g40s130 → MODEL_BACK → g23s610 / 1原Native/input/receipt定位
1594g23s61 → It seems → g40s1300 / 1原Native/input/receipt定位
1595g40s130 → MODEL_BACK → g23s610 / 0原Native/input/receipt定位
1596g23s61 → MODEL_CLICK → g19s480 / 1原Native/input/receipt定位
1597g19s48 → MODEL_BACK → g23s610 / 1原Native/input/receipt定位
1598g23s61 → +7869946 → g23s610 / 1原Native/input/receipt定位
1599g23s61 → MODEL_CLICK → g23s610 / 1原Native/input/receipt定位

原生选择信息

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

{
  "event": "SELECTION_DECISION",
  "step": 1605,
  "monotonic_ns": 1591408429277220,
  "wall_time_ms": 1793702295218,
  "abstraction_version": 41,
  "state_id": "g41s168",
  "model_action_id": "g41a2169",
  "snapshot_reason": "selection",
  "state_visits": 3,
  "state_first_seen": 1602,
  "state_last_seen": 1605,
  "state_saturated": false,
  "state_saturation": 0.2,
  "native_state_saturated": false,
  "native_unsaturated_model_action_count": 8,
  "model_action_count": 10,
  "enabled_valid_action_count": 10,
  "unsaturated_model_action_count": 8,
  "unvisited_model_action_count": 8,
  "effective_unvisited_model_action_count": 8,
  "effective_state_saturated": false,
  "local_probe_action_count": 0,
  "navigation_action_count": 8,
  "enabled_valid_unvisited_action_count": 8,
  "unvisited_model_action_ids": "g41a2168,g41a2169,g41a2170,g41a2171,g41a2172,g41a2174,g41a2176,g41a2177",
  "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=com.maubis.scarlet.base.MainActivity|class=android.widget.TextView|text=No Notes|resource_id=com.bijoysingh.quicknote:id/title|bounds=62,534,1018,639",
  "selected_resolved_node_count": 1,
  "event_line": 3691
}