下载校验补齐；指标仍待验

文档类型devlog。基线ccd845e7；按接收方案的下载离线校验器增量执行。同一AI依次方案、实现、测试和分离复核，无子代理。整体30/66、发送待验0/5、接收唯一当前0/5。此次没有手机调用、退出、安装、新run、归位或清理。

实际修改

internal/acceptance/device_network_1hz/network_tool_verifier.py扩展显式download分支，共享既有核心manifest、来源版本、事件顺序和完整参考成本校验。核server-write限速语义、固定Q协议、业务scope；禁止上传payload/transfer及loopback/probe混入。逐文件独立SHA和64KiB流式Q验证，核task/file实际量、同步关闭、HTTP与唯一networkLoad非proxy事务、阶段生命和实际并发数量。取消保留部分文件；源观察量和写入量分开，超量观察不得伪称完整。最多12任务/512MiB/3阶段，单件≤50MiB，20000事件/10MiB。上传缺省路径保持原口径。

新增test_download_tool_verifier.py接收显式已有证据目录及独占新输出，不启动服务、二进制或手机。仅在副本中篡改并重封四核心文件，避免校验只因旧manifest不匹配而“通过反控”。原件不改。Mac产品和自有App源未修改，Lab21原签名候选保持不变，无需新造包。

E2验证与分离复核

• 真实engine正常/OFF/取消/恢复4run通过；22项反控全部拒绝：scope、同步/关闭、task量、回调数量、Q声明、HTTP/长度、观察量、请求类型、首回复时间、complete、proxy/cache、阶段、释放、混入上传、pin不一致、重封SHA后的非Q正文、symlink、配置方向。
• 另以旧上传正常/OFF/取消/恢复4run验证兼容；不是重测历史指标。
• 已有200MiB/4任务原文件通过新校验，第二读取器以1MiB块和独立SHA/Q检查核同。包含两种读取的最终a02 wall0.831352秒；外层0.920963秒，CPU0.900416秒、峰RSS29261824B，低于60秒/64MiB预算。
• 真实4run/22反控a02耗时0.046653秒。a01也通过，之后增加阶段顺序/生命绑定再跑a02；最后补严Q布尔类型与失败观察量上限后以新a03复验，a03耗时0.047715秒，全部通过。

分离复核直接重读实际200MiB正文，不以complete=true代替文件证据。I/O峰仍unknown；没有前版本下载校验器可作同语义前后对照，不能声称整体效率闭环完成。公开摘要在internal/handoff/device-network-receive-verifier-review-2026-10-20.json，全部输入、失败及副本留在私有receive namespace。

当前边界与下一步

这里只补齐下载证据校验子门；旧手机执行器仍硬编码旧版本/容量，不能直接启动Lab21。下一文档化方向/实际容量驱动的手机执行器并做控制，核生命周期再次出现事实后另立新鲜安装准入；不盲重读3.89GB或反复退出。上批全源读取最终idle失败保持admission=false，逐件SHA核同不替代该门。Lab21未安装，整机独立参考Gate R_rx未关闭，正式五轮禁止启动。

GitHub核同、GitLab每批一次及站点构建/链接以实际收据为准。网站/Webhook配置债继续partial；公证暂缓，Developer ID/GPL分发门保留。主机本批前剩余约110.7GiB，未清证据或其他工作树。