mix crosswake.proof_lane.verify_navigation_shell (crosswake v0.2.1)