公开副本：本地路径及实验主机已脱敏；图片/数据拆为站内资源。原报告中的校验哈希对应本地原件，不认证公开副本字节。研究分类与范围仍未获人工金标或外部独立审查。
本轮相关源码核对
当前 HEAD 9a5b577b77a6a87efcd8e6e218693af6faed17ce；Pure归档JAR基线为既有正式基线。复用前两轮核对结论，本轮重新读以下实际源码并保存哈希/原行号摘录至 source-audit.json。Native 工作树未有本轮改动，最终再次核验源文件哈希。
文件（均在 native/src/com/android/commands/monkey/ 下） |
行号 | 与本轮关系 |
|---|---|---|
| ape/jev/JevRegion.java | 42–58 | Snapshot State/Link/Concrete/roots。 |
| ape/jev/JevRegion.java | 67–104 | root可达集、前驱交集fixed point、immediate-parent tree、非Root子树，含Header。 |
| ape/jev/JevRegion.java | 493–517 | 观察拓扑与确认执行分开写入。 |
| ape/jev/JevRegion.java | 599–613 | 同步APE图/entry States及roots。 |
| ape/model/Graph.java | 374–395 | entry GUI和entry State关联；非永远固定单初始Root。 |
| ape/jev/JevRuntime.java | 900–945 | 收尾State/Transition图导出字段。 |
| ape/model/StateKey.java | 42–86 | Activity、Naming、widgets形成StateKey；不等价业务发生。 |
| ape/jev/ConcreteActionIdentity.java | 5–73 | action type + canonical fullName；scope由调用方附加。 |
| ape/jev/JevIdentity.java | 25–71 | ancestor/index/type/text等精确路径身份，不做业务同义推理。 |
| ape/jev/JevRegionLocator.java | 169–209 | 以结构Region为输入的后续候选路径；本轮只取结构基线，不声称Pure有在线选中。 |
| MonkeySourceApe.java | 490–515（关键503–509） | MODEL_CLICK可以点击后doInput，不能只凭ActionType判断开启/提交。 |
| MonkeySourceApeInput.java | 75–100、125–150 | clear+sendText；只有失败fallback显式Enter，不能把每个Ⅲ例子写成独立提交事件。 |
A的结构树已独立用NetworkX复核；B/C只在本轮报告脚本实现。没有把离线边界研究写回正式Region。具体源码的完整相邻语句见JSON摘录，未根据旧论文替代当前实现。