chore(release): bump to v0.7.1 + add CHANGELOG

[avrabe]

Summary

Promotes the v0.7.x line to a tagged release.

• Cargo.toml workspace version: 0.6.0 → 0.7.1
• vscode-spar/package.json: 0.6.0 → 0.7.1
• New CHANGELOG.md (Keep a Changelog format) with full v0.7.1 release notes

Headlines for the v0.7.1 release

• Track A v0.7.0 — IRQ-aware hierarchical RTA + Lean theorems (feat(timing): Spar_Timing + Spar_Trace property sets (Track A foundation) (v0.7.0) #145, feat(rta): hierarchical IRQ-aware RTA with jitter and BCET/WCET split (Track A commit 2/4) #147, proofs(rta): jittered RTA convergence theorem (Track A commit 3/4) #148, docs+test: Track A close-out (commit 4/4) — COMPLIANCE narrative + CLI integration #154)
• Track A v0.7.1 — PIP/PCP blocking term (feat(rta): PIP/PCP blocking term in hierarchical RTA (v0.7.1) #163)
• Track B v0.7.x foundation — variant contract spec (docs: rivet <-> spar variant binding contract v1 (proposed) #144) + spar-variants consumer crate (feat(variants): spar-variants consumer crate for rivet variant context v1 (Track B commit 1) #162)
• v0.7.x verification infrastructure — Lean + Bazel + proptest CI gates (closes Add GitHub Actions CI for Lean proofs + proptest + Bazel tests #135), Kani harnesses (closes Add Kani harnesses for ARINC653 solver invariants (constraint-satisfaction / MILP) #136), cargo-fuzz (closes Add cargo-fuzz targets for AADL parser + scheduling solver inputs #138), criterion benchmarks (closes Add criterion benchmarks for scheduling solver (ARINC653) #137)

On main but unadvertised in this release

Track D Phase 1 (TSN/WCTT, all 6 commits) and Track E commits 1-4 are also on main at this tag and ship in the resulting binaries. They are functional and tested. They will be promoted as v0.8.0 features when Track E is fully closed (commits 5-8).

Test plan

• cargo build --workspace clean
• CI green on this PR
• After merge: tag v0.7.1 → release.yml triggers binary builds for all platforms
• Verify GitHub Release artifacts produced

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!