Astrolabium und rationale Spektralreferenz

1. Was wird untersucht?

Astrolabium und rationale Spektralreferenz

Gepinnte Originaldokumentation · Quellencommit a1f22f6c59f3

Branch: main. a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f

2. Was ist dokumentiert?

Fünf rationale Referenzfälle prüfen strikte Untergrenzen für endliche gerundete Graph-Laplacians, einschliesslich ungültiger Schranken und getrennter Komponenten.

• docs/integration-v0.1/evidence/spectral-run.log

  Erhaltene Referenzausführung; keine physische oder allgemeine Raumzeitaussage.

• evidence/historical_python_results.json

  Historischer Python-Befund; datierter Prüfstand.

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; gemeinsames setup --profile core. Browser-App: app/index.html.

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-astrolabium
cd x6-astrolabium
git checkout --detach a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f
python3 x6.py run spectral --output runs/register-spectral
python3 x6.py verify runs/register-spectral

Erwartete Ausgabe

Exit 0; nur die unten genannte Softwareaussage.