Concur, if true. I doubt anyone's taking on $4M.
On the other hand, spotrac is generally pretty accurate.
In any case, he pitched Sunday night so he's not an option for Wednesday.
Edit: Rereading the MLBTR article, I don't think he's owed $13M in salary for 2024. Both the $3M signing and $2M roster bonuses have already been paid and aren't "salary." That leaves $7M in salary...the original $4M and another $3M in performancebonuses. About $2.5M remaining.