Elon Musk and DOGE promised $2 trillion in federal savings. Actual verified savings remain a fraction of that.