chore(release): v0.47.0 — close the loops - #800

Merged

avrabe merged 2 commits into

mainfrom

release/v0.47.0

Jul 17, 2026

Commits on Jul 17, 2026

chore(release): v0.47.0 — close the loops (WCET ph2, aarch64 m4, #275 finale, VCR-VER-003 ph2, VCR-WASM ph2 536 Qed, #418 arena-bind)

avrabe
and
claude
committed
89dcf52
docs(release): v0.47.0 CHANGELOG honesty fixes per cold review — #418 remains-open wording, drop undocumented claim, full entries for m4/VCR-VER-003-ph2/VCR-WASM-ph2/#418, WCET refiled under Added

avrabe
and
claude
committed
9e9b8ec