The customer was finding that for user "Tony Stark", even though on their Record Producer "HR Reporting" they had configured restrictive "Available For" criteria which should block Tony from seeing the Record Producer, he was still able to see it in the Portal. The customer wanted to know why this was.
As HR Criteria is an extension of Service Catalog criteria, system property "glide.sc.use_user_criteria" was checked to ensure that it was "true". Unfortunately, it was set to "false", meaning that the evaluation of the "Available For" was effectively "turned off" until the property was set to "true".
Once the property was set to "true", the behavior was resolved and the User Criteria evaluated perfectly.