For Pauley, I think he needs to spend consistent developmental time in AAA for now.
Snyder would seem the likely choice from inside the organization. I’m not sure what more can be gained for him to staying in the minors and having options allows for roster flexibility.
I’m wondering why Abe Alavarez never gets mentioned. They’ve already brought him up this year so his last option year has been used. At the very least he should be able to do a better job than what we’ve seen from Johnson, and if he can’t then he probably doesn’t deserve to be on the 40 man roster.