HTRA1 and CARASIL: The diagnosis of CARASIL was confirmed through molecular genetic testing, which identifies characteristic mutations in the HTRA1 gene.