docs(acceptance): 记录 D-01 生产验收证据

2026-09-09 10:08:02 +08:00
parent c46f481c49
commit ce73c4d588
1 changed files with 9 additions and 0 deletions
@@ -816,3 +816,12 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写
 - 扩充真实 Python Core + Rust Host 集成：通过受控 Host pipe 写 Provider 秘密后，再走带 Host 会话认证的实际 HTTP 状态查询。写入与查询响应只包含 credential_id/configured 状态，不含秘密，Core 数据目录不产生旧 Fernet `master.key` 或 `credentials.json`。B-01 driver 还扫描三个 exact oracle 的完整 stdout/stderr，任一测试秘密或 Sync token 命中即失败。
 - 提交 `5405e41` 后在只保留用户 Vault 修改的工作树运行 `python scripts/phase3-production-acceptance.py --suite credentials --case B-01 ...`，退出 0；summary/case 均为 `PASSED`，commit 为 `5405e4145ee5207c3886a7829f12d23ba7d2d96d`，5 项断言通过，耗时 25014 ms。证据目录 `.build/acceptance/b01-5405e41-2ca9bd7756684abda1e3772bd13d2021/`，报告标记 `contains_credentials=false`。
 - 最终 desktop Rust 全目标 149 通过、15 ignored（library 132、Host 10、其余集成 7），日志 `.build/b01-rust-full.log`；全目标 Clippy `-D warnings` 通过（`.build/b01-clippy.log`），B-01 driver 预检、runner 6 项测试、Python 编译与 Rust 格式检查通过。B-01 可记为通过；真实 OS 锁屏/口令与备份恢复属于 B-03，迁移强杀和旧库清除属于 B-04，仍未完成。
+
+
+## 增量：D-01 扩展签名、归档边界与安全解包生产验收
+
+- D-01 driver 固定运行 8 个独立 exact Rust oracle。Python 生成的 Community Ed25519 固定向量在 Rust 中完成签名、archive SHA-256、大小和 manifest 验证；对签名覆盖的每个 metadata 字段（含 permissions）、归档字节、签名公钥、key ID、namespace、撤销与下架状态逐项篡改后全部拒绝。
+- 实际 loopback HTTP 信任源覆盖正常、密钥撤销、密钥轮换、发行下架、发行字段变化、重复发行、服务不可用和重定向 8 种响应，且已校验结果超过 30 秒不能复用。另以无 Content-Length 流覆盖正常、损坏、多 1 字节和重定向 4 种下载响应，防止声明长度绕过实际读取上限。
+- Theme 与 Plugin 分别验证压缩归档上限、解压后上限和条目数边界，边界值通过、增加 1 字节或 1 项即失败。恶意 ZIP 覆盖路径穿越、绝对/ADS/保留名、Unicode NFC 与大小写别名、文件/目录别名、重复 central entry、符号链接、加密标志、本地头不一致和内容损坏；签名后目录另验证额外、缺失、修改、hardlink 和 Windows junction 重定向，外部目录新增文件数为 0。
+- 提交 `533cfe5` 后在只保留用户 Vault 修改的工作树运行 `python scripts/phase3-production-acceptance.py --suite extensions --case D-01 ...`，退出 0；summary/case 均为 `PASSED`，commit 为 `533cfe53265985fe3d382619e3d5a53b4646d5cc`，6 项断言通过，耗时 9207 ms。证据目录 `.build/acceptance/d01-533cfe5-35704f026ec94d0e98c76d0e52f96fb8/`，报告标记 `contains_credentials=false`。
+- D-01 登记前的最终 desktop Rust 全目标 149 通过、15 ignored（`.build/b01-rust-full.log`），全目标 Clippy `-D warnings` 通过（`.build/b01-clippy.log`）；driver 又逐项复跑 8 个 D-01 oracle，runner 6 项测试、Python 编译和 Markdown 链接检查通过。D-01 可记为通过；旧安装迁移、完整安装事务和真实样例生命周期属于 D-02～D-04，仍未完成。