Euclidean cone convergence and microscopic compatibility

This is a bound on potential information paths as well as relocations of a named object. A geometric shape theorem and an operational path attainment statement remain logically distinct.