docs: 记录 CodeGuard v0.14.13 发布证据

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，才可将整体优化标记完成。

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 全目标审计、规格同步与归档仍未完成。