Performative Patterns for Designing Verifiable ACLs