计数查询与整机Sysmontap候选结果

2026-10-19 · E3通道/E2复核/E1静态 · partial · 30/66，发送0/5，Gate R未关

来源：site/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19.md；源SHA-256 cf5470323710d0e4b920221867ebd0a3c47c89334d5985468bcfb503cbbb044b

## Implementation / Validation Update · 2026-10-19 · 计数查询与整机Sysmontap候选

文档类型devlog增量，基线d2785843。同一AI方案、实现、测试后分离复核，无子代理。产品Mac192及Lab18未改，未安装、launch或创建run；整体30/66、发送正式0/5、Gate R未关。前批同提交本地构建通过，GitHub核同；GitLab一次失败，网站/通知配置欠项沿用partial。

### 原快照与查询路径

已有手机原件44根/5015指令、166调用目标、75 selector、363引用、86 ivars、327原指针经主reader和第二独立原字节/mapping/v3 reader全核同（E2）。静态事实仍E1：handleCounts复制112B结构；原counts的txBytes进入snapshot+32，字典路径直接按unsigned64装箱到真实txBytes键，所审路径没有头部字节修正。TCP/UDP/QUIC字典沿super路径；header-overhead标志不能当实际bytes已归一化。queryAllCounts使用command1004/sourceRef=-1；context、排队/continuation及clientQueue调用点可见，仍不能把query发送、源采样、回调和host收件视为同一时刻。

固定Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a再取四源445268B，URL/SHA私有保管。in_pcb.h的INP_ADD_STAT按参数累计；tcp_output.c在选定非零data len路径累计，纯ACK分支另列；udp_usrreq.c在header prepend前取得len，并在成功输出后累计。强制探针、TSO、失败路径、IPv6和用户态provider未完整覆盖，手机精确内核未证。因此只作为公开E1候选机制，不能把旧22反例唯一归因、删ACK、调容差或宣布Gate R通过。

### 兼容性与失败均保留

system-facts-a01准入发现自有App仍运行，信息请求0；按Owner既有授权，新a08核同生命/全部61记录/122metadata、fsync意图后仅一次SIGTERM，前后SHA、idle、关闭全部成立。没有追新生命、强杀、安装或launch。a02首个systemInformation收到UnrecognizedSelectorError，后续请求未执行；SDK11.3.1声明不等于手机服务能力，原手机类方法表亦缺此selector。a03保存BuildVersion、machKernelName、networkInformation三答；前者均未给出精确XNU构建，networkInformation只是四项接口→字符串，不是字节计数。第四答为Python set，旧encoder明确拒绝，未保管该答；失败后metadata复核未执行，不称完整生命周期。

新增独立device_info_fact编码器，只允许顶层≤4096字符串set并显式保留set语义，native仍走旧typed规则；不修改Raw/DTX encoder，不允许nested set/未知类型。5项边界控制通过。新a04仅重取未保管的一答，37项系统属性包含四个网络计数；950B/SHA b75b4354b0e4ec86102f7a602e8cbfada5c16d65477e2f3d1ddf4971db3fe3ea，完整前后122metadata/idle/关闭通过E3。未重复不支持的selector或前三答。

### 新自然Sysmontap候选及完整尾部

先文档化12秒独占探测，固定四个sysAttrs、1秒请求间隔、cpuUsage/physFootprint=false，不启产品Session/测试台/pcapd/RVI。主机专用TapService只将本地queue关闭设为immediate=false，保留全部data/plist/确认/未知对象，不用SDK会跳过解码失败的receive_plist。首a01 procAttrs=[]被手机明确拒绝Missing the 'pid' process attribute，完整三对象938B（确认、错误、停止）；保管成功不等于源配置有效。原件及对应源码保留后，新合同a02仅增加必需procAttrs=['pid']，3项软件控制通过。

a02完整27对象57682B，窗口23/停止后4；其中12组整机System样本、12个k=1024控制，首确认、heart、stop控制均保留。首样本实际SystemAttributes与请求顺序核同；四个字段均为非负整数，11对相邻样本均不减、下一start=前一end+1。样本为二进制NSKeyedArchiver data，控制为plist，未将两者混同或滤掉错误。stop和专用源DVT close各一次、本地terminal成立；此仅证明SDK已交付对象保管，不证明源无丢失。所有61记录前后122metadata/idle/no pending/源码pins/关闭核同，新run/容量/归位/删除0。

离线八方法1643原编码、108调用目标、52 selector/170引用/33ivars，以及真实37×16B属性表经独立reader核同E2；表中netPacketsIn/netBytesIn/netPacketsOut/netBytesOut对应29/30/31/32。字段表与手机37个实际属性集合一致（E3来源、E1静态），尚未证明底层累计点、所有接口范围或当前运行映像绑定。

独立复核不导入主typed/mapping/queue reader：七次动作的全部61记录metadata原字节核同，成功流程各122次post-read已记账，失败流程保留partial；一次signal意图与冻结生命核同。所有30对象逐件SHA/序列/阶段/收件界限核同。二进制样本用独立plistlib+有界UID图reader读取，拒绝未知类/循环，不执行归档对象。首复核脚本误认所有消息为plist而停止，失败原件保留；新a02补齐data独立读取后全量通过，未重采手机。端到端准确度、采样时钟单位/桥接、首点语义、重置边界、字节层与参考一致性仍未证明，不能由11次递增外推永久累计语义。

| 步骤 | 外层秒 / 退出峰B | 证据与限制 |
| --- | --- | --- |
| count/query主reader | 0.315779 / 47808512 | 有界44根 |
| count/query独立复核 | 0.491791 / 27918336 | E2全原字节/slot |
| 四公开源 | 5.025879 / 29966336 | E1候选，非精确内核 |
| 顶层set 5控制 | 0.062111 / 28082176 | E2，不改Raw encoder |
| a04实际系统属性 | 7.070291 / 97042432 | E3能力 |
| 初次Sysmontap | 20.163627 / 101449728 | 配置被拒，原件保留 |
| 新pid配置3控制 | 0.245799 / 60604416 | E2队列尾部/配置 |
| 新Sysmontap a02 | 19.894588 / 97959936 | E3自然候选，非正式轮 |
| Sysmontap静态独立复核 | 0.599216 / 25706496 | E2，原语义E1 |
| 七动作/30对象独立复核a02 | 0.110699 / 23576576 | E2保管及字段，非精度 |

效率：单流O(bytes+metadata)，原105秒/128MiB手机、10秒/96MiB离线门保持，未调堆/放宽指标容差；主机剩余空间在每次动作前后检查，足够10GiB及预算两倍，无清理。新源没有旧等价结果，不虚构前后提速；CPU按私有守卫，I/O瞬时峰unknown。

**下一动作**：优先核整机Sysmontap候选底层累计点/接口scope/源时钟及与独立逐接口参考的同窗比较。先有限合同，再执行；Gate R未关不进入193、产品诊断、正式五轮或接收率验收。旧H1反证/22头下界反例/24未保管对象缺口保持，软件或通道通过不增加指标计数。[机读复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-system-sysmon-review-2026-10-19.json)。