The Jays won't sell, but they probably should.
Pad the prospect cupboard even more by dealing Ray and Semien, then replace them with Hatch and Smith so we can see what they bring to the table at the MLB level for a few months. Try to target blue chip pitching prospects from contenders if you can.
Then in the off season go hard for Correa, try to re-sign Ray again, as well as Thor maybe?