Composed error ledgers

If a target has leakage at most ${ϵ}_{\mathsf{Phys}}$, the implemented leakage is at most

in the full-diamond conventions above.

An uncertainty in a geometric arrival time is not automatically a channel-norm uncertainty. It can instead be handled by the robust geometric margins below, or by a separate dynamical continuity bound.