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

入口条件化PPR：分数有关联性，sweep边界容易泛化

种子和Activity约束

继承第六轮116个功能×run候选，按Source Activity拆为122组；UNKNOWN Activity按Source State再拆，不跨Activity候选匹配。保留不同ModelAction、Concrete、Source State和多个实际Target。Add56/63、Edit81/101，ODK Download121/109，WikiⅠSearch29/55；不把Ⅲ输入/提交当Ⅰseed。ODK第二轮旧104与当前109之差为此前已确认5个get_forms父卡片，并非本轮新增入口。

Snooze局部日期操作和Scarlet CreateList未确认Ⅰ入口仅作流量上下文，不伪造PPR种子。跨Rep以相同功能候选、Source Activity、真实控件/GUI和结果审查，见 cross-rep-evidence，不比较State ID相等。

有向局部划分而非随意分数阈值

NetworkX PageRank；alpha=0.75/0.85/0.95，频次种子与每Target均匀种子；G1/G2/G3均运行。默认alpha0.85、按真实目标次数加权。完整State分数、排名和每一步sweep在 analysis/ppr/<run>.json。

为使有向切割有稳定体积，先由真实加权转移P构造Q=0.85P+0.15均匀teleport（dangling均匀），pi为其平稳分布。F(i,j)=pi(i)Q(i,j)，Phi(R)=F(R,¬R)/min(pi(R),1−pi(R))。以ppr/pi降序sweep，要求覆盖所有已观察seed且pi(R)≤0.5，取最小Phi；无可行非平凡集记NO_LOCAL_SOLUTION。全部未受半体积限制的最小集也保留，避免隐藏公共导航扩张。这里是明确实现的正则化有向流cut实验，不声称等同所有PPR局部算法或某论文完整算法。

另比较主Target单种子与多Target，并对28个重点组独立重算sweep三点cut及平稳流守恒，通过 ppr-cut-validation。库PageRank解与本研究cut选择分别负责，不自造优化器。

算法依据与实现边界

采用成熟库而非自行编写Infomap优化器。主要依据是Infomap官方产品与代码说明、Rosvall/Bergstrom原始map-equation论文、NetworkX PageRank API；下载状态及SHA见 算法文献索引。若特定旧API链接404或论文证书失败，失败原样保留，不冒称已读；已经成功获取官方Infomap页面、原始论文摘要及PageRank文档。本研究正则化有向cut的精确定义与数值验收优先于笼统套用某论文保证。

结果：本批尚不能把PPR作为主定位边界

• ODK Rep2 Download：alpha0.75/0.85/0.95均18 State，默认1902来源步骤、1877内部、包含MainMenu g1s1、表单列表等，占确认预算87.8%。相比Infomap四State，100% seed覆盖是约束内生，不是功能更完整证明。
• ActivityDiary Rep1 MainActivity Add：alpha变化得到40/38/35 State；Main Edit46/45/无局部解；默认Add/Edit有大量重叠。共同编辑页可重叠是优点，首页/其他页面也被包含是边界风险；不能因含共同页就认为所有Save结果等价。
• Wiki Rep2 Search（Main来源）181/178/157 State，Page来源195/190/174 State，明显大于局部搜索模块，阅读、语言及导航被共同包含。源Activity仅限制入口成员，不保证游走永远不跨Activity；这是有意保留的真实流。
• 默认122组有121个局部解；“有解”并不代表有业务意义。较大alpha有更多无解，不用降低任意阈值隐藏失败。

PPR区域大小、公共hub、重叠Jaccard和主Target敏感性分别见 sensitivity、counterexamples、ppr-overlap、multi-target。这只否定本批配置直接作为功能边界的可靠性，不否定PPR分数作为入口邻域关联线索的价值。