冻结代码与实现依据
Native源与实跑JAR的对应关系沿用旧审计的191文件SHA清单及构建收据。本次额外复制SataAgent、ModelAction时逐字节核对清单SHA，未重建JAR。
| 问题 | 原文件和行号 | 范围 |
|---|---|---|
| 历史池 | JevRegistry.java315–342 | confirmedMappingProblem后按当前State对象、ModelAction对象收集；complete为收集范围完备 |
| 当前精确执行过滤 | 同文件349–364、725–728 | require相同State及节点对应，不是全局功能等价记忆 |
| 采集候选 | JevSemanticReview.java349–366 | enabled/valid/resolve/current exact过滤 |
| 构造历史Witness池 | 同文件655–710 | 仅history.members(c.action)，本地provenance与实际wire分开 |
| Top3选择 | JevHistoryPairwiseProtocol.java210–230 | label100、word10、resource8、其他2；稳定排序、特征多样性、最多3 |
| 聚合 | 同文件146–178 | trusted SAME优先，随后任意trusted DIFFERENT；confidence>.5 |
| Pair缓存键 | 同文件181–198；SemanticReview929–931 | provider/model/contract/State/version/page/provenance及输入签名 |
| 模型看到什么 | JevEvidence.java215–229；SemanticReview705–723 | 节点/subtree/local_context、源Activity/root；不是完整历史结果或截图 |
| pending与确认消费 | JevReviewLedger.java235–285 | run-local pending保留；markExecutedMatching当前State+identity确认 |
| Probe调度位置 | SataAgent.java415–468 | local greedy之后、remote greedy之前；Epsilon以后仍可选择 |
| 饱和判据 | ModelAction.java，isSaturated/resolveSaturation | 不能把组饱和解释为每个Concrete都已经执行 |
只有Provider wire足以认证“Native发了什么”；服务端最终渲染快照不完整，未以本地dirty服务代码冒充部署实现。源码没有记录的逐输入过滤原因、内部模型思考与业务完成不由代码推测填充。