The final ledger accepts only if all cited checks agree.

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=8 m,b=1/2 per m,bragg=1L=8\ \mathrm{m},\quad b=1/2\ \mathrm{per\ m},\quad bragg=1
Solid-state auditThe final ledger cites exact upstream source refs.accepted=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.

Ephonon=24 J,slots=8,accepted=1E_{phonon}=24\ \mathrm{J},\quad slots=8,\quad accepted=1
Accepted auditA rejected Bragg stage cannot pass this audit.accepted=1