docs: record 0.12 release evidence

Author: JayLin

docs/learning/progress.md

@@ -14,7 +14,7 @@
 | L9 Skills and Hooks | Not started | |
 | L10 MCP | Not started | |
 | L11 Subagent and Worktree | Not started | |
-| L12 CI, benchmark and release | In progress | v0.11 GitHub prerelease and Windows/Linux CI succeeded; benchmark pending |
+| L12 CI, benchmark and release | In progress | v0.12 GitHub prerelease and Windows/Linux CI succeeded; benchmark pending |
 
 ## L0 Notes
 
@@ -582,4 +582,15 @@
 - 代码审查新增迁移失败保持 v2 可重试、成功终态必须有可信测试证据、editable path 单项
   1 KiB 上限回归。主分支初始 CI `28465232075` 暴露 Session projection/event 双快照竞态；
   Session 与 Repair 验证已改为单 SQLite 只读事务，write contention 统一使 Resume plan
-  stale。最终 artifact smoke、远程 CI 和 GitHub prerelease 证据待发布后回填。
+  stale。
+- 哈希约束构建生成 `mini_code_agent-0.12.0a0-py3-none-any.whl`
+  (`77c52333421cf367201d5bdb7c24efaa1b0caa39502caea94cf833115ae588cd`) 和
+  `mini_code_agent-0.12.0a0.tar.gz`
+  (`f6534836943eed929aa0fae61f50aaa1ecb83d9cf475419ca119bdcdd44ddec8`)；二者在 Python
+  3.12/3.13 的四组隔离安装 smoke 均通过。
+- 修复 PR CI `28466399363` 与最终 main CI `28466523593` 的 quality、Ubuntu/Windows ×
+  Python 3.12/3.13 五个 job 全部通过。
+- Annotated tag `v0.12.0-alpha.0` 解引用到
+  `071ea0556fa294cddbadc9c5698a79fb9a104b7d`。GitHub prerelease
+  <https://github.com/linjiayebat/mini-code-agent/releases/tag/v0.12.0-alpha.0> 已上传 wheel
+  与 sdist，远端 asset digest 与上述本地 smoke 制品一致。

docs/resume/project-profile.md

@@ -4,9 +4,9 @@
 > Registry、M2b 受治理文件写入、M2c argv 命令执行与 M3a 确定性 Context Budget
 > 、M3b 版本化 Session/追加式 Trace、M3c Checkpoint/Resume、M4a hardened 只读 Git
 > 、M4b 受治理 Pytest 诊断及 M4c 宿主控制的有限 Repair 已完成；Shell 字符串、OS 沙箱、
-> 自动 Repair Resume 和真实凭证联调尚未实现。`v0.11.0-alpha.0` GitHub prerelease 已发布；
-> M4c 本地门禁已通过，`v0.12.0-alpha.0` 发布门禁进行中。M4b 的
-> Ubuntu/Windows × Python 3.12/3.13 远程 CI 已成功，wheel 与 sdist 已上传并校验摘要。
+> 自动 Repair Resume 和真实凭证联调尚未实现。`v0.12.0-alpha.0` GitHub prerelease 已发布；
+> 本地与 Ubuntu/Windows × Python 3.12/3.13 远程 CI 已成功，wheel 与 sdist 已完成四组
+> 隔离安装 smoke，远端 asset digest 与本地摘要一致。
 >
 > 本文中的功能、性能和指标是目标或验收方案。只有得到代码、测试、CI、Benchmark 或 Release 证据后，才能改写为已完成成果。
 
@@ -90,7 +90,7 @@ Pyright；其余技术随对应里程碑落地。
 | 只读 Git 证据 | Agent 修改前后需要可靠识别用户已有变更，但普通 Git 配置可在 status/diff 中执行 fsmonitor、external diff 或 textconv | argv-only Git CLI、`--porcelain=v2 -z` 解析、exact top-level、`--no-optional-locks`、禁用 fsmonitor/ext-diff/textconv/submodule、联合输出/时间/条目/patch 上限、canonical SHA-256 | `git_status` 返回 typed branch/XY/rename/conflict/untracked；`git_diff` 返回 staged/unstaged patch | 避免 locale 文本误解析、父仓库越界、配置驱动代码执行、可选 index 写入和误将截断 patch 当完整证据 | 27 项 Git 单测、4 项 Tool 单测、1 项真实 Agent 集成；恶意扩展零执行，status/diff 前后 index 字节与纳秒 mtime 不变 |
 | 受治理 Pytest 诊断 | 文件写完不等于任务完成，但直接开放测试命令会引入任意 argv、插件和项目代码执行风险 | fixed `PytestProfile`、`python -I -B`、禁用 ambient plugin/cache、Workspace target、execute 默认 deny/独立审批、进程预算、`defusedxml` bounded JUnit parser、process/report 双状态 | 模型只选测试文件/目录；批准后运行真实 Pytest，返回 exit 分类、计数和有界 failure/error diagnostics，并在所有路径清理报告 | 将脆弱终端文本解析改为机器协议；区分测试失败、runner 失败、无测试和报告损坏；阻止模型控制解释器/参数/插件 | 95 项新增测试使全套达到 678 passed；真实 deny/approve/reject/non-interactive/Agent+Trace 集成通过；Python 3.12/3.13 各通过，90.25% 分支覆盖率，四组 artifact smoke |
 | 宿主控制的有限 Repair Loop | 诊断可用后，若让模型自行决定改什么、何时测试和是否重试，会形成无界反馈、覆盖用户改动或用文字冒充成功 | 独立 `RepairRuntime`、clean repository、literal exact tracked scope、pre-policy `RepairActionGuard`、固定 Pytest、Git/Workspace 前后证据、canonical failure fingerprint、attempt/time/patch/prompt/repeated-failure 预算、SQLite schema v3 Repair hash chain | 先跑 baseline；每轮只允许一次 Agent read/edit；宿主验证 patch 和测试无副作用后重测，只在完整 passing evidence 下成功，否则以 typed reason 停止 | 阻止 scope 外写入、execute/network、自声明成功、staged/untracked/ignored/submodule/branch 漂移、重复失败和测试残留修改；中断会话不自动重放 | 真实集成覆盖一次缺陷修复、越权写入在审批/落盘前拒绝、dirty repo 在 Provider/Pytest 前拒绝、测试修改仓库即使通过也停止；Python 3.12/3.13 本地各 798 passed、6 个 Windows symlink 条件跳过，3.13 分支覆盖率 90.88%；未虚构 benchmark 提升率 |
-| 质量门禁 | 企业级项目需要稳定接口和回归保护 | Ruff、严格 Pyright、Pytest、85% 核心覆盖率门槛、哈希构建约束、CI、SemVer | 自动执行 lint、类型检查、测试、构建和安装验证 | 防止低质量变更进入发布版本 | v0.12 本地：Python 3.12/3.13 各 798 通过、6 项 symlink 条件跳过，90.88% 分支覆盖率，Bandit/pip-audit 通过；最终 artifact smoke、远程 CI 与 prerelease 待发布后回填。v0.11 的 Ubuntu/Windows × Python 3.12/3.13 与 quality 已全成功并发布 |
+| 质量门禁 | 企业级项目需要稳定接口和回归保护 | Ruff、严格 Pyright、Pytest、85% 核心覆盖率门槛、哈希构建约束、CI、SemVer | 自动执行 lint、类型检查、测试、构建和安装验证 | 防止低质量变更进入发布版本 | v0.12：Python 3.12/3.13 本地各 798 通过、6 项 symlink 条件跳过，90.88% 分支覆盖率，Bandit/pip-audit 与四组 artifact smoke 通过；PR/main CI 的 Ubuntu/Windows × 3.12/3.13 与 quality 全成功，prerelease 及两个校验摘要一致的制品已发布 |
 | 可扩展 Harness | Skills、Hooks、MCP、Subagent 会增加控制流复杂度 | 稳定 Protocol、EventBus、能力声明、依赖倒置 | 在不侵入 Agent Core 的前提下增加能力 | 避免扩展绕过权限、Trace 和 Session | 插件合约测试；扩展数量后续回填 |
 
 ## 6. 指标回填规则

docs/superpowers/plans/2026-06-30-m4c-bounded-repair-loop.md

@@ -854,7 +854,7 @@ Build wheel and sdist with `build-constraints.txt --require-hashes`, compute SHA
 artifact separately on Python 3.12 and 3.13, run `tests/smoke_test.py`, and verify
 `mini-code-agent --version` reports `0.12.0a0`.
 
-- [ ] **Step 6: Complete plan, merge, tag, and publish**
+- [x] **Step 6: Complete plan, merge, tag, and publish**
 
 Mark checkboxes, commit evidence, fast-forward merge to `main`, rerun merged verification, tag
 `v0.12.0-alpha.0`, push `main` and tag, create a GitHub prerelease with exact wheel/sdist assets,