Definition
A checklist that grades whether an AI's math proof is grounded, faithful, complete, and well-written.
In RMA, a verifier module enforcing five rules on candidate proofs: claim grounding, problem faithfulness, no logical gaps, explicit constructions where required, and clean formal notation.