The depth chapter closes by tying the cross-scan claims back to checked sources. 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 final audit still cites five checked sources
The audit cites 5 checked sources: LC, energy, coupling, detuning, and readout.
checked sources=5
The accepted bit is a source-bound conclusion
The detuning bit is 1, the readout bit is 1, and the final audit bit is 1. A copied number without its source would fail validation.