Thank you both!  FYI, she does have IRS and FTB online accounts and just sent me screenshots of the payment history.  Both of the payments were correctly credited to 2019, which is good news.  I guess I'll just tell ProSeries that the federal payment was made in 2020.