Algorithmic Robot Design: Label Maps, Procrustean Graphs, and the Boundary of Non-Destructiveness