A final control claim cites loop, actuator, sampled correction, and margin checks. 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 the checked loop and actuator

The loop output is 6 volts, the command is 6 volts, and the actuator limit is 8 volts, so it is not saturated.

y=6 V,u=6 V,rmax=8 Vy=6\ \text{V},\quad u=6\ \text{V},\quad r_{\max}=8\ \text{V}
Feedback audit sourcesThe audit cites checked source fields.s0outputmeasurederrorcommandcommandoutpute0s1e1s2e2s3e3linearpassaccepted

The final verdict is checked

Correction 1/2 passes the margin gate, and the visible verdict is accepted.

c=12passc={1\over 2}\Rightarrow \text{pass}
Feedback audit verdictThe accepted label is derived from the checked sources.s0outputmeasurederrorcommandcommandoutpute0s1e1s2e2s3e3linearpassaccepted