Skip to content

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

Merged
avrabe merged 2 commits into
mainfrom
release/v0.47.0
Jul 17, 2026
Merged

chore(release): v0.47.0 — close the loops#800
avrabe merged 2 commits into
mainfrom
release/v0.47.0

Conversation

@avrabe

@avrabe avrabe commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

7-lane close-the-loops hub, each coordinator-verified. W1: WCET ph2 loops+hints #793, aarch64 m4 #790, #791 fix #794, #275 finale #792. W2: VCR-VER-003 ph2 #797, VCR-WASM ph2 (536 Qed) #796, #418 arena-bind #799. Pin sweep 0.46.0→0.47.0; CHANGELOG adds [0.46.1] history + [0.47.0]; claims 21/21; scope-clean.

🤖 Generated with Claude Code

avrabe and others added 2 commits July 17, 2026 07:11
…finale, VCR-VER-003 ph2, VCR-WASM ph2 536 Qed, #418 arena-bind)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L
…remains-open wording, drop undocumented claim, full entries for m4/VCR-VER-003-ph2/VCR-WASM-ph2/#418, WCET refiled under Added

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@avrabe
avrabe merged commit ac79fb3 into main Jul 17, 2026
39 of 40 checks passed
@avrabe
avrabe deleted the release/v0.47.0 branch July 17, 2026 05:29
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