It is unusual for the earlier name not to have precedence, but the COL's latest update for this genus was only recent (Feb 2022) and the upstream datasource (World Plants) reflects the use of
Sedum nussbaumerianum as the accepted taxon. I am not sure what the reasoning is for this decision by
World Plants, but it could be the incompleteness of the description by Hamet as mentioned by other posters.
Do you know if there is a taxonomical authority for
Crassulaceae?