From 2f1c0f3420e08b88d3965c62a74d9a7a6169fd59 Mon Sep 17 00:00:00 2001 From: KiriAky 107 Date: Thu, 10 Sep 2026 06:20:39 +0800 Subject: [PATCH] =?UTF-8?q?docs:=20=E7=99=BB=E8=AE=B0C-02=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 ++++++++ docs/development/OpenNexus生产验收Runner.md | 2 +- .../OpenNexus第三阶段生产验收清单-2026-09-10.md | 6 +++--- 3 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 06b9ab9..01d7df5 100644 --- a/docs/development/OpenNexus生产化实施进度-2026-09-08.md +++ b/docs/development/OpenNexus生产化实施进度-2026-09-08.md @@ -977,3 +977,11 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写 - 每次调用重新解析 DNS 并固定本次连接地址；任一解析结果属于 loopback、私网、链路本地、CGNAT、元数据、文档、基准、保留、组播或非全局 IPv6 范围即拒绝。客户端禁用代理和重定向，限制连接/总时限、每分钟 60 次、请求 1 MiB、响应 4 MiB，只返回状态、受限 Content-Type 和 UTF-8 正文。 - 原生 AppContainer MCP 实例已实际发起对已授权 `https://127.0.0.1/` 的 broker 请求，Host 在建连前返回 `EXTENSION_NETWORK_ADDRESS_DENIED`，随后同一 MCP 会话继续完成工具调用。网络策略单元测试和严格 Clippy 通过。 - C-02 仍保持未通过：还需受控公网 TLS 服务的成功矩阵，以及 shell、环境、子进程、链接、DNS 重绑定和重定向各 100 轮生产驱动与正式 runner 证据。 + +## 增量：C-02 沙箱 broker 生产验收 + +- 受控公网 `acm.kronecker.cc:18443` 使用有效证书提供成功与 302 夹具。签名权限同时绑定精确 HTTPS origin 和公网地址；Host 禁用系统代理，固定连接地址并保留 TLS SNI/证书验证。20 次授权请求全部返回精确正文，100 次重定向均停留在 302，未跟随至 loopback。 +- 真实 AppContainer 启动一次携带 100 组 shell 元字符，子进程逐项核对为原始 argv；生产 LaunchData 另对 100 组保留环境覆盖逐项拒绝。AppContainer 内创建 100 个真实后代 UDP 探针，Host loopback 监听器收包为 0。 +- 文件 broker 完成 20 次授权读取；100 轮硬链接拒绝以及在两个外部目录间交替重建 junction 的 100 轮请求均返回 `UNSAFE_PATH`。MCP stdio 会话连续完成 20 次已审查工具调用。DNS 地址批次混合公网与元数据地址 100 轮，全部在建连前拒绝。 +- 提交 `7030c10855d1d6034e947ad9f49321aa9e37c099` 的统一 runner 报告为 `PASSED`，九项计数分别达到 100 或 20，`denied_access_count=600`，`contains_credentials=false`，耗时 334572 ms。证据目录为 `H:\OpenNexus-acceptance\c02-7030c10-9f9f2542e9434417a72dfd8a347cb372-report`。 +- 正式报告生成后删除约 3.87 GB 的隔离 Cargo target/data root，并停止及删除远端临时 TLS 夹具。C-02 可记为通过，正式验收累计 20/30；A-01/A-04、C-01、D-02/D-04 与 E-01～E-05 仍未通过。 diff --git a/docs/development/OpenNexus生产验收Runner.md b/docs/development/OpenNexus生产验收Runner.md index 13ee6c1..b9ad45d 100644 --- a/docs/development/OpenNexus生产验收Runner.md +++ b/docs/development/OpenNexus生产验收Runner.md @@ -24,4 +24,4 @@ python scripts/phase3-production-acceptance.py ` 报告目录包含 `summary.json`、`case-manifest.json`、`junit.xml`、`cases/.json` 和脱敏的 `logs/.log`。摘要记录 commit、各锁文件 SHA-256、配置摘要与已提供安装产物摘要。日志将仓库、数据根、报告根、用户主目录和配置声明的秘密值替换为占位符，并限制为 10 MiB。报告目录必须为空，避免单例复跑覆盖原始证据。 -当前 runner 与失败闭合行为已实现，A-02/A-03 Sidecar、B-01/B-02/B-03/B-04 凭据、C-03 沙箱许可、D-01/D-03 扩展包与事务、S-01/S-02/S-03/S-08 Sync 客户端以及 S-04/S-05/S-06/S-07/S-09 Sync 服务 driver 已登记；其余 12 个生产验收 ID 尚未登记，运行时会生成 `NOT_IMPLEMENTED` 证据并退出 1。这用于阻止误报，不是这些用例的验收通过。 +当前 runner 与失败闭合行为已实现，A-02/A-03 Sidecar、B-01/B-02/B-03/B-04 凭据、C-02/C-03/C-04 沙箱、D-01/D-03 扩展包与事务、S-01/S-02/S-03/S-08 Sync 客户端以及 S-04/S-05/S-06/S-07/S-09 Sync 服务 driver 已登记；其余 10 个生产验收 ID 尚未登记，运行时会生成 `NOT_IMPLEMENTED` 证据并退出 1。这用于阻止误报，不是这些用例的验收通过。 diff --git a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md index 3eed597..efc1671 100644 --- a/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md +++ b/docs/development/OpenNexus第三阶段生产验收清单-2026-09-10.md @@ -2,7 +2,7 @@ 更新时间：2026-09-10 -当前结果：19/30 通过，11/30 未通过。只有状态为“通过”的项目计入完成数；缺少环境、驱动或生产实现的项目均不计入。 +当前结果：20/30 通过，10/30 未通过。只有状态为“通过”的项目计入完成数；缺少环境、驱动或生产实现的项目均不计入。 验收定义以[第三阶段生产化工程规划与验收目标](../architecture/第三阶段生产化工程规划与验收目标.md)为准。逐轮实现、测试命令、提交和原始报告位置记录在[生产化实施进度](OpenNexus生产化实施进度-2026-09-08.md)。 @@ -17,7 +17,7 @@ | B-03 | 通过 | Windows 会话锁定、手工锁定、改密和损坏库恢复通过。 | | B-04 | 通过 | 5 个迁移边界共 100 次真实强杀及 6 个清理边界通过。 | | C-01 | 阻塞 | AppContainer 文件与 loopback 拒绝已有真实测试；尚缺各恶意类别 100 次以及需要管理员抓包的公网、私网、元数据和原始 socket 零包证据。当前会话不是管理员。 | -| C-02 | 未通过 | 文件 broker、工具调用和绑定签名许可的 Host HTTPS broker 已实现；尚缺授权公网 HTTPS 的真实成功矩阵，以及 shell、环境、子进程、链接、DNS 重绑定和重定向各 100 轮的统一生产驱动。 | +| C-02 | 通过 | shell、环境、后代、链接、DNS 重绑定和重定向各 100 轮通过；授权文件、MCP 工具与公网 HTTPS 各 20 次成功。正式报告绑定提交 `7030c10`。 | | C-03 | 通过 | 16 个许可字段绑定、旧 Python 启动拒绝和重启许可失效通过。 | | C-04 | 通过 | 当前提交 `d68a6a3` 的统一 runner 报告为 `PASSED`；报告目录为 `H:\OpenNexus-acceptance\c04-d68a6a3-b3ce7ce456834b89b8b508611854e7c9-report`。 | | D-01 | 通过 | 跨语言签名、归档边界、恶意 ZIP 与目录逃逸矩阵通过。 | @@ -48,4 +48,4 @@ ## 下一验收条件 -要把 19/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM、管理员网络抓包能力，以及 C-02/D-02/D-04/A-04 尚缺的生产实现和驱动。缺少这些条件时，runner 必须继续返回非通过状态。 +要把 20/30 推进到 30/30，至少需要：受控签名 RC 与旧 RC、两台干净 Windows 设备或等价可销毁 VM、管理员网络抓包能力，以及 D-02/D-04/A-04 尚缺的生产实现和驱动。缺少这些条件时，runner 必须继续返回非通过状态。