Murch, you linked to your infinite cycle attack that would use infinite resources. Are you saying there is a general flaw with replace-by-fee-rate that has infinite cycle attacks? Peter’s proof that Libre Relay’s implementation does not seemed solid.
No-one can prove SHA256 isn’t broken either. Bitcoin continuing to exist is still evidence it’s ok.