Your stablecoin balance says 10,000 until someone else decides it says zero. Programmable money is just permissioned money with better branding.