Constraint Cascades and Decoherence: A Formal Perspective on Quantum Measurement | Synapse