Pin the site to Deed 0.2.12

[onatozmenn]

What this changes

Pins the playground, diagnostics, agent receipts, install page, source links and share links to Deed 0.2.12. The vendored wasm is the release asset and matches the published checksum.

The example corpus did not change between 0.2.11 and 0.2.12. Regeneration changed only the index tag.

Checks

• node tools/examples.mjs: 29 examples, 14 in the picker
• node tools/check.mjs: 73 files and 29 examples, all clean
• Release wasm SHA256 matches 62d27403915420827ab9ca3327e4b6aad515479f8fe352ec364efc77690ce90d
• Desktop and mobile agent receipts load from Deed 0.2.12 with no console or network errors
• Playground Check returns obligations; Run prints hello, world and finishes
• No textual 0.2.11 pins remain

[Copilot]

Pull request overview

Pins the Deed website’s embedded compiler/runtime references to Deed 0.2.12, ensuring the playground, diagnostics, agent receipts, install instructions, and external source links all consistently target the same release.

Changes:

• Updated playground/share-link fragments and pinned version constants from 0.2.11 → 0.2.12.
• Updated install page filenames and example outputs to 0.2.12.
• Updated the examples index tag and agent page source links to v0.2.12.

Reviewed changes

Copilot reviewed 7 out of 9 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
one-clause/index.html	Updates “Open in the playground” links to use #0.2.12/... fragments.
install/index.html	Updates install artifacts and versioned examples to 0.2.12.
examples/index.json	Updates the examples corpus tag to v0.2.12.
assets/play.js	Pins playground TAG/VERSION constants to v0.2.12 / 0.2.12.
assets/errors.js	Pins diagnostics page TAG/VERSION constants to v0.2.12 / 0.2.12.
assets/agents.js	Pins agent receipts page TAG/VERSION constants to v0.2.12 / 0.2.12.
agents/index.html	Updates GitHub source links to point at blob/v0.2.12/....

Suppressed comments (2)

install/index.html:157

• The macOS install snippet includes leading spaces on all lines after the first. Because this is inside

  , the indentation becomes part of the rendered/copiable commands and is inconsistent with the rest of the page.

        <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>

install/index.html:165

• The Windows PowerShell snippet adds leading spaces before the second prompt line and output. In a preformatted code block this indentation is preserved and makes the commands look misaligned compared to other snippets.

        <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>

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.