Only supported findings reach the pull request
The reviewer proposes failure hypotheses, and Proofline keeps those tied to a changed file in a domain the review covers. It ranks them and investigates at most 20.
Each investigation ends as supported, rejected, or inconclusive. Only supported hypotheses become findings. A rejected or inconclusive hypothesis stays in the review record and never reaches the pull request.
One comment per finding
A GitHub check reports every review. Proofline adds a pull request review only when a finding needs attention. A finding goes on its line when that line is in the diff, and otherwise on its file or in the review body.
Proofline does not post a finding again when it carries over to the next push. It also stays quiet about a finding someone already discussed, dismissed, or accepted as a risk, and about one another reviewer reported first.
Severity has two levels, warning and serious. The model proposes one, and a fixed rubric decides it.
Each finding names its proof
A label under each finding names its strongest proof. Environment evidence means a recorded fact about your infrastructure supports it. Experiment means a read recorded in the sandbox supports it. Code only means the argument rests on the code alone.
Proofline sets the label from the evidence the finding cites. The model cannot choose it. See how to act on a finding.
Questions
How does Proofline handle false positives?
Proofline publishes only hypotheses that the cited evidence supports, and labels each finding with the kind of proof behind it. A hypothesis it cannot support stays out of the pull request.
Does Proofline repeat comments on every push?
No. Proofline does not post a finding again when it carries over unchanged. When a fixed finding comes back, Proofline reports it as reintroduced.
Does Proofline duplicate comments from other review bots?
No. When an earlier comment on the pull request already covers a finding, Proofline records the finding as already covered and does not post it.
How do I dismiss a Proofline finding?
Reply to the finding on the pull request to dismiss it or accept the risk. Proofline records who decided and stops raising it.