Design a digital wallet

A digital wallet with a double-entry ledger in integer minor units: transfers that are two entries summing to zero, idempotency keys stored with the entries under the payer's lock, two account locks always taken in id order so crossing transfers cannot deadlock, holds that lower available but not balance, a daily limit strategy, a verify check, and a two-thread stress test.