The checker given a name — the entity whose one duty is saying whether a thing holds to its law.
Built on validate, from Medieval Latin validare (to make strong), naming the checker whose one duty is saying whether a thing holds to its law.
The checker given a name, whose one duty is saying plainly whether a thing holds to the law it claims to follow.