Skip to content

chore(release): v0.41.0 - #436

Merged
avrabe merged 1 commit into
mainfrom
release/v0.41.0
Aug 21, 2026
Merged

chore(release): v0.41.0#436
avrabe merged 1 commit into
mainfrom
release/v0.41.0

Conversation

@avrabe

@avrabe avrabe commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

Version bump for v0.41.0. Feature landed in #435 — closes the three SPAR-DEFECT parser gaps of #434:

  • (a) annex-qualified property owners {emv2}**error type in applies to (...) (arp4761.aadl, milstd882.aadl)
  • (b) two-token category virtual processor inside reference(...) (pok.aadl)

MAX_SPAR_DEFECT walked 3 → 0.

Bump

  • Cargo.toml [workspace.package] 0.40.0 → 0.41.0
  • Cargo.lock — 23 workspace crates, via cargo update --workspace --offline
  • vscode-spar/package.json 0.40.0 → 0.41.0
  • REQ-PLUGFEST-CORPUS-OWNER-001 promoted implementedverified (release v0.41.0)

rivet validate → PASS. No code changes — the feature is already on main (#435, squash aee9e1c).

🤖 Generated with Claude Code


Generated by Claude Code

Version bump for v0.41.0. Feature landed in #435 — accepts annex-qualified
property owners ({emv2}**error type) and two-token categories (virtual
processor) in reference(...), closing the three SPAR-DEFECT parser gaps of
#434. Cargo.toml / Cargo.lock (23 workspace crates) / vscode-spar/package.json
0.40.0 -> 0.41.0; REQ-PLUGFEST-CORPUS-OWNER-001 promoted to verified
(release v0.41.0).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown

Rivet verification gate

20/20 passed

count
Passed 20
Failed 0
Skipped (no steps) 0

Filter: (and (= type "feature") (or (has-tag "v093") (has-tag "v0100")))

Failed artifacts

(none)

Updated automatically by tools/post_verification_comment.py. Source of truth: artifacts/verification.yaml.

@codecov

codecov Bot commented Aug 21, 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 7977994 into main Aug 21, 2026
21 checks passed
@avrabe
avrabe deleted the release/v0.41.0 branch August 21, 2026 13:30
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.

2 participants