I recall that on the Moon, KREEP-like components are thought to could be formed only by fractional crystallization of magma ocean, similar to our techniques for production and purification of lanthanides & actinides before the rise of HPLC, so REE ratios there give a reliable proxy timer of stages of the differentiation?