Yes, cashu is the leanest and purest manifestation of money as data, to lend a phrase, fedimint is not (at least not the leanest).