Function relocate 

pub fn relocate(
    p: &SpatialProgram,
    binder: &str,
    m: &TpManifest,
) -> Result<SpatialProgram, TpReject>

A scheduled one-chip section of the statement binding binder, moved onto the chip it runs on: every site it names — its stages’, buffers’, placement’s, memory map’s, semaphores’, engine programs’ and the remote semaphore posts in them — and every tensor it touches marked with its chip: the one m gives it, or, for a tensor the section itself stores on behalf of a chip-local statement (a blocked op’s intermediate), that chip; the replicated spine stays unmarked. The section computes exactly what it did; it now does so on another RDU. Its certificate is dropped with the schedule digest it was bound to.