TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/B1-WHOLE-SOURCE-REDUCTION.txt Original file SHA-256: 4e69eb782b67a27e820fdee1f57a6755d4e8674b87c1fcd6242d7e53790e9cb9 Inclusive original lines: 1-183 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 | B1: Gemeinsame Quelle, reduzierende Träger und tatsächliche Auswahl 000002 | 30. Oktober 2026 000003 | Contract: B1-WHOLE-SOURCE-REDUCTION-20261030 000004 | Plan: docs/research/fundamental-plan/PLAN.md, B1, C1, C2, D2 000005 | 000006 | 1. Verlangtes Ergebnis und vorhandene Grundlage 000007 | 000008 | Gesucht bleibt die ursprünglich begründete physische Trägerabbildung im 000009 | gedruckten Aufruf C_F=P_F C_Sigma P_F. Die bekannte Faserkarte E und der 000010 | verlustfreie ungerade Leser sind vorhandene bedingte Resultate. Ihre erneute 000011 | Inversion würde keine Herkunft herleiten. Dieser Anschluss ergänzt einen 000012 | entscheidenden Test für Kandidaten, eine genaue Klassifikation unter klarer 000013 | Algebravoraussetzung und einen Gegenfall am tatsächlichen 96er Konstruktor. 000014 | 000015 | Originalquellen: 000016 | documents/tfpt_2_standard_model/sections/010-section-the-explicit-mass-gap-closes-dynamics-and-cluste.tex:273-318 000017 | aps_source_review/CURRENT-CARRIER-ODD-READER-WHOLE-SOURCE.txt 000018 | aps_source_review/LOSSLESS-CARRIER-ODD-READER-DICTIONARY-REVIEW.txt 000019 | verification/v252_full_finite_triple.py:68-170 000020 | 000021 | 2. Vollständige Reduktionsklasse unter der vollen graduierten Koeffizientenklasse 000022 | 000023 | Voraussetzungen: F=F_+ direct_sum F_-, beide Summanden nichtnull, dimF=n. 000024 | gamma=P_+-P_-. A durchläuft ALLE selbstadjungierten geraden Matrizen, 000025 | Phi ALLE selbstadjungierten ungeraden Matrizen. B=Z tensor A-S tensor Phi. 000026 | Die Variationen von A und Phi sind unabhängig. Dies ist stärker als die 000027 | konkrete Standardmodellalgebra. Keine Aussage, diese volle Klasse sei schon 000028 | aus TFPT ursprünglich hergeleitet. 000029 | 000030 | Satz: Der gemeinsame komplexe Kommutant ist span{I,Gamma}, Gamma=Z tensor gamma. 000031 | Die einzigen nichttrivialen gemeinsamen orthogonalen Projektoren sind 000032 | Pi_+=(I+Gamma)/2 und Pi_-=(I-Gamma)/2. Beide haben Rang n, auch wenn 000033 | dimF_+ und dimF_- verschieden sind. 000034 | 000035 | Beweis: A=I erzwingt für einen Kommutanten X die Normalblockform diag(X0,X1). 000036 | Kommutation mit allen geraden A erzwingt X0=a P_+ + b P_-, 000037 | X1=c P_+ + d P_-. Kommutation mit allen ungeraden Phi liefert a=d und b=c. 000038 | Damit X=a Pi_+ + b Pi_-. Orthogonalität und Idempotenz verlangen a,b in{0,1}. 000039 | 000040 | Eine feste Bildprojektion bestimmt die Isometrie nicht: alle Karten auf 000041 | Pi_+ haben die Form E0 U mit U in U(n). Bei festem graduierten Wörterbuch 000042 | bleibt die gerade Untergruppe U(F_+) x U(F_-); weitere ursprüngliche 000043 | Intertwinerbedingungen können sie einschränken. Die Familie 000044 | E_theta=[P_+;exp(i theta) P_-] hat für ALLE theta dasselbe Bild und 000045 | h_theta=E_theta* B E_theta=A gamma-cos(theta) Phi-i sin(theta) gamma Phi. 000046 | Ein theta=pi/2 aus einer gewünschten Koordinatenform abzulesen, leitet 000047 | keine physische Clock oder ursprüngliche Quellenwahl her. 000048 | 000049 | 3. Intrinsischer ungerader Leser und Bedeutung der Kartenfreiheit 000050 | 000051 | Auf Ran Pi_+ ist die innere Graduierung gamma_+=(Z tensor I)|RanPi_+. 000052 | Der ungerade Anteil von B ist dort -(S tensor Phi)|RanPi_+. 000053 | Folglich gilt der vorhandene Leser ohne Wahl einer Karte: 000054 | Pi_odd logodds(C)=-2ell (S tensor Phi)|RanPi_+. 000055 | Hier C ist die zweite Face von G, eingeschränkt auf den B-reduzierenden 000056 | Gamma-Sektor; sein logarithmischer Generator hat die vorhandene H1-Domain. 000057 | Der Kreis bleibt erhalten. Rang n der Faser ist kein endlicher Hilbertraumrang. 000058 | Die ganze Quelle enthält zusätzlich den geraden Anteil A. Der ungerade 000059 | Leser allein erhält diesen Anteil nicht. Der physische Vergleich muss alle 000060 | ursprünglichen Felder und die feste Bedeutung ihrer Ladungen mittransportieren. 000061 | 000062 | 4. Einzelrandgleichheit reicht selbst bei allen Skalen nicht 000063 | 000064 | [OMITTED: non-scientific conversation or execution metadata] 000065 | [OMITTED: non-scientific conversation or execution metadata] 000066 | [OMITTED: non-scientific conversation or execution metadata] 000067 | [OMITTED: non-scientific conversation or execution metadata] 000068 | [OMITTED: non-scientific conversation or execution metadata] 000069 | [OMITTED: non-scientific conversation or execution metadata] 000070 | [OMITTED: non-scientific conversation or execution metadata] 000071 | 000072 | 5. Scharfer Test mit der ganzen gegebenen Zweirandprojektion 000073 | 000074 | Endliche Voraussetzungen: H selbstadjungiert, ell>0, V Isometrie, 000075 | P=VV*, W=diag(V,V), Qw=I-WW*. 000076 | G(H)=[[I-f_ell(H),X_ell(H)],[X_ell(H),f_ell(H)]], 000077 | X_ell(H)=(2cosh(ell H))^-1. Diese ganze Matrix ist ein Projektor. 000078 | 000079 | Satz: Folgende Aussagen sind äquivalent: 000080 | (i) W*G(H)W=G(V*HV), mit allen vier Blöcken bei EINEM ell>0; 000081 | (ii) K=W*G(H)W ist ein Projektor; 000082 | (iii) P reduziert H. 000083 | 000084 | Beweis: (i) impliziert (ii). Aus G²=G und W*W=I folgt 000085 | K-K²=W*G Qw G W=(Qw G W)*(Qw G W). 000086 | Verschwindet der Defekt, ist Qw G W=0. Selbstadjungiertheit liefert 000087 | [WW*,G]=0, insbesondere [P,f_ell(H)]=0. Die injektive monotone Funktion 000088 | f_ell hat eine Borel-Inverse; somit reduziert P auch H. Das liefert (iii). 000089 | Umgekehrt liefert die Funktionalrechnung auf einem reduzierenden Teilraum (i). 000090 | 000091 | Die Projektor-Defektidentität gilt auch für beschränkte G und Isometrien auf 000092 | unendlichen Hilberträumen. Aus der Borel-Inversen folgt spektrale Reduktion 000093 | von selbstadjungiertem H. Die Schreibweise V*HV benötigt dort die passende 000094 | Domain. Der endliche Test ersetzt diesen Domainnachweis nicht. 000095 | 000096 | Exakter Gegenfall a=log2, ell=1: 000097 | f(H)=diag(1/5,4/5), X(H)=(2/5)I, 000098 | K=[[1/2,2/5],[2/5,1/2]], G(v*Hv)=[[1/2,1/2],[1/2,1/2]]. 000099 | K hat Eigenwerte 1/10 und 9/10; K-K²=(9/100)I. 000100 | Die Einzelränder stimmen überein. Ihre Verbindung unterscheidet die Quellen. 000101 | 000102 | Geltung: Dies ist ein Kriterium für eine geschlossene, verlustfreie 000103 | Ganzquellenreduktion des angegebenen Typs. Eine physische offene Teilquelle 000104 | darf einen nichtnull Defekt haben. Der Satz macht Reduktion nicht zu einer 000105 | neuen universellen Voraussetzung an jeden physischen P_F. 000106 | 000107 | 6. Kleinster tatsächlicher 96er Gegenfall gegen volle Irreduzibilität 000108 | 000109 | Im originalen v252 indexiert P die Felder nu,e,u,d mit Familie und Farbe. 000110 | q ist auf u,d eins und auf nu,e null, auf Teilchen und Antiteilchen gleich. 000111 | Rangq=72, Rang(I-q)=24. Die Originalkonstruktoren erhalten diese Zerlegung: 000112 | dirac_block koppelt nur gleiche Feldnamen zwischen links und rechts und 000113 | Familien; full_D ergänzt Majorana nur auf nu_R. rep koppelt schwach nu/e 000114 | beziehungsweise u/d innerhalb ihrer Arten und Farbe nur innerhalb Quarks. 000115 | Daher [q,Phi]=[q,rep(A_F)]=[q,gamma]=0 für die ganze benannte Klasse, 000116 | und q kommutiert auch mit dem ursprünglichen internen J_F. 000117 | 000118 | Mit Omega=2q-I ist gamma'=gamma Omega eine weitere selbstadjungierte 000119 | Involution. Sie ist gerade für A_F, ungerade für Phi und erfüllt 000120 | J_F gamma'=-gamma' J_F. Sie ist verschieden von gamma und -gamma. 000121 | Falls A ebenfalls q erhält, ist Gamma'=Z tensor gamma' eine weitere 000122 | Gesamtgraduierung, die D ungerade macht und B reduziert. 000123 | Die vier Entscheidungen der Sektorvorzeichen auf Quarks und Leptonen 000124 | liefern dann mindestens vier Rang96-Faserbilder. Weitere ursprüngliche 000125 | Orientierungsdaten können sie unterscheiden; diese sind hier nicht ersetzt. 000126 | 000127 | Geltung: Dies ändert die vorhandene ursprüngliche gamma nicht. Es widerlegt 000128 | nur ihre Herleitung aus den schwächeren genannten Algebra/KO/Operatorzeichen 000129 | allein. Die vollständige normale Realstruktur, Hochschildorientierung und 000130 | ein möglicher ursprünglicher größerer Quelloperator sind nicht getestet. 000131 | Ein neues Leptoquarkfeld zur Entfernung des Gegenfalls einzusetzen wäre 000132 | eine zusätzliche Annahme und wurde nicht vorgenommen. 000133 | 000134 | 7. Tatsächliche Ausführung und unabhängige Gegenprüfung 000135 | 000136 | check_b1_whole_source_reduction.py benutzt equation/restrict des bestehenden 000137 | exakten Intertwinerlösers. Die vollständigen endlichen Hermitegeneratoren 000138 | für Graduierungsränge(1,1),(1,2),(2,2) ergeben jeweils Kommutantendimension2. 000139 | Symbolisches theta bestätigt Isometrie, Bild, Reduktion und Leserformel. 000140 | Die Ganzquellenrechnung ist rational exakt. Am tatsächlichen v252 werden 000141 | ganzzahlige nichtdiagonale Yukawas, symmetrisches Majorana und alle24 reellen 000142 | Basisgeneratoren der Algebra C+H+M3 geprüft. Die Zahlen dienen der 000143 | Strukturkontrolle und werden nicht als physische Kopplungen ausgegeben. 000144 | Der allgemeine Blockbeweis steht in Abschnitt6. 000145 | 000146 | [OMITTED: non-scientific conversation or execution metadata] 000147 | [OMITTED: non-scientific conversation or execution metadata] 000148 | [OMITTED: non-scientific conversation or execution metadata] 000149 | [OMITTED: non-scientific conversation or execution metadata] 000150 | 000151 | [OMITTED: non-scientific conversation or execution metadata] 000152 | [OMITTED: non-scientific conversation or execution metadata] 000153 | [OMITTED: non-scientific conversation or execution metadata] 000154 | [OMITTED: non-scientific conversation or execution metadata] 000155 | [OMITTED: non-scientific conversation or execution metadata] 000156 | [OMITTED: non-scientific conversation or execution metadata] 000157 | [OMITTED: non-scientific conversation or execution metadata] 000158 | 000159 | 8. Gemeinsamer Fortschritt und nächster tatsächlicher Ursprungsschritt 000160 | 000161 | Die aktuelle B1 Herkunftsfrage bleibt offen. Der bekannte mathematische 000162 | Kandidat wird präziser: Bild, Kartenfreiheit, orientierte ursprüngliche 000163 | Graduierung und physischer Ursprung sind vier verschiedene Aussagen. 000164 | Die geschlossene ganze Reduktion ist nun direkt entscheidbar, sobald 000165 | ein ursprünglich begründeter Kandidat vorliegt. Für eine offen gedachte 000166 | Teilquelle werden stattdessen ihr Defekt und äußere Erinnerung mitgeführt. 000167 | 000168 | Verbindung zu C1: Einzelränder können gemeinsame Information verlieren. 000169 | Verbindung zu C2: Derselbe Verlust erklärt, warum einmaliges Wegprojizieren 000170 | und ununterbrochene Weiterentwicklung nicht gleichgesetzt werden dürfen. 000171 | Verbindung zu D2: Gemeinsame Antworten können unterschiedliche relative 000172 | Orientierungen erkennen, auch wenn getrennte Spektren gleich sind. 000173 | Dies sind konkrete Beziehungen zwischen den bestehenden Resultaten; 000174 | sie wählen noch keine Kopplungen oder physische Zeit aus. 000175 | 000176 | Nächster Schritt: Das ursprüngliche K_car/P_F mit seiner tatsächlichen 000177 | Algebra, Orientierung, internen und normalen Realstruktur am vorhandenen 000178 | gemeinsamen Quellenaufruf ausführen. Den schon im Atlas bestimmten 000179 | ursprünglichen Strom/Wirkungsconsumer mitführen. Nicht die freie volle 000180 | M96 Klasse zum Original erklären, nicht eine Phase als Clock fitten, 000181 | nicht erneut einen reduzierenden Kandidaten durch gewünschte Ausgaben 000182 | definieren. Ein tatsächlicher Zweig muss ganze Quelle oder ihre ausdrücklich 000183 | offene Erinnerung sowie Produkte, Ladungen und Domain transportieren.