A rejected balance claim can still be an exact checked ledger. 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 wrong rate breaks the flow match
The two directed flows are six and three.
ΦA→B=6,ΦB→A=3
The rejected bit is zero
The balance claim fails, but the arithmetic remains exact.