I think the wording in the FDIC order was that customers were "initiating 42bn of withdrawals."[0] Doesn't mean those went through (in fact many from what I heard didn't.)

Still certainly very possible that the analysis is incorrect.

[0] https://dfpi.ca.gov/wp-content/uploads/sites/337/2023/03/DFP...