Skip to content

chore(release): v0.41.2 — stale reloc.CODE backstop - #356

Merged
avrabe merged 1 commit into
mainfrom
release/v0.41.2
Jul 16, 2026
Merged

chore(release): v0.41.2 — stale reloc.CODE backstop#356
avrabe merged 1 commit into
mainfrom
release/v0.41.2

Conversation

@avrabe

@avrabe avrabe commented Jul 16, 2026

Copy link
Copy Markdown
Contributor

Cuts v0.41.2, shipping the #351 soundness backstop (#352, SR-53 verified).

Falsification: test_351_stale_reloc_offsets_hard_error.

Version bump 0.41.1 → 0.41.2; CHANGELOG rolled. Tag v0.41.2 cut on merge.

…ent miscompile

Ships the #351 soundness backstop (#352, SR-53 verified): meld now hard-fails
with MisalignedReloc when a reloc.CODE memory-address site does not land on a
rebasable immediate (stale/drifted relocs from LEB-relaxation; upstream
pulseengine/wasm-tools#3), instead of silently miscompiling shared-memory fusion.

rivet release status v0.41.2 → cuttable (1 artifact verified).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown

LS-N verification gate

59/59 approved LS entries verified

count
Passed (≥1 test, all green) 59
Failed (≥1 test failure) 0
Missing (no ls_*_NN_* test found) 0

Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.

Failed LS entries

(none)

Missing regression tests

(none)

Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.

@avrabe
avrabe merged commit ed71d80 into main Jul 16, 2026
17 checks passed
@avrabe
avrabe deleted the release/v0.41.2 branch July 16, 2026 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant