This very simple test has an empty package (no mode declarations, templates, or anything), and it is invoked with initial-mode="#unnamed".

The test expects XTDE0045, but it doesn't seem to meet the criteria for XTDE0045.

The error condition says that the error occurs if the unnamed mode is not an eligible mode. But rule 2 seems to say unequivocally that the unnamed mode is always an eligible mode.

It doesn't come under XTSE3085 either. To fall foul of that rule, the package would have to "implicitly use" the unnamed mode, and the detailed rules make it clear that it doesn't.