I'm not entirely sure if the current design requires users to explicitly store a personal ledger, i.e., maintaining a chain where each block links to the previous one with a hash pointer. Even if we would drop the hash pointer to the previous block in ones chain, double-spends can still be detected.