Lab19有限loopback与scope反证方案

2026-10-20 · E2软件准备 · 30/66 · 发送0/5 · Gate R未关


类型沿用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未关。[完整结果](/devlog/p4-device-network-rvi-and-raw-dtx-result-2026-10-19)。