getting started introduction benefits features introduction to Datalog policies checks allow/deny policies output execution of policies token content what happens during attenuation guides revocation RBAC hierarchies microservices usage CLI per language Install Create a root key Create a token Create an authorizer Attenuate a token Seal a token Query data from the authorizer reference Datalog specification making your own implementation