网络共同源窗反证与producer静态核验结果

2026-10-19 · 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 342f268bd614ebf8e50121f6dc2fa34623bf0011b4a094affa738ac8b2ff90a7

## Validation Update · 2026-10-19 · 共同源窗反证与计数来源静态核验

文档类型devlog增量。基线af33ef14，上一批同提交站点17.469873秒/聚合1391312896B通过，579页/735目标/605锚点核同；网站、通知与GitLab欠项仍partial。本批只重读封存原件及本地Apple二进制/两件移动开发镜像；手机连接、写入、启动、信号、安装、新run/容量/Session及删除均0。30/66、发送正式0/5，Mac192/Lab18/产品公式不变。上一批是有效离线覆盖进展；本次证据改变下一动作，不能重捕或调容差来掩盖反例。

### 单流假设不能推广为全部连接的共同时间桥

冻结前批单流H1的105000ns可行offset区间，不用其余流重拟合；H1合取相邻1秒桶、packet同义、发送IP bytes及接收传输正文bytes。724更新全数分类：228负time初始化、21个t0边界、2个无声明、467留出数值内部及6训练更新。数值内部不等于捕获全生命周期覆盖。7边界/交集控制通过E2；保留全部不可判与旧24尾对象缺口。

| H1方向 | 训练6更新 | 留出467更新可行 | 留出不可行 |
| --- | ---: | ---: | ---: |
| 发送 | 6 | 17 | 450 |
| 接收（仅研究，不验收） | 6 | 296 | 171 |

所有留出共同offset交集为空。另一路从原typed对象核724更新，再直接逐包累加946方向/958临界分段；未导入主工具bisect/prefix，全部可行区间和分类核同。333个源发送0反例在冻结下界中，328个仅见无正文且无SYN/FIN/RST的ACK形态，5个mixed/empty；这是相关形态，**没有排除ACK、没有改分母，也不能据此认定实际producer规则**。H1的组合假设在本数据被否定，不能唯一归因为时钟、层级、镜像loss或产品错误。

### 不依赖时钟的必要条件也不成立

独立原DTX reader及全流SHA复核全部724更新：228负time、364零包、2无声明、108正包未低于通用IP下界、22正TCP候选更新低于每包40B通用完整IP+TCP下界。例如源发送2包/26B小于80B，不论offset如何移动都不能满足“相同完整IP包数与其完整IP字节”的合取解释。Socket family最小头反例24，但声明IPv6不证明wire IPv6，故正式结论只用不依赖wire IP版本的22个反例。合法等号/低1B/零包3控制通过E2。

格式下界依据[RFC 791](https://www.rfc-editor.org/rfc/rfc791.html)、[RFC 8200](https://www.rfc-editor.org/rfc/rfc8200.html)、[RFC 9293](https://www.rfc-editor.org/rfc/rfc9293.html)。此检查反证一种计数合取，不识别实际字节层/packet定义，不把不足部分补到产品。首次minimum-a01因else语法缺空格而未执行分析，失败源码/日志保留；新a02才是最终结果。

### 本机同名服务的实际调用、字段、差分与查询标签

固定本机Xcode DVTInstrumentsFoundation二进制4552368B/SHA，选**arm64 subtype0**的1466944B slice（macOS平台）。FAT同时包含arm64e；初次只按CPU选了末slice，读出ASCII形状raw pointer，属于无效尝试，原文件保留。纠正CPU/subtype后按Apple chained-fixups格式解binding，并与系统dyld_info逐VA交叉19项全部核同；没有执行或加载私有framework。格式依据[Apple fixup-chains.h](https://github.com/apple-oss-distributions/dyld/blob/main/include/mach-o/fixup-chains.h)。

本机DTNetworkingService注册同名networking服务；start路径实际调用NStatManagerCreate、AddAllTCP/UDP，counts tuple前9键依次RxPackets/RxBytes/TxPackets/TxBytes/RxDupeBytes/RxOOOBytes/TxReTx/MinRTT/AvgRTT，后两项由serial/interval填充。counts路径前7项从累计snapshot与lastStats求差，负差/空值为CFNull；后项保留或比较，仅time变化不足以触发发送。默认lo0受XRIncludeLoopback开关控制，额外隐藏数组实际awdl0，接口description还有过滤/移除路径。这不能叫“所有接口全部wire包”。

本机timer设1秒周期/100ms leeway，调用QueryAllSources；completion递增interval并按CFAbsoluteTimeGetCurrent-start-1的舍入值向前修正。故**本机实现的time是查询区间标签，不能当每个包事件的精确时间戳**。此处仅E1固定macOS实现，手机二进制等价、实际内核路径、ACK/重传/隧道计数和所有byte层仍未证明；不据此修改产品公式或给手机套同一时钟。

### 两件本地移动DDI只读负结果与资源

依新合同对本地两件Restore镜像先imageinfo与SHA，再各只读/nobrowse/noautoopen挂载一次：实际展开8MiB/14MiB、各111目录项，无同名Instruments/NetworkStatistics producer普通文件，均正常detach一次、源SHA不变。没有挂手机DDI、下载缓存或复制整盘；该负结果只说明这两件开发支持镜像未发现目标，不能说明手机没有服务。version为iOS开发支持16F6/5198，不当手机运行版本。

| 最终工具 | 内部秒 | 峰RSS B | 说明 |
| --- | ---: | ---: | --- |
| H1主检查a02 | 0.276458 | 33243136 | CPU0.282968秒；首构造242.037ms、真实首输出250.304ms |
| H1分离逐包复核 | 0.332912 | 25116672 | CPU0.352697秒，946方向/958分段 |
| 独立头下界a02 | 0.005728 | 16662528 | 全724更新，不用offset |
| host字段与系统binding核对 | 0.007132 | 29442048 | 19项，源SHA稳定 |
| 两镜像枚举及卸载 | 0.701604 | 33882112 | 全部卸载、源SHA稳定 |

各工具在已定时间/空间预算内；本机反汇编工具未遵从地址区间而输出全文件6021237B，仍低于32MiB单件门，私有保留后仅分析目标摘录。初H1-a01把“结果构造”误命名首输出，新a02分别量真实落盘，旧收据不回改。H1主/分离与下界外层分别0.326276/0.363762/0.053340秒，退出峰33259520/25133056/16695296B；I/O瞬时峰unknown。新研究无旧等价物，不虚构性能改善。批末host124118532096B可用，满足10GiB及两倍预计新增量，删除0。

### 分离决定与下一步

E2反证与E1本机producer路径有实际进展，**Gate R未通过，发送未验收、正式0/5、整体30/66**。不能从训练单流核同外推全部流；不能只扩大clock容差、删除ACK或换reference层后称通过。下一先查手机实际producer及packet/byte范围、查询标签和与参考的可比性；本地两件DDI无目标后，须另落盘有限只读symbols-list合同与新鲜准入，不全量下载多GiB共享缓存。范围/层/方向/时钟/完整性证据未关前，不进build193、产品诊断、正式五轮或接收验收。[分离机读复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-hypothesis-review-2026-10-19.json)。最终提交/双推/同提交站点及通知由私有network-hypothesis-delivery-a01.json记录，交付欠项继续partial。