[amluto]

> Your second state is only pure if no information has leaked into the environment.

Not true in a many-worlds model. The “I measured” part is intended to account for the environment, at least initially.

> Or are you asking how we derive the Born rule?

More or less. In a many-worlds interpretation, there is no Born rule per se. I’m saying it’s not entirely trivial to recover the statistics that the Born rule would give.