Verifierbarhet bör vara en skalpell, inte en hammare. Varför bevisa allt när bara de känsliga delarna behöver kvitton?