Constraint validation checks for Granted and Forbidden