Potencjalne stwierdzenie o okazaniu się bycia antypapiezem

Mam takie pytanie: czy są jakieś procedury kanoniczny umożliwiające Kościołowi stwierdzić, jeśli oczywiście taki fakt zachodzi, że dany Papież okazał się jednak antypapieżem? Podkreślam nie chodzi mi tu o żadne schizmatyckiego koncepcję tylko dokładnie jak to wygląda w świetle Prawa Kanonicznego. Pytanie z resztą jest nie tylko czysto teoretyczne, bo przecież w historii Kościoła bywali antypapieże. Jak to obecnie potencjalnie wygląda, a w konsekwencji jak może wyglądać procedura zdjęcia antypapieża z Tronu Piotrowego?

Proszę poczytać artykuł/opracowanie z 20 marca 2019 r. biskupa Athanasiusa Schneidera:

W kwestii papieża-heretyka
(...)
[link widoczny dla zalogowanych]

Można posłuchać ks. Hesse jak wyjaśnia:

https://youtu.be/-Tin4p_q064?t=3495

https://youtu.be/-Tin4p_q064?t=4166

I tu w wątku jest zamieszczony artykuł po angielsku, a w pierwszym wpisie jest przetłumaczona tylko konkluzja:

Bellarmin i Suarez analizują przypadek papieża heretyka
(...)
http://www.traditia.fora.pl/pytania,59/bellarmin-i-suarez-analizuja-przypadek-papieza-heretyka,11438.html#77369

I tu jeszcze jest temat:

Pytanie: zarzucają Papieżowi, iż jest fałszywym papieżem.
(...)
http://www.traditia.fora.pl/pytania,59/pytanie-zarzucaja-papiezowi-iz-jest-falszywym-papiezem,12502.html

Że Pan Bóg poddaje nas próbom, najlepszym dowodem jest osoba papieża Franciszka.