The capstone accepts only when threshold, dilution, pool, filter, and coverage sources all match. 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 final audit cites every upstream control
The audit names threshold, dilution, indexed pool, duplicate filter, and coverage sources.
threshold+dilution+pool+filter+coverage
The closed source chain accepts
The final accepted bit is 1. This is a toy control ledger, not a molecular kinetics model.