[This post describes ideas generated in discussion with Markus Hauru, Curt von Keyserlingk, and Daniel Ranard.] An original dream of defining branches based on redundant records (aka redundant classical information, aka GHZ-like correlations) was that it would be possible to decompose the wav
