The cheapest useful evaluation checks only the final state: did the test pass, was the record created, does the answer match the reference. It is objective and cheap, and it tells you nothing about why a failure happened.