diff --git a/openspec/changes/refactor-codeguard-architecture/tasks.md b/openspec/changes/refactor-codeguard-architecture/tasks.md index 9903cdb..d700509 100644 --- a/openspec/changes/refactor-codeguard-architecture/tasks.md +++ b/openspec/changes/refactor-codeguard-architecture/tasks.md @@ -34,5 +34,5 @@ - [x] 5.2 四个历史 skipped 已全部恢复;Dockerfile CLI 接入统一报告解析与扫描应用,14 项真实进程边界测试通过;基线比较按诊断内容和次数核验并要求基线实际 FAIL,三项误豁免用例先红后绿。完整 433 项单测零跳过、142 项回归零失败。 - [x] 5.3 新增当前架构 Mermaid 与扩展指南;报告版本读取插件 manifest,双语 README 指向当前证据,旧设计标明历史范围;双语标题/链接/版本及本地链接存在性测试通过。发布版本仍需在 5.5 检查。 - [x] 5.4 全量单测/真实 hook 回归/ruff/语言 schema/vendor 离线与在线/本 change strict 和逐条规格追溯通过;第二十七批本地 546 项单测、143 项真实 Hook 回归、57 项/11 规则,证据见 verification.md。仅证明本地契约,不等同三宿主现场验收。 -- [ ] 5.5 按仓规升级版本、生成市场元数据、授权的 PR/CI/不可变 tag/Release 闭环;第二十六批已发布 v0.14.12(插件 PR #58、市场 PR #16、源码 PR/main CI、注释 tag/正式 Release 均核对;市场 PR 无 CI 检查)。后续 MCP 修复归因与 CLI 成功输出收敛仅在隔离 worktree,未 bump/推送/发布。宿主安装运行独立记录,未授权不得改宿主。 +- [x] 5.5 按仓规升级版本、生成市场元数据、授权的 PR/CI/不可变 tag/Release 闭环;第二十七批已发布 v0.14.13(插件 PR #60、市场 PR #17、源码 PR/main CI、注释 tag/正式 Release 均核对;市场 PR 无 CI 检查)。宿主安装运行独立记录,未授权不得改宿主;发布证据见 verification.md。 - [ ] 5.6 完成全目标审计,代码/规格/证据一致后同步并归档 change,才可将整体优化标记完成。 diff --git a/openspec/changes/refactor-codeguard-architecture/verification.md b/openspec/changes/refactor-codeguard-architecture/verification.md index 3a4df29..b4f0b61 100644 --- a/openspec/changes/refactor-codeguard-architecture/verification.md +++ b/openspec/changes/refactor-codeguard-architecture/verification.md @@ -283,3 +283,5 @@ - `/opt/anaconda3/bin/python3` 3.13.5(MCP SDK 可用)完整执行 **542 unittest、0 skipped**,真实 Hook 回归 **143/0/0**;Ruff、架构依赖/循环、语言 schema **57 项/11 规则**、vendor 离线与在线、本 change strict、diff whitespace 均通过。Homebrew Python 3.14.3 执行同套测试有 4 项依赖条件跳过,不能替代完整证明。受管技能及 lock 未改;本项已在隔离 worktree 本地提交为 `73873d5`,未 bump、推送或发布,三宿主已安装运行、Windows、在线 CVE 与大型 Maven/Gradle 项目仍无本批证据。 - 继续沿 `fix.py → language_check.run_fix → run_check(fix=True)` 审计:`run_fix.fixed` 历史上等于 formatter 退出码 0,供兼容调用方决定是否复检,却被 CLI 直接打印成 `✅ fixed`。真实临时 Git 仓的已规范 Python 改动文件经 Ruff 无改动返回 0,新增黑盒测试先 RED(CLI 虚称 fixed),现 CLI 仅报告 formatter 执行成功且文件变化未验证,旧字段与自动复检策略保持不变。MCP 顶层 `fixed` 仍使用独立身份比较;内层兼容字段的语义迁移需另行审计。最终本地完整单测 **543/543、0 skipped**,真实 Hook 回归 **143/0/0**;Ruff、架构门禁、语言 schema **57 项/11 规则**、vendor 离线与在线、本 change strict、diff whitespace 均通过。本项已在隔离 worktree 本地提交为 `e1406de`,未 bump、推送或发布。 - 再沿同一 CodeGraph 路径审查 `run_fix → auto_fix → _public_fix_results`:内部 `fixed=rc==0` 被直接拷进 MCP 逐项结果,导致 no-op formatter、多个 formatter 或失败后部分改写的公开修复结论不可信。新增三个身份/归因测试先 RED;公开结果保留 `formatter_succeeded` 命令事实,并且仅唯一成功执行且复检后身份稳定时才声明逐项 `fixed`。多 formatter 不猜归属;失败且内容变化则整体 UNVERIFIED。完整单测 **546/546、0 skipped**,真实 Hook 回归 **143/0/0**;Ruff、架构检查、语言 schema **57 项/11 规则**、vendor 离线与在线、OpenSpec strict、diff whitespace 通过。内部兼容字段与复检策略未变;此处仍仅是隔离 worktree 的本地证据,未证明三宿主安装运行或版本发布。 + +- 第二十七批随后发布为 v0.14.13:源码 PR #60 合并到 `f683bc7b9888da97277eadce853774adf5fcaa15`,市场 PR #17 合并到 `947fc7d65b9a7f31360c1eeb96a02e62d1e8b196`。源码 PR 的 `vendor-check` 和合并后 main 的 `skills-check` 均成功;市场 PR 无 CI 检查,不称其 CI 已通过。受保护注释 tag `v0.14.13` 解引用到源码 main 合并提交,正式 GitHub Release 非 draft、非 prerelease,Codex/ZCode/Kimi 市场元数据及中英文导航均为 0.14.13。此发布不等于三宿主已安装运行、Windows、联网 CVE 或大型 Maven/Gradle 的现场验收;task 5.6 全目标审计、规格同步与归档仍未完成。