QIK-VRT: Vollständige maschinenprüfbare Formalisierung des formal entscheidbaren Kerns

Version 1.0.0 der maschinenprüfbaren Rekonstruktion des formal entscheidbaren Kerns der 62-seitigen Arbeit Mandelbrot, Anschlussordnung, Physik und Retrokausalität. Das Paket enthält Lean-4-Beweise, eine 37 Aussagen umfassende, erkenntnistheoretisch typisierte Claim-Matrix, unabhängige TypeScript/Zod- und Python-Prüfer sowie Gate 20 mit 18 Integritäts-, Beweis-, Einheiten-, Retrokausalitäts- und Übertreibungskontrollen. Kernel-geprüft werden unter anderem Komplementpartitionen, Iterations- und Gate-Eigenschaften, die Nichtimplikation "beliebig fein quantisierbar ⇒ ontisch diskret", SI-Dimensionshomogenität sowie ein No-Backward-Channel-Theorem für die ausdrücklich definierte autonome Vorwärtsrekursion. Nicht als bewiesen klassifiziert werden eine physische Mandelbrot–Raumzeit-Identität, ontische Raumzeitquantisierung, experimentelle Retrokausalität, ontologische Deutungen oder normative Folgerungen. Diese Geltungsgrenze ist Bestandteil der maschinenprüfbaren Formalisierung. Verifikation: Lean-Kernel PASS ohne sorry, admit oder axiom; TypeScript/Zod Gate 20: 18/18; Python Gate 20: 18/18; pytest: 5/5; drei absichtliche Überhöhungen: 3/3 blockiert. Hauptarchiv SHA-256: d1a7ebc3abbfa0bb107f82ac24d4c740940944ee7f381961e51d7f617c9e46a5. Die wissenschaftliche Ausgangsfassung ist unter DOI 10.5281/zenodo.21482023 veröffentlicht.