Thanks for the link, I'll follow it up (something I might have done already, but I'll check) and report back.
Updating: that PDF covers a time standard delivered by fibre. It does however state explicitly that
"Several countries operate radio signals providing access to a
UTC(k) time scale. Both accuracy and traceability are below MiFID II
requirements apart from voice trading."
which implies that MSF is better than one second but says nothing more definite.
The "MSF signal technical data" link goes to the same document from which I quoted earlier.
I don't think that there's much point in my having another attempt to ask them directly... I tried early this year without response and the COVID-related lockdown is unlikely to have made them more communicative.
The bottom line for the moment at least appears to be that the leading edges are reliable to +-1mSec i.e. roughly 3ppm, but it's not at present possible to ascertain whether the NPL- as the UK's statutory standard- is prepared to call this secondary, tertiary etc.
MarkMLl