MODULREGISTER · 2026-10-16
RAX-G1: deklarativer Runner und Fehlerbudget
MAIN SOFTWARE
Datierter Registerstand, kein Live-Prüfsiegel. SOFTWARE bezeichnet den ausführbaren Prüfweg, nicht eine validierte physische Anwendung. Die Originalangaben bleiben in Deutsch.
1. Was wird untersucht?
RAX-G1: deklarativer Runner und Fehlerbudget
Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3
Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
2. Was ist dokumentiert?
Konkrete M1-Zugriffswege im begrenzten Planerformat geschlossen: nur öffentliche Modell-/Präfixdaten, frische Worker, kein Callback, vollständige Index-/Zellprüfung, phasengebundener Holdout und exakter Replay. Historische B1/M1-Archive und Ergebnisse unverändert. Keine allgemeine Python-Sandbox oder externe Blindheit.
- docs/validation-v1/evidence/guarded/qualification.json
Ausgeführte 33 Negativkontrollen, wirksame Datenmutationen und unabhängige exakte Vorhersage 13/24.
- docs/validation-v1/ERROR_BUDGET.json
Nulltoleranz im zugelassenen Profil; menschliche Blindheit, allgemeine Sandbox und externe Wiederholung offen.
Evidenzberichte behalten ihre eigenen Prüfrevisionen. Ein Quellenpin belegt weder einen neuen Lauf noch unabhängige externe Begutachtung.
3. Wie lässt sich das prüfen?
Python 3.12, Standardbibliothek; neue Ausgabeverzeichnisse. Nur geprüftes deklaratives JSON, kein beliebiger fremder Python-Code.
In einem neuen Ordner ausführen; vorhandene Ausgabeordner nicht überschreiben. Voraussetzungen und paketbezogene Hinweise in der Originaldokumentation beachten.
git clone --branch main https://github.com/thomasmgfeller/x6-spectral-astrolabium.git x6-rax-guarded
cd x6-rax-guarded
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 -S -B tests/rax-guarded/qualify.py --output /tmp/register-rax-g1
python3 -S -B experimental/rax_guarded/runner.py verify /tmp/register-rax-g1/run
python3 -S -B tests/rax-guarded/check_budget.py --qualification /tmp/register-rax-g1/qualification.jsonErwartete Ausgabe
PASS mit 33 erwarteten Zurückweisungen; PASS_GUARDED_REPLAY mit 18 Zellen. Keine angenommene unzulässige Fähigkeit oder Ergebnisfälschung erlaubt.
4. Was bleibt offen?
Eine außenstehende Person führt den eingefrorenen Umfang aus und dokumentiert Rolle, Runtime, vollständige Ergebnisse und Abweichungen. Fremder ausführbarer Code benötigt eigene Betriebssystem-Isolationsabnahme.