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)\text{accepted}=(\text{reservoir pass})\land(\text{regulator pass})
Supply audit setupEvery component contributes one checked source ledger.Np 6 turnsNs 3 turnsVp 24 VVs 12 VVsrc 12 VVd 1 VnD 2 diodesVout 10 VIload 2 Adt 3 sC 2 FdV 3 VVmin 6 Vgate passVin 7 VVout 5 VVh 1 VVreq 6 Vgate passC 2 FdVallow 4 VIload 2 Athold 4 sxfmr srcrect srcres srcreg srcload srcwaste srchold srcaccepted

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.

reservoirregulatorΔVholdupauditpasspass4 Vacceptedfailpass4 Vrejectedpassfail2 Vrejected\begin{array}{c|c|c|c}\text{reservoir}&\text{regulator}&\Delta V_{\text{holdup}}&\text{audit}\\\text{pass}&\text{pass}&4\ \text{V}&\text{accepted}\\\text{fail}&\text{pass}&4\ \text{V}&\text{rejected}\\\text{pass}&\text{fail}&2\ \text{V}&\text{rejected}\\\end{array}

The accepted supply cites every source ledger

The capstone accepts only one coherent chain: transformer, rectifier, reservoir, regulator, load, waste, and holdup.

10 V3 V=7 V;10 W+4 W=14 W;4 s10\ \text{V}\mathbin{-}3\ \text{V}=7\ \text{V};\quad10\ \text{W}+4\ \text{W}=14\ \text{W};\quad4\ \text{s}
Supply acceptance auditEvery final supply claim is source-bound.Np 6 turnsNs 3 turnsVp 24 VVs 12 VVsrc 12 VVd 1 VnD 2 diodesVout 10 VIload 2 Adt 3 sC 2 FdV 3 VVmin 6 Vgate passVin 7 VVout 5 VVh 1 VVreq 6 Vgate passC 2 FdVallow 4 VIload 2 Athold 4 sxfmr srcrect srcres srcreg srcload srcwaste srchold srcaccepted