图结构、执行流量与入口证据

本轮只分析既有 Pure 归档，不启动设备、Provider、GPU 或新实验，不处理 Android Smoke 的设备锁，不修改 Native、Probe、APE 决策或 SUPPRESS。所有入口语义均为既有离线探索性 Oracle 推断，human_confirmed=false，在线确认数为 0。下文“入口组”“功能切换”均须按这一证据等级理解；不是新的人审金标。

执行序号 #n = trace.order + 1，不是 Native step，也不是 JSONL 行号。每条记录保留这三者及 transition_id。社区编号在各 Snapshot 内局部有效，跨时刻使用真实成员交集与 lineage。截图为真实归档像素，大多只是同 State 的历史代表图，不认证当次动作的原子对齐；MISSING 和 UNKNOWN 不补造。

少量可解释指标

确认事件每条给有向State pair加1，包括真实自环；同一pair上的不同ModelAction另外保留。不根据new_state或动作选择次数加权。最终社区分区采用同一Shadow实现；没有混用旧研究插入顺序不同的最终分区。

• source_steps = internal + outgoing；内部流是两端均在群的真实转换，入流Source群外Target群内，出流相反。外邻统计实际有边的不同其他社区（双向合并去重）。
• P(stay)=internal/source_steps，反映实测内部比例，不是语义纯度或探索充分度。
• boundary_ratio=(incoming+outgoing)/(2*internal+incoming+outgoing)，报告规模、绝对流与每成员Source/外邻，避免只因大群而天然排名靠前。
• State有向betweenness计算去掉自环，分别用无权最短路与distance=1/flow_count。执行次数是强度，不能直接当距离。逆强度距离也只是一种描述性假设；不证明GUI角色。未新增新的在线Hub阈值。
• 直接入口分布只计既有明确transition ID命中的Oracle入口Target；熵以入口组为单位，主要组占比报告分母。多个组可以是同功能不同Activity；也可能共享State，不当作完整功能分布。
• 入口条件化分布用真实片段内Source次数，不含启动该片段的入口input，含最终返回动作，Target访问另存。distribution_overlap=Σ min(p_i,q_i)；样本量、State support和Action三元组重叠均保留。

案例统一口径

全443群表见JSON和CSV；自动候选排序有内部流、外邻数量、外邻/成员、入口组数、Source/成员五种，无自动类别标签。排名

不能只用单一指标分类

ODK Rep1大群P(stay)=97.16%，反而高于Rep2局部Download的66.67%；因为多分支边界被吞进群内。反之小群可有很高外邻/成员，Wikipedia Rep1某9-State群有35外邻，但79个Source样本、51%UNKNOWN，不能据排名断言是语义导航中心。

Omni Rep2 singleton g8s37有117个内部自环、2入0出，P(stay)=100%，动作UNKNOWN=93.16%；它是“高保留≠独立功能”的明确反例。ActivityDiary的Add/Edit共享页和Wikipedia的循环共享页面也否定强制树结构。

不确定性与守恒

入口证据覆盖3,847/23,279=16.52%的输入，不覆盖其他输入。unknown_action_label_share取旧标签的UNKNOWN；unattributed_share取未被任何入口截断片段覆盖的Source步骤，两者不是同一概念。首页上的入口input被定义排除于自己的后续片段，因此ODK Rep1群未归因47.69%并不意味着这些步无功能。

断点全部删失，789段不跨段拼路径；不将断点推为已认证Restart。全量指标按事后最终分区统计，因果活动带独立使用当时Snapshot。验证检查分区覆盖、边权守恒、入口事件互斥、片段不跨入口/段以及每Snapshot无未来边。