The final supply ledger accepts only a coherent source-bound chain. 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 accepts only a coherent source chain
The transformer, rectifier, reservoir, regulator, and holdup ledgers are all cited by source. A copied final number is not enough.
accepted=(reservoir pass)∧(regulator pass)
Either failed gate rejects the supply audit
The accepted row has both gates true. A reservoir failure or a regulator failure is enough to reject the chain.