The BLS doesn't seem to specify how profiles are handled when sorting type 2 UKI. I noticed this after observing somewhat 'random' sorting from systemd-boot and consulting the BLS to see how it should be handled.
For reference, here's how systemd-boot handles this case where there are 2 UKI with versions in the filenames, and each one has 3 profiles:
The BLS doesn't seem to specify how profiles are handled when sorting type 2 UKI. I noticed this after observing somewhat 'random' sorting from systemd-boot and consulting the BLS to see how it should be handled.
For reference, here's how systemd-boot handles this case where there are 2 UKI with versions in the filenames, and each one has 3 profiles: