2026-10-20 · E3/E2研究 · 30/66 · 发送0/5 · Gate R未关
## Implementation / Validation Update · 2026-10-20 · 独立量化留出与完整执行收据 类型devlog增量；基线9051696f，同一AI方案/实现/测试后分离复核，无子代理。前一批partial交付成立，本段承接其“留出未开始”历史；不回改原失败。整体仍30/66，发送正式0/5、Gate R未关。无产品/手机代码变动，无新包，Mac192/Lab18保持。 ### 当前生命观察和host准备失败 原a03准入后，观察脚本首次host替换assert失败，文件未生成，a01守卫exit2/0.026432秒/10354688B，手机调用0。修正字符串替换后的实际观察namespace为a02，属于相同已落盘观察合同的host/namespace偏差；10.850704秒/96698368B通过。四次完整生命相同，和a03生命不同；62集合/124metadata前后核同，无pending/产品idle、close无错，signal/launch/采样/容量0。原件仅私有；不能确定是谁启动新生命，不把稳定生命当CPU空闲。 新a11按最新观察基线重新核身份/版本/同生命/全封口与metadata，fsync意图后仅一个SIGTERM正常退出；全部124metadata/idle/close后核，9.643408秒/99418112B。紧邻新a04实际62/124读取及idle成功，7.363222秒/99926016B，但host容量schema只含activeRunCount，漏actualActiveRuns，调度器KeyError后停止，上传0。原a04不修改或当完整可消费容量；单独失败记录保留。 另落host修复合同后，新a05再完整读取实际62/124、原件SHA/集合/封口released/no pending/身份Lab18/产品及Lab idle/空间与新名不存在；显式写实际count/集合摘要，并以已测research_start_count核count和metadata长度。离线缺字段/64无槽拒绝与实际62接受共3个控制通过（与此前容量控制有重叠，不累计成新指标）。新a05守卫7.093645秒/100892672B，全部close成功，仅一个研究槽，非正式五轮容量；此步骤不再signal。 ### 真正的新独立留出 Hq/精确模型均锁定9051696f，模型和采集参数未改变。新prefix仅一次1MiB上传、并发1/256KiB每秒、stage6秒/前后各3秒/原生20Hz、18秒Sysmontap。真实62→63，新执行result原子写成，call/checkpoint均保管；guard29.873255秒/112279552B/exit0通过。server一请求HTTP200、实际1048576B及正文SHA与附件/typed export一致。新7源文件及唯一export共8件下载逐SHA核同，全部250事件/241参考、manifest和导出内容分离核同。 原62的124件metadata执行前/后共248件原bytes与新容量基线逐SHA核同，新run的summary/manifest也再次读源核同。新run封口/全部释放、两次同生命核对及fsync意图后，只发一个SIGTERM正常退出；前置a11与上传后信号各一次，不把它们合并成一个。最终63集合、无pending、产品及Lab idle，所有5控制资源close成功，独占流stop/close各一次/本地terminal成立；旧24未保管对象仍缺失，不用本次对象补旧。 新39个原流对象66386B完整保管（停止后4），18个System、241个原生快照。17相邻区间中6个缺两侧原生端点包围为missing；11个可评估区间的Hq all/nonloop两scope，bytes与packet均11包含/0反例。未拟合offset/scale、接口集合或容差，未删除ACK/失败/尾部。新精确模型各scope字节5包含/6反例，packet11包含/0反例；原研究的8反例和最终result缺失也保持。**这是新的独立留出，但其包含结论仍以公开机制适用、同高32位及同层三个未验证条件为前提，不能反过来证明条件为真。** 独立复核不导入主typed/归档读取器或比较器：复用先前独立有界plistlib/UID图，从全部原对象和原生数组直接算两模型、两scope及所有包围/缺失；同时独立核source pins、全部124前后metadata、8源件、typed export、正文与server journal。17对全部核同，0.056085秒/32391168B。Hq主分析0.273381秒/64552960B；关键路径O(原件bytes+metadata)，模型O(P×R×I)仍在前批实际/上界资格范围，不重测历史或全回归。 完整参考成本独立复算mean/P95=0.723894/0.901583ms、max1.057333ms/gap63.052083ms；mean/P95≤1ms成立，max超过1ms如实保留，不称所有调用≤1ms。host空间继续高于10GiB及预计量两倍，未清理、删除0；瞬时I/O峰unknown。修后执行器新手机流程实际通过E3，软件/研究数据吻合仍不是指标E4通过。 ### 验收决策与下一项工作 本次可关闭“修后研究执行收据是否能完整落盘”和“冻结Hq是否在一个新上传留出中出现字节反例”这两个窄研究待办；不能关闭Gate R。all/nonloop两scope仍同时包含、无法辨别是否包含loopback；公开机制在本机实际生效、统一byte层、完整高位/隐藏回绕及精确源时钟仍未证。生产crossInterfaceSumAllowed=false不改，不进193、产品诊断、正式五轮或接收率。 下一先冻结一个能区分all/nonloop的有限loopback/对照研究设计，列清独立参考、源窗和判据，再决定是否需要升级自有Lab；不直接实施新手机代码或重跑旧上传。当前63只剩一个活动槽，任何下一新run都需新鲜实际容量；正式五轮前更需保全、独立核SHA及真实归位/容量，不以本次单槽代五轮。网站/通知/镜像欠项沿Owner授权partial。[机读复核](https://github.com/rskdwypy-pixel/perfowl/blob/main/internal/handoff/network-quantized-holdout-review-2026-10-20.json)。