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

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

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

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

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

事件: g41e566:1592
执行序号: 1592
Native step: 1606
原日志行: 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
Region成员: ['g14s31', 'g37s112', 'g40s130', 'g41s176', 'g7s15', 'g7s16', 'g9s19', 'g9s20', 'g9s21']
实际来源执行: 792
内部流量: 664
确认进入 / 保守重入: 133 / 108
完整停留P90 / 最长: 18.6 / 52
最后20%: {'steps': 61, 'new_state': 0, 'new_state_target_inside': 0, 'new_state_target_outside': 0, 'new_transition': 3, 'new_state_pair': 2, 'native_new_model': 0}

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

序号	事件	Source→Action→Target	新增	原证据
1591	g41e565:1591	g41s168 → Search N → g41s168	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1592	g41e566:1592	g41s168 → No Notes → g40s130	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1593	g41e567:1593	g40s130 → MODEL_BACK → g23s61	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1594	g41e568:1594	g23s61 → It seems → g40s130	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1595	g41e567:1595	g40s130 → MODEL_BACK → g23s61	{'native_new_state': False, 'first_model_transition': False}	原始Native/input/receipt定位
1596	g41e569:1596	g23s61 → MODEL_CLICK → g19s48	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1597	g41e570:1597	g19s48 → MODEL_BACK → g23s61	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1598	g41e571:1598	g23s61 → +7869946 → g23s61	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位
1599	g41e572:1599	g23s61 → MODEL_CLICK → g23s61	{'native_new_state': False, 'first_model_transition': True}	原始Native/input/receipt定位

输入前Native快照

饱和与未访问是Native ModelAction证据，完整有效Concrete库存仍NA；不重算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
}

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

source g41s168

target g40s130

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

输入前Native快照