MODULREGISTER · 2026-10-16
RAX-B1/M1: Benchmark und Methodenreview
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-B1/M1: Benchmark und Methodenreview
Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3
Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
2. Was ist dokumentiert?
67.584 Benchmarkläufe und Methoden-Gegenbeispiele werden nachgerechnet. Alle acht primären Überlegenheitsentscheidungen bleiben INCONCLUSIVE.
- docs/research/rax/benchmark-v0.1/RAX_B1_Benchmarking_v0_1_Paket.zip
Eingefrorene B1-Daten und Referenzprüfer.
- docs/research/rax/method-review-v0.1/RAX_M1_Methodenpruefung_v0_1_Paket.zip
Zwei nachgewiesene Validierungsfehler und Zusatzguards; ursprüngliche Daten bestehen Nachprüfung.
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?
setup --profile research; Python 3.12, NumPy/SciPy. Der Replay kann mehrere Minuten dauern.
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-b1-m1
cd x6-rax-b1-m1
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 x6.py run rax --output runs/register-rax
python3 x6.py verify runs/register-raxErwartete Ausgabe
Exit 0; nur die unten genannte Softwareaussage.
4. Was bleibt offen?
Historische Quellen bleiben unverändert. Neuer deklarativer RAX-G1-Runner mit 33 Angriffskontrollen im Modul rax-guarded; unabhängige personelle Wiederholung und allgemeine Isolation fremden Python-Codes bleiben offen.