TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/compiler-correlated-event-clock-20260919/synthesis_20261102/README.md
Original file SHA-256: 8f3d4c775dc0c458ab7f08968e7e3c9fdc1abc91f2a4dd06d77a38987a9b5f0d
Inclusive original lines: 1-17
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | # Originaler R064 Kanal: Spektrum und kontinuierlicher Parent
000002 | 
000003 | Ausführen im TFPT Repository:
000004 | 
000005 | ```
000006 | python3 experiments/theory-contracts/compiler-correlated-event-clock-20260919/synthesis_20261102/check_source_parent.py
000007 | ```
000008 | 
000009 | Der Check lädt unverändert den vorhandenen `source_channel.py` Builder, erzeugt die 60 originalen Gaussian Code Strahlen und die zugehörigen unitären Involutionen U auf Sym²(C⁴) und verwendet deren originalen Basiswechsel. Er betrifft den unraffinierten Kanal Φ(X)=Σ U X U*/60. Dieser ist nicht der in R088 untersuchte fünfgliedrige Hodge Kanal auf Λ²(C⁵); gleiche Trägerdimension ersetzt kein Wörterbuch.
000010 | 
000011 | Für die 100×60 Matrix M der vektorisierten U ist G=M* M reell ganzzahlig. Die int64 Berechnung prüft mit expliziter Überlaufschranke exakt `G(G−8)(G−16)(G−96)=0` und die ersten drei Spuren. Wegen einfacher Polynomwurzeln bestimmen diese die Multiplizitäten 5,45,9,1. Das normierte Choiobjekt MM*/600 hat folglich 0⁴⁵, (1/75)⁴⁵, (2/75)⁹ und (4/25)¹. Der normierte Identitätsvektor ist wegen ΣU=24I Eigenvektor zum größten Eigenwert. Für jeden unitären Kanal ergibt die Projektion auf dessen reinen Choivektor den halben Diamantabstand mindestens 1−4/25; die Zerlegung Φ=(4/25)Id+(21/25)Ψ liefert die passende obere Schranke. Der kleinste Abstand ist somit exakt 21/25.
000012 | 
000013 | Für die 3.600 Produkte UiUj ist der Rang mindestens 100 über C: Nach Abbildung i→10 in F_101 ergibt eine explizite modulare Zeilenreduktion Rang 100. Zusammen mit dem obigen Rang 55 des ursprünglichen Choioperators bestätigt dies den Rangwechsel bei zwei Schritten. Die Konsequenz für zeitlich homogene Lindbladhalbgruppen benötigt zusätzlich den entsprechenden Halbgruppensatz; der Test selbst beweist den Rangwechsel.
000014 | 
000015 | Ein gesonderter expliziter Parent nimmt einen zusätzlichen 60 dimensionalen Recordraum und |+>=Σz|z>/√60. Für W=Σz Uz⊗|z><z| gilt W*=W und W²=I; H=π(I−W)/(2τ) erzeugt zum Zeitpunkt τ genau W. Der Check verifiziert die Recordoperatoren, ihre Spurtreue, den Zwischenzeitkanal und das Originalinstrument bei τ. Dieselben Records erneut gekoppelt ergeben den Ausgangszustand zurück, frische Records dagegen Φ². Für die im Check benutzte reine Eingabe beträgt der Frobeniusabstand 0,843274042712. Andere Eingaben können andere Werte liefern.
000016 | 
000017 | Die positiven Hamiltonianformeln sind algebraisch; der Quellencode verifiziert die angegebenen Endpunkt und Zwischenzeitformeln numerisch. Recordpräparation, Zellvorrat, Ereigniszeitskala und Zugehörigkeit zur ursprünglichen TFPT Quelle werden nicht hergeleitet. Ein kontinuierlicher Parent zeigt Existenz, keine physische Auswahl. Die Bibliotheksverweise der Nutzervorlage werden hier nicht als lokal ausgeführtes Notebook bezeichnet.