X6 Spectral Astrolabium

MODULREGISTER · 2026-10-16

RAX-W1: exakte Wolfram-Gegenprüfung

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-W1: exakte Wolfram-Gegenprüfung

Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3

Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f

2. Was ist dokumentiert?

44 ausgewählte U1-Matrizen, zehn gültige Reduktionen und 34 beabsichtigte Verletzungen werden exakt abgeglichen.

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. Offline-Prüfung startet keinen Wolfram-Kernel.

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-w1
cd x6-rax-w1
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 -m zipfile -e docs/research/rax/wolfram-check-v0.1/RAX_W1_Exakte_Gegenpruefung_v0_1_Paket.zip /tmp/x6-hub-rax-w1
cd /tmp/x6-hub-rax-w1/RAX_W1_Exakte_Gegenpruefung_v0_1
python3 -B verify_package.py
python3 -B verify.py

Erwartete Ausgabe

Exit 0; nur die unten genannte Softwareaussage.

4. Was bleibt offen?

Externe Reproduktion bzw. neuer Wolfram-Lauf mit eigener Umgebung; Aussagebereich nicht auf U2 ausdehnen.