TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/SOURCE-SELECTION.md
Original file SHA-256: ab3bbe0344406a83bf66e22664183a60281fb744fc5057c394624c74ba6e8256
Inclusive original lines: 113-174
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.

000113 | ## 4. Der tatsächliche Moment-Hamiltonoperator trifft diese Auswahl nicht
000114 | 
000115 | Die Originaldokumentation gibt 40 M4=Pi5+Psym4 und
000116 | 
000117 |     H_nat=I-(Pi5+Psym4)/2=I-20M4.
000118 | 
000119 | Die tatsächlichen Codevektoren liegen im Bild beider Projektoren. Daher
000120 | 
000121 |     H_nat V=0,        exp(-it H_nat)V=V für alle reellen t.
000122 | 
000123 | Alle obigen Markierungen liegen in diesem selben fünfdimensionalen
000124 | Grundraum und haben dieselbe Energie null. Das ist keine neue Familie
000125 | ausgewählter Hamiltonians, sondern ein Vergleich am vorhandenen Parent.
000126 | Auf E+ wirken zusätzlich sigma und tau jeweils als I2. Deshalb wirkt die
000127 | von H_nat|Code, sigma und tau erzeugte Algebra auf E+ nur skalar; sie kann
000128 | c_pol und seine orthogonale Richtung nicht mit den benötigten verschiedenen
000129 | Viertelphasen versehen. Auch die zusätzliche Forderung minimaler Energie
000130 | dieses Parents hebt den Faserfreiheitsgrad nicht auf.
000131 | 
000132 | Dies schließt keine andere hergeleitete Wechselwirkung, zeitabhängige
000133 | kombinierte Antriebe mit zeitweiligem Codeverlust oder allgemeinen kollektiven
000134 | Prozess aus. Der physische Einsatz des Moment-Parents selbst wäre ebenfalls
000135 | eine zusätzliche Identifikation, keine Folgerung allein aus seiner Existenz.
000136 | 
000137 | ## 5. Vorhandenen geometrischen Transport wiederverwenden
000138 | 
000139 | Der ursprüngliche Vertrag `compiler-quartic-holonomy-20260919/PROOF.txt`
000140 | beweist bereits V* dGamma4(X)V=tr(X)I5 und für gemeinsame lokale Wege
000141 | U(t)^⊗4 die Verbindung A=tr(U* dU)I5. Diese Rechnung wird nicht neu als
000142 | Entdeckung ausgegeben. Der inzwischen vollständig bestimmte lokale
000143 | Stabilisator K=U(1)G31 schließt nun die globale Holonomieklasse ab.
000144 | 
000145 | Für allgemeine Produktwege T(t)=U1(t)⊗...⊗U4(t) liefert die tatsächliche
000146 | Einregister-Erasure-Korrektur an jeder Stelle j sogar
000147 | 
000148 |     V* X_j V=(tr X)/4 I5,
000149 |     A=(1/4) sum_j tr(U_j* dU_j) I5.
000150 | 
000151 | Die Verbindung ist projektiv flach. Endet ein solcher Weg wieder beim
000152 | ursprünglichen Code, ist T(1) ein Produkt-Codeerhalter und wirkt nach dem
000153 | vorigen vollständigen Stabilisatorsatz logisch als Phase×rho5(g).
000154 | Paralleltransport fügt nur eine skalare Phase hinzu. Die Holonomie liegt
000155 | deshalb projektiv in S6; der tatsächliche R5 liegt außerhalb dieser Klasse.
000156 | Für gemeinsame U(t) liefert der alte Vertrag sogar die schärfere Form
000157 | det(g)^(-1)rho5(g).
000158 | 
000159 | Dies klassifiziert geometrischen Paralleltransport genau dieser lokalen
000160 | Produkt-Codewege mit der vorhandenen Verbindung. Es ist kein allgemeiner
000161 | Ausschluss kollektiver Codebewegungen, zusätzlicher Dynamik im Unterraum,
000162 | Ancillas oder physischer adiabatischer Protokolle mit anderen Hamiltonians.
000163 | 
000164 | ## 6. Entscheidende nächste Originalquellenfrage
000165 | 
000166 | Die Auswahl kann nicht allein aus dem richtigen Viertelquadrat, dem
000167 | vorhandenen Moment-Parent oder dieser lokalen geometrischen Holonomie
000168 | kommen. Benötigt wird die tatsächliche Originalantwort, die im selben
000169 | E+-Zweiraum eine Orientierung bzw. kohärente Wirkung unterscheidet.
000170 | Eine konkret zu prüfende Herkunftsbehauptung wäre, dass die ursprüngliche
000171 | Wirkungsvariation die oben charakterisierte Polar-Abstandsregel liefert.
000172 | Diese Behauptung ist hier nicht eingesetzt oder bewiesen. Eine passende
000173 | neue Energie, ein Steuerfeld oder eine frei erlaubte Gruppenalgebra würden
000174 | die gesuchte Auswahl voraussetzen.