chore(release): v0.11.38 — pin sweep + changelog (#321)

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

Author: avrabe

CHANGELOG.md

@@ -7,6 +7,39 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.11.38] - 2026-06-11
+
+**The first register-exhaustion hard-fail becomes recoverable
+(#242, VCR-RA-001 steps 3b-lite + 4 substrate).**
+
+- **Spill-on-exhaustion retry**: when `alloc_temp_safe` would hard-fail
+  ("register exhaustion: all allocatable registers are live on the stack"),
+  the function is re-selected with spilling enabled — the deepest
+  stack-resident value moves to a frame slot (existing #171 `Spilled`
+  reload-on-pop machinery) and selection continues. Bit-identity for every
+  currently-compiling function is STRUCTURAL: the unmodified first pass runs
+  for everyone; only the exact exhaustion error triggers the fresh-selector
+  retry (which also forces the spill-area reservation that i32-only frames
+  lacked). Honest bound: 8 spill slots cap simultaneous spills; the i64
+  consecutive-pair and call-result hard-fail sites remain (next increments).
+- **Cycle-safe parallel-move resolver** (`synth_synthesis::parallel_move`,
+  VCR-RA-004): chains leaf-first, cycles broken via move-set-filtered scratch
+  or a self-bracketing stack-scratch pair; property-tested across 6000
+  deterministic sequentializations + directed swap/cycle cases with a
+  structural size bound. Pure substrate for upcoming spill/reload insertion.
+- NEW committed oracle: `scripts/repro/high_pressure_i32.wat` +
+  unicorn-vs-wasmtime differential — hard `Err` on v0.11.37, compiles and
+  passes 6/6 on this release.
+
+All fixtures sha256-identical to v0.11.37; differentials PASS (13/13,
+338/338, 0x07FDF307). gale's v0.11.36/37 scorecard verified everything
+shipped (filter −8 cyc, #311 closed on silicon, #237 sizing confirmed).
+
+Falsification: wrong if any previously-compiling module's bytes change, or
+the high-pressure lane disagrees with wasmtime. The reciprocal-mult
+cost-gate revert experiment (VCR-VER-001 evidence) is now runnable.
+
+
 ## [0.11.37] - 2026-06-11
 
 **RV32 i64 locals + the per-op register-aliasing fix the behavioral oracle

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.37"
+version = "0.11.38"
 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.37",
+    version = "0.11.38",
 )
 
 # Bazel dependencies

MODULE.bazel

@@ -11,6 +11,6 @@ categories.workspace = true
 description = "aWsm backend integration for the Synth compiler"
 
 [dependencies]
-synth-core = { path = "../synth-core", version = "0.11.37" }
+synth-core = { path = "../synth-core", version = "0.11.38" }
 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.37" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.37" }
+synth-core = { path = "../synth-core", version = "0.11.38" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.38" }
 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.37" }
+synth-core = { path = "../synth-core", version = "0.11.38" }
 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.37" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.37", optional = true }
+synth-core = { path = "../synth-core", version = "0.11.38" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.38", 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.37" }
-synth-frontend = { path = "../synth-frontend", version = "0.11.37" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.37" }
-synth-backend = { path = "../synth-backend", version = "0.11.37" }
+synth-core = { path = "../synth-core", version = "0.11.38" }
+synth-frontend = { path = "../synth-frontend", version = "0.11.38" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.38" }
+synth-backend = { path = "../synth-backend", version = "0.11.38" }
 
 # Optional external backends
-synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.37", optional = true }
-synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.37", optional = true }
-synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.37", optional = true }
+synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.38", optional = true }
+synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.38", optional = true }
+synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.38", optional = true }
 
 # Optional verification (requires z3)
-synth-verify = { path = "../synth-verify", version = "0.11.37", optional = true, features = ["z3-solver", "arm"] }
+synth-verify = { path = "../synth-verify", version = "0.11.38", optional = true, features = ["z3-solver", "arm"] }
 
 # Optional PulseEngine WASM optimizer
 # Uncomment when loom crate is available:

crates/synth-cli/Cargo.toml

@@ -14,7 +14,7 @@ description = "WASM/WAT parser and module decoder frontend for the Synth compile
 # Internal path deps carry an explicit version so `cargo publish`
 # can rewrite to the crates.io coordinate. `path` is used for
 # in-workspace builds; `version` is what crates.io sees.
-synth-core = { path = "../synth-core", version = "0.11.37" }
+synth-core = { path = "../synth-core", version = "0.11.38" }
 
 wasmparser.workspace = true
 wasm-encoder.workspace = true