公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Dominator与流量社区不是功能金标；完整可执行库存仍缺失。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。

三算法比较：不能以内部流量自证优越

同图与规模控制

A-final保留现有Native精确收尾结构；A-flow将相同支配定义放到确认图/历史段首根代理。Infomap与PPR共享G1/G2/G3确认加权图。为防大Region自然获得高流量，保存每个Region的size、budget、Pstay、完整停留、重入、晚期S/T、原生ModelAction提示，并分别统计2–5、6–15、≥16规模层；见 method-summary。不能把不同size分布的总均值当公平优越性检验。

维度	Dominator	Infomap	PPR sweep
核心定义	严格结构支配	实际随机游走流社区	入口条件随机游走+有向cut
预算流转	常碎片化，但局部结构清楚	本批能显示反复流转单元	常大到公共导航/近全run
入口关联	非直接一一对应	需另接入口实际目标/轨迹	显式seed，但目标覆盖内生
分叉汇合	汇合前支配不成立常碎片	可合并频繁往返，也可切开同功能	可跨分支，但可吞掉其他功能
共享State	子树可nested，不等于功能多归属	全局单分区，不能直接表达多功能	允许重叠，但共享不证明模式/结果等价
时间证据	完整段/重入可独立检验	此项增加实际研究价值	大区域容易天然长驻留
跨Rep	局部结构与抽象有关	ODK Rep1/2社区业务粒度不同	seed差异与公共hub导致大小差异

真时间前缀

25/50/75%按确认事件数物理截断再构图、Infomap、PPR与A-flow。只有当时已执行的冻结Ⅰ标签成员及实际Target作seed，不从最终State集合补边/补root/补目标。全部候选（含单点/无解）和G1/G2/G3共保存在prefix-validation；G1精简表2542行。标签本身是事后可审核研究条件，不代表在线当时已经自动识别功能。

Method	前缀	非Singleton	留出仍活动	留出有重入	留出新State	留出新Transition	对最终最佳Jaccard中位
A-flow	0.25	336	205	164	115	203	1.0
A-flow	0.5	403	176	123	82	166	1.0
A-flow	0.75	471	136	87	53	121	1.0
Infomap-G1	0.25	212	156	135	91	155	0.571
Infomap-G1	0.5	263	145	118	83	140	0.833
Infomap-G1	0.75	312	126	91	53	119	1.0
PPR-G1	0.25	109	108	108	98	108	0.327
PPR-G1	0.5	117	117	116	105	117	0.546
PPR-G1	0.75	120	120	116	104	119	0.753

这里每列数的是“有该现象的区域数”，不是收益总量或预测准确率；Region重叠与多个前缀高度相关。Jaccard只衡量结构成员延续，不证明功能身份，A-flow的1.0常来自小子树，不能拿来直接判赢家。

两个相反的留出案例

ODK Rep2 75%：当时Infomap三State g11s37/g11s38/g11s41，训练246来源步；冻结成员在后续98步、34确认进入中0新State/0新ModelAction三元转换。确实验证这组已知状态后部高度重复；但随后其他来源Sent控件到新 g20s82（#1762），不能因不属旧成员而声称整个Download相关页面永无新发现。
Wiki Rep2 75%：当时六State组含 g19s94/g39s173/g78s364/g86s410/g86s411/g86s413，后续24来源步、17确认进入，2新State/21首次转换。新增节点仍未追认旧成员；是旧区域动作的跨边界发现事实。入口ⅠSearch→Ⅲ查询/清除/语言选择仍有新分支。

结论强度

支持下一阶段以Infomap流量社区作为预算活动候选，接已有Ⅰ入口和短实际轨迹，保留Dominator作局部结构核对。暂不支持把PPR最小cut直接当Region边界，也不支持替换Native后立即禁用。当前只有2 Rep/App、无业务功能金标、动作库存缺失、抽象可能变化，无法给出正式泛化性能排名或安全SUPPRESS结论。