Mathematical Assurance
Kind: capability
Layer: Computation Core
Record: lexicon:mathematical-assurance
Canonical: Lexicon
The ability to prove mathematically that a system meets its specification.
Listed in Lexicon terms, after Broad Input Exploration and before Regression Safety.