From 604702e980029b061cbf96c5c72e0972da5dce1f Mon Sep 17 00:00:00 2001 From: KiriAky 107 Date: Sat, 12 Sep 2026 02:29:59 +0800 Subject: [PATCH] =?UTF-8?q?docs:=20=E6=9B=B4=E6=96=B0A-04=E6=95=85?= =?UTF-8?q?=E9=9A=9C=E6=81=A2=E5=A4=8D=E9=AA=8C=E6=94=B6=E8=BF=9B=E5=BA=A6?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/development/OpenNexus生产化实施进度-2026-09-08.md | 8 ++++++++ .../OpenNexus第三阶段生产验收清单-2026-09-10.md | 8 ++++---- 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/docs/development/OpenNexus生产化实施进度-2026-09-08.md b/docs/development/OpenNexus生产化实施进度-2026-09-08.md index 978ed15..c99c817 100644 --- a/docs/development/OpenNexus生产化实施进度-2026-09-08.md +++ b/docs/development/OpenNexus生产化实施进度-2026-09-08.md @@ -1007,3 +1007,11 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写 - Host 已接通安装确认、活动包全量复核、原生启用、状态、调用审核、单次确认调用、停用、在线回滚和卸载 IPC。安装事务只在 MCP 达到 ready 后提交；清单、入口、许可或启动失败会恢复原活动指针。社区桌面页已提供明确的摘要确认与“安装并启用”操作。 - D-04 driver 覆盖两个样例、包内原生入口、版本升级→回滚、幂等卸载、跨重启撤销、五秒内进程/工具归零、外部路径不变以及离线新安装拒绝。正式 Runner 报告为 `H:\OpenNexus-acceptance\d04-534e302\report`，结果 PASSED，1/1，且不含凭据。 - D-04 可记为通过，正式验收累计 **22/30**；A-01、A-04、C-01 与 E-01～E-05 仍未通过。 + +### 2026-09-12：A-04 Core 连续故障恢复边界 + +- 修正 CoreSupervisor 将首次正常启动误计为重启的问题。监管器现在仅在确认进程异常退出或启动失败时登记故障，前五次故障分别执行 1/2/4/8/16 秒退避，第六次故障进入 `CORE_RESTART_LIMIT` 熔断。 +- 新增 Windows 真实进程树测试，连续六次以 `taskkill /T /F` 终止工作树 Python Core；每轮核对 Host 管理的本地编辑文件 SHA-256 不变，并验证关闭后 10 秒内旧端口不可连接。 +- 精确测试及 `core_process` 全文件 3 项通过，严格 Clippy `-D warnings` 通过。该实现提交为 `bdba729`。 +- A-04 尚不能记为通过：Core/Host 签名 RC 的原子更新事务与每个切换点 20 次真实重启恢复仍未完成。当前会话也没有受控签名 RC 或旧 RC。 +- C-01 运行环境复核显示当前 Windows 用户不是管理员，且未发现可用的 `pktmon`、`tshark` 或 `dumpcap` 命令，因此不能生成规划要求的禁止网络零收包证据；已有 AppContainer 文件与环回测试不能替代该证据。 diff --git a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md index 7b9caea..593f9e5 100644 --- a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md +++ b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md @@ -2,7 +2,7 @@ 更新时间：2026-09-10 -当前结果：21/30 通过，9/30 未通过。只有状态为“通过”的项目计入完成数；缺少环境、驱动或生产实现的项目均不计入。 +当前结果：22/30 通过，8/30 未通过。只有状态为“通过”的项目计入完成数；缺少环境、驱动或生产实现的项目均不计入。 验收定义以[第三阶段生产化工程规划与验收目标](../architecture/第三阶段生产化工程规划与验收目标.md)为准。逐轮实现、测试命令、提交和原始报告位置记录在[生产化实施进度](OpenNexus生产化实施进度-2026-09-08.md)。 @@ -11,7 +11,7 @@ | A-01 | 阻塞 | 缺少受控签名的 Windows RC、干净标准用户 VM 和离线安装环境；不能用开发机便携包替代。 | | A-02 | 通过 | Sidecar 会话认证、300 次拒绝矩阵、真实 CoreSupervisor 代际轮换和秘密扫描通过。 | | A-03 | 通过 | 协议不兼容、64 MiB 传输边界、取消/断流和 operation_id 恢复通过。 | -| A-04 | 未通过 | Core 退避与进程组清理已有基础实现；尚缺连续 6 次崩溃和每个更新切换点 20 次恢复的完整生产驱动，且更新场景依赖签名 RC。 | +| A-04 | 未通过 | 提交 `bdba729` 已用真实 Core 连续强杀 6 次验证 1/2/4/8/16 秒退避、第 6 次熔断、本地保存摘要不变及进程树清理；尚缺每个 Core 更新切换点 20 次恢复的生产驱动，且更新场景依赖签名 RC。 | | B-01 | 通过 | Provider、Plugin、MCP、Sync 分域与明文泄漏矩阵通过。 | | B-02 | 通过 | 100 条 Fernet 迁移、异常输入与三次幂等迁移通过。 | | B-03 | 通过 | Windows 会话锁定、手工锁定、改密和损坏库恢复通过。 | @@ -23,7 +23,7 @@ | D-01 | 通过 | 跨语言签名、归档边界、恶意 ZIP 与目录逃逸矩阵通过。 | | D-02 | 通过 | Rust Host 只读导入受管理、外部、修改、缺失四组旧包，连续三次保持 4 条记录；旧库与外部目录摘要不变，零许可/零信任，旧 Python 五种写入口全部拒绝。正式报告绑定提交 `2c87377`。 | | D-03 | 通过 | 60 次真实强杀、120 次磁盘满/配置故障和权限不扩大检查通过。 | -| D-04 | 未通过 | 安装事务、在线撤回、运行实例和样例包分别已有组件测试；尚未完成两个真实样例在 Rust Host 中的完整安装、启用、调用、升级、回滚、撤回和卸载闭环，Host 的 extensions capability 仍关闭。 | +| D-04 | 通过 | 两个真实社区样例已在 Rust Host 中完成安装、启用、原生调用、升级、回滚、在线撤回和幂等卸载闭环；正式报告绑定提交 `534e302`，目录为 `H:\OpenNexus-acceptance\d04-534e302\report`。 | | S-01 | 通过 | 双客户端离线链与 100 次响应丢失幂等重放通过。 | | S-02 | 通过 | 100 MiB 附件 10 个上传强杀边界与 80 次拉取强杀通过。 | | S-03 | 通过 | 五类冲突各 20 轮、空 Vault 首绑及解绑重绑隔离通过。 | @@ -48,4 +48,4 @@ ## 下一验收条件 -要把 21/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM、管理员网络抓包能力，以及 D-04/A-04 尚缺的生产实现和驱动。缺少这些条件时，runner 必须继续返回非通过状态。 +要把 22/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM、管理员网络抓包能力，以及 A-04 尚缺的 Core 更新事务与生产驱动。缺少这些条件时，runner 必须继续返回非通过状态。