¿La herejía solo es formal "cuando la Iglesia la reconoce"? No.

No es cierto que algo solo se considere herejía formal "cuando la Iglesia lo reconoce". Una persona se considera hereje notorio (y, por lo tanto, formal) cuando 1) la enseñanza herética es pública y 2) el carácter imputable/pecaminoso del acto es de dominio público. Francisco ha cumplido ambos requisitos. Las personas pueden convertirse en herejes notorios sin ninguna declaración o reconocimiento oficial de la Iglesia, como lo demuestra la enseñanza del papa Martín V (y otros). Además, ciertas posiciones son tan notorias (por ejemplo, que es ilícito convencer a las personas de la fe; el permiso para las 'bendiciones' a parejas del mismo sexo; etc.) que la adhesión pública a ellas constituye en sí misma una herejía notoria (y, por lo tanto, formal). Discutimos estos asuntos aquí: Great Proof Texts For Sedevacantism Show That Francis Is Not The Pope [Grandes textos que prueban el sedevacantismo demuestran que Francisco no es el Papa]. Según los principios católicos, basados en lo que él predica, enseña y hace públicamente, Francisco es definitivamente un hereje manifiesto y no se puede considerar que tenga membresía o autoridad coram ecclesia (a los ojos de la Iglesia).