有限原件审查：查询完成不自动等于计数读取时刻

文档类型devlog。基线cd29eec1；同一AI承担方案、实现与分离复核，无子代理。30/66、发送正式0/5，Gate R未关。承接wire kind结果。本批只读取已保管原件，手机调用、安装、产品改动、新run均0。

固定范围与判据

固定旧DVT startMonitoring切片、相邻C代码中counts/timer/完成区间（原VM 0x20edd1c80至0x20edd22cc，切片标签不当函数名），以及已有NetworkStatistics的queryAllCounts:、queryAll:、performQuery:sourceRef:completion:、startQueuedQuery、dispatchDidReceiveCounts:fromUpdate:、handleCounts:。额外仅核原导出QueryAllSources三入口各8B；不扩到新映像/新手机文件。最多12根4096原编码512关联/64锚点，越界或缺源即unknown；不能把下一IMP当完整函数边界。

主读法从原mapping核全部选中word，解析直接branch、已有selector/stub、查询三导出和timer handler/完成block目标。追踪实际定时参数、查询请求与完成的先后、interval变更与counts输出。分离读法使用独立mapping/word/ARM位字段读取，不导入主提取器，重核原word、branch及决定性参数与block目标；已有原件格式复核可复用，语义仅静态E1，原字节核对E2，不能升级为运行E4。

“发起查询≤实际读取≤回调”仅在同一次请求绑定与服务端读取合同成立时可用；本地timer、回调mach时间或query completion本身不足以证明这两端。检查是否具有请求序号、同次counts归属、刷新/缓存语义及服务端时间来源；缺任一则不能构造已证明的窄同窗参考。禁止把round到秒的interval或timer名义1秒当内核采样时刻，不拟合偏移，不按有利样本选择窗口。

若仅证明调度/完成记号，则明确剩余不可证项与保守参考模型要求：多个可能provider层、异步窗口及全scope覆盖同时包围，区间宽度必须仍满足原正式误差门；无法得到有限可靠边界就停止同类无判别力采样，形成可信参考/指标口径决策，不放宽阈值、不擅自更改产品公式或宣布通过。正式五轮、193、接收及其他指标仍禁入。

资源与交付

O(分块SHA+两原解码流扫描+选中指令)，原大文件不整体复制，单进程内存96MiB/10秒、新增16MiB，host至少10GiB且超过新增两倍；手机并发0，删除0，失败全留。记录完成耗时/CPU/RSS，I/O峰unknown；无产品变更不作提速声明。源码路径/完整源pin私有，公开只说明方法和限定结论。结果及时沉淀唯一Canonical知识、handoff/机读、C2–C5归档与站点，窄提交双推（GitLab一次），网站/通知配置债partial。

Existing Stub Source Clarification · 2026-10-20

主审a01读共享跳板时发现其不在四个已打开mapping而拒绝，原脚本/失败pin保留。下一a02只加入此前已保管的.42共享跳板原件及既有导出/名字收据核对，非新文件采集；原根/指令/关联及资源预算不变。未映射/未解析目标显式unknown，不能把缺源推断成不存在。