网络全流与控制协议覆盖审计结果

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

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

## Validation Update · 2026-10-19 · 全流与非传输协议覆盖审计

文档类型devlog增量。基线a02f4a01已核同GitHub，GitLab一次失败；同提交站点17.591004秒/聚合1451409408B，579页、733目标/598锚点无缺，网站未发布/通知缺配置继续partial。此批只读已有受控及生命周期两批原件；新手机连接、安装、启动、信号、写入、容量、Session和删除均0，Mac192/Lab18/产品公式不变。整体仍30/66，发送正式0/5；旧24尾对象未恢复，不重测历史已验指标。

### 逐包独立格式核对

独立stdlib reader逐件核长度前缀、索引、payload及全流SHA，再独立解Ethernet/IP/TCP/UDP；全部65098包、124052562载荷B前后SHA稳定。65007个TCP/UDP包的协议、端点、端口、IP与头/正文长度同已审parser逐字段一致，不调用产品或共享packet parser。7项合法/截断/坏cookie/TLV/版本矛盾等窄控制通过E2；本批只作取证研究，没有新产品包。

| 结果 | 既有受控25498包 | 既有生命周期39600包 |
| --- | ---: | ---: |
| TCP/UDP逐字段核同 | 25472 | 39535 |
| ARP形态 | 11 | 8 |
| ICMPv4 echo type8/type0 | 0 | 24 / 24 |
| ICMPv6邻居请求/通告形态 | 5 / 5 | 4 / 4 |
| IGMP协议形态 | 2 | 0 |
| family与实际首nibble矛盾 | 3 | 1 |
| UDP中固定头/cookie/TLV成立的DHCP Discover | 5 | 7 |

格式识别依据[RFC 826](https://www.rfc-editor.org/rfc/rfc826.html)、[RFC 792](https://www.rfc-editor.org/rfc/rfc792.html)、[RFC 2131](https://www.rfc-editor.org/rfc/rfc2131.html)及[RFC 4861](https://www.rfc-editor.org/rfc/rfc4861.html)。DHCP行已包含在UDP中，不能重复加总。ARP均Ethernet/IPv4形态，邻居消息code0/hop-limit255及最小长度成立；未验证全部checksum/设备来源，不把形态当协议会话或完整性通过。4个版本矛盾原帧的实际首nibble为13/15，未修成IP、未丢弃、未按0字节填补。IGMP第二字节是协议响应字段，最终审计统一名secondByte，避免误标ICMP code。

另一路逐帧保留原始字节/source ticks/真实linktype，选择全部91个非传输结果及12个DHCP帧共103帧转派生pcapng，再用系统tcpdump独立识别。受控31帧、生命周期72帧与上表分类全部核同，12条均观察到DHCP Discover选项。明确这是选帧格式交叉，不是完整新捕获或独立采集源；没有用派生容器替代原件。

### 重复声明、无声明及方向仍需区分

按接口/原IO码/协议/有向端点分列的流为150/158；若不含IO则149/157。两批各有一个DHCP同向端点在两种IO码出现，不能据端点给整机所有包强定方向或跨接口去重。新定义与旧表不同，旧数字不回改。

传输包的唯一声明/同serial重复声明/无声明分别21680/3786/6与34902/2741/1892；两批多声明候选都只指向同一个serial，未观察到跨serial候选。此结论消除了本样本的“跨serial端点歧义”，不证明同tuple生命相同。kind1/2分别只在已匹配TCP/UDP候选中出现，不能据此推定所有kind、接口或控制协议的producer范围。

原始DTX另行typed解码及全流SHA复核：受控286声明/235serial、40个无声明更新，其中2个time非负但四个packet/byte字段均为真实0；生命周期254声明/223serial、37个无声明更新全为负time初始量。没有把受控2个零更新叫作非零漏采，也不由此证明全设备无遗漏。无声明UDP、控制协议、方向码及不同来源时间窗继续单列；自然pcapd30秒与DTX约19秒未共窗，受控旧stop缺24对象，故无声明包不能直接算产品误差或loss。

### 开销、失败保全与分离结论

最终全量审计内部1.422357秒、CPU1.441839秒、首输出40.4795ms、峰20742144B；外层1.457567秒/退出峰20791296B，约45767包/秒，源与输出有界。选帧系统交叉内部0.150066秒/峰18874368B，外层0.196251秒/退出峰18907136B。I/O瞬时峰unknown；新审计无旧等价物，不虚构加速对照。

系统a01因变量遮蔽regex模块失败；a02只因ARP输出token不匹配被拒，a03识别修正成立。分离消息reader a01遗漏已观察float64 tag，读取时即失败、未形成结论；a02保留原类型后完成。审阅还将IGMP第二字节语义纠正为secondByte，再以新全量audit-a02/system-a04独占目录生成最终结果；早期输出和失败均保留，原件无改动。分离审阅重核全部source pins、原始DTX声明/无声明、传输计数分母及103帧选集，未用主工具自评替代。

本批**E2离线覆盖审计成立，整机独立参考Gate R未通过**；没有把格式匹配、同serial重复声明或单流发送IP层一致外推为整机速率精度。下一必须先证明producer覆盖范围、所有合格流的共同源时间窗及可比层，再落盘下一独占参考合同；仍不进193/诊断/正式五轮/接收验收。[分离机读复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-scope-review-2026-10-19.json)。交付仍partial，最终提交、同提交站点和通知以私有network-scope-delivery-a01.json为准。