chore(release): v0.42.0

[avrabe]

Version bump for v0.42.0.

Feature landed in #437 (closes a #420 category-1 gap): spar now rejects a feature/port named with the AS-5506B Annex A reserved word in or out — a too-permissive grammar gap that OSATE rejects at the grammar level. Pinned by an inline oracle with executed non-vacuity; the graded conformance floors (osate_agreement.rs too-permissive 53 / too-strict 0, three_way_conformance.rs) are unchanged.

This bump:

• Cargo.toml [workspace.package] 0.41.0 → 0.42.0
• Cargo.lock — 23 workspace crates rebumped (cargo update --workspace --offline)
• vscode-spar/package.json 0.41.0 → 0.42.0
• REQ-PLUGFEST-PORTNAME-INOUT-001 promoted implemented → verified (release v0.42.0)

No source changes beyond version strings; the feature itself is already on main.

Tag note: the signed v* tag that fires release.yml cannot be pushed from this automated environment (refs/tags/v* → HTTP 403, re-confirmed this run). Once this bump is on main, the tag is a maintainer step — same outstanding handoff as v0.38.0 / v0.39.0 / v0.41.0.

🤖 Generated with Claude Code

---

Generated by Claude Code

[github-actions]

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 Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!