整机网络发送率：先关闭参考口径，再完整五轮

1. 当前权限、基线与顺序

文档类型devlog。Owner授权同一AI承担Lead方案、Implementation、Test及分离复核，无子代理。基线main a33e3c5f、工作区干净；上一写入率已限定E4通过，整体30/66、剩36。GitHub已核同，GitLab一次SSH失败、网站与Webhook缺配置按Owner“允许继续下一指标，保留交付欠项”保留partial。本轮仅ios.device.network.send_rate，正式0/5；进程收发历史不重测、整机接收不顺带验收。旧机资料核SHA前不清理。

Canonical总计划：实施与验收。本方案分为参考资格、网络工具及产品来源、诊断、正式五轮与独立交付。不得因为业务上传成功、接口API成功、软件绿色或工具覆盖全面就宣布指标通过。

2. 已核实的产品公式与来源合同

Registry network-window-rate.v7、scope=device、unit=bytes-per-second。底层com.apple.instruments.server.services.networking/DTX；固定pymobiledevice3 11.3.1 NetworkMonitor/NetworkMonitorService.start_monitoring解码InterfaceDetection/ConnectionDetection/ConnectionUpdate。自研PerfowlNetworkMonitor只加pre-drain终态，非另一个数值解码器。DeviceNetworkAggregateStream在通用队列前折叠，生产host单调整秒1s、publicationPolicy=source-closure.v1，原始聚合/metadata独立保留。

bucket = [floor(hostMonotonicNs/1e9)*1e9, bucketStart+1e9)
eligibleTx = sum(tx_bytes of admitted connection updates with native time >= 0)
           = aggregate.txBytes - aggregate.initialSnapshotTxBytes
rate = eligibleTx / ((bucketEndNs-bucketStartNs)/1e9)

不得对已经是源增量的tx_bytes二次差分。负time初始化字节从速率分子排除，原总字节仍参加守恒；metadata-only无更新为null，只有真实合格0字段才可为0。整数先累加，超过精确表示范围必须明确拒绝/缺值，不能默默舍入。cap分片在同完整1s中合并，Stop不完整尾窗保留且不能充1s分母。epoch/reconnect/source切换首桶warmup；overlap/重复/倒退或坏字段invalid；来源观测年龄≤1.5s、当前实时缓存≤2s的原门不放宽。

核源码事实：当前引擎闭桶只发表一次，但Realtime snapshot可在2s缓存内重复使用同一device window。后续仅send增加独立来源一次发表及其审计，已验process发送/接收和device接收数值路径不改。正式前实际GUI计划须包含本metric和device scope，不以旧process曲线代替。

3. 独立参考：分层资格先行，禁止伪造整机真值

Apple getifaddrs的AF_LINK ifa_data为SDK if_data；实际SDK定义ifi_obytes/ifi_ibytes为UInt32。该公开API可作为逐接口候选观察，不是DTX连接聚合的同义API。接口名/索引/type/flags/MTU/包数/错误/丢弃与原始累计逐项私有保存，不能只留一个合计数。

先实现独立Foundation/Darwin reader，核当前SDK结构size/alignment/field offset，调用开始/结束Mach ticks、API状态/errno、timebase、完整枚举数与上限。只取AF_LINK，每个(index,name,type)恰一次，不读取或输出MAC/IP地址；空列表、nil data、重复、拓扑变化、接口丢失/重置/计数下降或32位回绕不能猜增量，记missing/重新基线。枚举上限256节点/64接口、20Hz绝对deadline、超期跳过，完整API/encode/append成本单列。不加接口到“物理带宽”，不按产品数值临时选接口。

参考资格Gate R：必须实核手机API可读、稳定拓扑/时钟及非零控制流；在施加负载前记录接口拓扑与DTX InterfaceDetection/ConnectionDetection映射、受控服务两端请求和同流socket/抓包元数据。仅当能说明同一scope/方向/层/完整时间窗、所有相关接口/连接均被覆盖且无重复封装计数时，才可在补充合同中固定独立整机参考及误差。多个虚拟/物理接口直接求和、单进程tcp计数、Mac服务正文或仅目标流抓包都不能通过Gate R。若接口权限或层级不可比，保留unknown并实施完整设备捕获的可行性验证，不能改产品scope为目标流来绕过。

固定发布机会与来源一次性可独立验证，但不替代独立数值Gate R。Gate R通过前不启动正式队列、不生成五轮容量收据、不预造最终PASS。独立层级参考未定时只批准软件与工具资格实现，不用阈值挑参考。

官方来源（E1，公开实现不证明本手机版本）：Apple getifaddrs、Apple XNU if_var.h。本机实际SDK头及SHA、固定pmd实现保留私有研究收据，产品上游版本不升级。

4. 长期网络Lab与实际工作量

新独立NET引擎/typed事件，不启用旧密集网络Fixture。复用现有RunStore/取消/封口/导出和单版本入口，新增显式perfowl-test-lab://network/启动参数，仅新配方触发，默认idle；memory/CPU/disk/frame/startup互斥。正常、取消、失败/恢复、新目录独占与导出完整，失败不删除。

按设计长期支持上行/下行/双向、1/10/50MiB、1/2/4并发、速率上限和缓存/压缩/重定向；当前先发送所需上传与固定状态端点，后续同NET模块增量完成下载/错误/Range/WebSocket等能力。Mac服务仅按需启动、独占绑定已核自有本地端点/随机令牌、生命周期有限、停止后退出；不新建常驻服务。ATS仅已存在NSAllowsLocalNetworking，不能全局放开TLS；本地网络权限实际不足时记录，必要才Owner干预。

每请求分别记录配方requested、URLSession实际sent/received、HTTP状态、重定向/协议/连接复用/任务起止、服务端实际正文长度/SHA及响应SHA；流式固定非压缩伪随机块，流量预算默认≤50MiB、审核上限512MiB/并发≤4/总≤180秒，内存块≤1MiB/队列有界，取消中止本轮任务。请求速率是上限不是已实现吞吐，丢包/弱信号不由HTTP错误冒充。

候选完整场景为基线20秒、发送请求阶梯3×30秒、恢复30秒；具体分块/速率与总量在Gate R后的配对合同固定，不为凑参考调整已观察窗口。新工具四用例（正常/OFF/取消/恢复）和相同背景OFF/ON开销、一次新完整诊断全部成立后才正式。普通场景、故障与之后组合业务都保留真实完成量，不因尚未完成后续NET能力宣称长期工具已完成。

5. 产品实现、验证与资源边界

方案先于代码。第一步仅参考reader及host资格，0手机动作；记录真实SDK ABI、20Hz实际采样成本、失败/注入/拓扑/32位重置控制，不编译未用的UIKit或改已验数值。之后Gate R、网络Lab和来源一次发表各追加细化再实施。send发表身份含source/epoch/reconnect/完整窗口和durable event sequence，FIFO有界，绝不重放同窗或把缓存补点；Swift仅明确null/not-due略过，真实missing/gap仍断线。数值公式v7保持，若需更改先另写合同，不用固定0或process值兜底。

验证：纯软件枚举/ABI/坏状态/拓扑/回绕/取消/OFF；产品来源原件对账、一次发表/TTL/迟到/大整数/metadata-only/断线及receive/process隔离；实际44Core/Codable/CSV/JSONL与cadence；host真实规模前后对照（至少500连接/100000事件和20Hz参考180秒）报告首响应/全量时间/mean/P95/max、CPU/RSS/I/O/吞吐/队列峰值。源热路径O(1)，参考O(I)、独立时间索引O(R)建表/O(log R)查询；单请求stream O(bytes)，避免全payload复制。

预算：软件执行≤120秒/192MiB，Swift Core编译180秒/512MiB、单类native编译120秒/192MiB；host参考180秒基准外层210秒/128MiB；iOS完整构建240秒、签名/安装300秒/192MiB，新采集230秒/192MiB，单设备call≤8秒/关闭≤3秒。工具CPU增≤2个百分点、footprint≤20MiB；完整参考mean/P95≤1ms，max和实际gap独立报告。若20Hz无法满足所需端点孔径，先分析证据/方案再决定新资格，不将均值达门当覆盖达门。

6. 正式轮、保全及交付

Gate R及全部工具/产品/开销/新诊断通过后，另追加不可混淆的新独占attempt及完整数值合同。固定产品ready+[15,135)s的120机会/120槽、来源/完整≥119、普通≥114、gap≤2秒、连续普通偏离≤2、严重含尾段0、来源违规0、正参考≥5且产品正值≥1；独立分层阈值与时钟映射在Gate R后事前冻结，不能用当前磁盘30ms/256KiB/s门机械替网络。每轮前600秒实测冷却、五新生命/Session、新prefix、首失败停，不拼轮/缩分母/重放旧队列。三路逐轮复核和分离最终审核后Lead才决定30→31。

手机最后64活动封口/idle只是上批收尾，不作新准入。新只读核架构/包/版本/通道/活动，全旧Documents源host SHA保全；仅封口且核同的新选定旧run同容器rename保留，删除0、exports原位；新连接实际枚举与五名不存在再产容量。主机首次/批末/持续30分钟核≥10GiB且≥预计新增两倍，本批预留2GiB，旧全Documents另按实量。用现有ARM环境与签名，Mac唯一/Applications/Perfowl.app、公证暂缓/Apple Development仅本机内部，正式Developer ID/GPL门仍开。

指标正式结论后独立窄提交、GitHub核同/GitLab单次、知识/开发记录/C1–C7/不可变HTML/本地构建与链接、网站/通知按真实状态闭环；缺配置继续partial，不重复催配，不把本地构建称已发布。下一仅整机网络接收率，当前不验。

7. 执行指令

按本页先完成独立接口reader、严格无求和/ABI/缺失规则及host软件/真实成本资格，追加实际实现、失败和偏差；随后细化并实现受控NET工具及整机参考Gate R，保持30/66、正式0/5。Owner已授权持续执行，无需逐批再确认；遇真实权限/参考不可比时如实记录并继续可推进工作，不能自行宣告指标通过。

Implementation Update · 2026-10-19 · 接口reader首次失败与修订决策

首版native编译1.929秒/177,848,320B通过预算；运行因interface-type-mismatch未通过（exit -5，顶层测试错误触发Swift trap）。API status=0、errno=0、实际SDK size96/align4及字段偏移符合合同；失败快照和全部日志保留。独立C直接调用同API复核，发现本机桥接接口的sockaddr_dl.sdl_type与if_data.ifi_type分别为6与209，C/Swift观察一致；不能归因为Swift布局错误，也不能外推手机。

修订先落本文：两种type独立保存，不假定相等，不丢弃桥接/虚拟接口；差分要求两type和index/name、flags/MTU及timebase均稳定，任一改变为missing。API结构可读仅标逐接口candidate，不提升为整机同层参考；Gate R与数值阈值保持未关闭。增加双type不等但稳定、统计type变化、Mach timebase坏值/变化控制，保留原a01，修后另立a02。未调用手机、未改产品、正式0/5、整体30/66。

ABI溯源：Apple Libinfo getifaddrs实现把if_msghdr.ifm_data复制到ifa_data；实际SDK头与独立C读法保留私有。公开实现只用于API研究，不证明当前手机私有DTX等价。

Host资格执行细案 · 2026-10-19

a02两源native控制62项通过，编译1.853秒/182,321,152B、运行0.375秒/4,636,672B，手机0调用。下一新增独立host基准：OFF/ON顺序各180秒、20Hz绝对Mach deadline，不赶补错过时隙，固定3600机会，原始每行保存序号、预定/开始/结束和快照或OFF标识。ON成本含API、Codable、逐接口差分、JSONL append及每秒self footprint读取；最终fsync另报，RSS/CPU/I/O由self和wait4核对。OFF同deadline与时间日志、无接口API，不假装同字节量；报告实际写入差异。只保留最多3600个成本标量，原始快照流式落盘；先实际iphoneos arm64两源typecheck，再host对照，预算沿用，不调用/安装手机。

Validation Update · 2026-10-19 · 首次iOS资格资源失败

benchmark-a01误将host专用基准源与reader一起做iOS typecheck；编译exit0但wait4峰227,360,768B超过既定192MiB，按失败保留，OFF/ON未运行。未调高预算。下一a02纠正资格对象为实际reader＋已有62控制测试（此前执行指令指定两源），host基准仍独立在相同192MiB编译门内。若仍超门，先缩编译表达式与独立结构，不用缓存/成功exit掩盖峰值；此处无手机动作。

NET服务实现细案 · 2026-10-19

先实现host按需临时HTTP服务，不安装手机：显式本机IP/随机私有token路径、上传POST/下载GET/状态GET；1/10/50MiB，上传固定Z、下载固定Q，64KiB流式块/SHA-256/实际返回与完整状态分别记录，不保存大payload。最多4并发传输、8个worker socket、64请求/512MiB累计预算、寿命≤240秒；单socket≤5秒且全请求受共享绝对deadline限制。可选限速64KiB/s–8MiB/s，声明时长不得超过剩余寿命；同token只用于本批，重复请求ID拒绝，不接受Transfer-Encoding/压缩/路径参数或未知端点。状态只呈现业务与服务资格，不当整机参考。

停止取消全部本批socket，线程有界退出；失败、拒绝、部分字节与超时都写私有journal，不删除或当完整请求。服务先以真实1/10/50MiB和1/2/4并发、hash/短上传/重复/畸形/取消/过期控制验证，再报告吞吐、首响应、完成时间、CPU/RSS/I/O峰。现有旧8请求server与已验process工具不改不重放。iOS客户端/配方、完整捕获与来源一次另在本方案细化后实施，当前仅工具准备。

Validation Update · 2026-10-19 · NET服务a01与分离代码复核

七组实际loopback控制通过（8.732秒、32,129,024B、CPU1.210秒），含282MiB真实传输、1/2/4并发、三尺寸收发SHA、短上传/坏hash/重复/畸形/取消/寿命。此为E2工具资格，手机0调用，非指标通过。分离读取实现发现两处需完善：仅限制已准入请求不能限制拒绝/状态调用次数；部分下载已发HTTP200，终态失败应另记，不能用默认400误称线上响应。修订为最多128次HTTP尝试（含状态/拒绝；传输仍64/512MiB），上限停止并保留计数；journal增加真实wireStatus，业务complete独立。增加第五并发拒绝、worker上界与请求总限反控后另立a02，原a01保留。

完整设备捕获资格细案 · 2026-10-19

Gate R下一独立通道采用固定pmd11.3.1 PcapdService/Lockdown com.apple.pcapd（RSD则shim）资格，先只读核目标/配对/原安装idle/实际64封口与空间，再一次15秒全设备镜像捕获，不按process/接口过滤、不启动Lab/产品Session、不产生容量收据或归位。保留服务每次recv_plist()返回的原始bytes及host接收括区间；不使用会补伪Ethernet头、按host墙钟写包的watch/write_to_pcap作为原始证据。镜像并非物理仪器，也尚未证明无丢包。

先纯软件控制原始包存储：长度前缀和host时间/sequence，payload逐件SHA；单包≤1MiB、总≤256MiB、≤200000包、≤30秒，首形态错误保留原件后停止。解析只检查95字节基础header、header/packet长度、源seconds/microseconds、接口/方向/family及封装pre/post字段；未知版本/方向/协议保留并报告，不跳过当0。无包/正常超时只证明API状态，不证明整机覆盖。原文包内容与身份只入私有文件，日志只汇总数量/资源/质量。

资格后再实施完整IPv4/IPv6/TCP/UDP解析、重传/重复接口/隧道/分片/未知流与丢包审计及native↔wire时钟。单目标流或捕获API成功不关闭Gate R。手机每次控制call8秒/close3秒，捕获15秒整体40秒/192MiB；stream O(bytes)、无队列无全包内存列表。若包/字节预算先触及则明确partial，不截断后称完整。既有G33失败原件不重放。

Validation Update · 2026-10-19 · 180秒host对照未达成本门

benchmark-a02实际OFF/ON各3600/3600、无skip；ON全部快照结构可用，33接口/65节点、2个差分missing保留。OFF完整mean/P95 0.162699/0.216042ms、CPU0.342881%；ON 1.374225/2.073917ms、CPU2.760850%，增2.417969个百分点，成本与CPU两门均失败。ON max4.325417ms、gap59.941708ms、43,815,814B原始日志保留，不拿无skip或低RSS替代性能达门。

修订决策先落本文：20Hz采样只记录完整原始逐接口累计，不在热路径每样本重复序列化派生差分，不逐字段排序JSON；差分可从原始累计确定性离线生成，保留独立有界分析成本与每次missing，不把它们改成0。原始snapshot字段不省略、接口不筛选、频率/窗口与1ms/2个百分点门不放宽。新a03同180秒OFF/ON，额外保留逐样本完整成本括区间（有限3600条，采样后写入）；报告采样成本与离线成本的区别，不能用延后分析宣称实时差分延迟。手机尚未调用。

捕获custody-a01的9控制中一条失败：测试错误地把合法UInt32最大seconds判为坏值；microseconds才必须小于1000000。修正该测试并增加最大seconds原值保留断言，另立a02，解析规则不放宽，原失败保留。

Environment Update · 2026-10-19 · 新鲜只读状态不同于上批

新phone-readonly-a01已核同目标、配对、开发身份与Lab16，DTX可读；发现自有App进程正在运行，原脚本的“必须无进程”前置使后续枚举尚未执行。原观察保留，未安装/启动/终止/发信号/归位，不能从上批idle推断当前。下一仅继续只读核全部活动run封口/无pending与稳定metadata，不把“App有进程”自动等同活动负载，不强停用户界面；任何安装/配方仍须新的真实idle/生命准入。全设备镜像资格可包含当前未施加的自然背景，不称受控数值对照。

Validation Update · 2026-10-19 · 原始整机镜像通道成立，参考门未关

新只读a02核64活动全部封口/released、无pending；Lab16有进程，未发信号或安装。随后一次无过滤15秒pcapd成功：17,583原始payload/36,891,503B，全部header可读、版本2，含3接口/8进程；独立流式framing/SHA复核通过，原始源时间跨度14.539922秒。方向原值1/16、framePreLength 0/4/14、IPv4/IPv6均保留；197个重复body观察仅作线索，不能直接删除或当重复封装。没有新Lab run/Session/容量收据、无手机文件写入。

这些仅E3通道/保全资格：pcapd未提供已核丢包计数，尚缺封装层与DTX映射、跨时钟与完整流覆盖，Gate R仍false。下一先编写有界离线IPv4/IPv6/TCP/UDP inventory，明确每包头/长度/扩展/分片/截断/未知及流标识、保留原始offset和SHA；逐包分类不跳丢错误，不将TCP/UDP正文、IP层和接口层相加。只做层级可行性，不先定误差或宣告独立整机真值。旧G33不复用。

Validation Update · 2026-10-19 · a03改善但P95仍失败

a03 OFF/ON各3600，无skip；ON mean0.988866ms、P95 1.363167ms、max2.024417ms，P95仍超过1ms。CPU1.995347%对OFF0.317358%，增1.677989个百分点已入门，峰footprint约5.88MB；ON写26,561,150B、gap60.004583ms、全部原始记录与逐样本完整时间保留。不能宣布参考开销资格通过。

下一先100次/20Hz/5秒小诊断分解read、usable验证、Codable encode及append各段，观察真实33接口规模；这是故障归因，不替代新180秒资格。保持192MiB编译/128MiB运行门。根据实际主耗时再决定API路径或序列化实现，不盲目重复六分钟对照，不降低频率/省接口/放宽P95门。

性能修复决策 · 2026-10-19 · 先实测分解再改格式

5秒/100真实33接口样本诊断：read mean/P95=0.244487/0.333125ms，usable=0.029374/0.040792ms，encode=0.643973/0.913542ms，append=0.075208/0.120833ms；目前编码是最大项，而非假定API不可用。保留全部分段时间。

实施独立perfowl.lab-network-interface-compact/1：snapshot顶层时钟/状态/errno/ABI/枚举数/rejection完整保留；每接口用固定列数组[index,name,linkType,statisticsType,flags,mtu,receivedBytes,sentBytes,receivedPackets,sentPackets,receiveErrors,sendErrors,receiveDrops]编码，逐项仍为原UInt32/UInt8整数，不转Double、不省零值、无跨接口合计。独立严格decoder必须核schema、列数/字段类型/范围与原快照逐字段往返；原始模型与产品不改，不覆盖a02/a03原件。

新格式先62控制加完整往返/多余或缺列/负数及溢出反控、实际iOS三源typecheck与host编译；再5秒100样本分段诊断确认改善，最后新180秒OFF/ON a04。5秒仅归因/候选筛查，不能替180秒资格；同1ms/P95、2个百分点、20Hz与资源门不变。

Implementation Update · 2026-10-19 · compact候选与测试编译失败

compact短诊断100样本编码mean/P95=0.330720/0.472833ms，相对字典原版0.643973/0.913542ms改善；read/validation/append成本分列，尚非180秒达门。新控制a03编译失败：测试里五种heterogeneous [Any]坏行的单表达式使Swift提示unable-to-type-check，wait4峰558,039,040B超192MiB；原日志保留，不提高预算。拆成显式[[Any]]与逐个赋值，产品/采样格式不改，再新a04控制；不是把未执行测试称通过。

分离复核与当前工具边界 · 2026-10-19

compact a04的69控制已通过，编译2.277秒/191,266,816B、执行0.427秒/4,603,904B；iOS三源typecheck 0.449秒/95,911,936B，仍未装手机。独立Python固定13列decoder逐项核整数范围、ABI/双type/身份/时钟与原始数组，流式重算全部逐接口差分及每条完整时间；与native报告的mean/P95/max/gap、3600机会、实际文件字节和self/wait4 CPU对照。该复核O(samples×interfaces)、≤3600样本/64接口，每条派生私有保留，不产生整机合计；其离线耗时不宣称为实时延迟。

完整捕获的离线17,583包inventory在0.428秒/24,739,840B完成：17,566 TCP、5 UDP、6 ICMPv6与其余6未资格封装/family结果，90有向流。未自动去重，checksum/offload/丢包及DTX映射均未证明。仅原始保管层和协议分类可用（E2/E3），本批尚未实现NET手机UI/配方、send来源一次与实际消费者，也未冻结ARM193/Lab17、保全归位/容量、新诊断或正式队列。

软件验证命令（均新私有输出、现有ARM Python -B加有限监督）：新native69控制、iOS三源typecheck、服务10组实际loopback控制、原始保管9组、包inventory8组及真实镜像完整离线分类。没有重测已验指标。安装仍ARM192/Lab16，dist单包，删除0；网站/通知/GitLab历史欠项沿用Owner授权partial。下一依然只推进整机发送率Gate R与NET手机端，不进整机接收。

协议来源：RFC791 IPv4、RFC8200 IPv6、RFC9293 TCP、RFC768 UDP。本实现仅独立按格式核长度及分类，未复制参考实现，也未据RFC断言私有DTX同层。

Validation Update · 2026-10-19 · host a04与独立全量复算通过

新a04 OFF/ON各3600/3600、无skip。ON完整mean/P95/max为0.695794/0.937542/1.473417ms，gap最大59.985708ms；OFF 0.161911/0.211583/2.246958ms，gap59.998792ms。self CPU增1.067896个百分点，完整wait4增1.068276个百分点，footprint增753,688B；ON原始7,437,390B，raw写量已实核。不把Darwin block I/O计数0说成没有写盘。

独立Python在1.080秒复算全部118,800次逐接口观察、3600成本括区间、3599逐接口差分/首点warmup，mean/P95/max/gap及文件字节完全核同；无跨接口总和。参考host开销资格通过E2，保留最大值与~60ms真实孔径，不外推手机端点/窗口。实际新run_host_tests.py --case LabNetworkReferenceTests.swift入口也通过69控制（整个入口2.902秒/199,491,584B在192MiB内）。

分离源代码复核另发现：服务journal写失败必须传播为fatal，不能因HTTP已发200继续当可靠证据。补充fatal状态、停止当前所有socket与close抛错，并以注入写失败控制验证；原a02记录保留。此为未交付工具的窄修复，不改产品或数值门。

Validation Update · 2026-10-19 · 服务fatal反控闭合

新a03全部11组服务控制通过（测试9.011秒，完整wait4资源见私有收据），包含HTTP已经200而journal写失败的独立反控：fatal可见、socket/线程有界关闭且close抛错。完整准备结果见本批实现与边界。正式0/5、30/66不变。

NET手机客户端细案 · 2026-10-19 · 实施前冻结

文档类型devlog增量。上批工具提交b9116f8b及同提交最终构建15.575秒/聚合1,546,076,160B、555页/708唯一本地链接核对完成；GitHub核同，GitLab一次连接关闭，网站/通知仍按Owner授权partial。当前30/66、发送率0/5与Gate R未关不变。

下一先实现可独立编译的Foundation NET上传合同与URLSession传输层，随后接现有独占RunStore/取消/导出/测试台；不先安装或启动手机。请求只接受明确本地单播IP、端口与私有hex token，禁止凭据/路径/query/远端重定向；ephemeral会话关闭缓存、cookie、proxy和自动重定向，蜂窝访问关闭。仅现有ATS本地网络例外；无全局放宽。任务ID独占，1/10/50MiB、并发1/2/4，总声明量≤512MiB、默认≤50MiB。3×30秒上传阶梯暂用1MiB×1、10MiB×1、10MiB×2（合计31MiB）；每阶段单一batch、余时观察，基线20/恢复30，总140秒。该工具配方不是Gate R后的正式数值合同。

采用Apple uploadTask(with:fromFile:)和delegate，文件以64KiB固定Z块逐段生成、增量SHA，最多每尺寸一件、≤61MiB，不把整个payload复制进Data。生成耗时/写量、大小/SHA逐件保留，运行原件旁保留工作量文件，导出只含pin/账本、不复制大文件。相对最初非压缩伪随机设想，此阶段按已资格服务的固定Z协议实施；显式无HTTP压缩，但不能断言链路无压缩，更不能据正文推导wire速率。后续若改变payload协议须两端新资格。

X-Lab-Rate是服务端接收限速请求，不是客户端硬上行速率；URLSession/TCP可能先缓存突发。分别记录声明量、URLSession count、delegate累计、实际HTTP状态、≤64KiB响应正文/SHA、服务器确认长度/SHA、metrics事务数/协议/连接复用/私有地址端口/各层字节和墙钟时间。任务Mach起止/首响应及metrics回调括区间另存，不把Date和Mach直接混算。服务完整journal须另核，HTTP200及确认JSON都不替代服务持久证据，更不关闭整机参考门。

传输deadline为run/阶段绝对单调截止，socket请求超时≤5秒、资源时长受剩余截止约束；最多4任务、1串行delegate、最多8事务/任务、每任务响应≤64KiB，超限取消并保留失败。当前先记录每任务终态与bounded metrics，不在高频progress回调写盘。外层检查取消≤50ms，取消后最多3秒等待会话失效，未观察释放不得报告released。不做自动业务重试、重定向或认证重发；可观察到的多事务全部保留并标非单次成功，不能隐式拼流。错误只记录类型/域/码，避免URL/token进入公开文本。

关键路径O(payload bytes + requests + metrics)，内存工作块64KiB、响应≤4×64KiB及≤32事务，原件流式。先新窄native控制和iOS typecheck；后与新服务实际1/10/50MiB、1/2/4并发、短响应/坏确认/重定向/取消/超时/拒绝/恢复配对，比较直接客户端基线与delegate实现的首响应/全程/吞吐/CPU/RSS/实际写量。软件≤120秒/192MiB、窄native编译≤120秒/192MiB、不放宽；完整140秒手机工具另沿用230秒/192MiB，参考20Hz/开销门不变。host验证不是手机资格；Gate R全部接口/连接/方向/层级/时钟/丢包尚待实核。

来源：Apple文件上传API、Apple上传progress、Apple事务metrics。固定本机SDK声明另保留SHA；只据其定义使用字段，不宣称metrics是整机参考。

NET客户端Validation Update · 2026-10-19 · 首次SDK检查失败

两新源iOS typecheck a01 exit1：本机Swift SDK的metrics端口类型已桥接为Int?，误用NSNumber.intValue；0.609秒/115,965,952B，未超预算但编译失败。原日志保留，按实际SDK改直接Int?赋值；scope改为可编码的受限stored var消除decoder警告。未接手机构建、手机0动作，正式0/5不变。

NET客户端Validation Update · 2026-10-19 · host控制与配对首失败

修后两源iOS typecheck通过E2（0.467秒/106,119,168B）；三源窄native编译2.567秒/183,451,648B、74控制通过（0.406秒/7,864,320B）。均未触手机。首次实际配对a01的1MiB上传已完成且native结果complete，但Python审核误假定Codable Optional(nil)必写null，读取不存在cancellationReason导致KeyError。保留服务journal及原native结果；审核改用get判断Optional缺省，不填造值、不改产品或通过门，新a02完整工具矩阵重跑。

NET客户端分离复核与基准冻结 · 2026-10-19

a02全部13组/17任务的原件均已生成；终端审核在stall样本误假定外层一定先报deadline。实际URLSession资源计时器先以NSURLErrorDomain/-1001终止，0.312秒释放，非成功。修审核后采用独立离线reader重核全部原件，不重复221MiB正常负载：文件全文Z/SHA、17任务时钟、response/SHA、server journal、metrics各层字节与异常均核同。完整13组通过的是host传输工具E2，不是手机或指标；两次审核失败及缺失最终summary均保留。

下一有界对照冻结：同Foundation文件上传、相同禁缓存/代理与有限服务，原生最小delegate作为新增能力前基线，完整ledger/metrics delegate为ON。先各1MiB单并发（首响应/短链路），再各50MiB×4（最差允许并发/长任务），服务读上限8MiB/s/连接，顺序固定OFF→ON，不拿loopback吞吐当手机。大小/块/生成pin/HTTP头相同，不缓存payload成Data。每对完整耗时及最差首响应ON≤OFF×1.10+0.1秒、吞吐≥OFF×0.90；完整进程CPU占用增≤2个百分点、RSS峰增≤20MiB；单组≤25秒/192MiB，整体≤90秒。记录实际生成/返回/写量，Darwin block I/O0不作无I/O结论。失败先定位，不降规模或提预算。此为源级增量成本对照，手机OFF/ON及20Hz仍须另做。

基准CPU门事前公式：OFF/ON分别取两种规模的完整子进程CPU秒总和÷对应完整wall秒总和×100，比较增量≤2个百分点；短任务单独占用/CPU秒及两种规模资源均展示，避免把启动固定成本当持续占用。RSS用两规模各自峰值比较，耗时/首响应/吞吐逐规模评估。首响应用真实Mach timebase换算，不混墙钟；完整wall含文件准备，传输elapsed与文件准备括区间分列。

NET传输成本Validation Update · 2026-10-19

真实同Foundation新最小delegate基线/完整ledger各1MiB单并发与50MiB×4，402MiB正文逐服务journal确认。ON最差传输6.261237秒/首响应6.257835秒，OFF 6.259428/6.258552秒；吞吐分别33,494,213与33,503,892B/s，约99.97%。完整子进程CPU加权增0.468112个百分点（OFF5.457364%、ON5.925475%）；最差RSS增-4,505,600B、实际ON峰52,756,480B。两规模既定耗时/首响应/吞吐/RSS及总CPU门通过E2，单次固定顺序不证明统计置信区间。首个OFF短进程含冷启动完整0.552秒，ON0.153秒；不将较短值描述为算法加速，传输本身0.135825/0.136852秒分别单列。工作量文件实际保留106,954,752B，block I/O峰未知。

NET独占引擎与采样接入细案 · 2026-10-19

下一新增网络event/engine，复用LabRunStore的独占mkdir/manifest/状态机，并显式注册网络schema；旧memory/CPU/disk字段、数值与行为保持。先在prepared阶段一次生成各尺寸payload并记录pin，再进入全局20Hz绝对Mach栅格，基线/每stage单batch/剩余观察/恢复连续采样；迟到只跳过并记skipped，禁止赶补。上传同步执行在已有专用userInitiated worker，delegate线程不读接口/写原件；外层observer每次按下个绝对参考截止安排≤50ms等待，取消、热状态/背景退出沿用现有token。完整API/encode/append成本及先前等待状态逐样本保留，参考只存逐接口compact，不求整机合计。

传输终态每任务单独记录。响应正文最大64KiB若直接base64进events会超过现有64KiB单行门，故正文独立withoutOverwriting文件/pin，event只含无body的typed metadata及响应pin；生成的工作量文件亦独立保留。共享四件核心manifest/JSON导出不复制大文件，网络typed decoder必须覆盖新event。所有新文件仅独占run目录内，失败部分亦保留。资源释放须实观察sessionInvalidated；未失效不得summary.workloadReleased=true，HTTP确认坏值不改成成功。工作量/响应pin与manifest分开，后续全Documents保全须覆盖全部文件。

引擎先新增窄host OFF/正常/取消/坏确认/新生命恢复/同名拒绝及实际逐接口采样控制，真实本地服务仅作工具测试，不测旧指标。测试台新增NET视图与显式URL/参数，仅有已校验端点才能开始，默认idle；同memory/CPU/disk/frame/startup互斥、退出/背景取消。UI不展示token或Raw身份；控制台参数只入私有有效配置。完成后才增加Lab17显式构建集，未新鲜核空闲/全旧SHA前不安装。参考Gate R与正式容量依然未关。

Lab17首次完整构建失败与修复决策 · 2026-10-19

16源实际iOS构建a01编译/link成功、source pins稳定，但有限监督wait4峰594,083,840B超过该完整Swift构建512MiB门，11.338秒；资源资格失败，不签名/不安装。候选和日志保留，不能因built:true称通过。下一保持完整16源/arm64/优化及240秒/512MiB，关闭WMO单大编译、改-j 1 -num-threads 1顺序primary-file优化，避免同时多frontend；记录完整时间与进程树聚合峰。源码/算法/参考字段不删减，不调高预算。此为lab模式build driver资源修复，legacy目标原编译策略不动，未执行历史指标或安装。

Lab17/引擎准备与手机新鲜状态 · 2026-10-19

串行primary-file完整16源a02构建15.359秒，聚合峰306,102,272B、5进程、wait4峰249,856,000B，在240秒/512MiB内；未签/未装。网络引擎49窄控制通过（编译6.537秒/196,050,944B，执行1.211秒/7,634,944B）；另五组实际服务的正常/OFF/活动上传取消/新生命恢复/坏确认均按真实终态封口，释放已观察，响应单独SHA核同。该五组是host工具E2；坏确认partial、取消cancelled保留，不能当正式轮。

分离源码复核补两处：观察器失败后不再次调用API；网络typed导出逐件核工作量/响应附件大小与SHA（response≤64KiB、payload≤50MiB），防止只核四件核心manifest而忽略外部pin。旧导出hash默认12MiB不放宽，仅网络附件显式传入上限。a03重新全源构建，早先a02不作为最终安装候选。

新只读a03实际Lab16仍有自有进程，64活动全封口/released、无startup pending，原件/新容量未动，主机约125.8GB可用。下一在新鲜同一生命/全部封口/pending与稳定集合复核后，仅对该自有App发送一次SIGTERM并观察退出；生命变化立即停止、不信号新生命。随后新完整Documents枚举与全源host SHA保全、签名Lab17候选及独立IPA核同，单次同身份Upgrade和旧所有文件再次源SHA核同；任何漂移/超门不安装或不继续。无卸载/数据删除/旧机清理、无容量收据、无正式队列。保全已有副本可逐文件SHA核同后复用，但源必须全部新读取，不能只比mtime。

新入口反控失败保留 · 2026-10-19

最终全16源a03构建16.340秒/聚合302,694,400B通过，source pins稳定。现有可移植host入口首次调用新transport case时遗漏其controls子命令，程序参数准入以invalidPlan退出（Swift顶层throw -5），74控制未执行；编译182,272,000B在预算内。原输出保留，修入口仅对该新case显式传controls，另立a02；不能用此前直接二进制74控制掩盖新入口失败。不改App输入或手机通道。

签名输入修复与保全执行细化 · 2026-10-19

首次签名a01误将只含设备四键的最小read-only selection交给完整签名工具，profilePath KeyError，在codesign前停止；部分复制与日志保留。改用既有私有完整selection，新读profile SHA/有效期/设备许可/证书私钥和全部entitlement允许关系，核同最小selection后a02开发签名/strict/实际leaf及IPA独立解包通过E2。Lab17 IPA SHA 942dc4f4778e393e822236e2b81a788feae83b713498aa73c00729a0028fca9a，未安装。

单次同生命正常退出已观察，自有App现idle；新枚举2655文件/3,857,237,884B（≤4GiB）。按已有明确backup/formal/准备副本构造候选catalog，2655件都有尺寸候选，不据此称保全成功。接着全量读取当前每个源文件并逐件比host SHA；仅匹配后写当前源身份manifest，不复制3.86GB相同副本。目录变动或SHA异则停。候选catalog的当前mtime只绑定inventory，不证明内容身份。

为避免保全期间用户重新打开App导致旧升级工具再次发信号，给现有upgrade helper新增显式--require-already-idle，当前批次必传；新生命出现即停止、signal0，缺省行为保持。升级前独立源SHA收据绑定新manifest/inventory，之后一次Upgrade与全部2655件源SHA再核同；不把候选存在、仅stat或旧验收当当前保全。

升级前保全核对与最终空闲门 · 2026-10-19

全源读取a01完成：2655文件/3,857,237,884B逐件源host SHA核同，fresh复制0、phoneWrites0、closeErrors0；155.558秒/119,881,728B，外层195秒/192MiB通过。下一独立复算manifest与host pins，绑定inventory及监督结果生成源SHA准入。当前只证明保全，不证明网络指标或新版本已安装。

分离审阅发现helper首次idle检查之后仍要核2655个stat/host文件；为避免期间重新打开后仍升级，在新安装连接及版本核对后，再以新DTX连接核稳定两次owned生命均空，再关闭DTX后单次Upgrade。该门只在显式already-idle模式使用，不追加信号或launch；检查失败保留输出、upgradeAttempts0。不把stat-only字段当源SHA；完整源SHA来自独立收据，安装后再次逐件源SHA核同。

升级a01在新增最终空闲门处KeyError停止，11.465秒/107,872,256B，升级0次、信号0次、关闭全成功，尚未安装。原因是backup循环复用old变量，使闭包读取的旧App字典被文件pin覆盖；此前只在循环前调用闭包，新增调用暴露该作用域错误。修为先冻结旧executable字段，闭包不再读可变old；以新a02输出执行修后协议，非重发已提交的Upgrade。原a01及保全证据保留。

Lab17安装后保全结果与参考研究 · 2026-10-19

修后a02只升级一次，信号0、launch0、配置写0；同身份90.21.16→90.21.17成立，全部2655件/3,857,237,884B安装前独立源host SHA及安装后源SHA核同，关闭全成功。155.808秒/外层峰131,645,440B，300秒内完成；IPA来源/strict与独立解包E2，手机安装及保全E3，不称安装leaf独立核同或指标E4。最终现源host引擎49控制另核通过（完整入口8.145秒/194,265,088B），早期传输矩阵仍按其原binary版本限定。

公开XNU固定commit f6217f891ac0bb64f3d375211650a4c1ff8ca1ea的五源SHA已保留；首次Python HTTPS issuer错误未绕过验证，改系统curl默认TLS验证获取成功。TCP nstat读取socket媒体统计，输出数据与重传按payload长度累加，为层级假设提供E1研究依据，不证明当前iOS/DTX等价。另核RVI与tcpdump存在，但RVI list失败、BPF设备root-only、sudo非交互只读枚举要求密码，当前未获原生RVI捕获资格。无守护配置修改/提权/抓包重试；pcapd不因其可用而补称丢包已知。先完成NET工具手机资格及全流映射可做部分，再决定参考门的实际剩余缺口。

手机NET四工具执行细案 · 2026-10-19

Lab17新只读a04确认同身份/idle、64全封口released/无pending，4.168秒。先将Lab16诊断与五正式六run的全部六原件及对应导出绑定当前全源manifest，新连接逐件SHA核同后同容器rename；每次检查idle、完整活动集合和产品空闲，禁止再次signal，保留exports，删除0。之后新连接枚举真实工具槽位（不是正式五轮容量），当前目标58→62。

新增独立工具执行器及离线verifier，采用当前固定SDK/ARM环境。每轮新生命与独占名称：reference上传1MiB×1、baseline1秒/stage6秒/recovery1秒；OFF相同但reference=false；cancel为1MiB×1、64KiB/s服务端读取、stage20秒、3秒取消；recovery为1MiB×2、stage6秒。正常与恢复8MiB/s服务端读取，均非wire上限。总声明5MiB，四正常/取消业务量与实际服务端消费分列。服务只绑定本机已枚举IP/独占空闲端口/私有随机token，寿命≤120秒，无全网探测/常驻服务。每轮只launch一次，等待nominal+3秒或取消+5秒后读取封口；首失败停，保留手机原件和server journal，不补轮。若session失效或封口未观察到，不signal、不进入下一轮。

核全部核心manifest、事件序号/真实时基/固定配置与source digest，逐接口API/ABI及完整成本、OFF无参考；工作量和原响应逐件源host SHA；typed导出五件逐事件语义核同，额外附件按事件pin核同。正常要求任务声明/实际/确认/SHA与server已持久journal一一相符；取消保留partial字节、错误及明确session失效。仅当本生命已封口且released、两次同生命核同后一次SIGTERM并观察idle。单轮API≤8秒，整体工具120秒、外层135秒/192MiB，O(原件bytes+事件数)，每次读取≤1MiB，事件总≤20000/10MiB；附件每件≤50MiB、当前工具仅1MiB，流式下载，资源预算不放宽。四工具通过仅E3工具资格，正式0/5、Gate R不关闭。

手机四行为结果与资源失败 · 2026-10-19

旧六run保全归位29.377秒/138,559,488B，活动64→58；独立42件/278,296,896B本地SHA核同，源端前后核同，导出原位、删除0。NET四行为a01正常/OFF/取消/新生命恢复全部封口released，四launch/四封口后退出，无产品Session；活动58→62，5任务，服务端4完整/1取消失败，取消原件不改判。56.178秒/114,163,712B；全部五件typed导出与响应/工作量源host SHA核同，真实31接口可读且拓扑稳定。以上仅行为及保管E3。

完整参考资源门失败：normal均值/P95=1.391930/1.715083ms，cancel=1.401833/1.770542ms（max6.282708ms），recovery=1.394846/1.731667ms，均超过事前1ms门；最大gap63.107083ms保留。执行器a01收集成本但遗漏逐轮成本短路，因此仍执行了后续三个行为用例。这是执行器门禁缺陷，原件保留，不把四行为完成称工具整体通过。修执行器在安全封口/同生命退出和集合核对后立即拒绝cost=false，下一case不启动；OFF成本为null，不冒充0。该修复未重跑手机a01。

独立原件时序拆分：normal API均值/P95=0.309972/0.417458ms，snapshot→event ticks约0.169506ms，API外完整成本约1.081959ms。说明API本身已低于1ms，尚未证明唯一热点是sortedKeys；raw.usable在旧cost截止后检查，该额外验证成本未计入旧完整数，后续修复须把验证也计入。下一先host重放同31接口原件对比排序/不排序编码及验证/append各段，逐事件语义核同；只在证据成立后移除NET事件不必要的key排序、优化对象校验，源字段/时基/20Hz/缺失/附件/阈值不变。必须重新全源构建签名为新版本、全旧SHA保全升级、工具资源与OFF/ON开销资格后才继续Gate R/诊断，不能用host均值替手机资源门。不启动新正式容量、产品193或接收率。

执行器a01未在手机操作前独立保存源码副本，此来源限制如实披露，不事后伪造执行前pin。App构建来源另核，行为及成本以原件复核；后续入口补保存六件host工具源码/SHA及结束漂移核对，仍未新跑手机。其逐轮成本短路修复亦只属软件准备，不冒充已实测反控。

Lab17提交收尾与下一离线成本拆分 · 2026-10-19

518059c1已推GitHub并ls-remote完整核同；GitLab本批一次SSH连接关闭失败不重试，网站发布及通知欠项依Owner授权保留partial。最终同提交站点a02在7.851秒、聚合1,613,742,080B超1536MiB终止，源pins稳定、原件保留；此前a01完整16.385秒/1,502,806,016B成功为历史，不能替代最终同提交失败。未发布线上，不放宽资源门或盲调堆重跑。该失败仅站点交付，手机与指标均未启动。

下一成本分解为devlog增量与host工具E2。源码已核：NET事件使用默认JSONEncoder，未设sortedKeys；sortedKeys只在配置、共享store摘要和其他引擎使用，不能指称它为NET逐条成本原因。先重放normal/cancel/recovery三个保留原件（384参考、31接口），逐段计时compact构造、raw.usable、默认编码、额外排序对照、JSONSerialization对照及真实独占FileHandle append，逐事件JSON语义核同。原件先后SHA核同、每次新输出、无手机调用、无网络传输。O(事件数×接口数)，单行≤64KiB、总源≤10MiB，最多5遍，编译120秒/512MiB、执行30秒/192MiB，整体180秒；串行，无高频进程启动。首失败停，不改产品或历史数据。CPU与RSS记录，block I/O峰unknown；不把host成本外推手机1ms资格。取得实际热点证据后再落具体优化决策，保持所有字段、20Hz、计时与资源门。

原件离线拆分结果与Lab18编码修复决策 · 2026-10-19

host a01重放三个原件410事件/384参考，各5遍，4100次独立JSON语义核同，1920次raw.usable成立，源pins前后稳定、手机调用0。编译6.499秒/聚合226,246,656B；默认Codable编码mean/P95=0.063241/0.075208ms，排序对照0.061282/0.073125ms，不能支持排序根因。compact构造mean0.000206ms、usable0.004242ms、append0.004592ms；JSONSerialization解码+重编码0.057149ms，收益有限。host与手机运行时不同，该证据支持优先验证编码路径，不能定论手机唯一热点。

决策：新增仅NET高频reference事件的有界UTF-8 JSON writer，直接写整数/固定键/逐接口13列，保持现有事件schema与compact schema、全部字段及可选字段省略语义；字符串逐UTF-8转义quote/backslash/控制字节，完整保留非ASCII和UInt64大数。非reference、OFF及带payload/transfer/response等事件继续原Codable路径，不改共享store、旧指标或导出格式。writer不裁剪接口、不求总和、不更改参考API/20Hz/skip或1ms门。构造与usable检查均在完整成本计时截止前完成；失败原始快照仍先写入，再报referenceFailed，不提前丢失败值。热路径O(接口数+字节数)，单行仍≤65535字节，事件总量10MiB/20000门不变。增加直接writer对默认Codable的逐事件语义核同、最大整数/特殊字符串/null/phase/可选字段和fallback控制，五遍同原件做前后并列成本、吞吐、首响应、最差值、CPU/RSS/I/O。仅实测有收益且全部语义控制通过后将其接入引擎，Lab18显式全源列表同步；host不替代后续手机工具/开销资格。预计新增writer约200行内，编译120秒/512MiB、执行30秒/192MiB，完整App240秒/512MiB，首失败保留后停止。

Lab18实际实现与新手机资格准备 · 2026-10-19

新增NET reference专用有界writer；55边界控制成立（UInt64/UInt32最大值、Int/Int32最小值、可选offset、control/quote/backslash/Unicode、fallback及超长行拒绝），不修改旧原件。host同源2050事件完整构造/usable/编码/实际LabRunStore.appendEncoded前后配对语义逐件相等：耗时0.136333→0.030853秒，mean/P95=0.066236/0.087708→0.014834/0.018083ms，最大0.201917→0.115208ms，首响应0.189167→0.116542ms，吞吐15036.7→66445.0事件/秒；进程CPU秒0.169090→0.051110、RSS峰14,008,320→12,681,216B，I/O峰unknown。固定顺序单pair，不作置信结论；不含实时API，手机资格仍失败待新测。

证据成立后接入引擎，raw.usable移入计时截止前、失败快照仍先写后报错；配置明确编码版本与完整成本范围。新50引擎控制通过（7.975秒/聚合247,382,016B）；完整17源Lab18构建16.145秒/299,515,904B，source pins稳定。Mac192未改、正式0/5、30/66。下一沿用内部授权开发签名/strict/IPA独立核同；新连接核62活动全封口released/no pending、绑定同一空闲生命后最多一次SIGTERM并观察idle，生命变化停止。随后全Documents重新枚举/每源字节SHA及host副本核同，允许复用已有匹配副本；实际4GiB/空间/资源门不变，源漂移停止。以already-idle且新连接最终空闲门一次同身份Upgrade，全部旧源SHA再核；不卸载、不清旧机、不重采旧轮。

新Lab18工具须先将Lab17四失败资格run及对应导出全部新连接核SHA保全，同容器rename归位、删除0，再实际枚举≥四槽。新prefix为network-send-20261019-lab18-tools-a01，仍四行为配方与原1ms门，执行前冻结host六源码、每case安全封口/同生命退出后逐轮资源短路；新源码/包/容量任何漂移即停。四工具/OFF-ON通过后才继续Gate R，不生成正式五轮容量。

NET四工具保留归位附件边界 · 2026-10-19

网络run有核心五件之外的工作量与响应附件，旧memory五件/磁盘六件归位器不可直接复用。新增NET专用四run归位器，明确核心五件必含、附件仅network-upload-N.bin（≤50MiB）与network-response-safe.bin（≤64KiB）、每run≤16件；caller必须从当前全源manifest及实际目录核完整集合/逐件SHA/导出SHA。先所有源核同才mkdir/rename；每次写前核产品及自有App空闲、无pending、活动集合；保留pending journal，未知rename结果不重发、不回滚，保留所有附件和exports原位、删除0。O(选中原件bytes+活动metadata)，本次仅四工具约6MiB，180秒/192MiB内。加源SHA坏、忙、集合漂移、partial rename不重试控制后才用于新资格容量；不是正式五轮容量。

Lab18保全升级与新资格启动 · 2026-10-19

新2688件/3,863,228,864B全源host SHA核同，154.434秒/125,321,216B，fresh复制0。独立重读全部host pins与manifest/inventory绑定后，仅一次同身份90.21.17→90.21.18 Upgrade；新连接两次idle准入成立，升级signal0/launch0，全部2688件源SHA再次核同，156.977秒/外层131,448,832B，关闭全成功。独立IPA解包6件及strict再核同，内部包SHA 8f82dd7bee2bac49363f3d65f93587cc606e8eb87a0d80a0a88578b43afd5a74；不声称安装leaf已独立读取。

NET四run专用归位器6项控制通过；实际Lab17四工具原件/全部附件与导出新连接SHA核同，62→58，仅rename4/删除0/导出原位，10.384秒/106,545,152B。独立33文件/5,990,980B和pending为空/活动集合守恒复算成立。新Lab18四工具以network-send-20261019-lab18-tools-a01启动，实际活动与新名由执行器重新核对；执行前六件源码已冻结，仍非正式容量或正式轮。当前30/66，Gate R未关。

Lab18四工具与OFF/ON对照合同 · 2026-10-19

四工具56.287秒/116,228,096B完成，四launch/四封口后退出、源六件执行前后SHA核同，5任务/服务4完整1取消，所有manifest/附件/typed导出成立。分离第二Fraction算术复核normal mean/P95=0.697552/0.897000ms、cancel=0.683689/0.914708ms、recovery=0.711634/0.912250ms，原1ms门通过；最大1.023750ms和gap61.467417ms保留。OFF参考及成本null。实际58→62，不将E3工具成本达门当整机数值或完整时间窗达门。

下一OFF/ON采用两个独立新生命，各NET无上传stage、baseline18秒+recovery18秒，同20Hz deadline、唯一差别referenceEnabled=false/true。端点仅占位且无stage不创建URLSession/网络请求，不开启HTTP服务，业务量0但不称整机网络0。两新前缀network-send-20261019-lab18-overhead-a01-off/on；先新连接62活动全部封口/released和源metadata SHA、无pending、产品及Lab idle核同，不自动退出未知新生命。按固定11进程/3系统属性、1Hz保留全部原始sysmontap帧；各观察38秒，固定前5秒只从资源比较排除、原件不删，之后至少30个全部有效且procAge严格递增样本。CPU均值增≤2个百分点、footprint均值增≤20MiB；ON所有参考含校验/编码/append mean/P95≤1ms，max/gap另列，OFF不调用API。每个模式先封口原件/typed导出/同生命核同后最多一次SIGTERM、观察idle，失败停后例。

预算整体110秒、外层125秒/192MiB、每call8秒/close3秒，样本≤50/全帧≤200、保存总≤32MiB，O(帧数+事件数+字节数)。执行前保存源码和SHA、结束核漂移，独立stdlib复算全部帧/参考成本/导出/CPU与footprint；不测历史指标、不启动产品Session/正式队列/容量、不证明私有producer等价。结束后实际将为64活动，后续采集前再保全归位，不能沿用当前两槽。

Lab18开销结果与原生RVI权限缺口 · 2026-10-19

OFF/ON两新生命87.336秒/118,882,304B完成，normalization0、两launch/两封口后退出；实际62→64，无删除/rename/产品Session或正式容量。两边各110全部原始帧、36进程帧、固定4个warmup帧保留，之后各32全部有效样本；CPU均值0.881941→2.213013%，增1.331072个百分点≤2，footprint均值20,591,888→20,536,592B（差−55,296B，不称改善）。ON721参考完整成本mean/P95=0.729899/0.873667ms达1ms门；max2.641208ms、gap54.976375ms另列，OFF参考为null。独立stdlib逐帧/全部导出/原件SHA/Fraction算术复核成立，未导入观察器/产品/SDK。E3工具与开销资格成立，发送指标仍0/5、整体30/66。

Gate R继续缺同层/全流/方向/跨时钟及端到端丢包证明。先准备一次独立全设备原生RVI通道资格（不启动产品或Lab、无业务过滤），与pcapd差异及捕获自身loss分开记录。新机tcpdump及rvictl可执行，但BPF root-only、sudo非交互实际要求密码，不能凭软件通过绕过。提供有限、可审阅的一次资格脚本：必须从私有selection读取唯一设备身份、初始不存在任何rvi、仅创建本次RVI，捕获15秒、上限200000包/256MiB、结束SIGINT取得原生统计，关闭本次RVI，输出保留为0600且归还原Owner；失败不重试、无常驻权限或守护配置改变。完整脚本、工具/selection SHA、实际命令、退出与drop原文仅私有保存。RVI本机drop0也不自动证明手机镜像前置无丢包，资格后再按同层映射证据决定Gate R，不预先定误差或PASS。该动作需要Owner在本机系统提权，不收取密码或私钥；准备和已有离线分析可继续。

收尾附加审核 · 2026-10-19

新独立开销核验器另对保留真实数据的四个破坏副本作反控：伪报CPU、缺进程帧、哈希/导出自洽但成本版本被篡改、哈希/导出自洽但缺原参考，分别在独立统计/逐帧对账/成本policy/ON全参考门拒绝。原a01的后两例仅在SHA门被拒，a02补强语义反控；两个输出及原件均保留，不伪称a01已测到语义层。RVI脚本3软件控制确认未提权先拒绝、已有RVI零操作、不确定start只一次且不关闭未知接口；真实root资格尚待Owner本机执行。

批末主机约125.46GB可用，本目录约564MiB。仅清本轮py_compile生成、已空闲可重建的两个pyc缓存64,454B，记录清理前后空间/文件SHA/理由；原始、失败、保全、回滚与旧机删除0。当前64活动仅沿用已完成开销执行器终态，下一手机动作前仍新鲜核资格。

Raw DTX / pcapd Pair Decision · 2026-10-19

文档类型devlog增量。当前30/66、发送正式0/5、Lab18工具/开销E3已达门，网站轻量构建最终同提交02ea4c80完整E2通过（17.167秒/聚合1,518,649,344B、578页/721目标/545锚点）；发布/通知/镜像欠项继续partial。RVI一次本机提权资格尚无结果，不重复索要权限/密码；原Gate R全流/层/方向/跨时钟/端到端丢包保持未关。

固定pmd11.3.1 NetworkMonitor.__aiter__会跳过未知/坏形状；完整映射研究不能用解码后事件数称全部源消息。本批先新增有界的SDK解封后的Python消息对象保管器（不是原始DTX wire bytes），直接读取同类_receive_message返回值，以显式tag保留None/bool/int/float64原bits/str/bytes/list/tuple/dict类型及顺序，未知消息类型码照常保存。消息行与全流文件SHA绑定，未知Python对象类型、过深/过大或持久化失败即partial并停止；禁止pickle反序列化或repr冒充无损对象。与本批pcapd返回的原bytes分别保存，解析和字节层级不混淆。

先软件控制类型往返、大整数/float bits/bytes、未知消息码、原件篡改、过量、超时/取消与队列门；再新鲜只读核唯一手机/已配对/同安装Lab18、所有64活动全封口released/no pending、自有App及产品idle、空间。无RVI接口且无本机RVI资格进程才准入，若Owner正在抓包不并发。上次idle或容量不复用；本批不安装/launch/signal/配方/归位，手机Documents只读、不创建新run或正式容量。

一次新namespace natural-pair-a01：使用既有原生route的DTX networking服务和同目标Lockdown pcapd，无接口/进程/流/方向过滤，不施加业务。两个reader在同event loop并发等待I/O，20秒有界观察，各自记录开始/结束及每次接收host monotonic括区间；DTX启动/停止指令也记录真实括区间。API调用8秒/close3秒、整体90秒/192MiB，外层105秒、空间预算384MiB且≥10GiB/两倍预计量。pcapd单包1MiB/256MiB/200000包原门；DTX单编码行1MiB/64MiB/20000消息、深度32/每消息20000节点、队列积压>4096即失败。捕获停止与监控停止后的待处理件数保留，未取尾队列和设备到host前置丢包仍unknown，不据窗口结束称完整设备覆盖。

异步等待仅两reader，O(消息bytes+包bytes)，逐条流式写盘，不保留全部payload列表；预计20秒观察、整体≤45秒，最坏90秒首失败停并关闭本次服务。未知/失败/部分/尾项保留，不自动重跑。软件基准使用实际17,583包原件同规模结构消息，记录首保存/总耗时/吞吐/CPU/RSS/I/O峰unknown，并核源前后SHA；包装/合成DTX标记synthetic，不能当新手机或产品Raw。

配对后先离线逐条判定接口/连接/更新/未知并保留原tag、索引/地址/serial/kind/时间字段；用双方端点及真实接口映射检查pcapd流的正向/反向、未知与重复候选。地址族/端口/多连接或多封装冲突显式ambiguous，未见流为unmatched，不用差值反推方向、不删重传或按hash去重。没有受控流的自然背景只用于映射可行性；不预设kind就是TCP/UDP，不预设DTX time单位/累计或增量，不以未解码消息数为0就称生产者完整。输出覆盖事实、否定结果与剩余实验，再决定是否需要新容量后的受控Lab配对。RVI host drop0仍不解除端到端丢包门；不进入193、诊断、正式五轮或接收率。

并发干扰检查细化（实施前）：除两reader外，仅一个≤20次/1Hz的有限主机接口观察；一旦Owner的RVI出现立即停止本配对并保留原件，不停止或改动Owner的RVI。开始/结束也核接口状态，不用高频轮询。lease按既有aclose优先、再close合同回收，避免把无同名方法误当关闭成功。

RVI离线审阅决定 · 2026-10-19

文档类型devlog增量。一次已冻结脚本的RVI资格已完成，15.338秒、17,420包/36,566,956B，host统计18,636 received/0 kernel drop，接口已关闭、SHA及0600/Owner归属核同；没有Lab启动、产品Session、正式容量或常驻权限变更。Owner本次授权仅用于该一次提权，凭据不写文件、文档或通知。过滤接收与应用捕获差1,216件，保留为未对账，不能直接称丢包或完整。Apple公开BPF实现注明统计含尚未被应用读取的数据且drop不含驱动前置丢包；公开源码不等于本机二进制逐指令证明。固定Apple libpcap源码。

下一仅新增标准库有界pcapng结构审阅器，不调用手机或特权。按固定pcapng工作草案06保留section字节序、接口描述及原始options、EPB原始timestamp/flags/dropcount、包偏移/长度/SHA；未知块/options保留类型/长度/SHA或原值，缺统计为null，不填0。双长度、4字节对齐、接口先声明、caplen/origlen/snaplen、option边界及已解码单值option重复均检查；多section重新绑定接口，未知方向码不猜。EPB方向低二位仅按格式给出候选码，不替代端点实核；不将pcapd原头套到RVI，不重写原件或造时钟，不算整机速率/去重/重组。

关键路径O(文件bytes+包数)，单块≤2MiB/文件≤256MiB/≤200000包/≤400000块/每section≤64接口/每块≤4096 options，流式审阅、输出≤128MiB，预计本次≤3秒，外层30秒/192MiB。先软件控制大小端/多section/缺字段、截断/损坏长度/无效接口/option越界与未知保留；再一次遍历真实36.6MiB原件并核源前后SHA，记录首项/耗时/吞吐/CPU/RSS，I/O峰未知。原无此reader，不虚构旧版性能对照。审阅完成只补E2离线及E3通道边界，Gate R保持未关。当前只读手机检查自有App存在，尚不满足自然pair空闲门；已请Owner正常退出，未发信号或放宽准入。

自然pair准入审查补充：预检须将实际selection SHA写入私有收据，执行器拒绝不匹配、过期、未来或关闭失败结果；同一新连接的DTX建成后再只读查自有App进程，非idle立即退出，零signal/launch。SDK networking模块本体SHA冻结，与固定11.3.1版本同时绑定；不单凭包版本称源码未漂移。先验证忙/错selection/过期/未来、RVI干扰、两个reader失败的取消及monitor关闭行为，再实际手机通道；未知关闭状态不得completed。

Implementation / Validation Update · 2026-10-19 · RVI与消息保管

按前述决定新增三工具/三控制及README，RVI一次资格、逐块逐包SHA与系统离线reader核同，18项软件控制通过；实际范围、失败和资源详见本批结果。自然pair尚未启动；最新64全封口但自有App存在，保留等待正常退出后新核，无自动signal。新增pcapng元数据总量边界16section/1024接口/4096统计及类型、接口块64KiB；原件两次离线语义核同，非重抓。当前30/66、正式0/5、Gate R未关，未改变产品公式/包或SDK。

RVI层级与重复候选审阅方案 · 2026-10-19

文档类型devlog增量。新a02只读仍为64全封口/released/no pending且自有App存在，3.969秒/外层4.433秒/峰91,734,016B、零写/信号/启动；不据自动续轮当Owner已退出，也不放宽natural-pair准入。当前仅继续原件离线分析。

将既有packet_inventory.py的IP/传输层解析抽成可接受实际link frame的纯函数，原pcapd头校验与输出合同保持；新增RVI入口只根据IDB真实linkType=Ethernet(1)/Darwin NULL(0)决定封装，不构造pcapd头或时钟。Ethernet非IPv4/IPv6（含未资格VLAN）、未知linkType、NULL非Darwin family、截短/分片/未知扩展显式保留。只保存逐包原SHA、IP包SHA、协议层长度、端点/seq/ACK/flags、TCP正文SHA或unknown；不验checksum、不重组、不去重、不算整机速率。

离线reader以已审阅pcapng原件和rows双SHA为前置，逐行/逐包重新核SHA/偏移/接口绑定和数量守恒，最多200000包/256MiB源、128MiB输出/4096定向流；未知结果也写独立行。聚合仅按接口/文件方向码/传输状态计包；跨接口相同IP包SHA只列重复候选，不能自动删除或把两接口相加，候选索引最多200000条。预期本规模≤3秒，最坏30秒/192MiB；O(包bytes+包数)，内存O(流数+候选索引)，首行/完整时间/吞吐/CPU/RSS/I/O峰unknown单列。先Ethernet/NULL两族、未知/短帧、与既有pcapd逐字段一致性控制；再原件一次离线分析和另一路抽核，不重抓手机、不将工具结果算作Gate R或指标通过。新出现的捕获自身通信候选先保留为假设，必须靠同场端点/连接映射证实，不能凭地址或流量大猜来源。

Validation Update · 2026-10-19 · 分层审阅结果

共同解析重构及10项控制、旧17583件全输出语义核同；真实RVI17399 TCP/13 UDP/8其他与系统reader核同，101定向流和重复候选不去重/求总率。TCP探索出现8流/22处候选洞，系统另核14708正文包序列，尚不能归因真实丢包或校正产品；首次相邻区间overlap误计保留并经8项synthetic控制后另立a02。完整资源与限制见结果增量。自然pair仍未开始、最新只读App存在，无signal/launch/容量，30/66和Gate R未关保持。

Owner授权正常退出与自然配对恢复 · 2026-10-19

文档类型devlog增量。Owner明确要求由当前AI正常退出手机自有测试台，覆盖此前等待Owner手动退出的安排。先新连接核唯一配对身份、当前Lab18安装身份、64活动集合及全部summary/manifest稳定、全封口/workloadReleased、无startup pending；与上次只读metadata逐件SHA核同。完成全部检查后两次读取同一进程生命，最后生命必须与开始一致，才发送最多一次SIGTERM。信号前先落私有意图收据，任何不确定结果不重发；最多3秒观察退出，新生命出现立即停止且不发信号。不卸载、不删除、不强杀、不操作其他App。

退出后以独立新连接再次只读核全部64件metadata和集合守恒、空闲、无pending、关闭成功及selection SHA，生成新的≤180秒配对准入收据。私有退出及预检均新namespace、执行前冻结源码、每call8秒/close3秒、整体90秒/外层105秒、192MiB；O(活动metadata字节数)，预计各≤8秒，新增预算≤2MiB。空间沿10GiB及预计两倍门。随后仅执行既定一次20秒natural-pair-a01；不创建Lab run/容量/正式Session。手机写操作仅此次有条件正常退出信号，所有原件保留。指标仍30/66、发送0/5、Gate R未关。

Natural Pair离线映射审阅细案 · 2026-10-19

一次退出及独立新预检已完成；natural-pair-a01完成20秒双reader、DTX启动/停止各一次、关闭无错误、源码pins稳定。已保存862消息及27709个pcapd原bytes。先耗尽既有两个保管reader核SHA/记录数，再用独立stdlib复核typed消息标签/行SHA/顺序和pcapd二进制framing/索引/逐包及总SHA；冻结分析源码，原件前后SHA核同。

映射仅解码实际socket address长度16/28及Darwin family2/30、端点/端口/IPv6 scope和接口名。按完整双端点建立候选索引，报唯一正向/反向、无匹配、多匹配和DTX接口名与pcapd实际接口一致性；保留全部未知、地址scope、连接serial冲突及kind原值，不把kind直接当协议，不用内容大小猜方向。不以endpoint相同推断同生命或同层。逐包使用已审共同纯解析器，独立保管与映射分开。更新字段仅列真实类型、取值范围/单调性/serial绑定事实；不假设time单位、累计语义或换算整机率。

复杂度O(消息bytes+包bytes+候选数)，最多20000消息/200000包、4096连接索引、256MiB源/128MiB输出；逐包流式，新namespace，预计≤3秒/30秒/192MiB；首保存/耗时/CPU/RSS/吞吐及I/O峰unknown记录。不再调用手机，不重抓、不创建容量、不更改产品或指标门。全流/层/方向/时钟/端到端完整性不足时保持Gate R未关。

Natural Pair顺序、原生帧交叉读取与时钟审阅 · 2026-10-19

文档类型devlog增量。继续唯一发送率，30/66、正式0/5。仅重读已封存natural-pair-a01，不重抓、不接手机、不改产品。本批先保存源SHA及分析源码；按原始消息顺序列出每个serial全部连接声明/初始及非负time更新、声明前更新、重复声明字段差异及全局time→host接收括区间。序列分组只是候选，不以重复声明自动认定新生命，不以time拟合或负time标志自证单位/增量。用exact Fraction比较可能时钟约束并保留不可识别与反例，不做数值校准。

将pcapd每件实际原生帧只换容器导出pcapng，逐件源SHA、偏移、接口name/unit、原始pre/post及源时间保留索引。仅实际pre=0/4/14分别用RAW/NULL/Ethernet真实linktype，不加或删任何帧字节；不改原件，不把派生容器称独立捕获。未知封装即partial保留，绝不按期望强套协议。用系统tcpdump离线读取该原生帧容器，核总包数与8个未解/2无端点候选包，逐包分类/传输字段与现有parser交叉验证；转容器SHA和原帧逐件SHA另外用stdlib逆读核同。系统reader成立仍不证明端到端丢包或全流覆盖。

关键路径O(源bytes+事件数+包数)，≤20000消息/200000包/256MiB源、≤64接口/≤1MiB帧、输出≤128MiB；流式写盘，单次30秒/192MiB，预计各≤3秒，系统reader≤20秒，整体≤60秒。先合成三实际linktype/原帧逐字不变及时间ticks控制、坏header/超界拒绝，再真实原件；记录首输出/总耗时/CPU/RSS/吞吐，I/O瞬时峰unknown，新工具无旧版不造对比。结论决定受控配对所需合同、保全和真实容量；Gate R未关不启动193/诊断/正式/接收。

一次受控上传配对合同与容量 · 2026-10-19

Lead定稿，Owner已授权同一AI继续实现/测试/分离复核，不新增审批。自然原件系统reader全27709件分类核同；37无声明serial仅负time初始量、重复声明差异仅buffer字段，均不据此定生命或增量。接收调用区间作为源事件锚点的共同offset交集为空（约1秒反例），故禁止用它直接搭跨时钟桥。下一一次受控配对只验证端点/方向/字节层及source time候选；全流Gate R不自动解除。

先新连接核Lab18/产品idle、64全封口/released、无pending、metadata与已保全核同及空间。选择Lab18四工具run，从现有原件/全部附件/typed导出逐件host SHA，再新连接核全源SHA；明确选中全目录集合、导出唯一且原位。使用已测NET四run归位器，仅同容器rename保留至新exclusive批次，pending不重试/不回滚；实际64→60、删除0，独立核所有文件/导出SHA与集合守恒。不移动两开销run，不重放任何历史case。随后真实枚举容量，唯一新名network-send-20261019-controlled-a01必须不存在；该收据仅一工具run，不是正式五轮容量。手机非idle即停，不对未知新生命signal。

受控配对开始前冻结全部host依赖和固定SDK/UI/source pins。临时既有HTTP服务，仅本机已核地址/随机token、1MiB固定Z上传、单请求/单并发、256KiB/s限读；寿命≤75秒、单socket5秒及共享deadline、原服务总预算不放宽。Lab18一新生命：baseline3秒＋一个6秒stage＋recovery3秒，20Hz完整逐接口参考与既有附件/typed导出，不改手机代码。预计上传约4秒，失败/partial/尾部照存。不施加其他负载，不启动产品Session。

DTX无过滤对象和pcapd原bytes在同event loop并发28秒；仅一个1Hz有限RVI干扰观察，不与Owner RVI并行。两个reader启动2秒后、最后核Lab idle/新名/集合/no pending/产品idle，再launch一次；host记录监控、launch、下载及每次接收的monotonic括区间，手机原始Mach、全接口、URLSession端点/业务实收和server journal独立保留。任何observer失败取消自身reader、stopMonitoring最多一次，等待本run正常封口/released并保全；只在生命一致及封口确认后最多一次SIGTERM并观察idle，不强杀/重launch/重发不确定指令。

手机控制8秒/close3秒、主观察28秒/整体100秒/外层115秒192MiB；raw单件1MiB/总256MiB/200000件，DTX1MiB行/64MiB/20000件/queue4096门沿用。host+手机新证据预算384MiB，手机空间≥512MiB、host≥10GiB且预计两倍，O(事件+包+原件bytes)，无全payload列表。每项完整成本mean/P95仍≤1ms，最大/gap另列。先软件验证失败/取消后reader回收、monitor一次关闭、partial保全与未经封口不signal，执行前分离源审核；原件失败保留，新namespace首失败停。本次只E3参考研究，正式0/5、整体30/66，不把单流或业务正文当整机参考。

Implementation Update · 2026-10-19 · 原生帧与受控执行器

新增export_native_frames.py及6项软件控制；真实27709帧/53129507原帧bytes逐字不变换容器，独立stdlib逆读及系统reader27709件核同。顺序核验无声明前更新；37无声明serial仅负time初始量；37重复声明中34仅recv buffer字段变化。固定offset接收括区间交集宽度−1000375959ns，不能作为事件时钟桥。当前受控执行器仅候选，须完成失败回收/partial保全/封口前零signal控制，关闭错误必须使completed=false；尚未创建容量或launch。

新鲜只读controlled预检发现自有App再次存在，64 metadata已保存、全封口及no pending成立，但idle门拒绝；零写/信号/启动。此前Owner“你自己退出吧”的正常退出授权继续适用于本自有测试台；本次不沿用旧生命或旧信号意图。新增独占normal-stop-a02，重新核Lab18身份、64全封口/released、metadata与本次只读pins一致、无pending，并两次核同当前生命后最多一次SIGTERM，先fsync意图及目录。新生命/不确定退出不重发；退出后独立新连接再核metadata和idle。该恢复动作替代当前合同的忙即停分支，仅限已重新验证的自有进程正常退出，不放宽配对准入。

运行生命复核决定 · 2026-10-19

a02正常退出成功后约15秒出现不同startDate的新生命，后续只读门拒绝；当前无其他Perfowl Python执行器，原因仍unknown，不能归因系统或用户操作。未归位、未launch受控run。为避免跨工具准备等待，先准备全部host pins、6项归位控制与6项配对故障控制，再一次有界a03恢复：重新核同全部64 metadata/身份/封口/no pending及当前生命，最多一次正常退出，紧接独立归位连接；若再出现新生命，归位器在其idle门停止，不signal、不重试或回滚。a02失败预检仅供保管pins，不作为idle/容量收据。归位后还须独立SHA/集合复核和新鲜实际60容量才能执行上传。所有旧失败与意图保留，恢复不计正式轮。

受控原件离线审阅合同 · 2026-10-19

controlled-a01已完成一次上传及保管，60→61；仅研究，非正式。独立先核所有executor/source pins、核心manifest/typed导出/附件正文SHA、server journal、241完整参考及成本，用Fraction重算，不用工具自评替代。再用独立消息/framing reader核1015对象及25498原bytes；按照本任务URLSession实际local/remote端点唯一选同场流，完整保留重复声明，serial不去重。分别列原字段rx/tx packet/byte与pcapd各方向TCP正文/IP/原帧层总量，保留ACK/SYN/FIN/重传/unknown，不能把单流一致推广全设备。

受控流字节重组仅离线证明该流业务：先核同一tuple唯一SYN生命，32位相对seq跨度<2³¹，最大2MiB缓冲/每方向，重叠逐byte核同、缺口显式保留，首尾/FIN另列；不修包、不校正产品、不用业务请求数证明全流。无缺口时才能以HTTP分隔及Content-Length核511头/1MiB正文与服务保存SHA，响应另核；任何不匹配保留失败，不改变源。导出原生帧用系统reader独立交叉读取该端点流全部传输序列及长度，派生容器不称独立捕获。O(原件bytes+消息+本流字节)，单项30秒/192MiB、源256MiB及输出128MiB门沿用，预期每项≤3秒，无手机调用。

已观察到capture窗口结束pending0，但stop前2/stop后24消息仍在SDK队列，尚未作为原对象保管，不能称完整尾部或丢失已知；本次程序completed只说明有限工具动作完成。该采集边界缺口保留，首次本批不重抓、不拼数据。先完成离线判定，再文档化有界尾部保管修复；全scope/层/方向/时钟/端到端完整性Gate R继续未关。

有界停止与尾部对象保管修复 · 2026-10-19

文档类型devlog增量，Lead定稿。上一批445977d0为有效进展：受控单流发送IP层核同，但stop后24对象未保管，不重写旧结果或拼补。当前30/66、发送0/5，唯一Gate R继续全scope/同层/方向/跨时钟/端到端完整性。先修host取证生命周期，不改产品、Lab、公式或阈值。

新增独立raw_network_lifecycle.py，复用已资格typed codec与custody reader，不改变旧有限window采集器或回改旧原件。单writer保管全部本次SDK解封对象：window18秒，恰一次stop指令与保管并发（stop8秒超时），stop完成后继续收到连续1秒安静；尾部总计≤10秒，不因持续来件无限续时。分window/stopping/post-stop仅为host接收阶段，不声称源事件时间或producer已结束。每件原tag/顺序/host括区间/payload SHA及全流SHA，未知消息码/空值照存；MAX_LINE1MiB/总64MiB/20000件、队列4096及尾部4096件，任一越界partial。stop失败也保留有限尾部；reader失败、取消或未确认stop不得completed，未知指令结果不重发。源/传输loss及sourceEnd始终unknown；安静/queue0不是端到端证明。

capture_network_pair采用新模式，pcapd无过滤30秒，生命周期最长28秒，唯一1Hz/30次RVI干扰检查；并发三有限任务，任一失败取消本次reader，finally仅当从未尝试stop时补一次8秒清理，取消不会重发已尝试指令。关闭3秒原门沿用。新鲜只读预检按实际活动集合（当前上一终态61）生成names SHA，不沿用64硬编码；同连接再核实际集合/无pending/idle，不创建Lab run或容量。主观察整体90秒/外层105秒/192MiB、总证据384MiB、host≥10GiB且≥预计新增两倍；最坏30秒观察＋连接/close，预计≤40秒，O(消息bytes＋包bytes)，不留全payload列表。

先离线控制：stop前/中/后未知对象逐件保管、stop失败与超时不重发、取消/同瞬间已收对象保留、持续尾部有界拒绝、预算拒绝、close失败及同连接busy/集合漂移；另重放旧1015对象只作synthetic调度规模基准，不重测旧指标或伪称新手机源。记录新旧同输入codec吞吐/CPU/RSS/首保存及输出SHA语义一致；新尾部功能无旧等价物，不虚构速度提升。完成分离源码审阅后，才独立新鲜只读核Lab18/实际全记录/空间/产品idle；busy停止，不再自动正常退出或新launch。一次新exclusive network-lifecycle-a01仅自然背景观察，手机Documents只读、0新run/安装/信号/产品Session。资格只证明有限尾部保管，Gate R不预判通过。

尾部关闭边界补充审阅 · 2026-10-19

首轮synthetic stop超时控制得到finite-tail-deadline，原因是receiver等待未被stop完成唤醒；修为单一待收task与stop task一起等待，并保存在取消同边界完成的对象。新增同边界/队列/尾件预算反控；首失败保留为软件失败，未手机操作。

分离读固定SDK进一步确认NetworkMonitorService.on_closed默认shutdown_queue(immediate=True)会清空SDK队列；若安静期后writer先退、pcapd继续，则又有未保管窗口。实施前补合同：新增host-only派生服务仅覆盖on_closed为immediate=False，继续用原SDK dispatch/queue/codec，未知消息不滤；不改SDK文件/手机/产品。安静期成立后，writer保持单收件，关闭本次独占DVT provider一次（≤3秒），并保管close期间及关闭后backlog直到SDK本地QueueShutDown，显式phase=closing。terminal是host通道终止，不称手机producer结束；空队列的SDK sentinel不算消息。持续来件/未确认stop/关闭错误或无terminal均partial；关闭指令不重试。生命周期18+10+3≤31秒，pcapd30秒及RVI30秒，外层90/105秒/192MiB及源/输出预算不变。成功关闭的DVT从后续resource列表移除；异常未知关闭不重复同close，其他本次资源继续有限回收。异常未保管队列件数明确记录，不能拿queue丢弃后的0作为完整。

补软件控制实际固定SDK DTXQueue保留backlog与本地sentinel、close期间到达对象全部保管、意外通道结束/close失败/取消不completed、stop和close各最多一次。兼容纯软件benchmark仅观察模式，真实pair强制本次provider close+terminal，未实证之前不做手机资格。

Implementation / Software Validation Update · 2026-10-19 · 生命周期保管

新增raw_network_lifecycle.py、custody_network_monitor.py、capture_network_lifecycle_pair.py及两个窄控制文件；旧window采集器/产品/Lab/历史原件未改。29项软件控制通过（新12生命周期＋5配对准入/关闭＋既有6 codec/6有限pair相关控制，不重测指标），包含实际固定SDK DTXQueue backlog与sentinel、关闭期间对象、同调度边界取消、stop失败/超时、预算及提前终止。源码分离重读确认本次DVT关闭发生在单writer仍活跃期间；成功关闭移除resource，未知close不重发，剩余资源逆序有界回收。

a01首软件运行8控制中stop超时断言失败（观察finite-tail-deadline），控制台原失败有记录；a02单收件task调度修复、a03补同边界控制通过，a04增加关闭适配层后29控制全过，外层0.812563秒/峰67452928B。未把首轮改写成功；此时手机0动作。

最终模式用已封存1015对象作synthetic快速队列调度同规模对照，前后全部typed对象semantic SHA相同；输入源SHA前后稳定、非新手机采集。old/new总0.303885/0.316242秒（含固定0.3秒观察和新0.01秒安静期），CPU0.015509/0.028819秒、首保存0.124333/0.202833ms，RSS51380224/51068928B，编码381455/398710B（新增phase标签），吞吐3340.08/3209.57件/秒。功能增加CPU约13.31ms/1015件，未称加速；低于实际观察期限和192MiB资源门。I/O瞬时峰unknown；新尾部和关闭语义无旧等价实现。前次a01模式未带最终关闭适配，仅保留为过渡对照。下一新鲜只读资格实际61和metadata，若idle通过才一次无业务/无新run的network-lifecycle-a01。

同场单流源时间约束审阅 · 2026-10-19

仅对既有controlled-a01原件做离线可证伪假设检查，不接手机、不改源、不校准产品。已知本流6更新packet总数与独立842包核同，按原序列及source time值4–9，检验假设H1：每更新为相邻1秒源时间桶的增量，tx/rx packet计数可按pcapd原源时间顺序连续分配、tx bytes为IP层、rx bytes为TCP正文。先逐桶count/bytes检验，而非仅看全程相同；任何counterexample即H1未证，不用调offset改变分配。每桶末包与下一包时间形成边界可行区间，以exact整数/Fraction检验t*1e9+offset所有边界交集；最初/末尾及无包桶保留不确定。报可行offset范围及宽度，而非拟合单点；本流可行仍不能推广所有流、单位或host↔Mach时钟。

如H1否定，保留真实逐桶反例与下一必要证据，绝不因整程核同就称1Hz校准。若H1暂未否定，仍需独立来源/其他连接/所有接口和跨时钟证明。复杂度O(本流包数+更新数)，≤200000包/20000消息、≤2MiB单流、30秒/192MiB，预计<1秒；source前后SHA、首响应/耗时/CPU/RSS记录，I/O峰unknown。新研究无旧等价物不造性能改善。

全流与非传输协议离线审计合同 · 2026-10-19

文档类型devlog增量，Lead定稿；基线a02f4a01。只读既有controlled-pair-a01与network-lifecycle-a01的全部原始pcapd/DTX及派生映射，不接手机、不新捕获、不回改历史数字。逐件独立stdlib读取长度前缀/索引/原件SHA；另行解Ethernet/IP/TCP/UDP及有界IPv6扩展，交叉全部已解端点/端口/长度。对其余原帧按真实EtherType、协议号与边界读取ARP、ICMP/ICMPv6、IGMP；不以family元数据覆盖实际版本，不把坏形状修成合法包。UDP 68→67只有BOOTP固定头、DHCP cookie和有界TLV/消息类型全部成立才称DHCP，不能按端口命名。依据RFC 826、792、2131、4861原文；不把格式识别当来源身份、scope或完整性证明。

全部流保持接口/方向/协议/端点，不跨接口去重；分别统计无端点声明、唯一声明、同serial重复声明及跨serial歧义，不用重复声明次数充连接数，也不把同tuple当同生命。结合更新的负time初始量/非负time、serial/kind与协议候选关联，列有更新无声明、有声明无包及单向/跨协议歧义。不把pcapd30秒与DTX约19秒的不同时间窗未匹配包称丢失；旧受控stop缺24对象仍单列，不修补。输出必须可复核反例/原序号与SHA，公开只写脱敏汇总。结果决定下一取证需要证明的范围及可比层，Gate R仍不预判通过；不修改产品scope/公式，不进193/诊断/五轮/接收验收。

单来源≤200000包/256MiB、单件≤1MiB、DTX≤20000对象/64MiB、连接≤4096、流≤8192，输出≤64MiB；流式O(原件bytes+消息+包+端点候选次数)，不用全包列表或重复扫描全盘。host≥10GiB且≥预计新增两倍，单脚本30秒/192MiB，预计<5秒；先以合法/截断/版本矛盾/错误DHCP cookie与TLV等控制拒绝条件，再处理两批实规模，记录首输出/耗时/CPU/RSS/吞吐、I/O峰unknown。新离线审计无旧等价物，不虚构前后加速；产品和Lab未变，无新安装包。

分离复核只将全部非传输结果及DHCP候选的原帧逐字转为有原序号/SHA索引的选择性派生pcapng，交由系统tcpdump作第二格式reader；它明确是选帧复核，不是完整新捕获或独立采集源。独立逐帧核原字节、原source ticks和真实linktype；系统调用≤20秒、输出≤16MiB，不补伪Ethernet头、不隐藏版本矛盾。全部传输字段的第二解析覆盖与选择性系统协议识别分别报告，不互相替代。

全流共同源窗假设的留出检验 · 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改动。完整资源与限制见结果增量。下一先手机producer packet/byte定义与查询范围，不调clock容差/滤ACK，不进193/诊断/正式/接收；30/66、发送0/5、Gate R未关。

手机producer来源的有限符号清单合同 · 2026-10-19

文档类型devlog增量，Lead定稿，基线9a0daf52；本地同名服务仅E1，两薄DDI负结果已封存；H1反证/22个头下界反例不回改。新exclusive network-symbol-inventory-a01，只查询现有RemoteXPC com.apple.dt.remoteFetchSymbols的DSCFilePaths列表与expectedLength，不调用download/iter_file_chunks、不启动Instruments观察器、不采样、不挂镜像、不全量拉取共享缓存，不据清单宣称已取到手机代码或指标通过。

先冻结selection与固定pmd11.3.1相关源码SHA及新host工具，检查本机≥10GiB/预计两倍（预算16MiB）及无当前采集/安装/测试执行器。使用唯一已配对目标的新native RSD连接，autopair=False；核手机实际身份/产品版本与Lab18安装身份、实际活动集合/每件summary+manifest源host SHA、全封口/released/no pending、自有App开始/结束idle，旧61集合及metadata需与封存末态完全相同。状态漂移/busy立即保留并停，不signal/launch/rename、不清理或创建容量。该只读检查仅本次有限来源研究准入，不替代后续新run/五轮容量。

在同lease下核实际RSD service entry，只对已公布服务发送一次带新sideChannel的DSCFilePaths请求。首响应count须是真int或固定SDK的XpcInt64Type/XpcUInt64Type（保留原tag、排除bool）且0–256；每项只接收元数据，path非空≤2048UTF8 bytes且绝对规范、不含NUL/上溯，expectedLength同样仅允许已列整型且0–16GiB；重复路径明确拒绝，不猜分片；输出只私有保存path/size/原响应安全typed形状与SHA、服务features及清单总量，公开只数量/总bytes/目标basename存在性。能力缺失、响应越界/畸形/超时均partial，未知请求不重发、不换服务盲重试。不是读文件传输，count0也不是完整producer证据。

每控制call≤8秒/close≤3秒、清单总≤15秒；preflight整体90秒、外层105秒/192MiB，清单独立外层30秒/128MiB；新增≤16MiB、O(metadata bytes+file count)，无全payload/常驻环境。先软件控制count/size/path/重复/畸形/超时/关闭失败、每请求一次且文件数据请求0；使用假的transport，不把它当手机资格。实际执行冻结源码，保管首响应/全量时间、CPU/RSS、原metadata source前后SHA；完成后在同连接重新核活动集合/no pending/idle及关闭结果，关闭不确定不声称completed。下一根据真实清单规模决定是否有有界获取目标代码的途径，不能预先批准下载多GiB cache；30/66、发送0/5、Gate R未关，不进193/产品诊断/正式/接收。

执行前补充：为同lease前后元数据核对，清单及资格在一个有限进程内运行，connect≤8秒＋清单≤15秒＋close≤3秒；整个105秒进程采用更严128MiB门（同时满足原192MiB上界），不拆连接或把资格收据当旧准入。7软件控制已通过，实际手机尚未执行。

符号查询前的自有测试台正常退出恢复 · 2026-10-19

新inventory-a01准入按合同拒绝：Lab18自有进程存在、61集合全封口/released/no pending，尚未发送symbols请求；0 signal/launch/写入、关闭无错，外层5.205999秒/94076928B，原件保留。Owner此前“我不方便操作，你自己退出吧”的自有测试台正常退出授权持续有效，本次不再询问。

新增exclusive phone-owned-normal-stop-a04，使用已审正常退出器并绑定本次a01 metadata全SHA；重新核同Lab18身份、实际61完整集合与122件metadata、无pending/全封口及开始生命。末尾两次核同当前生命与开始相同后，fsync本次意图并最多一次SIGTERM，≤3秒观察退出；任何未知信号结果/新生命/忙工作立即停、不重发/不强杀。不改数据、不安装、不launch、不归位，手机Documents写0；正常退出信号单列，不称整批0手机动作。90/105秒、192MiB、空间门不变。

随后仅一次新exclusive network-symbol-inventory-a02，独立新连接完整重核与a01及旧封存61 metadata逐件相同、idle、产品idle，再执行已定一次清单协议；不沿用退出收据作fresh admission、不重复a01的未知请求（a01实际请求0）。若再次出现新生命，a02拒绝，本轮不再自动signal。符号清单或正常退出不是指标资格，Gate R/30/66/正式0/5保持。

系统缓存索引的定向只读获取合同 · 2026-10-19

符号清单a02实际59文件/4043091248B，60份typed响应33218B；请求1、文件数据请求0，前后61记录metadata核同、idle及close无错。a04新同生命正常退出仅1信号，原忙拒绝保留。清单有两个同basename的主缓存：系统索引491520B与DriverKit主缓存9879552B，完整路径不同，不能按basename选大文件或混用symbol文件。

下一new exclusive network-system-index-a01，延续完整新鲜61只读资格与前后metadata/idle/来源pins；不launch/signal/安装/改手机数据。冻结a02实际系统主缓存的绝对路径+491520B预期和全部59个path/size集合（私有），新同lease下重查一次清单，仅集合完全一致时按本次索引请求该单文件；不假定旧枚举位置稳定。拒绝DriverKit、其他subcache/symbol文件、路径或size漂移。文件读取使用固定SDK RemoteXPC.iter_file_chunks的本次index，只一次fileDataRequest；单文件门1MiB，源expectedLength必须491520B，chunks逐块写私有新文件/SHA，短读/超额/超时/未知结果均partial保全，不重试、不补零。读完必须exact length，async generator有界关闭和client close各一次；不把SHA当Apple签名认证或已获完整framework。

先以fake transport控制选中身份、枚举重排仍按真实index、集合漂移、超额/短读、超时与关闭错误；流式O(491520B+metadata)、不保留全cache字节列表，新增预算4MiB，文件读≤15秒/每await≤8秒；connect8秒＋清单15秒＋read15秒＋close3秒，整个研究原90/105秒、128MiB门不变。离线只按Apple dyld_cache_format.h固定结构读magic/平台/UUID、映射/图片表与subcache VM索引；先格式边界控制、≤10000 image/≤128 subcache/2秒/64MiB。该491520B索引允许定位目标路径与静态映射，不执行/加载代码，不批准全4GB下载或预先下载大subcache。随后按真实索引另立目标范围合同；Gate R、30/66、正式0/5保持。

Implementation / Validation Update · 2026-10-19 · 手机符号索引

新增三有界工具及7/5/4窄控制共16项通过；新busy准入失败保留并请求0，按Owner既有授权a04同生命正常退出1信号，新a02清单及system-index-a01两次完整61前后metadata/idle核同。59文件4043091248B仅取系统491520B；全部120 typed响应/3333 image/54 subcache分离核同，目标映像条目已定位、实际文件映射/producer代码未取。DriverKit与667MB symbols均未下载。实际资源、偏差与边界见结果增量。下一另定有限subcache来源合同，不进入193/诊断/正式/接收，30/66、发送0/5、Gate R未关。

手机DVT目标子缓存的有限静态来源合同 · 2026-10-19

文档类型devlog增量，Lead定稿，基线8a6632e5。前批是真实E3清单/索引及E2复核进展，未获实现代码；不是无进展重试。固定系统491520B索引及59文件完整path/size集合，DVTInstrumentsFoundation条目text1036288B、VM起点候选.41，对应清单原文件113999872B。本次仅此一个子文件，不取DriverKit、其他subcache/symbols或全4GB；单流新exclusive network-dvt-subcache-a01。

新鲜native连接前后沿用完整61封口/released/无pending、122件metadata SHA与封存基线、Lab18安装及目标身份/版本、产品/自有App idle和source pins。状态漂移/busy停止，本批不signal/launch/安装/归位/新run/容量/Session。重新查询完整清单一次，集合完全一致后才按本次实际index读固定系统主路径＋.41/113999872B。原工具的1MiB索引入口保持；新增显式事前byte_limit入口（≤128MiB），私有合同只允许本件，不能沿文件大小自动选另件。逐块写原文件/增量SHA，单块≤1MiB、exact expectedLength；未知/短读/超额/timeout/关闭失败保留partial，数据请求一次，不重试、不补零。client及generator各有界关闭一次。

传输≤45秒、每await≤8秒、list15秒/connect8秒/close3秒、整体90/外层105秒/128MiB门不变；预算256MiB新证据，host≥10GiB且≥预计两倍。预计USB本件≤12秒，O(113999872B+metadata)，流式不持有全源payload、单并发。先复用单文件5控制并新增显式limit拒绝/原小入口仍拒绝大件/单块预算控制，再真实来源。记录清单/首chunk/完成时间、源总SHA、CPU/RSS/吞吐；I/O峰unknown；原小入口仅小文件，无等价旧大件，不虚构前后加速。

离线固定原源SHA与index UUID，不执行/加载/修改源。独立读取子缓存header的UUID、平台和全部mapping（≤16），与主index .41条目核同；必须用实际address/size/fileOffset映射目标VM＋text范围，不以最近VM起点或cache suffix当证明。仅实际覆盖时按原字节读取目标Mach-O header/LC_UUID/LC_BUILD_VERSION/≤128 load commands与section范围，核arm64e/iOS/UUID同index；目标__TEXT≤2MiB，数据/链接编辑段不在此文件则明确missing，不伪造完整dylib或猜imports。

固定Apple头结构与二路字段核对，先坏magic/UUID/overflow/范围缺失控制；O(源SHA bytes+目标≤2MiB)，单脚本5秒/64MiB、输出≤16MiB。必要时只用本机LLVM原始指令decoder静态读目标__text：固定工具SHA、先已知ARM64指令/地址与编码控制，不重写Mach-O/补假链接段，原字节和派生反汇编逐件SHA；≤20秒/192MiB/32MiB输出。静态目标代码即使可读仍E1源码事实、E3来源保管，手机运行producer绑定/协议接口/packet-byte路径、查询窗及Gate R尚须后续证据；不进193/产品诊断/正式/接收，30/66、发送0/5保持。

原始方法表与无进程指令解码补充 · 2026-10-19

实际单文件读取113999872B/完整准入成功，目标__TEXT1036288B与index UUID/arm64e/iOS核同；其余数据/链接段确实不在本文件。下一只离线审该原件的__objc_methlist、method名及原指令，不因缺段伪造完整Mach-O。固定Apple objc4头commit fb265098298302243cd7eeaa1f63f0ba7786dd9a/SHA；仅按已证字段布局识别relative list，direct selector若指向未取uniqued表则保留missing，不把偏移当字符串、未关联class不命名为类方法。

本机没有llvm-mc，已保留命令不可用结果；改用现有LLDB的SBTarget.GetInstructions读取原始buffer，创建空arm64e target且process必须invalid，绝不load/attach/launch/expression。已知nop/ret控制核指令、原编码、原地址4B步长；实际仅≤2MiB已映射原指令、20秒/192MiB/32MiB输出，单并发O(指令bytes)，固定工具/模块SHA。方法表先截断/条目尺寸/偏移范围控制；已取完整表应全数记账，缺selector位置显式报告。静态代码关联仅E1、源保管E3，不证明当前手机服务已加载该映像或全设备数值参考；如需其他片段，另立范围合同，不自动扩大本次手机读取。

公共selector来源的单文件合同 · 2026-10-19

前件实际映射成立、177962条原编码/地址核同，1条未知指令保留；252方法表/2193入口全记账，但公共selector base未取。固定主index objcOptsOffset/Size及唯一候选.30.dyldlinkedit/26247168B，新exclusive network-objc-subcache-a01仅此文件。候选不是实际映射证明；header size与公开版本结构须独立核，不能预认最新结构适用，更不能由相似method名拟合base。

新连接完整重核61记录全部metadata/封口/no pending/身份版本/产品与Lab idle，全部59清单path-size需核同，busy或漂移停止，本件不signal/launch/安装/新run/容量。仍用显式128MiB工具上界但私有selection仅26247168B一件，数据请求一次/45秒、每await8秒，整体90/105秒/128MiB、预算64MiB、host10GiB/预计两倍；预计<8秒、流式单并发O(文件bytes)。未知/短读/关闭错误原件保留无重试。

下载后先核UUID、平台和实际mapping，再按固定Apple dyld/objc版本字段读取原优化header。32B声明与56B公开结构差异明确保留，不越声明强行套字段；若来源header不能解，即停止selector解释。只有版本/字段和实际VM范围均成立，才读取共享base及每个完整NUL终止selector、记录所有已知/缺失/不匹配项，不改原字节、伪造dylib或自动另取数据/链接片段。静态解读仍E1，不放行Gate R/193/正式/接收。

Implementation / Validation Update · 2026-10-19 · 目标子缓存

新显式limit文件工具及6映像/3方法窄控制，合计17软件控制通过；一次114MB原件取得、TEXT/UUID/实际mapping与177962编码、2193方法入口分离核同。selector/class/imports缺失、1未知指令和LLDB前两离线失败保留；新selector文件准入因App存在被拒绝、请求0，未signal。本批不修改产品/安装/新run/容量，30/66、发送0/5、Gate R未关。实际资源及边界见结果增量。下一先审新运行状态及既定selector来源，不沿用旧idle或进入193/诊断/正式/接收。

新运行状态恢复与selector研究继续合同 · 2026-10-19

上一原代码批次已交付2a4f0a54：GitHub核同、GitLab一次失败，同提交站点18.182510秒/聚合1409630208B、579页/741目标/642锚点核同，网站/通知配置欠项partial。其no-signal合同已结束并保留busy拒绝，不回改上一批手机信号0。当前旧61metadata完整但App曾重新出现，原因unknown。

Owner此前“我不方便操作，你自己退出吧”对自有测试台的正常退出授权继续有效。新独占phone-owned-normal-stop-a05重新核Lab18身份/权限、全61集合/122件metadata与busy-a01及sealed基线一致、无pending、产品idle/无采集。对开始及末尾两次完全相同的当前进程生命，fsync意图后最多一次SIGTERM，3秒有界观察正常退出；若已idle则signal0。未知结果/新生命/未封口/源漂移即停，无重发/强杀/launch/安装/数据变更/新run/容量。退出后同连接重读全部metadata与pending/idle，再核source pins/关闭；90/105秒/128MiB、host10GiB/两倍预算、新证据≤4MiB，预计<8秒。该恢复与符号数据请求分开记账。

恢复成功后仅一次新network-objc-subcache-a02，独立新连接完整fresh admission，严格沿前一合同唯一.30.dyldlinkedit/26247168B及完整59清单。旧a01实际请求0，不重放未知请求；若又出现新生命则再次拒绝，本批不再signal。先实际mapping/UUID核验，优化header声明32B与公开结构56B差异须证实，未证不按最新结构越界解释。当前仍30/66、发送0/5、Gate R未关。

a05 host预检因缺少subprocess import在任何native连接/手机调用/信号前NameError退出，原源码与stderr保留。只修host import，新exclusive a06沿相同正常退出合同，未发生未知手机动作，不重发信号；后续selector仍a02一次。

优化头长度差异的固定来源假设 · 2026-10-19

a06已新鲜核同61记录后对同生命一次正常退出，退出后122 metadata/idle/pins核同；新a02完整准入及26247168B单件读取成功、前后metadata/idle核同，无该读取信号。离线实际mapping2及UUID核同，声明32B仅先读32B，未假装56B已可用。

固定Apple dyld-1066.8 commit ce1cc2088ef390df1c48a1648075bbd51c5bbc6a的DyldSharedCache.h定义version1优化头56B；cache_builder/SubCache.cpp1435–1443先写objcOptsSize、随后在Swift条件块再次把Swift头尺寸写入objcOptsSize，这是明确E1源码覆盖路径。手机字段为32B与该机制相容，但尚不能认定手机由此精确源码构建或唯一原因。

据此另立仅离线Hheader：允许在已取得文件的真实单mapping内额外审24B、总56B候选结构，固定version=1和官方字段偏移；不改源header/声明、不将32改成56，不联系手机或获取其他片段。先以完整/版本错误/56B缺失/基准溢出控制；对实际候选所有字段保留，base必须由字段得出且落实际mapping，不从2193名字反拟合。按原name offset+base核每个selector完整NUL终止/UTF8长度≤2048B，全部入口均记账、缺失保留，classes仍unknown；全量字节与独立字段reader核同后才称Hheader本数据格式成立，仍不证明运行producer绑定或数值语义。若失败停止该假设，不扩字段。≤5秒/64MiB/4MiB输出、O(TEXT+methods+有界字符串bytes)，预计<0.1秒，无新手机动作。

selector字符串片的唯一新合同 · 2026-10-19

Hheader-a01因base不在已取文件提前报missing，原件/失败保留；a02仅修为全部2193入口显式missing、不扩大56B假设，实际version1/flags7、base由原字段得出。主index指向唯一候选.01/113197056B，尚未证明该文件覆盖。新exclusive network-selector-strings-a01仅此一件，完整新鲜61metadata/封口/idle/pins/版本/清单59集合，busy即停且本批不再signal；固定本次index一次数据请求，45秒/整体90/外105秒/128MiB、每chunk1MiB、预算256MiB、host10GiB及预计两倍，预计<12秒，流式O(bytes)。不取153MB数据或391MB链接件，不自动重试。

离线先核本件UUID/实际mapping，再按Hheader原base和全部2193原offset读取完整有界selector；不拟合base，不按解析成功筛选。另可独立读取主index中唯一libobjc.A映像原TEXT（≤2MiB且实际同mapping），核UUID/arm64e/iOS及原load commands，只审若存在的__objc_opt_ro段及其官方版本16字段。此旧结构base是self-relative，需与Hheader cache-relative base精确核同；任一字段/版本/范围缺失均明确unknown，不补段、不加载执行、不认定手机builder等价。静态对应仍E1、来源保管E3，不关闭Gate R。5秒/64MiB/4MiB输出，O(source SHA+TEXT+有界字符串)，预计<0.2秒。

Implementation / Validation Update · 2026-10-19 · selector来源

a05 host import失败未联系手机，a06新鲜同生命正常退出1信号后122metadata核同；新a02/.01两次完整新鲜准入，只取26MB/113MB单件。32B声明不改，固定Hheader56B候选与libobjc旧结构6地址及全部2193方法名经第二读法核同；4新header/2旧结构控制E2，class/imports/动态绑定仍未证。原失败/2193 missing中间态保留，30/66、发送0/5、Gate R未关。下一先另立数据片显式预算/真实mapping与类关联合同，不自动下载、不进193/诊断/正式/接收。实际资源与结果。

原类关联数据片的有限合同 · 2026-10-19

文档类型devlog增量，Lead定稿，基线e2d461e8。上一selector批次GitHub核同、GitLab一次失败，同提交站点17.422753秒/聚合1507704832B、579页/743目标/652锚点通过，网站/通知配置欠项partial。静态selector/base交叉已成立，但class/imports/实际producer绑定未证；本轮仅继续来源研究，发送0/5、总30/66、Gate R未关。

原DVT Mach-O四个数据segment按主索引最近起点均指向同一候选.53.dylddata，清单精确153731072B；不把候选当映射。新exclusive network-class-data-a01仅此单件。它超过既有128MiB文件门，因此保留原工具/入口及其128MiB门不变，另设独立host研究入口，必须显式byte_limit且硬上界192MiB，私有selection只允许本件153731072B。先以fake传输控制超预算事前拒绝/重排用新index/短读及超额保留/超时不重试/关闭错误/1MiB分块，再实际数据；不扩大产品资源门或数值容差。

新鲜native连接完整前后61封口/released/no pending、122metadata与封存基线、Lab18/版本/目标身份、产品与自有App idle、无其他采集与source pins。重新清单一次且完整59 path-size核同后，仅按当次index一次文件请求；本批busy/漂移即停，不signal/launch/安装/归位/新run/容量/Session，不自动退出或重试未知结果。每chunk≤1MiB、exact bytes/增量SHA/partial保留，数据≤45秒/每await≤8秒、list15/connect8/close3、整体90/外105秒、进程128MiB门不变。新增预算320MiB，host≥10GiB且≥预计两倍；预计USB≤15秒，单并发O(bytes+metadata)，不全文件驻留，不取391MB链接/667MB符号/其他片。

离线先核UUID/平台及所有actual mapping/with-slide记录（≤16），每件只读原header/表；153MB源流式SHA，目标数据按VM实际范围读取≤2MiB。严格按本件真实slide-info版本选择Apple已固定结构的encoded-pointer解释，auth/unauth分开，保存原bits、字段与VA，不套普通指针mask猜地址；版本/extra链/范围未知即missing，拒绝越界或重复链。先有合法/截短/溢出/版本错与原始0控制再实际处理，≤10秒/96MiB/16MiB输出，O(源SHA+目标metadata+有界链)，预计<1秒。不得全量重写cache、伪造完整dylib、执行/加载/attach手机代码或补缺段。

只将已取得DVT原TEXT方法表与data内原classlist/class_ro、meta-class及selector/IMP关联；每条关联需真实mapping、合法布局/原指针格式、class名/方法表边界核同。未关联类/共享方法/未知字段保留，不能按method名相似贴类名。后续仅在确定来源后审对应原指令调用路径和tuple key/差分/过滤/查询时间，依旧E1静态；当前手机运行绑定与Gate R全scope/同层/时钟/完整性仍须另证，不因类关联通过进入193/诊断/正式/接收。

类关联后的有限原指令路径审计 · 2026-10-19

两独立读法已核同183 classlist/366 class与meta/2193方法关联及2013原指针；第二读法不导入首个decoder，并按固定Apple头实际编译核bitfield/offset。下一仅离线审已保管原TEXT及既有177962指令记录，不联系手机。以已证DTNetworkingService的8方法、tuple两initializer、source-map的访问方法为根，按真实IMP定位；每根≤8192原指令、合计≤32768条、文件输出≤8MiB、10秒/96MiB。保留原地址/编码、已知方法边界、所有缺失与未知分支。邻近已知IMP只作审计切片上界，不虚称完整函数或跳过外部块；外部调用无可靠名称则只记地址/原stub/GOT，不按host同名实现猜手机导入名。

允许读取已经取得原data的实际映射内≤2MiB字符串、ivars、method类型、原指针和元数据，沿同slide-v3真链解码；只为解释服务设置/过滤、tuple构造/keys及差分/时钟路径。所有字段/调用关联须能回到源byte、实际mapping和既有selector；系统API语义引用固定Apple公开源码或文档，新的外部资料另保存来源。输出区分已证直接字节事实、候选推断、未证运行绑定；发现缺失停止对应路径，不下载新片段、不改变产品或容差。O(既有decode顺序读取+有界指令/metadata)，预计≤2秒，单并发。Gate R、30/66、发送正式0/5不变；不能因静态解释通过放行193/诊断/正式/接收。

网络字段字符串的唯一来源合同 · 2026-10-19

原方法已按实际selector stub及ivars关联到PID/接口过滤和tuple差分；8项声明/11项统计表的原真链指向NetworkStatistics的CFString，字符串实际地址尚未覆盖。主索引唯一候选.37/115245056B，映像条目TEXT311296B。新exclusive network-nstat-text-a01仅此单件；先核现有183引用/16ivars进展不是值口径通过，不从字段长度猜名。

沿用已验证原128MiB文件入口/45秒读取/1MiB块、完整新鲜61封口122metadata/no pending/同版本/identity/产品与Lab idle/完整59 path-size以及前后来源pins。当前state busy/漂移即停、signal/launch/安装/写入/新run/容量0；一次数据请求，不重试。整体90/外105秒/128MiB，新增预算256MiB，主机至少10GiB且不少于预计两倍；预计≤12秒、流式O(bytes+metadata)。旧153MB入口不再扩大，不取链接或symbols。

离线先实际mapping/UUID/platform核同，再按已保管原key pointer/CFString length取每个完整NUL UTF8字符串（≤2048B），原表全部23槽含null/例外逐件记账，null不写成合法0字节统计。NetworkStatistics原TEXT按索引/UUID/arm64e/iOS核同后仅作后续静态来源，不load/execute或附加手机。第二读法须从原bytes核key表/CFString/真实mapping/字符串长度与selector/ivars引用；≤10秒/96MiB/8MiB输出。新增selector/keys仍仅E1，运行绑定/packet-byte系统定义、查询时钟与完整性仍需后续证据，Gate R/30/66/正式0/5保持。

新busy拒绝后的独占正常退出与来源恢复 · 2026-10-19

nstat-text-a01新鲜准入因自有App运行而拒绝，61完整sealed metadata已读、数据请求0/信号0、关闭无错，5.279799秒/96632832B原件保留。再次出现进程的原因unknown，不把它写成产品或系统自动重启结论。

Owner既有“自己退出吧”授权下，另立phone-owned-normal-stop-a07：固定a01新metadata及已有61封存基线、身份/Lab18/SDK/产品idle/pending/source pins；同开始生命及两次末尾生命一致，先fsync意图，最多一次SIGTERM并3秒观察退出，未知/新生命不重发不强杀。退出后同连接122metadata、idle/pending/source pins和close全部重核；无launch/安装/数据修改/归位/新run/容量。90/105秒、128MiB、4MiB预算、host10GiB/两倍预算不变。

恢复成功后一次network-nstat-text-a02沿a01唯一115245056B及原128MiB入口合同，独立连接重新完整准入，不能用退出收据代替fresh admission。a01数据请求0，无未知请求重试；a02若再次busy本批不再signal。两个新exclusive与原class-data no-signal合同分别记账，不回改本批早期0信号事实。Gate R/30/66/发送0/5保持。

Implementation / Validation Update · 2026-10-19 · class与字段来源

新153731072B数据片与115245056B字段TEXT两完整fresh admission/122metadata前后核同；中间busy零请求保留，新a07按既有授权同生命正常退出1信号，安装/launch/新run/容量0。14软件控制；最终第二读法核2013原指针、366类/2193方法、28 selector/16ivars/23键槽（18解析4null1missing）及C++4115字段比对。原切片2087条不证明完整函数/动态绑定；原packet-byte定义/查询时钟及Gate R仍待。a01统计计数偏差和a02清单重排误拒保留、a03重核，未改产品或放宽阈值。整体30/66、发送0/5；下一仅明确外部调用/producer语义的新有限合同。结果增量。

共享调用跳板的原址复核合同 · 2026-10-19

前批befcb488已推GitHub核同，GitLab一次失败；同提交网站17.716225秒/聚合1377435648B、579页/745目标/663锚点通过，网站/通知缺配置继续partial。不是指标通过。当前仍30/66、发送0/5；原外部符号名0，不能因本机同名服务而借名。

下一先仅离线读取已有完整.41/.53，不联系手机、不下载新文件。对前批146个调用目标中尚无名字的direct-address项，每项最多32B，必须落实际原mapping；按明确ARM64 ADRP/ADD或LDR/BR(A)编码核shared stub→原slot→v3真链target，保存原编码/中间地址/slot原bits/目标及未知。仅真实覆盖且已证模式才解析，不把函数正文或其他指令误判成stub。目标最多256、读≤64KiB、页≤256、输出≤4MiB、10秒/96MiB，O(源SHA+目标数×固定32B)，预计≤1秒，单并发。用已知正负ADRP/错误opcode边界控制，再实际；不执行/改写cache或从相似代码猜symbol名。

该步骤只定位外部实际代码与其主索引映像范围，仍需原导出/符号来源才命名；若链接数据不在已取件，则如实missing，先评估最小source范围与预算，再另立合同，不自动下载391MB/667MB。运行绑定、packet-byte系统定义、查询时钟与端到端完整性Gate R保持，不进193/诊断/正式/接收。

独立共享跳板小片的唯一合同 · 2026-10-19

前述离线105目标全记账：65不在已有mapping、39不是ADRP、1非已证stub模式，已保留missing，未猜名。主索引以外部地址定位唯一候选.42770048B（无Mach-O image条目，不将其包装成dylib）。新exclusive network-shared-stubs-a01仅此小件，复用原selected_index≤1MiB入口，单次数据请求；完整59 path-size、新鲜61记录/122metadata及身份/版本/no pending/产品Lab idle/pins前后门与既有相同，busy/漂移即停且本合同signal0。

read≤15秒/每await8秒、connect8/list15/close3、90/105秒与128MiB门保持；预算8MiB/host至少10GiB且两倍预算，预计<8秒。先实际UUID/platform/mapping，候选VM不当证明；按原32B记录解析每个实际模式、保留缺失，不执行、不假装存在Mach-O header。离线10秒/96MiB/4MiB输出、有界256目标/64KiB代码。可解析slot必须是已取得data的v3真链；目标地址仅在主index唯一image实际TEXT范围内才关联映像，名称仍需原导出来源。源SHA/完整清单typed响应/122metadata及全原slot再分离核同。没有新run/容量/安装/launch/产品变更；30/66、发送0/5/Gate R未关。

原导出表的显式链接片合同 · 2026-10-19

共享跳板小片770048B已在新鲜完整准入后一次取得，SHA a85a5241e8a8e4dcc84bc510fb6bb1422bfdffffba54028da435ab7647d6cc98、前后61 metadata/idle/pins/close核同，7.292897秒/100532224B、信号0。真实mapping覆盖65个ADRP/ADD/BR直接跳板，11个实际目标落于NetworkStatistics原TEXT，其余40未按stub解释（39非ADRP、1其他模式）保留；符号名仍0。

NetworkStatistics已核原load commands提供明确LC_DYLD_EXPORTS_TRIE 5696B、LC_SYMTAB 1870 entries（不是按host猜名字）；这些引用落唯一候选.54.dyldlinkedit，清单精确391430144B。固定RemoteFetchSymbols迭代接口只有整文件索引读取，无已验证range协议；若要保留原范围与全源SHA，必须读此一件，约373.3MiB。新exclusive network-export-linkedit-a01仅此件；不取667MB symbols/DriverKit/全cache。既有1MiB/128MiB/192MiB工具上限不变，新增独立selected_linkedit研究入口，显式byte_limit且硬上界384MiB，不改变产品内存或指标容差。先7传输控制及旧入口仍拒大件/192MiB入口拒384MiB事前控制；随后仅私有合同精确391430144B。

完整新鲜61封口/released/122metadata/无pending/同身份版本/产品Lab idle/全59 path-size/pins及前后检查不变，busy/漂移停止且本合同signal0。一次数据请求，不重试；每chunk1MiB、exact length/增量SHA、失败/关闭不确定保全partial。每await8秒、数据≤45秒，list15/connect8/close3、整体90/外105秒、进程仍128MiB；新增预算800MiB/host≥10GiB且两倍预算，预计USB≤25秒、O(bytes+metadata)单流不全件驻留。小片真实吞吐及较大源38.99MB/s仅作耗时估计，不承诺加速。

离线先UUID/platform和actual mapping/with-slide核同，按原Mach-O __LINKEDIT.vmaddr/fileoff与真实mapping计算exports/nlist/string的VM→file位置，不能把load command offset直接当subcache file offset。只取exports≤1MiB、1870条nlist64/每名≤2048B，string总表55MB只按所需name offset有界读、全源只流式SHA；不全解析所有framework。export trie有界ULEB/边界/无环/≤8192节点、名称完整NUL，保留reexport/resolver/弱/未知flag不猜地址；仅明确regular export的image-relative offset与11个实际目标精确吻合才命名。独立nlist外部定义及第二trie reader交叉，差异保留；≤10秒/96MiB/8MiB输出，O(源SHA+目标表+有界名字)。新外部命名仍E1静态、来源E3/格式E2；运行绑定、packet-byte内核语义、查询时钟与完整性Gate R未关，不进193/诊断/正式/接收。

原NetworkStatistics入口与计数路径审计补充 · 2026-10-19

新391430144B仅一次原件取得，前后61 metadata/idle/pins/close核同、17.049002秒/99696640B、signal0；13新软件控制通过。首次离线脚本因缺targetAddress键、第二次因旧image helper的128MiB上界分别停止，均未改原工具上限；第三次按本合同独立读取映射成功。5696B exports/248 regular及1870 nlist、65原stub和11个NetworkStatistics目标名经第二读法全核同，0.494749秒/23412736B。已证AddAllTCP/UDP、Create/Destroy/QueryAllSources、SourceCopyProperty/QueryDescription/Remove及三回调设置入口，均仅E1静态。

下一只离线解已保管NetworkStatistics原__text（≤311296B TEXT），复用已验证LLDB空arm64e target+原始buffer方式，目标process始终invalid，不load/attach/execute/expression。保留已知nop/ret控制、全4B原编码/地址逐件核同及未知指令，不重写Mach-O；20秒/192MiB/32MiB输出、单并发O(指令bytes)。以11原导出入口及nlist定义明确边界作根，最多32768条审计路径/8MiB附加输出；邻近定义仅切片上界，不虚称完整调用图或精确系统构建。

参考Apple公开xnu-10002.1.13的bsd/net/ntstat.c与ntstat.h，将tag解析为固定commit并保存URL/总SHA/大小，单文件≤1MiB/请求8秒/最多两源，不运行外部代码。这里只是固定公开实现的E1候选机制；未核手机内核精确构建，不把tag相近当手机等价。核实际消息type/context/provider选择与counts字段复制，再追公开provider计数定义/缺失路径；任何布局/来源不一致保留unknown，不能凭字段名挑选有利抓包层。scope/packet-byte/方向/查询时钟/完整性及运行绑定Gate R保持，30/66、发送0/5、不进193/诊断/正式/接收。

原入口多为对ObjC selector stub的薄包装。为避免在这些跳板处猜实现，补充仅离线读取已有NetworkStatistics classlist/class_ro/baseMethods和shared selector字段，复用已核v3真链；≤128 classlist、256对象、8192方法、每字符串2048B/目标metadata2MiB、10秒/96MiB/8MiB输出。实际mask/布局不匹配则unknown，不触手机。只用真实类/方法IMP关联原query/count路径，原指令切片与运行绑定边界保持；不把redacted nlist本地条目当已恢复名字。

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

新两件392200192B/61记录122metadata前后核同、信号与launch/安装/新run/容量0；13新软件控制。65原跳板、248 exports/1870 nlist/11函数名、NetworkStatistics 94对象/1284方法及44533原编码分离核同E2，静态仍E1。默认provider选择和header-overhead返回分支已定位，不能视为统一字节层、重复serial原因或手机内核等价。LLDB traceback但exit0与独立host脚本失败均保留，新结果须显式核completed/sourceStable。30/66、发送0/5、Gate R未关；下一count snapshot/字典、provider和query context/回调时序及计数累计点，不进193/诊断/正式/接收。结果。

原计数快照与查询context有限合同 · 2026-10-19

文档类型devlog增量。前批d2785843已推GitHub核同，GitLab一次失败；同提交站点18.023291秒/聚合1439088640B、579页/747目标/674锚点无缺，发布和通知欠项继续partial。发送0/5、30/66与Gate R不变。

下一只读已有手机原件，不联系手机或获取新cache。固定NetworkStatistics Source的handleCounts、各TCP/UDP/QUIC快照构造和traditionalDictionary、NWSSnapshot原counts复制/字段装箱，以及Manager的queryAllCounts/queryAll/performQuery/startQueuedQuery/handleCompletion/handleMessage/dispatchDidReceiveCounts等；同时核既有DVT入口与回调相邻slice。以已核class/selector/IMP与导出地址为根，每根最多8192指令、总32768指令、selector≤512、附加metadata≤2MiB、字符串每项≤2048B/实际mapping内，输出≤12MiB。邻近IMP或导出仅切片上界，不虚称完整函数/调用图；间接block实现仅在原编码给出明确PC-relative入口后有界追加，超预算停，不猜运行绑定。

复用原TEXT、数据v3真链、selector片与新原导出表；精确记录counts结构偏移→snapshot偏移→原CFString键→DVT差分槽，header标志仅按已证分支解释；比较字段装箱是否出现字节修正，未审分支保留unknown。对查询记录请求command/context/sourceRef、排队/完成标记与回调调用点，区分query发送、源counts采样、服务回调和DTX交付时刻，不将host收到时刻倒推源时间。仅审固定公开ntstat.c/h已有候选内容；若需其他内核源码或运行数据先另立具体范围合同。

先pins/源SHA核同，再单次索引与有界切片/selector/ivar/CFString读取，时间复杂度O(原源SHA+指令+有界链)，单并发、预计≤2秒/每脚本10秒96MiB。LLDB已解原指令复用，不重启decode或执行代码。主reader完成后用独立算法核全部原编码/实际mapping/slot与具体所引用字面分支，不调用主解码器；资源相同。新元数据解析没有旧等价结果，不虚构提速；记录CPU/耗时/峰值，I/O瞬时峰unknown。全部失败与unknown保留，不删除旧反例或24尾缺口，不改变产品/指标容差；输出仍仅E1静态/E2复核，运行绑定、全scope/同层/方向/时钟/完整性Gate R未关则不进193/诊断/正式/接收。

公开计数累计点的四源补充 · 2026-10-19

原手机44根/5015指令、75 selector/363引用/86ivars与327原指针完成主读取和独立原字节核同；txBytes为原counts+24复制到snapshot+32后无变换装箱，仍不能由此指定底层packet-byte层。为沿公开候选的inp_stat查累计参数，只新增固定Apple XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a的四件：bsd/netinet/in_pcb.h、tcp_input.c、tcp_output.c、udp_usrreq.c。每文件≤2MiB、总≤8MiB、每请求8秒、串行4请求不重试、外层45秒/96MiB、证据预算16MiB；保存原字节/URL/commit/SHA，不执行下载代码。查宏定义/调用上下文及实际长度参数，失败原件保留；未覆盖IPv6/用户态provider或精确手机构建不外推。它仅E1公开机制，不能独自关闭Gate R或认定此前反例唯一原因。无手机调用/新采样/产品改动。

补充静态资格入口：仅在既有DVT原件中追加DTDeviceInfoService的symbolicatorSignatureForPid:trackingSelector:切片（≤8192指令，计入32768总预算），先审原代码的正常读接口、返回类型与副作用，再决定是否另立运行绑定只读合同。本段不授权立即调用手机selector。

当前系统定义与候选全局来源只读合同 · 2026-10-19

公开候选TCP输出在非零data len路径累计txpackets/txbytes，纯ACK路径分开；这提供不同口径的候选机制，尚未与手机精确内核/当前provider绑定。下一exclusive network-system-facts-a01只调用固定SDK DeviceInfo.system_information、mach_kernel_name、network_information、sysmon_system_attributes各一次，检查实际内核标识及是否存在可独立研究的整机接口计数源；不启动任何monitor、symbolicator/签名跟踪、attach或trace，不依赖名字假定字段存在。

沿前批完整fresh identity/原生RSD/SDK11.3.1/Lab18/产品idle、自有App idle、实际61封口/released及122metadata与既有基线核同/no pending/pins前后门；busy/漂移停止，signal/launch/安装/文件数据请求/新run/容量0，不在此合同正常退出。四答保留SDK-decoded typed对象（不是DTX wire），各≤1MiB、深度32/节点20000，总4MiB；每await8秒、整体90/外105秒/128MiB、预算8MiB/host≥10GiB且两倍预计量。接口/内核的标识原文仅私有；公开只记字段类型/计数能力是否存在，不出身份或网络地址。所有close及前后metadata复核通过才完成E3通道；系统输出不自动证明数值/运行映像绑定或关闭Gate R。若没有所需全局计数字段如实缺失，不自动试额外selector。

system-facts-a01新鲜准入核61封口/122metadata后因自有测试台在运行而拒绝，四信息请求0、signals0，5.136494秒/97157120B，关闭无错，原拒绝保留。原因unknown。沿Owner既有“自己退出吧”授权另立phone-owned-normal-stop-a08：以a01 metadata和其生命记录为冻结基线，完整新鲜身份/版本/产品idle/no pending/源pins与61封口检查后两次末尾生命必须与a01同一；先fsync意图再最多一次SIGTERM、≤3秒观察，不追新生命不强杀。退出前后全部122metadata SHA/产品与Lab idle/close核同；90/105秒128MiB、预算4MiB/10GiB空间门保持。无launch/安装/新run/容量。成功后另立network-system-facts-a02新连接重做全部准入，仅原四信息请求各一次；若再busy本批不追加signal，不能用退出回执代替新准入。

system-facts-a02新连接准入成立且idle；首个systemInformation收到实际服务UnrecognizedSelectorError，后3请求均未执行。该selector虽在固定SDK11.3.1暴露，但手机原DTDeviceInfoService方法表中也不存在，不能把SDK声明当设备能力。失败关闭无错，未运行失败后的metadata重核，保留为partial，不称全流程完成。正常退出a08已完整前后122metadata核同、1信号/9.061287秒/100958208B。本批不再调用systemInformation。

另立network-system-facts-a03，仅执行原计划尚未调用且手机原类方法表实际存在的machKernelName/networkInformation/sysmonSystemAttributes各一次，并加一个配对Lockdown.get_value(BuildVersion)只读版本字段；systemInformation不重试、不追加signal或其他selector。新连接按原完整61/122/idle/no pending/source pins/90秒105秒128MiB门重核，也用于核对失败a02后的metadata。返回仍用有界typed对象，定义及运行绑定仍须独立判断。所有失败原件保留。

system-facts-a03准入idle，BuildVersion、machKernelName和networkInformation三答已typed保管；networkInformation实际仅接口→字符串，不是字节计数。第四答sysmonSystemAttributes解码为Python set，既有raw_network_messages只支持原列明类型，因此主机序列化明确拒绝；该答未保管且失败后metadata重核未执行，不能称完整流程。machKernelName原答无xnu版本串，未证明候选精确内核。原a03失败保留，不自动重复前三请求。

先新增独立device_info_fact.py编码器：顶层set只允许≤4096个str成员，保存明确set标签与排序后的typed tuple，native类型继续既有transform，schema/预算≤1MiB/节点20000/深度32；nested set、非字符串set或未知类型拒绝。不放宽现有Raw/DTX对象encoder。5项纯软件控制覆盖native浮点/bytes保真、set无序/空集、nested和未知拒绝、大小上限。

之后新exclusive network-system-facts-a04仅重取一答sysmonSystemAttributes（a03该答未保管，明确新请求非旧答重建），不重复前三及不支持的systemInformation。仍全新61/122metadata/identity/Lab18/产品与Lab idle/no pending/pins前后准入，90/105秒128MiB，预算8MiB/host≥10GiB，无signal/launch/安装/新run/容量。若失败再停；完整成功后分离核全部已保存原答和metadata，不以工具通过当指标通过。

整机Sysmontap网络字段的有限探测合同 · 2026-10-19

文档类型devlog增量。a04已保管37个实际系统属性（含netBytesIn/netBytesOut/netPacketsIn/netPacketsOut），950B/SHA b75b4354b0e4ec86102f7a602e8cbfada5c16d65477e2f3d1ddf4971db3fe3ea；完整前后122metadata/idle/关闭成立，7.070291秒/97042432B。字段存在仅E3能力，不代表实际输出或口径已证。

新exclusive network-sysmon-probe-a01只启动一个独占DVT Sysmontap网络源，固定procAttrs=[]、sysAttrs依次为上述四字段、cpuUsage=false、physFootprint=false、bm=0、ur=1000、sampleInterval=1000000000；这是请求配置，不预认服务实际频率、字段顺序、累计/差分或源时间语义。自然观察12秒，不启动测试台、产品Session、pcapd/RVI或新配方；不生成run/容量，无signal/安装/launch。执行前完整新鲜61封口/released/122metadata、身份/版本/SDK11.3.1/产品及Lab idle/no pending/pins，结束后全部metadata SHA/idle/close再次核同；busy/漂移停止，不自动退出或重试。

主机专用TapService子类仅改本地queue关闭为immediate=false，不改selector、DTX派发或源数据。复用已验证capture_lifecycle，保管全部(data, bytes)/(plist, value)，包括首确认/未知/不能解码载荷；不使用会跳过解码失败的SDK receive_plist。stop一次≤8秒，quiet≤1秒/尾≤10秒，关闭专用源DVT一次≤3秒并观察本地terminal，仍保留另一DeviceInfo连接做后核；本地terminal/空队列不等于源无丢失。新增纯软件反控核实际SDK队列关闭仍保留字节/尾部/terminal，配置每次独立且只选四字段。原始对象保管器上限不变（单条1MiB/总64MiB/20000条/队列4096），整体90/外105秒128MiB、host≥10GiB且预计128MiB两倍，预计总≤30秒，单流O(原件bytes+metadata)，不全盘扫描。

离线穷尽所有保管对象，逐件SHA、原bytes/typed值、解析成功或失败均记账；原样输出的结构、字段长度、时钟和变化只能报告观察事实。主机收件时刻不替代源时刻，字段名不证明字节层或范围。另仅在已有DVT原片中审supported attributes/map、system table handler和record decoder，≤32768指令/输出12MiB/10秒96MiB，原编码与mapping第二读法核同，不重取cache或运行代码。正式五轮仍0/5、30/66、Gate R未关，不进入193/产品诊断/正式/接收。

a01完整三对象938B与前后122metadata/idle/close成立，20.163627秒/101449728B；实际k=0确认、k=8状态2147483648并明确Missing the 'pid' process attribute、stop后k=5，无数值样本。采集保管完成不等于源配置有效。原件及所有pins对应Python源独立保留后，新增network-sysmon-probe-a02，仅将procAttrs改为['pid']满足实际服务要求，其余配置/12秒/来源关闭与前后完整准入、资源上界均不变；进程标识原答仅私有，不作为进程指标测试。新软件配置反控后再执行一次，不拼接a01或自动换参数。已有DVT八方法1643条原指令已有限提取，外部调用名字尚未解析，不能提前宣称系统计数底层来源。

Implementation / Validation Update · 2026-10-19 · 整机Sysmontap候选

原count/query 44根5015编码独立核同；七动作仅1次授权正常退出、无新run/容量/安装/launch。37属性与真实表核同，新a02自然27对象/12组整机网络计数完整尾部保管，a01被拒及各失败保留。七动作61记录metadata原件和成功流程122份后核、30消息经第二reader核同E2；静态E1/通道E3，不是指标验收。下一仅新Sysmontap底层定义/全接口scope/源时钟和逐接口独立同窗参考；不进193/正式/接收，30/66、发送0/5、Gate R未关。完整结果。

libsysmon唯一候选片与累计字段合同 · 2026-10-19

前批cee3d3d1已推GitHub核同，GitLab一次失败；同提交网站18.212334秒/聚合1422737408B、579页/749目标/685锚点通过，发布/通知欠项保留partial。发送0/5、30/66保持。新全局候选尚缺底层定义，先仅研究原libsysmon映像（主index声明TEXT12283B）。VM候选位于唯一.39清单文件115163136B；候选suffix/VM起点不是实际mapping证明，取后必须核UUID/platform/actual mapping/Mach-O image UUID，再取原TEXT及load commands。

新exclusive network-libsysmon-subcache-a01仅该文件，复用selected_file原128MiB上界与已验证整文件索引接口，不新加range、不取全cache。完整新鲜61记录/122metadata/封口released/身份版本SDK11.3.1/Lab18/产品及Lab idle/no pending、全59 path-size/pins前后核同；busy停止，signal/launch/安装/新run/容量/归位0。单次文件请求45秒/每await8秒/list15/close3，整体90/外105秒128MiB；预算240MiB/host至少10GiB且两倍预计量，预计≤15秒、O(bytes+metadata)流式SHA，不全件驻留，不重试失败。

离线仅实际映像≤64KiB TEXT/≤128 commands、明确落在已有.54mapping的LC_EXPORTS_TRIE/LC_SYMTAB（各≤1MiB/4096项、名≤2048B）及libsysmon原导出调用，保留unknown/缺段，禁止猜imports或运行绑定。原指令复用空arm64e LLDB buffer解码流程，process必须invalid、不load/attach/execute，20秒192MiB/4MiB输出；其余reader10秒96MiB/8MiB、单并发O(全源SHA+小表+指令)。先原magic/UUID/映射/偏移控制，再独立第二算法逐原编码/slot/导出核同。重点审字段29–32对应getter与原累计点、接口范围/时钟；若外部函数或内核定义仍缺，只报告缺口，不从短时间单调样本推精度。无新monitor或参考run，本合同不关闭Gate R、不进193/诊断/正式/接收。

Implementation / Validation Update · 2026-10-20 · libsysmon原件

唯一115163136B文件一请求，完整61记录/122metadata/idle及原源SHA核同；无signal/安装/launch/新run/容量。12283B TEXT/1510原编码、36导出128 nlist、118间接项/55imports/176分支/7 XPC常量独立核同E2，代码E1/来源E3；服务端累计实现与优化调用目标未证。首错误断言和notEvidence临时inspect原件均保留，新a02明确调用绑定false。下一先新有限scope/时钟/独立参考合同，不能以客户端标识关闭Gate R；30/66、发送0/5，不进193/正式/接收。完整结果。

Sysmontap / 原生逐接口同场假设检验合同 · 2026-10-20

类型沿用本页 devlog。Owner授权同一AI分时完成方案、实现、测试和分离复核，无子代理。基线67ccb009；30/66、发送正式0/5、Gate R保持开放。此前客户端静态追踪不足以建立服务端定义，下一仅一次新的研究配对，不作正式轮或产品诊断。

独占范围与准入：新namespace network-sysmon-controlled-a01、新手机run前缀 network-send-20261020-sysmon-research-a01。先新连接实际枚举：Lab18身份/版本、61活动记录的122件summary/manifest与上一保管基线逐件SHA核同、全部封口/released、无pending、Lab及产品idle、phone free≥512MiB。读前后集合与metadata核同，产生仅本次一个研究槽的真实容量收据，180秒内执行器再次完整复核。run不存在且实际容量61→最多62；不归位、不安装、不删除、不把旧保全视作新的五轮容量。host≥10GiB且≥预算两倍，新增预算128MiB。

采集：复用已验Lab18，仅一次1MiB上传、并发1、服务限速256KiB/s、stage6秒，baseline/recovery各3秒，原生参考20Hz。临时host服务75秒寿命，全部任务正文hash与journal核对。Sysmontap配置保持已读四字段与必需pid，独占stream DVT，与控制连接分离；先启动18秒原队列保管，再2秒lead后launch一次，kill_existing=False。保留所有data/plist、ack/错误/stop与关闭尾部，不使用跳过解码错误的receive_plist。stop和独占DVT close各最多一次，继续用已有18+10+3秒生命周期；未知结果保留，不重发。新run五核心文件、全部有界附件、唯一typed export均先下载核SHA再解释。封口/全部工作释放与同生命两次核对后，fsync一次SIGTERM意图，最多一个正常退出信号；未知/换生命停止。事后完整核原61 metadata、新62集合、pending和产品/Lab idle；失败原件保留。

事前冻结的可反证假设：Hclock仅假定Sysmontap EndMachAbsTime与Lab mach_absolute_time为同单位同域整数ticks；不以host收件时间代源时间，不寻找最优offset/比例。每相邻System计数对，以两个End为端点，原System顺序必须匹配配置；Start/End及单调性逐件检查。64位System绝对累计绝不与32位逐接口绝对累计相加比较。原生每接口仅在拓扑/index/name/两type/flags/MTU/timebase稳定、整个端点包围窗所有相邻计数无下降时可差分；下降/换配置/缺快照均missing，不作模回绕修正。

对每端点T取最后 snapshot.endTicks≤T 的L及最先 snapshot.beginTicks≥T 的U；没有两侧快照即missing。对A<B及单接口单字段，候选差分包络为 [max(0,C(L_B)-C(U_A)), C(U_B)-C(L_A)]，出现负上界/时序矛盾即missing。只检验两项预定scope假设：Hsum-all为所有接口差分包络之和；Hsum-nonloop为固定IFF_LOOPBACK(0x8)之外接口差分包络之和。两者均为研究假设，crossInterfaceSumAllowed=false生产合同不变，不按观察结果拟合子集。发送bytes/packets逐对报告原System delta与每接口包络及两假设包含/反例/缺失；接收原值保管但不验收。精确整数包络、不额外容差、不剔除ACK或重复、不外推物理层。全部吻合最多说明未反证，不能证明全scope/时钟校准/服务端定义，也不能关闭Gate R。

资源与复核：关键路径单流O(原始bytes+122metadata)，离线O(S×I+R)，S≤32、参考≤400、接口≤64；单call8秒/close3秒，整体100秒、外层110秒/192MiB，预计25–40秒；本地工具控制≤10秒/128MiB。新source freeze与执行前后SHA、首保管/全量耗时、CPU/RSS/I/O与峰队列记录，沿用已验Lab18完整成本门且报告本次实际mean/P95/max/gap。先控制边界/重置/拓扑/缺包围/反例与queue-once，再真机一次，后另一路plistlib UID解码与直接整数算术复核，不复用主比较器。失败不补跑或拼接旧样本。依据实际反例决定后续源时钟/producer合同，不自动进入build193、正式五轮或接收验收。

新配对首次准入被拒与正常退出合同 · 2026-10-20

network-sysmon-capacity-a01实际61封口/released、122metadata保管，但自有Lab有进程，按idle前置拒绝；5.630557秒/102891520B，请求Sysmontap/launch/signal/新run/容量收据均0。不认定重新出现的原因。Owner既有正常退出授权持续有效：独占phone-owned-normal-stop-a09完整重核a01当前同生命、122metadata与最新libsysmon封存基线一致、Lab18身份/版本、无pending/产品idle，首尾两次同生命后fsync意图，最多一次SIGTERM、3秒有界正常退出观察，不强杀/重发/launch。退出后重核61集合/122metadata/idle与关闭。90/105秒/192MiB，预算4MiB。成功后仅新network-sysmon-capacity-a02重核原61完整合同并创建一次研究容量；再次busy则停止本批手机动作，不自动再signal。a01失败保持不改判。

配对收据失败及只读补审合同 · 2026-10-20

a09一次正常退出/122件metadata前后核同，a02 fresh容量成立后a01仅一次研究上传；已有39个Sysmontap对象/完整停止关闭尾部、封口run文件和122件post metadata，但最终result未写成：新增download收据的AFC stat含datetime，json.dumps抛TypeError。guard exit1/28.841194秒/109445120B，失败保持，不能从目录齐全推测所有内存门禁或关闭结果。executor-sources中的实际旧源码保持不改。

仅修host收据显式datetime编码、call append日志与分阶段checkpoint，补软件日期/未知类型控制，不重新launch或signal本配对。新独占network-sysmon-postflight-a01只读重新核62活动（原61＋唯一研究run）、旧122metadata与基线及新run两metadata一致、全部封口/released/no pending、Lab/产品idle；读取这一个run实际所有有界文件和唯一typed export至新namespace，与首次副本SHA逐件核同，保管源stat与SHA。新补审只证明当前源与首次原件核同，不伪造丢失的执行result/call记录、历史关闭成功或执行通过。90/105秒/192MiB、预算16MiB、单call8秒/close3秒。任一busy/变更/缺失即停止，不重发手机动作。

离线比较器可以对原raw和经独立补审核同的同一run研究数据检验已冻结假设，输入状态明确为执行最终收据失败，不能把后验补审拼成一次通过的执行。若原始所需字段或时窗不足，报告missing；不重传、不调阈值。Gate R、30/66、正式0/5不变。

原生字节粒度来源的有限公共源码核验 · 2026-10-20

独立复核17对/10可评估区间重现8个bytes反例、packet反例0；241快照的14942字节观察中5784个非零均为1024倍数。这仅观察，不能宣称唯一原因。下一仅固定此前XNU commit 1031c584a5e37aff177559b9f69dbd3c8c3fd30a 的 bsd/net/rtsock.c 与 bsd/net/if.c 两源（各≤512KiB、总≤1MiB、单请求15秒/整体35秒/128MiB），保留原bytes/SHA/URL，不下载整个仓库。静态检查iflist/iflist2对非platform调用者的ALIGN_BYTES、1024参数、uint32 cast与if_data转换；来源E1，不证明当前手机内核等价或实际调用绑定，不更改本轮包络、不把1024作为拟合容差。若存在量化机制，先将独立来源与不确定性入知识，另立源推导的计数不确定区间合同及新留出检验；本轮旧反例永久保持失败。

Implementation / Validation Update · 2026-10-20 · 同场研究结果

一次新研究上传及39原对象/18System/241原生快照保留；执行最终收据datetime失败未改判，新只读8文件源SHA/62集合及旧122metadata补审核同。17对独立复算、10对可评估的all/nonloop各8字节反例，packet反例0；5784非零原生bytes均为1024倍数，固定公开XNU两非platform对齐分支仅E1机制候选。13软件控制通过，不替代指标。下一量化来源和源时钟合同；30/66、正式0/5、Gate R未关。详见本次结果增量。

量化模型与设备源时钟资格合同 · 2026-10-20

类型devlog增量；基线cd202d27，30/66、发送0/5、Gate R未关。上轮是实际进展：8字节反例及1024粒度改变下一步方向；原执行收据失败不回改，后验补审不代替历史成功。本轮先冻结来源推导模型和有限时钟证据，再决定新留出，不重复旧上传。

1. 仅公共固定XNU commit的bsd/sys/param.h、bsd/sys/systm.h两候选头（各≤256KiB、合计≤512KiB、单请求15秒/整体35秒/128MiB），系统curl正常TLS保管原字节/URL/SHA，找P2ALIGN确切定义；不取全仓库。若两头无定义，明确缺失，另定来源范围，不猜宏。复用已核rtsock/if.c原件，证明1024对齐及uint32转换的具体表达式。公开来源仅E1，当前手机内核与运行绑定仍未证。
2. 冻结条件模型Hq：仅在该公开机制适用、同高32位/无跨越完整回绕且计数同层时，q为原生字节读数，则真实累计低32位∈[q,q+1023]。每接口同时间包围候选差分为[max(0,q(L_B)−q(U_A)−1023), q(U_B)−q(L_A)+1023]；packet包络不变。仅原始q均1024对齐、全span拓扑/flags/MTU/type/timebase稳定、无任一计数下降才计算，否则missing。原始精确模型及8反例不改；Hq不输出整机真值或生产rate，不取消crossInterfaceSumAllowed=false，不从样本拟合1024或接口子集。既有样本只能作模型诊断，下一独立新前缀留出才可检验泛化；吻合仍不证明无完整回绕、全scope或时钟。
3. 零手机调用的有界clock静态切片仅DTDeviceInfoService.machTimeInfo、DTSysmonTapLocalDelegate.start（含至下一已知IMP的匿名块）和system handler。复用原1MiB TEXT/177962编码及原metadata、class/selector/stub/exports，≤4096指令/根、总≤8192；核原编码与范围，保留unknown/未取优化目标。不把下一IMP当已证函数末尾，不从导入名推调用绑定；预计<2秒、每工具10秒/128MiB、输出≤8MiB、O(既有源SHA+流式编码)。如参数来源仍未证，再按实际结果冻结一次无新run的原生machTimeInfo/Sysmontap配对；不自动下载新手机缓存。
4. 软件验证覆盖32位边缘、全部1024余数与端点孔径、负差分/重置/配置漂移、未知类型及整数大值；新增模型与精确模型分开版本。效率以实际241快照/31接口/18System规模及400×64×32上界，记录原精确与Hq的耗时/CPU/RSS/首结果/输出量，不重复已验host180秒或历史指标。任何真机动作另先新鲜实际62集合/124metadata/idle/no pending/身份版本及空间准入，旧62不作新容量。当前不进193/产品诊断/正式/接收。

宏定义缺失后的include链边界 · 2026-10-20

首两候选头param.h/systm.h分别10144/11273B均无P2ALIGN定义，负结果保留。只沿systm.h实际include的libkern/libkern.h及rtsock.c实际include的bsd/sys/mcache.h再取两固定源（各≤128KiB、单请求15秒/整体35秒/128MiB）；不遍历全仓库。如果仍缺宏定义，Hq保留条件假设，不称公共表达式已完整证明。已取三clock slice为1281条、33selector/6外部stub；返回六字段的装箱路径可见，外部调用名尚未证，不据此认定首字段是当前绝对时钟而非同步快照。

无新run的时钟结构探测合同 · 2026-10-20

mcache.h原宏及1281原编码已第二读法核同E2；公开宏是清低10位，仍仅E1适用候选。Hq软件14控制及1048576端点余数组合通过；首反控fixture注入receive非零后回零导致reset而非alignment，失败保留，修为单调fixture后通过。原17对的Hq诊断为7 missing、10包含，原精确8反例不变，非留出、非Gate R通过。外部时钟符号/回调寄存器来源仍缺，不再以静态签名猜名字。

下一仅exclusive network-clock-probe-a01：复用当前Lab18/Mac192，无新run/容量、无signal/launch/安装/归位/删除、无pcapd/RVI。执行前新鲜实际62集合/124件metadata逐SHA与postflight-a01核同、全部封口/released/no pending、Lab及产品idle、身份/版本/SDK/pins与host空间≥10GiB且≥128MiB预算两倍；busy或漂移即停止，不自动退出/重试。无需五轮容量，旧capacity不可当本次准入。

专用Sysmontap DVT请求原四字段/必需pid，12秒全对象保管，stop≤8秒/quiet≤1秒/尾≤10秒，源DVT close一次≤3秒/本地terminal。另一个控制DVT仅调用实际SDK mach_time_info()：开始前一次、窗口中最多5次（间隔约2秒）、结束后一次，总≤7；每次≤8秒。保存SDK解码后原类型typed reply及host monotonic调用包围，不称原wire bytes、不按SDK dict注解强制转换。任何接口失败不重发、不换selector；已开始的stream仍按原生命周期收尾并保留失败。调用日志append+fsync、分阶段checkpoint及原子最终result先行，不能再因最终序列化失败丢全部call事实。

离线先核实际list/dict/字段类型、非负整数范围与两整数timebase候选；对第0及第3字段仅报告观察和各自按字段1/2换算的相邻增量、host调用包围区间，不拟合offset/scale，不先命名为absolute/continuous。报告System End是否位于开始/结束第0或第3字段之间、间隔/比例是否矛盾；即使兼容仍不证明精确同域、累计层或全scope，不闭Gate R。前后再核全部124metadata/62集合/idle/no pending/pins/全部close。整体90秒/外105秒192MiB，预计20–30秒；单并发O(原件bytes+metadata)，输出≤64MiB/每条1MiB/20000条/4096尾对象，手机原文件下载0。随后独立typed及plistlib读法核全部reply/对象/时间算术；失败不补采。下一是否新留出由真实结果决定，不进193/产品诊断/正式/接收。

时钟首准入busy后的单次正常退出决策 · 2026-10-20

a01实际62条封口/released及124metadata保管，无pending，但自有Lab有进程，5.411387秒/99368960B/exit1，config/start/clock/signal/新run均0；全部资源close成功，失败原件保留，不猜再次出现原因。该批手机探测已停止。Owner既有正常退出授权仍有效，现另立phone-owned-normal-stop-a10，完整重核a01同生命、62集合/124metadata逐SHA与最新postflight基线一致、Lab18身份版本、无pending/产品idle；首尾两次同生命且全封口后fsync意图，最多一次SIGTERM、3秒有限观察，无强杀/重发/launch。后核124件SHA、集合/idle/no pending及close。90/105秒192MiB、预算4MiB。成功后仅新network-clock-probe-a02重新执行上述完整准入与原12秒/≤7reply合同；再次busy停止该批，不循环signal或probe。两namespace不拼接，a01不改判，无新容量或研究上传。

独立量化留出研究合同 · 2026-10-20

a10一次正常退出/124metadata核同；新a02七个实际6项list/27流对象（停止后4）、12个System及前后124metadata/idle全部分离核同。第0/3字段各6个相邻换算增量均在host调用时长包围内，但System End仅12/12位于第0字段前后回复范围，第3字段0/12；两字段差恒定，不拟合平移或把第3字段套用。该E3观察支持原同tick假设继续试验，未证明原函数名或精确校准。

仅新network-sysmon-quantized-holdout-a01及新run前缀network-send-20261020-sysmon-holdout-a01，冻结Hq版本conditional-floor1024/1与旧精确模型两路；同高32位/公开机制适用/同层三前提明确是待验证的研究声明，不能用包含结果反推前提为真。先network-sysmon-capacity-a03新连接核实际62集合/124metadata、全封口/released/no pending/身份Lab18/OS/SDK/pins/产品及Lab idle、phone≥512MiB/host≥10GiB且预算128MiB两倍，新名不存在；仅一个研究槽62→63，非正式五轮容量。执行器180秒内再次核同。busy不自动退出/重试，失败保全。

修复后的研究执行器首次新手机运行，原61/62硬编码改为从新真实capacity读取起始整数1..63、metadata长度相符及终值恰为起始+1；拒绝bool/无槽/不匹配，不放宽64上限、不使用旧容量。call append增加fsync，其余一请求1MiB/并发1/256KiB每秒/stage6秒/前后各3秒/原生20Hz及18秒Sysmontap合同不变。一次新launch、完整封口/释放/两次同生命后fsync意图，最多一个SIGTERM，全部7源文件与唯一typed export、全部前后旧124metadata原bytes保管。stop/独占close各一次，完整尾部保管，真实执行result须原子写成且所有close/sourceStable通过，不能补造首次失败结果。

先以5个收据/容量控制及既有3个queue反控核同，后执行一次；整体100秒/外110秒192MiB、单call8秒/close3秒、服务75秒，预计25–40秒，O(bytes+metadata)。分析同时保存两模型17对（实际数量以新原件为准），不拟合/删值/加容差；缺原生包围或重置仍missing。新留出条件字节反例任何一个都阻止模型资格；零反例只支持有限样本兼容，不解除scope、层/实际机制/精确时钟门。原精确8反例、旧24尾对象缺口及收据失败永久保留。离线主模型实际/上界基准为O(P×R×I)（每区间重复完整验证），与旧精确实现同阶；已测17×241×31为0.246→0.261秒，32×400×64为1.426→1.490秒，非产品路径且低于10秒/128MiB门，累计高水位不当作独立内存增量。不进193/产品诊断/正式/接收。

Implementation / Validation Update · 2026-10-20 · 量化/时钟与留出未启动

Hq研究模块、14个精确/量化控制及1048576余数组合、5个收据/容量控制通过E2；原17对诊断7missing/10条件包含，8旧精确反例不变。1281原编码及mcache宏第二读取核同。首probe idle拒绝后一次授权正常退出，新a02实际7×6项list/27对象/12System及完整尾部复核；仅第0字段12/12包围源End，非精确校准。新留出capacity-a03再被真实新进程拦下，未生成容量、上传/新run0，停止本批手机动作，不循环signal。下一有限只读生命期观察及新的idle/capacity/留出合同；30/66、发送0/5、Gate R未关。完整结果。

新生命的有限只读观察合同 · 2026-10-20

9051696f已推GitHub核同，GitLab一次失败；同提交站点18.619601秒/聚合1354694656B通过，579页/755本地目标/720锚点无缺，网站/Webhook欠项继续partial。前批已结束，无新留出上传。本批仅network-owned-life-observe-a01，复用capacity-a03身份/版本/SDK/产品idle/空间/原件pins准入；新连接完整核62集合/124metadata与a03及clock-a02相等、全封口/released/no pending，允许被观察的自有Lab有进程，不将其叫空闲或容量资格。最初查life、metadata后查life、再等3秒后查life及结束前life，全部直接保管；无signal/launch/安装/采样/新run/容量/归位/删除。

只有process_key完整identity/executable/birth成立才记录生命；与a03比较同/异生命，原始life仅私有。不推断启动者，不以稳定PID推断CPU空闲，不因旧run封口认定新进程没有工作。后核全部124metadata SHA/集合/no pending/产品idle，记录当前life是否稳定、出现/退出/变化，变化不归因。整体90/外105秒128MiB，单call8秒/close3秒，预计10–15秒、预算4MiB、O(metadata)，不全盘扫描。若观察支持当前生命稳定且所有记录保持封口，另定一次同生命退出及紧邻准入合同；本合同本身不发信号，不自动重试被拒的留出，不进193/正式/接收。

稳定新生命与紧邻独立留出决策 · 2026-10-20

观察脚本首次准备assert失败、文件未生成；外层a01因此exit2/0.026432秒/10354688B，手机调用0，原错误保留。修正精确字符串替换后，同一观察合同实际namespace改为a02（仅host脚本/namespace偏差，不扩大手机动作），10.850704秒/96698368B通过；四个完整生命观测一致，但与a03拒绝时生命不同。全部62集合/124metadata前后SHA相同、无pending、产品idle、close无错，signal/launch/采样0；不能确认启动者或说明CPU空闲。

现独立下一合同：phone-owned-normal-stop-a11以a02为最新生命与124metadata基线，完整身份/版本/SDK/全封口/released/no pending/产品idle/空间/pins及首尾两次同生命后fsync意图，只允许一个SIGTERM；3秒有限观察/独立idle及全部124metadata/集合/close后核，失败不重发。成功后同一个host串行调度器紧邻执行新network-sysmon-capacity-a04，再次完整62/124与idle/phone≥512MiB准入；只有真实capacity在180秒内成立且scope为一个研究槽，才执行network-sysmon-quantized-holdout-a02，新run为network-send-20261020-sysmon-holdout-a02，62→63。

三步骤是一次有界尝试，不是循环；任何一步失败停止后续，不新增退出/准入/上传重试。调度器本身无手机API，子进程顺序完成，分别105秒192MiB/105秒192MiB/110秒192MiB，通常总<60秒；退出步骤预算4MiB，其余128MiB，执行器及完整采集/尾部/保全/分离反证门全部沿上文独立留出合同。冻结9051696f中的Hq/精确模型和当前执行器源码；新实验不能修改模型、时钟平移、接口集合或阈值。成功的上传执行和条件区间包含仍不等于Gate R或正式验收，原失败全部保留，30/66、正式0/5不变。

容量schema字段缺失后的host修复决策 · 2026-10-20

a11一次SIGTERM后全部124metadata/idle/close成立，9.643408秒/99418112B；新a04完整只读62集合与124metadata前后核同及idle成功，7.363222秒/99926016B。但由旧a03派生的host收据漏了actualActiveRuns，仅写activeRunCount；调度器在读取必填字段时KeyError并已停止，上传执行器未调用、holdout-a02目录不存在。不把该schema不完整收据作为正式可消费容量，也不回写旧result。

仅host修复：新network-sysmon-capacity-a05在同样新鲜全量准入成功后，显式写入actualActiveRuns=len(names)、allActiveSealedAndReleased、startupPending和实际names摘要；落盘前使用已测research_start_count校验真实count/metadata长度。所有值来自本次实际读取，不继承旧固定数字。先以离线反控核缺字段拒绝、实际62/metadata接受、64无槽拒绝，再一次新只读完整准入；不新增signal/launch，busy即停。成功才紧邻执行尚未开始的holdout-a02，源收据≤180秒、其余原合同不变。新a05是对已定位host字段bug的单次修复验证，不循环退出或调采集参数，旧a04和调度器失败永久保留。

Implementation / Validation Update · 2026-10-20 · 独立留出结果

新生命观察/一次退出/新容量后，host容量schema字段缺失导致调度器停于上传前，原件保留。新a05重新实际62/124完整准入并验证schema，新holdout-a02仅一次上传62→63；原子result/全部close成功，39对象/18System/241参考完整保管。17对中6missing、11可评估的两scope Hq bytes/packet均包含、精确bytes仍6反例，独立原件/整数/全部248前后metadata与8源文件核同。旧8反例/失败result/24缺失tail不变。下一能区分all/nonloop的有限loopback/对照设计，Gate R未关，不进193/正式/接收；30/66、发送0/5。完整结果。

Lab19有限loopback与scope反证方案 · 2026-10-20

类型沿用devlog；基线7931ede2。前一goal turn为progress：新独立留出11条件包含/6missing、完整执行收据恢复，改变下一动作。30/66、发送正式0/5、Gate R未关。同一AI分时方案、实现、测试与分离复核，不创建子代理。Owner已授权继续当前指标与内部自有Lab升级；本方案不进入产品build193或正式轮。

冻结问题与判据

现有两次外部上传中all/nonloop均兼容，不能据此证明完整scope。只增加自有Lab19的可控loopback工作负载，随后同版本loopback与外部端点各一个新研究run；Hq conditional-floor1024/1及旧精确模型、四字段、源End时钟、缺失/重置规则完全冻结，不加容差/拟合offset/接口子集。原8反例、新6精确反例和缺失区间不改。

scope判别先检查所有原生接口的固定IFF_LOOPBACK(0x8)，不按名字筛选。以真实Sysmontap相邻End和完整原生快照计算原两项包络；至少一个可评估区间中all与nonloop的bytes区间必须不相交，该区间才有判别力。正文1MiB完整SHA、client/network transaction loopback地址、接收器实际loopback绑定/peer、接口原生发送增量和时窗共同核查，HTTP正文不是整机真值。只在全部可评估区间不存在相应scope反例、且有至少一个判别区间排除另一scope时，报告该设备/OS/版本/实验对哪项固定scope的有限支持。两者都含、都不含、缺判别区间、counter-reset/拓扑漂移或执行/原件不完整，均不做scope定论；不删除不利区间或重跑直到出现有利结果。即使分辨成功仍不能自动证明字节层、公开机制适用、完整高位或精确时钟，不自动关闭Gate R。

最小实现与兼容边界

• 自有Lab版本90.21.19；保留原network request/1的endpoint语义，新增可选loopbackServer布尔字段，缺省/false仍连接Owner传入的已有端点，不自动把127.0.0.1变成内置服务。true只允许IPv4 127.0.0.1、明确端口、最多一个stage/并发1/正文1MiB、总计划≤30秒，空stage只供观察/开销资格。端口由host选择一次并写入请求，手机bind该端口失败即留证停止，不遍历端口或重试。
• 新独立Swift接收器只用Darwin TCP socket/loopback bind，不创建常驻服务、不新增系统权限或修改产品采集。每run最多一个accept，backlog1；监听及连接均nonblocking，poll≤50ms，硬截止≤35秒。只有socket线程关闭FD；stop在锁内shutdown并等待≤3秒的实际线程退出，FD/线程关闭不成立时workloadReleased=false。监听/连接均启用SO_NOSIGPIPE，拒绝非loopback peer。
• HTTP/1.1仅接受POST /{本次token}/upload，header≤16KiB、固定唯一Content-Length/X-Lab-Bytes/X-Lab-Request-ID/X-Lab-Rate，正文恰1MiB，拒绝Transfer-Encoding/Content-Encoding/Expect/重复字段/未知method/path/大小/速率/提前EOF。逐块≤64KiB接收与SHA，不全正文驻留；按服务读速率有界等待，不能把server read limit说成client wire rate。成功仅完整正文hash与固定Z载荷一致后返回原协议bodyBytes/bodySHA256，响应≤1KiB、Connection:close，部分send处理。原header/接收字节/开始结束ticks/正文SHA/实际发送响应字节/错误与关闭状态进私有server收据，失败也保留。
• engine在独占store/载荷后、baseline前启动接收器；正常、cancel、失败均先观察关闭再封口。现有sessionInvalidated仍仅表示URLSession，不借它表示接收器关闭。新增可选事件serverReceiptFile引用本次独占server收据，原高频reference编码只有该字段nil才走快路径；旧事件无此字段、旧request语义不变。summary.workloadReleased同时要求client session和接收器真实释放；effective-config明确loopback模式与原launch request。manifest核心4件/typed export核心5件保持，新增收据由事件SHA附件保管并纳入源导出下载/独立复核。

软件与资源门

先host控制和完整实际1MiB流：原请求缺省兼容、真/假模式边界、非法loopback地址/端口/多并发/大小拒绝；协议解析的header分片、重复/超限/错误token/编码/短正文/错误hash/超时；真实URLSession上传、client/server SHA及transaction、cancel/idle-stop/重复stop/失败资源释放、端口冲突不重试；engine完成/失败/恢复及事件附加字段快/慢编码等价。旧19个Sysmon/量化/收据控制按相关性保留，不重测历史指标。匹配host规模的基准同一1MiB/256KiB每秒，比较旧外置host服务与新run内服务的完成时间、首响应、吞吐、CPU/RSS/I/O；host E2不能替代iOS E3开销资格。

关键路径O(正文bytes+参考条数+header)，header16KiB/收块64KiB/响应1KiB/单连接/单worker，服务额外常驻buffer预算≤128KiB（Foundation/socket内核开销另报）。编译单job≤120秒/1536MiB，host控制≤60秒/256MiB；1MiB上传的6秒stage/整体≤30秒，预期约4秒正文接收，首响应需在stage deadline内，不能保证线速。正常stop观察≤3秒，不sleep长期阻塞UI或增加轮询频率。参考20Hz完整成本mean/P95≤1ms、OFF/ON CPU增≤2点/footprint增≤20MiB门不变；均值/P95之外max/gap单列，I/O瞬时峰无法直接测则unknown，不虚构提升。签名/独立解包/实际sourceDigest核同后才升级测试台。

手机前置与后续独占范围

本轮先实现/host验证/构建并分离审查；尚无新手机写入。当前旧63仅是上一收据，不作新的idle或容量。升级前新鲜实际枚举/完整Documents文件清单与源host SHA保全、身份/旧版本/封口released/no pending/产品idle核同；自有Lab若有进程，按已有授权仅在另立同生命退出合同后一次SIGTERM，不盲退出。单版本覆盖安装，手机原件前后全SHA和源清单核同；未知/失败停止，不卸载或删除。签名资料及设备身份仅私有，公证仍暂缓。

保全后先按真实文件/旧版本/用途选定必要归位记录，完整原件/附件/export与独立SHA核同后仅同容器保留rename，活动数量必须守恒、exports原位、删除0；不按年龄清证据。需要四工具资格、OFF/ON和两个新研究共8个新槽时，真实活动须≤56；实际集合/容量收据另行冻结，不使用63的旧数字生成容量。新namespace/prefix、全部原件保管和stop/tail合同在软件资格和实际容量明确后再落盘。任一工具/成本/执行失败不进入下一手机步骤。最终仍需新scope结果/层/机制/时钟Gate R，之后才考虑产品193、诊断及新完整五轮；接收验收不开始。

Implementation Update · 2026-10-20 · Lab19 host实现进行中

已新增FixtureLabLoopbackServer.swift（单socket worker、固定loopback bind/peer核查、受限HTTP接收/SHA/响应/关闭收据）；network request新增可选loopbackServer，engine新增serverReceiptFile附件和client+server双释放封口，reference快路径对新附件显式fallback。build_native_lab显式18个Swift源/90.21.19候选，host driver登记接收器控制。network_tool_verifier补新附件SHA/真实loopback绑定/实际socket字节记账/关闭和正文确认，不把HTTP正文当设备真值。Mac产品192与手机Lab18均未修改或安装。

核心类型检查通过。首host控制因测试IPv4字面量推断Int而不能赋给UInt32，编译失败原件保留；显式UInt32后新a02编译4.231933秒/峰189022208B，32控制及真实URLSession 1MiB接收/SHA/取消/坏协议/关闭通过，运行5.035867秒/16171008B，phoneActions0（E2）。接收器收据另保管socket总接收字节和被拒header后的有界prefix，避免把已收但未准入的字节默默丢账；不保管整正文于内存。原engine及编码兼容、完整engine新模式、匹配规模基准、签名构建与分离审查仍待，不能称Lab19真机可用。

静态复核发现关闭等待/限速使用NSCondition的Date deadline，硬时限应避免系统墙钟变化的影响；实施前修订为DispatchTime单调相对超时与单次唤醒信号，锁只保护FD/状态，不在持锁时等待完成。worker仍≤50ms有界等待，stop≤3秒，不改正文/模型/采样频率。该修订须重新完成真实接收器及engine关闭反控，旧host通过只适用于其冻结源码。

Validation / Review Update · 2026-10-20 · host对照及关闭返回值门

DispatchTime修订后接收器32控制/真实1MiB、engine50兼容控制、编码58控制通过E2。7931ede2实际原源码另编译作baseline，与新模式同1MiB/256KiB每秒各3次：整体约8.10–8.41秒，首响应约4.01–4.08秒，均满足阶段deadline；另主动取消及未知连接为cancelled/partial且释放成立。三份重新核SHA后的伪造关闭/字节记账/模式收据均被consumer拒绝。原数据/首测试类型失败保留，尚无手机动作或scope结论。

分离源审又发现FD close返回值被忽略，只有线程finished不足以证明资源释放。现先收紧质量合同：每个已拥有FD仅关闭一次并记录label、返回码及errno（不在未知EINTR后盲目重试，以免关闭已复用的FD）；closed只在worker结束且全部close返回0时成立。setup阶段若关闭未确认也显式报closeUnconfirmed，engine不能把这类错误记为workloadReleased=true。线程退出与FD关闭分开判定，失败收据保留；无新容差或自动强杀。需新关闭控制和完整新模式运行验证，已有基准只代表其冻结旧close实现，不冒充修后版本证据。

Validation Update · 2026-10-20 · 最终host原件及编译资源资格

close返回修订后新receiver40/engine50控制通过；新完整同规模基准仍为旧/新各3次，外置/内置首响应mean4.018036/4.093566秒（增加约0.076秒，不称提速），整体mean8.194504/8.118734秒。client窗口采样聚合RSS最大50970624/52789248B，完整任务CPUmean0.267249/0.206987秒；设置/关闭方式有差别，不解释为单一热点或手机收益，瞬时完整CPU/I/O峰unknown。八run共1103事件、5份server收据与全部正文/附件/计时、FD返回码经不导入primary verifier的第二读法核同；四种重新核SHA的伪造收据（含close返回非零但closed=true）均被拒。

18源iOS ARM候选构建、内部开发签名及独立IPA解包6文件/严格签名成立E2，尚未安装。首次编译仅有time -l单进程高水位247480320B，没有完整进程树聚合峰，不能将其描述为聚合资源门通过。现仅对相同SourceDigest再做一次lab19-native-resource-a02构建资格：源码/SDK/flags不变，host coordinator整体120秒/采样聚合1536MiB/进程树≤32、约20ms采样，超门只终止本次host进程组，不操作手机；同时保留wait4高水位与CPU、完整input pins。通过后以此同源实际产物重新签名/独立解包作当前候选，旧签名候选仅私有审计不安装。这个有界补测只解决已确认的编译聚合证据缺口，不重复历史指标或放宽资源门。

Implementation / Validation Update · 2026-10-20 · Lab19软件准备收尾

最终receiver40/engine50/编码58目标兼容控制、8个真实host run及4个语义伪造反控通过E2；独立核1103事件、5 server收据、完整正文/SHA/计时及FD close返回。相同源18 Swift ARM资源构建16.803286秒/聚合298139648B/峰5进程，通过120秒1536MiB门；当前IPA开发签名、独立解包6文件与严格签名核同，phoneActions0/未安装。新源首响应mean4.093566秒较baseline4.018036秒略增，如实保留，不外推iOS。下一新手机只读清单/保全/升级准入，再E3工具/成本与scope实验；30/66、发送0/5、Gate R未关。完整结果。

Lab19升级前只读准入合同 · 2026-10-20

ab0f6980软件交付已推GitHub核同，GitLab一次失败；同提交站点18.776738秒/聚合1373863936B、579页/762目标/777锚点通过，发布/通知配置欠项沿授权partial。现在仅独占network-lab19-readonly-a01，不安装/launch/signal/采样/新run/容量/归位/删除。

由上一次真正完成的holdout-a02之124件前后metadata及新run两metadata生成可追溯的63项历史比较基线；该基线只作旧数据SHA比较，不叫新的实际枚举或容量。新连接核目标身份/产品/OS与已有静态源版本、SDK11.3.1、现有Lab18身份/版本、当前Mac产品idle/活动任务/host空间，再实际枚举63集合并逐件读取126件summary/manifest（≤64KiB/件、源stat前后稳定、全封口/released/no pending）。集合/版本/旧数据漂移立即停，不收新未知run入旧基线。自有Lab可以存在进程，只记录完整identity/executable/birth的四次生命，不推断CPU空闲或启动者，也不因此发信号。

在上述只读一致性成立后，仅遍历该自有App的/ Documents实际树（路径规范化、depth≤16、目录+文件≤4096、只接受常规文件/目录、总bytes≤4GiB），保存原stat/大小/mtime与完整清单及清单SHA；不读取其他App或全盘。结束再核126件原bytes SHA、集合/no pending/当前life/产品idle和所有资源close。每call≤8秒/close≤3秒、整体90/外105秒192MiB，预计15–30秒、host≥10GiB且预算128MiB两倍；单并发O(metadata+文件数)，append/fsync call日志及检查点，显式日期编码/原子result，失败原件保留。此步只证明当前读取状态，不证明全部Documents源SHA或可升级；源SHA全量保全/必要退出/安装及保留rename须据真实清单再定独占合同，绝不把stat相同当hash相同。

Lab19同生命退出与全源SHA保全合同 · 2026-10-20

新readonly-a01 E3只读/guard通过16.120250秒/109559808B，实际Lab18/63集合、126件metadata前后SHA、无pending/产品idle及五资源close成立；四次生命稳定但进程仍存在。真实Documents为2757文件/3879024186B，尚未源SHA保全，不是容量或升级许可。

先phone-owned-normal-stop-a12重新核当前Lab18身份/版本、63集合/126metadata与a01原件一致、全封口/released/no pending/产品idle及host空间；可与上次readonly为不同生命，但此次初始/全部metadata后/发信号前两次必须同一完整life。最后再核集合/pending，fsync意图后最多一个SIGTERM，3秒有限观察/独立idle；后核126原件SHA/集合/pending/产品与全部close。失败不重发、无强杀、无launch/安装/新run，90/105秒192MiB，预算4MiB。

成功后紧邻只读documents-sha-lab19-a01：历史全保全manifest及其admission SHA核同；新的实际2757清单原件保留，另产生仅将datetime ISO的T分隔符转为SDK str同义形式的派生输入，原始清单SHA与规范化SHA均保管。复用目录仅为存储候选：2695文件/3870568896B（2659同路径、29保留rename提示、7固定测试payload名/大小提示），62新文件/8455290B，单fresh≤32MiB/总≤128MiB/数≤256、块≤1MiB。固定payload候选也必须本次全源读取SHA核同，不能从固定内容公式合成原件或把提示当身份。

对全部2757源文件3879024186B重新从手机流式读SHA，源stat前后大小/mtime稳定、独立host副本SHA逐件相同；已有副本仅在完整当前源SHA相同后复用，实际新增只写缺少的小文件。未知/不符即停，不改写旧副本或放宽fresh预算，手机原件保留。0字节源也开读验证EOF。每件完整pin追加journal，128件fsync与progress，鲜文件flush/fsync；最后完整再枚举树/mtime/大小及63集合/126metadata/无pending，任何变化不授予保全结论。源读取每await8秒/close3秒、内180/外195秒192MiB、预算新数据128MiB+日志、host≥10GiB且≥2×全清单bytes，预计60–150秒、O(源bytes+host SHA+文件数)，单并发，不全量驻留或全盘扫。

本合同只退出一次并读取/保管，不调用Upgrade或归位/删除；安装器的持久写入意图与最终close判据尚须独立审查后才能签发升级合同。App再次出现也不在本流水线循环发signal。全源SHA后由另一路host reader逐件核所有本地SHA/源pin和实际清单守恒；保全完成不等于Lab19手机可用、scope通过或新五轮容量，30/66与正式0/5不变。

安装器持久写入与源保全补强合同 · 2026-10-20

全源保全a01完成162.682340秒/123797504B，2757文件/3879024186B及126 metadata、完整树核同，close无错误；第二host reader重新SHA全部副本与逐件journal/清单守恒通过3.005465秒，phone action 0。正常退出a12仅一次SIGTERM，后续无重复信号。此为E3源读取/E2保管，不是升级或指标通过。

升级前先修通用自有App安装器的已确认缺口：限定already-idle且必须全源SHA admission；任何安装写入前以独占新文件、flush/fsync和目录fsync保存一次upgrade意图（候选/输入SHA、旧新版本、尝试1），再dispatch；持久intent存在则禁止重试。所有call追加有界行journal（每128条/错误/阶段fsync），阶段原子checkpoint；结果显式日期编码、fsync原子保存。源/输入SHA全程稳定，全部资源包括提前关闭都必须记录且成功，安装成功但后核或close失败保留installed事实并判completed=false，不重装。最终全旧件源SHA及完整Documents文件/目录集合、大小/mtime均核同，0字节读EOF，不以仅旧文件仍存在推断整个集合没变。

新增测试直接覆盖intent落盘早于dispatch、持久化失败不dispatch、重复attempt拒绝、dispatch失败保留意图与未知结果、close失败/source漂移降级、树多件/mtime漂移，保留7个预算控制。单并发O(源bytes+文件数)，原容量4GiB/4096节点/16深度、1MiB块、调用8秒/upgrade90秒/close3秒、整体300/外315秒192MiB不放宽，预计全量后核120–240秒；先host软件控制再签发一次新升级合同。结果保存失败/close故障不再误报成功。当前仍30/66、正式0/5，Gate R未关；不安装、归位或进入新scope实验直到补强独立审核完成。

Lab19一次覆盖升级执行合同 · 2026-10-20

安装器补强16项控制及分离AST/顺序审阅E2通过；20000-call配对日志基准无持久化0.007802秒/持久化0.067450秒，增量约0.060秒，细节内存固定256项、聚合统计不丢分母；非手机吞吐或I/O峰值证明。全部旧Documents副本另读SHA通过，仍需实际覆盖后全源核对。

先新network-lab19-readonly-a02按同一63集合/126 metadata及完整清单合同再核Lab18、idle/no pending/产品idle，任何busy/源漂移拒绝且不自动signal。仅当此步通过，独占lab19-upgrade-a01使用已核候选Lab19 signed-a02（IPA SHA eb206133f542d1c589748a88bb516b218ac10251e97c985c14402206bb57a7fc）、当前全源manifest与独立source admission，要求already-idle，旧版本90.21.18→90.21.19，升级仅一次/90秒，整体300/外315秒192MiB。预读所有旧本地SHA及源stat、完整树/无pending；重新连接/版本和两次idle确认，持久输入/候选pin与写入意图后才调用Upgrade；失败/未知不重发。后独立版本及全2757件/3879024186B源SHA、stat与完整树集合核同、所有close成功，才记安装后保全成立。

本批无launch/new run/rename/delete或新容量；后续先新只读安装后metadata与生命核对及独立host收据复核，再按实际清单制定保留归位和8个新资格槽，不把63活动记录作可用容量，不重测历史已验指标。公证仍暂缓、内部测试，软件通过或安装成功不等于发送率通过。

Validation Update · 2026-10-20 · Lab19安装保全完成

一次升级及独立新连接核同，2757文件/3879024186B、126 metadata及完整树保全成立E3读取/E2分离审核；168.104925秒/135643136B、10资源close，16软件控制通过。新run/归位/容量0；当前Lab19 idle、63实际活动，工具/成本/scope待验，30/66、发送0/5、Gate R未关。实际实施与限制。