五App、十Pure归档：局部、共享、混合与反例
本轮只分析既有 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 不补造。
实际覆盖范围
| Run | 确认执行 | 历史State | 最终社区 | Oracle组/发生 | 条件化Source步 |
|---|---|---|---|---|---|
| activitydiary-Rep1 | 2355 | 150 | 33 | 18/329 | 1468 |
| activitydiary-Rep2 | 2280 | 157 | 37 | 18/309 | 1212 |
| odkcollect-Rep1 | 2074 | 52 | 16 | 9/851 | 1093 |
| odkcollect-Rep2 | 2167 | 63 | 16 | 9/770 | 1250 |
| omninotes-Rep1 | 2601 | 156 | 40 | 12/363 | 904 |
| omninotes-Rep2 | 2356 | 140 | 36 | 12/277 | 861 |
| scarletnotes-Rep1 | 2559 | 159 | 51 | 3/77 | 1124 |
| scarletnotes-Rep2 | 2443 | 133 | 35 | 3/331 | 700 |
| wikipedia-Rep1 | 2159 | 453 | 93 | 19/258 | 1427 |
| wikipedia-Rep2 | 2285 | 423 | 86 | 19/282 | 1552 |
所有23,279条确认记录回指原生事件一致；10/10最终分区相等。State数为历史执行union，可能不同于最终原生图导出的State数；没有据此推丢事件。所有443群自动算同一组指标，案例选择基于GUI/Action实查，不是只按规模排行。
三个相对清晰局部案例、多个混合案例及反例
| Run / 社区 | 离线案例解释 | 成员/Source | 内部/流入/出 | 证据与限制 |
|---|---|---|---|---|
| odkcollect-Rep2 / C004 | local：Download 网络/空列表局部群 | 4/345 | 230/115/115 | 109次 Download Target 全在群内；仍有1次 Sent→错误框冲突 |
| activitydiary-Rep2 / C004 | local：Settings 局部群 | 14/143 | 128/15/15 | 设置页/日期格式/定位对话框；143个条件步骤全部来自 Settings，但只有12次直接入口 |
| omninotes-Rep1 / C003 | local：Reminder 日期/重复设置局部群 | 10/94 | 88/9/6 | 10个实际日期/重复对话框；94个条件步骤来自 Reminder；无直接入口Target，不能简化为入口直接绑定 |
| odkcollect-Rep1 / C001 | mixed：首页与多分支14-State群 | 14/1797 | 1746/51/51 | 具名首页动作与693次认证连续 Oracle 组间切换；不适合整体绑定 Download |
| scarletnotes-Rep2 / C004 | mixed：主界面、搜索与编辑混合群 | 9/1372 | 1239/130/133 | 截图含首页/搜索/标签层/两种编辑页，3组入口共同命中 |
| activitydiary-Rep1 / C003 | shared：Add/Edit/Manage 共享编辑流量群 | 13/314 | 170/146/144 | 图片及入口表显示 Add/Edit 共同使用 g21s63，另有管理/首页成员 |
| wikipedia-Rep2 / C001 | mixed：主导航、Saved、Search与账户混合群 | 25/220 | 172/44/48 | 真实图有Explore/Saved/Search/Edits/登录，含7个Oracle入口组；不是真正树 |
| omninotes-Rep2 / C001 | limited-local：Settings 及其子菜单 | 14/103 | 94/8/9 | 虽集中于设置，含About/Stats且67%动作标签UNKNOWN；9次入口不足以证明完整边界 |
| scarletnotes-Rep1 / C003 | ambiguous：编辑器高流量群 | 9/792 | 664/133/128 | 26次新建直接命中；也有54个Search条件步骤、27个外邻；不能断言纯叶端 |
| wikipedia-Rep1 / C019 | ambiguous：Reading theme 与 Find in article 混群 | 7/77 | 69/8/8 | 图片含6种阅读主题层与1个不同页面；不能把低边界率当作单功能充分证据 |
| omninotes-Rep2 / C034 | counterexample：117次自环 singleton | 1/117 | 117/2/0 | 只有2次流入0次流出；93%动作标签UNKNOWN，高stay不能证明独立功能 |
三个局部案例是ODK Rep2 Download、ActivityDiary Rep2 Settings、Omni Rep1 Reminder，不是三个已在线确认的功能Region。Reminder的10图为日历/重复时间对话框；Settings逐图见日期格式/定位/输入弹层；均有动作和条件发生支持。ODK的单条冲突、Settings只有12个入口、Reminder没有直接Target都明确保留。
ODK Rep1、Scarlet Rep2、Wikipedia Rep2是三个明确多分支混合群；ActivityDiary Rep1则是更细的“Add/Edit共享编辑+管理/主页”结构。案例JSON保留每个成员与截图链接，统一数值，可点击十归档。人工查看过的contact sheets存于analysis/*-contact.jpg，不能代替逐事件对齐。
各App对组织假设的支持及不成立之处
- ODK最清楚支持公共首页→多个分支→返回的组织；Rep2同时有局部Download与13-State主干群，Rep1把二者混合。该结构有大量认证连续切换支持。
- ActivityDiary存在管理/主页导航和设置局部群，但Add/Edit使用共享编辑State，无法形成入口互斥的纯树。Rep1 Add入口
entry-003与Editentry-010的State分布重叠72.90%（样本53/57），需保留共享结构。 - Scarlet NotesRep2最大流量9-State群中首页、Search、标签弹层与不同编辑器混合，三Oracle入口Target分别71/96/132次命中；Rep1编辑器群则有792 Source、27外邻与Search条件步骤54，不能只按CreateNoteActivity叫“纯新建叶子”。
- Omni NotesReminder可以形成局部对话框流量群；Settings跨多个群并含About/Stats，不能把设置页层级当分区金标。singleton自环反例说明高流量可能来自重复输入/停留，证据不足时不判导航或功能。
- Wikipedia主导航/账户/Search/Saved有混合群，支持共享枢纽现象；但阅读、语言、搜索跨多Activity/多入口循环，Rep1/2有453/423个历史State、93/86群、54%—55%UNKNOWN动作。现有资料不支持整个App被描述为稳定主干—分支—叶端树。
结论是存在这种流量组织，而不是每个App、每个群都符合。未知标签、稀疏入口、碎片分区和共享State构成明确反例；不为凑绑定率强制分类。