Directional reachability and finite-time certificates

These are kinematic graph statements. An arbitrarily long periodic lift is not asserted to be embedded in the one bounded conical laboratory. Only finite prefixes supplied with actual routes enter Theorem thm:physical.