Lorentz: vollständige n=7-Prüfung und Widerlegung von H7

1. Was wird untersucht?

Lorentz: vollständige n=7-Prüfung und Widerlegung von H7

Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3

Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f

2. Was ist dokumentiert?

Vollständige exakte Prüfung von F0+W_future+W_past bis n=7. Bei n=7 bleiben zwei nichtisomorphe Paare der Höhe drei; die Hypothese ist widerlegt. Zweiter Enumerator prüft alle 2^21 oberen Binärmatrizen, 96.428 natürliche Beschriftungen und 2.045 Klassen. Insgesamt 2.450 Repräsentanten und 7.350 exakte Polynome. D trennt n≤7, ersetzt aber nicht die skalare Hypothese. Keine physische Validierung oder externe Begutachtung.

• research/lorentz_n7_complete/results/RESULTS.json

  Vollständiges negatives Ergebnis, Quellbindung und alle Größenklassen.

• research/lorentz_n7_complete/results/independent-results.json

  Algorithmisch getrennte Enumeration, Isomorphiesuche, natürliche Multiplizitäten und exakte Determinanteninterpolation.

• research/lorentz_n7_complete/COUNTEREXAMPLES.md

  Beide minimalen n=7-Paare mit Matrizen und Polynomen; elementarer Nichtisomorphiebeweis und isolierte Erweiterungen für alle n≥7.

• research/lorentz_n7_complete/freeze.json

  Vor dem vollständigen Lauf veröffentlichte Quellhashes; prospektiver Arbeitsablauf, keine externe Präregistrierung.

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 unter Linux/POSIX, nur Standardbibliothek. Kein Netzwerk oder Wolfram-Zugang für die Rechnung.

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-lorentz-n7-complete
cd x6-lorentz-n7-complete
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 -O research/lorentz_n7_complete/run.py --verify research/lorentz_n7_complete/results

Erwartete Ausgabe

Exit 0, PASS_REPRODUCED_EXACT_COUNTERCHECK mit REFUTED_BY_COUNTEREXAMPLE. 2.045 n=7-Ordnungen, 2.043 primäre Signaturklassen, zwei vollständig gespeicherte Restpaare. 17 Kontrollgruppen einschließlich 16 Zurückweisungen.