{
  "schema": "x6.module-register/1",
  "snapshot_date": "2026-10-16",
  "repository": "thomasmgfeller/x6-spectral-astrolabium",
  "main_snapshot": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
  "agent_window": {
    "stop_utc": "2026-10-18T22:00:00Z",
    "stop_local": "2026-10-19T00:00:00+02:00",
    "timezone": "Europe/Zurich",
    "exclusive": true,
    "includes": "Sonntag, 18. Oktober 2026",
    "source": "agent/math-agent-config.json"
  },
  "modules": [
    {
      "id": "integration",
      "name": "Gemeinsamer lokaler Einstieg",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/INTEGRATION.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Linux/POSIX x86-64, Python 3.12, Git, Node >=22; setup installiert gepinntes NumPy/SciPy. Browser für die Oberfläche.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py setup --profile research",
          "python3 x6.py doctor --profile research",
          "python3 x6.py serve"
        ],
        "paths": [
          "x6.py"
        ],
        "archive": null,
        "expected": "doctor: erfolgreich; serve meldet Loopback-URL und bleibt bis Strg+C aktiv."
      },
      "claim": "Installation, Signal/Spektral/RAX-Läufe sowie Export und Replay sind in main integriert. ACVM/C1 besitzen zusätzliche Unterbefehle.",
      "evidence": [
        {
          "path": "docs/integration-v0.1/evidence/qualification.json",
          "summary": "Historische Abnahme PASS_WITH_BROWSER, 23 Schritte; genaue damalige Revision im Bericht. Kein Nachweis für beliebige spätere Commits."
        }
      ],
      "next_acceptance": "Frischer Checkout der nächsten Implementierungsrevision: Installation, alle drei Adapter, ZIP-Replay, Negativkontrollen und Browser/CLI-Austausch bestehen."
    },
    {
      "id": "offline-reference",
      "name": "Gemeinsame Offline-Referenzsuite",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/OFFLINE_REFERENCE.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Linux/POSIX x86-64, Python 3.12 und Node.js 24. Nur Standardbibliothek; kein setup, NumPy/SciPy, Netzwerk oder Wolfram-Zugang. Neuer Ausgabeordner.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -S -B x6.py reference qualify --output /tmp/x6-reference-evidence",
          "python3 -S -B x6.py reference verify /tmp/x6-reference-evidence"
        ],
        "paths": [
          "x6.py",
          "tools/reference_suite.py",
          "REFERENCE_SOURCE_MANIFEST.json"
        ],
        "archive": null,
        "expected": "Exit 0; PASS_OFFLINE_REFERENCE_REPLAY, 10 Berichte, 27 übergreifende plus 17 Lorentz- und 21 QE-Fehlerkontrollen. Fälschungen einschließlich nachgezogener Hashes scheitern."
      },
      "claim": "Vier unveränderte Wolfram-Archive, fünf rationale Graphfälle, 318 n=6-Ordnungen mit 4.208 exakten Polynomen und aktueller Signal-Lab-Kern gegen die gespeicherte Polaritätsreferenz. Vollständiges quellengebundenes Replay. Frische CI-Checkouts laufen bei relevanten Änderungen mit abgeschaltetem Netzwerk. Endliche Software-/Referenzrechnung, keine physische Abnahme oder externe Begutachtung. Zusätzlich: vier n=6-Restpaare exakt mit Wolfram gegengeprüft; Gradpaar-/Zählseparatoren und n=7/n=8-Grenzfälle lokal reproduzierbar. X6-QE ergänzt drei bekannte exakte Graphreferenzen mit vier Graphen; kein Quanten-, Gedächtnis- oder Arithmetikbefund.",
      "evidence": [
        {
          "path": "research/x6_qe/evidence/local-results.json",
          "summary": "X6-QE: lokal ausgeführte exakte Referenzen, vier Graphen, zwölf Umbenennungen, 21 erwartete Zurückweisungen. Quellenhashes im Bericht; keine externe Prüfung."
        },
        {
          "path": "research/lorentz_n6_residuals/ACCEPTANCE.md",
          "summary": "Aktuelle Neun-Berichte-Abnahme der Implementierung 5eaffee5a594e2c2c5b86db28a1406dc29168087. Lokal und Netzwerk-isolierte CI PASS, identisches Bundle. Ältere Acht-Berichte-Belege unten gehören zu ihrer historischen Quellenrevision."
        },
        {
          "path": "docs/reference-suite/README.md",
          "summary": "Ausgeführte Abnahme der Implementierung 7c35b591f77ab1c123ee9795ea6978d1681d59bb. Lokale und Netzwerk-isolierte CI-Abnahme PASS, identische Bundle-Prüfsumme."
        },
        {
          "path": "docs/reference-suite/local/acceptance.json",
          "summary": "Frischer sauberer Checkout ohne .venv/Site-Pakete; elf CLI-Schritte einschließlich zehn erwarteter Zurückweisungen. Historische Prüfrevision explizit gespeichert."
        },
        {
          "path": "docs/reference-suite/local/run/complete.json",
          "summary": "Vollständiges Bundle mit acht Berichten, Quellenhashes und Inventar; durch reference verify erneut berechenbar."
        },
        {
          "path": "docs/reference-suite/ci/acceptance.json",
          "summary": "GitHub-Lauf 38720405798: network_namespace_isolated=true, alle elf CLI-Schritte wie erwartet."
        }
      ],
      "next_acceptance": "Bei jeder relevanten Änderung frischen Checkout mit unverändertem Prüfvertrag qualifizieren und neue Evidenzrevision festhalten. Neue Fälle oder größere Korpora benötigen eigene Erwartungen und Fehlerkontrollen; andere Plattformen sind separat zu qualifizieren."
    },
    {
      "id": "astrolabium",
      "name": "Astrolabium und rationale Spektralreferenz",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/SCIENTIFIC_SCOPE.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12; gemeinsames setup --profile core. Browser-App: app/index.html.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py run spectral --output runs/register-spectral",
          "python3 x6.py verify runs/register-spectral"
        ],
        "paths": [
          "x6.py",
          "tests/python/independent_audit.py",
          "app/index.html"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Fünf rationale Referenzfälle prüfen strikte Untergrenzen für endliche gerundete Graph-Laplacians, einschliesslich ungültiger Schranken und getrennter Komponenten.",
      "evidence": [
        {
          "path": "docs/integration-v0.1/evidence/spectral-run.log",
          "summary": "Erhaltene Referenzausführung; keine physische oder allgemeine Raumzeitaussage."
        },
        {
          "path": "evidence/historical_python_results.json",
          "summary": "Historischer Python-Befund; datierter Prüfstand."
        }
      ],
      "next_acceptance": "Externe Reproduktion der exakten Zertifikate und separat vollständige Browser-/Julia-Qualifikation."
    },
    {
      "id": "signal-lab",
      "name": "Signal Validation Lab",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/SIGNAL_VALIDATION_LAB.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, Node >=22; setup --profile core. UI: app/signal-lab.html.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py run signal --output runs/register-signal",
          "python3 x6.py verify runs/register-signal"
        ],
        "paths": [
          "x6.py",
          "app/signal-lab.html"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Synthetische Signale werden gegen vier Verfahren verglichen; Roharrays und Qualitätsurteile bleiben im Replay erhalten.",
      "evidence": [
        {
          "path": "docs/integration-v0.1/evidence/signal-run.log",
          "summary": "Erhaltenes Pulsbeispiel: X6-Phasenfilter FAIL ist ein fachliches Ergebnis, kein Laufabbruch."
        },
        {
          "path": "docs/perspectives/edge-platform/evidence/independent-reference.json",
          "summary": "Gespeicherte NumPy/SciPy-Gegenprüfung."
        }
      ],
      "next_acceptance": "Vor Leistungsclaims: starke Baselines, getrennte reale Testdaten, ereigniserhaltende Qualitätsgates und Ressourcenmessung."
    },
    {
      "id": "edge-reference",
      "name": "Edge-Referenzadapter",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experimental/edge_reference/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Node >=22; keine npm-Laufzeitabhängigkeiten.",
      "entry": {
        "cwd": ".",
        "commands": [
          "node experimental/edge_reference/runner.cjs run experimental/edge_reference/examples/synthetic-signal.json runs/register-edge",
          "node experimental/edge_reference/runner.cjs verify runs/register-edge"
        ],
        "paths": [
          "experimental/edge_reference/runner.cjs",
          "experimental/edge_reference/examples/synthetic-signal.json"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Begrenzter lokaler Signalauftrag mit Export und rechnerischem Replay; main enthält den Adapter bereits.",
      "evidence": [
        {
          "path": "docs/perspectives/edge-platform/evidence/local-validation.json",
          "summary": "Lokale Softwareprüfung; keine Messung von Geräteeffizienz."
        }
      ],
      "next_acceptance": "Zweite unabhängige Anwendung, qualifizierter Geräteadapter und ARM64/x86-64-Vergleich nach Roadmap."
    },
    {
      "id": "evidence-calibration",
      "name": "Evidence & Calibration",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experimental/evidence_calibration/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/3.13, Standardbibliothek.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m experimental.evidence_calibration.run_qualification --output runs/register-calibration --protect-research"
        ],
        "paths": [
          "experimental/evidence_calibration/run_qualification.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Datentypen, Evidenzbindung, Bildmetadaten und klassische Referenzmodelle werden softwareseitig geprüft; Hashes authentifizieren keine Messung.",
      "evidence": [
        {
          "path": "experimental/evidence_calibration/REMEDIATION.md",
          "summary": "Audit-/Fehlerbehandlung und Testzuordnung. Ein erneuter Lauf erzeugt eigene Logs; kein gespeicherter physischer Qualifikationsbefund."
        }
      ],
      "next_acceptance": "Kontrollierte aufgezeichnete Messdaten, Dunkel-/Sättigungsprüfung, kalibrierter Massstab und vollständiges Unsicherheitsbudget."
    },
    {
      "id": "phase-contract",
      "name": "X6-Phasenfilter: Experimentvertrag",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experiments/x6-phase-filter/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, isolierte venv empfohlen; Abhängigkeiten aus Paket requirements.txt.",
      "entry": {
        "cwd": "experiments/x6-phase-filter/contract-v0.2.0",
        "commands": [
          "python3 -m pip install -r requirements.txt",
          "python3 preflight.py X6_PF_Experiment_Contract_v0_2_DRAFT.json --mode draft",
          "python3 preflight.py X6_PF_Experiment_Contract_v0_2_DRAFT.json --mode preflight"
        ],
        "paths": [
          "experiments/x6-phase-filter/contract-v0.2.0/preflight.py"
        ],
        "archive": null,
        "expected": "draft: DRAFT_STRUCTURE_VALID/Exit 0; preflight: BLOCKED/Exit 2 ist hier erwartet."
      },
      "claim": "Die Vorprüfung trennt einen strukturell gültigen Entwurf von einem ausführungsreifen Versuch; Filterclaim UNVALIDATED.",
      "evidence": [
        {
          "path": "experiments/x6-phase-filter/contract-v0.2.0/validation_report.json",
          "summary": "42 Softwaretests; keine neuen Filterversuche."
        }
      ],
      "next_acceptance": "Offene fachliche Festlegungen und vertrauenswürdigen Freeze schliessen; danach Runner-Review."
    },
    {
      "id": "industrial-programme",
      "name": "Industrielle Entrauschung: Forschungsprogramm v0.2",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/industrial-denoising/Astrolabium_Industrial_Denoising_Forschungsprogramm_v0_2.docx",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "DOCX-Leser. In main ausführbar: industrial-v1 (Bestätigungsvertrag) und industrial-pilot (begrenzter nichtkommerzieller Labor-Datenpilot).",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein ausführbarer Kern in diesem Dokument."
      },
      "claim": "Forschungsplan für Diagnosequalität, Ereigniserhalt und Ressourcenbudgets; keine nachgewiesene neue Filterleistung.",
      "evidence": [
        {
          "path": "docs/industrial-denoising/Astrolabium_Industrial_Denoising_Forschungsprogramm_v0_2.docx",
          "summary": "Veröffentlichter Forschungsplan; kein abgeschlossener Industrieversuch."
        }
      ],
      "next_acceptance": "Nach dem abgeschlossenen begrenzten Paderborn-Piloten: konkrete industrielle Zielpopulation und passende Datenrechte, Kalibrierung, unabhängige Referenzlabels, externe Splits und fachlich geprüfte Powerplanung für die Bestätigung. Keine Filterfreigabe allein aus Pilotzählungen."
    },
    {
      "id": "sagnac-import",
      "name": "Sagnac-Aufnahme und Import",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/SAGNAC_INTEGRATION.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, Browser; Standardstart ohne angeschlossenes Gerät.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 device/sagnac_bridge.py"
        ],
        "paths": [
          "device/sagnac_bridge.py"
        ],
        "archive": null,
        "expected": "http://127.0.0.1:8766/app/; Tab 07 Sagnac, synthetisches Beispiel. Server endet mit Strg+C."
      },
      "claim": "SGNCv007-Decoder, synthetischer Import und Loopback-Bridge; optische Stellbefehle gehören zum separaten ACVM-Modul.",
      "evidence": [
        {
          "path": "evidence/sagnac_integration_validation.json",
          "summary": "Gespeicherte Softwarevalidierung des Integrationsstands; keine Hardwaremessung."
        }
      ],
      "next_acceptance": "Reale serielle Aufnahme und Zähler-/Zeitkalibrierung mit unabhängiger Referenz; optische Claims separat prüfen."
    },
    {
      "id": "photonic-design",
      "name": "Photonischer Zwei-Qubit-Aufbau und Jig",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experiments/photonic-two-qubit/REPRODUCE.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, GHDL 5.0.1 mcode und CAD-Abhängigkeiten aus requirements; keine Hardware nötig.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r tests/photonics/requirements.txt",
          "python3 tests/photonics/validate_release.py --ghdl --cad --output runs/register-photonic"
        ],
        "paths": [
          "tests/photonics/validate_release.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Host-/RTL-Referenz und idealisierte Jig-Geometrie werden geprüft. Ausgelassene optionale Prüfungen sind NOT_EXECUTED.",
      "evidence": [
        {
          "path": "experiments/photonic-two-qubit/SCIENTIFIC_STATUS.md",
          "summary": "Designstatus und Grenzen; physische Fertigungs-/Verschränkungsnachweise offen."
        },
        {
          "path": "experiments/photonic-two-qubit/reference/sagnac_v0_7/VALIDATION.md",
          "summary": "Erhaltener digitaler Referenzbericht."
        }
      ],
      "next_acceptance": "Jig fertigen und vermessen; Quelle/Detektoren kalibrieren; vorregistrierte Koinzidenz-/Verschränkungsprüfung nach LAB_PROTOCOL."
    },
    {
      "id": "acvm-concept",
      "name": "ACVM: Grundkonzept 0.1",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/README.md",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "Markdown-/DOCX-Leser; ausführbare C1-/0.2-Module siehe eigene Einträge.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Dokument lesen; keine eigenständige ausführbare Gesamtspezifikation."
      },
      "claim": "Historische Gesamtspezifikation. Teilimplementierungen in main ersetzen keine vollständige Geräteabnahme.",
      "evidence": [
        {
          "path": "docs/acvm/ACVM_CONCEPT_v0_1_DE.md",
          "summary": "Ursprünglicher Anforderungstext; spätere Softwarebelege in C1 und optical-v0.2."
        }
      ],
      "next_acceptance": "Anforderungen mit den Teilimplementierungen verknüpfen und verbleibende elektrische/optische Abnahmen durchführen."
    },
    {
      "id": "acvm-c1",
      "name": "ACVM C1: Steuerkanal",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/control-channel-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Softwarequalifikation: Python 3.12, POSIX-PTY, g++/C++17; kein Pico erforderlich. Optionaler Zielbuild: Linux x86-64 und gepinnte Werkzeuge gemäß docs/acvm/c1-e01-target-build/README.md. Physische E01-Abnahme benötigt einen identifizierten Pico/MCP4921-Aufbau und unabhängige kalibrierte Messgeräte.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py control qualify --output runs/register-c1",
          "python3 -B tests/control-channel/test_pico_build.py"
        ],
        "paths": [
          "x6.py",
          "experimental/control_channel/qualification.py",
          "tests/control-channel/test_pico_build.py",
          "tools/build_c1_pico.py",
          "docs/acvm/c1-e01-target-build/README.md"
        ],
        "archive": null,
        "expected": "Softwarequalifikation Exit 0; UF2-Kandidat stimmt mit BIN überein, fünf Beschädigungsfälle werden abgelehnt und vorhandene Ergebnisordner bleiben geschützt. Der dokumentierte Zielbuild ergibt TARGET_BUILD_PASS; elektrische Abnahme bleibt NOT_PERFORMED."
      },
      "claim": "Host-Protokoll, Compiler, portabler C++-Sequencer und virtueller serieller Weg sind prüfbar. Unveränderte Firmware wurde für RP2040 gebaut; wiederholte Builds ergeben identische UF2-/BIN-Hashes. Keine physische Ausgabe oder Fehlerreaktion gemessen.",
      "evidence": [
        {
          "path": "docs/acvm/control-channel-v0.1/evidence/qualification.json",
          "summary": "Gespeicherte Softwarequalifikation; kein Pico-Build oder elektrischer Messbeleg."
        },
        {
          "path": "docs/acvm/c1-e01-target-build/evidence/build-report.json",
          "summary": "Tatsächlicher RP2040-Zielbuild PASS; Pico SDK 2.3.1/GNU Arm GCC 15.2.1, Firmware-, Werkzeug- und Ausgabehashes. UF2/BIN/ELF und Buildlogs archiviert; kein Flash- oder Messbeleg."
        },
        {
          "path": "docs/acvm/c1-e01-target-build/evidence/readiness.json",
          "summary": "BLOCKED_PHYSICAL_MEASUREMENT: 0/10 Normalläufe und 0/6 Fehlerfälle; reale Geräte, Kalibrierung, vorher fixiertes Messprofil und unabhängige Rohaufnahmen fehlen."
        }
      ],
      "next_acceptance": "Identifizierten Aufbau flashen; E01-Messprofil vor Datenerhebung fixieren; mindestens zehn Stellfolgen sowie sechs Fehlerfälle unabhängig erfassen. Spannungsfehler plus U95 ≤25 mV, Zeitfehler plus U95 ≤20 ms, Hostverlustreaktion plus U95 ≤550 ms gemäß E01. Vollständige Rohdaten, Kalibrierung und Fehlergrenzen archivieren; anschließend erst elektrische und später optische Abnahme entscheiden."
    },
    {
      "id": "acvm-optical",
      "name": "ACVM 0.2: optischer Referenzablauf",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/optical-v0.2/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, POSIX-PTY, g++; Softwarelauf ohne Geräte.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py acvm qualify --output runs/register-acvm"
        ],
        "paths": [
          "x6.py",
          "experimental/acvm/qualification.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "V01–V08 MODEL_PASS, synthetische QHQ-/Drift-/Regelkontrollen; ELL14-/PM100D-Adapter sind implementiert, nicht gerätequalifiziert.",
      "evidence": [
        {
          "path": "docs/acvm/optical-v0.2/evidence/fresh-checkout/fresh-checkout.json",
          "summary": "12 Checkout-Schritte; genaue geprüfte lokale Revision und Logs."
        },
        {
          "path": "docs/acvm/optical-v0.2/VALIDATION.md",
          "summary": "V09/V10 physisch NOT_PERFORMED; Regelvorteil nur im angegebenen Modell."
        }
      ],
      "next_acceptance": "V09/V10 mit unabhängigen Messungen; Geräteidentität/Kalibrierung, reale Hysterese/Laufzeiten und geschlossenen optischen Regelkreis nachweisen."
    },
    {
      "id": "sagnac-components",
      "name": "Sagnac-Komponenten und Ofen",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/sagnac-components-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "Dokument-/PDF-Leser.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein ausführbarer oder gemessener Aufbau."
      },
      "claim": "Beschaffungs- und Aufbauprofil für ppKTP, gemeinsamen Dreiecksloop und Temperaturführung.",
      "evidence": [
        {
          "path": "docs/acvm/sagnac-components-v0.1/README.md",
          "summary": "Zwölf Abnahmeschritte ungetestet; keine Lieferantenbestätigung."
        }
      ],
      "next_acceptance": "Lieferantenspezifikation und Fertigungsfreigabe einholen; zwölf Komponenten-/Aufbauprüfungen tatsächlich ausführen."
    },
    {
      "id": "acvm-records",
      "name": "ACVM Experiment Records",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/experiment-records/README.md",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "Markdown-/DOCX-Leser.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein eigenständiger Records-Runner."
      },
      "claim": "Vorgeschlagenes Run-Archive-Datenmodell mit Provenienz und Abnahmeplan; nicht gleich dem bereits begrenzten CLI-Export.",
      "evidence": [
        {
          "path": "docs/acvm/experiment-records/README.md",
          "summary": "Vierzehn Records-Prüfungen NOT_RUN."
        }
      ],
      "next_acceptance": "Versionierten Writer/Reader und Adapter implementieren; alle vierzehn Records-Gates mit Manipulations-/Abbruchfällen prüfen."
    },
    {
      "id": "acvm-fixture",
      "name": "ACVM Electrical & Thermal Test Fixture",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/acvm/electrical-thermal-fixture/README.md",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "Dokument-/Bildbetrachter.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein qualifizierter Prüfstand und kein ausführbarer Chip."
      },
      "claim": "Elektrischer/thermischer Prüfstand und QD-01 sind Konzeptdarstellungen; Illustrationen sind keine gefertigten Chips.",
      "evidence": [
        {
          "path": "docs/acvm/electrical-thermal-fixture/README.md",
          "summary": "ETF-T01–ETF-T14 NOT_RUN."
        }
      ],
      "next_acceptance": "Anforderungen, Bauteile und Messunsicherheit freigeben; Prüfstand aufbauen und ETF-T01–T14 messen."
    },
    {
      "id": "rax-programme",
      "name": "RAX: relationales Forschungsprogramm",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/rax/README.md",
        "availability": "MAIN"
      },
      "kind": "CONCEPT",
      "prerequisites": "DOCX-/Markdown-Leser; ausführbare U1/B1/M1/W1-Pakete separat.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein universeller RAX-Entdeckungsrunner."
      },
      "claim": "Gestuftes Programm für prädiktive Reduktionen; U2, Geometrie und Singularitäten bleiben geplant.",
      "evidence": [
        {
          "path": "docs/research/rax/README.md",
          "summary": "Programmbeschreibung und Links zu begrenzten ausgeführten Kontrollen."
        }
      ],
      "next_acceptance": "U2 mit heterogenen Generatoren, festem Beobachtungsziel, Holdout und eigenem Fehlerbudget vorregistrieren."
    },
    {
      "id": "rax-u1",
      "name": "RAX-U1: Reduktionskontrolle",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/rax/countercheck-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Linux, Python 3.12, NumPy/SciPy aus enthaltenen requirements.",
      "entry": {
        "cwd": ".",
        "commands": [
          "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/qualification"
        ],
        "paths": [
          "research/rax_u1_countercheck/audit.py",
          "research/rax_u1/reference.py"
        ],
        "archive": {
          "path": "docs/research/rax/countercheck-v0.1/RAX_U1_Gegenpruefung_v0_1_Paket.zip",
          "root": "RAX_U1_Gegenpruefung_v0_1"
        },
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "160 Matrizen/3,2 Mio. Übergänge; Entscheidungen 8 gestützt, 16 verworfen, 16 unentschieden. Archivvorfall bleibt offen.",
      "evidence": [
        {
          "path": "docs/research/rax/countercheck-v0.1/RAX_U1_Gegenpruefung_v0_1_Paket.zip",
          "summary": "Originalquellen, Rohdaten, audit-final und Gegenproben im Paket."
        }
      ],
      "next_acceptance": "Dauerhafte Speicherung mit Flush/fsync, Reopen/Hashprüfung sowie Abbruch-/Kürzungs-/Neustarttests qualifizieren."
    },
    {
      "id": "rax-b1-m1",
      "name": "RAX-B1/M1: Benchmark und Methodenreview",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/rax/method-review-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "setup --profile research; Python 3.12, NumPy/SciPy. Der Replay kann mehrere Minuten dauern.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 x6.py run rax --output runs/register-rax",
          "python3 x6.py verify runs/register-rax"
        ],
        "paths": [
          "x6.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "67.584 Benchmarkläufe und Methoden-Gegenbeispiele werden nachgerechnet. Alle acht primären Überlegenheitsentscheidungen bleiben INCONCLUSIVE.",
      "evidence": [
        {
          "path": "docs/research/rax/benchmark-v0.1/RAX_B1_Benchmarking_v0_1_Paket.zip",
          "summary": "Eingefrorene B1-Daten und Referenzprüfer."
        },
        {
          "path": "docs/research/rax/method-review-v0.1/RAX_M1_Methodenpruefung_v0_1_Paket.zip",
          "summary": "Zwei nachgewiesene Validierungsfehler und Zusatzguards; ursprüngliche Daten bestehen Nachprüfung."
        }
      ],
      "next_acceptance": "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."
    },
    {
      "id": "rax-w1",
      "name": "RAX-W1: exakte Wolfram-Gegenprüfung",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/rax/wolfram-check-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/Standardbibliothek. Offline-Prüfung startet keinen Wolfram-Kernel.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -B verify_package.py",
          "python3 -B verify.py"
        ],
        "paths": [
          "verify_package.py",
          "verify.py"
        ],
        "archive": {
          "path": "docs/research/rax/wolfram-check-v0.1/RAX_W1_Exakte_Gegenpruefung_v0_1_Paket.zip",
          "root": "RAX_W1_Exakte_Gegenpruefung_v0_1"
        },
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "44 ausgewählte U1-Matrizen, zehn gültige Reduktionen und 34 beabsichtigte Verletzungen werden exakt abgeglichen.",
      "evidence": [
        {
          "path": "docs/research/rax/wolfram-check-v0.1/RAX_W1_Exakte_Gegenpruefung_v0_1_Paket.zip",
          "summary": "Gespeicherte Wolfram-Antworten und unabhängiger Python-Prüfer; interne Post-hoc-Prüfung."
        }
      ],
      "next_acceptance": "Externe Reproduktion bzw. neuer Wolfram-Lauf mit eigener Umgebung; Aussagebereich nicht auf U2 ausdehnen."
    },
    {
      "id": "wolfram-polarity",
      "name": "Wolfram Fall 2: Polaritätsumkehr",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/signal-lab/wolfram-polarity-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/Standardbibliothek; Fall 2 mit --rerun zusätzlich Node. Kein frischer Wolfram-Lauf.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 verify.py --rerun"
        ],
        "paths": [
          "verify.py"
        ],
        "archive": {
          "path": "docs/signal-lab/wolfram-polarity-v0.1/X6_Wolfram_Fall2_v0_1.zip",
          "root": "X6_Wolfram_Fall2_v0_1"
        },
        "expected": "PASS_WITH_SCOPE_LIMITS oder erfolgreicher paketabhängiger Prüfbericht; Exit 0. Wissenschaftliche Aussage bleibt auf den konstruierten Fall begrenzt."
      },
      "claim": "Vier symbolische Identitäten und zwölf numerische Prüfungen; invertiertes Signal wird trotz gleicher PSD/Kohärenz zurückgewiesen.",
      "evidence": [
        {
          "path": "docs/signal-lab/wolfram-polarity-v0.1/X6_Wolfram_Fall2_v0_1.zip",
          "summary": "Gespeicherte Erstfehler und korrigierte Wolfram-Antworten, Freeze-Dateien und vollständiges Inventar."
        }
      ],
      "next_acceptance": "Externe Wiederholung; reale Signale benötigen einen eigenen Messvertrag."
    },
    {
      "id": "wolfram-dependence",
      "name": "Wolfram Fall 4: Nullfehler und Abhängigkeit",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/signal-lab/wolfram-zero-failures-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/Standardbibliothek; Fall 2 mit --rerun zusätzlich Node. Kein frischer Wolfram-Lauf.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 verify.py"
        ],
        "paths": [
          "verify.py"
        ],
        "archive": {
          "path": "docs/signal-lab/wolfram-zero-failures-v0.1/X6_Wolfram_Fall4_v0_1.zip",
          "root": "X6_Wolfram_Fall4_v0_1"
        },
        "expected": "PASS_WITH_SCOPE_LIMITS oder erfolgreicher paketabhängiger Prüfbericht; Exit 0. Wissenschaftliche Aussage bleibt auf den konstruierten Fall begrenzt."
      },
      "claim": "Zwölf Wolfram-Prüfungen und sieben Python-Vergleiche: unabhängige Versuche und Kopien eines Versuchs haben unterschiedliche Deckung.",
      "evidence": [
        {
          "path": "docs/signal-lab/wolfram-zero-failures-v0.1/X6_Wolfram_Fall4_v0_1.zip",
          "summary": "Gespeicherte Erstfehler und korrigierte Wolfram-Antworten, Freeze-Dateien und vollständiges Inventar."
        }
      ],
      "next_acceptance": "Unabhängigkeit konkreter Datensätze belegen; das konstruktive Gegenbeispiel ist kein Audit aller Projektdaten."
    },
    {
      "id": "wolfram-causal",
      "name": "Wolfram Fall 5: Kausalordnung",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/causal-order/wolfram-countercheck-v0.1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/Standardbibliothek; Fall 2 mit --rerun zusätzlich Node. Kein frischer Wolfram-Lauf.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 verify_release.py"
        ],
        "paths": [
          "verify_release.py"
        ],
        "archive": {
          "path": "docs/research/causal-order/wolfram-countercheck-v0.1/X6_Wolfram_Fall5_v0_1.zip",
          "root": "X6_Wolfram_Fall5_v0_1"
        },
        "expected": "PASS_WITH_SCOPE_LIMITS oder erfolgreicher paketabhängiger Prüfbericht; Exit 0. Wissenschaftliche Aussage bleibt auf den konstruierten Fall begrenzt."
      },
      "claim": "Sechzehn Wolfram-Assertions und exakte Python-Polynome bestätigen ein Drei-Ereignis-Gegenbeispiel gegen Vollständigkeit dieses Fingerprints.",
      "evidence": [
        {
          "path": "docs/research/causal-order/wolfram-countercheck-v0.1/X6_Wolfram_Fall5_v0_1.zip",
          "summary": "Gespeicherte Erstfehler und korrigierte Wolfram-Antworten, Freeze-Dateien und vollständiges Inventar."
        }
      ],
      "next_acceptance": "Zusätzliche Invarianten an registrierten Korpora prüfen; kein allgemeiner Rekonstruktionssatz."
    },
    {
      "id": "data-agents",
      "name": "Öffentliche Datenagenten: NOAA, Atlas, QuTech, NASA",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/SOURCE_AGENTS.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Lokale Tests: Abhängigkeiten aus agent/requirements.txt und agent/source-requirements.txt; siehe Dokumentation. Produktionsläufe nutzen geschützte GitHub-Workflows und deren Zeitfenster.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m unittest tests/python/test_data_agent.py tests/python/test_source_agents.py -v"
        ],
        "paths": [
          "tests/python/test_data_agent.py",
          "tests/python/test_source_agents.py"
        ],
        "archive": null,
        "expected": "Lokale Softwaretests; kein neuer Datenabruf. Tatsächliche geplante Läufe siehe datierte Workflow-Links im Register."
      },
      "claim": "Quellen-/Ablehnungsprüfungen und App-Checks auf öffentlichen Daten. Vier Datenjobs in zwei Workflows; kein Denoising-Nutzenbeleg.",
      "evidence": [
        {
          "path": "docs/DATA_AGENT.md",
          "summary": "NOAA-Lauf, Inputs und Actions-Artefakte 30 Tage."
        },
        {
          "path": "docs/SOURCE_AGENTS.md",
          "summary": "Atlas/QuTech/NASA-Artefakte 14 Tage; Archivdaten explizit gekennzeichnet."
        },
        {
          "path": "docs/AGENT_WINDOW_REPAIR_2026_10_13.md",
          "summary": "Dokumentierte Fenster- und Schutzprüfungen."
        },
        {
          "path": "docs/agent-archive/2026-10-15/ARCHIVE.json",
          "summary": "Drei ausgewählte Originalartefakte dauerhaft in Git: Mathematik/Lorentz, Graphatlas, NOAA; GitHub-Digests, innere Inventare und historische Quellhashes geprüft. Nicht alle Läufe archiviert."
        }
      ],
      "next_acceptance": "Nach diesem Archiv-Snapshot entstehende oder bislang nicht ausgewählte Belege separat vor Ablauf sichern; unabhängiger Datensatz-/Drift- und Qualitätsvergleich. Nach Frist STOPPED erwarten."
    },
    {
      "id": "lorentz-agent",
      "name": "Begrenzter Mathematikagent: Lorentz n=3–5 und Propagator",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/MATH_AGENT.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, Node >=22 und gepinnte mathematische Abhängigkeiten.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r agent/math-requirements.txt",
          "python3 -m unittest tests/python/test_math_agent.py tests/python/test_lorentz_spectral.py -v"
        ],
        "paths": [
          "tests/python/test_math_agent.py",
          "tests/python/test_lorentz_spectral.py"
        ],
        "archive": null,
        "expected": "Exit 0 bei bestandenen Regressionen; startet keinen geplanten Forschungslauf."
      },
      "claim": "Endliche Ordnungszählung und 1+1-Diamond-Spektralvergleich; Replikation/Kalibrierung, kein neuer Satz.",
      "evidence": [
        {
          "path": "docs/LORENTZ_RESEARCH.md",
          "summary": "Definierte Referenzen, n=3/4/5-Zielzählungen und Grenzen."
        },
        {
          "path": "agent/math-agent-config.json",
          "summary": "Konfiguriertes exklusives Ende 2026-10-18T22:00:00Z; 90 Sekunden Rechenbudget."
        },
        {
          "path": "docs/agent-archive/2026-10-15/ARCHIVE.json",
          "summary": "Drei ausgewählte Originalartefakte dauerhaft in Git: Mathematik/Lorentz, Graphatlas, NOAA; GitHub-Digests, innere Inventare und historische Quellhashes geprüft. Nicht alle Läufe archiviert."
        }
      ],
      "next_acceptance": "Unabhängige Replikation; separat registrierte Grössen/Seeds/Ränge und Unsicherheit für Finite-Size-Studie. n=6-Restpaaranalyse in main: Modul lorentz-n6-residuals; vollständiger historischer Atlasgenerator weiter im Branch-Modul."
    },
    {
      "id": "lorentz-n6",
      "name": "Lorentz-Kollisionsatlas n=6: vollständiger Forschungsstand",
      "source": {
        "branch": "research/lorentz-v1-workpackages",
        "commit": "f5116b9970a6b7dc788c18623a8386b4cde33ad4",
        "path": "research/lorentz_n6/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/Standardbibliothek für diesen unabhängigen Prüfer; vollständiger Atlasgenerator benötigt NumPy 2.3.5.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 research/lorentz_n6/verify.py research/lorentz_n6/results/atlas_n6.json --output /tmp/register-atlas-check.json"
        ],
        "paths": [
          "research/lorentz_n6/verify.py",
          "research/lorentz_n6/results/atlas_n6.json"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "318 Ordnungen; 286 Spektralklassen, mit Endpunktzahlen 314, Quill-Basis 285, mit maximalen Quills 318. Nur endlicher Korpus. Vollständiger Forschungsstand einschließlich Generator auf diesem Branch; bytegleicher Prüfer und fester Atlas auch in main über die gemeinsame Offline-Referenzsuite.",
      "evidence": [
        {
          "path": "research/lorentz_n6/results/atlas_n6.json",
          "summary": "Vollständige Repräsentanten, Polynome und Kollisionsgruppen."
        },
        {
          "path": "research/lorentz_n6/results/independent_verification.json",
          "summary": "Separater Rekonstruktions-/Isomorphie-/Determinantenprüfer, 4.208 Polynome."
        }
      ],
      "next_acceptance": "Die vollständige n=7-Abnahme ist im Modul lorentz-n7-complete abgeschlossen: H7-bidirectional-moments ist durch zwei Restpaare widerlegt. Nächster Schritt: strukturelle Erklärung der minimalen Kollisionen und unabhängige externe Replikation; neue Aussagen müssen eigene Voraussetzungen nennen."
    },
    {
      "id": "lorentz-n6-residuals",
      "name": "Lorentz: vier n=6-Restpaare und Grenzen der Gradseparatoren",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "research/lorentz_n6_residuals/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, nur Standardbibliothek. Für die gemeinsame Offline-Suite zusätzlich Node.js 24. Kein Wolfram-Zugang oder Netzwerk beim Replay.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -S -B research/lorentz_n6_residuals/verify.py --output /tmp/lorentz-residuals.json",
          "python3 -S -B research/lorentz_n6_residuals/verify.py --verify-report /tmp/lorentz-residuals.json"
        ],
        "paths": [
          "research/lorentz_n6_residuals/verify.py",
          "research/lorentz_n6_residuals/core.py",
          "research/lorentz_n6_residuals/inputs.json"
        ],
        "archive": null,
        "expected": "Exit 0, PASS_WITH_SCOPE_LIMITS; 4 getrennte / 0 ungelöste Primärpaare, 36 Wolfram-Polynome, 17 abgelehnte Fehlerkontrollen. Fehlende/manipulierte Ausgabe: Exit 1."
      },
      "claim": "Alle vier F0-Restpaare des vollständigen n=6-Atlas werden durch gepaarte gerichtete Grade D und bereits durch W_future getrennt. Drei sind Dualpaare. F0+W_future: 318/318 Klassen bei n=6, aber 163/164 für n=7 mit Höhe ≤2; beide Zählgrößen ergeben dort 164. Ein verbundenes n=8-Dualpaar kollidiert sogar für F0+D. Keine allgemeine Vollständigkeit oder physische Validierung.",
      "evidence": [
        {
          "path": "research/lorentz_n6_residuals/evidence/local-results.json",
          "summary": "Vollständige Paarwerte, unabhängig nachgerechnete 318 Atlasfälle, Höhe-zwei-n=7-Enumeration, zwei explizite Grenzpaare und 17 Fehlerkontrollen."
        },
        {
          "path": "research/lorentz_n6_residuals/evidence/wolfram-result.json",
          "summary": "Wolfram 15.0.1: zwölf Matrizen, 36 exakt übereinstimmende monische Polynome, Grade, Zählgrößen, Isomorphie-/Dualitätsprüfungen. Zwei frühere fehlgeschlagene Versuche bleiben erhalten."
        },
        {
          "path": "research/lorentz_n6_residuals/contract.json",
          "summary": "Fixierte Konventionen und Auswahl, Herkunft des bestehenden Separators, Literaturabgrenzung und Hypothese H7-bidirectional-moments."
        },
        {
          "path": "research/lorentz_n6_residuals/ACCEPTANCE.md",
          "summary": "Frischer Checkout und Netzwerk-isolierte CI erfolgreich, identisches Neun-Berichte-Bundle; zusätzliche CLI-Manipulationen auch unter Python -O abgelehnt."
        }
      ],
      "next_acceptance": "Die vollständige n=7-Abnahme ist im Modul lorentz-n7-complete abgeschlossen: H7-bidirectional-moments ist durch zwei Restpaare widerlegt. Nächster Schritt: strukturelle Erklärung der minimalen Kollisionen und unabhängige externe Replikation; neue Aussagen müssen eigene Voraussetzungen nennen."
    },
    {
      "id": "lorentz-n7-complete",
      "name": "Lorentz: vollständige n=7-Prüfung und Widerlegung von H7",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "research/lorentz_n7_complete/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12 unter Linux/POSIX, nur Standardbibliothek. Kein Netzwerk oder Wolfram-Zugang für die Rechnung.",
      "entry": {
        "cwd": ".",
        "archive": null,
        "commands": [
          "python3 -O research/lorentz_n7_complete/run.py --verify research/lorentz_n7_complete/results"
        ],
        "paths": [
          "research/lorentz_n7_complete/run.py",
          "research/lorentz_n7_complete/producer.py",
          "research/lorentz_n7_complete/independent.py",
          "research/lorentz_n7_complete/contract.json"
        ],
        "expected": "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."
      },
      "claim": "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.",
      "evidence": [
        {
          "path": "research/lorentz_n7_complete/results/RESULTS.json",
          "summary": "Vollständiges negatives Ergebnis, Quellbindung und alle Größenklassen."
        },
        {
          "path": "research/lorentz_n7_complete/results/independent-results.json",
          "summary": "Algorithmisch getrennte Enumeration, Isomorphiesuche, natürliche Multiplizitäten und exakte Determinanteninterpolation."
        },
        {
          "path": "research/lorentz_n7_complete/COUNTEREXAMPLES.md",
          "summary": "Beide minimalen n=7-Paare mit Matrizen und Polynomen; elementarer Nichtisomorphiebeweis und isolierte Erweiterungen für alle n≥7."
        },
        {
          "path": "research/lorentz_n7_complete/freeze.json",
          "summary": "Vor dem vollständigen Lauf veröffentlichte Quellhashes; prospektiver Arbeitsablauf, keine externe Präregistrierung."
        }
      ],
      "next_acceptance": "Externe Replikation und strukturelle Analyse der beiden minimalen Kollisionsklassen. Eine neue begrenzte Aussage vor der nächsten Suche festlegen; der unveränderte skalare Ansatz ist bereits widerlegt."
    },
    {
      "id": "industrial-v1",
      "name": "Industrielle Entrauschung: V1-Bewertungsadapter",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experiments/industrial-v1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, gepinnte Anforderungen aus requirements; isolierte venv empfohlen.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r experiments/industrial-v1/requirements.txt",
          "python3 experiments/industrial-v1/evaluate.py experiments/industrial-v1/V1_PROFILE_DRAFT.json --root experiments/industrial-v1 --output /tmp/register-v1-readiness.json"
        ],
        "paths": [
          "experiments/industrial-v1/evaluate.py"
        ],
        "archive": null,
        "expected": "NOT_READY, Exit 3 ist beim veröffentlichten Entwurf erwartet."
      },
      "claim": "Vier Schemata, Vorprüfung, Bewertung und synthetischer Kontrollgenerator; ursprüngliche Quellen unverändert aus f5116b9970a6b7dc788c18623a8386b4cde33ad4 nach main übernommen. Bestätigende AP1-Freigabe bleibt NOT_READY. Der getrennte, tatsächlich ausgeführte Datenpilot steht im Modul industrial-pilot.",
      "evidence": [
        {
          "path": "experiments/industrial-v1/examples/draft_readiness.json",
          "summary": "Offene Eingabe-/Mess-/Protokollfelder einzeln ausgewiesen."
        }
      ],
      "next_acceptance": "Für eine benannte industrielle Zielpopulation Rechte, 4-Kanal-Aufnahme/Kalibrierung, unabhängige Labels, Maschinen-/Standortstruktur und genügend unabhängige Lager beschaffen. Fachlich begründete Poweralternativen, Kandidat, starke Baseline und Schwellen vor Zugriff auf Bestätigungsdaten fixieren; ursprüngliche Gates unverändert anwenden."
    },
    {
      "id": "industrial-pilot",
      "name": "Industrieller Datenvertrag: Paderborn-Machbarkeitspilot",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "experiments/industrial-pilot/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, gepinnte NumPy/SciPy-Abhängigkeiten; nach Installation offline. Enthaltene fremde Messkanäle: CC BY-NC 4.0, ausschließlich nichtkommerzieller Pilot; eigener Code Apache-2.0. Keine absoluten Kalibrierbelege.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r experiments/industrial-v1/requirements.txt",
          "python3 experiments/industrial-pilot/replay.py",
          "python3 experiments/industrial-pilot/test_pilot.py"
        ],
        "paths": [
          "experiments/industrial-pilot/replay.py",
          "experiments/industrial-pilot/pilot.py",
          "experiments/industrial-pilot/test_pilot.py",
          "experiments/industrial-pilot/power.py"
        ],
        "archive": null,
        "expected": "REPLAY_PASS, Exit 0; 20 Lager, feste Splits 7/7/6, 13 Tests mit 25 Negativkontrollen. industrial_claim_supported=false und bestätigender V1-Vertrag NOT_READY."
      },
      "claim": "Tatsächlich ausgeführte, reproduzierbare Sekundärauswertung realer Labormessungen: pro physischem Lager eine vor den Scores nach Metadaten gewählte Aufnahme; 16 Verwerfungen bleiben protokolliert. Drei feste klassische Referenzen. Hüllkurve: 4/4 beschädigte Evaluationslager erkannt, 1/2 gesunde mit Fehlalarm. Keine neue Filterleistung, 1-%-Fehlalarmgarantie oder industrielle Generalisierung.",
      "evidence": [
        {
          "path": "experiments/industrial-pilot/evidence/pilot-report.json",
          "summary": "Vollständige Scores, Schwellen und Entscheidungen; Pilotweg bestanden, industrielle Bestätigung ausdrücklich offen."
        },
        {
          "path": "experiments/industrial-pilot/evidence/replay-portability.json",
          "summary": "Nach anfänglichem CI-Rundungsfehler: unveränderte eingefrorene Quellen und Ergebnisse, separater portabler Replay mit 13 Tests / 25 Negativkontrollen. Unstabile Evaluationsentscheidungen werden abgelehnt."
        },
        {
          "path": "experiments/industrial-pilot/evidence/execution.json",
          "summary": "Historischer Erstlauf: Vertrag/Daten/Code öffentlich vor Scores fixiert; damals elf Pilottests, 23 Negativkontrollen und 25 unveränderte V1-Tests bestanden."
        },
        {
          "path": "experiments/industrial-pilot/data/manifest.json",
          "summary": "Originalarchiv-, MAT-, Signal- und NPZ-Hashes; Lager-IDs, Labels, Splits und sämtliche geprüften Wiederholungen."
        },
        {
          "path": "experiments/industrial-pilot/data/LICENSE.txt",
          "summary": "Quellenzuordnung und CC-BY-NC-4.0-Bedingungen der Messdaten; kommerzielle Nutzung nicht freigegeben."
        },
        {
          "path": "experiments/industrial-pilot/evidence/power-plan.json",
          "summary": "368-Sonderfall bestätigt; zusätzliche exakte bedingte Powerrechnung mit gepaarten Diskordanzen. Planungsannahmen sind keine Piloteffekt-Schätzungen oder freigegebene Industrie-Fallzahlen."
        }
      ],
      "next_acceptance": "Benannte industrielle Datenpartnerschaft/Zielpopulation, verwendbare Rechte, unabhängige Labels und ausreichende lager-/maschinenweise getrennte Daten. Vor bestätigendem Leistungsvergleich fachlich geprüften Vertrag samt Kandidat, Baseline, Schwellen, Power und unveränderten V1-Gates einfrieren; bei Clusterung vorab eigenes Design."
    },
    {
      "id": "fingerprint",
      "name": "Mehrschichtiger Fingerprint",
      "source": {
        "branch": "research/x6-fingerprint-v1",
        "commit": "f22030f2dae0aa670cdbc450c5e881ce250b36b8",
        "path": "research/fingerprint_v1/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12 und Anforderungen aus industrial-v1; nur validieren, keine Beispielregeneration nötig.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r experiments/industrial-v1/requirements.txt",
          "python3 research/fingerprint_v1/validate.py research/fingerprint_v1/examples/n6-0073.json research/fingerprint_v1/examples/n6-0181.json research/fingerprint_v1/examples/separation-event.json research/fingerprint_v1/examples/physical-pilot-plan.json"
        ],
        "paths": [
          "research/fingerprint_v1/validate.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "n6-0073 und n6-0181 werden durch gerichtete Gradmultimengen getrennt. Physischer MODAL_2R1F-Pilot ist ungemessen.",
      "evidence": [
        {
          "path": "research/fingerprint_v1/examples/separation-event.json",
          "summary": "Exakter Vergleich gebundener gespeicherter Werte; Validator berechnet nicht jedes Polynom aus Rohmatrizen neu."
        },
        {
          "path": "research/fingerprint_v1/examples/physical-pilot-plan.json",
          "summary": "Expliziter Messplan ohne erfundene Messwerte."
        }
      ],
      "next_acceptance": "Empirischen Assessor mit Unsicherheit/Bestätigungsdaten implementieren; Pilot kalibrieren und Rohdaten prüfen."
    },
    {
      "id": "experiment-fabric",
      "name": "Experiment Fabric",
      "source": {
        "branch": "research/x6-experiment-fabric-v1",
        "commit": "a34c59f2b0e2d30c73936363040669941aa8ce09",
        "path": "experimental/experiment_fabric/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Node >=22, Python 3.12 und Anforderungen aus industrial-v1.",
      "entry": {
        "cwd": ".",
        "commands": [
          "node experimental/experiment_fabric/run.mjs run /tmp/register-fabric",
          "node experimental/experiment_fabric/run.mjs verify /tmp/register-fabric/run.json",
          "python3 -m pip install -r experiments/industrial-v1/requirements.txt",
          "python3 experimental/experiment_fabric/verify_reference.py /tmp/register-fabric/run.json"
        ],
        "paths": [
          "experimental/experiment_fabric/run.mjs",
          "experimental/experiment_fabric/verify_reference.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Gemeinsamer EIG-Planer, lokale Simulationsworker und Replay; ein Kontrollfall, kein reales Gerätenetz oder Nutzenvergleich.",
      "evidence": [
        {
          "path": "experimental/experiment_fabric/examples/control-run.json",
          "summary": "Gespeicherter synthetischer Kontrolllauf."
        },
        {
          "path": "experimental/experiment_fabric/VALIDATION.md",
          "summary": "Dokumentierte Referenz- und Browserprüfung, begrenzter Geltungsbereich."
        }
      ],
      "next_acceptance": "Zwei echte Rechennodes mit persistenten Jobs, Wiederanlauf und Tests für doppelte/verspätete Zustellung; anschliessend gleich budgetierter Nutzenvergleich."
    },
    {
      "id": "neutral-discovery",
      "name": "Neutral Discovery",
      "source": {
        "branch": "research/x6-neutral-discovery-v1",
        "commit": "1a02c482d59a42d554337fb83e0f6d6e6d84b516",
        "path": "experimental/neutral_discovery/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/jsonschema, Node >=22 für die JS-Gegenprüfung.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -m pip install -r experiments/industrial-v1/requirements.txt",
          "python3 experimental/neutral_discovery/discovery.py verify experimental/neutral_discovery/examples/control.json",
          "python3 -m unittest discover -s experimental/neutral_discovery/tests -v"
        ],
        "paths": [
          "experimental/neutral_discovery/discovery.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Drei synthetische Kontrollen und Challenge-Gates in endlichem Modellraum; hohe vorherige Gewichtung verhindert keine Verwerfung.",
      "evidence": [
        {
          "path": "experimental/neutral_discovery/VALIDATION.md",
          "summary": "17 Python-Tests, neun Zweierbatches/36 Ausgangsbelegungen, vollständige endliche Testgrössenprüfung."
        },
        {
          "path": "experimental/neutral_discovery/examples/control.json",
          "summary": "Deterministische publizierte Kontrollen."
        }
      ],
      "next_acceptance": "Persistente Präregistrierung und kampagnenübergreifendes Fehlerbudget; unabhängige Bestätigung unter erweitertem Modellraum."
    },
    {
      "id": "nqk",
      "name": "NQK: Forschungsdossier",
      "source": {
        "branch": "research/nqk",
        "commit": "a8fbc70fae3ecb46bfcd8ceb828ce182e533dd04",
        "path": "research/nqk/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "DOSSIER",
      "prerequisites": "PDF-/Markdown-Leser.",
      "entry": {
        "cwd": ".",
        "commands": [],
        "paths": [],
        "archive": null,
        "expected": "Kein eigenständig ausführbares NQK-Gesamtpaket in diesem Branch. Photonic Link enthält nur ausgewählte numerische Referenzfunktionen."
      },
      "claim": "Eigenständige Roadmap und Forschungsfassung; historische Tests 001–013 unbestätigt. Vier vollständige Code-/Datenarchive fehlen in diesem Zweig.",
      "evidence": [
        {
          "path": "research/nqk/baseline/baseline_summary.json",
          "summary": "Zusammenfassung mit Archividentitäten/Prüfsummen, keine öffentlich vollständige Reproduktion."
        },
        {
          "path": "research/nqk/STATUS.md",
          "summary": "Begrenzte synthetische Befunde und offene Schritte."
        }
      ],
      "next_acceptance": "M1: vollständige Archive kontrolliert übernehmen, erwartete Befunde definieren und aus frischem Checkout unabhängig ausführen."
    },
    {
      "id": "photonic-link",
      "name": "Photonic Link Validation Lab",
      "source": {
        "branch": "research/photonic-link",
        "commit": "7ff72fcd6a16e9b353d1af277307463f757d3470",
        "path": "research/photonic-link/README.md",
        "availability": "BRANCH_ONLY"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12/venv und requirements; GHDL optional für zusätzliche RTL-Prüfung.",
      "entry": {
        "cwd": "research/photonic-link",
        "commands": [
          "python3 -m pip install -r requirements.txt",
          "python3 validate.py --output /tmp/register-plvl-validation.json",
          "python3 experiments.py --output /tmp/register-plvl-experiments.json"
        ],
        "paths": [
          "research/photonic-link/validate.py",
          "research/photonic-link/experiments.py"
        ],
        "archive": null,
        "expected": "Exit 0; nur die unten genannte Softwareaussage."
      },
      "claim": "Gemeinsames synthetisches Verlust-, Polarisationsdrift- und Zeitmodell; affine Uhrkalibrierung mit getrennten Modellpulsen.",
      "evidence": [
        {
          "path": "research/photonic-link/evidence/validation.json",
          "summary": "Gespeicherte Validierung; optionale RTL-Tests separat gekennzeichnet."
        },
        {
          "path": "research/photonic-link/evidence/experiments.json",
          "summary": "Synthetische Szenarien mit Fehlfällen; kein gemessener Photonenlink."
        }
      ],
      "next_acceptance": "Modellparameter/Identifizierbarkeit mit realen Zeitstempeln, Verlust- und Driftmessungen prüfen; Fehlerbudget und unabhängige Kalibrierreferenz."
    },
    {
      "id": "rax-guarded",
      "name": "RAX-G1: deklarativer Runner und Fehlerbudget",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/validation-v1/README.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Python 3.12, Standardbibliothek; neue Ausgabeverzeichnisse. Nur geprüftes deklaratives JSON, kein beliebiger fremder Python-Code.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -S -B tests/rax-guarded/qualify.py --output /tmp/register-rax-g1",
          "python3 -S -B experimental/rax_guarded/runner.py verify /tmp/register-rax-g1/run",
          "python3 -S -B tests/rax-guarded/check_budget.py --qualification /tmp/register-rax-g1/qualification.json"
        ],
        "paths": [
          "experimental/rax_guarded/runner.py",
          "experimental/rax_guarded/worker.py",
          "tests/rax-guarded/qualify.py",
          "tests/rax-guarded/check_budget.py"
        ],
        "archive": null,
        "expected": "PASS mit 33 erwarteten Zurückweisungen; PASS_GUARDED_REPLAY mit 18 Zellen. Keine angenommene unzulässige Fähigkeit oder Ergebnisfälschung erlaubt."
      },
      "claim": "Konkrete M1-Zugriffswege im begrenzten Planerformat geschlossen: nur öffentliche Modell-/Präfixdaten, frische Worker, kein Callback, vollständige Index-/Zellprüfung, phasengebundener Holdout und exakter Replay. Historische B1/M1-Archive und Ergebnisse unverändert. Keine allgemeine Python-Sandbox oder externe Blindheit.",
      "evidence": [
        {
          "path": "docs/validation-v1/evidence/guarded/qualification.json",
          "summary": "Ausgeführte 33 Negativkontrollen, wirksame Datenmutationen und unabhängige exakte Vorhersage 13/24."
        },
        {
          "path": "docs/validation-v1/ERROR_BUDGET.json",
          "summary": "Nulltoleranz im zugelassenen Profil; menschliche Blindheit, allgemeine Sandbox und externe Wiederholung offen."
        }
      ],
      "next_acceptance": "Eine außenstehende Person führt den eingefrorenen Umfang aus und dokumentiert Rolle, Runtime, vollständige Ergebnisse und Abweichungen. Fremder ausführbarer Code benötigt eigene Betriebssystem-Isolationsabnahme."
    },
    {
      "id": "reference-edition",
      "name": "Gemeinsame Referenzedition und Agentenarchiv",
      "source": {
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/reference-qe-v0.1/EXTERNAL_REPRODUCTION.md",
        "availability": "MAIN"
      },
      "kind": "SOFTWARE",
      "prerequisites": "Sauberer Git-Checkout; Python 3.12 und Node 24. Standardbibliothek. Die veröffentlichten Release-Assets sind der kürzere externe Einstieg.",
      "entry": {
        "cwd": ".",
        "commands": [
          "python3 -S -B tools/release/build.py --output /tmp/register-reference-assets",
          "python3 -m zipfile -e /tmp/register-reference-assets/x6-reference-2026.10.15.zip /tmp/register-reference-unpacked",
          "python3 -S -B /tmp/register-reference-unpacked/x6-reference/tools/release/reproduce.py --output /tmp/register-reference-reproduction"
        ],
        "paths": [
          "tools/release/build.py",
          "tools/release/reproduce.py",
          "tools/release/verify_archive.py"
        ],
        "archive": null,
        "expected": "Aus dem entpackten neuen Release: PASS_REFERENCE_REPRODUCTION, zehn eingefrorene Berichte ohne Abweichung, 33 RAX-G1-Zurückweisungen. Anleitung nennt Paket und Runtime."
      },
      "claim": "Erweiterte Referenzedition mit zehn Offline-Berichten, exaktem X6-QE-Modul, begrenztem RAX-G1-Runner und ausgewählten archivierten Original-Agentenbelegen. Alte Referenzfreigabe bleibt unverändert; externe personelle Wiederholung NOT_PERFORMED.",
      "evidence": [
        {
          "path": "docs/reference-qe-v0.1/expected-reference.json",
          "summary": "Festgelegte zehn Berichtshashes; acht bestehende fachliche Berichte unverändert. Neu: QE und ergänzter Fehlerkontrollbericht. Ausführungsabnahme steht in X6-QE/ACCEPTANCE.md."
        },
        {
          "path": "docs/validation-v1/expected-reference.json",
          "summary": "Feste SHA-256-Erwartungen für alle neun Referenzberichte; ursprünglicher Quellenumfang unverändert."
        },
        {
          "path": "docs/agent-archive/2026-10-15/ARCHIVE.json",
          "summary": "Drei Original-ZIPs samt ursprünglichen Ablaufdaten, GitHub-Digests und vollständigen Dateiinventaren."
        },
        {
          "path": "docs/validation-v1/evidence/citation-validation.json",
          "summary": "CFF 1.2.0 gegen offizielles Schema geprüft; keine erfundene DOI oder ORCID."
        },
        {
          "path": "docs/validation-v1/external-report.template.json",
          "summary": "Noch nicht eingereichte Erklärung der ausführenden Person; keine externe Bestätigung vorweggenommen."
        }
      ],
      "next_acceptance": "Tatsächliche unabhängige Wiederholung entgegennehmen, Ergebnisdateien erneut prüfen, Abweichungen und personelle Unabhängigkeit bewerten; EXT-1 erst danach schließen."
    },
    {
      "id": "x6-qe",
      "name": "X6-QE: exakte Graphreferenzen und Grenzen spektraler Unterscheidbarkeit",
      "kind": "SOFTWARE",
      "source": {
        "availability": "MAIN",
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "research/x6_qe/README.md"
      },
      "prerequisites": "Python 3.12, nur Standardbibliothek. Für gemeinsame Suite zusätzlich Node.js 24. Neue Ausgabewege; keine Downloads/Wolfram-Aufrufe.",
      "claim": "Vier Graphen in drei bekannten Referenzen: Stern mit trivialer Ihara-Zeta; primitiver Viererzyklus mit zusammengesetzter Länge; Turmgraph/Shrikhande mit gleichem Spektrum und gleicher globaler Ihara-Zeta, aber K4=8/0. Keine neue Mathematik, Quantengedächtnis- oder Arithmetikbehauptung.",
      "entry": {
        "cwd": ".",
        "archive": null,
        "paths": [
          "research/x6_qe/verify.py",
          "research/x6_qe/inputs.json",
          "research/x6_qe/contract.json"
        ],
        "commands": [
          "python3 -S -B research/x6_qe/verify.py --output /tmp/x6-qe.json",
          "python3 -S -B research/x6_qe/verify.py --verify-report /tmp/x6-qe.json"
        ],
        "expected": "PASS_WITH_SCOPE_LIMITS; 3 Referenzfälle, 4 Graphen, 12 Umbenennungen, 21 zurückgewiesene Fehlerfälle. Fehler: Exit 1."
      },
      "evidence": [
        {
          "path": "research/x6_qe/evidence/local-results.json",
          "summary": "Vollständige exakte Polynome, getrennte Determinantenprüfungen und K4-Zählwege, Quellenhashes und Fehlerkontrollen. Interne Rechnung; keine personell unabhängige Wiederholung."
        }
      ],
      "next_acceptance": "Externe Wiederholung des eingefrorenen Umfangs; vor Spider-/Billiard-Auswertung Originalbild/Erzeugungsregel beschaffen und eigenen Numerikvertrag qualifizieren. Lorentz-n=7 bleibt Priorität."
    },
    {
      "id": "rax-cqg-benchmark",
      "name": "RAX-CQG: endlicher Causal-Set Benchmark 0.2.0",
      "kind": "SOFTWARE",
      "source": {
        "availability": "MAIN",
        "branch": "main",
        "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
        "path": "docs/research/rax/cqg-benchmark-v0.2.0/README.md"
      },
      "prerequisites": "Python 3.12, NumPy 2.3.5, SciPy 1.17.0, Node.js 24; Browser für das eigenständige HTML-Labor. Installation der Python-Abhängigkeiten benötigt Netzwerk oder vorbereitete Wheels.",
      "claim": "Explizite endliche Ordnungen, Intervalle, dimensionslose 4D-BDG-Kombination, Graphspektren und induzierte Ausdünnung. Separates klassisches Gaußfeld und vorausgesetzte Zweiqubit-Uhr. Kein Nachweis für Quantengravitation, KR-Unterdrückung oder einen Kontinuumslimes.",
      "entry": {
        "cwd": "research/rax_cqg/benchmark-v0.2.0",
        "archive": null,
        "paths": [
          "research/rax_cqg/benchmark-v0.2.0/validate.py",
          "research/rax_cqg/benchmark-v0.2.0/requirements.txt",
          "research/rax_cqg/benchmark-v0.2.0/rax_cqg_lab.html"
        ],
        "commands": [
          "python3 -m pip install -r requirements.txt",
          "python3 validate.py"
        ],
        "expected": "PASS_WITH_EXPLICIT_SCOPE_LIMITS; 28 Python-Testmethoden, 28 Python/JavaScript-Vergleichsfälle, 16 UI-Logikprüfungen, 240 wiederholte Pilotläufe und 30 Gruppenauswertungen. Fehler: Exit ungleich 0. Der Befehl schreibt einen neuen lokalen Bericht."
      },
      "evidence": [
        {
          "path": "research/rax_cqg/benchmark-v0.2.0/VALIDATION.json",
          "summary": "Eingefrorener interner Prüflauf mit Quellenhashes und expliziten Grenzen. UI-Logik in Node; keine damalige visuelle Browserprüfung oder personell unabhängige Replikation."
        },
        {
          "path": "docs/research/rax/cqg-benchmark-v0.2.0/PUBLICATION.json",
          "summary": "Freigegebenes ZIP, 28 bytegleiche Paketdateien und identische Browserkopie; zusätzliche CI getrennt vom ursprünglichen Bericht."
        }
      ],
      "next_acceptance": "Unabhängige Replikation und fachliche Prüfung. Vor Ensemblevergleichen Beobachtungsgrösse, Dichtekontrollen, Stichprobengrösse und Fehlerbudget festlegen; keine neue physikalische Schlussfolgerung aus dem Pilot allein."
    }
  ],
  "branches": [
    {
      "name": "docs/wolfram-causal-order-v0-1",
      "commit": "3f8fb920ddefd9ede13d0855a14f4bfb1c7b1239",
      "behind_main": 53,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "docs/wolfram-zero-failures-v0-1",
      "commit": "a40a513a9633cbe6aad4ce66132331d9264c0bab",
      "behind_main": 55,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "feat/signal-validation-lab",
      "commit": "33032c23dd0ef3e035d38c5b9cf7c3db6faf65f0",
      "behind_main": 90,
      "ahead_of_main": 1,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "feature/sagnac-integration-preview-0.1",
      "commit": "7aaa8e38acc60be556614dd4e4c0ac1697b45815",
      "behind_main": 113,
      "ahead_of_main": 1,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "fix/evidence-audit-20261012",
      "commit": "680fe6a43e664164a26dcf1b8cfb6bf52a1b3b56",
      "behind_main": 91,
      "ahead_of_main": 1,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "fix/safe-x6-publish",
      "commit": "f802252689284de402a3a322a64a69a07098622f",
      "behind_main": 174,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "fix/signal-lab-evidence-archive",
      "commit": "d43238b4e110ea7338f225334f23c6cde179626e",
      "behind_main": 89,
      "ahead_of_main": 1,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "main",
      "commit": "a1f22f6c59f3c5259d12cfb6c0ca2e8b0886f33f",
      "behind_main": 0,
      "ahead_of_main": 0,
      "registered_modules": [
        "integration",
        "offline-reference",
        "astrolabium",
        "signal-lab",
        "edge-reference",
        "evidence-calibration",
        "phase-contract",
        "industrial-programme",
        "sagnac-import",
        "photonic-design",
        "acvm-concept",
        "acvm-c1",
        "acvm-optical",
        "sagnac-components",
        "acvm-records",
        "acvm-fixture",
        "rax-programme",
        "rax-u1",
        "rax-b1-m1",
        "rax-w1",
        "wolfram-polarity",
        "wolfram-dependence",
        "wolfram-causal",
        "data-agents",
        "lorentz-agent",
        "lorentz-n6-residuals",
        "industrial-v1",
        "industrial-pilot",
        "rax-guarded",
        "reference-edition",
        "x6-qe",
        "rax-cqg-benchmark",
        "lorentz-n7-complete"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "publication/acvm-c1-v0.1",
      "commit": "b3def446889b34cc25afeb1aad14930199636c22",
      "behind_main": 69,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "publication/acvm-optical-v0.2",
      "commit": "94f08ef30a60cab4a6534aef9b0d05e1d5b2ff0b",
      "behind_main": 62,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "publication/sagnac-components-v0.1-20261015",
      "commit": "7f0f8b893e5fb91708cb75c1460f880adaf2e519",
      "behind_main": 59,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "publication/wolfram-polarity-v0.1-20261015",
      "commit": "8b6785d556895bcb19856061a681720c3f3ff228",
      "behind_main": 57,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "publish/photonic-two-qubit-design",
      "commit": "8f0cdaad0cd8823ceb2a3db6f2d9a5815d6134ba",
      "behind_main": 112,
      "ahead_of_main": 1,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/lorentz-v1-workpackages",
      "commit": "f5116b9970a6b7dc788c18623a8386b4cde33ad4",
      "behind_main": 80,
      "ahead_of_main": 1,
      "registered_modules": [
        "lorentz-n6"
      ],
      "role": "MODULE_SOURCE",
      "note": "Vollständiger historischer n=6-Quellzweig. Der V1-Bewertungsadapter ist inzwischen bytegleich in main enthalten; industrielle AP1-Bestätigung bleibt NOT_READY."
    },
    {
      "name": "research/nqk",
      "commit": "a8fbc70fae3ecb46bfcd8ceb828ce182e533dd04",
      "behind_main": 88,
      "ahead_of_main": 2,
      "registered_modules": [
        "nqk"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/photonic-link",
      "commit": "7ff72fcd6a16e9b353d1af277307463f757d3470",
      "behind_main": 87,
      "ahead_of_main": 1,
      "registered_modules": [
        "photonic-link"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/rax-w1-publication",
      "commit": "1cd7e4bb71672233058e061d18fae6b249d948ad",
      "behind_main": 73,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/x6-edge-reference",
      "commit": "7ac131bcfbabd658b38fb1c97686325ac47fa081",
      "behind_main": 80,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/x6-experiment-fabric-v1",
      "commit": "a34c59f2b0e2d30c73936363040669941aa8ce09",
      "behind_main": 80,
      "ahead_of_main": 3,
      "registered_modules": [
        "experiment-fabric"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/x6-fingerprint-v1",
      "commit": "f22030f2dae0aa670cdbc450c5e881ce250b36b8",
      "behind_main": 80,
      "ahead_of_main": 2,
      "registered_modules": [
        "fingerprint"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/x6-integration-v0.1",
      "commit": "87ca9ad6b12fd87869b393658f2ed6848f876c12",
      "behind_main": 75,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/x6-neutral-discovery-v1",
      "commit": "1a02c482d59a42d554337fb83e0f6d6e6d84b516",
      "behind_main": 80,
      "ahead_of_main": 4,
      "registered_modules": [
        "neutral-discovery"
      ],
      "role": "MODULE_SOURCE",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "x6-bounded-math-agent",
      "commit": "122ba4eb5ac1e7496bf3426b0f3e908d08aa74ff",
      "behind_main": 114,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "x6-source-preview",
      "commit": "24023fd88abd676336098950ea3a08e93eeebfd8",
      "behind_main": 122,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Ancestry allein entscheidet bei squash-/cherry-pick-Übernahmen nicht über die Verfügbarkeit eines Moduls."
    },
    {
      "name": "research/lorentz-n6-residuals",
      "commit": "5eaffee5a594e2c2c5b86db28a1406dc29168087",
      "behind_main": 44,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Geprüfter Implementierungsstand vor Evidenz-/Registerfortschreibung; Modul in main registriert. Branchinventar ist ein datierter Snapshot."
    },
    {
      "name": "hardware/c1-e01-readiness",
      "commit": "d99b5f8d6d5cc1294397a7072d136d6209381d57",
      "behind_main": 39,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Veröffentlichter C1-Zielbuild mit E01-Vorbereitung; acvm-c1 in main registriert. Physische Abnahme NOT_PERFORMED. Datierter Implementierungssnapshot vor Registerfortschreibung."
    },
    {
      "name": "research/industrial-data-pilot",
      "commit": "e14eaea1f55497d397f297d9310e9c6bec1ee6d9",
      "behind_main": 33,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Veröffentlichter Daten-/Evidenzstand vor Registerfortschreibung. Pilot und unveränderter V1-Adapter sind in main registriert. Keine industrielle Leistungsfreigabe."
    },
    {
      "name": "research/validation-reference-release",
      "commit": "2268fb97f90cfc09490d0988e4c24e1556c569b5",
      "behind_main": 30,
      "ahead_of_main": 0,
      "registered_modules": [],
      "role": "HISTORICAL_BRANCH",
      "note": "Implementierungs- und Übergabesnapshot vor Registerfortschreibung; neue Module werden in main geführt."
    },
    {
      "name": "research/x6-qe-v0.1",
      "commit": "d81774785916be76e8642ac9909e61ac5f3743e6",
      "ahead_of_main": 0,
      "behind_main": 25,
      "registered_modules": []
    }
  ],
  "observed_agent_runs": [
    {
      "name": "X6 Data Agent",
      "id": 38694613614,
      "commit": "90b74509f2b65de08a77de8a7057204834951fc2",
      "conclusion": "success",
      "evidence_scope": "Original-NOAA-Artefakt dauerhaft gesichert, Rohdaten und vollständiges Inventar geprüft; keine neue physische Validierung."
    },
    {
      "name": "X6 Source Agents",
      "id": 38697674497,
      "commit": "90b74509f2b65de08a77de8a7057204834951fc2",
      "conclusion": "success",
      "evidence_scope": "Atlas-Artefakt dieses Laufs dauerhaft gesichert und vollständig inventarisiert; NASA/QuTech nicht Teil dieser Archivauswahl."
    },
    {
      "name": "X6 Bounded Math Agent",
      "id": 38740481854,
      "commit": "d94f99ca6b49f07e3c7c8d3a79b696fa9bca4d6c",
      "conclusion": "success",
      "evidence_scope": "Originalartefakt dauerhaft gesichert, GitHub-Digest und vollständiges Inventar geprüft; keine neue wissenschaftliche Auswertung."
    }
  ]
}
