Skip to content

chore(release): bump to v0.9.2 + CHANGELOG entry#202

Merged
avrabe merged 1 commit intomainfrom
release/v0.9.2
May 3, 2026
Merged

chore(release): bump to v0.9.2 + CHANGELOG entry#202
avrabe merged 1 commit intomainfrom
release/v0.9.2

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 3, 2026

v0.9.2 honesty + tightness pass. Bumps workspace 0.9.1 → 0.9.2.

Includes 6 reviewer items + Lean spec align + org-wide CI concurrency:
#193 α(0)=0; #195 CBS hi/loCredit; #196 sensitivity; #197 Stop_For_Lock + ARINC; #198 Context_Switch; #199 RTA→WCTT; #194 nightly CI; #200 concurrency.

Test plan: cargo build/test/clippy/fmt/rivet all clean.

🤖 Generated with Claude Code

Honesty + tightness pass. Closes 6 reviewer items + Lean spec align
+ org-wide CI concurrency control:

- α(0)=0 causality fix (#193) — discharges 5/5 → 4 sorrys in MinPlus
- Spar_TSN::Hi/Lo_Credit user-tunable CBS (#195) — Tier A #8
- WCTT sensitivity output (#196) — NC top-5 #13
- Stop_For_Lock + ARINC severity (#197) — Tier A #6 + #9
- Context_Switch in RTA recurrence (#198) — Tier A #5 (partial)
- RTA→WCTT release-jitter coupling (#199) — NC top-5 #4
- Nightly fuzz + bench workflow fixes (#194)
- Org-wide CI concurrency control (#200)

Workspace version 0.9.1 → 0.9.2.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@avrabe avrabe merged commit 2ee8d05 into main May 3, 2026
13 checks passed
@avrabe avrabe deleted the release/v0.9.2 branch May 3, 2026 09:30
@codecov
Copy link
Copy Markdown

codecov Bot commented May 3, 2026

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