查询与源时间result

---
type: devlog
title: 整机发送率 · 查询完成与源时间边界复核结果
date: 2026-10-20
status: partial
kind: validation
stage: P4
evidence: E2
metric: ios.device.network.send_rate
---

# Query completion不能单独证明整机源同窗

文档类型devlog，基线cd29eec1，[先行方案](/devlog/p4-device-network-query-time-plan-2026-10-20)。同一AI方案、实现与分离复核，无子代理。30/66、发送正式0/5，Gate R未关，手机调用/安装/写/新run/产品修改0。

## Implementation / Validation Update · 2026-10-20

仅使用已保管手机原代码/数据/selector/共享跳板和旧导出。主审a01发现共享跳板不在四个已打开mapping而拒绝；追加已有.42来源说明后a02完成，a03额外按完整六word认证selector stub解出三导出wrapper的真实selector，不猜同名。失败脚本与pin保留，无新手机采集。最后11根1953原编码389项直接branch关联全部按原mapping核同；范围是有界切片，非完整函数边界证明。

分离读法不导入主提取器，独立读cache header/mapping/v3链；1953word、389branch目标、3pointer、4block目标核同，MOVZ/MOVK参数、ADRP/ADD block地址及interval/countsSeqno增量位字段重算。主审0.643311秒/CPU0.642793秒/峰26722304B，分离0.364478秒/进程累计CPU0.400735秒/峰22396928B，低于10秒/96MiB；新增低于16MiB，host>120GB，I/O峰unknown。无产品变更、不声明提速。

## 限定事实与不能作出的推论

| 所审路径 | 静态事实E1（原字节核同E2） | 不能替代的证据 |
| --- | --- | --- |
| startMonitoring | 生成timer handler、取消handler；timer参数interval=1000000000ns、leeway=100000000ns | 名义1Hz不是实际内核读取1Hz或100ms实测误差上界 |
| timer handler | 构造完成block，调用真实原导出NStatManagerQueryAllSources | 发起请求不是已证明所有provider即时刷新 |
| 三导出wrapper | QueryAllSources→queryAllCounts:；Descriptions→queryAllDescriptions:；Update→queryAll: | 不能仅由API英文名推断更新/描述/读取合同 |
| queryAllCounts: | 有效分支调用performQuery:sourceRef:completion:，command=1004、sourceRef=-1；invalidated分支可直接调用completion而未发送查询 | completion被调用不等于查询成功或来源全覆盖 |
| performQuery/startQueuedQuery | 有currentQueryAllReference、排队字典、sendMessage和completion相关路径 | 不代表每个wire counts事件携带并保留同一个query reference；所审范围未完整闭合服务端读取/回复归属 |
| 完成block | 先将_interval加1，再按同一未命名时钟double返回与起始值差、减1/正值取整/比较，可能补跳_interval | interval是完成侧标签，非源采样时刻；此处未独立命名时钟及单位，不称为新精确时钟桥 |
| handleCounts: | countsSeqno首次设1；已有值且计数改变时按旧值加1，无变化另有返回分支 | 这个局部变化序号不能自行解释为query request ID |
| DVT counts回调 | 组11列，取本地_interval与当前/lastStats差分后有条件发送 | 输出标签不能恢复被省略的内核读取时刻或数值provider |

timer leeway是配置允许的调度特性，不能作为实测最大延迟；完成block的取整也不能用来回填missing或构造零速率。主审未追踪全部异步实现/服务端内核，缺证保持unknown，不将局部观察描述为全实现不可能。原mach回调Start/End、Hq条件包含与精确反例，以及24缺失尾对象均保留，未重算历史结论。

## 保守参考模型准入决定

暂不实现“timer发起至completion即为每一计数源读取窗”的参考算法。该模型需要同次请求绑定、实际刷新合同、全scope覆盖及每个provider字节层同时成立；所审wire未保留足够信息，completion另有无查询分支，现有证据不能给出满足正式门的有限窄误差包围。不能把一个宽区间只要包含候选就称通过，也不能任选TCP层、删ACK、去重serial、拟合时间偏移或放宽正式门。

**当前指标未验收；没有新正式轮次。** 下一只读检查固定XNU query/counts处理的请求context与实际读取合同，和已保管手机manager reference传播是否能建立可证界限；只有补齐绑定、同层、scope和时间证据，才另行冻结参考模型与新容量/新run合同。若仍只能形成不可证或过宽包围，应明确记录可信参考/指标口径决策，停止同类无判别力采样；不得擅自改变产品定义。仍不进193、正式五轮、接收或其他指标。

知识版本reference-qualification.36、handoff/机读、总览/首页/时间线及新不可变快照同批联动。完整站点构建/链接/搜索/归档、提交GitHub核同/GitLab一次尝试及配置检查另有私有交付收据；网站/通知配置债partial、公证暂缓/GPL正式分发门开放。无需用户操作。