Validierungssprache

[Semax]

Ich finde die Vorschläge von Semax schon fast zu weitgehend.

Wie meinst du das? Meine Vorschläge gehen in Richtung Löser-Hilfe nicht weiter als die von Rob vorgeschlagenen 'permute' und 'latin' Bedingungen.
Der einzige Zweck der neuen Bedingungen ist die Vereinfachung für den/die Programmierer und die Lösungscode-Ersteller.

Validierung sollte Fehleingaben abfangen, aber nicht auf fehlerhafte Lösungen hinweisen.

Stimme ich voll zu.
Leider gibt es Grenzfälle, in denen es schwierig ist, zwischen beiden zu unterscheiden. Z.B. kann ein doppeltes Zeichen in einer Sudokuzeile sowohl von einem Vertipper als auch von einer fehlerhaften Lösung stammen. Ist es jetzt besser, in ersteren Fällen die Fehleingaben nicht abzufangen oder in zweiteren Fällen auf die fehlerhafte Lösung hinzuweisen?

Und wie Hausigel schon schrieb: Wenn wir diese Frage nicht einfach so beantworten können, könnten wir beides testen und anhand von Rückmeldungen herausfinden, welche Variante besser für unseren 'Standard' geeignet ist.