公开证据副本：本地路径、实验主机已脱敏；数据与截图拆为站内资源。原件 SHA 只认证原件，公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联，未经人工金标或独立外部审查；代表图不认证当次触摸对齐。
入口后的探索证据与 Dominator 子树
本轮不求完整、互斥的功能 State 分区。入口后的连续确认发生可以跨多个 Header，也可与其他入口共享编辑/搜索页面。结构子树只提供局部关联线索。
| 功能 / Rep | 执行 | Source State | ModelAction | Concrete identity | Activity精确组 | 5步支持Header | 精确后续State / 子树重合 |
|---|---|---|---|---|---|---|---|
| omninotes.settings / Rep1 | 12 | 1 | 1 | 4 | 4 | ["g10s48", "g5s13", "g8s20"] | 15 / 5 |
| omninotes.settings / Rep2 | 9 | 1 | 1 | 1 | 1 | ["g6s26", "g9s85"] | 11 / 7 |
| odkcollect.download / Rep1 | 121 | 1 | 1 | 1 | 1 | ["g16s70"] | 5 / 1 |
| odkcollect.download / Rep2 | 109 | 3 | 3 | 3 | 3 | ["g11s38"] | 2 / 1 |
| scarletnotes.create-note-empty-state / Rep1 | 27 | 8 | 14 | 10 | 10 | ["g40s130"] | 10 / 10 |
| scarletnotes.create-note-empty-state / Rep2 | 134 | 2 | 3 | 2 | 2 | [] | 1 / 0 |
| wikipedia.global-search / Rep1 | 29 | 19 | 20 | 7 | 7 | ["g33s149", "g42s213", "g55s302", "g57s310", "g62s343", "g62s344", "g68s440", "g68s441", "g69s447"] | 26 / 12 |
| wikipedia.global-search / Rep2 | 55 | 35 | 36 | 9 | 9 | ["g26s116", "g27s122", "g41s193", "g41s198", "g41s199", "g5s29", "g70s323", "g86s411", "g86s414", "g86s431", "g90s474", "g90s493"] | 39 / 21 |
| activitydiary.add-activity / Rep1 | 56 | 28 | 29 | 3 | 4 | ["g21s63", "g29s91"] | 5 / 2 |
| activitydiary.edit-existing-activity / Rep1 | 81 | 24 | 55 | 34 | 34 | ["g21s63", "g47s168", "g47s169"] | 6 / 3 |
| activitydiary.add-activity / Rep2 | 63 | 31 | 33 | 4 | 5 | ["g27s96"] | 4 / 2 |
| activitydiary.edit-existing-activity / Rep2 | 101 | 25 | 68 | 55 | 55 | ["g27s96"] | 1 / 1 |
共 797 次重点Ⅰ输入的逐次发生在 entry-downstream-episodes.jsonl。每个发生包含入口、所有连续后续动作、明确退出/新入口/未知/版本/GUI缺口停止原因。边界转换保留，但不把其外部 Target 计成功能内。后续图边从真实相邻确认记录提取，没有补造尚未执行的路径。
重复证据：两个新增信号不能混用
new_state 来自原 NATIVE_TRANSITION。转移信号是“截至当时的确认记录中，是否首次见到 (observed version, State, ModelAction, Target)”；它不是原生完整图的全局新边标记，也不代表方法覆盖收益。未确认观察和模型 lineage 可能不同，因此报告只叫 first-confirmed tuple。
| 功能 / Rep | 输入次数 | 入口无new_state | 完整边界发生 | 发生内无new_state且无首次确认tuple | 功能内完整后5步 | 后5步双零 | 最大重复完整后缀 |
|---|---|---|---|---|---|---|---|
| omninotes.settings / Rep1 | 12 | 12 | 10 | 2 | 5 | 0 | 0 |
| omninotes.settings / Rep2 | 9 | 9 | 9 | 1 | 5 | 0 | 0 |
| odkcollect.download / Rep1 | 121 | 119 | 116 | 113 | 3 | 2 | 80 |
| odkcollect.download / Rep2 | 109 | 108 | 109 | 101 | 1 | 0 | 84 |
| scarletnotes.create-note-empty-state / Rep1 | 27 | 27 | 22 | 2 | 11 | 5 | 5 |
| scarletnotes.create-note-empty-state / Rep2 | 134 | 134 | 133 | 129 | 0 | 0 | 131 |
| wikipedia.global-search / Rep1 | 29 | 21 | 22 | 0 | 3 | 0 | 0 |
| wikipedia.global-search / Rep2 | 55 | 42 | 49 | 1 | 4 | 0 | 0 |
| activitydiary.add-activity / Rep1 | 56 | 53 | 51 | 9 | 3 | 1 | 5 |
| activitydiary.edit-existing-activity / Rep1 | 81 | 79 | 75 | 8 | 9 | 5 | 6 |
| activitydiary.add-activity / Rep2 | 63 | 61 | 53 | 16 | 3 | 2 | 6 |
| activitydiary.edit-existing-activity / Rep2 | 101 | 100 | 98 | 20 | 0 | 0 | 14 |
“发生内双零”允许因缺口截断的非空发生，必须结合 complete_episodes 与停止原因审查，不能全部当完整业务无收益。最大重复后缀只统计有明确边界的逐次相同 State/ModelAction/Target 后缀。对象数据、方法覆盖和业务效果未被这些代理覆盖。
具体关系
- ODK Rep1 / Rep2 Download 的保守发生有 5 / 2 个精确后续 State，与五步支持 Header 子树并集重合 1 / 1；并非旧研究的完整下载 C 范围变小了，而是本轮遇到其他Ⅰ（含有争议的 Refresh）就停止旧入口归因、加上更严格连续性，保留可比边界差异。原
Refresh定义的敏感性单独给出。 - ActivityDiary Add 后续分别 5 / 4 个精确 State，关联 Header 子树并集重合 2 / 2；已有活动编辑也共享其中一些 State 和可执行控件。树不完整覆盖发生，但关联不是空的。g21s63 的子树还包含 Main/Manage 退出端，不能只凭子树成员认定功能归属。
- Wikipedia Search 后续 26 / 39 个精确 State，关联子树并集重合 12 / 21。Ⅰ入口之后还会有Ⅲ查询、namespace 分支、清理与阅读/语言移交。一次入口可以支持多个后续 Header，多个入口也会共享搜索组件；这不等价于拥有排他大 Region。
- Scarlet Rep2 的空态新建 134 次，功能内只有 1 个精确 State，未在主非 Singleton Header 中得到支持关联；深回溯往往已经 Back 到主页。这是高频源仍有独有价值的负面案例。CreateList 的无名图标证据保留待确认，没有套用同 identity 批量分享业务证据。
所有分类与功能关系是 agent 离线探索性审核/规则推断，human_confirmed=false，没有调用外部模型、Provider 或 GPU。SUPPORTED 不等于人工金标，也不代表业务身份完全相同。没有恢复全量 Native Naming 对象或历史模型重绑定；旧 State/ModelAction 无精确收尾映射时保留未知。截图分同 GUI ID/timestamp 审计图与同 State 代表图；后者的红框仅为归档 bounds 投影，不能证明当次触摸对齐。
下一阶段应研究以入口发生为单位、保留对象/创建编辑/查询模式和退出边界的新增探索证据，再验证共享后续操作是否可跨发生复用。需加入独立研究者复核和留出轨迹，记录 State/Transition 以及未来可用的覆盖增量；本轮没有计算正式充分性评分、阈值或禁用决策。