You have not proven that they have publicly defected from the Catholic Faith. This requires proof of pertinacity or the joining of a sect that is formally established and known to be non-Catholic.
They signed docuмents which are a public defection of the Catholic Faith and they didn't make a public abjuration of error.
If I were to take out an ad in the Times and post that
"Muslims and Catholics worship together the one true god who will judge mankind on the last day"
any good Traditional priest would require me to make a public abjuration of error before receiving the sacraments again.
Pope Leo XIII declared in his Encyclical, Satis Cognitum, June 29, 1896:
St. Augustine notes that other heresies may spring up, to a single one of which, should any one give his assent, he is by the very fact cut off from Catholic unity.
“No one who merely disbelieves in all (these heresies) can for that reason regard himself as a Catholic or call himself one. For there may be or may arise some other heresies, which are not set out in this work of ours, and, if any one holds to one single one of these he is not a Catholic” (S. Augustinus, De Haeresibus, n. 88)…
In this wise, all cause for doubting being removed, can it be lawful for anyone to reject any one of those truths without by the very fact falling into heresy? without separating himself from the Church? – without repudiating in one sweeping act the whole of Christian teaching? For such is the nature of faith that nothing can be more absurd than to accept some things and reject others.”
https://stevensperay.wordpress.com/2022/10/22/kennedy-halls-sedevacantist-wager/