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
- Agent
- Bau
- G0Bau
- G1Korrektheit
- G2Protokoll
- Vorstufen auf der Farm
- G3Triage
- G3bVortest
- SPRT Sequentieller Wahrscheinlichkeitsquotiententest. Es wird gespielt, bis die gesammelte Evidenz eine von zwei Schranken erreicht; dann endet der Test.-Gatter, beide müssen bestehen
- G4SPRT
- G5Bestätigung
- 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.
Die Gatter G0 bis G5 laufen in Reihe: drei Prüfungen auf der Bau-Farm, dort zwei Vorstufen, dann die zwei SPRT-Stufen des Orakels. Identität, Korrektur, Epochenwechsel und Übernahme sind Nachweise ohne Partien.
- G0 Bau baut mit Warnungen als Fehler. Komplexitätsbudget, verbotene Abhängigkeiten und Diffgröße gehören zu einer Vorprüfung, die nicht in Kraft ist.
- 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.
- 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.
- G3 Triage triagiert 500 Paare mit vertauschten Farben (1.000 Partien) bei 5.000 Suchknoten je Zug und 16 MB Hash; abgelehnt bei −8 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.
- G3b Vortest ist die zweite Vorstufe auf der Farm: 100.000 Suchknoten je Zug, sequenzieller Test Elo 0 gegen 5 mit Entscheidungsgrenzen bei etwa ±2,94, erste Auswertung nach 1.500 Paaren, Obergrenze 3.000 Paare; an der Obergrenze entscheidet das Vorzeichen des Ergebnisses.
- 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.
- 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.
Zwei Kandidatenarten
Ein voller Kandidat („tree", eine Änderung am Suchverhalten) läuft vor dem Orakel durch G3 und G3b.
Ein schneller Kandidat (reine Beschleunigung) braucht statt einer Elo-Schwelle einen Identitätsbeleg: gleiche Züge und nur Remis gegen die Basis, sonst abgelehnt.
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.
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.
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 | 12.000 | [0,0; 10,0] | 60 |
| lange Stufe | zurückgehalten | B | 6.000 | [0,0; 10,0] | 60 |
Bücher
| Name | Rolle | Stufe |
|---|---|---|
| A | Prüfbuch | kurze Stufe |
| B | geheim, nur lange Stufe | lange 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
- verankert neue Toolchain- oder Messbedingungen.
- Ü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.
| Agent | Einträge | Von – bis |
|---|---|---|
| Agent X | 94 | T-0076 – T-0227 |
| Agent D | 52 | T-0073 – T-0226 |
| Agent B | 50 | T-0018 – T-0072 |
| Agent A | 22 | T-0002 – T-0104 |
| Agent C | 5 | T-0058 – T-0062 |
| Agent E | 1 | T-0001 – T-0001 |
| Agent F | 1 | T-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; 10] nElo
- Die Stufen des Orakels trennen „kein Gewinn" von „ein Gewinn von 10 nElo", normiertes Modell, α und β je 5 %. 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.
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.