It’s being done in Toast from one .avc, and the one .ac3 with matching names. The video is definitely blu-ray, and the .ac3 is the file in question.
I’ve checked all the settings in my blu-ray player, and tested with another surround blu-ray which plays successfully.