Well, he's not a free agent until 2026 so I'd say the last two (and/or he just figures he can make more money in arbitration. He has to know he'll end up getting traded at some point, so why give them a discount now?)
He sounds like a very difficult get in any case, given the likelihood of multiple buyers and the Phillies' thin system.