Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f
Failure events, robust margins, and conditioning
Complete-channel and state-specific error bounds › Failure events, robust margins, and conditioning · lines 1390–1397
An arrival, timeout, or enclosure-status event is covered only if its actual flag and interpretation are part of the compared complete output. A logical payload bound alone does not certify an unobserved arrival flag.