Polymath Zero

Docs · Pull requests

Proof comment

When a PR is marked ready, Zero posts a summary of attached proof artifacts as a PR comment — giving reviewers direct visibility into what was verified.

What it posts

The proof comment includes:

  • Proof artifact list — type, file reference, session that produced it
  • Outcome classification of the Work item
  • Link to the Work item in the Zero console

The comment is posted by the GitHub App installation associated with the repository. It is a regular PR comment — reviewers can reply to it.

When it runs

The proof comment is posted automatically when mark-ready is called — see the PR review loop. It is not posted on draft PRs.

After an address-feedback run, a new proof comment is posted to reflect the updated artifacts. Previous comments are not deleted.

Endpoint

POST  /api/cases/:id/pr/comment-proof

Call this manually if the automatic post failed or if you want to refresh the comment without changing PR state.

See also: Proof evidence, PR review loop.