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

可回溯 Header 与直接入口

主候选是全部 514 个非 Root、region_size≥2 的收尾 dominator 子树，不受候选成熟门槛或 nested selection 限制。保留全部后代成员和 Activity；不把 1,030 个 Singleton 自动当有效功能。案例对照的 34 个 Singleton 另列，不混入主表。

App	Rep	主 Header	最大子树	区外 topology 边	区外确认到达	内部回流到达	Header 自环	无区外确认到达 Header
omninotes	Rep1	35	19	130	243	48	103	0
omninotes	Rep2	43	11	120	414	40	108	2
odkcollect	Rep1	19	5	56	874	64	41	1
odkcollect	Rep2	20	6	69	834	69	39	1
scarletnotes	Rep1	21	15	141	187	153	527	3
scarletnotes	Rep2	18	4	101	389	9	38	1
wikipedia	Rep1	173	16	466	509	60	180	25
wikipedia	Rep2	136	21	524	578	86	227	12
activitydiary	Rep1	22	23	295	477	48	132	1
activitydiary	Rep2	27	29	335	421	31	165	4

完整逐 Header 表：headers.csv；完整 incoming topology：incoming-topology.csv。表中逐边保留 Source/Target/ModelAction、最终图 fingerprint、外部/内部/自环关系及确认执行 ID，不把 fingerprint 冒充当次 Concrete 控件。

确认到达和历史未知

每次主到达必须是 NATIVE_TRANSITION.input_confirmed=true，并且原事件 Source、Target、ModelAction 与同 ID 的收尾图边精确一致。目标同名但不能精确映射的历史记录在 unprojected_transition_ids 保留，没有简单丢失或算零。后续向前回溯可以使用不能映射收尾图的历史输入，但不能把它画成已认证的收尾边。

514 个 Header 中，50 个没有精确确认的区外到达。Scarlet Rep2 g66s197 就有三 State 拓扑子树却没有这样的确认到达；查看器明确显示无历史，而不是从其 graph predecessors 拼一条假执行。

nested_deferred 不再隐藏候选

App	Rep	Header	Region Size
scarletnotes	Rep1	g36s105	13
scarletnotes	Rep1	g40s130	15
activitydiary	Rep1	g49s178	2

这些仅是第一轮 final-ID projection 的筛选结果，不是 Pure 在线事实。十 run 的 region_enabled=false，本轮没有在线提名或最终选中数可复原。Scarlet 的 13/15 State 大子树被保留为研究案例；大小并不自动说明入口是Ⅰ。

直接入口角色

按共同角色口径，A0 有 396 个Ⅰ类具体入口，按 run 累计 200 个裸 Concrete identity、81 个功能×run 假设；确认发生×Header 对为 2,321。第二轮冻结标签下为 374 个Ⅰ具体入口。差值来自第三轮父卡片证据和本轮 ManageActivity 点击既有对象等明确角色修正，见 classification-corrections.csv；不是回溯收益。

ODK g11s38 的直接外部到达可为 Cancel；ActivityDiary 编辑字段或颜色选择也可直接到 Header。相反 Add、Download 或 Search 的某个成员本来就直接进入某 Header，因此“某一 Header 的直接控件非Ⅰ”与“该入口在所有 A0 中都缺失”必须分开。

源码核对：JevRegion.java:74–102 多 Root 前驱交集和支配子树；:493–517 先记录观测 Link 拓扑、确认执行另计，不能因注释中的 confirmed 一词删除未确认拓扑；:607–609 同步 Graph entry roots。JevRegionLocator.java:187–204 为区外 Concrete targets 包含 Header 后的候选关联与后续筛选，混合 targets 可以存在。本轮不改变或执行这些门槛。