公开证据副本：本地路径、实验主机已脱敏；数据与截图拆为站内资源。原件 SHA 只认证原件，公开副本哈希见发布清单。SUPPORTED 是本研究的探索性轨迹关联，未经人工金标或独立外部审查；代表图不认证当次触摸对齐。

Dominator 功能入口历史回溯研究

本轮验证“结构 Header 能否通过真实前史帮助发现更早的独立功能入口”。只读五 App、十条 COMPLETED_VALID Pure 归档；没有修改正式实现、启动设备/模拟器/实验、访问 Provider 或使用 GPU。

主要结果：三步已找到本批二十步回溯中所有 152 个有重点功能轨迹支持的具体入口；相对全体 Header 直接入口新增 12 个，其中 10 个入口有精确收尾边证据、2 个仅保留可核实的历史执行。增益主要是入口成员和功能发生关联，不是大量新增业务功能。五步提供更多回流证据，也带来更多跨功能旧入口；不能按窗口内出现Ⅰ类就直接关联 Header。

打开公开证据

交互查看器：全部23个案例，图片及数据由本站资源加载。
独立案例索引：正文和代表真实轨迹可直接阅读。
完整数据及拆分索引：保留所有选定表格记录、GUI和原始执行摘包。
本站是拆分资源的公开副本，单独下载网页不能离线使用。原139.5 MB自包含HTML和完整ZIP仍保存在本地，未上传。
公开副本说明记录范围和变换；公开文件SHA见清单。报告中的原校验结果不等于本次公开副本的校验。

阅读顺序

数据与源码

复用前三轮目录的全部 Markdown、CSV 索引及案例数据，清单和 SHA 见 evidence/prior-material-inventory.json。仅沿 evidence/archive-manifest.json 中的十条完成归档读取原始图、事件、输入、回执、GUI 与截图；未枚举或读取活动 run 的文件或进程。

本轮共 23,279 条确认执行，19,905 条可精确映射收尾转换；主候选 514 个非 Root、至少二 State 的 Header，其中 50 个没有精确确认的外部到达。主分母是 4,926 次外部确认到达，另保留 34 个具有明确案例依据的 Singleton 对照。图边不算执行次数。

当前结构仍为 native/src/com/android/commands/monkey/ape/jev/JevRegion.java:71–104 的多 Root dominator fixed point / idom 子树，包含 Header；不是本轮实现新定位器。重新用 NetworkX 多 Root super-root 校验所有 1,544 个非 Root 子树，见 analysis/graph-crosscheck.json。当前源码摘录、行号、哈希在 evidence/source-audit.json。

复算

使用本机已有 Python、NetworkX、Pillow、Graphviz 与 Playwright；不安装依赖，不调用模型。以下命令只写本目录：

python reports/region-dominator-backtrace-20261107/analysis/prepare.py
python reports/region-dominator-backtrace-20261107/analysis/analyze.py
python reports/region-dominator-backtrace-20261107/analysis/summarize.py
python reports/region-dominator-backtrace-20261107/analysis/enrich.py
python reports/region-dominator-backtrace-20261107/analysis/contact_review.py
python reports/region-dominator-backtrace-20261107/analysis/build_viewer.py
python reports/region-dominator-backtrace-20261107/analysis/write_reports.py
python reports/region-dominator-backtrace-20261107/analysis/verify_evidence.py
python reports/region-dominator-backtrace-20261107/analysis/test_viewer.py
python reports/region-dominator-backtrace-20261107/analysis/finalize.py

分析复算需要原归档仍在 manifest 路径；查看 HTML 不需要。prepare.py 的保全基线应在本轮首次运行时建立；复核既有结果时优先运行后续验证，不反复重设基线。

必须区分的分母

结构 Header / 拓扑 incoming edge / 确认到达 / 动作执行并非同一种数量。
具体入口用 (observed State, observed ModelAction, Concrete identity)，裸 identity 和 Activity-scoped exact-related 另列。
候选“发生×Header”对允许一入口到多个 Header，也允许多入口到同一 Header；不把重复关联当多个独立功能。
A0 是所有主 Header 的直接外部已执行入口；A1≤k 是真实连续前史中的Ⅰ类候选，额外区分 SUPPORTED/REJECTED/UNKNOWN；B50 的榜单成员沿用第二轮，角色修正对三来源共同应用。

所有分类与功能关系是 agent 离线探索性审核/规则推断，human_confirmed=false，没有调用外部模型、Provider 或 GPU。SUPPORTED 不等于人工金标，也不代表业务身份完全相同。没有恢复全量 Native Naming 对象或历史模型重绑定；旧 State/ModelAction 无精确收尾映射时保留未知。截图分同 GUI ID/timestamp 审计图与同 State 代表图；后者的红框仅为归档 bounds 投影，不能证明当次触摸对齐。