ODK Rep1：2-State为何演化为14-State

本轮只分析既有 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 不补造。

现象复核与时间定位

既有基线Snapshot S0003 #518：Download为g16s70,g16s71，S0004 #750：为以下14成员。#750节点数仍为52；#519—#750 0个新State。基线只能定位在(518,750]内变化。

本轮按相同参数逐事件离线复算233个前缀：#571首次8成员，#582回到2，#583回到8，#586为12，#631首次14，#638回12，#639回14，#640回12，#644恢复14并持续到#750。不是单调扩张，也不是“#750那一步导致合并”。关键前缀重复复算成员和codelength完全一致；这不证明其他库版本或随机种子也相同。完整逐事件分区

前社区如何部分并入、部分拆出

这是部分合并伴随拆分：Delete旧群的g1s7、Blank旧群的g7s29拆成singleton；待发送旧群中g14s62,g5s22,g5s23仍为3-State子群。#750 lineage状态为uncertain_split_merge_or_drift，保留所有非空交集链接，不伪造单一稳定身份。基线演化

哪些真实流量增加

#519—#750新增232条确认转换，其中Back116条；221条在事后14成员内。相对#518旧分区有128条跨群，其中122条的两端后来进入14-State大群。以下桥流量由原始序号支持，未增加任何推断边：

另有首页↔Projects各17、首页到Sent/Drafts各16、实例列表Back首页32；这些边在#518已有同群，因此不在“跨旧群”表内，却使首页周边的主干预算继续增大。Download到首页/首页到Download各新增13；没有与其他叶分支直接大量互转的证据，主要通过首页汇合。所有增量与逐次序号

#630为首页→Delete，#631为Delete Back→首页，恰在离线优化结果首次14之处；#638却是首页→Ready后Delete又拆出。应解释为累计加权图与启发式优化的分区边界变化，不能把某一条动作宣称为唯一因果因素。

首页承担什么角色

全程首页843次Source，具名主页入口包括Download、Delete、Sent、Drafts、Projects、Ready和Start new form。拓扑有向无权BC=0.492382；逆流量距离BC=0.700784。它同时有真实GUI导航证据和实测分支往返，BC只作辅助。

认证连续片段里有693次不同Oracle入口组经同一首页先返回再进入另一组，10次同组重复；不是用聚合边最小值拼接出来的“往返”。例如#519—#532依次Projects→首页→Start→首页→Drafts→首页→Ready→首页→Sent→首页→Download→首页→Delete→首页，全部在segment20。精确片段及次数

为什么会被合并：观察与敏感性

最终14成员Source预算1,797/2,074=86.64%，内部流1,746，流入/出各51，P(stay)=97.16%，但7个Oracle入口组的Target共815次命中，主要组只占14.85%，熵2.802bit。这是多分支被内化后的高保留流量，高P(stay)并不意味着单一功能。

原图始终保留全部真实边。因子0.25/0只用于独立离线对照：#631/#750在降低Back后Download回到2-State，支持返回流量影响合并；但最终0.25仍为14-State，只有移除Back才回到2-State。故“Back影响组织”成立，“某阈值可以恢复真正功能”未成立。不同图的codelength不能直接比较优劣；此处不比较跨图codelength，也不选新在线阈值。敏感性全表

14个State逐项证据

以下流量均为全程最终14成员口径，不是把最终成员回填成#518的社区；历史成员在上方独立列明。全表有每State内部/外部入出和主要Action，截图缺失处只依赖明确动作链或保留UNKNOWN。逐项JSON、CSV

g1s1：首页；多功能公共导航

归档代表图。Activity：org.odk.collect.android.mainmenu.MainMenuActivity。证据：Demo project 首页截图；7个具名主页动作，不能将整个社区称作 Download。

首次观测#1；全程Source 843次。相对最终14-State成员：内部入/出 808/815，外部入/出 24/28（自环同时计入内部入/出，不相加为执行数）。入口源：{"entry-001": 121, "entry-003": 120, "entry-004": 120, "entry-005": 121, "entry-006": 121, "entry-007": 119, "entry-008": 121}，均为Oracle。

主要入边：g3s11 —g3a69→ g1s1 ×243（#98起）；g5s25 —g5a132→ g1s1 ×126（#149起）；g1s6 —g1a36→ g1s1 ×115（#65起）。

主要出边：g1s1 —g1a9→ g1s6 ×120（#28起）；g1s1 —g1a7→ g3s11 ×120（#66起）；g1s1 —g1a5→ g3s11 ×120（#99起）。

g1s6：Delete form 空列表

归档代表图。Activity：org.odk.collect.android.activities.DeleteFormsActivity。证据：Delete form 标题及 g1a9 入口，含 Sort the list。

首次观测#28；全程Source 149次。相对最终14-State成员：内部入/出 147/146，外部入/出 3/3（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g1s1 —g1a9→ g1s6 ×120（#28起）；g1s6 —g1a36→ g1s6 ×11（#517起）；g3s10 —g3a61→ g1s6 ×2（#43起）。

主要出边：g1s6 —g1a36→ g1s1 ×115（#65起）；g1s6 —g1a29→ g3s10 ×11（#42起）；g1s6 —g1a36→ g1s6 ×11（#517起）。

g3s10：Delete form 排序弹层

MISSING。Activity：org.odk.collect.android.activities.DeleteFormsActivity。证据：MISSING 截图；g1s6 的 Sort the list 入边及多种排序选择返回，功能为动作证据支持。

首次观测#42；全程Source 11次。相对最终14-State成员：内部入/出 11/11，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g1s6 —g1a29→ g3s10 ×11（#42起）。

主要出边：g3s10 —g3a61→ g1s6 ×2（#43起）；g3s10 —g3a57→ g1s6 ×1（#45起）；g3s10 —g3a58→ g1s6 ×1（#47起）。

g3s11：Sent / Drafts 共用实例列表抽象

归档代表图。Activity：org.odk.collect.android.activities.InstanceChooserList。证据：代表图为 Sent；Sent 与 Drafts 各120次进入此 State，不可当作 Sent 专属。

首次观测#66；全程Source 256次。相对最终14-State成员：内部入/出 256/253，外部入/出 3/3（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g1s1 —g1a7→ g3s11 ×120（#66起）；g1s1 —g1a5→ g3s11 ×120（#99起）；g5s15 —g5a85→ g3s11 ×2（#71起）。

主要出边：g3s11 —g3a69→ g1s1 ×243（#98起）；g3s11 —g3a67→ g5s15 ×9（#70起）；g3s11 —g3a68→ g3s12 ×3（#67起）。

g5s15：实例列表排序弹层

MISSING。Activity：org.odk.collect.android.activities.InstanceChooserList。证据：MISSING 截图；g3s11 的 Sort the list 与排序选项返回支持。

首次观测#70；全程Source 9次。相对最终14-State成员：内部入/出 9/9，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g3s11 —g3a67→ g5s15 ×9（#70起）。

主要出边：g5s15 —g5a85→ g3s11 ×2（#71起）；g5s15 —g5a87→ g3s11 ×1（#73起）；g5s15 —g5a90→ g3s11 ×1（#75起）。

g5s17：Projects 项目菜单

归档代表图。Activity：org.odk.collect.android.mainmenu.MainMenuActivity。证据：Projects、Settings、Add project、About 等可见菜单；局部导航角色。

首次观测#101；全程Source 118次。相对最终14-State成员：内部入/出 120/114，外部入/出 0/4（自环同时计入内部入/出，不相加为执行数）。入口源：{"entry-009": 2}，均为Oracle。

主要入边：g1s1 —g1a3→ g5s17 ×120（#101起）。

主要出边：g5s17 —g5a101→ g1s1 ×112（#390起）；g5s17 —g5a97→ g1s1 ×1（#102起）；g5s17 —g5a99→ g5s18 ×1（#104起）。

g5s21：Ready to send 空列表

归档代表图。Activity：org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity。证据：Ready to send 标题、g1a6 入口和返回动作。

首次观测#112；全程Source 135次。相对最终14-State成员：内部入/出 131/132，外部入/出 5/3（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g1s1 —g1a6→ g5s21 ×119（#112起）；g5s21 —g5a117→ g5s21 ×2（#238起）；g14s62 —g14a535→ g5s21 ×2（#241起）。

主要出边：g5s21 —g5a121→ g1s1 ×115（#113起）；g5s21 —g5a117→ g14s61 ×9（#226起）；g5s21 —g5a117→ g5s21 ×2（#238起）。

g14s61：Ready to send 排序弹层

归档代表图。Activity：org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity。证据：归档图及排序操作；不凭 Activity 判断。

首次观测#226；全程Source 9次。相对最终14-State成员：内部入/出 9/9，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g5s21 —g5a117→ g14s61 ×9（#226起）。

主要出边：g14s61 —g14a529→ g5s21 ×1（#227起）；g14s61 —g14a531→ g5s21 ×1（#229起）；g14s61 —g14a532→ g5s21 ×1（#231起）。

g15s64：UNKNOWN：More options 后未明目标

MISSING。Activity：UNKNOWN。证据：0次 Source 执行、仅1次入边；无 Activity / 截图；拒绝补猜。

首次观测#286；全程Source 0次。相对最终14-State成员：内部入/出 1/0，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g5s21 —g5a119→ g15s64 ×1（#286起）。

主要出边：无。

g5s24：系统音量面板覆盖表单列表

归档代表图。Activity：org.odk.collect.android.formlists.blankformlist.BlankFormListActivity。证据：实际像素显示音量面板；不是额外 ODK 功能入口。

首次观测#118；全程Source 1次。相对最终14-State成员：内部入/出 1/1，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g5s21 —g5a119→ g5s24 ×1（#118起）。

主要出边：g5s24 —g5a127→ g5s25 ×1（#119起）。

g5s25：Start new form 空列表

归档代表图。Activity：org.odk.collect.android.formlists.blankformlist.BlankFormListActivity。证据：Start new form 标题及 g1a4 入口。

首次观测#119；全程Source 141次。相对最终14-State成员：内部入/出 139/138，外部入/出 2/3（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g1s1 —g1a4→ g5s25 ×120（#150起）；g7s29 —g7a154→ g5s25 ×2（#140起）；g1s6 —g1a36→ g5s25 ×2（#804起）。

主要出边：g5s25 —g5a132→ g1s1 ×126（#149起）；g5s25 —g5a130→ g7s28 ×11（#120起）；g5s25 —g5a131→ g7s29 ×2（#137起）。

g7s28：Blank form 列表排序弹层

MISSING。Activity：org.odk.collect.android.formlists.blankformlist.BlankFormListActivity。证据：MISSING 截图；g5s25 的 Sort the list 和排序返回动作支持。

首次观测#120；全程Source 11次。相对最终14-State成员：内部入/出 11/11，外部入/出 0/0（自环同时计入内部入/出，不相加为执行数）。入口源：{}，均为Oracle。

主要入边：g5s25 —g5a130→ g7s28 ×11（#120起）。

主要出边：g7s28 —g7a144→ g5s25 ×1（#121起）；g7s28 —g7a152→ g5s25 ×1（#123起）；g7s28 —g7a143→ g5s25 ×1（#125起）。

g16s70：Download form 列表，表单已选中

归档代表图。Activity：org.odk.collect.android.activities.FormDownloadListActivity。证据：All question types 列表、选中框及 Download 入口。

首次观测#325；全程Source 107次。相对最终14-State成员：内部入/出 96/101，外部入/出 14/6（自环同时计入内部入/出，不相加为执行数）。入口源：{"entry-002": 1}，均为Oracle。

主要入边：g1s1 —g1a8→ g16s70 ×90（#325起）；g1s2 —g1a12→ g16s70 ×9（#330起）；g16s72 —g16a585→ g16s70 ×2（#335起）。

主要出边：g16s70 —g16a575→ g1s1 ×92（#363起）；g16s70 —g16a574→ g16s71 ×4（#328起）；g16s70 —g16a569→ g16s72 ×2（#331起）。

g16s71：Download form 列表，表单未选中

归档代表图。Activity：org.odk.collect.android.activities.FormDownloadListActivity。证据：相同表单未选中框；与 g16s70 有实际转换。

首次观测#328；全程Source 7次。相对最终14-State成员：内部入/出 7/6，外部入/出 0/1（自环同时计入内部入/出，不相加为执行数）。入口源：{"entry-002": 1}，均为Oracle。

主要入边：g16s70 —g16a574→ g16s71 ×4（#328起）；g16s70 —g16a573→ g16s71 ×1（#356起）；g16s70 —g16a571→ g16s71 ×1（#365起）。

主要出边：g16s71 —g16a581→ g16s70 ×2（#348起）；g16s71 —g16a583→ g1s1 ×2（#357起）；g16s71 —g16a578→ g1s2 ×1（#329起）。

结论

该社区是含公共首页、局部项目导航、多个列表/排序分支及晚期Download的混合流量社区。它不是14个Download页面；含一个系统覆盖层和一个未知Target。不能将其整体绑定Download入口。