Write , with . Decode the measured bits as above. The probability amplitude of label is
Using the finite geometric series,
Interpret removable singularities by continuity. In particular, near-grid quantum phase estimation returns the nearby exact label with probability
This is near one under the stated small-offset assumption, but not exactly one when .
There is also a rigorous error bound. Taking the squared modulus of the sum gives
where and the elementary sums of and evaluate the last expression. Hence
On that event the circular quantum phase error is at most . For other labels, the exact probabilities are
Their total is , describing the leakage from the perfect solution. The physical output bit string remains reversed in the printed circuit; this changes its decoding, not these probabilities.