公开证据副本：本地路径、实验主机已脱敏；数据与截图拆为站内资源。原件 SHA 只认证原件，公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联，未经人工金标或独立外部审查；代表图不认证当次触摸对齐。

scarletnotes / Rep2 / g66s197

反例：拓扑有 Region，但无精确确认到达

com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity；Region 3 State（含Header）；0次全部精确到达，其中区外0次。

交互查看每次到达与全部来源本案例完整数据原始输入／回执／GUI摘包与所有表格

Source GUI / 回溯动作

归档缺图，未生成替代GUI。

Target GUI / 观察结果

归档缺图，未生成替代GUI。

Dominator Header GUI

归档缺图，未生成替代GUI。

一条真实连续历史

以下按确认事件顺序展示。全部到达可在交互页逐次选择；不从拓扑逆向拼造历史。

事件 / 行号Source实际Action / ModelActionTarget角色收尾映射

本Header没有精确确认的区外到达，不能用incoming topology替造真实历史。

真实多次路径叠加

蓝色执行边来自分别连续的实际历史；整张叠加图不等于某一次执行。灰虚线仅为拓扑。

G g46s108 g46s108 CreateNoteActivity g66s197 g66s197 CreateNoteActivity g46s108->g66s197 g66e350 g46s109 g46s109 CreateNoteActivity g46s109->g46s109 g46e142 g46s109->g46s109 g52e224 g46s109->g46s109 g52e229 g46s109->g46s109 g46e139 g46s109->g46s109 g46e144 g46s109->g46s109 g46e143 g46s109->g46s109 g52e228 g46s109->g46s109 g46e145 g46s109->g46s109 g52e230 g46s109->g46s109 g52e225 g46s109->g46s109 g46e140 g46s109->g46s109 g46e146 g46s109->g46s109 g52e226 g46s109->g46s109 g52e227 g46s109->g46s109 g46e141 g59s158 g59s158 ViewAdvancedNoteActivity g66s196 g66s196 CreateNoteActivity g66s196->g66s197 g66e348 g66s197->g46s109 g66e357 g66s197->g59s158 g66e374 g66s197->g66s197 g66e372 g66s197->g66s197 g66e352 g66s197->g66s197 g66e373 g66s197->g66s197 g66e356 g66s197->g66s197 g66e365 g66s197->g66s197 g66e351 g9s17 g9s17 CreateNoteActivity g9s17->g66s197 g66e400 g9s17->g66s197 g66e355

Dominator子树

支配树边是结构关系，并非GUI执行边。

G g46s109 g46s109 CreateNoteActivity g59s158 g59s158 ViewAdvancedNoteActivity g66s197 g66s197 CreateNoteActivity g66s197->g46s109 idom g66s197->g59s158 idom

全部已观察incoming topology

EdgeSource → TargetModelAction关系精确执行次数
g66e348g66s196 → g66s197g66a2449external0
g66e372g66s197 → g66s197g66a2453self_loop0
g66e350g46s108 → g66s197g46a1525external0
g66e352g66s197 → g66s197g66a2452self_loop0
g66e400g9s17 → g66s197g9a209external0
g66e373g66s197 → g66s197g66a2459self_loop0
g66e355g9s17 → g66s197g9a206external0
g66e356g66s197 → g66s197g66a2457self_loop0
g66e365g66s197 → g66s197g66a2454self_loop0
g66e351g66s197 → g66s197g66a2456self_loop0

相关功能组的全部具体入口成员

组成员不是仅凭resource ID或Target合并；与此Header是否有关联仍需逐次历史支持。

功能Source / ModelAction控件 / text / desc确认次数观察Target
scarletnotes.create-note-empty-stateg1s1 / g1a8com.bijoysingh.quicknote:id/title / No Notes / 64{'g2s3': 1, 'g66s196': 63}
scarletnotes.create-note-empty-stateg1s1 / g1a9com.bijoysingh.quicknote:id/description / It seems / 69{'g57s148': 1, 'g66s196': 68}
scarletnotes.create-note-empty-stateg62s177 / g62a2267com.bijoysingh.quicknote:id/description / It seems / 1{'g66s196': 1}