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=6V,u=6V,rmax=8V
The final verdict is checked
Correction 1/2 passes the margin gate, and the visible verdict is accepted.