The Padres made a harsh 40-man decision after a pitching addition, and it’s a reminder that camp depth cuts both ways.