入口与Community:何时可关联,何时拒绝整体绑定
本轮只分析既有 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 不补造。
A:集中关联可成立,但先限定证据
ODK Rep2 Download的109/109 Target命中最终C004,326个截断后Source步骤中323在群内。直接进入群的Oracle输入113次,其中Download109占96.46%;Refresh3属相关子操作,Sent1保留冲突。它支持在本归档及已知标签范围内的集中入口→社区关联,不支持完整在线语义认定或绝对纯度。
B:混合群内仍能抽取局部流量
ODK Rep1 Download入口121次,最终C001 Target93次,其中91落在两个Download State,2个是首页自Target;另28次到早期Download群C005。不能将93次命中都当真正进入Download。
| Run | 入口功能 | 入口n | 后续Source步 | 其中在最终焦点群 | 完整Source返回/终止 |
|---|---|---|---|---|---|
| odkcollect-Rep1 | download | 121 | 194 | 103 / 53.09% | {'next_reviewed_entry': 3, 'source_return': 113, 'self_target_no_entry': 2, 'gap': 2, 'run_end': 1} |
| odkcollect-Rep1 | sent | 120 | 149 | 139 / 93.29% | {'source_return': 117, 'gap': 3} |
| odkcollect-Rep1 | drafts | 121 | 121 | 121 / 100.00% | {'source_return': 121} |
| odkcollect-Rep1 | start-new-form | 121 | 124 | 122 / 98.39% | {'source_return': 121} |
| odkcollect-Rep2 | drafts | 109 | 145 | 0 / 0.00% | {'source_return': 108, 'gap': 1} |
| odkcollect-Rep2 | start-new-form | 109 | 147 | 0 / 0.00% | {'source_return': 106, 'gap': 3} |
| odkcollect-Rep2 | download | 109 | 326 | 323 / 99.08% | {'next_reviewed_entry': 1, 'source_return': 108} |
| odkcollect-Rep2 | sent | 112 | 118 | 2 / 1.69% | {'source_return': 112} |
Rep1 Download全程截断后194个Source步骤,其中100个发生在两个晚期Download State,88个在早期Download C005;其余6个是其他目标/共享/异常记录,原样保留,不预判异常成因。14-State大群内Download条件步骤103,而群总Source为1,797。入口进入了混合群,不意味着拥有整个混合群。
不同入口的条件分布可以分离:Rep1 Download与Sent/Delete/Projects的概率分布重叠各约1.03%,与Start约2.58%;不需要重划全局Infomap即可复查局部活动。相反Sent/Drafts共享g3s11,分布重叠86.58%、Action三元组分布重叠77.85%,说明入口条件本身也不能恢复抽象层已经合并的语义边界。所有pair与样本量
为什么不用固定后5步
Rep1 Download的固定后5步覆盖422个不同Source步骤,其中243步发生在该次条件片段终止之后(不等于243步全为其他功能);Rep2对应509/184。大量短进短出后,窗口会跨Source返回或下一个入口。将这类窗口内容当“Download活动”会把首页和其他分支污染进来。本轮片段边界逐次保留,固定5/10/20步只作诊断。污染对照
C:导航混合群拒绝单功能整体归属
ODK Rep1 C001、Scarlet Rep2 C004、Wikipedia Rep2 C001均有多个明确Oracle入口、真实GUI分支以及共享导航。允许部分局部活动条件化;拒绝把整个社区整体绑定给某一个入口。高内部流、低边界率或大群本身不改变这一点。
两个对象的具体设计建议
- Infomap Community保存全局确认流量的某前缀分区、事件截止、成员和lineage;不附带单功能所有权,也不删除真实Back。
- Entry-associated Region Candidate以具体入口身份/发生为起点,保存实际Target、截断后的State/Action/Transition分布、共享导航、进展计数、终止/删失和入口证据等级。它可以跨多个Community,也可以只覆盖某Community的一部分,不必再分割全局图。
- ODK Rep2可保留集中关联;ODK Rep1保留Download在早期4-State群与晚期14-State群中的两种发生流量;Sent/Drafts须保留共享抽象与不确定性,不能强制互斥。
- ActivityDiary Add/Edit必须允许共享编辑页;Omni Reminder可能入口Target不在该局部群但后续进入,故不能仅用一步Target作为必要且充分条件;Wikipedia账户/阅读/搜索循环不适合硬树。
这只是离线证据对象建议。本轮没有实现在线停止规则或数值阈值,没有增加LLM审核,没有SUPPRESS,也未把Oracle改成在线确认。下一步先复核少量共享/冲突案例的语义证据,再在既有被动Shadow验证中记录这些对象。