Remark: What the dilation does and does not show

The proposition identifies two specified statistical descriptions within the Born formalism. It does not prove that exactly two probability maps are possible under all interpretations or assumptions. Likewise,

shows that external unitary processing can be absorbed into the effect; it does not constitute a uniqueness theorem for measurement laws.