IV.P26 — Measurement Repeatability

After address resolution yields outcome a_k, the post-resolution state is ψ_k. Immediate second measurement yields a_k with certainty: P(a_k) = 1.