Counting accepted plus rejected against the input is a useful check, but a count can balance by accident: one row dropped and another written twice still adds up to 12. Checking that every input row ID appears exactly once across the two output files closes that gap, and costs about the same to run.