Diagnostics and the excluded edge argument

The excluded edge witness

moves with the ramp. Its integral $-{{\int }_0}^{\epsilon }{\sigma }_{\epsilon }^{\prime }{\alpha }_{\epsilon }\mathrm{d}t$ is neither a seminorm of the completed fixed-input tests nor a direction in the fixed algebra. It is not used as an obstruction.

No smooth coordinate limit through the initial surface is claimed. No fixed-input completed-test seminorm diverges: Theorem thm:convergence proves the opposite.