公开证据副本：本地路径、实验主机已脱敏；数据与截图拆为站内资源。原件 SHA 只认证原件，公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联，未经人工金标或独立外部审查；代表图不认证当次触摸对齐。
A0、历史回溯 A1 与高频 B50
A0：全部非 Singleton Header 的区外直接确认入口。A1≤k：这些到达的真实连续前史中出现的Ⅰ类候选，只有重点功能经边界审核的部分叫 SUPPORTED。B50：第二轮的具节点局部 Top50 与既有精确相关组 Top50 展开的候选成员并集；没有重新排序或用图边数替代执行频率。
共同角色口径下 A0=396，B50=492；第二轮冻结角色原值为 374/491。角色修正完整列在 classification-corrections.csv，对 A0/A1/B 同时应用。新增22个A0角色绝不是回溯增益；B50增加1个Ⅰ角色也不是频率增益。
五步主比较：具体入口级
| App | Rep | A0Ⅰ | A1重点支持 | B50Ⅰ | A1支持且A0缺失 | 其中在B50 | A1独有于A0∪B50 | 重点A0 / B / A1 |
|---|---|---|---|---|---|---|---|---|
| omninotes | Rep1 | 10 | 4 | 42 | 4 | 1 | 3 | 0 / 1 / 4 |
| omninotes | Rep2 | 32 | 1 | 62 | 0 | 0 | 0 | 1 / 1 / 1 |
| odkcollect | Rep1 | 8 | 1 | 13 | 0 | 0 | 0 | 1 / 1 / 1 |
| odkcollect | Rep2 | 17 | 3 | 21 | 2 | 2 | 0 | 1 / 3 / 3 |
| scarletnotes | Rep1 | 28 | 16 | 16 | 0 | 0 | 0 | 16 / 0 / 16 |
| scarletnotes | Rep2 | 13 | 0 | 20 | 0 | 0 | 0 | 0 / 3 / 0 |
| wikipedia | Rep1 | 43 | 12 | 64 | 3 | 2 | 1 | 9 / 12 / 12 |
| wikipedia | Rep2 | 67 | 18 | 93 | 1 | 0 | 1 | 17 / 23 / 18 |
| activitydiary | Rep1 | 113 | 74 | 90 | 2 | 2 | 0 | 72 / 44 / 74 |
| activitydiary | Rep2 | 65 | 23 | 71 | 0 | 0 | 0 | 23 / 33 / 23 |
A1 支持总数152仅覆盖重点功能；A0/B50的396/492包含其他功能，因此不能直接用总数比“召回率”。公平的重点子集在最后一列；其它功能候选关系为 UNKNOWN。A1 相对 A0 新支持12个具体入口，其中7个已在共同标签口径B50中，另5个不在 A0/B50。Omni Settings 的四个语言成员中，B50只选中一个；高频不是所有变体的完整目录。
若严格沿用第二轮冻结角色而不应用第三轮父卡片等修正，新增12个入口中6个属于当时已标Ⅰ的B50成员；当前共同标签口径为7。两种口径都保留，不能把分类修正算成检索改善。
功能组级
相对全 A0，A1 新出现的重点“功能×run”只有 Omni Settings Rep1；该功能在 Rep2 已被 A0发现，在 Rep1 也已由 B发现。合并 Rep、按 App 功能去重，本轮没有证明 A1 新增一个 A0/B 从未发现的业务功能。ODK/Add/Search 的价值是补齐具体入口和发生关联，不是给已知流程重复起新功能名。
| App / Rep | 功能 | Source | 最小距离 | Header | 入口 → 到达 | B50 | 入口收尾映射 |
|---|---|---|---|---|---|---|---|
| omninotes / Rep1 | omninotes.settings | g0s2 | 2 | g8s20 | g2e6:714 → g13e399:715 | 是 | 有 |
| omninotes / Rep1 | omninotes.settings | g0s2 | 2 | g8s20 | g2e6:57 → g8e38:58 | 否 | 有 |
| omninotes / Rep1 | omninotes.settings | g0s2 | 2 | g8s20 | g10e148:539 → g11e372:540 | 否 | 有 |
| omninotes / Rep1 | omninotes.settings | g0s2 | 3 | g8s20 | g2e6:592 → g13e399:594 | 否 | 有 |
| odkcollect / Rep2 | odkcollect.download | g19s75 | 3 | g11s38 | g20e251:700 → g11e102:702 | 是 | 有 |
| odkcollect / Rep2 | odkcollect.download | g20s77 | 3 | g11s38 | g20e260:722 → g11e102:724 | 是 | 有 |
| wikipedia / Rep1 | wikipedia.global-search | g3s18 | 2 | g42s213 | g53e586:696 → g53e587:697 | 是 | 有 |
| wikipedia / Rep1 | wikipedia.global-search | g4s37 | 3 | g42s213 | g53e602:712 → g53e587:714 | 是 | 有 |
| wikipedia / Rep1 | wikipedia.global-search | g77s496 | 2 | g68s441 | g77e1384:1662 → g77e1385:1663 | 否 | 有 |
| wikipedia / Rep2 | wikipedia.global-search | g53s254 | 2 | g26s116 | g54e772:902 → g54e773:903 | 否 | 有 |
| activitydiary / Rep1 | activitydiary.add-activity | g27s83 | 2 | g21s63 | g27e176:218 → g27e177:219 | 是 | 历史未知 |
| activitydiary / Rep1 | activitydiary.add-activity | g27s75 | 2 | g21s63 | g31e455:563 → g31e456:564 | 是 | 历史未知 |
独有价值和负面结论
- A0 给出可直接审核的结构入口，有些低频长尾入口本来就在 A0；本轮没有推翻这部分价值。
- A1 擅长从 Cancel、字段、namespace 等非Ⅰ直接入口，回到较早的Ⅰ控件，并用真实序列解释多源汇合。它仍依赖 Header 到达可确认、窗口连续、角色可辨认和功能边界证据。
- B 能保留没有有意义非 Singleton 后代的高频入口，如 Scarlet Rep2 新建 Singleton；也能提示跨 State/identity 的频率集中。A1未取代B。
- 窗口变长会吞入旧功能。五步原始Ⅰ候选6,284对中2,924对有明确跨界/独立新入口干扰，2,898对关系未知，只有462对属于本轮重点支持。不能把6,284叫发现了6,284个功能入口。
因此，本批证据支持把“有边界审核的 Dominator 历史回溯”作为小增量来源，与真实高频证据互补；尚不足以指定全局优先级、预算、固定最优深度或泛化识别准确率。