Pure and synchronous: return true, or a message describing the violation.
true
Paths the check reads; they scope rule conflicts and blame.
Pure and synchronous: return
true, or a message describing the violation.