A larger transverse bucket keeps visibility as coherent divided by initial. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A larger bucket keeps the same fraction rule
Initial transverse budget is 15. The scan changes coherent count and recomputes the dephased complement.
FT=initialcoherent
Three coherent buckets give three exact fractions
The dephased bucket closes the same initial total in every row.