lion-core v0.3.0 — initial public release

v2.1.0 - Open Source Release

- Abstract specification layer with end-to-end correctness proof
- ~24,000 lines of Lean4, 0 sorry, 9 axioms
- Tactic automation for step case analysis
- TCB documentation v2.1

Refinement proofs (implementation correspondence) not included.