网络字段缺失的方向隔离

唯一type devlog。同一AI承担方案、实现、测试与分离复核，无子代理。基线6224e1bd；接收attempt-01永久0/5，原driver14846已exit1；历史发送v8标记1与正式30/66不变。本方案先落盘，随后执行研究控制及修复。旧失败Raw不能重新判PASS，旧冻结执行源码不改。

1. 问题与决策

真实首轮完整Session有1条ConnectionUpdateEvent：tx_bytes=None，rx_bytes=29。SDK11.3.1的NetworkMonitor把已解码tuple直接构造dataclass；当前PerfowlNetworkMonitor仅包装结束，不重解释字段。现聚合在任一字节无效时整条拒绝，丢掉两个方向字节，malformedInputCount使整个1秒桶两个方向null。客户端完整封口且未fatal，正式审核依事前v8门失败。None不是零，包数为0也不能推断字节为0；无证据指向硬件损坏。失败与SDK、产品路径保留在首轮取证。

决策：先以独立纯数据模型验证“已知连接更新中的独立方向字节”可计数的条件，再实现新增原始合同directional-input.v1和公式network-window-rate.v9。不赋予None任何数值含义；只在自己的字段、记录结构及计数完备时允许对应方向。已知None/缺字段使该方向整桶invalid-window；未知形状/无效来源时间/连接序号/超范围整数使两方向invalid-window。错误尾片仍作为当前方向异常保留。新规则不是给历史失败补验，也不是独立参考准确性证明。

2. 完整原始字段与计数守恒

已知ConnectionUpdateEvent必须来自锁定SDK真实类或具有显式eventClass的普通fixture mapping，不调用任意对象属性/repr。参与资格的time必须是排除bool的有界有符号整数；connection_serial为排除bool的非负有界整数；tx/rx_bytes分别为排除bool的0..2^53-1整数。超界累加拒绝，不能先浮点取整。time<0仅初始快照，不能作为订阅后流量；time>=0为当前eligible。包数、RTT、重复/重传等不参与字节公式，不以它们补字节；证据仍保留原类型。

每个原聚合额外写directionalInput独立命名空间，必须显式policy=directional-input.v1，保留原v8 txBytes/rxBytes、旧input/malformed守恒及typed拒绝Raw。不得覆盖旧字段含义。新增计数为：inputEvents I、connectionUpdates C（含单方向无效）、metadataEvents P、unknownInputs U；方向d的validUpdates Vd、invalidUpdates Md、initialUpdates Sd、eligibleUpdates Ed、totalBytes Td、initialBytes Bd、eligibleBytes Ad。所有计数为非负整数且预算内，必有：

• I=C+P+U；Vd+Md=C；Vd=Sd+Ed。
• Td=Bd+Ad；每方向valid字节由同一原输入累加，不能借另一方向补值。
• metadata只增P、不产生合法零；unknown增U，使两方向失效。
• time/serial无效但确认为连接更新时增C与两侧Md；合法time且仅tx缺值时增Msend、Vreceive并保留29接收字节。
• 任意当前方向Md>0或U>0都不能输出该方向数值；另一方向异常数与原typed证据同时保留，不静默丢弃。

已知坏记录仍输出现有typed拒绝原文，再新增明确的受影响方向/结构有效性标记，拒绝上限/队列/限流/不完整payload门不放宽。原v8诊断/census继续可审；v9增加每方向聚合/源字节及更新计数守恒，全部closeout路径都必须核对。真实未知类、不完整解码或丢包不能因字段看似有效被计入。

3. 精确公式与窗口

scope=device，unit=bytes-per-second，源为com.apple.instruments.server.services.networking/DTX，底层pymobiledevice3.services.dvt.instruments.network_monitor.NetworkMonitor，经PerfowlNetworkMonitor结束包装及自有DeviceNetworkBurstAccumulator适配。算法v9仅适用明确带directional-input.v1的新Raw，不能从旧malformed计数推断。

完整对齐1秒桶W=[a,a+10^9)内，各分片j的当前方向字节为Ad,j，输入完整性为Uj=0且Md,j=0及全部计数/源/时间合同核同。若全部片连续、窗口关闭且同源同生命，Rd(W)=sum_j Ad,j × 10^9/(10^9)；有Ed>0的显式0合法。没有eligible更新时为missing-source（只有初始化时warmup）；首桶warmup；任一片当前方向无效使整个桶invalid-window；未闭尾不生成速率。源变代/重连重置warmup、旧桶不得跨代合并；未来时钟/重叠/重复闭窗/迟到及>1.5秒源观察延迟按原规则拒绝/置空。每方向独立质量与value/window，不能用共享quality抹掉另一方向的失效。null必须清实时缓存和对应window，下一完整净桶才恢复。

不改1Hz ready锚/120固定机会/至少119有效/最大gap2秒/业务正值门；当前方向任何实际异常（含尾部）仍不PASS。对侧缺失必须完整列为crossDirectionAnomalies，不计成当前方向异常，但未知、结构/时钟/来源异常同时影响两侧。v9正式审核须独立重核typed原文与directional计数一一对应，拒绝源计数自报完整却未保留拒绝原文。当前无整机同层同窗参考的调查结论沿用，出现新合格参考优先配对。

4. 实施范围与兼容

先研究模块/独立逐事件数学与篡改反控；研究通过不证明产品可用。产品随后改聚合器/typed诊断字段、NetworkRateWindow每方向invalid和初始状态、RawMetricEngine按原始policy选择v8/v9、FORMULAS与Swift Registry、严格checkpoint及导出/实时消费者。原始分支缺少新policy时必须保持旧v8拒绝语义及公式版本；不得用v9重新解释旧aggregate。新schema checkpoint保存两个方向完整状态；旧有活动网络bucket不能提升为v9，新网络空状态才可迁移，精确公式hash与恢复原件另核。

保留原冻结v8验收工具，以新v9专属主/独立数学和接收准入/采集/review入口开展下一批，不改旧工具pins。历史发送v8结果不变，新增内部版本对已验指标只跑有针对性软件回归，不重开E4验收。新v9发送资格仅软件验证，不暗示旧发送变成v9验收通过。

5. 控制、性能和失败条件

研究控制覆盖正常/0、双None、单侧None/缺字段/bool/负数/float/string/溢出、初始time<0、无效time/serial、metadata-only、未知shape、当前方向首/中/尾片污染、分片cap、源变代/重连、重复窗、时钟异常、checkpoint保留污染、实时清空及下一净桶恢复。必须使用真实SDKdataclass及本次typed坏记录做只读研究，明确不能从旧聚合恢复新逐方向完整收据。

两份数学实现不共享分类/求和核心：主为流式整数计数，分离为独立逐输入分组及有理数求和；枚举/固定种子随机输入比较全部方向字节与计数，并篡改每个必填字段、删诊断、错方向/序号、重复证据、假0、混policy等反控。研究不调用手机，不将合成或反事实结果冒充新五轮。

热路径O(1)/输入，额外固定计数和一对方向状态，合法每事件不创建诊断、不加进程/网络连接；Raw仍至多每秒聚合/原metadata批/异常限额。研究/软件各≤60秒/192MiB；真实规模基准原v8与候选同输入各至少3次，报告墙钟/CPU/RSS、吞吐、首响应/最差单批、Raw体积与磁盘写量；目标正常CPU/耗时中位退化≤15%、额外状态<64KiB、无新增常驻任务。I/O峰未测保持unknown，不以host模型代产品基准；产品聚合/实时/恢复/实际44Core还须同条件对比，缺证不关效率门。

6. 产品与新验收闭环

研究及分离审查→产品最小修复及完整链软件/真实性能/实现记录→新内部ARM195及strict/独立解包/单址安装与空闲，Apple Development仅本机、公证继续暂缓→新v9接收诊断合同/完整原件及新的60真实集合/已核首轮封口生命保全需要的槽位→新鲜容量、新诊断/独立审核→新独占完整五轮及600秒冷却/独立总审。每一阶段先文档化再动作，不重启attempt-01，不用旧59容量或旧1轮补量。

每次采集前/批末/每30分钟核空间≥10GiB及预计新增两倍，原始/失败/尾部完整保留、不按年龄删除；未知生命停。仅五轮当前方向无异常且来源链完整才testPassed=true/metricAccepted=false/NO_REFERENCE_OWNER_REVIEW，正式30不变，接收才增第2标记。未达门不进入GPU。按逐指标提交/双推一次、知识/归档/全站/网站通知partial授权闭环，不以研究控制完成替代指标通过。

Implementation Update · 2026-10-20 · 离线证据模型与融合生产者原型

实际新增4研究源码：network_direction_research.py为独立流式整数计数/严格receipt代数门，review_network_direction_research.py为不导入主分类器的逐输入有理数求和及严格类型全字段对照，test_network_direction_research.py覆盖11组（含400固定种子序列、每个计数/类型/缺字段篡改），network_direction_fused_research.py为未安装生产者子类原型。原产品/旧冻结验收源码均未改，无手机调用。

11组0失败/0错误，guard0.099秒/18219008B；包括单/双None、缺字段、负数/bool/浮点/字符串/溢出、坏时钟/序号、unknown、metadata-only、初始化/合法0、上限及伪造平衡0仍被原输入复核拒绝。代数平衡本身不能证明来源完整，必须保留独立逐输入复核。它没有验证完整产品窗口/恢复/消费者链。

真实本轮拒绝记录经锁定SDK11.3.1的实际NetworkMonitor.__aiter__和PerfowlNetworkMonitor包装离线解码，字段仍为tx=None/rx=29，未被SDK或包装补零。模型只处理这一条真实坏输入构成的假设片：send invalid，receive=29且valid，双独立数学一致；原1938Raw逐字SHA未变。它不是历史完整窗重建、新五轮或整机精度参考。SDK源码为锁定版本network_monitor，实际本地源码另SHA保管。

性能实验（E2原型、非产品效率关门）：同一实际SDK正常dataclass，v8实际聚合器为基线，初版另跑模型重复读字段的5万输入/三次中位0.050178→0.088080秒，约1.755倍，超过15%目标，已否决该执行方式。随后融合原型借用原成功计数，仅为稀有坏输入保存修正量，10万输入/三次中位约1.032倍，128组混合输入的旧输出（去除新增namespace）逐值与原聚合核同，新增receipt与独立逐输入数学核同。guard0.959秒/77447168B。Raw只增加每片固定receipt，不启用全逐事件Raw；first1000/最差1000、CPU/吞吐/实际聚合JSON体积均保管，I/O峰unknown。

偏差与剩余：融合原型遇累加溢出显式抛错，没有实现产品要求的按方向invalid-window；结构坏而旧v8两字节有效时，只在原型receipt排除，尚无新增结构拒绝证据。两项必须在正式产品实现关闭，不允许直接安装原型或把benchmark通过当产品通过。完整v9还需每方向窗质量/首末片污染、全checkpoint/公式hash迁移、实时null清空、record-ahead/SQLite/实际44Core/导出、专属独立数学/诊断工具及内部195包；当前全部未做，无新容量/诊断/五轮。不能只改审核器。

本批状态partial（研究完成、产品修复待实施），正式30/66、发送标记1、接收attempt-01永久0/5。下一继续本方案产品最小实现及真实规模性能；通过后新内部候选/新v9诊断及另立完整attempt，不能补旧轮。GitLab每批一次、网站通知缺配置按既有授权partial，公证/GPL门保持。

Implementation Update · 2026-10-20 · 产品实现进行中

本段type devlog，状态partial。已新增产品directional receipt严格门、融合生产者和独立方向窗口，默认生产流改用新生产者；旧聚合类保留。累计溢出在对应方向记录invalid而非原型fatal，结构无效双侧拒绝，原typed字段和v8原始计数保留；新增方向源/聚合字节守恒诊断并写产品source receipt。引擎仅明确directionalInput的Raw进入v9，旧Raw和订阅前空值锚保留v8版本，不能从历史malformed推导新数据。Swift Registry声明新v9。新增schema5保存方向窗、源生命、policy与混合污染；旧v7/v8活动网络checkpoint不提升为v9，空网络状态可迁移。

当前新增聚焦测试尚未运行，分离数学/完整链及真实性能尚无；内部195未构建安装，新手机动作0。实际实现仍可能需修复，不宣称软件门或产品修复通过。旧attempt-01永久0/5、发送标记1及30/66不变。

2026-10-20 · 测试入口和资源边界增量

首批63项中1项测试在构造非法epoch时已被RawEventEnvelope前置拒绝，已修为验证该前置而非期待继续进入engine；未放宽产品门。118项扩展测试发现旧压力fixture缺connection_serial，已补明确有效序号；随后1项原样预期漏新字段，修预期时缩进错误导致全量入口两模块无法导入。首全量进程还未加载现有native扩展，且42.397秒触及192MiB被guard停止，不能称全量通过。原日志保留。修缩进、完整fixture后，118项聚焦已通过；429组生产者/独立原输入模型核同、10万正常事件三次中位约1.097倍达到15%目标，仅producer效率证据。

为验证schema/default producer的全局兼容风险，下一全量使用同一discovery的全部testID分片，不筛除失败或跳过模块；每片独立进程≤60秒/192MiB、并发≤2，主监督≤300秒，避免测试缓存累积。显式加载现有已核ARM native扩展，不改native产品。逐片记录完整ID/原失败/资源与最终总数，任何失败全量仍不通过；不通过时不安装候选。此为测试执行策略调整，原软件单进程60秒/192MiB保持。

2026-10-20 · 产品 v9 软件链与性能分离核对

全量同一discovery 2768测试、8分片并发2全部通过，0跳过/失败/错误，总76.274秒；最慢片54.690秒，最高199147520B，保持每片60秒/192MiB。最终新增独立记录窗口审核及来源篡改控制后，聚焦120测试通过（1.680秒/76726272B）。完整回归先于新增两项审核测试，未将其冒充2770项全量复跑。

独立审核不导入产品数值核心，使用Fraction按原始分片重建窗口，核typed拒绝序号、源身份、两方向计数和全部派生窗；80固定种子记录序列覆盖结构坏/unknown/单侧None/快照/累计溢出，并拒绝方向/公式/窗/源代/序号/缺诊断等篡改。真实产品Adapter → accepted preview → OrderedRawIngress → RawSessionRecorder → engine链、完整Raw重放与派生逐帧一致；单侧缺值保留对侧29、当前侧null、显式0、恢复、metadata-only、initial-only及未闭尾均通过。这是E2软件fixture，不是手机新轮或整机准确度参考。首个链测试把透传metadata误标aggregate导致审核拒绝，已修fixture事件类型；原错误输出不作通过证据。

实际44个PerfowlCore源码另编译新NetworkDirectionalConsumer（旧v8消费者不改），13个实际projector输出构成的显式软件wire fixture，经PerformanceSample、Codable、CSV/JSONL逐值核同。首次wire fixture漏必填executable，Swift decoder拒绝；修fixture后复用已核同源码binary成功，未改产品decoder。compile32.938秒/392822784B，run0.027秒/8011776B。

真实性能使用改动前完整Core源码与静态资源SHA保全基线，各自独立子进程跑实际聚合→record-ahead→单writer→持久Raw/实时→checkpoint恢复。正常12万输入/120窗三次中位约1.107倍；补I/O探针后20分钟规模120万输入/1200窗、120次JSON checkpoint恢复，三次中位耗时1.1353倍，达到事前≤1.15目标。候选首响应18.5–19.1ms、最差1000输入批1.35–1.43ms；候选RSS约68MiB，原基线约80MiB。额外Session字节537600B/1200窗（每窗448B），未增加常驻任务。先前基线缺静态JSON导致失败已补同HEAD原资源；未替换基线Python源码。

I/O使用本机SDK rusage_info_v2的proc_pid_rusage，按writer批和封口采样，并另报逻辑文件增长。早期漏包围finalize/fsync，原报告全0不作为磁盘无写入结论；最终覆盖后，基线内核记账写入约1.61MB，候选2.05–2.15MB，候选采样峰约1.77–2.64GB/s。这个峰是短调用区间内核记账率，不能解释为物理介质带宽；逻辑峰约51–56MB/s，文件增长/CPU/RSS/首响应/最差批同时保留。所有原失败及中间收据保留，最终以full-chain-cost-a06为准。手机动作0，正式30/66、发送标记1、接收永久0/5不变。

ARM195已构建并以现有Apple Development签名，strict、选定leaf、318 Mach-O ARM闭包/当前Core字节码/native probe及12931件只读独立挂载全树核同通过E2。DMG SHA256为606d5be7cfe7a40ed2151ce59046a076408c65c29fba08ef7e413b6a2dfd1cf3；Gatekeeper exit3、未公证，仅Owner已授权本机内部测试，不能作为正式分发完成。当前单址升级正在核空闲与保留194回滚，未产生新手机诊断或验收轮。下一新v9接收诊断/专属审核工具及新容量、新独占完整五轮；不能把软件链结果记为指标通过。

2026-10-20 · ARM195单址内部安装终态

实际AX空闲核对后正常退出194，强退0；194全树SHA与模式核同后保留回滚，同址安装195。12931件源/挂载/staging/安装全树和模式、strict/选定leaf/ARM核同，GUI打开且空闲，采集启动0、手机测试动作0。E3仅主机安装，不是指标E4。私有product-freeze-195与mac-install-195-a01保留原件；dist仍需在本批归位唯一当前包。当前无活手机队列。下一新v9接收专属诊断合同和独立审核/容量工具，再实际新鲜容量与诊断、另立完整五轮。接收永久0/5、正式30/66与发送标记1不变。

2026-10-20 · 包归位与站点同步

MacApp/dist旧194包及SHA核对私有原包后同卷保留归位，当前仅195包与SHA，删除0；host剩余约103GiB。站点首构建发现Registry快照仍v8，使用既有metric-knowledge-gate --write-snapshot仅更新两项definitionVersion至v9后完整构建通过，0错误；既有43条措辞警告未新增。下一独立链接/归档/搜索/客户端状态核对，发布及通知配置缺口沿用partial，不能以本地构建冒充线上完成。