公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Infomap社区不是业务功能金标；入口为Oracle Replay；未做真实设备在线验证。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。

预算、滞留与原生探索进展

每条真实执行按Source State所属社区分配一次预算，所有社区source_steps之和恰为该Snapshot确认数。内部流量是Source/Target都在成员中的执行；内部比例=internal_flow/source_steps。进入是outside→inside；入口本身即使Target在社区，也不一定穿越社区边界。

各Snapshot指标是把截至该时刻的历史重投到该快照当前成员，不是永久Lineage累计支出。成员变动可使source_steps下降；禁止跨Snapshot求和或把合并后的历史预算解释为刚过去一段的新增支出。真正按已发布快照逐步在线归属的独立预算账本尚未实现，当前入口发生保留执行时快照，可用于后续比较。

重入只计同认证连续段中已退出后再进入。原始缺口/重启未知段之间不强串，因而与进入数可差很多。连续滞留按社区内Source执行步计算：入口跨边不额外计内部预算，出口Source步计入；Run起止/断点片段标left/right_censored，均值/中位/P90/最长仅用完整片段，同时保留删失段原记录。不能把短完整片段代表所有长段。

最近窗口默认最近100条全Run确认执行，再取社区Source步骤，不是最近100次社区进入。repeated_state_share指重复Target发现指标，不等于Source访问频率；三元转换与pair转换分别报告。所有时间口径在CSV中保留。

真实差异

• ODK Rep2最终下载4节点：345/2167来源步（15.92%），内部230，115次边界进入，10次保守重入，完整最长11步。75%冻结3节点后还有98来源步/34进入，却无新State或三元转换，支持观察到的重复低收益。
• ODK Rep1混合14节点1797/2074步（86.64%）、内部1746；最近100全局窗中91步在该社区，0新State但4条新三元转换。不能称完全饱和，更不能把预算全部归Download。
• Scarlet Rep2最终9节点1372/2443步（56.16%）、内部1239、重入106；最近100步全在区域，0新State但1条新三元转换。
• Wikipedia Rep2最终Search相关16节点84/2285来源步，最近100全局窗中11步、1新State/8新三元转换。该搜索局部区域相对ODK不是全Run最高预算块，但高新颖性明确反驳按流量直接判低收益。

APE原生信息的额外价值

复用历史选择日志中的selected visits/unvisited/saturated、原生State饱和、未访ModelAction摘要等；新Native最小流记录只缓存selected三个getter，未复制完整页面库存。十条归档原生选择摘要可用23,251/23,279条，缺28条保留NA（详见可用性表，复算以表为准）。

ODK Rep1 #1978 Download入口原生已饱和；#1979 g16s71 --g16a582 Checkbox→g16s70无新State但有新Transition，所选ModelAction unvisited=true、saturated=false，页面未访计数4。这是新State停滞仍有原生探索进展的反例。

ActivityDiary #232/#276 Save均原生饱和且unvisited=false，但不同结果。ODK Rep2部分记录native_state_saturated=true同时页面unvisited_model_action_count>0，原因可能涉及不同候选资格/原生定义，不能将其转换为Concrete机会数或强行解释成零。

本轮未定义综合停滞分数、饱和阈值或SUPPRESS。原生进展有补充价值，但不认证完整结果覆盖。