计数查询与整机Sysmontap候选方案
2026-10-19 · E3通道/E2复核/E1静态 · partial · 30/66，发送0/5，Gate R未关
来源：site/devlog/p4-fixture-lab-device-network-send-plan-2026-10-19.md；源SHA-256 d52a215f12e5b0c8ba3be9f56affc8f8ef4002ca0c88c72e53a0c75215d74349
· 2026-10-19 文档类型devlog增量。前批d2785843已推GitHub核同，GitLab一次失败；同提交站点18.023291秒/聚合1439088640B、579页/747目标/674锚点无缺，发布和通知欠项继续partial。发送0/5、30/66与Gate R不变。 下一只读已有手机原件，不联系手机或获取新cache。固定NetworkStatistics Source的handleCounts、各TCP/UDP/QUIC快照构造和traditionalDictionary、NWSSnapshot原counts复制/字段装箱，以及Manager的queryAllCounts/queryAll/performQuery/startQueuedQuery/handleCompletion/handleMessage/dispatchDidReceiveCounts等；同时核既有DVT入口与回调相邻slice。以已核class/selector/IMP与导出地址为根，每根最多8192指令、总32768指令、selector≤512、附加metadata≤2MiB、字符串每项≤2048B/实际mapping内，输出≤12MiB。邻近IMP或导出仅切片上界，不虚称完整函数/调用图；间接block实现仅在原编码给出明确PC-relative入口后有界追加，超预算停，不猜运行绑定。 复用原TEXT、数据v3真链、selector片与新原导出表；精确记录counts结构偏移→snapshot偏移→原CFString键→DVT差分槽，header标志仅按已证分支解释；比较字段装箱是否出现字节修正，未审分支保留unknown。对查询记录请求command/context/sourceRef、排队/完成标记与回调调用点，区分query发送、源counts采样、服务回调和DTX交付时刻，不将host收到时刻倒推源时间。仅审固定公开ntstat.c/h已有候选内容；若需其他内核源码或运行数据先另立具体范围合同。 先pins/源SHA核同，再单次索引与有界切片/selector/ivar/CFString读取，时间复杂度O(原源SHA+指令+有界链)，单并发、预计≤2秒/每脚本10秒96MiB。LLDB已解原指令复用，不重启decode或执行代码。主reader完成后用独立算法核全部原编码/实际mapping/slot与具体所引用字面分支，不调用主解码器；资源相同。新元数据解析没有旧等价结果，不虚构提速；记录CPU/耗时/峰值，I/O瞬时峰unknown。全部失败与unknown保留，不删除旧反例或24尾缺口，不改变产品/指标容差；输出仍仅E1静态/E2复核，运行绑定、全scope/同层/方向/时钟/完整性Gate R未关则不进193/诊断/正式/接收。 #### 公开计数累计点的四源补充 · 2026-10-19 原手机44根/5015指令、75 selector/363引用/86ivars与327原指针完成主读取和独立原字节核同；txBytes为原counts+24复制到snapshot+32后无变换装箱，仍不能由此指定底层packet-byte层。为沿公开候选的inp_stat查累计参数，只新增固定Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a的四件：bsd/netinet/in_pcb.h、tcp_input.c、tcp_output.c、udp_usrreq.c。每文件≤2MiB、总≤8MiB、每请求8秒、串行4请求不重试、外层45秒/96MiB、证据预算16MiB；保存原字节/URL/commit/SHA，不执行下载代码。查宏定义/调用上下文及实际长度参数，失败原件保留；未覆盖IPv6/用户态provider或精确手机构建不外推。它仅E1公开机制，不能独自关闭Gate R或认定此前反例唯一原因。无手机调用/新采样/产品改动。 补充静态资格入口：仅在既有DVT原件中追加DTDeviceInfoService的symbolicatorSignatureForPid:trackingSelector:切片（≤8192指令，计入32768总预算），先审原代码的正常读接口、返回类型与副作用，再决定是否另立运行绑定只读合同。本段不授权立即调用手机selector。 #### 当前系统定义与候选全局来源只读合同 · 2026-10-19 公开候选TCP输出在非零data len路径累计txpackets/txbytes，纯ACK路径分开；这提供不同口径的候选机制，尚未与手机精确内核/当前provider绑定。下一exclusive `network-system-facts-a01`只调用固定SDK DeviceInfo.system_information、mach_kernel_name、network_information、sysmon_system_attributes各一次，检查实际内核标识及是否存在可独立研究的整机接口计数源；不启动任何monitor、symbolicator/签名跟踪、attach或trace，不依赖名字假定字段存在。 沿前批完整fresh identity/原生RSD/SDK11.3.1/Lab18/产品idle、自有App idle、实际61封口/released及122metadata与既有基线核同/no pending/pins前后门；busy/漂移停止，signal/launch/安装/文件数据请求/新run/容量0，不在此合同正常退出。四答保留SDK-decoded typed对象（不是DTX wire），各≤1MiB、深度32/节点20000，总4MiB；每await8秒、整体90/外105秒/128MiB、预算8MiB/host≥10GiB且两倍预计量。接口/内核的标识原文仅私有；公开只记字段类型/计数能力是否存在，不出身份或网络地址。所有close及前后metadata复核通过才完成E3通道；系统输出不自动证明数值/运行映像绑定或关闭Gate R。若没有所需全局计数字段如实缺失，不自动试额外selector。 system-facts-a01新鲜准入核61封口/122metadata后因自有测试台在运行而拒绝，四信息请求0、signals0，5.136494秒/97157120B，关闭无错，原拒绝保留。原因unknown。沿Owner既有“自己退出吧”授权另立`phone-owned-normal-stop-a08`：以a01 metadata和其生命记录为冻结基线，完整新鲜身份/版本/产品idle/no pending/源pins与61封口检查后两次末尾生命必须与a01同一；先fsync意图再最多一次SIGTERM、≤3秒观察，不追新生命不强杀。退出前后全部122metadata SHA/产品与Lab idle/close核同；90/105秒128MiB、预算4MiB/10GiB空间门保持。无launch/安装/新run/容量。成功后另立`network-system-facts-a02`新连接重做全部准入，仅原四信息请求各一次；若再busy本批不追加signal，不能用退出回执代替新准入。 system-facts-a02新连接准入成立且idle；首个systemInformation收到实际服务UnrecognizedSelectorError，后3请求均未执行。该selector虽在固定SDK11.3.1暴露，但手机原DTDeviceInfoService方法表中也不存在，不能把SDK声明当设备能力。失败关闭无错，未运行失败后的metadata重核，保留为partial，不称全流程完成。正常退出a08已完整前后122metadata核同、1信号/9.061287秒/100958208B。本批不再调用systemInformation。 另立`network-system-facts-a03`，仅执行原计划尚未调用且手机原类方法表实际存在的machKernelName/networkInformation/sysmonSystemAttributes各一次，并加一个配对Lockdown.get_value(BuildVersion)只读版本字段；systemInformation不重试、不追加signal或其他selector。新连接按原完整61/122/idle/no pending/source pins/90秒105秒128MiB门重核，也用于核对失败a02后的metadata。返回仍用有界typed对象，定义及运行绑定仍须独立判断。所有失败原件保留。 system-facts-a03准入idle，BuildVersion、machKernelName和networkInformation三答已typed保管；networkInformation实际仅接口→字符串，不是字节计数。第四答sysmonSystemAttributes解码为Python set，既有raw_network_messages只支持原列明类型，因此主机序列化明确拒绝；该答未保管且失败后metadata重核未执行，不能称完整流程。machKernelName原答无xnu版本串，未证明候选精确内核。原a03失败保留，不自动重复前三请求。 先新增独立`device_info_fact.py`编码器：顶层set只允许≤4096个str成员，保存明确set标签与排序后的typed tuple，native类型继续既有transform，schema/预算≤1MiB/节点20000/深度32；nested set、非字符串set或未知类型拒绝。不放宽现有Raw/DTX对象encoder。5项纯软件控制覆盖native浮点/bytes保真、set无序/空集、nested和未知拒绝、大小上限。 之后新exclusive `network-system-facts-a04`仅重取一答sysmonSystemAttributes（a03该答未保管，明确新请求非旧答重建），不重复前三及不支持的systemInformation。仍全新61/122metadata/identity/Lab18/产品与Lab idle/no pending/pins前后准入，90/105秒128MiB，预算8MiB/host≥10GiB，无signal/launch/安装/新run/容量。若失败再停；完整成功后分离核全部已保存原答和metadata，不以工具通过当指标通过。 #### 整机Sysmontap网络字段的有限探测合同 · 2026-10-19 文档类型devlog增量。a04已保管37个实际系统属性（含netBytesIn/netBytesOut/netPacketsIn/netPacketsOut），950B/SHA b75b4354b0e4ec86102f7a602e8cbfada5c16d65477e2f3d1ddf4971db3fe3ea；完整前后122metadata/idle/关闭成立，7.070291秒/97042432B。字段存在仅E3能力，不代表实际输出或口径已证。 新exclusive `network-sysmon-probe-a01`只启动一个独占DVT Sysmontap网络源，固定procAttrs=[]、sysAttrs依次为上述四字段、cpuUsage=false、physFootprint=false、bm=0、ur=1000、sampleInterval=1000000000；这是请求配置，不预认服务实际频率、字段顺序、累计/差分或源时间语义。自然观察12秒，不启动测试台、产品Session、pcapd/RVI或新配方；不生成run/容量，无signal/安装/launch。执行前完整新鲜61封口/released/122metadata、身份/版本/SDK11.3.1/产品及Lab idle/no pending/pins，结束后全部metadata SHA/idle/close再次核同；busy/漂移停止，不自动退出或重试。 主机专用TapService子类仅改本地queue关闭为immediate=false，不改selector、DTX派发或源数据。复用已验证capture_lifecycle，保管全部(data, bytes)/(plist, value)，包括首确认/未知/不能解码载荷；不使用会跳过解码失败的SDK receive_plist。stop一次≤8秒，quiet≤1秒/尾≤10秒，关闭专用源DVT一次≤3秒并观察本地terminal，仍保留另一DeviceInfo连接做后核；本地terminal/空队列不等于源无丢失。新增纯软件反控核实际SDK队列关闭仍保留字节/尾部/terminal，配置每次独立且只选四字段。原始对象保管器上限不变（单条1MiB/总64MiB/20000条/队列4096），整体90/外105秒128MiB、host≥10GiB且预计128MiB两倍，预计总≤30秒，单流O(原件bytes+metadata)，不全盘扫描。 离线穷尽所有保管对象，逐件SHA、原bytes/typed值、解析成功或失败均记账；原样输出的结构、字段长度、时钟和变化只能报告观察事实。主机收件时刻不替代源时刻，字段名不证明字节层或范围。另仅在已有DVT原片中审supported attributes/map、system table handler和record decoder，≤32768指令/输出12MiB/10秒96MiB，原编码与mapping第二读法核同，不重取cache或运行代码。正式五轮仍0/5、30/66、Gate R未关，不进入193/产品诊断/正式/接收。 a01完整三对象938B与前后122metadata/idle/close成立，20.163627秒/101449728B；实际k=0确认、k=8状态2147483648并明确Missing the 'pid' process attribute、stop后k=5，无数值样本。采集保管完成不等于源配置有效。原件及所有pins对应Python源独立保留后，新增`network-sysmon-probe-a02`，仅将procAttrs改为['pid']满足实际服务要求，其余配置/12秒/来源关闭与前后完整准入、资源上界均不变；进程标识原答仅私有，不作为进程指标测试。新软件配置反控后再执行一次，不拼接a01或自动换参数。已有DVT八方法1643条原指令已有限提取，外部调用名字尚未解析，不能提前宣称系统计数底层来源。 ### Implementation / Validation Update · 2026-10-19 · 整机Sysmontap候选 原count/query 44根5015编码独立核同；七动作仅1次授权正常退出、无新run/容量/安装/launch。37属性与真实表核同，新a02自然27对象/12组整机网络计数完整尾部保管，a01被拒及各失败保留。七动作61记录metadata原件和成功流程122份后核、30消息经第二reader核同E2；静态E1/通道E3，不是指标验收。下一仅新Sysmontap底层定义/全接口scope/源时钟和逐接口独立同窗参考；不进193/正式/接收，30/66、发送0/5、Gate R未关。[完整结果](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。