red-before-green

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.