Expanding on DealBook:
When I filed, I'm fairly sure FTX US was solvent, and that all US customers could be made whole.
To my knowledge, it still is today.
I was expecting that to happen. I'm surprised it hasn't. I'm not sure why US withdrawals were turned off.