The final x-ray claim accepts only when each upstream ledger is cited. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Every accepted claim names its source
The audit cites reflection, map, ratio, and absence checks before it accepts.
reflection+map+ratio+absence
The closed audit accepts
The final accepted bit is 1. This is arithmetic honesty in a toy model, not structure refinement.