chore(release): v0.11.40 — acceptance release: pin sweep + changelog + VCR-RA-001 -> implemented (#328)

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

Author: avrabe

CHANGELOG.md

@@ -7,6 +7,38 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.11.40] - 2026-06-11
+
+**THE ALLOCATOR ACCEPTANCE RELEASE — VCR-RA-001's five criteria are all met,
+and gale's k_mutex_unlock lane unblocks (#242, #326).**
+
+- **i64 pair-spill via param frame-backing** (#325): the last acceptance
+  criterion closes. The true pair-exhaustion blocker was pinned param home
+  registers (no stack spill can free them); a third retry-ladder rung forces
+  the proven #204 param frame-backing onto call-free functions, after which
+  a consecutive pair always exists (pigeonhole over the freed pool). Ladder:
+  default -> spill-only (#320) -> spill+param-backing, each rung triggered
+  only by its predecessor's exact error — bit-identity stays structural.
+  NEW high-pressure-i64 lane: hard Err on v0.11.39 -> 6/6 vs wasmtime.
+- **Arg-move cycles via the parallel-move resolver** (#327, gale #326): the
+  call-marshal cycle-breaker no longer demands a callee-saved register —
+  VCR-RA-004's resolver (v0.11.38) breaks cycles via a stack-scratch cell
+  when registers are saturated. This unblocks the dissolved k_mutex_unlock
+  (gale's exact error reproduced on main by the committed mutex_pressure
+  lane; 7/7 vs wasmtime on the fix) AND killed a latent wrong-code bug: the
+  old cycle-breaker miscompiled genuine 2-swaps (duplicated a value).
+- **VCR-RA-001 status: implemented.** All five criteria verified: no
+  hard-fail on high-pressure i32 AND i64 modules; fixtures bit-identical
+  through six releases; cycles equal-or-better on the G474RE (gale); the
+  v0.11.20 cost-gate revert EXECUTED (#322); the backward-dataflow validator
+  guarding every re-allocated segment (#323). Honest bounds: the 8-slot
+  spill pool, stack-passed params, the R8-pair/i64-param class (tracked).
+
+Falsification: wrong if gale's mutex lane fails on silicon (native ref 124),
+any previously-compiling module's bytes change, or any pressure lane
+disagrees with wasmtime.
+
+
 ## [0.11.39] - 2026-06-11
 
 **The assurance carrier: a backward-dataflow translation validator now guards

Cargo.lock

@@ -27,7 +27,7 @@ resolver = "2"
 # semver to publish, so the convention now catches up: workspace
 # version follows the release tag, bumped pre-tag in the release
 # checklist. See docs/release-process.md.
-version = "0.11.39"
+version = "0.11.40"
 edition = "2024"
 rust-version = "1.88"
 authors = ["PulseEngine Team"]

Cargo.toml

@@ -7,7 +7,7 @@ module(
     name = "synth",
     # Kept in lockstep with [workspace.package] version in Cargo.toml.
     # Both are bumped pre-tag — see docs/release-process.md.
-    version = "0.11.39",
+    version = "0.11.40",
 )
 
 # Bazel dependencies

MODULE.bazel

@@ -143,7 +143,7 @@ artifacts:
       shortcuts be reverted toward the clean form. Must keep the reserved-reg
       architecture (R9 globals / R11 mem-base / R12 IP-scratch) and the
       bounds-mode R10 invariant.
-    status: proposed
+    status: implemented
     tags: [codegen, register-allocation, ssa, regalloc2, track-a, release-v0.11.40]
     links:
       - type: derives-from

artifacts/verified-codegen-roadmap.yaml

@@ -11,6 +11,6 @@ categories.workspace = true
 description = "aWsm backend integration for the Synth compiler"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.39" }
+synth-core = { path = "../synth-core", version = "0.11.40" }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend-awsm/Cargo.toml

@@ -11,8 +11,8 @@ categories.workspace = true
 description = "RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.39" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.39" }
+synth-core = { path = "../synth-core", version = "0.11.40" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.40" }
 anyhow.workspace = true
 thiserror.workspace = true
 tracing.workspace = true

crates/synth-backend-riscv/Cargo.toml

@@ -11,6 +11,6 @@ categories.workspace = true
 description = "Wasker backend integration for the Synth compiler"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.39" }
+synth-core = { path = "../synth-core", version = "0.11.40" }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend-wasker/Cargo.toml

@@ -15,7 +15,7 @@ default = ["arm-cortex-m"]
 arm-cortex-m = ["synth-synthesis"]
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.39" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.39", optional = true }
+synth-core = { path = "../synth-core", version = "0.11.40" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.40", optional = true }
 anyhow.workspace = true
 thiserror.workspace = true

crates/synth-backend/Cargo.toml

@@ -27,18 +27,18 @@ verify = ["synth-verify"]
 # Path deps carry `version` so `cargo publish` rewrites them to the
 # crates.io coordinate. Bumping the workspace version requires
 # updating these in lockstep — see docs/release-process.md.
-synth-core = { path = "../synth-core", version = "0.11.39" }
-synth-frontend = { path = "../synth-frontend", version = "0.11.39" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.39" }
-synth-backend = { path = "../synth-backend", version = "0.11.39" }
+synth-core = { path = "../synth-core", version = "0.11.40" }
+synth-frontend = { path = "../synth-frontend", version = "0.11.40" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.40" }
+synth-backend = { path = "../synth-backend", version = "0.11.40" }
 
 # Optional external backends
-synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.39", optional = true }
-synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.39", optional = true }
-synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.39", optional = true }
+synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.40", optional = true }
+synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.40", optional = true }
+synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.40", optional = true }
 
 # Optional verification (requires z3)
-synth-verify = { path = "../synth-verify", version = "0.11.39", optional = true, features = ["z3-solver", "arm"] }
+synth-verify = { path = "../synth-verify", version = "0.11.40", optional = true, features = ["z3-solver", "arm"] }
 
 # Optional PulseEngine WASM optimizer
 # Uncomment when loom crate is available: