D1 Erstimplementierung – Bericht vor Ausführung

Präregistrierte Architektur unverändert implementiert: vollständiger öffentlicher Originalinput innerhalb D1, formatbezogener Parser/Interpreter, lokale explizite Relationen, bytegleicher D0-Kern, überprüfte Antwortprojektion. Nativer Regressionseingang liefert unverändert den bisherigen D0-Vertrag.

D1 enthält keine Fall-IDs, erwarteten Labels, konkrete Lösungsstrukturen oder privaten Daten. Case-ID wird nur zurückgegeben. Atom-/Faktornamen folgen öffentlichen Positionen. Tree/Postfix verwenden deterministische lokale Belegungsauswertung; Relation wird scope-/spaltentreu übernommen. Claim wird definiert, nicht als Evidenz behauptet. Keine Evidenzselektion, gemeinsame Vorlösung oder epistemische Entscheidung im Intake.

Der getrennte Auditor importiert weder D1 noch D0. Er nutzt die bytegleich archivierte bitparallele Formalreferenz des unabhängigen Testautors, vollständige öffentliche Quellen und die Development-Zertifikate/privaten Development-Beweise nur auf Auditseite. Er rekonstruiert den erwarteten internen Vertrag unabhängig, prüft die ursprüngliche Ground Truth und trennt Interpretation, interne Evidenz und epistemische Fehler. Die Offline-Nachprüfung führt keine neuen Diagnosen aus.

Controller: exakt registrierte Reihenfolge; ein frischer isolierter Pythonprozess je öffentlichem Input, temporäres cwd, leere Environment und ausschließlich D1/D0-Codekopien. -B -I -S; standard library only. Der Child erhält keine Audit-/Referenz-/Ground-Truth-Datei. 5-Sekunden-Limit umfasst Interpretation und Kern. Ausgabe-/Strukturlimits bleiben unverändert. Es wird keine neue Sandbox oder OS-Dateisystem-Sperre behauptet; Runtime-/Stdlib-Lesezugriffe sind normale Infrastruktur.

Vor Ausführung wurden ausschließlich AST-/Syntaxprüfung und Quellreview durchgeführt, keine Development-, Regression- oder Smoke-Diagnose. Alle späteren Daten, Rohoutputs und Fehler werden exklusiv neu angelegt. Kein Retry, keine Reparatur oder Codeänderung nach der Einfrierung. Kritischer epistemischer Fehler bei korrekter Interpretation stoppt den Ablauf; kein Übergang in Runde 2.

Abhängigkeiten: vorhandene Python-Standardbibliothek. D0-Quelle exakt SHA-256 25483906b0b10803617044f108dd9852d6dc97ed13973a6f843064e618362c0c. Kein Paket, Netzwerkzugriff, SEARCH oder Memory. Diese Implementation gehört allein Runde 1; E006 bleibt versiegelt.
