@Arisktotle
But the self reference could be cleared up as I previously mentione by saying the player could not checkmate by any sequence of moves in the absence of the rule.
I'm interpreting it as "series" as in English, "legal move" as defined. I would credit FIDE with the interpretation rather than myself.
Ah, you don't find 5.2.2. unclear apart from the self-reference. But that is precisely what I have been addressing as unclear! You can verify that in the comments preceding our current discussion. It has everything to do with the definition and distinction of analytical moves and legal moves!
If you wish to subscribe to an unworkable system with your interpretation of a "series of legal moves" you are free to do so. You yourself pointed out the issues it raises with regard to your own example diagrams. I suppose it is common in the field of law to take everything literally until you land in a spot of trouble and then start resolving the remaining issues. Lawyers and judges do this because it is the only way to go for them. They lack the authority to address the legal source of the problems. I am not in need of such restrictions. I know for sure that certain things happen unintended and I need not comply with absurdities. In fact, I know for sure as well that arbiters will not comply with these absurdities. This is a warm human domicile, not a cold courtroom.