Famously, Rosser introduced a provability predicate $\pi[A]$ that holds iff $\exists x(xP[A]\wedge\forall y(yP[\lnot A]\to x< y))$.

Supposing $PA$ is consistent, what are the adequacy conditions for $\pi$ as compared with the Hilbert-Bernays-Löb derivability conditions for P?