Here's the spec. It's already implemented inside the circulation manager. Implementing this on the client side should make it possible to automatically recover from a situation where the patron has used up all their Adobe activations.