Elon Musk leaves DOGE with questions remaining over the cost-cutter’s legacy