Lab19两scope实际结果与限制

## Implementation / Validation Update · 2026-10-20 · Lab19 loopback与外网接口范围配对

整体30/66、剩36,唯一当前整机发送率正式0/5,Gate R未关。同一AI分时方案/实现/测试/分离复核,无子代理。无产品/Swift变更,内部Mac192与签名Lab19不变,不创建新包/安装或重测已验指标。

### 实施、软件与准入

旧run_controlled_sysmon_pair.py固定Lab18且启动意图未耐久,保留原入口/结果;新run_lab19_scope_pair.py复用最近OFF/ON身份、62实际custody、持久launch/stop意图、全分母call journal及256内存详情、旧metadata/新件退出后再源SHA和close/source失败降级。两条固定loopback→external,每条3+6+3秒/20Hz/单并发1MiB/server读256KiB/s,loopback端口只选一次不重试;外网沿已资格接口与75秒有限host服务。18秒独占Sysmontap先完整receiver/start一次,2秒前置再即时检查和launch一次,stop/close到本地terminal全部保管;任何对象/行为/成本失败不进入下一条。零附件实际读EOF,未知对象不丢,全部文件先保管,解析错误在封口/正常退出/源SHA复核后抛出。

7新边界/对象控制及7复用意图故障控制共14通过E2;分离AST核唯一capture/start/launch/signal、capture先于launch、独占close移出资源清单后一次关闭。4000-call旧逐次open/fsync0.111727秒/CPU0.073933,新追加0.021550秒/CPU0.017708;20000-call旧0.574702秒/CPU0.372085,新0.073592秒/CPU0.055743,660000B全日志一致、内存详情20000→256,整个进程峰39895040B,I/O瞬时峰unknown。仅host日志规模对比,不冒充手机吞吐。新只读准入真实62/124 metadata与两名称缺席、Lab19/idle/no pending/产品idle,guard16.329029秒/109838336B。

### 完整实际负载与保管

新前缀两条各完整1MiB,loopback真实bind/peer/client transaction均127.0.0.1、server客户端正文SHA/请求匹配、实际socket字节等于header+正文+有界未准入prefix,listener/client两个close返回均0,独立线程退出和URLSession双释放核同;外网host完整正文SHA及原始响应确认。HTTP正文只确认负载,仍不是整机字节真值。

| 背景 | 任务完成秒 / 首响应秒 | 正文bytes/任务秒(非wire速率) | 完整参考mean/P95 ms | max/gap ms |
| --- | --- | --- | --- | --- |
| loopback | 4.060711 / 4.059781 | 258224.730 | 0.709324 / 0.862417 | 1.024292 / 59.049042 |
| 外网 | 4.124302 / 4.121849 | 254243.245 | 0.717073 / 0.895917 | 1.036583 / 60.853708 |

参考全链mean/P95≤1ms达门,max/gap真实保留;此不是活跃listener OFF/ON CPU增量结论。完整Sysmontap原对象39/40、各18System/241原生快照,两个start/stop/独占close、2launch/2持久意图正常退出核同。62→64,17新源件(含两个typed export)4230556B,退出后全部再读源SHA/host核同,双读8461112B;旧124metadata共6次核同。执行60.801208秒,guard61.049117秒/119422976B、CPU4.225166秒;3966call全分母、所有close成功,零安装/rename/删除或重试。

### 冻结判据与分离算术

Hq conditional-floor1024/1、四字段/源End时钟/所有接口IFF_LOOPBACK与缺失/重置规则不变,三前提仍只是声明(公开floor1024实际适用、整个span相同高32位、同字节层),不能由包含结果反向证明。两条各17源区间,6缺原生端点包围保持missing、11可评估;全部source Start连续,原件首回复及停止尾部保管。

| 背景 | 可评估/缺失 | 不相交bytes预测区间 | all条件反例bytes/packets | nonloop条件反例bytes/packets | 旧精确模型bytes反例all/nonloop |
| --- | --- | --- | --- | --- | --- |
| loopback | 11 / 6 | 2 | 0 / 0 | 2 / 3 | 8 / 8 |
| 外网 | 11 / 6 | 0 | 0 / 0 | 0 / 0 | 8 / 8 |

loopback第6区间sysmon发送1847090B,all包络[1844227,1879009]、nonloop[874498,907234];第7区间93300B,all[90115,124897]、nonloop[6146,38882]。两者均与真实server正文接收时间重叠,all/nonloop范围不相交。外网无区分力不能单独定scope;两条22个可评估区间all均无条件反例,故仅在冻结Hq三前提和当前End时钟假设下,给该设备/OS/工具版本有限all支持。不是正式独立参考资格、整机物理精度或生产跨接口求和许可。

第二reader不导入primary decoder/model,独立typed SHA/有界plistlib UID与整数/Fraction重算全部79对象、34区间(包括12missing)、482快照及固定两scope包络;同时核17源件/typed export、正文/transaction/双释放/FD返回、六次旧124metadata及全部意图和关闭。初次完整reader通过,后a02增加新连接128metadata/全部life和区分区间与server body重叠核验,0.089207秒/42270720B通过。E3原件/工具行为,E2离线条件模型与分离审阅;没有把条件假设升成已证事实。所有旧8精确反例、新留出6反例、旧24丢失尾对象和失败原件不变。

### 后核、边界与下一步

新连接postflight16.189324秒(guard16.499052秒/112181248B)确认真实64封口/released、App及产品idle/no pending、128metadata前后SHA核同;Documents2819件/3892690760B,所有close成功。host剩余120880259072B,无清理。准备槽0、正式五轮容量无;不得继续套用旧62或凭已完成删除证据。仅需新增run时另立全源SHA保全/保留rename及真实容量合同,不盲回放队列。

下一先用现有完整原件、固定公开源码与实际目标provider路径,审查量化机制绑定、同字节层/高32位和精确源时钟;证据不够继续保持Gate R开放,不能新增容差/拟合时钟来消掉精确反例。不进193、产品诊断、正式五轮或接收指标。本批同步知识/总表/总览/首页/时间线/机读及新增方案/结果归档,提交/推送/同提交站点以私有交付收据为准;GitLab每批一次,网站/通知配置欠项按Owner授权partial。公证仍暂缓,仅内部测试,GPL分发门未关。