网络共同源窗与producer静态核验方案

2026-10-19 · E2离线/E1本机静态 · partial · 30/66，发送0/5，Gate R未关

来源：site/devlog/p4-fixture-lab-device-network-send-plan-2026-10-19.md；源SHA-256 cda69207caebed6b70988a09865c7883c2df535a2843fa1fb91ea1f769a39a0c

### 全流共同源窗假设的留出检验 · 2026-10-19

文档类型devlog增量，Lead定稿，基线af33ef14。上一全流审计改变下一动作：端点多声明均同serial重复，但共同源窗/producer范围仍未证。先只读controlled-a01，固定前批单流H1所给105000ns offset闭区间，不以其余流重新拟合或扩大；单流为训练流，全部其他serial为留出集合，不能按匹配结果选流。H1定义为time=t对应源timestamp区间`((t-1)*1e9+offset, t*1e9+offset]`，候选发送取IP层/接收取传输正文，packet数与bytes均须核；UDP层级仅假设，不预认与TCP相同。

逐一记录全部724更新的time、声明/serial/端点/接口/协议/IO候选；重复声明只有端点/interface/kind完全一致才能共同关联，不删除原声明。接口名仅检验已见base+unit候选，IO方向仅沿受控流的1/16候选；不匹配显式不可判，不丢掉后合计。负time、t0边界、无声明、无包、元数据冲突、源时间范围外及训练流分别列出原序号/理由，不把这些研究不可判从正式分母消失。source timestamp落在捕获最小/最大之间只叫数值内部，不证明镜像生命周期覆盖。全部包/流保留，非传输/版本矛盾、旧24尾对象及端到端loss未知维持。

对于数值内部且具有声明/匹配包的每个方向，枚举固定offset区间内所有packet进出桶的整数ns断点，精确分段核packet/byte合取，并计算全部留出方向共同可行子区间；不得为单个流各选offset，也不因packet总量相同声称1Hz通过。报逐方向可行/不可行、正值/真0及共同交集，所有反例保留；失败只否定H1在本数据的组合假设，不能直接归因产品、clock、loss或字节层。即使未否定也不是独立时钟或全scope真值，不放行193/诊断/正式/接收。

实现仅私有离线工具，原件/派生输入前后SHA；≤200000包/20000更新/4096声明，保存小型时间与层长度索引≤64MiB，不存payload。复杂度O(P log P + U log P + B)，B为断点候选工作量并设2000000步上限；单脚本30秒/192MiB，预计<3秒，输出≤32MiB，host≥10GiB且≥预计新增两倍。先控制精确边界、间隔进出桶、共同交集为空/非空及零包/字节不符；再真实规模，记录首输出/耗时/CPU/RSS/吞吐与I/O峰unknown。新假设检验无旧等价物，不造加速或新增验收数。

#### 反例结构的分离复核补充 · 2026-10-19

首a01完成724更新全数记账，467留出更新中发送450/接收171方向无可行offset，共同交集为空；这否定该组合H1，未定位唯一原因。分离复核继续固定同一105000ns区间，直接逐包累加而非主工具bisect/prefix，核全部数值内部方向的临界offset、计数/bytes及可行区间。对真0发送反例额外汇总原TCP flags和正文长度，检查是否仅见无正文ACK等形态；这是反例描述，不删除ACK、不改变参考层/分母，也不据此引入H2验收。静态XNU的条件计数只作机制候选，不认定为私有producer。另审首响应计时，区分“首结果已构造”与“实际输出已落盘”，新a02收据分别记录，旧a01不回改。

#### 与时钟无关的同层必要条件 · 2026-10-19

分离审阅发现一个发送更新为2包/26B，小于两份完整TCP/IP最小头；不以移动时间偏移解释所有反例。补一个独立原DTX流式检查：对所有非负time且声明身份一致、family明确的发送更新，使用RFC 791/8200/9293及UDP头格式给出的每包最小头（IPv4/TCP40B、IPv6/TCP60B、IPv4/UDP28B、IPv6/UDP48B）检验`txBytes >= txPackets * minHeaderBytes`这个“相同packet含义且bytes为完整IP包”假设的必要条件。保留全部未知/初始/零包分类与原序号，不按失败挑样本；不满足即该组合假设被反证，不等于已识别实际层、私有来源或产品有误。只审发送，接收不验收；不从该检查生成参考值或阈值。

标准常量是E1格式事实，原件比较E2；独立typed decoder与全流SHA，不导入前工具。O(消息bytes)、≤20000消息/64MiB、≤4096声明、5秒/64MiB、输出≤4MiB，预计<0.2秒；没有手机动作、payload修改、旧证据清理或新安装包。先合法等号/低1B/零包三控制；结论决定下一步应先查字节与packet定义，而不是盲目重捕或放大clock容差。

### 本机同名Apple服务的静态来源核验 · 2026-10-19

只读发现本机Xcode的DVTInstrumentsFoundation含DTNetworkingService及与当前服务相同的identifier、start/stop方法，并直接导入NStatManagerAddAllTCP/UDP、counts callback和Tx/Rx keys。这是新E1候选来源证据，比字段相似更强，但仍是本机macOS二进制，不等于手机在跑的producer。下一固定本地二进制SHA/架构/平台/版本及工具SHA，静态审tuple index→key、差分、timer/查询时间与接口过滤路径；不加载/执行私有framework，不调用手机、不以导入符号独立证明运行路径。

nm/otool/本地反汇编输出仅私有保存，单件≤32MiB、总≤64MiB、单命令≤20秒、整体≤60秒/192MiB，预计<5秒，O(目标二进制bytes)。仅在确需移动端同名服务比对时再文档化只读DDI镜像检查与有限挂载/卸载；当前不挂镜像、不改变Xcode/钥匙串/产品/手机。只提炼可复用来源事实及未证边界，不公开大段反汇编或身份；必要结论仍E1，不能替代Gate R全设备独立数值与时钟。

#### 本地静态slice纠正及移动镜像只读核验合同 · 2026-10-19

初次自写FAT reader只按CPU选择了最后的arm64e slice，不能配用工具`--arch=arm64`地址；ASCII形状原输出保留为无效尝试。新reader必须同时匹配CPU/subtype=arm64/0，并按LC_DYLD_CHAINED_FIXUPS格式解析binding ordinal，不把encoded pointer当VA。使用系统dyld_info对同VA的全部字段逐项交叉；镜像内不得执行代码。已观察host同名实现的TCP/UDP NStat入口与Rx/Tx key映射、默认lo0条件过滤及awdl0数组，仅E1 host事实；手机来源等价待证。

为核查本机现有移动DDI，先固定两件Restore DMG/BuildManifest/version的SHA、实际格式及平台/版本；imageinfo单次≤15秒。仅当本地镜像形状可挂载且空间≥10GiB/预计新增两倍时，用新私有namespace分别只读、nobrowse/noautoopen挂载，一件一次、每次≤20秒；仅遍历本次挂载根，≤20000项/无符号链接跟随，枚举Instruments同名server/framework及真实文件大小，不执行/加载、不联系手机、不改DDI/钥匙串。总≤90秒、输出≤32MiB、192MiB；仅对发现的相关普通文件SHA/静态符号审阅，不复制全镜像或解包共享缓存。每次finally对本次返回的device正常detach一次≤15秒，失败保留并报告实际挂载状态，不强制卸载、不触碰其他镜像；attach不确定先只读info核本次来源，不重试未知操作。若只是开发支持薄镜像或没有相关producer，明确负结果，不能据此声称手机不存在该服务。此合同仅本地只读取证，不是新的手机/正式attempt。

### Validation Update · 2026-10-19 · H1反证与本机静态来源

已完成固定offset留出及分离逐包核验，467留出发送450/接收171不可行；独立724更新头下界检查22反例。host arm64/0字段19项与系统binding核同，仅E1；两移动DDI各111项无同名producer、已只读卸载且SHA稳定。首下界syntax失败、错slice无效map及首响应命名修订均保留，产品/手机0改动。完整资源与限制见[结果增量](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。下一先手机producer packet/byte定义与查询范围，不调clock容差/滤ACK，不进193/诊断/正式/接收；30/66、发送0/5、Gate R未关。