I would file nonresident WV and resident MI, taking credit for WV tax paid (if any). At least for 2025; he was there only 4 months, and not voluntarily.
