The final claim is accepted only when every statistical source role is present. 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 audit cites source roles, not copied numbers
The final diagram shows only source roles and the accepted word.