The capstone accepts only a coherent source 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 names every checked source
The audit cites the LC source, energy source, toy coupling source, detuning source, and readout source.
sources checked=5
Every cited source agrees with the final claim
The detuning bit is 1, the readout bit is 1, and the final audit bit is 1.