adeelahmad · Oct 18, 2026 · Oct 18, 2026
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -22,6 +22,21 @@ tag in lockstep. Tag releases as `vMAJOR.MINOR.PATCH`.
 
 ## [Unreleased]
 
+## [0.12.0] - 2026-10-18
+
+The first release of **aloop** (Aladdin's Loop), the plugin formerly published as agentic-agile.
+It carries the 0.11.0 rename (below: *Upgrading from agentic-agile*) and everything the roadmap
+shipped since v0.10.1: the intent contract and the `aladdin.event/1` stream with `events trace`
+(a commit on main answers with its task, gates, plan, intent and approver), sprint budget and
+admission control, the planning feedback lifecycle, frozen ids, semantic targets, the stuck
+release, the impact-provider seam, the portable host core (Claude Code, Codex, OpenCode), run
+data under `.aladdin/` with a `.agentic/` fallback, and seventeen measured live runs of the
+north-star loop (`make e2e-live`), each of which fixed a gate false positive or a dead path.
+
+**Upgrading from agentic-agile:** uninstall `agentic-agile@agentic-agile-marketplace`, install
+`aloop@aloop-marketplace`; `agentic …` commands keep working as aliases and existing `.agentic/`
+project data is read as before (see 0.11.0 → Compatibility, and README → *Upgrading*).
+
 ### Changed
 - **The README is tested** (`scripts/test/readme.test.py`, in `make test-hosts`): the §4.11 section
   order, every `aloop <tool>` / `aladdin <sub>` it names exists, the install lines name this

diff --git a/docs/OVERVIEW.md b/docs/OVERVIEW.md
@@ -1,6 +1,6 @@
 # What aloop is
 
-*Product definition as of v0.11.0 (2026-10-17), written from the code, not the design docs.
+*Product definition as of v0.12.0 (2026-10-18), written from the code, not the design docs.
 **aloop** is "Aladdin's Loop", renamed from agentic-agile in v0.11.0; the old command names
 still work as aliases. The 1.0 target is **Aladdin**; see [ROADMAP.md](ROADMAP.md).*
 

diff --git a/plugin/.claude-plugin/plugin.json b/plugin/.claude-plugin/plugin.json
@@ -1,6 +1,6 @@
 {
   "name": "aloop",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "description": "Two-stage agile planning (interactive, human-gated) + two-phase TDD execution (autonomous, hook-enforced), with md-db/KDL artifact validation, ctx-symbols structure checks, per-task transcripts, and a planning retrospective that distills durable memory. Runs on Claude Code, Codex and OpenCode.",
   "author": { "name": "Adeel Ahmad" },
   "license": "MIT",

diff --git a/plugin/tools/ctx-symbols/Cargo.lock b/plugin/tools/ctx-symbols/Cargo.lock
diff --git a/plugin/tools/ctx-symbols/Cargo.toml b/plugin/tools/ctx-symbols/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "ctx-symbols"
-version = "0.11.0"
+version = "0.12.0"
 edition = "2021"
 description = "Minimal AST symbol resolver for aloop gates (count/locate/search/conflicts). Harvested from ctxconfig's code-intelligence layer."
 license = "MIT"