Skip to main content
Safe-to-merge combines verified finding risk, analyzer and execution coverage, and evidence quality into advisory safe or hold guidance for the exact commit reviewed. It is deliberately advisory:
  • It never merges a pull request by itself.
  • It does not assert that unexecuted behavior is correct.
  • It abstains when coverage is below policy, inputs are incomplete, or required execution cannot run.
  • Veridical may withhold guidance when the review is incomplete or the head moved.
Treat safe as evidence that the reviewed change met Veridical’s assurance floor—not as proof that the software has no defects.
Last modified on August 29, 2026