Hm. Josquin des Prez is sort of borderline here...
<https://i.stack.imgur.com/o9xlY.png>
Hi, yes that has notes going across barlines. But wouldn't that
cause "barcheck failed" warnings anyway, even apart from the
notes using a multiplier? (e.g. the dotted minim already goes
across a barline) I can see why we wouldn't want those warnings
to be errors (at least not by default), but I can't see why we
wouldn't want 'barcheck failed' warnings whenever ANY note goes
across a barline (other than via a tie), for whatever reason.
It's a really useful warning for double-checking the entered
durations in "normal" music.