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=21+21=1
Same and different rows close the budget
The same-outcome row takes the whole budget; the different-outcome row is empty in this basis.