I don’t understand why Dorico allows impossible ties like the following:

It is often required, e.g. when writing for piano or harp, to have ties between non-adjacent notes, for example in this kind of arpeggiated figure:
Top result when searching the manual for “non-semantic ties”, for reference, John:
That explains it! Thank you for taking the time, Daniel and @Lillie_Harris