Did the Formula of Hormisdas Prove Later Papal Claims?

Novus Ordo apologists ("Popesplainers") accept anyone as pope who sits in Peter's Chair, no matter how heretical and apostate.  They read into Pope Hormisdas' Libellus (521 A.D.), or Formula, what simply isn't there, interpreting it as confirming the papal infallibility and universal jurisdiction of the second millennium. 

The two links below are written by members of the Russian Church Outside of Russia (ROCOR), which, sadly is now schismatic and heretical, having fallen under its own 1983 anathema against ecumenism.  Nevertheless, the articles explain the truth about the Libellus of Hormisdas.

The first explains the true nature of the Church's situation at that time, pointing out that Pope Hormisdas' first document was rejected. 

"The Libellus of Hormisdas and the Failure of Policy", Ubi Petrus, 2022 
https://ubipetrusibiecclesia.com/2022/04/21/the-libellus-of-hormisdas-and-the-failure-of-policy/ 

The second gives evidence that, like so many other documents (both east and west), the Formula of Hormisdas may have been tampered with.  At least, the document agreed to and signed by the Eastern schismatics was most likely not the Latin version we have today.  By the sixth century, Popes were no longer fluent in the Greek language.  So, it is entirely possible that such a discrepancy between Latin and Greek versions of the Formula existed.  Moreover, the Latin version was annulled at the Photian Reunion Synod of 880, as Truglia points out:

"The Formula of Hormisdas Sham", Craig Truglia, 2020
https://orthodoxchristiantheology.com/2020/02/04/the-formula-of-hormisdas-sham/