allow(request) if
request.tenant = resource.tenant
or (request.role = supervisor and resource.shared_with_supervisor
and request.legal_basis != null) # logged, read-only
key = HSM.partition(resource.tenant).kek # no cross-tenant keys