Been a while since I interacted with this science, but I think the assumption about the magma ocean “boiling off” the water was an early idea that doesn’t hold up? The mantle holds an impressive amount of water dissolved inside it, as it turns out.