The final ledger accepts only if all cited checks agree. 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 every upstream solid-state check
The lattice length is 8 meters, the reciprocal spacing is one-half inverse meters, and the Bragg accepted bit is 1.
L=8m,b=1/2perm,bragg=1
The final accepted bit requires every cited source to agree
The phonon energy is 24 joules, the band has 8 slots, and the final accepted bit is 1.