Mathematical proof that a system meets its specifications, here implemented in Lean 4 to certify material stability predictions.