Seismic measurements made as part of the InSight mission (Banerdt et al., 2020) indicate that Mars' core is large and light with radius and mean density ranging between 1,790 and 1,870 km and 5.7-6.3 g/cm 3 , respectively (Drilleau et al., 2022;Durán et al., 2022;Khan et al., 2022;Stähler et al., 2021). Relative to pure liquid Fe (Kuwayama et al., 2020), this implies a density deficit far in excess of that observed in Earth's core (Birch, 1964). Taken at face value, it requires the incorporation of substantial amounts of light elements (LEs) into the martian core during the early stages of planetary formation (e.g., Khan et al., 2022;Steenstra & van Westrenen, 2018). Previous work that relied mostly on analyses of martian meteorites and cosmochemical arguments (e.g., Lodders