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

周期 Infomap Snapshot

对每条已确认 GUI 转换更新有向累计权重 w(source,target)+=1,保留 Back、自环及 Action 原始记录。Restart/Reset/缺口只切轨迹段;未确认选择、Input、UTG 拓扑及无当前输入的历史重建均不进入流量图。各 Run 完全隔离。

使用 Infomap 2.15.1:directed、two-level、seed=11、num_trials=5、num_threads=1、markov_time=1、teleportation_probability=0.15、保留 self links。节点和边按稳定顺序插入,复用上轮默认参数。本轮研究更新频率,不再次展开 Markov/Back 等大范围算法调研。

100/250/500 次确认执行周期分别与 25/50/75/100% 检查点取并集,总计 266/129/82,合计477 个快照。检查点采用 floor,不假定准确小数比例。Snapshot 保存:原始 Snapshot ID、最大已消费 event_seq、确认计数、成员、边权及 Action 三元边、Lineage、入口发生/已成熟窗口、指标和计算时间。

默认 250 是成本与周期等待的折中:仅周期计数引入最多249步等待,另外还存在文件轮询、计算及输出延迟。100 最及时但计算/输出更频繁,500 便宜但延迟更长;没有证明250对所有设备最优。详见 performance.md。

本原型是增量维护图 + 周期完整运行成熟 Infomap。不声称 Infomap 优化器增量化。计算期间 Native 不等待;文件继续增长,下一次 Snapshot 再消费。每个 Snapshot 的证据截止是冻结图的 max_event_seq,没有将未来事件加入当前社区。

为控制内存仅保留上一完整 Snapshot,历史全部落盘。优化前后477个快照在去掉计算耗时字段后逐字典一致,见 bounded-memory-equivalence.json。事件和去重索引仍随 Run 长度增长,未做无限 Run 有界内存承诺。

十条归档最终都产生非平凡社区,但社区数、语义纯度与演化稳定性存在明显 App/Rep 差异,不能用“有社区”作为算法成功的充分标准。