An independent diagonal projection turns ambiguous rows into a unique grid. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Row and column data alone is ambiguous
Without the diagonal, the accepted bit stays 0.
0
A diagonal projection breaks the tie
Adding main diagonal sum 5 accepts the grid with diagonal 5 and rejects the contrast diagonal 7.