Finite approximation of a fixed instrument

Suppose the benchmark's clock, local gates, record copies, and communication channels have half-diamond errors with sum ${\epsilon }_{\mathrm{tot}}$ on their complete stated interfaces. Then Proposition prop:telescope gives

The unit signalling witness on an allowed route remains at least $1-2{\epsilon }_{\mathrm{tot}}$. Physical containment is exact only when the implemented dependencies retain their own causal certificates; channel accuracy alone supplies at most the leakage bound of Theorem thm:signal-stability.

No normalization of a rare selected branch is used in this error statement. The comparison is the complete recorded instrument.