Is it possible to have an "array division" in an @auth rule?

I don’t get it.

If you need that all claims needs to be included. You can use AND, OR Operators.

For example { and: [

Here another examples:

@auth(
    query: { or: [
        {rule: "{$USER: { eq: {\"a\": \"b\"} } }"}, # this will be used to test eq with object
        {rule: "{$USER: { eq: 123.12 } }"}, # this will be used to test eq with float
        {rule: "{$USER: { eq: 1237890123456 } }"}, # this will be used to test eq with int64
        {rule: "{$USER: { eq: 1234 } }"}, # this will be used to test eq with int and array too
        {rule: "{$USER: { eq: true } }"}, # this will be used to test eq with boolean

        {rule: "{$USER: { in: [{\"c\": \"d\"}, {\"e\":\"f\"}] } }"}, # this will be used to test in with object
        {rule: "{$USER: { in: [456.23, 312.124] } }"}, # this will be used to test in with float
        {rule: "{$USER: { in: [9876543219876543, 1246879976444232435] } }"}, # this will be used to test in with int64
        {rule: "{$USER: { in: [5678, 6872] } }"}, # this will be used to test in with int and array too

        {rule: "{$USER: { regexp: \"^(.*)@dgraph.io$\" } }"}
    ]}

Pay attention that this is not DQL or GraphQL. It is a special check we do in the claims.