For active consistency checking, we have simple input filters for rejecting stuff that conflicts with important signaling beliefs and whatnot.

And, as the situation demands, not rejecting stuff even though it conflicts with important signalling beliefs.