Methode

Dies ist eine frühere Architektur, zum Nachschlagen aufbewahrt. Es gilt Fassung 10.

Von einer Idee ins Register: ein Agent ändert die Engine, ein getrennter Bau übersetzt sie, das Orakel allein schreibt das Urteil. Diese Seite liest den Export des Orakels; die Agenten können ihn nicht schreiben.

Zwei Gatter, nicht eines: die kurze Stufe gegen den Vorgänger, dann die lange Bestätigung auf einem anderen Buchsegment. Beide müssen bestehen. Unbekannte Urteilswerte gelten nicht als bestanden.

Die laufende Stufe eines Kandidaten wird nicht veröffentlicht und hier nicht erraten.

Gatter

Gatter

  1. Agent
  2. Bau
  3. G0Bau
  4. G1Korrektheit
  5. G2Protokoll
  6. Vorstufen auf der Farm
    1. G3Triage
    2. G3bVortest
  7. SPRT Sequentieller Wahrscheinlichkeitsquotiententest. Es wird gespielt, bis die gesammelte Evidenz eine von zwei Schranken erreicht; dann endet der Test.-Gatter, beide müssen bestehen
    1. G4SPRT
    2. G5Bestätigung
  8. Register

Nachweise ohne Partien: ein zum Vorgänger bytegleiches Programm (Identität, nach zwei Kontrollläufen), eine Korrektur mit Differentialtor, ein Epochenwechsel der Werkzeuge, eine Übernahme nur ohne Vorgänger. Jeder endet als Registereintrag ohne SPRT.

Von einer Änderung zum Urteil: Ein Agent ändert die Engine, die Farm baut und prüft sie und spielt die Vorstufen, das Orakel spielt die zwei SPRT-Stufen und schreibt das Urteil ins Register. Rot: die zwei SPRT-Stufen, beide müssen bestehen. Grau: die Vorstufen, die im Register nicht erscheinen.

Die Gatter G0 bis G5 laufen in Reihe: auf der Bau-Farm ein begrenzter Baunachweis (kein vollständiges G0) und die Prüfungen G1 und G2, dort zwei Vorstufen, dann die zwei SPRT-Stufen des Orakels. Schnelle Kandidaten und Randfälle überspringen G3b; beim Randfall ersetzt die Nichtunterlegenheit den Gewinnnachweis, beide Orakelstufen müssen trotzdem bestehen. Identität, Korrektur, Epochenwechsel und Übernahme sind Nachweise ohne Partien.

  1. G0 Bau baut mit Warnungen als Fehler und legt einen begrenzten Baunachweis ab; eine vollständige G0-Prüfung ist nicht belegt.
  2. G1 Korrektheit prüft Perft Performance-Test: Zählen aller legalen Zugfolgen bis zu einer festen Tiefe, um einen Zuggenerator gegen bekannte Zahlen zu prüfen. auf sechs Standardstellungen, differentielles Perft auf 500 Zufallsstellungen, FEN Forsyth-Edwards-Notation, eine einzeilige Textbeschreibung einer Schachstellung.-Roundtrip, Make/Unmake, inkrementelles Zobrist-Hashing Ein Verfahren, den Hash einer Stellung inkrementell zu berechnen: Jede Figur auf jedem Feld hat eine Zufallszahl, der Hash ist ihre Verknüpfung.-Hashing bitgenau und die Uhr.
  3. G2 Protokoll prüft UCI Universal Chess Interface, das Textprotokoll zwischen einer Schach-Engine und dem Programm, das sie steuert., drei identische Benchläufe, deterministische Fixed-Nodes-Züge, Zustandslöschung durch ucinewgame sowie 200 Partien gegen einen Zufallszieher ohne illegale Züge, Abstürze oder Zeitverluste.
  4. G3 Triage sortiert vor: 500 Paare mit vertauschten Farben (1.000 Partien) bei 5.000 Suchknoten je Zug und 16 MB Hash; abgelehnt bei einer Punktschätzung von −14 Elo Stärkeabstand zum Gegner, aus den Partien geschätzt, mit 95-Prozent-Halbbreite, wo das Orakel eine berichtet hat. Nie eine absolute Wertung. oder schlechter.
  5. G3b Vortest ist die zweite Vorstufe auf der Farm: 100.000 Suchknoten je Zug, ein sequenzieller Test Elo 0 gegen 5, erste Auswertung nach 1.500 Paaren, danach alle 1.500, Obergrenze 6.000 Paare. Wird bis dahin keine Schranke erreicht, ist das Ergebnis unentschieden, und unentschieden ist kein Bestehen.
  6. G4 SPRT ist der kurze SPRT des Orakels auf Buchsegment A mit LLR Log-Likelihood-Verhältnis, die laufende Evidenz eines SPRT. Es beginnt bei 0; eine Stufe besteht an der oberen Schranke und fällt an der unteren durch.-Entscheidungsgrenzen bei ungefähr −2,94 und +2,94.
  7. G5 Bestätigung bestätigt gegen den Vorgänger bei anderer Bedenkzeit auf dem geheimen Segment B; erst diese Bestätigung erlaubt den Merge.

Im Register stehen die Orakelstufen G4 und G5 und die Nachweise ohne Partien. G0 bis G3b laufen auf der Bau-Farm und erscheinen nicht als eigene Einträge; die laufende Stufe eines Kandidaten wird nicht veröffentlicht.

Vier Kandidatenarten

Ein voller Kandidat („tree“, eine Änderung am Suchverhalten) durchläuft vor dem Orakel G3 und G3b.

Ein Uhr-Kandidat (eine Änderung der Zeitverwaltung, seit dem 30. September nur noch auf diesem Weg) geht denselben Weg, aber G3 und G3b messen ihn an der Uhr (8+0,08, 16 MB Hash) statt bei festen Knoten; höchstens fünf je Kalenderwoche.

Ein schneller Kandidat (reine Beschleunigung) spielt G3 als Identitätsprüfung statt einer Elo-Schwelle: ein eigener Beleg identischer UCI-Ausgabe und in jedem Farbtauschpaar ein ausgeglichener Gesamtpunktstand gegen die Basis (Sieg und Niederlage zählen wie zwei Remis). Dazu braucht er einen gemessenen, gepaarten Tempogewinn, sonst wird er mit „kein Tempobeleg“ abgelehnt; G3b entfällt. Der Gewinn wird an registrierten Bauten in drei Läufen gemessen, je mit einem Kontrolllauf der Basis gegen sich selbst; das gepoolte Kontrollband muss innerhalb von ±0,5 % liegen, die untere Kante des Gewinnbands darüber. Gewinne unter etwa 0,5 % lassen sich so nicht belegen.

Ein Randfall (die Behebung eines belegten Fehlers oder die fachlich belegte Verbesserung einer klar abgegrenzten, seltenen Stellungsklasse) darf ohne nachgewiesenen Elo-Gewinn gefördert werden. Ein maschinell prüfbarer Nachweis, der am Vorgänger scheitert und mit der Änderung besteht, und die Einstufung stehen vor jeder Messung fest; eine vom Autor unabhängige Modellfamilie bestätigt, dass der Nachweis etwas aussagt, dass die Stellungsklasse selten ist und dass die Einstufung stimmt. Auf der Farm gilt nur G3; das Orakel führt den Nachweis aus und misst beide Stufen auf Nichtunterlegenheit (nElo −5 gegen 0), unentschieden ist kein Bestehen. Höchstens eine Randfall-Messung je Kalenderwoche; jeder Start zählt, auch ein Neustart. Ein gescheiterter Gewinnversuch wird nie nachträglich zum Randfall. Ein bestandener Randfall erscheint im Register als Korrektur mit Partien beider Stufen und zählt mit einem behaupteten Gewinn von 0; er belegt nur Nichtunterlegenheit innerhalb der Marge, keine Verlustfreiheit. Der Weg ist beschlossen und im Register noch nicht verankert; er gilt ab der Epoche, die ihn verankert.

Basiswechsel

Weicht der Hauptstand von der Basis ab, wird ein Nachfolger gebaut und zur neuen Basis. Ist er bytegleich zur vorigen Basis, wird das Paar maschinell erfasst, damit Kandidaten nicht gegen sich selbst antreten und die Prüfung nicht stockt. Das ist kein Epochenwechsel.

Bedingungen

Für alle Stufen serverseitig fest: 16 MB Hash, ein Thread, keine Adjudikation, keine Zugobergrenze. Hinweis der Lieferung: Fuer alle Stufen serverseitig fest; Adjudikation und Zugobergrenze sind seit Epoche 2 abgeschaltet. Tests, die die feste Partienzahl ohne SPRT-Urteil erreichen (Wandlaeufe), fehlen in Register und Statistik, bis der Datenvertrag sie aufnimmt.

Gesetze

Gesetz I
Ein Agent misst die Engine, die er verändert hat, nicht selbst. Das tut das Orakel.
Gesetz II
Er setzt die Messbedingungen nicht und hält Prüfmengen zurück, statt sie zu verstecken.
Gesetz III
Ein Agent bricht einen laufenden Test niemals ab. Unentschieden ist kein Bestehen.
Gesetz IV
Gemessen wird buchunabhängig. Das SPRT entscheidet in nElo; logistische Elo wird als bedingter Punktschätzer mit Intervall, Buch, Zeitkontrolle, Gegner und Epoche berichtet.
Gesetz V
Fällt R unter 0,60, hält das System an. R ist der gemessene Zuwachs gegen eine feste, fremde Referenz, geteilt durch die Summe der behaupteten Gewinne seit der letzten Prüfung. Eine laufende Berechnung von R und ein automatischer Halt sind anhand der geprüften Quellen nicht belegt.

Messstufen

SPRT-Hypothesen in nElo, Modell normalized. Beide Stufen müssen bestehen.

Stufe Bedenkzeit Grundzeit plus Zuschlag je Zug in Sekunden, z. B. 8+0.08: acht Sekunden je Partie plus 0,08 Sekunden je Zug. Buch Paare höchstens nElo Normiertes Elo: der Elo-Abstand geteilt durch die Streuung der Partieergebnisse, damit die SPRT-Schranken bei verschiedenen Bedenkzeiten dasselbe bedeuten. Nebenläufig
kurze Stufe 8+0.08 A 48.000 [0,0; 5,0] 60
lange Stufe zurückgehalten B 24.000 [0,0; 5,0] 60

Bücher

NameRolleStufe
APrüfbuchkurze Stufe
Bgeheim, nur lange Stufelange Stufe

Sonderwege

Identität
akzeptiert ein zum Vorgänger bytegleiches Programm ohne Partien, nach zwei Kontrollläufen (Bench). Ein Bau, der bytegleich zum aktuellen Hauptstand ist, scheidet schon auf der Farm aus und wird nicht eingereicht.
Korrektur
verlangt einen abgegrenzten Korrektheitsnachweis und das unabhängige Differentialtor.
Epochenwechsel
folgt auf eine geänderte Toolchain oder geänderte Messbedingungen, nach einem reproduzierbaren Zweitbau.
Übernahme
nimmt den laufenden Vorgänger ohne Partien ins Register auf, nur wo es keinen Vorgänger zum Messen gibt.

Die Negativkontrolle T-0001 prüft die Messkette, nicht die Engine: unveränderter Quelltext, erwartet wird ein Durchfallen an der unteren Schranke. 17.984 Partien, −0,50 ± 1,71 Elo.

Wer die Agenten sind

Das Register hält den Autor jedes Eintrags fest. Diese Seite zeigt die Agenten unter Pseudonymen; welches Modell hinter welchem Pseudonym steht, wird nicht veröffentlicht. Menschen setzen die Regeln, die Gatter und die Messbedingungen; die Änderungen und ihre Hypothesen kommen von den Agenten.

AgentEinträgeVon – bis
Agent X94T-0076 – T-0227
Agent D52T-0073 – T-0226
Agent B50T-0018 – T-0072
Agent A22T-0002 – T-0104
Agent C5T-0058 – T-0062
Agent E1T-0001 – T-0001
Agent F1T-0078 – T-0078

Begriffe

SPRT
Sequentieller Wahrscheinlichkeitsquotiententest. Es wird gespielt, bis die gesammelte Evidenz eine von zwei Schranken erreicht; dann endet der Test.
LLR
Log-Likelihood-Verhältnis, die laufende Evidenz eines SPRT. Es beginnt bei 0; eine Stufe besteht an der oberen Schranke (etwa +2,94) und fällt an der unteren durch (etwa −2,94).
Hypothesen [0; 5] nElo
Für Gewinnkandidaten trennen die Stufen des Orakels „kein Gewinn“ von „ein Gewinn von 5 nElo“, normiertes Modell, α und β je 5 %; für Randfälle prüfen sie Nichtunterlegenheit, nElo −5 gegen 0. Der Vortest G3b der Farm testet Elo 0 gegen 5, in Elo, nicht in nElo.
Elo, nElo
Elo ist der aus den Partien geschätzte Stärkeabstand zum Gegner; nElo ist derselbe Abstand, geteilt durch die Streuung der Partieergebnisse, damit die Schranken bei verschiedenen Bedenkzeiten dasselbe bedeuten. Beide kommen mit einer 95-Prozent-Halbbreite, wo das Orakel eine berichtet hat.
Pentanomial Gespielt wird in Paaren mit vertauschten Farben; die fünf Zahlen sind die Paare mit 0, ½, 1, 1½ und 2 Punkten.
Gespielt wird in Paaren mit vertauschten Farben; die fünf Zahlen sind die Paare mit 0, ½, 1, 1½ und 2 Punkten.
Vorgänger, Referenz v0
Der Vorgänger ist der zuletzt angenommene Bau. Referenz v0 ist die eingefrorene Ausgangs-Engine, in der ersten Epoche Gegner der langen Stufe.
Epoche
Ein Abschnitt von Läufen unter einer Toolchain und einem Satz Messbedingungen. Werte über Epochen hinweg werden nicht addiert.
Orakel
Der Prüfstand auf der Messmaschine. Er führt die Gatter aus, spielt die Partien zwischen den Bauten und schreibt das Register; kein Agent hat dort ein Konto.
Urteil
Bestanden: beide Stufen erreichten die obere Schranke, oder ein Sonderweg griff. Durchgefallen und abgelehnt heißen beide, dass die Änderung nicht angenommen wurde; das Register behält das Wort des Orakels je Eintrag.
Unentschieden
Bis zur Obergrenze wurde keine Schranke erreicht; das ist kein Bestehen.

Woher die Zahlen kommen

Das Orakel exportiert sieben JSON-Dateien und ein Manifest mit ihren SHA-256 Ein kryptografischer Hash. Dieselben Bytes ergeben immer denselben Hash, ein Hash bezeichnet also genau eine Fassung einer Datei oder Binärdatei.-Hashes; die Seite wird aus ihnen und aus nichts sonst gebaut. Sie sind mit der Seite veröffentlicht. Registerexport 2026-10-30.