Integrate an exact reviewed PR under repository policy, choose truthful history semantics, and verify cleanup