Function request 

pub fn request(
    active: &BTreeMap<Address, RunId>,
    scope: &Address,
    who: &RunId,
) -> RepairVerdict

Overlap either way queues (same rule as goal resources); the same holder re-requesting its exact scope re-leases (idempotent recovery). First overlapping holder wins the report, in BTreeMap order.