A general path lemma and the damped certificate

The factor $a^{4-r}$ includes damping immediately after injection and damping at every subsequent hidden layer. Damping is not a pure noise-reduction operation: it also changes clean signals and margins.

For logits $z$ and label $y$, define

Then

This follows by applying the sup-norm bound to the true logit and the maximal competitor.