chore(release): v0.11.43 — #345 on-target shippability (linmem .bss + link-survivable relocs) (#349)

Bundles both #345 fix steps: dissolved --relocatable --native-pointer-abi objects
are now MCU-shippable (zero-init linmem -> NOBITS .bss, .data 65548->4 #347) and
link-survivable (inline MOVW/MOVT-ABS -> literal-pool R_ARM_ABS32, 22->0 inline
abs relocs #348). Unblocks the 51 struct-return decide drop-ins + jess PR #60.
Frozen differentials byte-identical (change gated on --native-pointer-abi).

Pin sweep 0.11.42 -> 0.11.43 (11 manifests + MODULE.bazel + Cargo.lock).
Falsification statement in the changelog. Closes #345 (gale silicon link-test
is the final gate).

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

Author: avrabe

CHANGELOG.md

@@ -7,6 +7,42 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.11.43] - 2026-06-14
+
+**ON-TARGET SHIPPABILITY — gale #345: dissolved `--relocatable` objects are now
+MCU-shippable and link-survivable (both fix steps bundled).**
+
+- **#345 step 1 — zero-init wasm linmem → `.bss`** (#347): a dissolved
+  `--relocatable --native-pointer-abi` object emitted the entire wasm
+  linear-memory reservation as a SHT_PROGBITS `.data` section — ~64 KB of
+  mostly-zero bytes, a non-starter on a 128 KB-RAM MCU. Now the zero-init
+  reservation rides a SHT_NOBITS `.bss` (zero file bytes; the host loader zeroes
+  it, preserving wasm zero-init semantics), with only the materialized
+  `__synth_globals` slots in a tiny PROGBITS `.data`. Initialized `(data)`
+  segments stay PROGBITS. Measured on the dissolved `k_mutex_unlock`: `.data`
+  **65548 → 4 bytes**.
+- **#345 step 2 — link-survivable linmem addressing** (#348): the
+  `__synth_wasm_data`/`__synth_globals` addresses were loaded with inline-immediate
+  `MOVW`/`MOVT-ABS` (`R_ARM_MOVW_ABS_NC`/`MOVT_ABS`), whose instruction-immediate
+  form gets mangled into an undefined instruction when linked into a large Zephyr
+  image (G474RE USAGE FAULT). Replaced with a **literal-pool load** — `LDR rX,
+  [pc, #off]` from a `.text` word carrying `R_ARM_ABS32` (which `ld`/bfd patches
+  in a data word and survives a large multi-object link). Mutex object: **22
+  inline `MOVW/MOVT-ABS` → 0; 11 link-survivable `R_ARM_ABS32`**. (A new
+  `LdrSym` literal-pool op, wired through the encoder + reg_effect; a defensive
+  `func_base % 4 == 0` assert makes the imm12 alignment coupling explicit.)
+  Together these unblock the 51 struct-return decide drop-ins + jess PR #60.
+  The four frozen differentials (control_step 0x00210A55, flight_seam
+  0x07FDF307, div_const 338/338, mutex_pressure) stay **byte-identical** (the
+  whole change is gated on `--native-pointer-abi`).
+
+  **Falsification:** wrong if a dissolved `--native-pointer-abi --relocatable`
+  object still carries a 64 KB PROGBITS `.data` or any inline
+  `R_ARM_MOVW_ABS_NC`/`MOVT_ABS` against `__synth_wasm_data`; or if gale's
+  G474RE `mutex_api` (`CONFIG_GALE_WASM_LTO_MUTEX=y`) still links to a USAGE
+  FAULT. (Reloc-shape + value-differential verified in-tree; gale's silicon
+  link-test is the final gate.)
+
 ## [0.11.42] - 2026-06-14
 
 **IF/ELSE-WITH-RESULT RECONCILIATION BUG-FIX — gale #313: asymmetric arms

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.42"
+version = "0.11.43"
 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.42",
+    version = "0.11.43",
 )
 
 # 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.42" }
+synth-core = { path = "../synth-core", version = "0.11.43" }
 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.42" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.42" }
+synth-core = { path = "../synth-core", version = "0.11.43" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.43" }
 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.42" }
+synth-core = { path = "../synth-core", version = "0.11.43" }
 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.42" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.42", optional = true }
+synth-core = { path = "../synth-core", version = "0.11.43" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.43", 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.42" }
-synth-frontend = { path = "../synth-frontend", version = "0.11.42" }
-synth-synthesis = { path = "../synth-synthesis", version = "0.11.42" }
-synth-backend = { path = "../synth-backend", version = "0.11.42" }
+synth-core = { path = "../synth-core", version = "0.11.43" }
+synth-frontend = { path = "../synth-frontend", version = "0.11.43" }
+synth-synthesis = { path = "../synth-synthesis", version = "0.11.43" }
+synth-backend = { path = "../synth-backend", version = "0.11.43" }
 
 # Optional external backends
-synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.42", optional = true }
-synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.42", optional = true }
-synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.42", optional = true }
+synth-backend-awsm = { path = "../synth-backend-awsm", version = "0.11.43", optional = true }
+synth-backend-wasker = { path = "../synth-backend-wasker", version = "0.11.43", optional = true }
+synth-backend-riscv = { path = "../synth-backend-riscv", version = "0.11.43", optional = true }
 
 # Optional verification (requires z3)
-synth-verify = { path = "../synth-verify", version = "0.11.42", optional = true, features = ["z3-solver", "arm"] }
+synth-verify = { path = "../synth-verify", version = "0.11.43", 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.42" }
+synth-core = { path = "../synth-core", version = "0.11.43" }
 
 wasmparser.workspace = true
 wasm-encoder.workspace = true