公开研究副本：本地绝对路径、实验主机地址已脱敏。NA 保留，Infomap社区不是业务功能金标；入口为Oracle Replay；未做真实设备在线验证。角色与功能关联是可审核离线推断，未经人工金标或独立外部审查。历史代表截图不认证当次控件对齐。原件 SHA 只认证原件，公开字节 SHA 见发布清单。

性能、自动测试与行为隔离

Shadow侧离线实测

数字来自本机串行子进程、十条归档；包含检查点与终端快照。全部计算时间含Lineage/账本等，不只Infomap。RSS是单Run进程峰值，未包含浏览器/Native。Snapshot文件上限约1.29MB；100/250/500全部输出分别118,928,011 / 61,634,916 / 41,608,279 bytes。读取数据、解释器启动和JSON写盘另见performance-summary.csv。

仅保留前一快照后，477个语义输出与初版完全相同；完整历史留磁盘，未声称事件去重索引无限有界。默认250仅折中。更大/更长图的扩展性尚未实测。

analysis/follow-benchmark.json用本地追加文件以500事件/秒输入1200条，100/250/500均完成且终端积压0。观测发布快照滞后最大130/275/520事件，包含周期等待、轮询、计算；不是只量计算积压。末尾不足周期会等待0.5秒idle timeout，因此最大event-to-publication约69/559/561ms不能误当纯Infomap耗时。采样分辨率5ms。真实Android文件拉取延迟未测。

Native局部实测

合成JVM 2000次beforeInput/completion/transition hooks：平均22.991微秒、P50 15.983微秒、P95 52.986微秒；10000次简单边界入队平均1.568微秒。异步writer、JSON字段数及机器负载会改变数据。此基准没有设备、截图、真实APE线程竞争，不能据此计算APE吞吐下降百分比；observer Runtime新增启用成本也未覆盖。

测试范围

Python unittest 25/25通过：确认去重/冲突、排除拓扑和未确认、同pair多Action、自环、Back、Restart、birth/expansion/merge/split、多Target/多入口/多社区、UNKNOWN/Oracle/Activity限制、快照延迟、无未来泄漏、异常隔离、文件Follow、随机状态及成熟Infomap可复现。

Native局部31 checks通过：输入成功/失败独立、同GUItreeAction复用、重复sync、rebinding中新Input、缓存审计引用、writer失败/open失败不传播、开关固定action/input/RNG trace一致。c161基线和Region分支另有九条constructor/RNG/selection trace一致。JVM/DEX构建成功。测试复用既有fixture类，无Provider服务请求。

十Run Playwright以file://检查自动前缀、冻结/Oracle/Lineage、Dominator、图片、播放/步进/时间轴；移动宽度无溢出、零JS异常。受保护20,815文件哈希不变。机器契约验证额外使用独立artifacts目标中的jsonschema，不修改工程依赖。

尚未验证

没有真实设备或模拟器运行；未认证实时拉取端到端、设备磁盘/GC影响、长Run尾部drops、异常进程终止后的日志完整性。固定路径测试和静态差异说明没有调用选择/RNG/Provider/gate，不构成任意运行行为的形式证明。值得下一阶段独立Shadow smoke，但本轮没有启动。