Earlier quoted context omitted.
I actually tried this and it turned out to be quite a bit more complicated than predicted, due to clocks on the pis being slightly different "I'll just sling udp multicast of the PCM samples around the network, can't be that hard right?" ended up using MPD with pulseaudio over TCP, and they get out of sync after a few minutes, but good enough
The different clocks is a real hurdle. I have to give credit to Apple on this one, as they had the genius idea to make the buffer >1s, and send control messages independent of the audio stream. There’s gotta be a way to do it with PTP and the same ideas but clearly it’s either an extremely difficult problem, too niche, or both.
I'm currently working on devices that synchronises themselves wirelessly indoor over a large area and I'm now wondering if music could be an application I haven't though about...