The final audit closes recovery, transverse visibility, echo, timing, and map sources. 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 the checked sources
The capstone cites recovery final 4, transverse visible 6, echo visible 10, accepted timing, and accepted map ordering.
4610
The contrast claim is accepted only as a chain
The final accepted state is role-only: the visible labels do not carry hidden numeric shortcuts.