diff --git a/agents/index.html b/agents/index.html
index df2eb81..5b0ac7e 100644
--- a/agents/index.html
+++ b/agents/index.html
@@ -92,7 +92,7 @@ <h3>Receipt</h3>
           <code>proven</code>-to-<code>guarded</code> regression are separate
           evidence. CI can turn either one, or a newly Guarded obligation,
           into an independent policy gate. The
-          <a href="https://github.com/deed-lang/deed/blob/v0.2.12/how-to/review-an-agent-patch-in-ci.md"
+          <a href="https://github.com/deed-lang/deed/blob/v0.2.13/how-to/review-an-agent-patch-in-ci.md"
             >copy-paste workflow</a
           > compares the two commit trees on every pull request.
         </p>
@@ -235,7 +235,7 @@ <h2>Does it actually help?</h2>
         <p>
           The record says what it does not establish, too: one model family
           and a control arm recorded against an earlier build. A later
-          <a href="https://github.com/deed-lang/deed/blob/v0.2.12/benchmarks/STARLARK.md"
+          <a href="https://github.com/deed-lang/deed/blob/v0.2.13/benchmarks/STARLARK.md"
             >contracts-free Starlark comparison</a
           > solved all six routine tasks, so these tasks do not establish that
           contracts caused the result.
diff --git a/assets/agents.js b/assets/agents.js
index 7b806ee..55d0709 100644
--- a/assets/agents.js
+++ b/assets/agents.js
@@ -5,8 +5,8 @@
 // a claim about what an agent gets back is worth nothing if the page is the
 // one making it up.
 
-const TAG = "v0.2.12";
-const VERSION = "0.2.12";
+const TAG = "v0.2.13";
+const VERSION = "0.2.13";
 const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
 const REVIEW_DEMO_URL = "../assets/review-demo.json";
 
diff --git a/assets/deed-v0.2.12-wasm32-unknown-unknown.wasm b/assets/deed-v0.2.12-wasm32-unknown-unknown.wasm
deleted file mode 100644
index fd6756a..0000000
Binary files a/assets/deed-v0.2.12-wasm32-unknown-unknown.wasm and /dev/null differ
diff --git a/assets/deed-v0.2.13-wasm32-unknown-unknown.wasm b/assets/deed-v0.2.13-wasm32-unknown-unknown.wasm
new file mode 100644
index 0000000..bfe868f
Binary files /dev/null and b/assets/deed-v0.2.13-wasm32-unknown-unknown.wasm differ
diff --git a/assets/errors.js b/assets/errors.js
index c63f804..e2edb4b 100644
--- a/assets/errors.js
+++ b/assets/errors.js
@@ -5,8 +5,8 @@
 // artifact carries all of them, so this page cannot document a code the
 // compiler does not have, or miss one it does.
 
-const TAG = "v0.2.12";
-const VERSION = "0.2.12";
+const TAG = "v0.2.13";
+const VERSION = "0.2.13";
 const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
 
 const STATUS = document.getElementById("status");
diff --git a/assets/play.js b/assets/play.js
index 6425149..c465c60 100644
--- a/assets/play.js
+++ b/assets/play.js
@@ -13,8 +13,8 @@
 // release, because a release asset cannot be fetched from a browser at all:
 // both the download URL and the API one redirect to a host that sends no
 // `Access-Control-Allow-Origin`. See decisions/2026-07-31-no-build-step.md.
-const TAG = "v0.2.12";
-const VERSION = "0.2.12";
+const TAG = "v0.2.13";
+const VERSION = "0.2.13";
 const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
 
 const SOURCE = document.getElementById("source");
diff --git a/examples/index.json b/examples/index.json
index 68e0267..8ae5e54 100644
--- a/examples/index.json
+++ b/examples/index.json
@@ -1,5 +1,5 @@
 {
-  "tag": "v0.2.12",
+  "tag": "v0.2.13",
   "examples": [
     {
       "file": "calculator.deed",
diff --git a/install/index.html b/install/index.html
index 1e20d99..e31ecfe 100644
--- a/install/index.html
+++ b/install/index.html
@@ -64,7 +64,7 @@ <h1>Install</h1>
         </p>
 
         <!--
-          Every `deed 0.2.12` below is the output of that binary on that
+          Every `deed 0.2.13` below is the output of that binary on that
           platform, printed by the release workflow, which refuses to publish
           when a binary disagrees with its tag. The program output further down
           was produced by running the released Windows build.
@@ -119,15 +119,15 @@ <h2>By hand instead</h2>
           <tbody>
             <tr>
               <td>Linux, 64-bit Intel or AMD</td>
-              <td><code>deed-v0.2.12-x86_64-unknown-linux-gnu.tar.gz</code></td>
+              <td><code>deed-v0.2.13-x86_64-unknown-linux-gnu.tar.gz</code></td>
             </tr>
             <tr>
               <td>macOS, Apple silicon</td>
-              <td><code>deed-v0.2.12-aarch64-apple-darwin.tar.gz</code></td>
+              <td><code>deed-v0.2.13-aarch64-apple-darwin.tar.gz</code></td>
             </tr>
             <tr>
               <td>Windows, 64-bit</td>
-              <td><code>deed-v0.2.12-x86_64-pc-windows-msvc.zip</code></td>
+              <td><code>deed-v0.2.13-x86_64-pc-windows-msvc.zip</code></td>
             </tr>
           </tbody>
         </table>
@@ -146,23 +146,23 @@ <h2>Unpack it and ask it what it is</h2>
         </p>
 
         <h3>Linux</h3>
-        <pre class="code"><code>$ tar xzf deed-v0.2.12-x86_64-unknown-linux-gnu.tar.gz
-$ ./deed-v0.2.12-x86_64-unknown-linux-gnu/deed --version
-deed 0.2.12</code></pre>
+        <pre class="code"><code>$ tar xzf deed-v0.2.13-x86_64-unknown-linux-gnu.tar.gz
+      $ ./deed-v0.2.13-x86_64-unknown-linux-gnu/deed --version
+      deed 0.2.13</code></pre>
 
         <h3>macOS</h3>
-        <pre class="code"><code>$ tar xzf deed-v0.2.12-aarch64-apple-darwin.tar.gz
-$ xattr -d com.apple.quarantine deed-v0.2.12-aarch64-apple-darwin/deed
-$ ./deed-v0.2.12-aarch64-apple-darwin/deed --version
-deed 0.2.12</code></pre>
+        <pre class="code"><code>$ tar xzf deed-v0.2.13-aarch64-apple-darwin.tar.gz
+      $ xattr -d com.apple.quarantine deed-v0.2.13-aarch64-apple-darwin/deed
+      $ ./deed-v0.2.13-aarch64-apple-darwin/deed --version
+      deed 0.2.13</code></pre>
         <p>
           The middle line is not optional and it is explained below.
         </p>
 
         <h3>Windows</h3>
-        <pre class="code"><code>&gt; Expand-Archive deed-v0.2.12-x86_64-pc-windows-msvc.zip .
-&gt; .\deed-v0.2.12-x86_64-pc-windows-msvc\deed.exe --version
-deed 0.2.12</code></pre>
+        <pre class="code"><code>&gt; Expand-Archive deed-v0.2.13-x86_64-pc-windows-msvc.zip .
+      &gt; .\deed-v0.2.13-x86_64-pc-windows-msvc\deed.exe --version
+      deed 0.2.13</code></pre>
 
         <h2>What your operating system will say about it</h2>
         <p>
@@ -199,7 +199,7 @@ <h2>Where to put it</h2>
           looks; if you unpacked it by hand and want to type
           <code>deed</code> instead of a path, move it onto yours:
         </p>
-        <pre class="code"><code>$ sudo mv deed-v0.2.12-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
+        <pre class="code"><code>$ sudo mv deed-v0.2.13-x86_64-unknown-linux-gnu/deed /usr/local/bin/deed</code></pre>
         <p>
           On Windows, put the folder on <code>Path</code> through Settings, or
           keep using the full path. Nothing on this page needs it on
@@ -400,7 +400,7 @@ <h2>When it does not work</h2>
             <code>./</code>, or move it as above.
           </dd>
 
-          <dt><code>--version</code> prints something other than 0.2.12</dt>
+          <dt><code>--version</code> prints something other than 0.2.13</dt>
           <dd>
             You are running a different <code>deed</code> than the one you
             unpacked. <code>which deed</code> says which.
diff --git a/one-clause/index.html b/one-clause/index.html
index 1909c6b..154e104 100644
--- a/one-clause/index.html
+++ b/one-clause/index.html
@@ -208,14 +208,14 @@ <h2 data-step="Now take the first one and add `Io.save` to it, and watch the com
         <nav class="next" aria-label="Open in the playground">
           <a
             class="card"
-            href="../play/#0.2.12/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
+            href="../play/#0.2.13/zTZFBi9wwDIXv_hXv1i5Mk3soC0t7mcsW2oUei-MoY4MjBUveNJT-9-JktuzRsvS9p6e-xzcmhOyrEhLDQ9ONvdVCSAqLhCnNMxXiQBjJNiKGbYIgyypMbNq5vnd9j5eYFHPlYEkYhfyk8JhTpg4vkd6R1e8K-u2D5R1b9IZkCJ5hUkMcGqwpt1Hd1Wi5YJZyIBPfOjyLxcQ3UFbq8EWWNWWaYIKfND6p0jLm_dIYDbXIVDN9UKRllWJQOh0GYfOJFcIEWan4ozwXWQ75KGrDfTdgIpqGJDhc3KtPRw8S60rBWlzekJMaRpqlEEplbkZbrHzLLWK1Ug_9DlfDRCFNpA22RbJIpW2hdV3zDvIh3k13b1qHxFrktY3hKl2zg7EaWKxhrtKpf6UjzlIZ1q7y_1jYkkWphkJqJZ1GnDsjwkSL9A34Szjvzs3cpAKpfjxuMeBrKhewX2jADyuJbw_49IjvpDXb57Nyuf88OqAqqQPwZvTi_rx_ntQT-OD-un8"
             >
             <strong>read_only.deed</strong>
             <span>The one a host without `Io.save` will run.</span>
           </a>
           <a
             class="card"
-            href="../play/#0.2.12/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
+            href="../play/#0.2.13/zhVFBjtswDLz7FXNrArj2PWgDLNpLTwXaBXpcKBIdC2uThkhvNijy90Jy7F20h-okaciZ4bBt8Z0JfnCzEiLDQeOZnc2JEBXWE0LsOkrEnnAiuxAx7CLwMk7CxKZN1bZV2-Kxj4puZm9RGIlcUDh0cSA4DrikaKSIhpPzz00RpldL7p289ZSZNg8HfJNG3Qs1-CLjFAcKMMEvOj2o0ngarnXxOEqYB_qgiOMkyaBUTGQulgu8sLnIWozLRMllVNElGUt_L2qH-xhAIAqHKCgz_PWVzdwLH0obrHeGKclLDKQQHq7ZdG6FEi0Z5q7VW84iUTdrwaJmqi1MnKiTREgzc-Rz2QefhxyOWprLVA0et5ERyA8uUYADExW360DwjlkMI5HVRXZDluUU51sG_0Z39-L4Ci-hmNKmqjblUdpM9FQ2W1Ud5xg8qe7y0vWArzHVYDfSAT8tRT7v8fGIH6TzYJ-Wn_qOHCsgR1IBWPOr10eOr65-l-fozPdrxSK0aOyxFORDKe0u_XWPz8ftXm-oPO-MXq2gG13WeE9XY6l5I_0_8Z38qcCryht8W6636lb9AQ"
             >
             <strong>read_write.deed</strong>
             <span>The one it will not.</span>
diff --git a/tools/check.mjs b/tools/check.mjs
index 34e5443..51a9dc6 100644
--- a/tools/check.mjs
+++ b/tools/check.mjs
@@ -112,7 +112,7 @@ const tag = first?.tag;
 // toolchain that can build the crates.io package. Keep that release metadata
 // explicit here: moving TAG to a release not in this table fails until the
 // install claim is considered too, instead of silently carrying an old MSRV.
-const minimumRust = new Map([["v0.2.12", "1.88"]]).get(tag);
+const minimumRust = new Map([["v0.2.13", "1.88"]]).get(tag);
 const install = await readFile(join(root, "install", "index.html"), "utf8");
 const claimedRust = install.match(/Needs Rust ([0-9.]+) or newer/)?.[1];
 if (!minimumRust) {