How much coverage does a small benchmark have?
For 20 independent trials with success probability 0.05, how often do nominal 95% Wald and Wilson intervals contain the true probability?
DEFINED INPUTSBinomial model: n = 20, p = 0.05, nominal coverage 0.95.
COMPARISON TO INSPECTSum binomial probability over each of the 21 counts whose interval contains p. Full enumeration does not imply exact floating-point arithmetic.