公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Dominator与流量社区不是功能金标；完整可执行库存仍缺失。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。
五App真实案例、反例与可审核证据
所有角色/功能标签继承既有离线审阅，未经人工金标确认；本轮没有调用新语义模型。计数为真实确认执行，不把拓扑边计作频次。 每个run全量确认动作都能播放，局部State图与三方法成员同时保留。Screenshot来自归档真实像素；同State代表图不保证当次GUI对齐。控件虚线框仅bounds投影，不能据此认证当前可执行库存。
先看这些反例
- ODK Rep1大流量社区误作纯Download：14 State含首页/列表/Download，内部1746。Rep2 Download可分成四节点，跨Rep不能按相同State ID或社区序号匹配。
- ODK Rep2低收益也非永久零收益：Download模块晚期80来源步0新State但1首次转换，即
#1763 g20s82→OK→g11s38；前一步#1762 Sent→g20s82的文字/目标Activity冲突保留，不强行改标Download。全功能充分性仍UNKNOWN。 - AD同编辑页不同结果：
g28e189:231 Edit→g21s63; g28e190:232 Save→g28s87与g28e233:275 Add→g21s63; g28e234:276 Save→g28s90。共享编辑State不代表Save业务结果可合并。两组Ⅰ入口仍按相同source Activity关联；不同Activity不直接拼组。 - Omni Snooze切分：#1004–1022真实连续路径，Main→Snooze日期→时间/年→重复规则，多模块轮换。日期字段是组合操作，不用同名/同目标升级Ⅰ入口；Snooze没有伪造PPR seed。
- Scarlet CreateList：Rep1
g44s187单State126步、110自环，Activity为CreateListNote；Ⅰ入口仍待确认，PPR记未提供种子而不是零功能价值。CreateNote Rep2高重复，Rep1晚期仍出现新转换；动态数据实例不是独立新功能数。 - Wiki SearchⅠ/Ⅲ明确分开：#1872具名Search入口从Page到Search；#1873 Back仍在Search且新State；#1874 Clear query、#1875 Clear history、#1876语言选择。Back不能全部删除，Ⅲ输入/提交不能混作Ⅰseed。文章/语言/媒体结果仍在完整流量中，不手工清边。
- 无意义或有限意义社区：Omni Rep2 Password单点117次自环；它是预算问题证据，不是多State功能Region成功。长驻留也可能一次性活动：最长87/66步榜不必反复重入，必须同时看次数。
activitydiary-Rep1：Add/Edit：共享编辑与结果分歧
播放 activitydiary-Rep1 / Infomap-G1-003。焦点事件 g28e189:231，Native step 232、原jev-events行563；Source Activity de.rampro.activitydiary.ui.main.MainActivity，实际Target g21s63。控件 de.rampro.activitydiary:id/select_card_view，ModelAction g28a1059；Concrete digest 27aa3a614ca24140d8432166f432c62c3e0a39df218adb2ba9ee107be418e9e8。
默认相关模块 Infomap-G1-003，13 State、314来源步、内部170、确认进入146、保守重入109、完整停留P90 3.0、最长20。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 浏览器截图（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 230 | g28e188:230 | g27s84 | Search | g28s87 | True | True |
| 231 | g28e189:231 | g28s87 | de.rampro.activitydiary:id/select_card_view | g21s63 | False | True |
| 232 | g28e190:232 | g21s63 | Save | g28s87 | False | True |
| 233 | g28e191:233 | g28s87 | de.rampro.activitydiary:id/select_card_view | g28s85 | False | True |
| 234 | g28e192:234 | g28s85 | Navigate up | g28s87 | False | True |
| 235 | g28e193:235 | g28s87 | Open navigation | g27s77 | False | True |
activitydiary-Rep2：Add/Edit：共享编辑与结果分歧
播放 activitydiary-Rep2 / Infomap-G1-003。焦点事件 g27e277:2208，Native step 2231、原jev-events行5633；Source Activity de.rampro.activitydiary.ui.generic.EditActivity，实际Target g27s96。控件 de.rampro.activitydiary:id/action_edit_done，ModelAction g27a1396；Concrete digest 7b234822713889eeda9cf6c2c732de84b02f91ca6dd63b8c1be756018d0f8fea。
默认相关模块 Infomap-G1-003，14 State、323来源步、内部189、确认进入137、保守重入119、完整停留P90 2.0、最长41。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 五App浏览器验收（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 2207 | g43e1290:2207 | g3s6 | SELECT | g27s96 | False | False |
| 2208 | g27e277:2208 | g27s96 | Save | g27s96 | False | False |
| 2209 | g43e1287:2209 | g27s96 | Activity | g43s202 | False | False |
| 2210 | g43e1310:2210 | g43s202 | MODEL_BACK | g27s96 | False | True |
| 2211 | g27e285:2211 | g27s96 | de.rampro.activitydiary:id/edit_activity_color | g3s6 | False | False |
| 2212 | g16e135:2212 | g3s6 | E64A19 | g16s59 | False | False |
odkcollect-Rep1：Download：局部与公共导航
播放 odkcollect-Rep1 / Infomap-G1-001。焦点事件 g16e255:1978，Native step 2105、原jev-events行5911；Source Activity org.odk.collect.android.mainmenu.MainMenuActivity，实际Target g16s71。控件 org.odk.collect.android:id/name，ModelAction g1a8；Concrete digest 259f2f75d8e82f6687f7240fbf4fa050310dbe2c552c645a8b51cc16249f8836。
默认相关模块 Infomap-G1-001，14 State、1797来源步、内部1746、确认进入51、保守重入49、完整停留P90 19.1、最长29。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 五App浏览器验收（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1977 | g5e60:1977 | g3s11 | MODEL_BACK | g1s1 | False | False |
| 1978 | g16e255:1978 | g1s1 | Download | g16s71 | False | True |
| 1979 | g16e256:1979 | g16s71 | org.odk.collect.android:id/checkbox | g16s70 | False | True |
| 1980 | g16e237:1980 | g16s70 | MODEL_BACK | g1s1 | False | False |
| 1981 | g16e211:1981 | g1s1 | Download | g16s70 | False | False |
| 1982 | g16e237:1982 | g16s70 | MODEL_BACK | g1s1 | False | False |
odkcollect-Rep2：Download：局部与公共导航
播放 odkcollect-Rep2 / Infomap-G1-004。焦点事件 g11e101:1899，Native step 2006、原jev-events行5461；Source Activity org.odk.collect.android.mainmenu.MainMenuActivity，实际Target g11s37。控件 org.odk.collect.android:id/name，ModelAction g1a8；Concrete digest 259f2f75d8e82f6687f7240fbf4fa050310dbe2c552c645a8b51cc16249f8836。
默认相关模块 Infomap-G1-004，4 State、345来源步、内部230、确认进入115、保守重入10、完整停留P90 3.0、最长11。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 浏览器截图（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1898 | g18e218:1898 | g18s72 | MODEL_BACK | g1s1 | False | False |
| 1899 | g11e101:1899 | g1s1 | Download | g11s37 | False | False |
| 1900 | g11e140:1900 | g11s37 | MODEL_BACK | g11s37 | False | False |
| 1901 | g11e102:1901 | g11s37 | Cancel | g11s38 | False | False |
| 1902 | g11e119:1902 | g11s38 | MODEL_BACK | g1s1 | False | False |
omninotes-Rep1：Snooze / Settings：组合操作
播放 omninotes-Rep1 / Infomap-G1-030。焦点事件 g14e571:1005，Native step 1035、原jev-events行2580；Source Activity it.feio.android.omninotes.SnoozeActivity，实际Target g14s120。控件 it.feio.android.omninotes:id/buttonSwitcher，ModelAction g14a1138；Concrete digest 7b98ef4f6cad38a87a4a6fa89328c59951fa362354aa0a09fb90bd1823632809。
默认相关模块 Infomap-G1-030，2 State、5来源步、内部4、确认进入3、保守重入0、完整停留P90 5.0、最长5。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 浏览器截图（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1004 | g14e546:1004 | g10s43 | افزودن ی | g14s117 | False | False |
| 1005 | g14e571:1005 | g14s117 | NOV 3, 2 | g14s120 | True | True |
| 1006 | g14e572:1006 | g14s120 | it.feio.android.omninotes:id/sdp_view_pager | g14s120 | False | True |
| 1007 | g14e573:1007 | g14s120 | 6:25 PM | g14s117 | False | True |
| 1008 | g14e571:1008 | g14s117 | NOV 3, 2 | g14s120 | False | False |
| 1009 | g15e574:1009 | g14s120 | 2026 | g15s122 | False | True |
omninotes-Rep2：Snooze / Settings：组合操作
播放 omninotes-Rep2 / Infomap-G1-006。焦点事件 g10e438:1243，Native step 1319、原jev-events行3278；Source Activity it.feio.android.omninotes.SnoozeActivity，实际Target g10s103。控件 it.feio.android.omninotes:id/minutes，ModelAction g10a994；Concrete digest 302028fc9678af892f678e8c3f004e83491b4c603c5d95e46db2f7c4b0829213。
默认相关模块 Infomap-G1-006，6 State、32来源步、内部31、确认进入3、保守重入0、完整停留P90 32.0、最长32。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 五App浏览器验收（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1242 | g10e437:1242 | g10s101 | ADD REMI | g10s103 | False | True |
| 1243 | g10e438:1243 | g10s103 | 05 | g10s103 | False | True |
| 1244 | g10e439:1244 | g10s103 | NOV 4, 2 | g10s113 | True | True |
| 1245 | g11e440:1245 | g10s113 | it.feio.android.omninotes:id/ivRecurrenceOptionsDP | g11s115 | False | True |
| 1246 | g11e441:1246 | g11s115 | Wed, Nov | g10s113 | False | True |
| 1247 | g11e442:1247 | g10s113 | it.feio.android.omninotes:id/ivRecurrenceOptionsDP | g11s116 | True | True |
scarletnotes-Rep1：CreateNote：动态内容与反复新建
播放 scarletnotes-Rep1 / Infomap-G1-003。焦点事件 g41e566:1592，Native step 1606、原jev-events行3692；Source Activity com.maubis.scarlet.base.MainActivity，实际Target g40s130。控件 com.bijoysingh.quicknote:id/title，ModelAction g41a2169；Concrete digest c14d528e9ac50539f0f98cd0df940801fdad7d8c1c7b24f2159ef771a4eb2607。
默认相关模块 Infomap-G1-003，9 State、792来源步、内部664、确认进入133、保守重入108、完整停留P90 18.6、最长52。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 五App浏览器验收（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1591 | g41e565:1591 | g41s168 | Search N | g41s168 | False | True |
| 1592 | g41e566:1592 | g41s168 | No Notes | g40s130 | False | True |
| 1593 | g41e567:1593 | g40s130 | MODEL_BACK | g23s61 | False | True |
| 1594 | g41e568:1594 | g23s61 | It seems | g40s130 | False | True |
| 1595 | g41e567:1595 | g40s130 | MODEL_BACK | g23s61 | False | False |
| 1596 | g41e569:1596 | g23s61 | MODEL_CLICK | g19s48 | False | True |
scarletnotes-Rep2：CreateNote：动态内容与反复新建
播放 scarletnotes-Rep2 / Infomap-G1-004。焦点事件 g66e336:2270，Native step 2369、原jev-events行6319；Source Activity com.maubis.scarlet.base.MainActivity，实际Target g66s196。控件 com.bijoysingh.quicknote:id/title，ModelAction g1a8；Concrete digest 8c38f4e415e85017322e2e095fb932373849a4ed8e8ce44ecf079f1d37c8d737。
默认相关模块 Infomap-G1-004，9 State、1372来源步、内部1239、确认进入130、保守重入106、完整停留P90 3.5、最长13。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 浏览器截图（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 2269 | g62e334:2269 | g60s163 | MODEL_BACK | g1s1 | False | False |
| 2270 | g66e336:2270 | g1s1 | No Notes | g66s196 | False | False |
| 2271 | g66e384:2271 | g66s196 | MODEL_BACK | g1s1 | False | False |
| 2272 | g66e386:2272 | g1s1 | It seems | g66s196 | False | False |
| 2273 | g66e384:2273 | g66s196 | MODEL_BACK | g1s1 | False | False |
| 2274 | g62e333:2274 | g1s1 | MODEL_CLICK | g60s163 | False | False |
wikipedia-Rep1：Search：持续新增与切分
播放 wikipedia-Rep1 / Infomap-G1-008。焦点事件 g69e1255:1510，Native step 1524、原jev-events行3659；Source Activity org.wikipedia.page.PageActivity，实际Target g68s440。控件 org.wikipedia:id/page_toolbar_button_search，ModelAction g36a2151；Concrete digest 45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c。
默认相关模块 Infomap-G1-008，10 State、53来源步、内部43、确认进入11、保守重入6、完整停留P90 10.3、最长13。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 五App浏览器验收（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1507 | g69e1254:1509 | g54s292 | Done | g36s187 | False | True |
| 1508 | g69e1255:1510 | g36s187 | Search W | g68s440 | False | True |
| 1509 | g69e1256:1511 | g68s440 | Search W | g68s440 | False | True |
| 1510 | g69e1257:1512 | g68s440 | Search W | g68s441 | False | True |
| 1511 | g69e1258:1513 | g68s441 | org.wikipedia:id/horizontal_scroll_languages | g68s441 | False | True |
| 1512 | g69e1259:1514 | g68s441 | +4698140 | g68s441 | False | True |
wikipedia-Rep2：Search：持续新增与切分
播放 wikipedia-Rep2 / Infomap-G1-002。焦点事件 g90e1534:1880，Native step 1896、原jev-events行4578；Source Activity org.wikipedia.page.PageActivity，实际Target g86s411。控件 org.wikipedia:id/page_toolbar_button_search，ModelAction g36a1835；Concrete digest 45a2533ba1b2e63c2072ee59a1ac6d5ff5cad4a3f065b6684f9a02082094930c。
默认相关模块 Infomap-G1-002，16 State、84来源步、内部57、确认进入27、保守重入14、完整停留P90 7.4、最长11。这是焦点目标所在模块，不是人工确认业务边界。真实图片见查看器Source/Target与对应 浏览器截图（Rep1/Rep2未各截图的情况通过查看器切换）。
| 序号 | 事件 | Source | Action | Target | 新State | 首次转换 |
|---|---|---|---|---|---|---|
| 1879 | g90e1533:1879 | g86s426 | org.wikipedia:id/search_results_list | g36s164 | False | True |
| 1880 | g90e1534:1880 | g36s164 | Search W | g86s411 | False | True |
| 1881 | g90e1535:1881 | g86s411 | Portal: | g86s426 | False | True |
| 1882 | g90e1536:1882 | g86s426 | Wikipedi | g87s443 | False | True |
| 1883 | g90e1537:1883 | g87s443 | More options | g90s477 | True | True |
| 1884 | g90e1538:1884 | g90s477 | New tab | g36s164 | False | True |
分叉/汇合不是逆向杜撰路径
counterexamples.json保存来自同一模块内不同Source进入共同Target的两条真实短历史，每条都保留自己的事件顺序和segment；不是将UTG前驱任意拼成一条历史。AD明确Add/Edit进入 g21s63 / g27s96 的入口与PPR共享成员也在该表；PPR覆盖共同State是关联证据，不保证其余成员均同功能。
所有case标题仅为先前研究线索。相关目标Activity来自既有证据，缺失保留UNKNOWN；图片资产哈希、原件路径、原生事件与input/receipt定位完整保留。