1) aucune des violations [de ...] ne doit être réprimée 2) certaines des violations [de ...] ne doivent pas être réprimées
Or justement, le pape ne le formule pas ainsi. Il dit :celle où on ne reconnaît pas au pouvoir le devoir de réprimer par des peines légales les violations [...]
Donc, la contradictoire de la proposition condamnée s'énonce ainsi :celle où on reconnaît au pouvoir le devoir de réprimer par des peines légales les violations [...]
Et prétendre traduire cela par "Il y a des violations qui doivent être réprimées" me paraît pour le moins abusif et minimiser considérablement la portée de la condamnation pontificale.