Definition. Successful-support coverage [ftip-005V]
✍️source

    For threshold \(0<\alpha \leq 1\), the successful-support coverage of protocol \(P\) under evaluation law \(Q_{\rm ev}\) is

    \[ \operatorname {Cov}_\alpha (P) =Q_{\rm ev}\left (\{x:p_P(x)\geq \alpha \}\right ). \]

    Coverage records how much task mass has at least the declared success probability. It does not average the probabilities above or below the threshold.