A statistical audit traces every microstate, probability, and ensemble-state value back to a named source, so no entry enters the ledger without a citation. The bookkeeping is exact only for the stated microstates, probabilities, and their cited origins in the ideal ensemble model. Real systems add finite samples, preparation bias, correlations, non-equilibrium effects, rate-estimation error, and measurement/source uncertainty that blur the audit.
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.