公开证据副本:本地路径、实验主机已脱敏;数据与截图拆为站内资源。原件 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 投影,不能证明当次触摸对齐。