公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。

跨 State 功能 Region 边界恢复：三案例、六条完成归档

研究日期：2026-11-07。只读 ODK Collect Download、ActivityDiary Add Activity、Wikipedia Search 的 Rep1/Rep2 Pure 完成归档。没有启动设备、GPU、探索、Provider 或服务，没有改正式实现。

先打开公开交互查看器，或六条独立案例。 本站为拆分图片/数据的公开副本，不是59 MB单文件离线原件。只下载本站HTML不能离线工作；原本地59 MB HTML及52 MB便携ZIP保持原样，未上传。

先看什么

结论与 Q1–Q5：本批不支持直接用全组删边替换 Dominator。
方法和分母：A/B/C、固定原始多 Root、去返回前的可达性、轨迹截断。
入口组：433 次确认Ⅰ类输入；397 次精确映射收尾图，36 次保留历史关联未知。确认表示 agent 证据支持，未冒充研究者人工金标。
ODK Download、ActivityDiary Add、Wikipedia Search：真实反例和退出边界。
完整对照、源码核对。

案例	Ⅰ输入次数	源 State	删边数	C 参考	A 大小/交集	B 原图大小/交集	B 去返回大小/交集
odkcollect-Rep1	121	1	4	9	4 / 4	0 / 0	0 / 0
odkcollect-Rep2	109	3	4	5	2 / 2	0 / 0	0 / 0
activitydiary-Rep1	56	28	27	5	5 / 1	0 / 0	0 / 0
activitydiary-Rep2	63	31	22	4	2 / 2	0 / 0	0 / 0
wikipedia-Rep1	29	19	27	26	1 / 1	5 / 3	12 / 6
wikipedia-Rep2	55	35	45	39	4 / 3	5 / 5	8 / 7

交集均相对 C 的有限发生参考，不是 accuracy/recall。A 是上轮案例 Header 的结构子树，另保留更有利的附近最佳 Header 和全目标子树并集；不是声称 Pure 在线 Locator 选择了它。C 不保证业务完整性，也不表示这些 State 排他属于该功能。

查看器操作

左侧切 App/Rep，再选具体入口成员与某次真实输入，查看 Source/Target、红框、完整属性和原始证据定位。
切 A Header、B 原图/去返回及敏感性，使用对照或 A/B/C 单独着色。蓝边为 A、橙色虚边为 B 失可达集、绿底为 C。未恢复的 C 节点仍显示绿底。
图类型包括真实聚合分叉汇合、删完入口仍可达的 Root 路径、全部入口源/目标、某次真实轨迹片段。点击节点看 GUI，点击边看转换及确认执行。
Wikipedia 的「Ⅲ 查询依赖操作」与「待确认」分别查看，不混入Ⅰ类删边。
同 State 代表截图与同次 GUI 截图严格区分。红框对未对齐代表图只是输入 bounds 投影提示；缺图和越界不会伪造。

数据与复算

六条归档白名单、run ID、APK/JAR、路径及图/events SHA 在 archive-manifest。共读取 13,320 条确认执行，原始确认记录专项核对 1,691 条；最终将查看器涉及的 1,794 条原始input/receipt/event独立核验并打包。前两轮阅读清单与哈希在 prior-read-inventory；本轮源文件快照在 source-audit。

从仓库根运行以下脚本；它们只向本目录写分析，不导入或运行正式 Native。不要求安装任何新依赖；本次使用环境已有的 Python、Pillow、NetworkX、Graphviz、Playwright/Chromium。

python reports/functional-region-boundary-recovery-20261107/analysis/prepare.py
python reports/functional-region-boundary-recovery-20261107/analysis/analyze.py
python reports/functional-region-boundary-recovery-20261107/analysis/review.py
python reports/functional-region-boundary-recovery-20261107/analysis/build_viewer.py
python reports/functional-region-boundary-recovery-20261107/analysis/test_viewer.py
python reports/functional-region-boundary-recovery-20261107/analysis/write_reports.py
python reports/functional-region-boundary-recovery-20261107/analysis/verify_and_package.py

复算需要原归档与前两轮数据；跨电脑浏览不需要。 analysis/cases.json 是完整中间结果，entry-executions.csv 是逐次输入，entry-members.csv 是具体入口，cut-edge-evidence.csv 是实际删边，state-method-membership.csv 是成员对照，episodes.csv 是真实轨迹，path-witnesses.json 是具体路径。最终核验与查看器清单给出验证信息。目录内 evidence/portable-manifest.json 记录便携ZIP的SHA256；ZIP内 PACKAGE-CONTENTS.json 记录包内成员哈希。

便携包另保留 analysis/portable-trace-records.jsonl（查看器涉及的原始input/receipt/确认event），analysis/portable-gui-records.jsonl（相关真实GUI快照）和 evidence/archive-slices/（六份原始收尾图副本）。因此别的电脑也能核查这些记录，而不仅能看到图片；绝对来源路径只作标识。

本轮没有新增在线 Region、身份系统、规则或决策策略。调查完成后停止。