Skip to content

chore(release): v0.15.1 — bug-fix: local promotion never causes a compile failure (#474)#477

Merged
avrabe merged 1 commit into
mainfrom
chore/release-v0.15.1
Jun 24, 2026
Merged

chore(release): v0.15.1 — bug-fix: local promotion never causes a compile failure (#474)#477
avrabe merged 1 commit into
mainfrom
chore/release-v0.15.1

Conversation

@avrabe

@avrabe avrabe commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

v0.15.1 bug-fix release. Pin sweep 0.15.0 → 0.15.1 (workspace.package + all path-deps + MODULE.bazel) + CHANGELOG.

Bug-fix for #474: the promotion-on exhaustion-recovery ladder now falls back to the promotion-off (v0.12.0 frame-slot) lowering automatically, so local promotion can never turn a compilable function into a register-exhaustion skip. Bit-identical for every currently-compiling function (frozen byte gate green: control_step 0x00210A55, flight_algo 0x07FDF307, div seam preserved).

The fix itself landed in #475; this is the version-bump/changelog commit. The v0.15.1 tag is already pushed (release workflows building from the same commit). Merge with rebase to keep the tag a proper ancestor of main.

🤖 Generated with Claude Code

…pile failure (#474)

Pin sweep 0.15.0 -> 0.15.1 (workspace.package + all path-deps + MODULE.bazel) +
CHANGELOG. Bug-fix release for #474: the promotion-on exhaustion-recovery ladder
now falls back to the promotion-off (v0.12.0 frame-slot) lowering automatically, so
local promotion can never turn a compilable function into a register-exhaustion
skip. Bit-identical for every currently-compiling function (frozen byte gate green:
control_step 0x00210A55, flight_algo 0x07FDF307, div seam preserved).

Also ships the #470 optimized-path ABI-model note and the #242 register-exhaustion
recovery-ladder map (both analysis-only).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@codecov

codecov Bot commented Jun 24, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@avrabe avrabe merged commit 5466ccc into main Jun 24, 2026
31 of 32 checks passed
@avrabe avrabe deleted the chore/release-v0.15.1 branch June 24, 2026 23:19
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