外观
现有参考仍不达标；停止同类无判别力采样
文档类型devlog，基线9e2c2276，先行方案。同一AI方案、实现和分离复核，无子代理。30/66、发送0/5、未验，Gate R未关。手机调用/安装/写/新run/产品改动/数据删除均0，不复测历史已验指标。
Implementation / Validation Update · 2026-10-20
原Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a的ntstat.c/h按原来源清单SHA核同。主读法用词法剔除注释/字符串后配对六完整函数，取25项有限事实；七个已保管手机NetworkStatistics切片按原mapping重读1146原word，关联241个直接branch。没有下载新文件，不把公开XNU与实际手机内核等价当已证。
分离读法不导入主提取器，独立cache header/mapping读取全部word、重算branch，独立用顶层闭合行定位六完整函数/两wire结构，逐事实检查原文本；13处决定性load/add/常量字段独立按ARM位域重算。分离a01混用主读法字符offset与UTF-8字节offset导致拒绝，原脚本/失败目录保留；a02显式转换并核原字节/行号完成，未改变源事实或任何手机数据。
主审0.391098秒/CPU0.384469秒/峰25133056B；分离0.367087秒/累计进程CPU0.400210秒/峰23134208B，均低于10秒/96MiB；新增低于16MiB，host>120GB，I/O峰unknown。原件前后SHA核同，无产品提速或手机可用声明。
请求、读取与回复：分开判断
| 路径 | 限定事实 | 证据边界 |
|---|---|---|
| 单条count | header.context从参数写入；调用provider nstat_counts之后才可能enqueue | 固定公开源码E1，不证明手机运行同版本；provider无count函数可直接返回0，读取不成功可不enqueue |
| aggregate count | 清零结构后设置type/length/srcref并调用provider；该函数不填header.context | 只对所审函数成立；不能把“协议有context”外推为每个聚合子消息可独立绑定查询 |
| query all | 遍历当前已注册source queue、reporting filter，按aggregate支持位选两条路径 | 是已注册且允许报告的来源，非自动证明整机全部接口/流覆盖 |
| success | 除ENOMEM/ENOBUFS等条件之外可发success；无逐来源成功计数合同 | success不是每个来源都读取/发件成功的证明；零字节过滤、无counts与其他失败均需另判 |
| continuation | context变化可使旧查询EAGAIN，新source seq跳过已处理项；达到来源上限可续查 | 一个完成回复未必意味着完整单次全表；continuation flag必须处理 |
| header/counts结构 | header具有context/type/length/flags，count载荷有srcref/event_flags/counts | 所审两个结构没有逐来源读取时间成员；不据此断言不存在其他内部时钟 |
| 手机manager | 按原header context匹配completion，低两位编码query command；continuation可复发 | 确认内部请求机制存在；仍不等于DVT ConnectionUpdate逐事件保留该reference |
| 手机source | counts/update路径把message+0x20的counts载荷传给handleCounts: | 这次传参没有携带header context；不排除其他未审全局状态，但不能据它构造已证逐请求wire绑定 |
原NetworkMonitor wire的provider压缩、回调Start/End而非内核读取时刻、interval完成侧补跳、局部countsSeqno等前批结论保持。静态语义E1，格式与原字节分离核同E2，未升级为E4数值验收。
现有独立参考候选总表
| 候选 | 已获得 | 未关闭的关键缺口 | 当前决定 |
|---|---|---|---|
| Lab20接口ifmib64 | 当前手机首查询返回EPERM，内容调用0，失败保留E3 | 实际可读性/ABI未成立 | 不重复同权限调用、不改变常驻权限 |
| pcapd/RVI全设备镜像 | 原捕获/字段解析和部分流对照 | 丢包覆盖、虚拟/物理封装、不同provider层及精确同窗仍未证 | 不能当统一整机字节真值 |
| Sysmontap System | 实际字段/原件与Hq条件对照 | 字节量化机制/整机scope只有限支持，源时钟和跨层不可比 | 不把条件包含当精确通过 |
| diagnostics IORegistry | 一次完整2455B通道和统计原件 | 未得到已证字节计数或全接口拓扑/时钟 | 不用包/错误字段伪造bytes |
| NStat IFNET | 公开源有接口byte计数路径 | 权限前置、共享阈值写入、副作用及无AddAll watcher | 不以只读名义盲试 |
| NetworkMonitor查询/reference | 原字节、字节来源类别及本批context路径核同 | DVT wire仍缺逐来源请求/真实读取窗，数值provider信息压缩 | 不把同一来源复制一份当独立参考 |
| 自有Lab/host服务业务量 | 可控请求、实际成功/失败/取消及业务字节 | 仅目标业务，不能覆盖整机其他流 | 仅负载与业务对账，不替代Gate R |
来源分别见Lab20权限、RVI与Sysmontap累计记录、诊断、IFNET及计数层、wire kind、查询时间。历史失败/反例/24缺失尾对象不回改。
可信参考决定与需要Owner的最小输入
当前可用证据不能关闭Gate R；发送率保持待验，不执行正式五轮。 此结论不代表永久不可实现。相同wire的更长捕获不能恢复已经省略的逐来源context/time/provider；重复无新权限的ifmib、重复无bytes的诊断也不能补证。停止这些等价重采，不制造新run、包版本或通过数字。
继续当前项需要新增可授权使用、能导出原始数据的独立整机参考，并在新计划中先证明方向、scope、字节层、时钟/窗口与完整覆盖；“其他软件有曲线”本身不够。另一可选管理动作是Owner明确允许当前项继续待验、调整原逐指标顺序后推进下一项；它不增加已验计数，不解除任何未验项门禁，也不代表目标缩为65项。AGENTS.md逐指标条款禁止当前未通过时自行进入下一指标验收，因此不能擅自跳项。Owner此前允许保留网站/通知交付债进入下一项，未授权本项数值未验就跳过。
下一动作：向Owner提交上述具体选择，等待外部参考/授权顺序调整；期间仅完成本批知识、开发记录、归档、站点与提交同步闭环，不继续同类原件抄录冒充验收进展。总体目标仍全部66项。
同批知识reference-qualification.37、handoff/机读、首页/总览/时间线及不可变快照联动。站点完整构建、链接/搜索/归档、GitHub核同/GitLab一次尝试和配置检查保留私有交付收据；网站/通知配置债partial、公证继续暂缓/GPL正式分发门开放。上述软件/静态通过不等于指标通过。