chore(release): bump version 0.9.3 → 0.10.0 (#231)

v0.10.0 ships:

**Mermaid emission (M1 + M2 + M3)**
- spar-mermaid foundation crate with `emit_flowchart` (#220)
- `spar emit --format mermaid` CLI subcommand (#222)
- `emit_class_diagram` + `emit_requirement_diagram` + matching CLI
  flags `--format mermaid-class` / `mermaid-req` (#228)

**Soundness deepening**
- Lean 4 sorry-free proofs of end-to-end latency monotonicity and
  ARINC 653 partition isolation, alongside the pre-existing RTA / EDF /
  Network Calculus proofs (#223)
- Kani BMC harnesses on generated-code AADL contract preservation
  (thread Period, port Direction, bus access right) — spar's
  Logika-equivalent strategy for verified codegen (#224)

**Safety analysis**
- EMV2 error-propagation traversal across the AADL connection graph
  (closes the #1 gap vs OSATE/HAMR in safety-case reviews) (#225)

**Verification infrastructure**
- Rivet-driven verification gate that executes every artifact's
  `fields.steps[].run` commands and posts a sticky PR comment with
  pass/fail counts and failed artifact IDs (#221)
- Workflow tuning: gate timeout 30→60 min for future Mathlib-heavy
  workloads; TEST-PROOF-* stay on sorry-grep until lake cache lands
  (#227, #229, #230)

**Chore**
- Pruned stale dev artifacts (.playwright-mcp logs + dashboard-render
  PNGs) and tightened gitignore (#226)

Bumps Cargo.toml + vscode-spar/package.json from 0.9.3 → 0.10.0.
The release workflow's `check-versions` job enforces tag/Cargo/vsix
agreement, so these must move together with the v0.10.0 tag push.

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>

Author: avrabe

Cargo.lock

@@ -26,7 +26,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.9.3"
+version = "0.10.0"
 edition = "2024"
 license = "MIT"
 repository = "https://github.com/pulseengine/spar"

Cargo.toml

@@ -3,7 +3,7 @@
   "displayName": "AADL (spar)",
   "description": "AADL v2.2/v2.3 language support with live architecture visualization",
   "publisher": "pulseengine",
-  "version": "0.9.3",
+  "version": "0.10.0",
   "license": "MIT",
   "repository": {
     "type": "git",