Three checks in our codebase that could not fail

A verifier holding its own copy of the rule it checks, a pinned PASS that only asserted the assertion count, and an estimator whose bound was wide enough to contain any answer. What they share, and what actually caught them.