There can be nothing more dangerous than those heretics who admit nearly the whole cycle of doctrine, and yet by one word, as with a drop of poison, infect the real and simple faith taught by our Lord and handed down by Apostolic tradition (Pope Leo XIII: Auctor Tract. de Fide Orthodoxa contra Arianos).
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
St. John Bellarmine, Doctor of the Church, speaks of how a pope thus loses office:
This is the opinion of all the ancient Fathers, who teach that manifest heretics immediately lose all jurisdiction NOT AFTER WARNINGS OR DECLARATION BECAUSE heretics already before being excommunicated are outside the Church and deprived of all jurisdiction. For they have already been condemned by their own sentence, as the Apostle teaches (Tit. 3:10-11), that is, they have been cut off from the body of the Church without excommunication, as St. Jerome affirms
That’s very true. But the question is how one physically gets him out of the Vatican and makes him stop preaching heresy if there is no formal declaration. It obviously doesn’t bother him in the least, even though he has acknowledged that he has broken with tradition and law.
De facto if not de jure.
Catholics with eyes that see and ears that hear recognize obscurations and outright contradictions of Truth and resist them.