I don’t think you can trade a catcher like Jansen or Kirk in season as a contender. I know the rays dealt adames last year but a short stop isn’t a catcher. It’s important but they don’t deal with all the pitchers.
In saying that, if I HAD to trade one, I’d trade Jansen. Less control and also more injury history I think.
Edit: also, Kirk might be a way bigger trade chip than people let on. He’s shown he can frame, he’s way more credible as a true regular catcher than was thought before, and he can straight up hit. Plus, 4 years more of control, one at the minimum. A s*** ton of teams would be interested in that. His body is a concern but will that really break down by 28? That’s when he’s out of control.