TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md
Original file SHA-256: 2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd
Inclusive original lines: 129-170
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.

000129 | ## 6. Daraus folgt ein genauer Auswahltest für den gemeinsamen Lift
000130 | 
000131 | Die entscheidende zusätzliche Voraussetzung wird ausdrücklich genannt: **Die Determinantenrichtung soll die feste markierte Familienverbindung parallel erhalten.** Mathematisch muss ihr Generator `beta` dann mit deren Holonomien und Markierungsoperatoren kommutieren. Das ist kein automatisch geltendes P1-Axiom; insbesondere dürfen die verschiedenen nichtkommutierenden TFPT-Clocks nicht stillschweigend zu einer gemeinsamen kommutierenden Zeit gemacht werden.
000132 | 
000133 | Für eine irreduzible Rang-3-Familienholonomie ist ihr Kommutant skalar. Nach Einbettung `3+1` in den SU(4)-Vierer folgt daher
000134 | \[
000135 | \beta=\operatorname{diag}(b,b,b,-3b).
000136 | \]
000137 | Der Vorzeichen kompensierende globale Lift verlangt halbzahlige Gewichte. Deshalb
000138 | \[
000139 | b=r+\tfrac12,\qquad
000140 | \boxed{m=(r,r,r,-2-3r),\quad r\in\mathbb Z.}
000141 | \tag{3}
000142 | Die Familiennorm ist `12(r+1/2)²`. Ihr Minimum beträgt drei, erreicht genau bei `r=0,-1`. Mit dem D5-Anteil ergibt sich die gesamte E8-Kocharakternorm vier. Die beiden kleinsten markierten Möglichkeiten sind
000143 | \[
000144 | m=(0,0,0,-2),\qquad m=(-1,-1,-1,1).
000145 | \]
000146 | Sie sind bei festgehaltener Triplet-/Singulettmarkierung nicht bloß durch Familienpermutation identisch. Ihre Auswahl verlangt weitere ursprüngliche Daten.
000147 | 
000148 | Der bisherige unbeschränkte Norm-2-Wurzellift besitzt dagegen eine `2+2`-Eigenwertaufteilung. Er kann unter dieser Parallelitätsvoraussetzung keine irreduzible dreidimensionale Familienwirkung erhalten. Das folgt bereits aus der Dimension seiner Eigenräume; es ist kein numerischer Befund.
000149 | 
000150 | Für das konsistente abelsche Paket A ist ein solcher Wurzellift hingegen zulässig:
000151 | \[
000152 | \beta_A=\operatorname{diag}(\tfrac12,-\tfrac12,-\tfrac12,\tfrac12)
000153 | \]
000154 | kommutiert mit allen eingebetteten Monodromien sowie `R_A,S_A`. Seine Familiennorm ist eins. Die exakte Rechnung bestätigt damit den Zusammenhang: **Welche Familienwirkung die Quelle tatsächlich trägt, verändert die zulässige minimale gemeinsame Kopplung.** Ein Normminimum ohne diese gemeinsame Strukturprüfung kann den falschen Kandidaten auswählen.
000155 | 
000156 | Für den irreduziblen Zweig muss zur Anwendung von (3) nicht zunächst der gesamte kontinuierliche Familienpunkt berechnet werden: Irreduzibilität plus nachgewiesene Parallelität reicht. Das ist die konstruktive Verkürzung des nächsten Herkunftstests.
000157 | 
000158 | ## 7. Abgleich mit dem aktuellen TFPT-Stand
000159 | 
000160 | Die aktuell verwendete `tfpt_2_standard_model.tex:2177–2202,3969–3985` sagt bereits, dass D4-Symmetrie, lokale Klasse und Produkt allein die Monodromie nicht fixieren. Der aktuelle Ledger enthält entsprechend `FLAV.UFSTAR.01` sowie die aktiven Einträge `FLAV.RIGID.01` und `FLAV.RIGID.02`.
000161 | 
000162 | Die letzteren beiden halten gerade fest: Die algebraischen Flavorverhältnisse sind auf den diskreten Selektordaten konstant und benötigen keine Eindeutigkeit des kontinuierlichen Monodromiepunktes. Der vollständige `U_point` bleibt ein separater Anker. Diese Trennung wird hier beibehalten. Weder die Flavorverhältnisse noch die vorhandenen Integer-/Plücker-Ausgaben werden durch die archivierte Fehlformel widerlegt.
000163 | 
000164 | Neu in dieser Fortsetzung sind die ausgeschriebene Verbindungsfortsetzung, der direkte Audit der verwendeten v4.5-Formeln, die exakten Symmetriezeugen und ihr Zusammenhang mit der gekoppelten Lift-Auswahl. Die allgemeine Monodromiemehrdeutigkeit wird nicht als neu ausgegeben.
000165 | 
000166 | ## 8. Was noch zur tatsächlichen Quelle fehlt
000167 | 
000168 | Die ursprünglichen Operatoren müssen die markierte Zuordnung zum geometrischen Cliffordmodul, zur Trägerverbindung und zur Familienwirkung liefern. Erst danach kann geprüft werden, ob die Determinantenrichtung diese Familienwirkung parallel erhält oder sie durch einen begründeten gemeinsamen Transport verändert. Danach folgen der tatsächliche Randoperator, seine reduzierte Nullität, der Zustand und dieselbe physische Zeit.
000169 | 
000170 | Die beiden Matrixpakete werden nicht anstelle dieses Herkunftsschritts als neue Weltmodelle eingesetzt. Der Test ist mit dem Eindeutigkeitsgegenbeispiel und dem Kommutantensatz abgeschlossen. Die noch offene Angabe ist nun besonders konkret: **die aus dem originalen Collaroperator induzierte Wirkung der Determinantenrichtung auf dem originalen Familienlokalsystem.** Sie muss die zusätzliche Parallelitätsannahme bestätigen oder durch eine explizite gemeinsame Kovarianz ersetzen.