diff --git a/.release-please-manifest.json b/.release-please-manifest.json
index e1a55a36..ed21d28c 100644
--- a/.release-please-manifest.json
+++ b/.release-please-manifest.json
@@ -1,3 +1,3 @@
 {
-  ".": "0.12.3"
+  ".": "0.13.0"
 }
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0b98fbdb..44a06c51 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,22 @@
 GOWDK is experimental 0.x software. Public syntax, generated output, runtime
 packages, and tooling contracts may change before 1.0.
 
+## [0.13.0](https://github.com/cssbruno/GoWDK/compare/v0.12.3...v0.13.0) (2026-08-20)
+
+
+### Features
+
+* **compiler:** harden v1 execution contracts ([9ed07bb](https://github.com/cssbruno/GoWDK/commit/9ed07bb45606e90b040c6023cfbd47e0a43382d3))
+* **compiler:** harden v1 execution contracts ([bad0ec6](https://github.com/cssbruno/GoWDK/commit/bad0ec6436899d9db61d0bc1ed79ccb943a46a8d))
+
+
+### Bug Fixes
+
+* **examples:** align SSR smoke fixture with interop contract ([58bd8e3](https://github.com/cssbruno/GoWDK/commit/58bd8e3bc015b3db097598b7df06d84fb81ffbde))
+* **examples:** align SSR smoke fixture with interop contract ([bd07c03](https://github.com/cssbruno/GoWDK/commit/bd07c032f401cdfb8a78cb4ea72c8e549150bab7))
+* resolve runtime compiler and tooling regressions ([eadad23](https://github.com/cssbruno/GoWDK/commit/eadad23e2a28e39f6324effb5558930b125c944c))
+* resolve runtime compiler and tooling regressions ([d8eafca](https://github.com/cssbruno/GoWDK/commit/d8eafcaf38461f0764bba53e6b22243ea365ebed))
+
 ## [0.12.3](https://github.com/cssbruno/GoWDK/compare/v0.12.2...v0.12.3) (2026-07-07)
 
 
diff --git a/editors/vscode/package.json b/editors/vscode/package.json
index a879ccef..f831a569 100644
--- a/editors/vscode/package.json
+++ b/editors/vscode/package.json
@@ -2,7 +2,7 @@
   "name": "gowdk-vscode",
   "displayName": "GOWDK",
   "description": "Language tools for portable .gwdk files.",
-  "version": "0.12.3",
+  "version": "0.13.0",
   "publisher": "gowdk",
   "license": "MIT",
   "icon": "icons/gowdk.png",
diff --git a/internal/gowdkcmd/main.go b/internal/gowdkcmd/main.go
index 61cba939..782d673b 100644
--- a/internal/gowdkcmd/main.go
+++ b/internal/gowdkcmd/main.go
@@ -11,7 +11,7 @@ import (
 	"github.com/cssbruno/gowdk/runtime/envfile"
 )
 
-const version = "0.12.3" // x-release-please-version
+const version = "0.13.0" // x-release-please-version
 
 // Main runs the gowdk command-line program and exits with the documented code.
 func Main() {