Contre-preuve / Counter-proof

La contre-preuve cherche activement à invalider une affirmation optimiste plutôt qu'à la confirmer : c'est un réflexe de vérification adversariale, plus fiable qu'une relecture qui cherche à valider ce qu'on espère déjà.

Exemple d’usage : Sur un script personnel de gestion de tags MP3, une contre-preuve a consisté à rejouer le comptage avec l'ancien chemin sans cache pour confirmer qu'un compteur de cache d'images passait bien de deux à un — une vérification indépendante du correctif plutôt qu'une simple confiance dans le nouveau code.