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

Region 探索流量与时间序列离线验证

完成范围:五 App、十条有效 Pure、23,279 次确认执行;Native 最终结构基线514个非Singleton,默认Infomap443个社区(349个非Singleton、94个Singleton),122个同源Activity作用域的入口组。没有启动设备、GPU、Provider或新实验,没有修改正式实现。

主要结果:Infomap能定位实际预算流转区域;不能把这些社区直接当完整业务功能或充分探索证明。PPR分数能关联入口,但本批sweep常扩张到公共导航,暂不宜作为主边界。

从这里审阅

数据与复算

只读复用此前六轮目录,原始归档严格来自第六轮 evidence/archive-manifest.json 的十条COMPLETED_VALID白名单。每条确认Native事件逐行核对原始jev-events;输入、receipt和GUI资产复用既有证据。原件SHA、源码摘录和保护清单在 evidence/。不存在State ID跨Rep直接相等的匹配。

在当前仓库运行(不改工程依赖,现有成熟库已安装):

PYTHONDONTWRITEBYTECODE=1 OPENBLAS_NUM_THREADS=1 OMP_NUM_THREADS=1 python reports/region-flow-community-study-20261108/analysis/analyze.py
PYTHONDONTWRITEBYTECODE=1 python reports/region-flow-community-study-20261108/analysis/summarize.py
PYTHONDONTWRITEBYTECODE=1 python reports/region-flow-community-study-20261108/analysis/ppr_checks.py
PYTHONDONTWRITEBYTECODE=1 OPENBLAS_NUM_THREADS=1 python reports/region-flow-community-study-20261108/analysis/build_viewer.py
PYTHONDONTWRITEBYTECODE=1 python reports/region-flow-community-study-20261108/analysis/write_reports.py
PYTHONDONTWRITEBYTECODE=1 python reports/region-flow-community-study-20261108/analysis/verify_viewer.py

依赖版本和全部参数见 parameters.json。Python3.13.11,Infomap2.15.1、NetworkX3.2.1、NumPy2.0.2、SciPy1.17.0;ARI使用已安装scikit-learn,版本见code-provenance。脚本只写本研究目录;复算需要本地原始十归档和前六轮,不是脱敏网站中路径即可重跑。

离线查看

复制整个 visuals/ 目录,在浏览器用file://打开index.html。按run延迟载入本地JS;无需服务器、网络或CDN。选择算法、Back处理、区域、25/50/75%前缀,播放或拖动时间轴。Source/Target切换真实图;点击State查看历史代表图。局部显示只是视野,不删除算法图边。PPR多区域重叠以外环显示,时间轴保留多条重叠lane。全程节点布局仅是可视坐标,不是GUI空间或业务真值。

历史截图可能晚于游标,仅供审阅,未参与历史前缀计算;未认证同GUI时明确标记,控件框使用虚线投影。完整Concrete库存和剩余机会仍NA;本轮没有重新计算Concrete覆盖。

可视证据可用性

每run GUI可用性表区分同GUI证据、历史代表图和MISSING。特别是Wiki Rep1/2分别987/814个Source执行缺图,不能假装全轨迹都有精确截图;图缺失不影响已确认转换顺序,但限制语义审阅。完整Concrete库存仍为NA。

边界

所有角色/功能标签继承既有离线审阅,未经人工金标确认;本轮没有调用新语义模型。计数为真实确认执行,不把拓扑边计作频次。 前缀区域来自物理截断的当时图,已知标签作为研究条件,不证明在线当时已经自动发现入口;Dominator历史根快照不可完整恢复,A-flow是明确标注的观测段首根代理。全部断点不冒认重启,左右删失不计完整停留。验证PASS是数据/网页验收,不是独立科学审查。