MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries (ArXiv cs.LO Recent Papers, 2026)