OperationLease

One holder's claim on a RadioOperation. Releasing a lease affects only that holder.

Identity matters: two concurrent claims on the same operation produce two distinct leases, so a late release from an abandoned holder cannot retire a live one.