having said that, the spatial scale of mixing is unclear, and it could be possible that km-scale pockets of monomineralic dunite could persist.
just one exception to That is if IBC/KREEP downwelling was inefficient. If https://rajanahrd643049.wizzardsblog.com/30133147/the-5-second-trick-for-moon-ring