MODULREGISTER · 2026-10-16
RAX-U1: Reduktionskontrolle
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-U1: Reduktionskontrolle
Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3
Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
2. Was ist dokumentiert?
160 Matrizen/3,2 Mio. Übergänge; Entscheidungen 8 gestützt, 16 verworfen, 16 unentschieden. Archivvorfall bleibt offen.
- docs/research/rax/countercheck-v0.1/RAX_U1_Gegenpruefung_v0_1_Paket.zip
Originalquellen, Rohdaten, audit-final und Gegenproben im Paket.
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?
Linux, Python 3.12, NumPy/SciPy aus enthaltenen requirements.
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-u1
cd x6-rax-u1
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 -m zipfile -e docs/research/rax/countercheck-v0.1/RAX_U1_Gegenpruefung_v0_1_Paket.zip /tmp/x6-hub-rax-u1
cd /tmp/x6-hub-rax-u1/RAX_U1_Gegenpruefung_v0_1
python3 -m pip install -r research/rax_u1_countercheck/requirements.txt
python3 research/rax_u1_countercheck/audit.py --output audit-reproduced.json
python3 research/rax_u1/reference.py research/rax_u1/evidence/qualificationErwartete Ausgabe
Exit 0; nur die unten genannte Softwareaussage.
4. Was bleibt offen?
Dauerhafte Speicherung mit Flush/fsync, Reopen/Hashprüfung sowie Abbruch-/Kürzungs-/Neustarttests qualifizieren.