An explicit interior parameter bound

A uniform Lipschitz estimate in the parameter $\eta$ is not asserted at $\eta =1$: the square-root coherence factor itself is not Lipschitz there. Channel-norm certification remains meaningful at that endpoint.