A Bell-style state can make same-basis outcomes perfectly correlated. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Same-basis outcomes agree

Adding the same-outcome probabilities gives 1.

Psame=12+12=1P_{\text{same}}=\frac{1}{2}+\frac{1}{2}=1
Bell-state correlationThe same-outcome cells carry the whole budget.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

Same and different rows close the budget

The same-outcome row takes the whole budget; the different-outcome row is empty in this basis.

outcomePsource cellssame1diagonaldifferent0mixedtotal1all cells\begin{array}{c|c|c}\text{outcome}&P&\text{source cells}\\\text{same}&1&\text{diagonal}\\\text{different}&0&\text{mixed}\\\text{total}&1&\text{all cells}\\\end{array}
Correlation budget scanThe same-basis question is read from the table.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product

Different-outcome cells are absent in this basis

The different-outcome probability is 0 for this same-basis question.

Pdifferent=0P_{\text{different}}=0
Same-basis equalityThis exact table makes the correlation visible.001/sqrt(2)P=1/2010P=0100P=0111/sqrt(2)P=1/2det = 1/2not product