Informal Validation Only
Kind: anti-pattern
Layer: Computation Core
Record: lexicon:informal-validation-only
Canonical: Lexicon
Relying only on informal checks and testing where a formal proof of correctness is warranted.
Listed in Lexicon terms, after Implementation-Only Testing and before Side Effects.