 Randomized endpoint inclusion at a zero-duration atom

Randomized endpoint inclusion at a zero-duration atom adds an independent random decision about whether an interval contains the atom, allowing an exact included probability under a specified distribution. Let the duration $L\ge 0$ have zero mass $p_0$ and a continuous positive part. For a nominal central level $1-\alpha$, put $a=\alpha /2$, $b=1-\alpha /2$ and assume $a\le p_0<b$. Choose upper endpoint $u$ with $\mathrm{Pr}(L\le u)=b$.

The coverage excess from central quantiles at a zero-duration atom shows that the closed set $[0,u]$ has probability $b$, while $(0,u]$ has probability $b-p_0$. Draw an independent $U\sim \mathrm{Uniform}(0,1)$ and reportThen the joint probability over both $L$ and the auxiliary random draw isThe independence assumption is essential to the multiplication $r{p}_0$.

For an original example, let $p_0=0.20$ and $\alpha =0.05$. The endpoint is included with probability $r=0.875$. The positive part contributes $0.775$ probability and randomized zero inclusion contributes $0.175$, totaling $0.95$. An individual reported set is still either closed, with duration-model probability $0.975$, or open at zero, with probability $0.775$. Exact $0.95$ applies to the randomized procedure jointly, not conditionally to each realized set.

The distribution sensitivity of randomized zero-endpoint probabilities matters if $p_0$ or the upper endpoint is estimated inaccurately. Plugging a guessed atom probability into $r$ does not establish the same equality for the true distribution. The pinned numerical reference documents a standard uniform distribution and its random-variates method, while its normal cdf/ppf methods evaluate the Gaussian component when the duration comes from a clipped normal input.^[ref]

This is a mathematical probability construction. It does not remove the atom physically, improve measurement precision, or create a worst-case guarantee on missed optical energy. Its randomization rule and probability interpretation must be specified as part of the procedure.