Thanks, Tumbo. I will update my post. I was quite tired at the time, forgot to say to eventually replace the dev textures behind the arch brushes with nodraw. As you say, world brushes covered by func_details (annoyingly) are not culled.
Thanks, Alias. I have made a third arch in the VMF, left it as world brushes and grouped it, to demonstrate the visleaf behaviour you talked about.
And thanks, Seba. I avoided merging all those vertices to the top left because the resulting thin brushes looked like the sort of thing I wouldn't want to lump on to someone who's new to vertex editing. I've modified one of the arches and will update the guide with another screenshot.