Release Notes

Major milestones and updates for the Aura language, SDK, and tooling.

v0.2.0 — Explainable Verification

January 2026

Verification UX Overhaul

Typed counterexamples: Z3 models now carry type information (ranges for integers, bool values). Values are extracted as structured JSON and mapped back to source identifiers.
Variable trace: Best-effort tracking of variable definitions and assignments. Identifies which bindings are relevant to a failed assertion.
UNSAT core logic trace: Interactive proof steps showing why assertions must fail. Span-linked core entries jump directly to failing code.
Counterexample schema v2: Improved mapping format with inline injection hints for easier debugging in Sentinel IDE.

Sentinel IDE Enhancements

Proofs panel now renders typed values, variable traces, and logic trace breadcrumbs.
Quick hints and suggestions for fixing common proof failures.
Better diagnostics de-duplication and related-info navigation.

CI & Build Improvements

Trusted Core audit baseline: CI now enforces a "trusted core report" diffs against a known-good baseline, catching drift in verified modules.
Reproducible, deterministic release builds with attestation metadata.
All platform SDKs (Windows, macOS, Linux) built and packaged consistently.

Refined Types & Bindgen

aura bindgen --refine-types maps C integer ranges and nullability into Aura refined-type annotations.

Performance & Stability

Incremental proof cache with file hash + dependency tracking.
High-speed Dev-VM interpreter for sub-second edit-run loops.
Differential testing between Dev-VM and native LLVM backends.

Roadmap: v0.2 is the "first solid daily driver" milestone from our roadmap. Read the full roadmap for planned features in v0.3+ (ownership model, effect system, packages/registry).

v0.1.0 — Foundation Release

Initial public release

Core language syntax and module system.
Z3-backed verification with proof streaming.
Aura Sentinel IDE (VS Code extension and desktop app).
SDK packaging and distribution.
Aura-Bindgen FFI automation.
Standard library with core, math, collections, io, and more.