IV.R312 — Born rule derived, not postulated

The Born rule P = ||^2 is derived as a theorem rather than postulated: if measurement is character-mode selection on L and the inner product uses the canonical fibration measure, the Born rule follows from the Pythagorean theorem in the Hilbert space H_tau.