Kennyc,
That is a pretty accurate description of how the generator sees things at the moment. The reason you see the non-mate as an alternative over the mate is that there are different rules for alternatives for mates and non-mates which is why the +7 is allowed but the mate in 6 is not (currently I don't check how far in the +7 becomes realised, for example it might have been further out than the mate in 6 and if so should probably have been rejected). How long the mate has to be to be alternative depends on how long the shortest mate is. There is a different "alternative window" for mate in 2 and above. For mate in N, longer mates must be less than or equal to mate in n+3 to be an alternative, so for mate in 2 the alts must be mate in 3,4 or 5 and for mate in 3 the mates must be mate in 4,5 or 6 (this is off the top of my head, I might be out by +1 or -1 here on the length here).
Regards,
Richard.
It is not logical to reject longer mates as wrong solutions if you accept winning
moves when the computer does not see the mate.
Practically I played the move because it wins material and not because of seeing a long mate and winning a lot of material can also be translated to long mate if you search deep enough.
I also think that there should be different rating for different failures.
People who blunder by move that lose the game should not get the same rating as people who blunder by a drawing move.
Uri