Function relocation_fits 

pub fn relocation_fits(indexed: &IndexedDocument<'_>, moves: &[PinMove]) -> bool

Whether every destination is free and in bounds — an all-or-nothing precheck. The group’s own vacated slots count as free, since the movers leave them in the same commit; two movers may not share one.