RVI通道成立，整机参考仍待验证

结论与当前门禁

文档类型devlog。整体30/66、剩36；唯一当前项整机网络发送率，正式0/5、未验收。本次一次有限RVI资格及独立文件审阅成立E3通道/E2离线，未关闭Gate R。Mac192、Lab18未变，无产品Session、Lab配方、安装、信号、归位或正式容量；接收率未开始，历史已验不重测。网站发布、Webhook及镜像欠项沿Owner授权继续partial；公证暂缓，仅内部测试。

依据：当前方案的Raw DTX与RVI增量。同一AI依次完成方案、实现、测试和分离复核，无子代理。此前Lab18工具/开销E3结论保持，不把本批软件或通道资格算作指标验收。

一次RVI真实结果

已冻结脚本在一次Owner授权提权中执行，创建本次接口、全设备无业务过滤捕获15秒、SIGINT取得统计、关闭本次接口；未修改BPF常驻权限或配置。失败不自动重试。原件/日志均私有保留，文件0600并归还Owner，凭据未写文件或通知。

1,216件接收与捕获差额未对账。 Apple公开BPF实现说明recv含交给过滤器且可能尚未被libpcap读取的包，drop只覆盖BPF内部缓冲丢弃，不覆盖接口驱动前置丢包。因此差额不能直接当丢包，drop0也不证明端到端完整。本机文件无EPB dropcount、无ISB统计，缺项保持unknown。公开源码只是E1机制依据，未证明本机二进制或手机镜像实现等价。固定Apple源码。

实现、验证与效率

• 新pcapng_audit.py按固定pcapng工作草案06流式检查双长度/字节序/section/接口/包及option边界，保留时间原ticks、原options、包偏移及SHA。未知块不解释但保留原件定位与SHA，不转成pcapd或猜时钟。6项控制覆盖大小端/多section、未知保留、missing、截短、坏长度/接口/option、SHA/数量/输出预算失败。
• 真实36.6MiB审阅0.191876秒，首包append0.150542ms，约9.08万包/秒；外层0.218800秒、CPU0.215476秒、退出峰18,366,464B，在30秒/192MiB内。新增reader无旧版基线，不构造提速对比；瞬时I/O峰unknown。
• 分离审阅不导入该reader，独立逐块/逐包核偏移、字节数、SHA、时间与方向字段、全文件及输出SHA；另用系统tcpdump离线读取，exit0、17,420行包记录核同。完整外层0.270477秒/峰54,558,720B；该交叉读取仅验证文件保管和解析，不证明全设备覆盖。
• 新raw_network_messages.py在固定pmd11.3.1 _receive_message()后、事件过滤前，保管SDK解封的Python对象，不是DTX wire bytes。显式tag保留类型、整数、float原bits、bytes及容器顺序；未知消息码不丢，未知Python类型失败，不用pickle。6项控制含篡改、队列/条数预算、取消失败原件；最终0.130061秒/峰36,585,472B通过E2。
• 同规模17,583件/53,413,052编码B基准，以真实pcapd字节包装成synthetic DTX对象，处理0.465857秒、首append0.304ms、37,743件/秒；含deadline观察与审核总10.371795秒、CPU0.833237秒/RSS30,064,640B，I/O峰unknown。原pcapd SHA前后核同，不是手机DTX或产品Raw，不作E3/E4外推。首次控制错误地替换未出现的明文，保留失败后改为明确篡改实际base64并断言文件改变；没有掩盖失败。
• 新capture_network_pair.py为未执行的20秒无业务双通道准备：要求新鲜≤180秒且绑定selection SHA的64封口/released/no pending/自有App idle预检、产品AX idle、固定SDK模块和UI二进制SHA、无RVI及空间。双reader失败/外部取消回收兄弟任务，monitor最多一次start/stop，关闭有界且未知方法明确失败，Owner RVI出现即停自身。6项软件控制（含10种坏准入和过期/未来、各reader失败、取消、stop失败仍逆序关闭、aclose优先、CLI拒绝留收据）0.076591秒/峰30,375,936B通过；不据此称真实配对成立。

最终源码额外限制16个section/总1024接口/4096统计记录及块类型，接口option块≤64KiB，ISB原options只流式保留不驻留全列表；防止小块或元数据放大内存。新a02控制通过，原件重审0.193747秒、外层0.223572秒/CPU0.217234秒/峰18,546,688B，与a01全部非时间字段逐项核同；独立a02外层0.224329秒/峰54,181,888B再次成立。两次仅离线读取同一原件，没有重抓手机。

复杂度为O(原件bytes+消息/包数)，解析单块≤2MiB/文件≤256MiB/200000包、输出≤128MiB；DTX单行1MiB/总64MiB/20000件/队列4096，配对整体90秒、外层105秒/192MiB。无新增依赖或常驻环境；产品公式/来源和SDK版本未改。

手机准入与下一步

本批新鲜只读检查3.851秒（外层4.327秒/峰90,800,128B）：Lab18身份核同，64活动全封口/released、无startup pending、关闭无错误，但自有测试台进程存在。未自动终止这个生命；已请Owner正常退出，实际自然pair尚未启动，也没有新run或容量。当前主机可用约124.95GB，批次约862MiB，未清理原始/失败/回滚或旧机。

下一由同一AI在Owner退出后只读新核空闲，再执行新namespace自然DTX/pcapd配对，逐连接/接口保留unmatched/ambiguous/未知与未取尾队列。方向需真实端点控制，层级、跨时钟、端到端丢包仍须独立实证；不把自然流量可映射当全部生产者覆盖。Gate R未关闭前不进入产品193、诊断、正式五轮或接收率。任何后续Lab采集仍须保全归位和真实枚举容量，不能借本次通道资格绕过。

公开机读：本批分离审核。原件及含身份的详细命令/日志只在私有批次；最终提交/双推/同提交站点收据另核，不预判网站发布成功。

Validation Update · 2026-10-19 · RVI层级与TCP序列候选缺口

本增量为E2离线/E3只读环境，无新捕获。新的手机a02只读检查3.968770秒（外层4.433107秒、峰91,734,016B）：Lab18、64活动均封口/released/no pending，但自有App进程仍存在，零写/信号/启动。自然pair继续未开始，不把自动续轮当作Owner已退出。整体30/66、发送正式0/5。

实现及兼容性

packet_inventory.py抽出共同IP/传输解析，新增真实inventory_link_frame入口，只按IDB的Ethernet(1)/Darwin NULL(0)解释封装，不制造pcapd头/身份/时钟。未知linkType、非IP EtherType、未资格NULL family、短帧/分片/扩展仍明确保留，checksum、方向与完整性不被顺带确认。新增两个测试方法，合计10项控制通过（0.058566秒/峰25,378,816B）。

用重构前冻结模块和最终模块各自流式处理已有17,583件/36,891,503B原pcapd数据，全部输出字典逐字段规范编码后的整体SHA一致，原件前后SHA稳定，含12个旧未知/坏形状保持，不是历史指标重测。固定顺序单pair结果如下，不作统计显著性或加速结论：

RVI全部包的实际分类

一次离线处理17,420包/35,354,492 link-frame字节，输出19,471,622B，逐行/包/原件SHA和数量核同。TCP17,399、UDP13，另6个Ethernet类型与2个非TCP/UDP结果完整保留，不填0；共101个按接口/文件方向码分列的定向传输流。处理0.445550秒、首append0.268458ms、39,097.76包/秒，外层0.536285秒/CPU0.505320秒/峰27,983,872B；I/O瞬时峰unknown。另一路系统tcpdump三协议分类分别17,399/13/8核同，外层0.213683秒/峰25,985,024B，不导入主分类器。

17,226个不同IP包SHA中，16个是重复候选，没有跨接口相同IP SHA候选；101个已解码定向流没有文件方向码冲突。这些都不证明方向正确、没有重传、隧道内外无重复或所有接口覆盖。 不同封装后的IP头会改变SHA，同一ACK也可能合法重复，未删除任何包或合计接口字节。不同时间的旧pcapd与本次RVI不作同场配对。

TCP序列探索：仍不能采用完整整机参考

以接口/有向端点分组、32位有界相对序列、SYN占位及正文区间做离线探索，并检查同一tuple多个SYN序列/跨度≥2³¹的歧义；不是完整重组器或loss估计。当前88条有向TCP流、56条有正文，8条出现22个内部候选缺口，合计4,405,529序列字节；本次未发现序列映射歧义，缺前缀/尾部、ACK-only序列、UDP完整性及多生命语义仍未证明。

系统tcpdump另按绝对序列读取全部17,399 TCP包，其中14,708带正文包的端点/序列/正文长度/SYN标记multiset与主解析逐件核同，无法由该输出核实的ACK-only序列不宣称通过。独立读取0.306980秒/峰31,522,816B。候选缺口不直接认定丢包，也不能把4,405,529当真实丢失字节或用来校正产品值；镜像遗漏、offload形状、连接生命与捕获终止等机制尚需同场端点证据区分。

首个探索脚本把相邻区间误计为overlap，a01及排除说明保留，未用于指标或门禁结论；补8项synthetic区间控制（相邻/包含/重复/洞/空/坏形状/跨32位边界），a02重算overlap为0、候选缺口数/字节保持。该软件修正不修复原捕获，也不将未完成握手和尾部称完整。

本批没有修改产品、Lab或数值公式。Gate R仍缺全流/同层/方向/跨时钟/端到端完整性。下一仍需测试台正常退出后新鲜空闲核对和一次自然DTX/pcapd配对；之后才能决定受控端点/完整参考策略，不重放旧队列，不启动产品193/正式五轮或接收率。层级分离审核。

Validation Update · 2026-10-19 · Owner授权退出及一次自然配对

文档类型devlog增量。Owner明确要求AI代为正常退出手机自有测试台。此前“待Owner手动退出/未signal/自然pair未开始”均为历史，由本段承接。已先在Canonical落盘退出与离线映射方案；同一AI完成执行后另读原件进行分离复核，无子代理。Mac192/Lab18未改，整体30/66、发送正式0/5、Gate R未关，接收率未开始。

正常退出与数据保全

新连接验证已配对目标、当前安装身份及同一进程生命，实际64活动全部封口/workloadReleased、无startup pending，128件summary/manifest与上次只读逐件SHA及JSON核同。完成检查后再两次核生命稳定，私有落意图收据后仅一次SIGTERM；随后观察消失并再次确认idle，未向新生命发送信号。退出6.148587秒/外层6.627047秒、退出峰99,254,272B；关闭无错。无安装、launch、删除、归位或新容量，phoneWrites=0仅指Documents数据写入，信号另计1，不能称零手机操作。

独立新连接a04再读全部metadata并与退出前核同，确认Lab18 idle、64封口/released、无pending、selection SHA绑定及关闭成功，外层4.243674秒/峰95,387,648B。≤180秒新预检用于本次配对，不沿用旧容量。源记录未回改、旧失败不清理。

配对与原件审阅

一次新natural-pair-a01，无业务过滤/无施加负载，20秒DTX networking与Lockdown pcapd并发观察；产品AX idle、固定SDK/UI/工具源码pins成立，20次1Hz观察无RVI干扰。monitor start/stop各一次、关闭无错、执行前后源码SHA稳定。完整21.700808秒、外层21.828167秒、CPU1.701495秒、峰96,272,384B；手机数据写/launch/安装/产品Session/新run/容量均0。

既有两保管reader先耗尽核同；分离stdlib解tag/原bits、socket address、二进制framing、时间顺序、逐件/全文件SHA，包分层调用已审纯解析器，故保管是独立复核，协议层不是第二套独立decoder。原件前后SHA全核同。a02审阅0.783363秒、首映射0.050149秒、外层0.831031秒/CPU0.822708秒/峰101,220,352B；新分析无旧版对照，I/O瞬时峰unknown。a01分析源有语法错误、读原件前失败；保留stderr与exclusion，修token及magic长度后另立a02，手机捕获未重跑。

不能跳过的映射差异

接口字段不直接同名。 首轮a02按原始字符串比较，所有候选显示different；补核pcapd实际分别保存base name和unit，DTX给完整名，base+十进制unit候选组合使全部24,263唯一端点包及31,135候选出现项名称一致。后者含多声明重复计次，不能写成包数。初轮观察保留，不能以原始字符串不等断言接口不同，也不能仅凭组合名相同证明全设备/物理scope或隧道无重复。IPv6非零scope ID原样保留，端点匹配尚未证明zone与连接生命等价。

257声明只有220个不同serial，37个重复serial的端点/kind/interface相同，但全部声明字段完全相同仅3组，不能盲去重。600更新包含257个serial，其中37个serial没有对应连接声明；这37条均为负time初始更新。225负time/375非负time；非负time同serial序列仍有rx packet/byte与tx packet/byte字段下降28/29/32/34次。该事实不能单独证明累计或增量、重置或丢包；本批不改产品公式，也不把负time历史量除以当前窗口。kind仅保存原值，不预设协议；time单位和跨时钟映射未资格。

遗留与下一步

本批只成立E3通道与E2离线保管/候选映射，未成立独立整机数值参考或E4指标验收。下一先离线核37个无声明更新与重复serial的顺序/生命边界、8未解及2无候选包，研究源时间与抓包时钟可识别边界；需要受控流时先落合同、保全归位及真实容量，不能复用64活动满容量或自然流量样本作正式轮。全scope/同层/方向/跨时钟/端到端完整性Gate R仍未关，不进产品193、诊断、五正式或接收率。网站/通知/镜像欠项沿Owner许可继续partial；本批同提交站点与推送最终实况看私有delivery收据。

批末独立新连接a05再次确认Lab18开始/结束均idle、64全封口/released、无pending、128件metadata与退出前核同、关闭无错。内部4.459989秒/外层4.867513秒/峰93,257,728B；空间123,658,108,928B，满足10GiB/预计新增两倍。本批删除0、安装0、启动0，旧机与封存/失败证据均未清理。该终态不作为下批新鲜准入。

Implementation / Validation Update · 2026-10-19 · 原生帧、消息时序及受控准备

文档类型devlog增量。按Canonical本次新增原生帧容器导出器及6项软件控制、一次受控配对执行器及6项故障/生命控制。产品与Lab不变、30/66、发送正式0/5。执行器关闭失败或源码漂移不能completed；捕获失败后保留原件，run封口/导出未核实则不signal，仅正常释放本次host服务。不把软件测试当指标验收。

原件的第二套协议读取

仅将natural-pair-a01实际原生帧换容器，无增删帧bytes或修改源时间。27709帧/53129507原帧B，原容器及索引SHA先核同，独立stdlib逆读每件bytes及时间核同；系统tcpdump读取27709件exit0。TCP27697、UDP4、ARP5、ICMPv6邻居发现2、unknown1，与现有解析分类核同；unknown与2件已解UDP无端点候选均保留，不称loss。未知帧的封装原因未验证，不按推测修包。派生容器不是独立抓包，也不证明镜像前置完整。

导出外层0.682102秒/CPU0.641736秒/峰26312704B；独立逆读及系统reader外层0.619126秒/CPU0.557374秒/峰137560064B。无旧导出器不造前后速度比较，I/O瞬时峰unknown。

原始消息顺序与接收时间反例

完整862消息中，已声明serial没有声明前更新。37无声明serial全部仅负time初始更新；37重复声明serial中34只有第4列recv_buffer_size变化，其余声明字段未变。24 serial同时含负/非负time，没有非负后再负；56 serial非负time无倒退。以上不证明累计、增量、连接新生命或单位。

pcapd源时间跨度19876396000ns且本次无倒退。检验“所有源事件均处于各自host接收调用括区间且仅差一个固定offset”的约束，交集宽度为−1000375959ns（空集），receiveEnd-source范围差1000413500ns。故该假设被本次反例否定，不能直接以调用开始/返回作为事件时钟桥；源单位、传输延迟、源时钟语义须另证。离线顺序审阅外层0.195694秒/CPU0.179804秒/峰47087616B，原件前后SHA稳定，无手机调用。

新鲜运行状态与容量前置

初次controlled只读64全封口/released/no pending，App存在，idle门拒绝，零写/launch/signal。沿Owner已有授权，a02重新全核metadata及当前生命后一次SIGTERM并确认idle，外层6.512151秒/峰97665024B；后续独立只读a02又发现不同startDate生命，metadata仍核同，零写且拒绝归位。新生命约在退出结果后15秒出现；起因unknown，不擅断系统或Owner行为。先完成全部离线准备，再按方案做一次有界a03正常退出及独立归位；任何后续busy或不确定动作不重试。本段不是容量收据、未启动受控上传或正式轮。

Validation Update · 2026-10-19 · 一次受控上传及分离复核

a03重新核64封口metadata及当前生命后一次正常退出，独立连接立即归位四条Lab18工具run；原件29文件/5094104B及4导出全保留，独立新连接重读合计33文件/5994705B逐件源host SHA核同。实际64→60，导出原位、仅4 rename、删除0，两个开销run未动。a03外层6.605564秒/峰98435072B；归位10.832707秒/峰107757568B；独立SHA及实际60容量5.323670秒/峰105693184B。host构造custody首轮误读summary.runName在手机动作前失败，改用已知exclusive前缀并核实际集合，失败日志保留；不虚构首轮成功。a02失败idle收据未当容量使用。

18项窄软件控制全部通过，执行前分离源审阅成立E2：6原帧、6归位、6配对故障/封口/关闭。新一工具容量与selection绑定，原件/SDK/UI/source pins冻结，随后唯一controlled-a01执行；100秒/192MiB和外层115秒门均未放宽。一次launch/封口后同生命一次SIGTERM，monitor start/stop各一次、资源全关闭。60→61，0产品Session/正式轮/安装/删除。外层34.132950秒、CPU2.426017秒、峰116260864B。28秒观察保管1015对象/381455编码B和25498原载荷/42654612B；原件、framing、索引及全部SHA另路核同。现有分析读取未知26件（总TCP25462、UDP10），无端点候选32包，仍保留，不改公式或求整机率。

有限动作完成，不代表观察完整。 DTX窗口终态pending0，stop前2/stop后24对象未保存成消息原件；同一AI分离审阅发现此尾部保管缺口。原capturer.completed只表示有限窗口收件完成，不能当全源/尾部完整；本次不重跑、不拼接丢失尾部、不算Gate R。下一须先文档化有界stop及尾对象保管，再软件故障验证；源端/传输前置完整性仍须另证。

本run250事件/241逐接口参考，所有参考各32接口；独立Fraction完整成本mean/P95=0.705993/0.872208ms≤1ms，max1.012542ms、gap63.793292ms保留。manifest/typed五核心/全部附件、1MiB Z正文及server持久确认逐件核同，服务仅1请求；不是参考全scope资格。离线业务/层级复核外层0.562397秒/峰102924288B。

同场单流字节层与方向事实

按URLSession实际端点选中2条同serial连接声明，均与本次自有生命一致；6更新source time值4–9原样保留，不预设单位。完整原始TCP流逐byte重组，有唯一SYN及两向FIN，双向内部缺口与重叠观察bytes均0；发送HTTP头511B＋正文1048576B，接收HTTP头165B＋响应104B，与typed任务/服务确认一致。该事实只证明所选流业务正文在本件中连续，不说明所有流或所有方向完整。

pcapd本流发送io1、接收io16，均落同base/unit标签；仅对本流实证，未推广所有接口/UDP或隧道。系统tcpdump读取派生原生容器全25498帧，独立逆读所有原帧bytes/源时间核同；该流全部842包计数及728带正文包的绝对seq/长度multiset核同，不仅抽样。导出外层0.596982秒/峰25329664B；独立全帧与系统reader0.550847秒/峰118882304B。第二套parser和业务连续性都不替代第二独立抓包或端到端全设备完整性。

批末独立新连接确认实际61，全封口/released、无pending、自有App开始/结束idle，旧60及本run metadata核同，关闭无错；外层4.661336秒/峰94339072B。空间124395696128B，满足10GiB/预计新增两倍，删除0，无旧机清理。该收据不是下一次准入。当前整体30/66、发送正式0/5；下一尾对象保管与全scope/同层/方向/跨时钟/端到端完整性，不进193/诊断/五正式或接收率。分离复核。网站/通知/镜像欠项继续partial，最终同提交构建和推送实况由私有交付收据记录。

Implementation / Validation Update · 2026-10-19 · 停止、关闭与本地终止保管

文档类型devlog增量。基线445977d0，上一批24尾对象缺口原样保留、未补抓或拼接。新增host-only生命周期writer、保留关闭backlog的SDK服务派生层、自然配对入口及17项窄新控制；连同12项既有codec/有限pair相关控制共29通过E2。产品/Lab/公式/指标门槛未改，同一AI方案/实现/测试后分离复核、无子代理。整体30/66、发送正式0/5，未进入193/诊断/正式或接收率。

实际实现、偏差与软件失败

raw_network_lifecycle.py让唯一receiver与stop完成task共同等待，18秒window后stop一次，stop≤8秒；stop后连续1秒安静、尾部总≤10秒。逐件typed原对象及host阶段/顺序/SHA，持久化失败或预算/取消明确partial。未知消息码与空值不滤；取消和同tick receive竞争时，已返回对象先写入再flush。首次8软件控制有1个stop超时断言失败，表现为等待到尾部总限，修为stop完成唤醒，a02/a03过渡输出保留；a04最终29控制全过，外层0.812563秒/峰67452928B。没有手机重跑旧指标。

仅安静期还不足够：固定SDK默认on_closed会即时清空队列。新增custody_network_monitor.py只覆盖host队列关闭为非立即丢弃，dispatch与解码继续固定SDK；writer在本次独占DVT关闭（≤3秒、最多一次）期间保持活跃，继续保管backlog直到本地QueueShutDown。phase=window/stopping/post-stop/closing只表示host接收阶段，不表示设备事件时间。SDK sentinel不当源消息、不编码成null；成功后队列1为本地sentinel，不伪写0。异常未确认stop/关闭/terminal均不completed，未知指令结果不重发；其他资源逆序有限回收。

capture_network_lifecycle_pair.py同连接新核实际集合SHA/no pending/idle；前置收据≤180秒、selection/安装Lab18及源pins绑定。不再硬编码旧64容量，不生成工具或五轮容量，不启动Lab。pcapd无过滤30秒，DTX生命18+10+3≤31秒，主机整体90秒/外层105秒/192MiB与空间门不变。新只读准入通过实际61，全metadata与封存核同，外层4.579255秒/峰95600640B；之后唯一新namespace network-lifecycle-a01，没有自动退出或launch。

同规模开销对照与一次真机通道

用既有1015对象作synthetic快速队列调度，前后逐对象semantic SHA完全一致；输入源SHA稳定，不是新手机或历史指标重测。最终关闭模式与旧模式记录如下，包含固定0.3秒观察，新版另含0.01秒软件安静期，不能称纯编码吞吐或统计加速：

CPU增加约13.31ms/1015对象，功能增加仍在实际deadline及192MiB门内；不称改善。I/O瞬时峰unknown。旧无尾部/关闭等价功能，不虚构旧功能对照。

一次新自然背景配对外层32.755811秒/CPU2.362882秒/峰99303424B，源码pins前后稳定、关闭无错；安装/launch/signal/归位/删除/手机Documents写/产品Session/新run/容量均0。824对象/323472编码B（5接口、254声明、565更新）全在window；stop及DVT close各一次，stop耗约69.923ms，stop前/返回pending均0。stop后实等1.001686秒安静，再关闭source并收到本地terminal，最终队列1是sentinel。本机本次实际stopping/post-stop/closing数据对象均0；非空尾部保全仅E2控制，不能把此次当24旧对象已补回或非空真机尾部已验证。

pcapd30秒保存39600原载荷/81397950B，独立原framing/索引/逐件与全流SHA核同；DTX实际接收生命周期约19.074秒，两来源并非同起止源时间窗，不能把总数或全程bytes相减当误差/丢包。新parser分类TCP39521、UDP14及65其他/坏形状全部保留，未做新系统协议decoder交叉，协议层采用已审共享parser；保管层另用stdlib独立核同。全部离线映射外层1.192859秒/峰134365184B；另一路仅对象/host边界核验0.051342秒/峰16302080B，全phase计数、顺序与SHA成立。源端结束及端到端loss始终unknown，host关闭不冒充producer完成。

已有单流的逐桶时间约束

仅离线审controlled-a01同一842包/6更新，不接手机。假设H1为相邻1秒桶增量、发送bytes取IP层、接收bytes取TCP正文；先按更新packet数连续分配原源时间有序包，再逐桶核实际bytes，6桶双方向均核同。以每桶末包/下一包时间构造共同offset的整数约束，交集非空、宽105000ns。该结果没有否定H1，但计数用于分桶不是独立桶真值，不证明源time单位、offset唯一性、host/Mach桥或其他流同层；不得拟合单点后校准产品。外层0.223964秒/峰51429376B，原件SHA前后稳定。上一批recv调用括区间桥的空交集反例继续有效，不因新假设暂可行而覆盖历史否定结论。

上游源码研究与scope边界

为避免按同名字段猜私有来源，读取并核SHA了Apple公开XNU tag xnu-12377.1.9，解析为固定commit f6217f891ac0bb64f3d375211650a4c1ff8ca1ea；tag/commit原文逐byte核同，手机内核/私有Instruments二进制等价未证明（仅E1研究）。nstat_tcp_counts读取socket累计字段，而同文件nstat_ifnet_counts读取接口字段；TCP发送统计位置及接收长度处理说明必须按具体路径审字节参数。本次不能据nstat字段相似就认定DTX使用nstat，也不能用公开TCP代码直接解释已观测发送IP层结果。 该研究只约束下一溯源方法，不改公式或PASS。

批末独立新连接再核61全封口/released/no pending、idle及全部metadata与采集前核同；外层4.662689秒/峰93700096B，host124207423488B可用，满足10GiB/两倍预计量，删除0、无旧机清理。当前有限生命周期E3与保管E2成立；非空真机尾部、所有连接/协议/接口、层级、跨时钟与镜像端到端完整性Gate R仍未关。分离机读复核。下一先对既有原件做全流/未知/未匹配scope审计，冻结下一独占配对合同后才新手机动作，不进193/诊断/正式/接收。网站/通知/镜像欠项partial，最终提交及站点以私有交付收据为准。

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；本批只作取证研究，没有新产品包。

格式识别依据RFC 826、RFC 792、RFC 2131及RFC 4861。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/诊断/正式五轮/接收验收。分离机读复核。交付仍partial，最终提交、同提交站点和通知以私有network-scope-delivery-a01.json为准。

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尾对象缺口。

所有留出共同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、RFC 8200、RFC 9293。此检查反证一种计数合取，不识别实际字节层/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。

本机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，不当手机运行版本。

各工具在已定时间/空间预算内；本机反汇编工具未遵从地址区间而输出全文件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、产品诊断、正式五轮或接收验收。分离机读复核。最终提交/双推/同提交站点及通知由私有network-hypothesis-delivery-a01.json记录，交付欠项继续partial。

Implementation / Validation Update · 2026-10-19 · 手机符号清单与系统索引定向保管

文档类型devlog增量，基线9a0daf52。上一H1反证/22个头下界反例保持，不能据此修改产品；上一交付GitHub核同、GitLab一次失败，同提交站点18.193710秒/聚合1368997888B通过、579页/737目标/619锚点，网站未发布/Webhook缺配置继续partial。本批同一AI方案、实现、测试后分离复核，无子代理；当前30/66、发送正式0/5，Mac192/Lab18不改。

实现与新准入失败保留

新增host研究工具bounded_symbol_inventory.py、bounded_symbol_file.py、dyld_cache_index.py及对应三窄控制文件。前两工具只使用固定pmd11.3.1 RemoteFetchSymbols/RemoteXPC接口，原SDK不修改；保管SDK解码response的显式类型tag，包括XpcInt64/UInt64、UUID/FileTransferType，不称wire原件。仅一清单请求、≤256件/路径≤2048B/expectedLength≤16GiB，未知/超界/重复/超时拒绝；client连接失败及读取失败也close一次，关闭失败不completed。

首次新inventory-a01在Lab18/实际61及全部封口/no pending核对后发现自有App存在，idle门拒绝，symbols请求0、signal0、关闭无错。全部122件metadata与旧封存核同；按Owner既有自行正常退出授权，新a04另查同一生命及全sealed/released/metadata，fsync意图后仅一次SIGTERM，正常退出与独立idle确认成立，未launch/强杀/删除。busy失败原件不改成成功，也没有连续signal或隐含重试。

手机实际清单与只取480KiB系统索引

新独占inventory-a02使用独立新连接完整重核Lab18身份、61记录metadata、idle、产品播放idle，才在同lease查询服务；实际59文件、总4043091248B，60份typed response/33218B逐行及总SHA保管。首保存26.926ms、清单58.675ms，请求1、文件数据请求0；之后同连接重读122件metadata逐SHA核同、集合/no pending/idle不变，close无错。清单只是E3服务事实，不是手机二进制或E4数值证据。

发现同basename主缓存分属系统及DriverKit，大小491520B和9879552B，故不能按basename挑大文件或扁平化目录。追加合同后，新network-system-index-a01再次新连接/完整准入，重查全部59个绝对path/size集合核同；按本次实际index（不沿旧序号）仅请求固定491520B系统主索引。流式逐chunk存储/SHA，实际491520B精确相符、数据stream请求1；清单＋读取66.596ms，完整前后资格另计。没有下载DriverKit、667MB symbols或全4GB缓存，没有改手机文件/安装/launch/新run/归位/容量/Session；本批仅上述1次已授权正常退出信号。

双路结构核验与当前来源边界

reader按固定Apple dyld缓存结构原文验证magic/平台、映射与范围、图片及text双表、路径边界和subcache索引；原文30457B/SHA私有固定。实际iOS platform2、3333 image/54 subcache，主文件映射475136B。另一路从固定官方C声明独立构造ctypes字段偏移，再直接读整数及路径，全部3333 image/text与54 subcache元数据逐项核同，不导入主parser。

手机导出的索引包含DVTInstrumentsFoundation（text1036288B）和NetworkStatistics（text311296B）映像条目，按索引VM起点只有.41/.37候选subcache。尚未读取这两个映像的实现代码，未核实际subcache文件映射，也不证明运行中的networking producer使用该路径。 从host同名服务研究推进到了本机实际手机导出的系统索引，不再靠旧版本开发镜像猜文件，但仍不能把cache条目当手机producer等价或指标通过。

独立typed reader重核两次清单共120份响应、逐row及全流SHA、全部59 path/size集合一致；两份新61 metadata均与旧sealed基线核同；新工具/固定SDK source pins稳定。索引原件SHA与下载收据核同，只有本地保管意义，不能当Apple签名认证。软件7清单＋5单文件＋4索引控制共16项通过E2，不重测历史指标。反控包括恶意count/路径/size、重复、超时不重试、关闭失败、枚举重排用新index、漂移拒绝零数据请求、短读/超额保留partial及表越界/平台/双表不一致。

实际资源与分离决定

数据步骤只取小索引，流式O(metadata＋491520B)，实际新证据远低4MiB目标；产品及Lab无开发，不生成新包。CPU/I/O细项见私有wait4收据，I/O瞬时峰unknown；没有旧等价工具不虚构加速对照。方案由分开资格/清单进程改为同lease前后核对，并将整进程192MiB上界收严为128MiB，未放宽资源/数值门。批末空间≥124067266560B，满足10GiB及两倍预算、删除0。初次host activity查询误用不含psutil的系统Python，只读失败后改用固定ARM venv；未改变依赖或据失败启动手机动作。

结论：E3手机符号清单/索引保管与E2全量独立复核成立；整机参考Gate R仍未通过、发送率正式0/5、整体30/66。 H1反证、旧24对象与全部未知保持。下一只能先按实际索引制定有限subcache获取/静态映射合同，核手机实际producer及packet/bytes/查询语义，再回到全部scope/同层/方向/时钟/端到端完整性；不全量下载4GB、不进193/诊断/正式/接收。机读分离复核。最终提交/双推/同提交构建与通知按私有network-symbol-index-delivery-a01.json，交付欠项partial。

Implementation / Validation Update · 2026-10-19 · 手机目标子缓存映射与原代码保管

文档类型devlog增量，基线8a6632e5。同一AI方案、实现、测试后分离复核，无子代理。上一批59文件清单/491520B索引的E3/E2结果不回改；上一交付GitHub核同、GitLab一次失败，同提交站点18.163128秒/聚合1409826816B，579页/739目标/630锚点通过，网站/Webhook配置欠项沿Owner决定partial。整体30/66、当前发送正式0/5，Mac192/Lab18不变，无产品/Lab开发包。

实际实现与手机动作

bounded_symbol_file.py保留原selected_index的1MiB门，新增必须显式byte_limit的selected_file入口，上界128MiB；逐块≤1MiB、exact length、增量SHA/首chunk/吞吐，未知/超额/短读/超时及close失败原件保留，不重试。固定pmd11.3.1未改。新增dyld_subcache_image.py与objc_relative_methods.py为host离线工具，不被产品采集链路调用；对应6/3控制加单文件8控制共17项通过E2，另LLDB已知nop/ret两控制成立。只验证研究工具，不重测历史指标。

新独占network-dvt-subcache-a01新连接完整核身份/Lab18、实际61封口/released/no pending、122件metadata与封存基线、产品和自有App idle；重查59路径/大小集合核同。按本次实际index仅一次请求合同选定系统.41/113999872B，精确字节与SHA成立，结束同连接重读122件metadata全核同、idle/source pins/close成立。数据2.941879秒、首chunk63.951ms、约38.75MB/s；包含前后准入的内部9.254158秒、外层10.023926秒/退出峰101187584B，在105秒/128MiB门内。文件SHA 71a7d2a0308c9ed0aad1341c0aa0e732ab4f7f4e71a125f414abdb9bf650fc31仅证明保管一致，不代表Apple签名认证。

只读源header、实际唯一VM映射与主索引.41UUID及起点核同，按address/size/fileOffset映射目标范围；原Mach-O的arm64e/iOS/LC_UUID与主index目标条目核同。实际原__TEXT1036288B、__text711848B；__DATA_CONST、__AUTH_CONST、__AUTH、__DATA、__LINKEDIT均不在本文件，完整映像不可用。没有伪造Mach-O、拼缺段或推断imports；后续数据片候选153731072B超本次128MiB界，不自动下载，链接段/符号文件也未取。

静态解码及方法表的边界

本机无llvm-mc，按补充合同使用已存在LLDB 1700.0.9.502的SBTarget.GetInstructions，仅空arm64e target与原字节buffer，process无效，未load/attach/launch/expression。固定真实工具、LLDB库、Python模块和源SHA，先nop/ret编码/地址控制，再以4KiB分块解码177962条、7991754B输出，全部原编码及原VA步长由另一路流式reader核同。1条未知指令完整保留，不当已识别；该解码没有证明控制流或数值语义。

按固定Apple objc4方法布局读取252个small direct方法表/2193入口，原28924B全部记账含592B零对齐；全部IMP落于目标指令范围。公共selector base与class关联元数据缺失，selector/class解析均0，不以本地同名方法或字符串拟合base，不把未命名入口说成已识别DTNetworkingService。原文字串含同名服务、NStatManagerRef、XRIncludeLoopback等，只属E1静态关联；不能单凭字符串证明手机运行producer路径、packet/byte定义或查询时钟。

探索首扫未处理8B列表对齐在204B处断言失败，未作结论；修后全量第二reader核同。LLDB a01的内建_lldb无__file__、a02的内嵌Python无hashlib.file_digest两次离线失败与源码/日志保留；a03改用实际库SHA和1MiB流式hash，不改依赖、资源门或手机。没有把前两失败改成通过。Apple来源研究还保留一个不存在路径的404摘要，按官方tree改取真实include位置；不是手机通道失败。

新下一文件准入拒绝

主index的objc优化header指向另一个26,247,168B候选文件，公开结构版本及header声明长度尚须核，已先落network-objc-subcache-a01单件合同。新连接完整核61 metadata/封口/no pending后发现自有App新运行状态，按no-signal合同立即拒绝；symbols清单/数据请求均0、无文件、close无错、外层5.378862秒/退出峰97288192B。该失败原件单列，不算下载失败或重复已知请求，也不沿用先前idle收据。本批手机signal/安装/launch/新run/归位/容量/Session均0。

分离复核与资源

第二脚本不导入主cache/Mach-O/method parser，从固定Apple C字段独立构造ctypes偏移，直接整数读取主index目标/子缓存UUID、实际mapping、全部load commands及section原字节；全部60 typed响应与59清单集合、两次61 metadata及所有源pins核同。逐条177962原编码/地址、2193原相对入口独立核同，唯一未知保留。源114MB只流式SHA，小TEXT按实际范围读取，未把完整cache驻留内存。

新增数据路径流式O(文件bytes+metadata)，离线O(SHA bytes+目标TEXT+指令/方法数)，有界单并发；新大件无等价旧基线，不虚构前后提速。原小入口同控制语义保持，产品完成耗时/CPU/内存/I/O未变化；实测CPU/首输出/吞吐见私有收据，瞬时I/O峰unknown。批末空间>123GB，满足10GiB及两倍预算；删除0，旧电脑/旧失败/旧24未保管对象均不清理或补称已恢复。

结论：手机定向原代码保管E3、完整离线映射/字节复核E2成立；代码解读仅E1，Gate R未关，发送0/5、总30/66。 下一先审新进程生命与idle恢复条件，再以新鲜完整准入继续既定selector文件；方法名/class/imports及实际运行绑定、packet-byte/查询语义仍待证。不能把静态代码取得当独立数值参考或放行193/诊断/正式/接收。机读分离复核。最终交付收据为私有network-dvt-subcache-delivery-a01.json，网站/通知/镜像欠项继续partial。

Implementation / Validation Update · 2026-10-19 · 公共selector来源与双优化头交叉

文档类型devlog增量，基线2a4f0a54。上一目标TEXT原件/映射/编码保管已交付：GitHub核同、GitLab一次失败，同提交网站18.182510秒/聚合1409630208B、579页/741目标/642锚点通过；网站/Webhook配置欠项沿Owner决定partial。上批no-signal/busy拒绝不回改。本批仍同一AI方案/实现/测试后分离复核，无子代理；Mac192/Lab18与数值公式不改，30/66、发送正式0/5。

已授权正常退出与两次单文件准入

新a05正常退出器在host产品idle检查处因漏import subprocess失败，尚未建立native连接或发送手机信号，源码/stderr保留；a06只修host import并另立namespace。按Owner既有自行正常退出自有App授权，新核Lab18身份、61活动全sealed/released/no pending、122metadata与busy-a01及封存基线全同；开始及末尾两次同生命才fsync意图、一次SIGTERM，3秒有界观察正常退出。退出后同连接重读全部metadata及idle/source pins核同，close无错；没有重发/强杀/launch/安装或改数据。a06外层8.384042秒/99516416B、信号1；这是本批新增授权恢复，不伪称整批手机动作0。

新network-objc-subcache-a02独立新连接完整61前后metadata/产品与自有App idle、版本及59清单集合准入，仅一次读.30.dyldlinkedit26247168B；SHA f194e2c52906ab7d239ea7defb52cb2a199f02d7cea182baba09180bf87277f1与精确长度成立，外层7.987164秒/99254272B。它与旧a01 busy零请求分开，不重试未知数据请求。

根据字段得到selector base的新文件候选后再落合同，新network-selector-strings-a01再次完整新鲜准入，仅一次读.01113197056B；SHA 67fcc7ffc10673a4e1c8647fc060b29b2f4851792854b7ba5b54930e5f260baa、前后61metadata/idle/源码核同，close无错，外层10.069620秒/103366656B。两件合计139444224B，未取153MB数据片、391MB链接片、667MB symbols、DriverKit或全cache。已有本地单文件SDK入口的128MiB上限未放宽，单chunk1MiB、单并发、每件只一次数据请求；两读取的signal/launch/写数据0。本批总共新增正常退出信号1、数据文件请求2，无新run/归位/容量/产品Session。

32B声明与56B结构：先拒绝，再固定假设交叉

第一件真实UUID及2个mapping核同，主index声明objcOptsSize=32B，先只读32B；公开version1结构却为56B，不能直接套最新结构。查固定Apple dyld-1066.8的结构与SubCache构建路径：后者先写ObjC尺寸，随后Swift条件块再次写同一objcOptsSize字段，构成E1明确覆盖路径。实际32B与该机制相容，但没有证明手机采用这个精确builder、版本或唯一原因。

另行文档化仅离线Hheader，在已有真实映射内追加审24B、总56B候选，不修改原header/声明、不联系手机。新增objc_cache_selectors.py仅接受明确56B/version1/flags和偏移上界，4控制含32B拒绝/错版本/溢出；真实候选version1/flags7，base严格来自原字段，不从名字拟合。首a01因base不在已取文件而提前missing，失败保留；a02仅改为对全部2193项显式missing、未知原因保留，不扩大字段或声称解析通过。公开源码路径查找的404也保留摘要，之后按官方tree确定真实路径，不猜不存在的头。

第二件实际UUID/唯一mapping核同后，原字段base和全部2193 offset均覆盖，按完整NUL/UTF8/2048B界读出全部method selector。还按主index唯一libobjc条目的UUID/arm64e/iOS与原Mach-O定位__objc_opt_ro，官方version16旧结构是self-relative，读取48B原字段；其selector base、RO/RW、selector/class/protocol表6地址与Hheader cache-relative字段逐项精确核同。这提供了独立缓存结构交叉，Hheader可用于本数据布局解析；仍不能据此认证实际builder或动态服务绑定，不把原声明32B改写成56B。

分离审核与当前缺口

第二脚本不导入新header parser或主selector reader，从固定C声明独立构建ctypes偏移，核56B大小/relative-base字段48偏移；直接整数读取原主index与两件实际mapping、UUID、libobjc原TEXT/LC_UUID/旧优化section及6地址。全部2193 selector字符串/原offset/IMP逐项核同，缺失0；120份typed响应/全59清单、两完整准入与恢复61metadata、源文件SHA及SDK/host pins核同。方法名解析成功不等于class关联：class关联仍0、imports与完整调用路径缺失、当前手机运行producer绑定未证。不把同名方法当已识别类，不把NStat字符串当参数或字节层证明。

新工具与真实规模均满足5秒/64MiB离线门，手机整体105秒/128MiB保持。原件流式SHA、目标TEXT≤2MiB、每字符串≤2048B，O(源bytes+方法数×字符串界)，单并发；本批新两源约133MiB，主机>123GB可用，删除0。新来源工具没有旧等价物，不虚构提速对照；首chunk/吞吐/CPU见私有下载及wait4收据，瞬时I/O峰unknown。产品/Lab无代码变更，不生成新安装包；旧失败与24未保管尾对象均保留，未称补回。

结论：E3新来源保管与E2双结构/全量字节复核成立；静态metadata事实仅E1，30/66、发送0/5、Gate R未关。 下一应先文档化唯一数据片范围及显式预算，再新鲜准入/真实映射/原类关联和encoded pointers审阅；不能因已有selector而放行193/诊断/正式/接收，也不自动下载大文件。机读复核。最终同提交/双推/站点与通知收据另核，网站/通知/镜像欠项继续partial。

Implementation / Validation Update · 2026-10-19 · 原类关联与网络字段来源

文档类型devlog增量，基线e2d461e8。同一AI方案、实现、测试后使用第二读法分离复核，无子代理；本批不改Mac192/Lab18或产品公式、不安装新包，整体30/66、发送正式0/5，Gate R未关。前批GitHub核同、GitLab一次失败，同提交站点17.422753秒/聚合1507704832B、579页/743目标/652锚点通过；网站与通知配置欠项按Owner决定沿用partial。

两个有限原文件与busy拒绝

先文档化唯一.53.dylddata153731072B合同，保留既有128MiB文件入口不变，新增独立192MiB硬上界静态data入口，必须显式byte_limit；进程门仍128MiB。7文件控制包括超限事前拒绝、枚举重排、集合漂移、短读/超额、超时不重试、close失败及1MiB分块，均通过E2。新连接完整61sealed/released/no pending及122件metadata/身份/版本/产品和自有App idle，完整59清单核同后仅一次文件请求。原源SHA 6643bc88121706475977f5a0df96a9029ba956b1597cfb56fda5b465f2c2baf0，11.134674秒/100139008B；首chunk58.794ms，读取3.942668秒/约38.99MB/s。前后全部metadata与source pins、idle/close核同；本次signal/launch/安装/写入/新run/容量0。

字段原指针显示字符串在唯一候选.37115245056B后另立合同；nstat-text-a01新准入发现自有App又出现而拒绝，数据请求0、信号0、关闭无错，5.279799秒/96632832B。进程再次出现原因unknown。按Owner既有“自己退出吧”授权另立a07恢复：重新核全部61与122metadata、同开始生命及两次末尾同生命，先fsync意图、一次SIGTERM并有界观察正常退出，之后全部metadata/idle/pending/pins/close核同，8.607634秒/98533376B。没有强杀或重发。

新nstat-text-a02独立完整fresh admission，仅用原128MiB入口读115245056B，SHA 42ffd47ab5f7fd63d7ae984b2d4d115054a73c00e27af2ee864e149c09828bca，10.005715秒/101105664B，61metadata前后核同、idle/close无错。两源合计268976128B、数据请求2；本批总正常退出信号1，安装/launch/新run/容量/归位/删除0。busy失败不改成通过，也不把独立恢复记成原no-signal合同动作。

原映射、slide-v3与全部类方法

数据片有6个真实mapping，其中4个使用slide-info v3（非按suffix或最近VM猜范围）。按固定Apple dyld-1066.8结构及运行时链遍历实现有界reader：初始page-start单位为byte，后续delta单位8B word；只有真实链成员才解指针，非零未入链scalar保留unknown，0只代表原null。auth与unauth格式分开，保留原bits及认证字段，不执行认证或改写cache。7控制含合法/截短/错版本/越界/溢出/null与非成员拒绝，通过E2；26初始页面链、2013查询、1899链成员查询得到183 classlist/366类与元类，全部2193方法入口均关联，未知类记录0。

DTNetworkingService有8项方法，XRNetworkingServiceObservationTuple有7项，DTNStatSourceMapEntry有6项；DTNetworkingServiceAuthorizedAPI未出现在classlist，不能按名字把它认作类。class_ro、FAST_DATA_MASK及元类标志采用固定objc4-906声明，没有遇到相对method-list union，未实现路径不假称验证。

第二脚本不导入主data/class/image reader，直接原字段/原mapping独立遍历v3链，逐条核2013查询、366对象、2193关联；还对固定Apple原头编译小C++核sizeof/offsetof/bitfield。最终a03实际4115次链成员字段比对全匹配。a01先核过指针，但统计数在后续查询增长后才汇报，不能把其3981视作当时C++已核数量；新a03把比较放到全部读取后重新全量核，保留a01。a02第二读法曾误要求两次清单顺序一致而失败；新a03核全59集合、唯一性及当次真实index（43/17），修正reader而非数据，原失败保留。

原指令与字段键名：不替代运行口径

从既有177962条原编码中按已证IMP取16根、2087条审计切片（方法间还含block/helper）；邻近IMP仅作切片上界，未证明完整函数extent。原字节解28个objc selector stub、13个auth external stub及183处引用、16个ivars。selector stub与ivars经第二读法核同，外部API只有真实地址，0个外部符号名获得证明，不按本机同名函数猜手机导入。

原路径与ivars显示默认PID过滤状态为-1，有setTargetPID:设置、隐藏接口集合及XRIncludeLoopback/lo0路径；因此不能预设此服务是所有接口的整机wire包参考。声明表8槽、统计表11槽及类型表4槽共23槽，以真实原pointer→global key→CFString→字符串映射核对：18个键解析、4个null槽、类型表第0槽1个missing保留。NetworkStatistics实际唯一mapping及原TEXT311296B/UUID/arm64e/iOS与主索引一致。第二读法从原ADRP/ADD重新取得三个表地址、核全部23槽、字符串原字节/长度及28 selector/16ivars；不是用字段名长度拟合。

原指令前7项走ending−starting与负值/null路径，后项比较或保留；原统计表9/10为null映射、另有serial/interval填充路径。这里是E1静态路径解释，txBytes键名不证明payload/IP/链路层定义，interval路径不证明参考时钟校准，代码位于手机文件不证明当前服务实际加载/绑定它。旧单流训练核同不能外推全部流，H1留出反证及22个头下界反例、24未保管尾对象缺口保持。

离线10秒/96MiB、输出8/16MiB与手机105秒/128MiB门均满足；流式O(源bytes+有界metadata/链)，单并发，不重写/加载/attach/执行代码，原128MiB和小索引1MiB入口保留。新工具无旧等价大件读取，不虚构提速对照；CPU/首chunk/吞吐见私有收据，瞬时I/O峰unknown。批末空间见当前私有收据，>123GB，删除0。

上一公开selector收据sourceSHA256字段存的是工具pins，不能当两原文件SHA数组；本批机读显式区分sourceFileSHA256与toolSourceSHA256，原两文件SHA仍以历史正文和私有分离原件为准，不回改旧归档。

结论：E3原来源保管/E2独立格式与全部关联核同；静态路径仅E1，发送未验收、正式0/5、整体30/66，Gate R未关。 下一仅原外部调用/producer packet-byte与query时钟来源，之后仍须运行绑定、全scope/方向/同层/端到端完整性资格。新文件获取必须先另立唯一范围/资源合同，不自动取391MB链接或667MB symbols、不进193/产品诊断/正式/接收。网站/通知/镜像欠项继续partial。机读复核。

Implementation / Validation Update · 2026-10-19 · 手机原导出与provider路径

文档类型devlog增量，基线befcb488。前批类/字段来源已推GitHub核同，GitLab一次失败；同提交网站17.716225秒/聚合1377435648B、579页/745目标/663锚点通过。网站/通知欠项按Owner沿用partial。本批同一AI方案/实现/测试后分离复核，无子代理；不改Mac192/Lab18或指标公式、不安装新包，30/66、发送正式0/5、Gate R未关。

先小跳板片，再唯一原导出来源

原已有文件审105调用目标：65地址不在mapping、39不是ADRP、1非已证stub模式，全部missing保留。按真实外部地址与主index另立唯一.42770048B小片合同，用原1MiB入口、新鲜完整61封口/released/no pending及122metadata/版本/身份/产品与自有App idle/完整59清单前后准入，一次读取成功。SHA a85a5241e8a8e4dcc84bc510fb6bb1422bfdffffba54028da435ab7647d6cc98；7.292897秒/100532224B。实际mapping覆盖65个ADRP/ADD/BR直接跳板，精确目标中11个落NetworkStatistics原TEXT；40个非本模式目标继续保留，不把函数正文当stub、不造Mach-O映像。

原NetworkStatistics load commands给出LC_DYLD_EXPORTS_TRIE 5696B与LC_SYMTAB 1870 entries，明确指向唯一.54.dyldlinkedit391430144B。固定SDK只有已验证整文件索引接口，没有range协议；先文档化整件必要性与800MiB证据预算，新增独立384MiB上界selected_linkedit入口，原1/128/192MiB工具上限均保持。7文件控制含旧入口拒大件、192MiB入口拒384MiB，另6 trie边界/溢出/循环/opaque控制，通过E2；首控制host调用误带不支持的cwd参数在测试运行前TypeError退出，修runner后新a02控制通过，未联系手机。

新network-export-linkedit-a01再次完整fresh admission，只一次数据请求、全源流式SHA/exact length，前后122metadata/idle/pins/close核同。SHA 3ac415576cbfa52476a5df4d6ced38a6a403a8cc97846fb48a28753921844473，17.049002秒/99696640B。两新文件合计392200192B、两次数据请求；本批signal/launch/安装/写数据/新run/容量/归位/删除均0。未取667MB symbols/DriverKit/全cache。旧失败与24未保管尾对象继续保留。

导出名与跳板全量分离核对

源391MB不全驻留；实际2 mapping/UUID/platform/with-slide核同后，以原Mach-O __LINKEDIT.vmaddr与fileoff桥接，再按真实subcache mapping计算位置，禁止将LC offset直接当文件offset。首次脚本因image结果无targetAddress字段停止；第二次旧helper按128MiB预算拒绝大件，未放宽旧helper；第三次按已定合同独立读映射成功。只读取5696B trie、1870×16B nlist和每名≤2048B的字符串，未全读55MB字符串表或其他framework。

实际248个regular export、opaque0，11个原目标与export+nlist名字逐个精确吻合：NStatManagerCreate/Destroy/AddAllTCP/AddAllUDP/QueryAllSources，NStatSourceCopyProperty/QueryDescription/Remove，以及SetDescriptionBlock/SetCountsBlock/SetRemovedBlock。第二脚本不导入主mapping/trie/class reader，重新核全120 typed响应、59文件集合/当次index、61记录/122metadata和源pins；从原字节核65个跳板与映像范围、全部248 exports及1870 nlist。每个regular export与nlist外部定义全匹配，11目标名核同。最终0.494749秒/23412736B，格式复核E2；名字属于手机原文件E1，不能自动当当前服务动态绑定。

原计数路径与provider差异

LLDB只创建空arm64e target，用原始buffer解码178132B text、44533条4B指令，未知0；原地址/编码、nop/ret控制和工具源pins核同。未创建process、未加载/执行/attach目标代码。首a01漏提供__file，Python traceback但LLDB仍exit0；进程守卫passed不能替代结果文件存在及completed/sourceStable等字段。新a02显式namespace、控制与最终产物全核，1.243627秒/87769088B。未改前次失败收据为成功。

原classlist进一步关联47条/94对象/1284方法，unknown0；第二读法从原mapping/v3真链核376查询、全部类方法与44533条原编码，0.487380秒/25853952B。它早两次host脚本因迁移helper漏变量/ptr停止，原件保留；a03补齐独立helper后重新全量核。11导出薄包装与原方法可衔接，不再用redacted本地nlist条目猜名字。相关slice的完整extent与完整调用图仍未证明。

原字面路径：无显式选择位时，AddAllTCP默认mask为0x30000000，尝试provider 2后在成功条件下继续3；AddAllUDP默认mask为0x70000000，按成功条件尝试4/5/8。另NWSTCPSnapshot/NWSUDPSnapshot的countsIncludeHeaderOverhead直接比较_provider==3/5；原ivar偏移728/656与ADRP/LDRSW实际常数核同。这是E1 provider选择/返回分支，不证明哪类provider在本次自然流量活跃，不能把所有txBytes默认等同于单一IP层或用它解释全部重复serial/头下界反例。重复连接的唯一原因仍unknown，不据此去重、调容差或删除ACK。

固定Apple公开xnu-10002.1.13解析为commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a，ntstat.c/h两件302878B保管URL/SHA；其中TCP/UDP counts路径从inp_stat分别加载rx/tx packet/byte，而userland走提供方callback。固定ntstat.c、固定provider定义。它仅是E1候选机制；手机内核精确构建未核，不能借该公开枚举为手机provider 8命名或把公开源码视作手机等价。底层字节累计点、用户态callback定义、每源查询与回调时序仍需后续沿真实路径核对。

资源：手机105秒/128MiB与离线10秒/96MiB（LLDB20秒/192MiB）原门保持；O(全源SHA+有界表/链/名字)，单流不驻留全源；无旧等价大件基线，不虚构加速对照。传输首响应/吞吐/CPU见私有收据，瞬时I/O峰unknown；主机仍>123GB，删除0。全部原件/拒绝/中间失败与旧24对象缺口保留，不因离线通过称指标已验收。

结论：E3新原来源保管、E2全部跳板/导出/类与编码复核成立，静态路径仅E1；30/66、发送0/5、Gate R未关。 下一沿真实count snapshot/字典、provider与查询context/回调时序、内核或用户态计数字节累计点继续；不默认统一IP层、不按tuple相似自动去重。还须当前运行绑定、全scope/同层/方向/时钟/端到端完整性参考资格，未满足不进193/诊断/正式/接收。网站/通知/镜像欠项partial。机读复核。

Implementation / Validation Update · 2026-10-19 · 计数查询与整机Sysmontap候选

文档类型devlog增量，基线d2785843。同一AI方案、实现、测试后分离复核，无子代理。产品Mac192及Lab18未改，未安装、launch或创建run；整体30/66、发送正式0/5、Gate R未关。前批同提交本地构建通过，GitHub核同；GitLab一次失败，网站/通知配置欠项沿用partial。

原快照与查询路径

已有手机原件44根/5015指令、166调用目标、75 selector、363引用、86 ivars、327原指针经主reader和第二独立原字节/mapping/v3 reader全核同（E2）。静态事实仍E1：handleCounts复制112B结构；原counts的txBytes进入snapshot+32，字典路径直接按unsigned64装箱到真实txBytes键，所审路径没有头部字节修正。TCP/UDP/QUIC字典沿super路径；header-overhead标志不能当实际bytes已归一化。queryAllCounts使用command1004/sourceRef=-1；context、排队/continuation及clientQueue调用点可见，仍不能把query发送、源采样、回调和host收件视为同一时刻。

固定Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a再取四源445268B，URL/SHA私有保管。in_pcb.h的INP_ADD_STAT按参数累计；tcp_output.c在选定非零data len路径累计，纯ACK分支另列；udp_usrreq.c在header prepend前取得len，并在成功输出后累计。强制探针、TSO、失败路径、IPv6和用户态provider未完整覆盖，手机精确内核未证。因此只作为公开E1候选机制，不能把旧22反例唯一归因、删ACK、调容差或宣布Gate R通过。

兼容性与失败均保留

system-facts-a01准入发现自有App仍运行，信息请求0；按Owner既有授权，新a08核同生命/全部61记录/122metadata、fsync意图后仅一次SIGTERM，前后SHA、idle、关闭全部成立。没有追新生命、强杀、安装或launch。a02首个systemInformation收到UnrecognizedSelectorError，后续请求未执行；SDK11.3.1声明不等于手机服务能力，原手机类方法表亦缺此selector。a03保存BuildVersion、machKernelName、networkInformation三答；前者均未给出精确XNU构建，networkInformation只是四项接口→字符串，不是字节计数。第四答为Python set，旧encoder明确拒绝，未保管该答；失败后metadata复核未执行，不称完整生命周期。

新增独立device_info_fact编码器，只允许顶层≤4096字符串set并显式保留set语义，native仍走旧typed规则；不修改Raw/DTX encoder，不允许nested set/未知类型。5项边界控制通过。新a04仅重取未保管的一答，37项系统属性包含四个网络计数；950B/SHA b75b4354b0e4ec86102f7a602e8cbfada5c16d65477e2f3d1ddf4971db3fe3ea，完整前后122metadata/idle/关闭通过E3。未重复不支持的selector或前三答。

新自然Sysmontap候选及完整尾部

先文档化12秒独占探测，固定四个sysAttrs、1秒请求间隔、cpuUsage/physFootprint=false，不启产品Session/测试台/pcapd/RVI。主机专用TapService只将本地queue关闭设为immediate=false，保留全部data/plist/确认/未知对象，不用SDK会跳过解码失败的receive_plist。首a01 procAttrs=[]被手机明确拒绝Missing the 'pid' process attribute，完整三对象938B（确认、错误、停止）；保管成功不等于源配置有效。原件及对应源码保留后，新合同a02仅增加必需procAttrs=['pid']，3项软件控制通过。

a02完整27对象57682B，窗口23/停止后4；其中12组整机System样本、12个k=1024控制，首确认、heart、stop控制均保留。首样本实际SystemAttributes与请求顺序核同；四个字段均为非负整数，11对相邻样本均不减、下一start=前一end+1。样本为二进制NSKeyedArchiver data，控制为plist，未将两者混同或滤掉错误。stop和专用源DVT close各一次、本地terminal成立；此仅证明SDK已交付对象保管，不证明源无丢失。所有61记录前后122metadata/idle/no pending/源码pins/关闭核同，新run/容量/归位/删除0。

离线八方法1643原编码、108调用目标、52 selector/170引用/33ivars，以及真实37×16B属性表经独立reader核同E2；表中netPacketsIn/netBytesIn/netPacketsOut/netBytesOut对应29/30/31/32。字段表与手机37个实际属性集合一致（E3来源、E1静态），尚未证明底层累计点、所有接口范围或当前运行映像绑定。

独立复核不导入主typed/mapping/queue reader：七次动作的全部61记录metadata原字节核同，成功流程各122次post-read已记账，失败流程保留partial；一次signal意图与冻结生命核同。所有30对象逐件SHA/序列/阶段/收件界限核同。二进制样本用独立plistlib+有界UID图reader读取，拒绝未知类/循环，不执行归档对象。首复核脚本误认所有消息为plist而停止，失败原件保留；新a02补齐data独立读取后全量通过，未重采手机。端到端准确度、采样时钟单位/桥接、首点语义、重置边界、字节层与参考一致性仍未证明，不能由11次递增外推永久累计语义。

效率：单流O(bytes+metadata)，原105秒/128MiB手机、10秒/96MiB离线门保持，未调堆/放宽指标容差；主机剩余空间在每次动作前后检查，足够10GiB及预算两倍，无清理。新源没有旧等价结果，不虚构前后提速；CPU按私有守卫，I/O瞬时峰unknown。

下一动作：优先核整机Sysmontap候选底层累计点/接口scope/源时钟及与独立逐接口参考的同窗比较。先有限合同，再执行；Gate R未关不进入193、产品诊断、正式五轮或接收率验收。旧H1反证/22头下界反例/24未保管对象缺口保持，软件或通道通过不增加指标计数。机读复核。

Implementation / Validation Update · 2026-10-20 · libsysmon原件与客户端边界

文档类型devlog增量，基线cee3d3d1，同一AI方案、实现、测试、分离复核，无子代理。前批GitHub核同，GitLab一次失败；同提交网站18.212334秒/聚合1422737408B、579页/749目标/685锚点无缺，未发布/通知配置欠项沿用partial。整体30/66、发送正式0/5、Gate R未关，不重测历史、不改Mac192/Lab18。

唯一原件及完整保管

按有限合同，新连接重核61记录/122metadata、封口released、无pending、身份/版本、产品与自有App idle、全59清单path-size及pins，只请求唯一115163136B候选。原128MiB工具上限不变、未新增range协议；实际UUID/platform/mapping和libsysmon image UUID均与原索引核同，不把suffix或VM候选当证明。源SHA d702d1da5c33bddf2e4c7f81c8b684067dd69ecd652974d97c74dc680528ca25；10.147752秒/100204544B。前后全部122metadata SHA、idle和关闭成立E3，无signal/安装/launch/新run/容量/归位/删除。

实际TEXT12283B，其中__text6040B；其余数据与链接段不在该文件，没有伪造完整Mach-O。仅复用已保管数据和链接原件，原load commands的792B trie/128项nlist经实际LINKEDIT vmaddr/fileoff及源mapping桥接，得到36个regular导出，opaque0。全36导出与原nlist外部定义精确吻合；没有借host同名库替代。LLDB仅空arm64e target、原始buffer，nop/ret控制及1510条4B编码/地址核同，unknown0，process/image均未创建或加载，不执行手机代码。

已证标识与未证调用

原导出包括request创建/execute、table/row读取与diff builder等客户端接口；原7个XPC常量可由数据v3真链落到原TEXT字符串，其中服务标识为com.apple.sysmond。LC_DYSYMTAB原118个indirect symbols、55个auth stub imports、176个直接分支调用点均记账；仅21处按原本地stub精确关联导入名。其余共享优化目标未在本次已取代码范围中证明，不能把“存在_xpc_connection_create_mach_service导入”当“这个callsite调用它”的证据，更不能将本库当完整网络计数producer。

首a01审计误要求request_create切片内存在该已命名调用而AssertionError停止，失败保留。临时inspect绕过断言，仅用于排查，带旧硬编码布尔结果的输出已另存annotation明确标记notEvidence，不用于任何结论。新a02主reader明确machServiceCallBindingProven=false、serverCodeAvailable=false，再由第二reader重新核原bytes、全部indirect表/stub/import关联、176分支和7原指针/字符串；没有把断言移除包装成调用证明。精确当前服务运行绑定与服务端字段29–32的累计实现均未知。

分离复核与资源

不导入主image/export/typed reader的第二脚本，从固定Apple格式原头重建真实mapping与load commands，穷尽60份typed清单响应/59文件集合、61记录全部原metadata以及成功流程122次post-read，重读全部12283B TEXT/6040B代码与1510原编码。独立trie/nlist reader核36导出及128条原项，全部regular与nlist核同；第三条独立路径核118间接项/55imports/176分支/7常量。E2格式与保管核同，原代码语义仅E1；新一次文件来源通道E3，不是E4数值验收。

仍单流O(源SHA+有界小表/指令)，手机105秒/128MiB、普通离线10秒/96MiB、LLDB20秒/192MiB保持；无产品、采样频率或容差改动，无旧等价任务不虚构提速，CPU按私有守卫、I/O瞬时峰unknown。空间仍高于10GiB及预算两倍；旧失败、旧H1/22头下界反例与24未保管尾对象保持。

下一工作：在新有限合同下，继续核真实服务调用/服务端定义或全局Sysmontap与独立逐接口观察的同窗可比性；先冻结scope、字节层、时钟和边界处理，不根据样本拟合有利接口集合。当前Lab18逐接口参考是32位if_data，只能按其既定重置/回绕missing规则使用，不能拿64位全局绝对累计值与32位接口绝对值直接相加比较；现行crossInterfaceSumAllowed=false不因新字段出现而自动解除。仍未关闭Gate R，不进193、产品诊断、正式五轮或接收验收。机读复核。

Implementation / Validation Update · 2026-10-20 · Sysmontap受控配对与字节粒度

文档类型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、if_data转换。

两公共文件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，原件不清理。本次机读复核。

Implementation / Validation Update · 2026-10-20 · 条件量化与实际时钟

类型devlog增量；基线cd202d27，同一AI方案、实现、测试后分离复核，无子代理。整体30/66、发送正式0/5；本批没有新研究run或产品/手机代码修改、无新包，Mac192/Lab18不变。

确定的宏与条件模型

固定公开XNU commit的param.h/systm.h原件10144/11273B未定义P2ALIGN；libkern候选URL返回404，无下载，失败保留。rtsock.c直接include的mcache.h原件12123B，SHA c8d1dd649f6115e9875b76489ffbe2b79b07d9d195b8212e1dde5fd7658a8cbf，第90–91行在#ifndef分支定义((uintptr_t)(x) & -((uintptr_t)(align)))。对1024参数为向下清低10位，先前uint32转换和两个非platform分支不变。仅E1公开机制，未证明当前手机精确内核、宏未被覆盖或实际运行绑定。固定mcache.h。

新增独立研究模块sysmon_quantized_hypothesis，版本conditional-floor1024/1，不改旧精确比较器。只有显式声明公开机制适用、span内高32位相同及同字节层三个条件，q才解释为真实低32位累计的[q,q+1023]区间；条件声明不是已验证事实。逐接口端点包围差分区间为[max(0,q(L_B)−q(U_A)−1023),q(U_B)−q(L_A)+1023]；packet不变。完整span检查所有接口/两bytes列的1024对齐、拓扑、配置、timebase与无计数下降，不合格missing，不模修正。scope只保留原all/nonloop假设，生产crossInterfaceSumAllowed=false保持。

14个精确/量化软件控制覆盖1048576个端点余数组合、零/32位上缘、完整隐藏回绕前提、重置/拓扑/配置/缺包围、类型及大整数，E2通过。首alignment控制的receive fixture注入1后回0先触发reset，失败保留，修为单调对齐fixture后通过。原17对诊断仍7 missing；Hq条件下10可评估对两scope均10包含，packet10包含，第二直接数组算法全核同。这不是独立留出，原精确8字节反例永久不改，三前提与参考资格仍未证。

时钟结构、空闲拒绝与一次正常退出

原三根1281条静态编码与类/selector入口由第二原字节读法核同，函数边界仍仅到下一已知IMP，外部时钟函数名/回调参数来源未证明，静态E1。不根据SDK注解或参数形状命名时钟。

首network-clock-probe-a01读取实际62封口/released/124metadata、无pending，但Lab有进程，按idle拒绝；5.411387秒/99368960B/exit1，时钟/配置/start/新run/signal均0，五资源close成功。Owner已有正常退出授权下，新a10完整同生命/身份/版本/124metadata双核后fsync意图、只发一次SIGTERM；9.649959秒/100794368B，全部124metadata前后SHA、idle及close核同。无强杀或launch。

新a02独立重新准入，实际7次machTimeInfo返回均为6项list（SDK注解dict不能当事实）；第1/2字段均125/3。第0和第3字段分别有6相邻增量，精确有理数换算均落在host两调用的时长包围内；两字段差恒定，仍不拟合平移。12个System End全部落在第0字段开始/结束回复范围内，第3字段0/12。只报告同tick假设与本次观察兼容，不能证明精确同步、原函数名或时钟完整域。

Sysmontap12秒完整27对象57682B（窗口23、停止后4）及12个System由独立typed/plistlib有界UID读法全部核SHA/编码/顺序与时间算术。stop/独占源close各一次，本地terminal成立，源无丢失仍unknown。执行器21.111939秒/103776256B，全部6资源关闭成功；新原子result、call append+fsync及admission/clock/stream/close检查点均存在。新鲜62集合/124metadata前后SHA断言成立，独立核前置全部124原bytes及124次成功post-read与冻结执行源码；不把仅调用日志说成第二份post原bytes副本。手机写/launch/新run/容量0，前后产品及Lab idle，E3通道/E2复核，不是E4数值验收。

独立留出尚未启动

冻结新prefix和Hq后，研究执行器仅将历史61/62硬编码改为读取真实新capacity的起始整数1..63，metadata长度须相符、终值必须起始+1；拒绝bool/无槽/集合漂移，不放宽64上限。call日志补fsync，5个日期/关闭/实际容量软件控制通过；本批当前软件共19控制，既有3个queue反控不重算新指标。此修订尚未在新的上传执行中实测。

新capacity-a03再次发现Lab有进程，62集合及124metadata与时钟probe全核同、无pending、产品idle，全部close成功，但准入失败：5.334021秒/98762752B/exit1。配置/start/时钟/signal/launch/新run均0，容量收据未生成，独立留出目录不存在，不能声称有新上传或留出通过。新进程生命与a10终止生命不同，不能当旧PID缓存，更不能认定重新出现的唯一原因。本批手机动作已停止，不循环退出或重试。

资源、边界与下一动作

离线复杂度O(P×R×I)，每区间重复完整验证，与旧精确同阶。实际17×241×31的exact→Hq耗时0.246416→0.260883秒、CPU0.246355→0.260768秒、首响应12.389→12.687ms；上界32×400×64为1.426131→1.490167秒、CPU1.425365→1.488473秒、首响应44.395→45.991ms。最高累计RSS42287104B、完整报告峰45907968B；同进程高水位不能解释为独立内存增量。Hq报告输出实际42768B/上界244397B，输入578159/1753744B；数据常驻后block I/O均0，瞬时CPU/I/O峰unknown。Hq增加检查有小幅耗时，仍低于本工具10秒/128MiB门，不宣称产品性能提升或物理准确。

本次所有手机守卫低于105秒192MiB，host仍超过10GiB及预算两倍，原件/失败/必要回滚不清理、删除0。旧执行result缺失及24未保管tail对象继续保留审计缺口；本批时钟probe成功不能替代旧失败执行收据。

下一先制定有限只读生命期观察，区分当前真实新生命、连接前后状态与外部启动行为；证据不足不归因，不连续发signal。恢复新鲜idle后另立capacity和新留出namespace，继续Hq适用性、scope、字节层与源时钟资格；Gate R未关，不进build193、产品诊断、正式五轮或接收验收。网站/通知/镜像欠项沿Owner授权partial。机读复核。

Implementation / Validation Update · 2026-10-20 · 独立量化留出与完整执行收据

类型devlog增量；基线9051696f，同一AI方案/实现/测试后分离复核，无子代理。前一批partial交付成立，本段承接其“留出未开始”历史；不回改原失败。整体仍30/66，发送正式0/5、Gate R未关。无产品/手机代码变动，无新包，Mac192/Lab18保持。

当前生命观察和host准备失败

原a03准入后，观察脚本首次host替换assert失败，文件未生成，a01守卫exit2/0.026432秒/10354688B，手机调用0。修正字符串替换后的实际观察namespace为a02，属于相同已落盘观察合同的host/namespace偏差；10.850704秒/96698368B通过。四次完整生命相同，和a03生命不同；62集合/124metadata前后核同，无pending/产品idle、close无错，signal/launch/采样/容量0。原件仅私有；不能确定是谁启动新生命，不把稳定生命当CPU空闲。

新a11按最新观察基线重新核身份/版本/同生命/全封口与metadata，fsync意图后仅一个SIGTERM正常退出；全部124metadata/idle/close后核，9.643408秒/99418112B。紧邻新a04实际62/124读取及idle成功，7.363222秒/99926016B，但host容量schema只含activeRunCount，漏actualActiveRuns，调度器KeyError后停止，上传0。原a04不修改或当完整可消费容量；单独失败记录保留。

另落host修复合同后，新a05再完整读取实际62/124、原件SHA/集合/封口released/no pending/身份Lab18/产品及Lab idle/空间与新名不存在；显式写实际count/集合摘要，并以已测research_start_count核count和metadata长度。离线缺字段/64无槽拒绝与实际62接受共3个控制通过（与此前容量控制有重叠，不累计成新指标）。新a05守卫7.093645秒/100892672B，全部close成功，仅一个研究槽，非正式五轮容量；此步骤不再signal。

真正的新独立留出

Hq/精确模型均锁定9051696f，模型和采集参数未改变。新prefix仅一次1MiB上传、并发1/256KiB每秒、stage6秒/前后各3秒/原生20Hz、18秒Sysmontap。真实62→63，新执行result原子写成，call/checkpoint均保管；guard29.873255秒/112279552B/exit0通过。server一请求HTTP200、实际1048576B及正文SHA与附件/typed export一致。新7源文件及唯一export共8件下载逐SHA核同，全部250事件/241参考、manifest和导出内容分离核同。

原62的124件metadata执行前/后共248件原bytes与新容量基线逐SHA核同，新run的summary/manifest也再次读源核同。新run封口/全部释放、两次同生命核对及fsync意图后，只发一个SIGTERM正常退出；前置a11与上传后信号各一次，不把它们合并成一个。最终63集合、无pending、产品及Lab idle，所有5控制资源close成功，独占流stop/close各一次/本地terminal成立；旧24未保管对象仍缺失，不用本次对象补旧。

新39个原流对象66386B完整保管（停止后4），18个System、241个原生快照。17相邻区间中6个缺两侧原生端点包围为missing；11个可评估区间的Hq all/nonloop两scope，bytes与packet均11包含/0反例。未拟合offset/scale、接口集合或容差，未删除ACK/失败/尾部。新精确模型各scope字节5包含/6反例，packet11包含/0反例；原研究的8反例和最终result缺失也保持。这是新的独立留出，但其包含结论仍以公开机制适用、同高32位及同层三个未验证条件为前提，不能反过来证明条件为真。

独立复核不导入主typed/归档读取器或比较器：复用先前独立有界plistlib/UID图，从全部原对象和原生数组直接算两模型、两scope及所有包围/缺失；同时独立核source pins、全部124前后metadata、8源件、typed export、正文与server journal。17对全部核同，0.056085秒/32391168B。Hq主分析0.273381秒/64552960B；关键路径O(原件bytes+metadata)，模型O(P×R×I)仍在前批实际/上界资格范围，不重测历史或全回归。

完整参考成本独立复算mean/P95=0.723894/0.901583ms、max1.057333ms/gap63.052083ms；mean/P95≤1ms成立，max超过1ms如实保留，不称所有调用≤1ms。host空间继续高于10GiB及预计量两倍，未清理、删除0；瞬时I/O峰unknown。修后执行器新手机流程实际通过E3，软件/研究数据吻合仍不是指标E4通过。

验收决策与下一项工作

本次可关闭“修后研究执行收据是否能完整落盘”和“冻结Hq是否在一个新上传留出中出现字节反例”这两个窄研究待办；不能关闭Gate R。all/nonloop两scope仍同时包含、无法辨别是否包含loopback；公开机制在本机实际生效、统一byte层、完整高位/隐藏回绕及精确源时钟仍未证。生产crossInterfaceSumAllowed=false不改，不进193、产品诊断、正式五轮或接收率。

下一先冻结一个能区分all/nonloop的有限loopback/对照研究设计，列清独立参考、源窗和判据，再决定是否需要升级自有Lab；不直接实施新手机代码或重跑旧上传。当前63只剩一个活动槽，任何下一新run都需新鲜实际容量；正式五轮前更需保全、独立核SHA及真实归位/容量，不以本次单槽代五轮。网站/通知/镜像欠项沿Owner授权partial。机读复核。

Implementation / Validation Update · 2026-10-20 · Lab19有限loopback软件候选

类型devlog增量；基线7931ede2。中断的上一goal turn只写方案，恢复时按no progress重新核工作树/活动进程后推进；本段有真实实现、host运行与签名产物。Owner授权同一AI分时方案、实现、测试和分离复核，无子代理。整体30/66、发送正式0/5、Gate R未关。Mac产品192和手机均未安装/启动新版本，本批phoneActions0，手机新鲜状态/容量尚未读取，不把上一63当当前准入。

实现及相对方案

新增FixtureLabLoopbackServer.swift：自有run内单worker/单accept，明确IPv4 loopback绑定与getsockname/peer核查，nonblocking socket、≤50ms poll、≤35秒服务寿命、≤3秒单调stop观察。逐块≤64KiB接收/SHA与限速，header≤16KiB、响应≤1KiB，拒绝错误method/path/token、重复字段/编码/Expect/长度及hash错误，正文1MiB不全量驻留。收据保管rawHeader、未准入prefix、socket总接收/准入正文/响应字节、ticks、hash、错误和逐FD close结果；实际close返回0及worker结束才closed。未知close不重试，setup关闭未确认时engine也不会宣布workloadReleased。

request/1新增可选loopbackServer；缺省/false保持原端点连接，true只接受127.0.0.1、显式单端口、最多一stage/单并发/1MiB、计划≤30秒。端口冲突失败，不探测或遍历phone端口。engine加入serverReceiptFile独占SHA附件及client+server双释放封口；sessionInvalidated仍只表示URLSession。新附件走Codable fallback，reference快路径保持原型；effective-config记录明确模式，核心manifest/export保持4/5文件，附件另经源文件保管。消费者检查真实模式、绑定、关闭返回、socket字节记账和client/server正文SHA；新host/iOS构建器显式登记接收器及18 Swift源/90.21.19。

实际偏差与修订已先落方案：首host测试IPv4字面量推断Int导致编译失败，修为UInt32后新namespace验证；原失败保存。分离源审发现Date等待及忽略FD close返回两个质量缺口，先更新合同再改为DispatchTime单调超时/唤醒与逐close返回门，相关控制和新完整运行重新验证，不把修前结果套到修后。无产品指标/公式/采集频率/容差修改。

软件、真实host流和反控

最终接收器40控制和原engine50兼容控制通过E2；编码58控制的encoder、事件DTO及依赖字段类型与当前源逐字核同。覆盖完整真实URLSession 1MiB、错误/分片header、坏token/短正文/坏hash、取消、idle deadline、重复stop、端口冲突及真实FD关闭。source-frozen consumer还拒绝4类重新核SHA的伪造收据：closed=false、socket漏账、模式不符、close返回非零但closed=true；不把文件hash一致当作质量语义已通过。

匹配规模host基准以7931ede2真实原源码编译baseline，外置host服务与新run内接收器同1MiB/256KiB每秒/6秒stage，各3次；另一次active取消和一次未知连接形成cancelled/partial，均封口释放。全部8 run、1103事件、5份server收据及正文/附件/时钟算术由不导入primary verifier的第二脚本复核。所有真实FD close返回0；未在OS层制造真实close失败，错误关闭证据的拒绝由源审与consumer反控验证，不扩大结论。

新首响应增加约0.076秒，所有正常任务均低于12秒、首响应低于6秒stage，未声称提速；服务器设置/关闭路径及Python sampler有差别，不归因单一热点，不把RSS warm state当独立内存增量。复杂度O(bytes+参考条数+header)、单worker及有界buffer不变；完整CPU瞬时峰/I/O瞬时峰unknown，已保留client窗口CPU采样与block I/O原记录。host结果只证明E2行为/资源，不替代iOS reference mean/P95≤1ms、OFF/ON CPU≤2点/footprint≤20MiB门。

构建、内部签名及独立解包

18源ARM iOS候选首次构建只有time -l单进程峰247480320B，聚合证据缺口保留。相同sourceDigest新资源构建在完整进程树约20ms采样下通过：16.803286秒、聚合采样峰298139648B、最大5进程、wait4高水位248201216B，120秒/1536MiB/32进程门不放宽，sourceDigest及全部输入未变。以该次真实输出重新开发签名和独立IPA解包，6文件完整SHA/严格codesign核同。当前IPA SHA-256：eb206133f542d1c589748a88bb516b218ac10251e97c985c14402206bb57a7fc。旧同源首次签名包只供私有审计，不另安装。

这是自有iOS内部开发签名候选，不是Mac Developer ID/公证交付；Mac产品192未改，不制造新DMG。公证/GPL正式分发门继续开放。host空间高于10GiB及新增预算两倍，删除0；原失败/修前结果/旧24未保管尾对象及既有精确模型反例全部保留。

分离结论和下一工作

Lab19软件/构建/签名准备在上述范围通过E2，未取得新手机兼容/权限/性能或scope证据，不能称指标可用或E4通过。Hq/精确模型及all/nonloop假设冻结不变。下一先新的手机身份/版本/活动生命/无pending/全Documents只读清单，再真实源SHA保全、必要同生命退出及单版本升级准入；新手机写入和归位均另需当前事实/独占合同。必须保全核同后再保留rename，不删原件，8个准备/对照新run需真实≤56活动容量。

随后Lab19四工具、OFF/ON成本资格及同版本loopback/外部端点两新研究。至少一个原生包围区间的两scope bytes预测不相交才可辨别；无判别/两者都含/都不含都保留未定，不重跑直到有利，不从软件推手机。Gate R未关，不进193、产品诊断、正式五轮或接收验收。网站/通知/镜像欠项沿Owner授权partial。软件机读复核。

Validation commands · 2026-10-20 · Lab19 E2

以下复跑命令使用新的私有独占绝对目录；占位路径需替换，不能覆盖本次原件。签名selection仅本机私有，包含既有证书/profile选择，不进入Git。

python -B fixtures/ios/PerformanceProbeFixture/LabTests/run_host_tests.py --case LabLoopbackServerTests.swift --output /ABS/EXCLUSIVE/receiver
python -B fixtures/ios/PerformanceProbeFixture/LabTests/run_host_tests.py --case LabNetworkEngineTests.swift --output /ABS/EXCLUSIVE/engine
python -B fixtures/ios/PerformanceProbeFixture/LabTests/run_host_tests.py --case LabNetworkEventEncodingTests.swift --output /ABS/EXCLUSIVE/encoding
python -B fixtures/ios/PerformanceProbeFixture/LabTests/build_native_lab.py --mode lab --version 90.21.19 --output /ABS/EXCLUSIVE/build
python -B fixtures/ios/PerformanceProbeFixture/LabTests/sign_native_lab.py --build /ABS/EXCLUSIVE/build --selection /PRIVATE/signing-selection.json --output /ABS/EXCLUSIVE/signed

本批还实际执行了私有benchmark_lab19_loopback_a02.py、review_lab19_host_a01.py、build_lab19_resource_a02.py及独立IPA复核；原执行器、输入/源pins、time -l与完整结果存对应私有批次，hash见机读复核。普通构建命令本身不记录聚合RSS，复跑仍须按方案套完整进程树资源守卫；仅exit0或单进程峰不能替代资源门。

Validation Update · 2026-10-20 · Lab19单次安装与完整源保全

本批为当前发送率的参考工具准备，30/66、正式0/5、Gate R未关。Mac产品192未改，未启动Lab或创建新run，未归位/删除；非指标验收通过。

实际实现与偏差

新只读a01实际枚举Lab18、63封口/released、无pending、126 metadata前后SHA与产品idle。自有App仍运行，按既有授权重新同生命核对后a12持久intent并仅一个SIGTERM，退出后metadata/生命/资源核对成立。Documents真实2757文件/3879024186B；历史stat/固定payload提示只作存储候选，本次全部从源重新流式SHA核同，62新副本8455290B，2695旧存储复用，全树/metadata及资源close成立。执行162.682340秒/123797504B；独立host reader重读全部副本SHA与2757条pins journal/清单、126 metadata守恒，3.005465秒成立。无源SHA前跳过大文件。

安装器审阅发现写入意图仅内存、部分close失败不降级、仅查旧文件未全树核对的缺口，先追加方案后修upgrade_lab_reusing_backup.py。现强制already-idle和独立全源admission，输入/候选SHA固定，意图独占落盘/fsync及阶段checkpoint先于唯一dispatch；call追加日志/每128条fsync、明示unknown/禁止自动重试，提前关闭也记录并不重复关闭，close或源漂移判completed=false。覆盖前后完整树、大小/mtime及旧源SHA核对；0字节读EOF。新test_upgrade_durability.py及原预算合计16控制通过，分离AST/顺序和输入SHA审核通过E2；未在OS真实制造close失败，不夸大故障注入。

20000 call同规模host记录基准：原无持久日志0.007802秒CPU0.007800秒，新增持久日志0.067450秒CPU0.065640秒，增量约0.060秒；内存细节固定256项、总call分母保留。软件控制总约0.208秒/27934720B。I/O瞬时峰和完整手机前后性能归因unknown，不声称提速；复杂度O(bytes+文件数)、单并发/1MiB buffer及192MiB门不变。

唯一升级与分离复核

升级前新readonly-a02通过15.344789秒/114196480B，再确认Lab18 idle、63集合及2757清单/126metadata核同。独占lab19-upgrade-a01从90.21.18一次覆盖到90.21.19，候选IPA及输入SHA全程稳定；写入前完整树/无pending、重新连接和两次idle，持久意图后仅一次Upgrade。已核副本2757全部复用，fresh0；升级后2757源件3879024186B重新SHA、完整文件/目录树与stat核同、10资源close全部成功，26532 call日志齐全。实际168.104925秒，guard168.214859秒、CPU33.761515秒/峰135643136B，300/315秒192MiB门未放宽，无timeout或signal。

另开新连接postflight确认真实Lab19、63封口/released、无pending、App idle、126 metadata及完整树仍核同、五资源close成功；13.638686秒/107610112B。分离脚本不调用primary validator，以原输入/意图、全部call计数、三份完整树与独立metadata SHA再次核同，0.061496秒，E2复核/E3通道与安装元数据。未独立验证手机已安装二进制叶证书或物理网络精度，不把内部开发签名/版本变化当参考资格。

状态与下一步

当前Lab19已安装但四工具/OFF-ON及scope尚未在该版本手机运行；63活动仅事实，不构成8槽或正式五轮容量。下一按新清单选择保全后仅rename的旧准备run，保留手机与host原件、不删数据，取得真实≤56活动/8槽容量，再新前缀四工具、成本与loopback/外部端点研究。原24个未保管尾对象、旧失败/精确反例不补写、不改判；all/nonloop假设与Hq三前提、精确时钟/字节层仍开放。软件、安装和数据保全均不等于指标通过，不进入193/诊断/正式或接收率。

已同步知识库/首页/时间线/机读，新增不可变方案与结果快照。提交/双推尝试和同提交网站构建另有实际私有交付收据；GitLab每批仅一次、Cloudflare/通知配置欠项沿Owner授权partial，不将本地站点冒充线上发布。公证继续暂缓，仅内部测试。机读：本批复核。