A Bell-style joint table puts the same-basis outcome budget into matching cells, so the correlation follows from the shared state. The perfect agreement is exact only for the declared ideal state and basis; real tests must track alignment, detection efficiency, accidental coincidences, decoherence, and sample size.
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.