公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，完整可执行库存恢复为 0。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。
历史检查点与后续真实发现
无未来信息的口径
每个40组分别在入口累计20/40/60/80%确认时设置检查点，共160个。仅使用 monotonic_ns<=cutoff 的事件/Selection与已记录GUI；按前缀重新分段，不使用完整episode终点事后裁剪。target Activity只采用同GUI树/严格连续下一source回执，且受available_ns约束；最终图只供截图定位，不进入特征。
入口组是事后冻结研究cohort，不主张当时在线已能识别全部成员。历史动作与全run其他入口历史均只能读过去；未完成入口后续不进入最近完成5次。留出指标只看检查点之后新发生入口的轨迹；跨cutoff仍在进行的旧发生不强并为新入口。功能窗口有重叠，检查点有共享晚期事件，不能解释为独立样本/预测准确率。
S=原生new_state；T=首次ID三元组（另保留version键）；C=version/State/ModelAction/Concrete局部首次。最近≤5与后续新集合减全run过去集合不是同一个分母，因此数值不要求相加守恒。
| Run / 功能 | 80%前入口数 | 最近≤5完成发生 S / T / C | 后续入口 | 留出新S / 新ID-T / 新局部C | 精确剩余C |
|---|---|---|---|---|---|
| omninotes-Rep1 / settings | 10 | 0 / 16 / 20 | 2 | 0 / 11 / 17 | NA |
| omninotes-Rep1 / search-notes | 55 | 2 / 8 / 9 | 13 | 0 / 11 / 8 | NA |
| omninotes-Rep2 / search-notes | 102 | 0 / 4 / 6 | 25 | 5 / 36 / 32 | NA |
| omninotes-Rep2 / settings | 8 | 5 / 40 / 40 | 1 | 0 / 5 / 3 | NA |
| odkcollect-Rep1 / download | 97 | 0 / 1 / 0 | 24 | 0 / 3 / 1 | NA |
| odkcollect-Rep2 / download | 88 | 0 / 0 / 0 | 21 | 0 / 0 / 0 | NA |
| scarletnotes-Rep1 / create-note-empty-state | 22 | 0 / 22 / 63 | 5 | 2 / 26 / 88 | NA |
| scarletnotes-Rep2 / create-note-empty-state | 108 | 0 / 0 / 0 | 26 | 0 / 0 / 0 | NA |
| wikipedia-Rep1 / global-search | 24 | 3 / 17 / 17 | 5 | 0 / 9 / 9 | NA |
| wikipedia-Rep2 / global-search | 44 | 3 / 19 / 19 | 11 | 5 / 31 / 38 | NA |
| activitydiary-Rep1 / add-activity | 45 | 0 / 4 / 9 | 11 | 1 / 16 / 14 | NA |
| activitydiary-Rep1 / edit-existing-activity | 65 | 0 / 5 / 6 | 16 | 1 / 30 / 28 | NA |
| activitydiary-Rep2 / add-activity | 51 | 0 / 4 / 3 | 12 | 1 / 24 / 32 | NA |
| activitydiary-Rep2 / edit-existing-activity | 81 | 0 / 9 / 7 | 20 | 0 / 26 / 27 | NA |
全部160点、过去序列、当时机会快照与留出事件ID见 temporal-checkpoints.json。查看器默认折叠未来事实，避免在阅读过去证据时混入答案。
哪些信号有价值
有完整最近5个完成分段且最近new_state为0的58个重叠检查点，后来18个还有新State、40个有新ID转换、30个有新局部Concrete。最近S/T/C三类都零的29个点，后来新State为0，但15个仍有新ID转换、5个有新局部Concrete。它们说明多指标比State单指标更有区分力；不是足够停止的阈值，也没有评价未尝试分支。
ODK Rep1 80%为第97次Download；最近5次State与Concrete均零（转换仍有1次），之后24次入口中出现3个新ID转换和1个新局部Concrete。g16e255:1978 → g16e256:1979 Checkbox是具体反例。历史Selection中g16s71/g16a582仍未访问；真正执行时selected_model_action_visits=0/unvisited=true，Target是旧State却转换新。该同Activity精确控件以前做过，并未覆盖这个上下文。
ODK Rep2 80%第88次以后21次S/T/C零；Scarlet Rep2第108次后26次也零。因为完整库存缺失，归档没有尝试其余动作仍不能证明未来没收益。Omni附件Rep1/2晚期差异与Wiki/AD正好构成跨Rep限制。
机会提示并非有效库存
132条“过去模型unvisited、后来实际执行”检查点行含重复与Back；不是132个新增具体控件。过去快照的enabled-valid-unvisited总数是EXACT记录，但没有给每个ID赋资格；旧version/旧页面机会不可搬到当前页。未来执行只能证实后来可执行，不倒推早期一直可用。对象、模式、文本与不同结果仍要分开。
本轮不拟合充分性评分、阈值或SUPPRESS反事实，不把后续无新增当收益为零；未计算方法覆盖、后端成功或全业务行为覆盖。