Maybe validated_call? This name makes it hard to tell what it does, for example it could be something that returns a bool if the argument has been checked.