Registry · Remark IV.R323 tau-effective formalized

IV.R323 — Decoherence is not collapse

Decoherence converts a quantum superposition (address superposition) into a classical mixture (address probability distribution) but does not select a single outcome; address resolution then selects one address from the mixture, accounting for the full measurement process with no collapse postulate.

Book IV Part 3 Ch. 21

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Measurement

Symbol: Tau.BookIV.QuantumMechanics.DecoherenceIsNotCollapse