The two temporal noise allowances

For common parameters and controls, compare each path with its zero-noise, zero-bias reference. On a valid comparison region, Theorem thm:celllip gives

The protection offset cancels because it is common. No post-activation Gaussian term is introduced.

Let

For $c=0$, this sum is one when $T\ge 1$.