gentzen said:
If you look at SEI from an operational verification perspective, then yes, you must associate a single system with a state before you know the results of the non-preparation measurements. This allows it to take part in some verification. Of course, no statistical verification can ever fully reject your state assignments, at most it can tell you that winning the jackpot of a lottery would have been more probable than your obtained measurement results given your previous state assignments.
The issue arises, because the statistical verification requires a limit process of accumulating measurement statistics. But
this limit process requires that the equivalence classes of preparation procedures are kept fixed during the verification. And what I intent to measure on the system can impact those equivalence classes.
Now I admit that "good taste" allows to relax those "rules" significantly in practice. But the idealized description should still be the one explained above. It is simply too easy to fool oneself with statistics, not least because our human intuition is not very good in that domain.