The split is checked as a closed sum of field components. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The split is a ledger, not a loose component sketch
The same axis split closes a squared-component ledger from the checked projection source.