Verification discipline for work that has to hold up.
A green check is worth nothing until it has been red for the right reason: prove a check can fail, prove a search can find, measure at the destination instead of the return value, and treat not measurable as red.