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-87
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 | \]