网络stop关闭与本地终止保管方案

2026-10-19 · E3通道 / E2软件与保管 / E1源码研究 · partial · 30/66，发送0/5，Gate R未关

来源：site/devlog/p4-fixture-lab-device-network-send-plan-2026-10-19.md；源SHA-256 f8f1023c7ed5266f27b27151992690e11159c1b35745a04991b2c7c7eca155fc

### 有界停止与尾部对象保管修复 · 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。新研究无旧等价物不造性能改善。