docs(acceptance): 记录 B-02 生产验收证据

2026-09-09 09:09:04 +08:00
parent dd27c46366
commit 9f772aed48
1 changed files with 9 additions and 0 deletions
@@ -781,3 +781,12 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写
 - 每个 case 只调用仓库固定登记的 driver，配置不能注入命令。driver 的 JSON 必须含独立断言、文件/revision 清单和该 ID 要求的指标；非零退出、超时、坏 schema、缺指标、缺安装产物/权限/秘密引用、必测 skip 或结果秘密命中均失败。输出含逐 ID JSON、JUnit、固定 ID 清单、脱敏限长日志、commit、锁文件/安装产物/config 摘要；已有非空报告目录不覆盖。
 - 5 项 runner 测试通过，覆盖个人 Vault/明文秘密/非空目录拒绝，未登记 ID 生成 JUnit failure 且退出 1，driver 缺断言/指标失败，以及测试秘密在日志中被替换。实际 CLI 清单检查通过；使用模板运行 A-01 得到预期 `NOT_IMPLEMENTED`、summary `NOT_PASSED` 和退出 1，证明缺实现不会误报成功。包含该测试的后端全套 913 项通过、1 项依赖弃用警告，日志 `.build/acceptance-runner-python.log`；Python 编译与 Markdown 链接检查通过。
 - 当前仅完成 P0 runner 与报告协议，30 项完整生产 driver 尚未登记；因此没有任何 A/B/C/D/S/E ID 因本增量变为通过。后续逐项接入时仍须满足规划表的全部断言、实机/生产依赖和量化指标，完整生产化目标保持未完成。
 ## 增量：B-02 Fernet 迁移生产验收
 - 将既有 100 条 Python Fernet 夹具扩充为 B-02 独立 Rust oracle：本地主密钥迁移后逐 ID/值重开核对，初次导入加三次重复导入始终为 100 条；源密文和受管理主密钥字节不变，所有权标记记录源摘要、数量和密钥来源。
 - 新增环境主密钥且没有 `master.key` 的迁移、空库零条切换、缺钥匙、单条坏 token 及目标同 ID 异值冲突。后三种失败均在提交和 owner 标记前停止，目标 Stronghold 与旧 `credentials.json` 字节保持原样；环境密钥场景不创建或修改源主密钥文件。
 - B-02 driver 只运行仓库固定的 exact Rust oracle，登记 6 组断言及 Fernet 夹具 SHA-256。首次在未提交源码上运行虽得到测试成功，但 summary 只能指向旧 HEAD，已明确弃用该报告；runner 随即增加非 Vault 源码脏状态拒绝和模板 run ID 拒绝，避免 commit 与被测代码不一致。用户 Vault 修改继续排除在源码洁净判定之外。
 - 提交 `fac8cd7` 后在只保留用户 Vault 修改的工作树运行 `python scripts/phase3-production-acceptance.py --suite credentials --case B-02 ...`，退出 0，summary 与 case 均为 `PASSED`，commit 为 `fac8cd7ad458838ceb25c139b496f5b88d00b3b5`，6 项断言通过，耗时 32275 ms。证据目录 `.build/acceptance/b02-fac8cd7-36b36a78f92b4d04a5120a19eb259287/`，不含凭据。
 - 最终 desktop Rust 全目标 148 通过、12 ignored，日志 `.build/b02-rust-full.log`；全目标 Clippy `-D warnings` 通过（`.build/b02-clippy.log`），runner 6 项测试、Python 编译、Markdown 链接检查通过。B-02 可记为通过；迁移每个持久化边界强杀、明确清除旧文件、旧版本写入阻止和 UI 恢复属于 B-04/端到端门禁，仍未完成，整体生产化目标保持未完成。