Echeveria pulidonis (Cultivated) ?

Echeveria pulidonis E.Walther, Echeveria: 122 (1972);
,
Mexico (Hidalgo, Veracruz, Puebla) as per POWO;
.


Echeveria derenbergii J.A.Purpus: 4 very high res. images.

Location: Sanchal, Lalitpur, Nepal
Date: 05 April 2024 
Elevation: 1400m.
Habitat: Cultivated
To me looks different as per images at
https://en.wikipedia.org/wiki/Echeveria_derenbergii
https://worldofsucculents.com/echeveria-derenbergii-painted-lady/
https://plants.ces.ncsu.edu/plants/echeveria-derenbergii/
https://libguides.nybg.org/paintedlady
https://ottershawcacti.com/shop/echeveria-derenbergii/
Pl. check
https://efloraofindia.com/2014/02/25/echeveria-imbricata/
To me appears close.

https://ottershawcacti.com/shop/echeveria-derenbergii/ ??
https://ppbc.iplant.cn/tu/10001056 ??

Does not match as per these also.
Inflorescences are too long in your case.

Echeveria pulidonis E.Walther ??

May be as per
https://www.succulent.care/echeveria-pulidonis-guide/
https://www.quickcrop.ie/products/echeveria-pulidonis.html

 

 

.
References:
POWO
https://www.succulent.care/echeveria-pulidonis-guide/
https://www.quickcrop.ie/products/echeveria-pulidonis.html