formal verification (FORMAL VEI) Rugcheck — Risk Score 3/10