# 证据缺口与不可推出的结论

1. 本轮1,030请求全部在实际15秒prepare预算内完成，0次SEMANTIC_FAIL_OPEN，全部网络回复在发起review内消费。冻结源码没有单独的retained复用事件计数，复用次数不靠猜造事件名统计。当前软超时分支有源码、实际DEX和历史合成测试，但没有这15条正式Run的触发证据。不能声称已在正式运行验证5秒放行和复用成功。
2. 归档没有OS线程调度/CPU/逐锁日志；provider_wait_ns是APE await实测，不覆盖所有后台工作。没有精确每个await的起始纳秒埋点，wait事件与consume是包络，测得duration独立保存。没有反事实State离开时间。
3. soft budget覆盖本地准备，JevDeadline合作式检查不能抢占任意JVM操作；prepare尾长不全是能立即回收的阻塞。3/5/8/10离线值不是吞吐预测。
4. 原始archive未开historyAudit，缺每次review所有排除项的current_state/current_action/mapping_problem。Statistics564有同版本23相邻合法池映射可交叉核对；1072审核时旧Statistics三条对象完整映射不能直接读出，保持UNKNOWN。执行时id前缀不能当成当时abstraction_version。
5. 150条Probe都有原生Transition和history position；内存ActionHistory完整列表、每个visitedCount最终数值、每个具体控件的全局功能等价“已执行”标记并无完整dump。源码共用流程与Transition成立，不能宣称逐内存字段已读验。
6. Omni两次合法池完整成员身份共51项，但38项有可重建原始descriptor，13项未采样raw GUI。后者精确label/word score和独立真实rank保持NA；投影重放匹配Top3不能把缺失补成“原始全部精确重放”。h5/h15关键Lock原始描述完整。
7. 模型收到的是当时GUI Evidence、被选Witness和页面上下文；没有普遍携带历史动作之后的目标GUI。事后看见相同弹窗，不证明模型当时也知道两者结果相同。Scarlet/Wikipedia不能一律判为Evidence充分的模型错误。
8. 当前Gateway目录没有历史Git部署提交证明，当前provider.py/results.py只作旁证，复制到本目录并标明身份。历史限速行为依冻结10 RPM配置和实际发送间隔判断，不把当前源码冒认为逐字节历史部署版本。
9. SQLite只读限定窗口见691条Jev调用，686正式+5准入，无其他Run。平台之外共享API key、其它Gateway、token配额或远端固定窗口实现未知。15 RPM额度来自用户确认，没有新调用Provider验证。
10. 10 RPM为何被人为选中，未找到可靠设计理由记录。不能将保守配置猜测写成原因，也不能写成Provider仅支持10。
11. 理想队列在10 RPM基准已与观测有偏差；14 RPM数字是条件敏感性，不是真实可节省时间的上下界，更不能换算覆盖率。提高速度也会改变APE轨迹与请求到达。
12. 既有历史合成测试记录5秒放行、晚到成功复用且decision_healthy=false；这支持状态语义问题，但没有本轮已触发导致失效的证据。现有15条有效性不更改。