The final surface ledger accepts only a coherent source-bound 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 starts as a source map
Each source role is present before the accepted bit is trusted. A missing or cloned source would fail the check.
sources=5accepted=1
Every source contributes one checked value
The audit is not a new formula. It is a compact inventory of values that already came from earlier checked ledgers.