Prove what landed. Checks that the records a data pipeline reported as delivered actually arrived, and catches the three ways a green run hides missing data.