Engineering Principles
The engineering principles that shape every decision in Verum — pay-for-what-you-use, semantic honesty, three-axis closure, no hidden runtime, and the principles that make a single source span microcontroller firmware to verified theorem corpora.
Semantic Honesty
Types name what values mean, not how they are stored.
Gradual Verification
The nine-strategy ladder from runtime assertions to cross-validated proof certificates.
Comparisons
How Verum positions against Rust, OCaml, Swift, Idris, Dafny, and F*.