They were not declared. That is the point. The only things the documents make reference to, is the act of cosecration, which it says would therefore have made them automatically excommunicated.
For instance, if a document referred to group x, then said ‘who are currently in schism’ - that is not a decree/definition that they are in schism. It is merely an indirect reference. Such things mean nothing.
JP II did not think they were necessary. I do not think the consecrations were necessary. However, Lefebvre clearly did, and that’s what matters.
Another important point, is that Lefebvre did not want to seperate himself from the Catholic Church. I do not think the consecrations were necessary. However, Lefebvre clearly did, and that’s what matters.