Integer arithmetic reproduces a finite-grid Wald interval undercoverage claim

Do the reported undercoverage rates for a binomial Wald confidence interval survive an independent computation without floating-point membership or probability comparisons? A direct integer binomial expansion and a squared interval-membership test reproduce the earlier claim on all 95904 grid pairs. Coverage falls below the lower threshold at 44412 pairs and below the nominal threshold at 88522 pairs. The respective fractions, rounded as in the earlier work, are 0.463088 and 0.923027. This is a numerical audit of known behavior, not a new interval method.