A supply-audit-cites-every-source scan accepts the final supply claim only when transformer, rectifier, reservoir, regulator, load, waste, and holdup ledgers form one coherent source chain. The 7 V valley, 14 W input-power split, and 4 s holdup row are exact only for the stated ideal audit. Real supplies add ripple, diode drops, regulator dropout, capacitor ESR and leakage, thermal limits, tolerances, finite precision, and measurement uncertainty.

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.xfmr 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 V−3 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.xfmr srcrect srcres srcreg srcload srcwaste srchold srcaccepted