diff --git a/docs/extensions.md b/docs/extensions.md
index a56f52d..3253521 100644
--- a/docs/extensions.md
+++ b/docs/extensions.md
@@ -26,7 +26,7 @@ elide.use(<a href="#elide.use-channel">channel</a>, <a href="#elide.use-integrit
 | <a id="elide.install-channel"></a>channel |  Release channel: nightly, preview, or release.   | String | optional |  `"nightly"`  |
 | <a id="elide.install-repo_prefix"></a>repo_prefix |  Prefix used to name per-platform download repos.   | String | optional |  `"elide"`  |
 | <a id="elide.install-url_template"></a>url_template |  Override release URL template. Tokens: {channel}, {version}, {os}, {cpu}, {ext}.   | String | optional |  `""`  |
-| <a id="elide.install-version"></a>version |  Elide release version tag, e.g. `1.2.0+20260602`. Must match an entry in elide/private/versions.bzl. Defaults to the most-recently verified release.   | String | optional |  `"1.3.6+20260628"`  |
+| <a id="elide.install-version"></a>version |  Elide release version tag, e.g. `1.2.0+20260602`. Must match an entry in elide/private/versions.bzl. Defaults to the most-recently verified release.   | String | optional |  `"1.4.0+20260707"`  |
 
 <a id="elide.use"></a>
 
diff --git a/elide/private/versions.bzl b/elide/private/versions.bzl
index 7623a61..9d9a05b 100644
--- a/elide/private/versions.bzl
+++ b/elide/private/versions.bzl
@@ -51,6 +51,7 @@ DEFAULT_CHANNEL = "nightly"
 # Hashes verified 2026-06-22 against GitHub release tag 1.3.4+20260622.
 # Hashes verified 2026-06-23 against GitHub release tag 1.3.4+20260623.
 # Hashes verified 2026-06-28 against GitHub release tag 1.3.6+20260628.
+# Hashes verified 2026-07-07 against GitHub release tag 1.4.0+20260707.
 ELIDE_VERSIONS = {
     "1.2.0+20260602": {
         ("linux", "amd64"): "sha256-yIQZwU4nM0SN19Zj2rdikdWBpj9d+fVlJK0d10p3DRA=",
@@ -106,11 +107,17 @@ ELIDE_VERSIONS = {
         ("macos", "arm64"): "sha256-IPUIc9kYzc1mxpva0PX88yGA7UsWS+dneXTfhJxUxRA=",
         ("windows", "amd64"): "sha256-mKvMV80P8OFl0Qw1fTjH33qRw239sIPqJ0m18VAhlt8=",
     },
+    "1.4.0+20260707": {
+        ("linux", "amd64"): "sha256-kG1Dko6oW7QpIk5I1MmCYVQFTg/qcmlyFT1xqpAbv58=",
+        ("linux", "arm64"): "sha256-U/gK+QL65sIAkCeiG/JaEylYHNJli0+mNJ8EXLhA8xo=",
+        ("macos", "arm64"): "sha256-wJhyP+Lijt0VLyTfCYKMDOkhuUVxbDUkn3tXhn33+Yc=",
+        ("windows", "amd64"): "sha256-JQiNk43a5XhS1seUHpZP7bD4XkMExwMOCQb34+sMCm0=",
+    },
 }
 
 # Default version used when consumers call elide.install() without a version.
 # Points at the most-recently verified entry in ELIDE_VERSIONS above.
-DEFAULT_VERSION = "1.3.6+20260628"
+DEFAULT_VERSION = "1.4.0+20260707"
 
 # GitHub releases serve each tag as an immutable artifact. The {channel} token
 # is accepted but unused here; it remains available for consumers who override