TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/source-joint-spin-family-lift-20260922/PROOF.md
Original file SHA-256: d3ae02543e90d840879808554816f923cc36cab52268a032d1ce29c2569f5bd2
Inclusive original lines: 80-99
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.

000080 | Die Ladungsprüfung betrifft die lokale algebraische SM-Wirkung. Sie behauptet keine globale Reduktion des ungeraden E-Bündels auf ein SU(5)- oder reines SM-Hauptbündel über der Normal-Kugel; dessen Determinantenlinie ist gerade nicht trivial. Das physische Eichbündel und die Bedeutung dieser Normalgeometrie bleiben eigens abzubilden.
000081 | 
000082 | Auch die `4` bezeichnet hier den A₃-/SU(4)-Viererträger der E₈-Verklebung. Sie beweist keine vier physikalischen Familien. Das Original unterscheidet diese Verklebung von der SU(3)-Flavorwirkung auf dem dreidimensionalen Homologieraum (`origin_theory.tex:1210–1218`). Die physische Familienzuordnung wird durch (1) noch nicht erledigt.
000083 | 
000084 | Da \(c_1(\Lambda^{\rm even}E)=8c_1(E)\), ist
000085 | \[
000086 | c_1(W_m)=4\cdot8c_1(E)+16\left(\sum_jm_j\right)c_1(E)=0.
000087 | \]
000088 | 
000089 | ## 4. Der kleinste Lift und sein genauer E₈-Sektor
000090 | 
000091 | Die ursprüngliche bedingte Clutching-Klasse \((c_1(E_3),c_1(E_2))=(0,1)\) bestimmt auf \(S^2\) bereits die glatte Bündelklasse. Wähle zur Rechnung den Repräsentanten
000092 | \[
000093 | E=\mathbb C^3\oplus(L\oplus\mathbb C),\qquad c_1(L)=1.
000094 | \]
000095 | Es wird keine zusätzliche physische Wahl aus der konkreten Diagonalisierung abgeleitet. Der Determinantenloop hat Grad eins. Sein gemeinsamer Lift endet auf der Überdeckung bei \((-1,-I_4)\); als K-Schleife besitzt er die Klasse
000096 | \[
000097 | 2\in\pi_1(K)=\mathbb Z_4.
000098 | \]
000099 | Er ist damit nicht automatisch der Erzeuger der ursprünglichen viergradigen Clock. Einheitswindung, Liftklasse und Clockwirkung bleiben typverschiedene Daten.