Negative Evidence ist eine eigene Klasse.

Was nicht passiert ist, muss belegt sein — nicht impliziert.

not_run ≠ failed ≠ not_verifiable

#ProofOfNonAction #Evidence