Explicit constants

For ordinary paths or externally tanh-activated paths, one may use $R=1$. For biased ReLU, a pathwise or high-probability envelope must first be supplied. Refined gate bounds on a bounded input region must include the probability or deterministic certificate that the inputs stay in that region.