I haven't the slightest. I looked online and couldn't find any commentary.
I'm not sure if this "Peter" is a reference to any given Pope or to a Pope at all, or just some random name thrown in there by way of example, ala the casuists.
Since these are condemned, the opposite would be true that if you establish that Peter (a pope or just anyone?) is a heretic, you ARE bound to denounce him, even if you can't prove it.
To understand some of this stuff you actually have to find the reference in the works that they were taken from.
Same thing is actually true regarding the condemnation of Baius, where there's a passage that people try to use to condemn Father Feeney, but if you look into it, that's not what it's condeming at all, but some crazy idea Baius had.