Sysmontap同场研究结果

2026-10-20 · partial · E3来源/E2复算/E1公共机制；30/66、发送0/5，Gate R未关

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

文档类型devlog增量，基线67ccb009；同一AI方案、实现、测试后分离复核，无子代理。30/66、发送正式0/5保持。Mac192/Lab18未修改/安装，不重测历史。先冻结新研究前缀、同tick时钟和all/nonloop两项差分假设，再仅一次1MiB受控上传；不是产品诊断或正式轮。

### 新准入、失败和保全

首次capacity-a01实际61封口/released但Lab进程存在，按合同拒绝，signal/launch/新run/容量0，原因unknown。沿Owner既有授权，新a09完整同生命与122metadata基线核同，fsync意图后一次SIGTERM正常退出，前后metadata核同。新capacity-a02独立重核61集合/身份版本/产品及Lab idle/无pending/手机空间和新名不存在，只产生一个研究槽，非五轮容量。

新run实际61→62，一次1MiB上传完整server journal/正文SHA/HTTP200与typed export相符。原Sysmontap18秒全部39对象66462B，window35/停止后4、18个System组；stop和独占源close各一次，本地terminal成立，未丢弃data/plist或尾部，不宣称传输无丢失。原Lab241快照/250事件，完整参考mean/P95=0.715574/0.882458ms、max0.992917ms/gap63.810333ms。原8源文件/导出和122件前后metadata均已保留。

**执行器未通过**：新增download收据包含AFC datetime，最终json.dumps抛TypeError，result未写成。guard exit1，28.841194秒/109445120B；不能从文件齐全反推所有内存门禁或历史关闭成功。首次实际executor-sources、stderr及缺result状态永久保留，未重传或补造执行result。后续只修host日期编码、原子fsync收据、call append与checkpoint；3个日期/未知类型/关闭失败控制通过，尚未再跑手机执行器，不能声称修后真机通过。

新只读postflight-a01重新核实际62集合（原61＋唯一研究run）、全封口/released、无pending及产品/Lab idle。旧122metadata全部核同；新run所有7文件及唯一export共8件重新从源读取与首次副本SHA逐件一致，7.263098秒/111083520B，关闭无错。补审只证明当前源与首次原件相符，不替代失败执行器收据或补历史call/close结果。

### 两个预定假设均有反例

固定System相邻End为端点，不拟合offset或比例。对每端点取原生最后end≤T和最先begin≥T的两侧快照，原32位接口累计仅在整个包围窗拓扑/配置/timebase稳定且无计数下降时差分；缺包围、重置/回绕均missing。单接口候选差分包络为[max(0,L_B−U_A),U_B−L_A]，只研究all接口与固定排除loopback两项scope，生产crossInterfaceSumAllowed=false不变。不将32/64位绝对累计相加。

共17相邻System对：7对无原生端点包围而missing，10对可评估。all及nonloop各10对发送bytes均只有2对包含、8对反例；发送packet各10对包含、反例0。全部start=前end+1。packet吻合不证明同层、时钟已校准或全scope，两个bytes反例结论保持，不删除ACK、不加容差、不拟合接口。以上仅E2反证，Gate R未关。

独立路径不导入主typed/归档解码器或比较器，以plistlib有界UID图读取全部39对象；直接数组列和整数运算核241快照、17对/全部包围端点与两scope结果，同时核8源文件、typed导出/manifest和旧122metadata。首独立a01错误期待补审收据startupPending字段而KeyError，保留失败；新a02按实际成功pending调用及冻结源码检查，所有结果核同，0.112660秒/28196864B。未重采手机。

### 粒度观察和公共来源边界

全部14942个原生bytes观察（收/发，仅发送验收研究）中5784个非零值均为1024倍数。不能把这些数当精确到字节的独立真值。固定公开XNU源在iflist和iflist2对非platform分支调用ALIGN_BYTES；宏对齐1024且转uint32，if_data原转换也为32位。该公开机制支持粒度调查，尚未证明设备A的精确内核版本/实际调用绑定，不是唯一原因定论，更不能据此把本轮8反例回改通过。来源：[固定rtsock.c](https://github.com/apple-oss-distributions/xnu/blob/1031c584a5e37aff177559b9f69dbd3c8c3fd30a/bsd/net/rtsock.c#L143)、[if_data转换](https://github.com/apple-oss-distributions/xnu/blob/1031c584a5e37aff177559b9f69dbd3c8c3fd30a/bsd/net/if.c#L5429)。

两公共文件61197/164405B已保管SHA，来源E1；首次Python系统CA验证失败无文件下载，保留失败；新a02用系统curl正常TLS验证获取，不禁证书验证。两非platform分支及原宏由另一路静态检查核同；公共源码不能替代手机运行证据。

### 范围、效率与下一步

新增研究executor、离线包络与解码器及对应控制，无产品/手机代码变动、无新包。7差分边界＋3队列关闭＋3收据回归共13控制通过E2。关键路径单流O(bytes+122metadata)，无pcapd/RVI/全cache获取，新增研究总约数MiB；逐步资源收据均未越既定上限，I/O瞬时峰unknown，实际累计文件大小/空间收据保留。原执行失败不是提速证据；新研究没有可比旧任务，不虚构前后性能提升。新原生完整成本低于1ms mean/P95只证明本次参考开销，不证明参考精度。

下一先冻结源推导的量化不确定区间、P2ALIGN精确语义/当前手机适用证据和源时钟资格，再新留出实验；不得根据这次样本拟合修正或改变旧反例。原24未保管尾对象仍未找回；Gate R未关，不进193、产品诊断、五轮或接收率验收。网站/通知/镜像沿Owner授权partial，原件不清理。[本次机读复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-sysmon-controlled-review-2026-10-20.json)。