Dissipative measure-valued solutions and weak–strong uniqueness for the Euler alignment system | Synapse