公开研究副本:本地绝对路径、实验主机地址已脱敏。NA 保留,Infomap社区不是业务功能金标;入口为Oracle Replay;未做真实设备在线验证。角色与功能关联是可审核离线推断,未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件,公开字节 SHA 见发布清单。
十条Pure的严格前缀验证
| App | Rep1确认 | Rep2确认 |
|---|---|---|
| ActivityDiary | 2355 | 2280 |
| ODK Collect | 2074 | 2167 |
| Omni Notes | 2601 | 2356 |
| Scarlet Notes | 2559 | 2443 |
| Wikipedia | 2159 | 2285 |
| 合计 | 11748 | 11531 |
合计23,279。按真实确认执行逐事件构图,不加载最终UTG再裁State。保留每个事件时间、Input/receipt原路径、Native event line与Action identity。analysis/delivery-audit.json逐条回查原生日志;最终图仅用于只读完整性与事后Dominator对照,未输入前缀社区。
每Run在floor(25/50/75/100%)与100/250/500周期处保存快照。477个Snapshot逐一验证:节点只来自已消费前缀;State pair权重与Action三元权重精确;确认总数相同;预算守恒;入口发生和窗口所有序号不超过max_event_seq。重启无认证就保留UNKNOWN,GUI/State/版本断点分段。
留出评价
在250周期检查点冻结成员,未来真实序列只用于evaluation_only表analysis/prefix-holdout.csv。后来出现的新State不会追加入旧区域;只统计从冻结成员Source出发的后续收益,故对扩张后的功能收益是保守局部观察,不等于完整功能召回。
- ODK Rep2 75%=#1625,冻结
g11s37,g11s38,g11s41:训练246来源步;未来98来源步/34进入,0新State、0新三元Transition。 - Wikipedia Rep2 75%=#1713,冻结6节点(含
g86s411):未来24来源步/17进入,2新State、21新三元Transition,未来新Target为g90s474,g93s557。这两个Target在未来评价保留,但不回填旧成员。 - ODK Rep1 #1979新Checkbox转换属于75%之后,之前所选入口已饱和不能抵消这个尚有进展的事实。
这些结果不做“没有未来收益就充分探索”的反推。没有尝试的动作仍未被验证,原生ModelAction进展也不能等价于所有业务结果覆盖。
入口标签来自完整既有研究,明确Oracle;社区、预算和窗口计算时间正确,并不使标签具备历史在线可用性。查看器自动模式首250之前显示无快照,不能用最终分区补色。全程布局仅为视觉坐标,事后State总览和Dominator明确标注,不参与历史判断。
自动验证见replay-validation.csv、native-integration-validation.json、schema-validation.json、browser-validation.json。这些PASS证明所测证据路径,尚未证明设备端真实在线采集完整率。