The final lesson checks the entire trap-to-readout 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 each source in the chain
The trap gap, red sideband, shared packet, and readout result all enter the final audit.
8J,6J,n:2→1,b=1
The final audit accepts only a coherent source chain
The accepted label is visible only because every cited value matches its source check.