公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,Infomap社区不是业务功能金标;入口为Oracle Replay;未做真实设备在线验证。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。
scarletnotes-Rep2:CreateNote:动态内容与反复新建
只展示焦点之前已有Snapshot;首250步之前无快照,不用最终图补齐。
source g1s1

同State历史代表图;不是当次执行截图,虚线框只作bounds投影
target g66s196

同State历史代表图;不是当次执行截图,虚线框只作bounds投影
- 执行序号
- 2270
- Native step
- 2369
- wall_time_ms
- 1793726952928
- 事件
- g66e336:2270
- 原日志行
- 6319
- Source Activity
- com.maubis.scarlet.base.MainActivity
- Target Activity
- com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity
- Action
- MODEL_CLICK
- ModelAction
- g1a8
- resource ID
- com.bijoysingh.quicknote:id/title
- text/content-desc
- No Notes /
- Concrete digest
- 8c38f4e415e85017322e2e095fb932373849a4ed8e8ce44ecf079f1d37c8d737
- 已有Snapshot
- S0012
- Snapshot截止
- 2250
- Target社区
- S0012-C0003
- 成员
- ['g12s24', 'g12s25', 'g12s26', 'g1s1', 'g38s89', 'g59s161', 'g60s163', 'g62s177', 'g62s179', 'g66s196', 'g69s212']
- Lineage
- L00090
- 当前分区回投指标
- {'source_steps': 1338, 'budget_share': 0.5946666666666667, 'internal_flow': 1229, 'reentries': 99, 'dwell_p90': 5.0, 'dwell_max': 13, 'recent_progress': {'steps': 100, 'new_state': 0, 'new_transition': 0, 'new_pair': 0, 'native_new_model': 0, 'native_progress_records': 100, 'native_selected_unvisited': 0, 'native_selected_unsaturated': 0, 'native_unvisited_positive': 0, 'native_state_saturated': 100}}
附近真实事件(之后为留出事实)
| 序号 | Source→Action→Target | 新增S/T | 证据 |
|---|---|---|---|
| 2269 | g60s163 → MODEL_BACK → g1s1 | 0 / 0 | 原Native/input/receipt定位 |
| 2270 | g1s1 → No Notes → g66s196 | 0 / 0 | 原Native/input/receipt定位 |
| 2271 | g66s196 → MODEL_BACK → g1s1 | 0 / 0 | 原Native/input/receipt定位 |
| 2272 | g1s1 → It seems → g66s196 | 0 / 0 | 原Native/input/receipt定位 |
| 2273 | g66s196 → MODEL_BACK → g1s1 | 0 / 0 | 原Native/input/receipt定位 |
| 2274 | g1s1 → MODEL_CLICK → g60s163 | 0 / 0 | 原Native/input/receipt定位 |
| 2275 | g60s163 → MODEL_BACK → g1s1 | 0 / 0 | 原Native/input/receipt定位 |
| 2276 | g1s1 → MODEL_CLICK → g12s25 | 0 / 0 | 原Native/input/receipt定位 |
| 2277 | g12s25 → MODEL_BACK → g1s1 | 0 / 0 | 原Native/input/receipt定位 |
原生选择信息
只复用ModelAction事实,不代表结果覆盖或可执行Concrete库存。
{
"event": "SELECTION_DECISION",
"step": 2368,
"monotonic_ns": 1615999256681010,
"wall_time_ms": 1793726951703,
"abstraction_version": 69,
"state_id": "g1s1",
"model_action_id": "g1a8",
"snapshot_reason": "selection",
"state_visits": 561,
"state_first_seen": 1,
"state_last_seen": 2368,
"state_saturated": true,
"state_saturation": 1,
"native_state_saturated": true,
"native_unsaturated_model_action_count": 0,
"model_action_count": 9,
"enabled_valid_action_count": 9,
"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": 62,
"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,285,1018,390",
"selected_resolved_node_count": 1,
"event_line": 6318
}