chore(release): bump to v0.9.1 + CHANGELOG entry (#187)

NC kernel soundness pass:
- gPTP synchronization-error budget (Spar_TSN::Sync_Error)
- Atomic-frame quantization on TAS / FIFO arms

Plus AADL spec-version-claim consistency: COMPLIANCE.md title,
vscode-spar package.json + README, and parser doc comments
all aligned to "AADL v2.2/v2.3 (SAE AS5506D)" — matches the
project's actual AS5506D-based grammar coverage.

Workspace version 0.9.0 → 0.9.1.

Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: avrabe

CHANGELOG.md

@@ -4,6 +4,52 @@ All notable changes to spar are documented here. Format follows
 [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and the project
 follows [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.9.1] — 2026-04-29
+
+NC kernel soundness pass. Fixes two pure-soundness gaps flagged by an
+external reviewer of v0.9.0. Both turn slightly-optimistic NC output
+into sound output. Models without `Spar_TSN::Sync_Error` and with the
+same `Spar_TSN::Max_Frame_Size` defaults will see *larger* WCTT
+numbers — the v0.8.1 bounds were under-counting.
+
+### Added — NC soundness (Tier 2 reviewer items)
+
+- **gPTP synchronization-error budget (#186)** — new
+  `Spar_TSN::Sync_Error` (Time, picoseconds; applies to bus,
+  processor) carries the per-hop 802.1AS-2020 sync error ε. The TAS
+  dispatch in `wctt.rs` now subtracts ε from the effective open
+  time and adds ε to the worst-case gate latency. Without ε, v0.8.1
+  TAS bounds were *technically unsound* — a frame can miss its
+  window by ε in silicon. ε = 0 (unset) reproduces v0.8.1
+  byte-identically.
+- **Atomic-frame quantization (#186)** — wctt.rs now adds
+  `ceil(max_frame_bytes · 8e12 / link_rate_bps)` ps per hop on the
+  TAS and FIFO/Priority arms. Bytes-level NC under-counts by up to
+  one MTU per hop because frames are atomic. CBS arm unchanged
+  (closed-form latency absorbs the term). Preemption arm unchanged
+  (replaces with fragment-time). New `WcttFrameQuantization` Info
+  diagnostic.
+
+### Changed
+
+- Property count: 128 → 129; Spar_TSN per-set count: 6 → 7.
+- Test count: 2772 (was 2759 at v0.9.0).
+- Test bounds in `wctt::tests` updated from optimistic to sound:
+  single-hop 1 Gbps 12 µs → 24.144 µs; 3-hop chain 51 µs →
+  87.432 µs; gated TAS half-rate 29 µs → 41.144 µs.
+- Golden fixture `classical_ethernet.expected.json` updated.
+
+### Note on NC bound semantics
+
+The change is from *roughly upper* to *upper*. Old bounds matched a
+fluid-bytes assumption; new bounds enforce the atomic-frame physics
+("a frame in flight must drain"). Users who calibrated against v0.8.1
+numbers will see proportional growth: ≈ +12.144 µs per 1 Gbps hop
+with 1518 B MTU. The `WcttFrameQuantization` diagnostic makes the
+correction visible per hop.
+
+---
+
 ## [0.9.0] — 2026-04-29
 
 Major: spar gains an MCP (Model Context Protocol) tool surface and a

COMPLIANCE.md

@@ -1,4 +1,4 @@
-# AS5506 AADL v2.2 Compliance Gap Analysis
+# AS5506D AADL v2.2/v2.3 Compliance Gap Analysis
 
 **Updated**: 2026-04-28 (v0.8.0 released; v0.8.1 Phase 2 TSN close-out in progress)
 **Source**: 102 HTML files from OSATE2 (`org.osate.help/html/std/`)

Cargo.lock

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

Cargo.toml

@@ -1,4 +1,4 @@
-//! AADL v2.2 grammar rules.
+//! AADL v2.2/v2.3 grammar rules (SAE AS5506D).
 //!
 //! Each function corresponds to a grammar production from AS5506D.
 //! Functions take a `&mut Parser` and build nodes via markers.

crates/spar-parser/src/grammar/mod.rs

@@ -1,4 +1,4 @@
-//! Lexer for AADL v2.2 source text.
+//! Lexer for AADL v2.2/v2.3 source text (SAE AS5506D).
 //!
 //! Produces a flat sequence of `(SyntaxKind, &str)` token pairs from an input
 //! string. The lexer is a simple cursor-based implementation with no external

crates/spar-parser/src/lexer.rs

@@ -1,6 +1,6 @@
 /// All syntax kinds for the AADL language.
 ///
-/// This enum covers every token and node type in AADL v2.2 (AS5506D).
+/// This enum covers every token and node type in AADL v2.2/v2.3 (SAE AS5506D).
 /// Option B: component categories use generic COMPONENT_TYPE/COMPONENT_IMPL
 /// nodes with a COMPONENT_CATEGORY child, rather than per-category variants.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]

crates/spar-parser/src/syntax_kind.rs

@@ -1,13 +1,13 @@
 # AADL (spar) — VS Code Extension
 
-AADL v2.2 language support with live interactive architecture diagrams.
+AADL v2.2/v2.3 language support with live interactive architecture diagrams.
 
 Powered by [spar](https://github.com/pulseengine/spar), an open-source AADL toolchain with 21 analysis passes, port-aware rendering, and orthogonal edge routing.
 
 ## Features
 
 ### Syntax Highlighting
-Full TextMate grammar for AADL v2.2 — keywords, component categories, features, connections, properties, modes, and annexes.
+Full TextMate grammar for AADL v2.2/v2.3 — keywords, component categories, features, connections, properties, modes, and annexes.
 
 ### Language Server (10 IDE Features)
 - **Diagnostics** — parser errors + 21 analysis passes on save
@@ -59,7 +59,7 @@ Interactive HTML diagram that updates on every save:
 - [spar on GitHub](https://github.com/pulseengine/spar)
 - [Latest Release](https://github.com/pulseengine/spar/releases/latest)
 - [Issue Tracker](https://github.com/pulseengine/spar/issues)
-- [AADL Standard (SAE AS5506C)](https://www.sae.org/standards/content/as5506c/)
+- [AADL Standard (SAE AS5506D)](https://www.sae.org/standards/content/as5506d/)
 
 ## License
 

vscode-spar/README.md

@@ -1,9 +1,9 @@
 {
   "name": "spar-aadl",
   "displayName": "AADL (spar)",
-  "description": "AADL v2.2 language support with live architecture visualization",
+  "description": "AADL v2.2/v2.3 language support with live architecture visualization",
   "publisher": "pulseengine",
-  "version": "0.9.0",
+  "version": "0.9.1",
   "license": "MIT",
   "repository": {
     "type": "git",