From 9c9312b60660bbc3b519b95ab7a4e88e22763b4a Mon Sep 17 00:00:00 2001 From: KiriAky 107 Date: Sat, 12 Sep 2026 02:48:28 +0800 Subject: [PATCH] =?UTF-8?q?docs:=20=E7=99=BB=E8=AE=B0A-04=E7=94=9F?= =?UTF-8?q?=E4=BA=A7=E9=AA=8C=E6=94=B6=E7=BB=93=E6=9E=9C?= 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 | 6 +++--- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/docs/development/OpenNexus生产化实施进度-2026-09-08.md b/docs/development/OpenNexus生产化实施进度-2026-09-08.md index 516bc75..1c53e9f 100644 --- a/docs/development/OpenNexus生产化实施进度-2026-09-08.md +++ b/docs/development/OpenNexus生产化实施进度-2026-09-08.md @@ -1016,3 +1016,11 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写 - A-04 尚不能记为通过：Core/Host 签名 RC 的原子更新事务与每个切换点 20 次真实重启恢复仍未完成。当前会话也没有受控签名 RC 或旧 RC。 - C-01 运行环境复核显示当前 Windows 用户不是管理员，且未发现可用的 `pktmon`、`tshark` 或 `dumpcap` 命令，因此不能生成规划要求的禁止网络零收包证据；已有 AppContainer 文件与环回测试不能替代该证据。 - C-01 文件攻击夹具继续补强：由真实编译的恶意二进制在 AppContainer 中分别对未授权 Vault、用户目录、凭据库和其他包诱饵执行各 100 次读取与 100 次写入，总计 800 次文件系统攻击均失败，四个诱饵 SHA-256 保持不变。精确 Rust 测试通过；C-01 状态仍保持未通过，直至网络类别的管理员抓包证据齐备。 + +### 2026-09-12：A-04 签名 Core 更新与正式验收 + +- 新增 `core_update` 发布存储。候选 Core 在切换前验证 Ed25519 签名、固定信任键、Host 精确版本、协议版本、清单和完整文件树；活动 Host/Core 组合及待健康检查操作由 SQLite `WAL`、`synchronous=FULL` 事务持久化。 +- 未完成健康检查的组合在 Store 重启打开时回滚；健康检查失败也回滚旧组合。签名错误、Host 版本不兼容或包树不匹配均不能创建活动指针。 +- 父测试在 `journal_recorded`、`pointer_recorded`、`switch_committed` 三个边界分别强制终止子进程 20 次。每个子进程先完成真实签名和包树校验，60 次恢复均得到完整旧 Host/Core 组合，无 pending 操作。 +- A-04 已接入统一生产 Runner。正式结果为 `PASSED`，绑定提交 `36c497f879bcf1fe727e22f14751da25294fa55b`，报告位于 `H:\OpenNexus-acceptance\a04-36c497f\report`；报告确认 6 次 Core 崩溃、5 次自动重启、6 次本地摘要一致、60 次更新强杀和 0 个残留受管理后代。 +- 正式隔离 Cargo target 在验收后通过 `cargo clean` 删除，共清理 7274 个文件、约 5.8 GiB；报告、JUnit、脱敏日志和配置保留。A-04 可记为通过，正式验收累计 **23/30**；A-01、C-01 与 E-01～E-05 尚未通过。 diff --git a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md index 593f9e5..9d14e52 100644 --- a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md +++ b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md @@ -2,7 +2,7 @@ 更新时间：2026-09-10 -当前结果：22/30 通过，8/30 未通过。只有状态为“通过”的项目计入完成数；缺少环境、驱动或生产实现的项目均不计入。 +当前结果：23/30 通过，7/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 | 未通过 | 提交 `bdba729` 已用真实 Core 连续强杀 6 次验证 1/2/4/8/16 秒退避、第 6 次熔断、本地保存摘要不变及进程树清理；尚缺每个 Core 更新切换点 20 次恢复的生产驱动，且更新场景依赖签名 RC。 | +| A-04 | 通过 | 真实 Core 连续强杀 6 次验证 1/2/4/8/16 秒退避、第 6 次熔断、本地保存摘要不变及进程树清理；Ed25519 签名兼容组合在三个更新边界各经 20 次真实强杀后恢复。正式报告绑定提交 `36c497f`，目录为 `H:\OpenNexus-acceptance\a04-36c497f\report`。 | | B-01 | 通过 | Provider、Plugin、MCP、Sync 分域与明文泄漏矩阵通过。 | | B-02 | 通过 | 100 条 Fernet 迁移、异常输入与三次幂等迁移通过。 | | B-03 | 通过 | Windows 会话锁定、手工锁定、改密和损坏库恢复通过。 | @@ -48,4 +48,4 @@ ## 下一验收条件 -要把 22/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM、管理员网络抓包能力，以及 A-04 尚缺的 Core 更新事务与生产驱动。缺少这些条件时，runner 必须继续返回非通过状态。 +要把 23/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM，以及管理员网络抓包能力。缺少这些条件时，runner 必须继续返回非通过状态。