This is a problem with her carrier or her specific account provisioning. SMS over WiFi calling works just fine, including from short codes.

I'm often traveling outside of the US, and my AT&T prepaid line most definitely does not roam outside of CAN/US/MEX. I spend the bulk of my time in WiFi calling mode. I have never had any issues receiving or sending SMS over WiFi, including to short codes.