From f032427b226783bfc3672017d94e852ce5c2c3a0 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Tue, 19 May 2026 19:20:14 +0200 Subject: [PATCH] =?UTF-8?q?chore(release):=20bump=20version=200.9.3=20?= =?UTF-8?q?=E2=86=92=200.10.0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- Cargo.lock | 44 ++++++++++++++++++++-------------------- Cargo.toml | 2 +- vscode-spar/package.json | 2 +- 3 files changed, 24 insertions(+), 24 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 67700a3..6f6c879 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1241,7 +1241,7 @@ dependencies = [ [[package]] name = "spar" -version = "0.9.3" +version = "0.10.0" dependencies = [ "etch", "la-arena", @@ -1272,7 +1272,7 @@ dependencies = [ [[package]] name = "spar-analysis" -version = "0.9.3" +version = "0.10.0" dependencies = [ "la-arena", "rustc-hash 2.1.2", @@ -1285,7 +1285,7 @@ dependencies = [ [[package]] name = "spar-annex" -version = "0.9.3" +version = "0.10.0" dependencies = [ "rowan", "spar-syntax", @@ -1293,7 +1293,7 @@ dependencies = [ [[package]] name = "spar-base-db" -version = "0.9.3" +version = "0.10.0" dependencies = [ "rowan", "salsa", @@ -1303,7 +1303,7 @@ dependencies = [ [[package]] name = "spar-codegen" -version = "0.9.3" +version = "0.10.0" dependencies = [ "criterion", "la-arena", @@ -1317,7 +1317,7 @@ dependencies = [ [[package]] name = "spar-hir" -version = "0.9.3" +version = "0.10.0" dependencies = [ "salsa", "serde", @@ -1330,7 +1330,7 @@ dependencies = [ [[package]] name = "spar-hir-def" -version = "0.9.3" +version = "0.10.0" dependencies = [ "la-arena", "rowan", @@ -1344,7 +1344,7 @@ dependencies = [ [[package]] name = "spar-insight" -version = "0.9.3" +version = "0.10.0" dependencies = [ "pretty_assertions", "serde", @@ -1356,7 +1356,7 @@ dependencies = [ [[package]] name = "spar-mcp" -version = "0.9.3" +version = "0.10.0" dependencies = [ "serde", "serde_json", @@ -1371,7 +1371,7 @@ dependencies = [ [[package]] name = "spar-mermaid" -version = "0.9.3" +version = "0.10.0" dependencies = [ "la-arena", "rustc-hash 2.1.2", @@ -1380,7 +1380,7 @@ dependencies = [ [[package]] name = "spar-network" -version = "0.9.3" +version = "0.10.0" dependencies = [ "good_lp", "spar-base-db", @@ -1389,7 +1389,7 @@ dependencies = [ [[package]] name = "spar-parser" -version = "0.9.3" +version = "0.10.0" dependencies = [ "expect-test", "proptest", @@ -1399,7 +1399,7 @@ dependencies = [ [[package]] name = "spar-render" -version = "0.9.3" +version = "0.10.0" dependencies = [ "etch", "la-arena", @@ -1410,7 +1410,7 @@ dependencies = [ [[package]] name = "spar-solver" -version = "0.9.3" +version = "0.10.0" dependencies = [ "criterion", "good_lp", @@ -1424,7 +1424,7 @@ dependencies = [ [[package]] name = "spar-syntax" -version = "0.9.3" +version = "0.10.0" dependencies = [ "expect-test", "rowan", @@ -1433,7 +1433,7 @@ dependencies = [ [[package]] name = "spar-sysml2" -version = "0.9.3" +version = "0.10.0" dependencies = [ "expect-test", "la-arena", @@ -1444,7 +1444,7 @@ dependencies = [ [[package]] name = "spar-trace-topology" -version = "0.9.3" +version = "0.10.0" dependencies = [ "pcap-parser", "serde", @@ -1457,7 +1457,7 @@ dependencies = [ [[package]] name = "spar-transform" -version = "0.9.3" +version = "0.10.0" dependencies = [ "la-arena", "serde", @@ -1468,7 +1468,7 @@ dependencies = [ [[package]] name = "spar-variants" -version = "0.9.3" +version = "0.10.0" dependencies = [ "pretty_assertions", "serde", @@ -1478,14 +1478,14 @@ dependencies = [ [[package]] name = "spar-verify" -version = "0.9.3" +version = "0.10.0" dependencies = [ "spar-verify-macros", ] [[package]] name = "spar-verify-macros" -version = "0.9.3" +version = "0.10.0" dependencies = [ "proc-macro2", "quote", @@ -1494,7 +1494,7 @@ dependencies = [ [[package]] name = "spar-wasm" -version = "0.9.3" +version = "0.10.0" dependencies = [ "etch", "la-arena", diff --git a/Cargo.toml b/Cargo.toml index f0779de..e4b9dfe 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -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" diff --git a/vscode-spar/package.json b/vscode-spar/package.json index ee567b5..b814bf2 100644 --- a/vscode-spar/package.json +++ b/vscode-spar/package.json @@ -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",