I fixed my now-year-long semi-intermittent sound problem, & the explanation is compellingly stupid: sometimes when ubuntu upgrades sound driver modules it doesn’t make the /dev/snd tree user-writable, & pulse runs as the logged-in user.