Undecidable Formula (¢³) Rugcheck — Risk Score 6/10