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

真实成功案例、失败案例和证据缺口

查看器不是示意图：每个转换都引用归档 transition_id、event_line、input/receipt SHA、原始GUI ID/timestamp与具体动作。蓝色实线为真实确认历史，灰虚线为收尾拓扑。多次轨迹叠加图有意合并观察节点，但完整连接不冒充单次执行；“当次历史”视图按时间展开重复 State。

ODK Rep2：真正新增的跨 Source 具体入口

Header g11s38 的直接控件是 Cancel（Ⅱ）。Download 在三步前；另一路 get_forms 卡片 g20e251:700→g11e140:701→g11e102:702 也汇入。两条都是真实相邻 GUI/version 连续序列，不是从拓扑逆搜。Back 留在下载 Activity 内，不能统一视为退出。

• g20e260:722，事件行 1998，v20：g20s77 → Download (g20a422) → g11s37。
• g11e140:723，事件行 2000，v20：g11s37 → MODEL_BACK (g11a203) → g11s37。
• g11e102:724，事件行 2002，v20：g11s37 → Cancel (g11a202) → g11s38。

离线查看此 Header。

ActivityDiary Rep1：Add → 字段 → 共享 Header

两步找到 Add Activity（Ⅰ），到 g24s69 后输入 Activity 字段再到 g21s63。入口旧边不能精确映射收尾图，但原输入/回执/事件及前后 GUI 时间可核对；到达本身 final_exact。另一个新成员 g31e455:563→g31e456:564 经 Rename deleted activity… 操作到同 Header，保留业务模式差异。

• g27e176:218，事件行 531，v27：g27s83 → Add Activity (g27a1004) → g24s69。
• g27e177:219，事件行 533，v27：g24s69 → Activity (g24a811) → g21s63。

离线查看此 Header。

ActivityDiary Rep2：五步颜色回流有价值，但不是全新入口

Add → 字段 → 颜色 → 色值 → SELECT 回到 Header。支持多步功能内回流，不能因为 Add 已经在 A0 出现又算一次新的具体入口。编辑已有对象也进入 g27s96，并共享后续操作。

• g41e1061:2203，事件行 5623，v43：g41s179 → Add Activity (g41a2656) → g27s96。
• g27e281:2204，事件行 5625，v43：g27s96 → Activity (g27a1398) → g27s96。
• g27e285:2205，事件行 5627，v43：g27s96 → edit_activity_color (g27a1399) → g3s6。
• g3e5:2206，事件行 5629，v43：g3s6 → E64A19 (g3a138) → g3s6。
• g43e1290:2207，事件行 5631，v43：g3s6 → SELECT (g3a139) → g27s96。

离线查看此 Header。

Omni Rep1：Settings 成员被非Ⅰ子页直接入口掩盖

Settings → Online m… → Interface 到三 State Header g8s20。四种语言身份都从同 Source g0s2出现；不能误写为四个 Source State。另两步 Settings→Data 到 g10s48。

• g2e6:592，事件行 1512，v13：g0s2 → Settings (g0a16) → g2s5。
• g13e398:593，事件行 1515，v13：g2s5 → Online m (g2a52) → g2s5。
• g13e399:594，事件行 1517，v13：g2s5 → Interfac (g2a47) → g8s20。

离线查看此 Header。

Wikipedia：Ⅰ开启与Ⅲ查询依赖分开

主页 search_container 开启Ⅰ功能；随后 SearchActivity 字段点击携 planned input text 是Ⅲ复合查询，再到 Header。单看 Header 直接 Search 名称会混淆角色。

• g77e1384:1662，事件行 4028，v77：g77s496 → search_container (g77a5688) → g77s497。
• g77e1385:1663，事件行 4030，v77：g77s497 → Search W (g77a5700) → g68s441。

离线查看此 Header。

失败：Add 已经结束，却在三步窗口中被错连到抽屉

Add → Delete activity 返回 Main → Open navigation 到29 State Header g11s34。原始窗口可找到Ⅰ，但它已跨编辑退出，关联标 REJECTED；大 Region 不是相关性证明。

• g17e212:261，事件行 634，v17：g15s50 → Add Activity (g15a754) → g8s22。
• g17e213:262，事件行 636，v17：g8s22 → Delete activity (g8a403) → g15s50。
• g17e214:263，事件行 638，v17：g15s50 → Open navigation (g15a753) → g11s34。

离线查看此 Header。

失败：Scarlet 新建 → Back → 其它 Header

空态 It seems 打开新建编辑，Back回 g1s1，然后另一个动作到 g60s163。回溯三步原始Ⅰ会出现，但不应作为该 Header 的功能入口。134次空态新建的真实重复主要落 Singleton，A1未可靠补齐。

• g66e386:1340，事件行 3482，v69：g1s1 → It seems (g1a9) → g66s196。
• g66e384:1341，事件行 3485，v69：g66s196 → MODEL_BACK (g66a2450) → g1s1。
• g62e333:1342，事件行 3488，v69：g1s1 → MODEL_CLICK (g1a10) → g60s163。

离线查看此 Header。

Scarlet：CreateList / CreateNote 的匿名图标反例

Rep1 g36s105 是 13 State 清单子树，g40s130 是 15 State 笔记子树，两者均保留 nested_deferred 投影标记。g37e248:419 的代表 Source 图红框在底部列表图标，实际到 CreateList；g37e250:421 位于加号并到 CreateNote。但这些图非全部严格同次，只标“Ⅰ?”的个例判断，不传播到 identity 全组。

Rep2 g62e258:543 有同 GUI 审计 Source 图，底部加号到 CreateNote，可以逐例支持Ⅰ；其 aggregate 仍保持冻结 UNKNOWN，以免仅选正例重新标全量统计。g62e365:709 的代表图框却在网格/布局图标，观察到 CreateNote；原因未知，不能因 Target相同就认证同一创建入口。四个精确 related组的冲突和全部实际结果在 identity-context-counterexamples.json。

Rep2 Header g66s197 的三 State Region 没有精确确认外部到达，查看器仍展示其支配树和 incoming topology，并明确无历史；不能补造前驱路径作为正例。匿名列表/加号候选的完整真实执行在 pending表，功能角色与同功能成员关系保持待研究者审核。

入口之前和之后均有缺口

回溯停止原因包括 GUI ID/timestamp 不连续、State 对不上和 abstraction version 变化。没有越过缺口接同名控件；旧标识未映射不等于没有执行。后续轨迹也遵守相同连续性，未知终点不自动当功能完成。

所有分类与功能关系是 agent 离线探索性审核/规则推断，human_confirmed=false，没有调用外部模型、Provider 或 GPU。SUPPORTED 不等于人工金标，也不代表业务身份完全相同。没有恢复全量 Native Naming 对象或历史模型重绑定；旧 State/ModelAction 无精确收尾映射时保留未知。截图分同 GUI ID/timestamp 审计图与同 State 代表图；后者的红框仅为归档 bounds 投影，不能证明当次触摸对齐。

查看器索引