Status: IN
Wallet concurrent transfers are deadlock-free via sorted lock acquisition with frozen-check inside the lock — but this safety guarantee assumes stable wallet identity, which silent creation-overwrite could violate mid-transfer.
sorted lock ordering prevents deadlock and frozen-check prevents TOCTOU, but `create_wallet` silently replacing an existing wallet could reset balance and lose in-flight transaction state for any concurrent transfer holding a lock on that wallet
Depends on (SL): wallet-deadlock-free-concurrent-transfers