修复 Direct 回合收尾与进程退出判断

使用受控归属退出证明完成 Unix 回合，保留完整子树证明边界保守处理 Linux 进程扫描错误，避免将未确认的活跃进程判为空组优先返回收尾时已持久化的预算耗尽报告，保留其他关闭错误阻止正常关闭的迟到通知创建或覆盖成功回合报告补充进程扫描、完整响应和预算回归测试并同步规范与验收记录
2026-10-05 07:04:51 +01:00
parent 063905ee5f
commit 691e51e85c
10 changed files with 396 additions and 28 deletions
@@ -188,7 +188,10 @@ UI 编辑器的“分析参考图”步骤、Rust 命令 `suggest_ui_design_sema
 - 原生、内置与第三方所有入口都经过同一宿主状态；独立工具继续并行，只有身份、回合关闭、收尾与必要资源冲突形成短临界区。能力检测失败不得退回无控制执行。
 - 上述回合控制适用于 DirectProject。独立客户端 HTTP MCP 显式使用 ExternalClient 来源，保持其原有权限、幂等和浏览器能力，不借用当前项目另一条 Direct 回合的预算或可信证据；新交付合同与托管验证命令工具要求 Direct 会话。服务端 external_mcp 不变。
 - 自动交付验收只在模型正常结束本次响应后启动；操作结算、AGC 补丁成功、登记与状态查询都不触发封口。正常完成后证据齐备则进入 Sealing，拒绝新副作用，确认在途归零和执行器退出，再复核运行输入及证据，成功才进入 Completed 并返回宿主报告。未达标仍在原预算与复核次数内反馈修复；取消、耗尽、断连等异常终止保持其原因，不能因证据齐备改成成功。
- Windows app-server 在任何模型工具执行前绑定不可脱离的自有 Job，超时/取消/断连时验证整个 Job 已退出。其它平台继续保留受控进程组；未取得完整子树退出证据时按不确定状态报告，不宣称全部后台执行已停止。已受理的远端付费任务保留原不确定围栏，断连不构成自动重放授权。
+- Windows app-server 在任何模型工具执行前绑定不可脱离的自有 Job，超时/取消/断连时验证整个 Job 已退出。其它平台继续保留受控进程组；受控归属退出可用于回合收尾及合同完成，但进程组证明不宣称逃逸后代或完整子树均已退出。正常操作回合在 Closing 清理后返回 Working，再由回复复核完成；已封口回合保持 Sealing 直至验收完成。缺失或失败的归属清理仍进入 Interrupted。已受理的远端付费任务保留原不确定围栏，断连不构成自动重放授权。
+- Linux 进程组检查排除僵尸；目录枚举失败或数字 PID 的状态不可读取、不可解析时，不以不完整扫描证明组为空，回退到进程组存在性检查。已确认消失的 PID 可以忽略；非进程目录不参与扫描。
+- 无合同收尾在预算检查中产生终态报告时，回复复核优先返回已持久化报告；没有终态报告的关闭失败仍保留真实错误，不把预算耗尽改成 Completed。
+- 宿主正常关闭连接产生的迟到通知仅作为诊断，不为 Working/Closing/Sealing 生成终态报告，也不改写 Completed 的回复；只有 Interrupted/Exhausted 的既有失败终态可以追加收尾说明。
 - 付费许可始终绑定原回合和原操作，不能在容量或同动作锁排队结束后借用新回合。排队可取消，每次新 POST 前与封口共用宿主状态短锁，核对原许可、期限与阶段并持久化提交边界；封口、终止或耗尽后不得新增提交。已经越过提交边界的请求不丢弃，其 operation ID 和不确定状态继续持久化并允许原 GET 对账，多阶段生成的下一次 POST 仍须重新核验。ExternalClient 与手工资源操作保持既有语义。
 - 执行账本使用 `agc-direct-execution.v3`，删除 requiresContract，保留回合预算、归属、活动操作、退出证明及合同证据。读取 v1/v2 只白名单移除退役字段，未知字段仍拒绝；旧终态不重开，含旧合同的非终态保留要求并转为 Interrupted，提示新用户回合继续，不因删除要求宣告成功。旧无合同账本移除强制标记后仍按原预算与活动操作恢复规则处理；更早项目侧验证账本缺少可信时间，不能授予同回合新预算。旧合同终态可查询历史但不再按新标准评估。
 - 模型一次执行结束时先进入 Closing，关闭新操作和迟到提交，核实自有执行器退出及活动操作归零后才能回到 Working 接受交付反馈；整个用户回合结束后撤销旧许可。Closing 只用于实际关闭，不由普通工具失败触发。普通无合同回合完成不宣称游戏验收通过。