Skip to content

chore(release): v0.36.0 — unreachable traps, sparse tables, 40 verified rules, 81 bridge Qed#673

Merged
avrabe merged 2 commits into
mainfrom
chore/release-v0.36.0
Jul 8, 2026
Merged

chore(release): v0.36.0 — unreachable traps, sparse tables, 40 verified rules, 81 bridge Qed#673
avrabe merged 2 commits into
mainfrom
chore/release-v0.36.0

Conversation

@avrabe

@avrabe avrabe commented Jul 8, 2026

Copy link
Copy Markdown
Contributor

Release PR: pin sweep + CHANGELOG for v0.36.0.

Scope: #668 (#665 unreachable no-op + #666 rem_s over-trap) · #669 (#664 null-slot call_indirect — falcon complete) · #670 (SEL inc-4: 40 rules/40 Qed + coverage metric) · #671 (ISA bridge: 81 Qed, 2 latent model bugs found).

Tag v0.36.0 on green merge.

🤖 Generated with Claude Code

avrabe and others added 2 commits July 8, 2026 23:41
…s + 81 bridge Qed (#668/#669/#670/#671)

Pin sweep 0.35.0 -> 0.36.0 + CHANGELOG.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
… — merged ahead of the tag

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@avrabe avrabe merged commit ce5f2b4 into main Jul 8, 2026
33 checks passed
@avrabe avrabe deleted the chore/release-v0.36.0 branch July 8, 2026 22:14
@codecov

codecov Bot commented Jul 8, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

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