Läufer und Springer

Ein König mit Läufer und Springer gewinnt in fast jeder Stellung gegen den einzelnen König. Der Gewinn lässt sich erzwingen, ist aber schwer zu finden: Der verteidigende König muss in eine Ecke von der Farbe des Läufers getrieben werden. Ein Programm, das das nicht weiß, kann den König so lange über das Brett jagen, bis eine Wiederholung oder die Fünfzig-Züge-Regel die Partie als Remis beendet.

Am 29.09.2026 kam die Frage auf, ob Coherent das kann.

Eine erste Probe

Ein kurzer Test an diesem Tag ließ die Engine gegen sich selbst spielen, aus acht zufälligen Stellungen mit König, Läufer und Springer gegen König und mit einer Zehntelsekunde je Zug. Zweimal setzte sie matt. Vier Partien endeten durch dreifache Stellungswiederholung, zwei durch die Fünfzig-Züge-Regel. Vier der sechs gescheiterten Stellungen liefen noch einmal mit einer ganzen Sekunde je Zug: zwei weitere Matts und zwei weitere Wiederholungen, eine nach zwanzig und eine nach sechsunddreißig Halbzügen. Mehr Zeit half nur zum Teil. Das deutete auf fehlendes Wissen hin, nicht auf fehlende Tiefe.

Eine Batterie statt einer Probe

Acht Partien sind ein Hinweis, keine Messung. Am selben Tag entstand ein kleines Werkzeug, das Endspiele Klasse für Klasse prüft. Es wurde zweimal geprüft, bevor es zum ersten Mal berichtete; vier kleine Änderungen nach der zweiten Prüfung wurden nicht erneut geprüft.

• Stellungen: elf Endspielklassen mit je zwanzig Stellungen, zufällig, aber aus einem festen Startwert wiederholbar gezogen. Verwendet werden nur ruhige Stellungen: Die Seite am Zug steht nicht im Schach und kann weder sofort schlagen noch sofort matt setzen.
• Startwert: Endspieltafeln bezeichnen jede Startstellung als gewonnen, remis oder verloren. Die Tafeln bewerten nur den Start; sie ziehen nie selbst.
• Spiel: Die Engine spielt beide Seiten mit festen hunderttausend Knoten je Zug. Dadurch ist jede Partie Zug für Zug wiederholbar. Ein zweiter Lauf von sechzig der Partien war identisch.

Ergebnisse für die Fassung 0.1.120:

Die elfte Klasse, Turm und zwei Bauern gegen Turm und Bauer, hat mehr Steine, als die Tafeln abdecken. Sie hat keinen Startwert und wird nicht bewertet.

Eine Klasse fällt heraus: Läufer und Springer. Dieselbe Batterie mit einer Zehntelsekunde und mit einer Sekunde je Zug ist noch nicht gelaufen: Das Werkzeug startet Läufe mit Bedenkzeit nur auf einer weitgehend freien Maschine, und die Maschine war belegt.

Was vorher versucht wurde

• Mattführung: Eine Tafel, die den verteidigenden König in elementaren Gewinnendspielen lenkt, wurde abgelehnt, weil eine vorhandene Königsendspieltafel das nach damaliger Einschätzung schon abdeckte. Für Läufer und Springer spricht die Batterie dagegen.
• Endspieltafeln: Ihre Nutzung war nach den damaligen Regeln des Projekts ausgeschlossen.
• König und Bauer: Eine kleine exakte Tafel für König und Bauer gegen König, vom Projekt selbst hergeleitet, zeigte in den ersten Testmatches keinen messbaren Gewinn und wurde abgelehnt.

Endspieltafeln, gelesen von einem Decoder nach Beschreibung

Am 29.09.2026 fiel die Entscheidung, Endspieltafeln doch zu nutzen. Gelesen werden sie von einem eigenen Decoder, geschrieben nach Reinraumregeln:

• Eine Sitzung schrieb eine Beschreibung des Dateiformats in Prosa, aus öffentlicher Dokumentation und vorhandenen offenen Umsetzungen, dazu vierundfünfzig Sollwerte.
• Eine andere Sitzung schrieb den Decoder allein nach dieser Beschreibung, ohne den Code einer vorhandenen Umsetzung zu lesen. Eine solche diente nur als Black Box, um Ergebnisse zu vergleichen. Die Werkzeugaufrufe der Sitzung wurden danach auf Zugriffe auf solchen Code geprüft; es gab keinen.

Die erste Fassung wich in mehr als siebzigtausend Stellungen von der Referenz ab, alle von einer Art. Es ging um Schlagzüge in verlorenen Stellungen, einen Fall, den die Beschreibung nur zum Teil abdeckte. Die umsetzende Sitzung erschloss die fehlende Regel aus dem Verhalten der Referenz, nicht aus fremdem Code. Danach wurde die Beschreibung ergänzt; der Nachtrag berichtigt einen Teil der erschlossenen Regel und ist noch nicht in den Decoder eingegangen.

Mit der erschlossenen Regel hat eine zweite Sitzung den Decoder erneut geprüft:

• von den vierundfünfzig Sollwerten stimmen fünfzig genau, vier liegen einen Halbzug daneben, jeweils beim selben Wert, den auch die Referenz liefert;
• jede Stellung mit drei Steinen, eine Stichprobe von mehr als einer Million Stellungen mit vier und fünf Steinen und alle Stellungen mit vier Steinen, rund zweihundertfünfzig Millionen, zeigen keine Abweichung von der Referenz;
• eine Stichprobe von mehr als siebenundsiebzig Millionen Stellungen mit fünf Steinen, später abgeschlossen, zeigt ebenfalls keine.

Bei Redaktionsschluss läuft der vollständige Vergleich der Fünfsteiner-Tafeln, die Stellungen als gewonnen, remis oder verloren bezeichnen, noch. Der vollständige Vergleich der Fünfsteiner-Tafeln, die den Abstand bis zum nächsten Schlag- oder Bauernzug angeben, hat noch nicht begonnen.

In gemessenen Partien bekommen die Gegner dieselben Tafeln, damit ein Test Engines vergleicht und nicht den Zugang zu Tafeln. Das ändert die Messbedingungen und beginnt eine neue Messepoche; sie wurde am 29.09.2026 freigegeben. In gemessenen Partien kommen die Tafeln erst zum Einsatz, wenn der Decoder abgenommen ist; vollständige Vergleiche der Fünfsteiner gehören zu den Bedingungen dafür.

Was das noch nicht sagt

Dieser Eintrag sagt nicht, ob Coherent mit den Tafeln bessere Endspiele spielt. Das ist nicht gemessen. Die Batterie läuft erneut, sobald der Decoder Teil der Engine ist. Dieses Ergebnis, nicht dieser Eintrag, wird zeigen, ob es gewirkt hat.