Validators Do Exactly What They Say

Parsers, type checkers, test suites, and auth tokens all enforce specific narrow properties. Downstream systems treat them as proxies for stronger guarantees. In adversarial conditions, that gap is the attack surface.