v0.7.0: Offline HTML Reports

v0.6.0: add GraphIR finding rollups

v0.5.0: CI and PR Review Output

v0.4.1: Cleaner scan output and demo-first documentation

v0.4.0: Deterministic System-Level Contract Enforcement

v0.3.1: add built-in deterministic contract foundation

v0.3.0: KiCad schematic scanning, inferred rail metadata, and cross-p…

…latform setup improvements

v0.2.8:Importer-Agnostic Contract Verification Engine

v0.2.7:Rail Coverage and Explainable Voltage Inference

v0.2.6: KiCad Net Voltage Interface