RawPairSelection.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

One selection simultaneously retains raw complex mass and keeps the coprimality error small. The hypotheses are the actual prime-tail moments.