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

真实时间回溯与深度结果

协议

距离 1 就是确认到达 Header 的那次动作,距离 2 包括其前一次输入,以此类推。只有相邻 native transition、相邻确认顺序、严格递增 monotonic time、target/source GUI ID 和 timestamp 一致、observed State 一致、abstraction version 一致,才可拼接。碰到未确认中间转换、GUI 缺口、State 变化、版本变化即停止;没有从 UTG 反向搜索替代历史。

本轮不声称回顾使用的收尾 Header 在每次历史发生时已拥有同一子树。回溯只认证输入顺序及观察关联,不做跨版本 lineage 猜测。完整每次到达、窗口完整性和停止原因见 arrivals.csv。

窗口中的Ⅰ角色继承已有证据,并不等于当前功能入口。重点范围使用明确 Download 列表、ActivityDiary editor、Omni Settings、Wikipedia 搜索组件/landing、Scarlet editor 的发生信封,再检查退出、其他Ⅰ入口、quickFix 移交和未知目标。非重点功能的语义关系没有全面审核,保留 UNKNOWN,而不是靠相同 Target 自动认证。

主结果:固定 4,926 次外部确认到达

深度 完整窗 原始Ⅰ发生×Header 具体入口 裸 identity(按run累计) 功能×run 重点支持对 支持具体入口 支持且A0缺失 明确跨界对 关系未知对
1 4926 2321 396 200 81 287 140 0 1 2033
2 4408 2704 526 256 104 320 148 8 84 2300
3 4316 4426 621 298 113 437 152 12 1441 2548
5 3816 6284 711 320 115 462 152 12 2924 2898
10 2741 9655 817 349 116 480 152 12 5767 3408
20 1761 13183 866 361 116 492 152 12 8849 3842

重点支持对、明确跨界对、未知对相加等于原始Ⅰ发生×Header 对。它们不是人工 precision/recall;同一具体入口可在某次正确关联、另一次越界。窗口里 UNKNOWN 角色以及Ⅱ/Ⅲ操作也完整保留在深度表中,不能从Ⅰ统计消失便称作非功能。

深度 2 新支持 8 个 A0 缺失入口;深度 3 增至 12;5、10、20 步没有再增加这批独有入口。 12 个具体入口对应 10 个按 run 区分的裸 identity,其中 7 个 identity 在 A0 也完全未出现。10 个入口有精确收尾转换证据,另外两个 ActivityDiary 入口的真实输入可核对,但不能精确绑定收尾边,必须单独报告。

App / Rep 功能 Source 最小距离 Header 入口 → 到达 B50 入口收尾映射
omninotes / Rep1 omninotes.settings g0s2 2 g8s20 g2e6:714 → g13e399:715 是 有
omninotes / Rep1 omninotes.settings g0s2 2 g8s20 g2e6:57 → g8e38:58 否 有
omninotes / Rep1 omninotes.settings g0s2 2 g8s20 g10e148:539 → g11e372:540 否 有
omninotes / Rep1 omninotes.settings g0s2 3 g8s20 g2e6:592 → g13e399:594 否 有
odkcollect / Rep2 odkcollect.download g19s75 3 g11s38 g20e251:700 → g11e102:702 是 有
odkcollect / Rep2 odkcollect.download g20s77 3 g11s38 g20e260:722 → g11e102:724 是 有
wikipedia / Rep1 wikipedia.global-search g3s18 2 g42s213 g53e586:696 → g53e587:697 是 有
wikipedia / Rep1 wikipedia.global-search g4s37 3 g42s213 g53e602:712 → g53e587:714 是 有
wikipedia / Rep1 wikipedia.global-search g77s496 2 g68s441 g77e1384:1662 → g77e1385:1663 否 有
wikipedia / Rep2 wikipedia.global-search g53s254 2 g26s116 g54e772:902 → g54e773:903 否 有
activitydiary / Rep1 activitydiary.add-activity g27s83 2 g21s63 g27e176:218 → g27e177:219 是 历史未知
activitydiary / Rep1 activitydiary.add-activity g27s75 2 g21s63 g31e455:563 → g31e456:564 是 历史未知

更深窗口的实际代价

3→5 步,支持对 437→462,具体支持入口仍 152;明确跨界对 1,441→2,924,关系未知对 2,548→2,898。新增支持主要为同一入口的更多回流/到达证据,不能把 raw Ⅰ对从 4,426→6,284 全记成发现收益。到 20 步,8,849 个Ⅰ发生×Header 对有明确干扰或退出证据。

五步也有真实价值:ActivityDiary Rep2 Add→字段→颜色→颜色值→SELECT 回到 g27s96,是已知入口的五步合法关系,不是新具体入口。不能把所有 Back 当退出;ODK 的 Back 可仍停留在下载连接页。

窗口完整性敏感性

最大完整窗固定分母 深度 到达数 原始Ⅰ对 支持对 支持具体入口 跨界对 未知对
5 1 3816 1571 260 127 0 1311
5 2 3816 1895 291 136 72 1532
5 3 3816 3286 400 141 1130 1756
5 5 3816 5119 424 143 2603 2092
20 1 1761 417 99 75 0 318
20 2 1761 608 109 79 45 454
20 3 1761 884 127 85 169 588
20 5 1761 1341 138 86 413 790
20 10 1761 2546 146 87 1250 1150
20 20 1761 4835 156 90 3155 1524

全可用窗的三步覆盖了二十步见到的所有 152 个具体入口,但这不是“三步普遍最优”的证明。固定完整五步的 3,816 次到达中,3→5 仍由 141→143 个支持入口;固定完整二十步的 1,761 次到达中,5→20 由 86→90。限制样本后,某些入口的短直达记录不在相同分母里,不能以全局去重掩盖这种差异。建议下一阶段先验证 1–3 步、遇连续同功能操作再扩到 5 的审查预算;不是实现或固定新阈值。

Refresh 在第二轮的Ⅰ/Ⅱ定义有争议,本轮默认保守遇到另一个Ⅰ入口就停止对旧 Download 的归因。refresh-scope-sensitivity.json 另列视其为下载内部命令的结果,没有静默重写主标签。允许该命令不自动解决共享页面和未知 GUI。

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