TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/shorttime_20261105L/whole_product_pairing/WHOLE-ORIGINAL-MASS-PFAFFIAN-AND-SUBLEADING-KINETIC.md
Original file SHA-256: b00a509900d4f47d6e880d129dfe384249ce733d583c07edf3181d98439cdf7a
Inclusive original lines: 107-222
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.

000107 | Der ursprüngliche freie gewöhnliche Spin4 Produktconsumer bei konstantem H besitzt die Fouriermatrix
000108 | 
000109 | K_epsilon(p)=E_epsilon^T(C4 tensor K_F)^dagger
000110 |                  [(gamma.p)tensorI96+gamma5 tensorPhi]E_epsilon.
000111 | 
000112 | Die gamma.p Koeffizienten sind tatsächlich SYMMETRISCH. Eine einzelne192er Zahlenmatrix bei p≠0 ist deshalb kein eigenständiger schiefer Pfaffiankern. Die ursprüngliche Ableitungspaarung wird auf dem wirklichen Gegenmoduspaar erhalten:
000113 | 
000114 | K_epsilon(−p)^T=−K_epsilon(p),
000115 | 
000116 | M_pair=[[0,−K_epsilon(p)^T],[K_epsilon(p),0]].
000117 | 
000118 | Dies ist ein echter ganzer384er schiefer Kern. Mit der angezeigten Originalblockordnung gilt
000119 | 
000120 | Pf M_pair=(−1)^(192*193/2)det K_epsilon(p)=det K_epsilon(p).
000121 | 
000122 | Der volle interne Inhalt wurde dabei nicht reduziert. Für einen nichtnull ursprünglichen Impuls kann die tatsächliche freie Spin4 Rotation seine Richtung auf die vierte Achse tragen. Die Cliffordrelationen und die konstante ganze Phi erhalten alle vier Komponenten und liefern dasselbe Resultat für p²=sum p_mu². Der Impuls ist eine Variable dieses bereits gegebenen Consumers, kein neu angepasster physischer Wert, keine umbenannte Quarterclock und keine neu gewählte OS Zeit. Ob ein konkreter ursprünglicher kompakter Regulator dieses p/−p Paar beziehungsweise seine tatsächlich dualen Holonomiedomains enthält, wird nicht ohne seine Originaldomain vorausgesetzt.
000123 | 
000124 | In beiden originalen totalen Epsilon Fasern zerfällt die ganze192er Matrix nach der zweiten Spinkomponente in zwei96er Kreuzblöcke. Der tatsächlich symbolisch geprüfte Kreuzblock ist
000125 | 
000126 | L_p=epsilon gamma_F K_F(Phi+i p I96).
000127 | 
000128 | Sein Vorfaktor hat Determinante1. Der andere Kreuzblock ist −L_(−p)^T. Da Phi gamma_F ungerade ist, ist det(pI96+iPhi) gerade in p. Folglich
000129 | 
000130 | det K_epsilon(p)=Q(p,u)^2,
000131 | Q(p,u)=det96(pI96+iPhi).
000132 | 
000133 | Q ist damit ein exakt bestimmter polynomialer Faktor der tatsächlichen ganzen Gegenmodusquelle. Er wird nicht als unabhängig postulierter192er Pfaffian ausgegeben. Bei einer Produktnotation über ALLE ursprünglichen Fourierimpulse trägt jeder p den Faktor Q; das wirkliche ungeordnete Paar p/−p trägt Q². Ein selbstdualer Nullmodus trägt seinen tatsächlichen192er Massenpfaffian Q(0,u), sofern er in der Originaldomain vorhanden ist. Diese Zählung darf nicht doppelt eingesetzt werden.
000134 | 
000135 | Die vollständige ursprüngliche Familie ergibt jetzt die genaue Modenformel
000136 | 
000137 | \[
000138 | Q(p,u)=\det_3(p^2+uY_u^\dagger Y_u)^6
000139 |        \det_3(p^2+uY_d^\dagger Y_d)^6
000140 |        \det_3(p^2+uY_e^\dagger Y_e)^2
000141 |        \det_6(p^2+\Xi^\dagger\Xi).
000142 | \]
000143 | 
000144 | In der tatsächlich aus v252 gelesenen LR Konvention ist nach dem gegebenen schwachen Orbittransport H=(0,r), r²=u,
000145 | 
000146 | F_nu=[[rYnu,0],[MR^dagger,rYnu^T]],
000147 | Xi=[[0,r barYnu],[rYnu^dagger,MR]].
000148 | 
000149 | Xi ist symmetrisch und Xi^dagger Xi=F_nu F_nu^dagger folgt aus einer tatsächlichen unitären Zeilenpermutation von F_nu^dagger. Damit bleibt die originale komplexe Majoranaphase erhalten. Eine andere Yukawakonvention muss diesen ganzen Transpose/Adjunkttransport mitführen. Die beiden jetzt benötigten höchsten Koeffizienten sind von dieser Konventionsumschrift unabhängig.
000150 | 
000151 | Für invertierbare vorgegebene Y setze
000152 | 
000153 | C_Y=|detYu|^12|detYd|^12|detYe|^4|detYnu|^4,
000154 | 
000155 | Sigma=Tr3[3(Yu^daggerYu)^−1+3(Yd^daggerYd)^−1
000156 |                         +(Ye^daggerYe)^−1+(Ynu^daggerYnu)^−1].
000157 | 
000158 | Dann sind die tatsächlich AUSGEWERTETEN beiden höchsten Modenkoeffizienten
000159 | 
000160 | Q(p,u)=C_Y u^48+2p² C_Y Sigma u^47+O(u^46),
000161 | 
000162 | Pf M_pair=C_Y² u^96+4p² C_Y² Sigma u^95+O(u^94).
000163 | 
000164 | Also unter H→tH hat der ganze384er Gegenmoduspfaffian P_192=C_Y²u^96 und P_190=4p²C_Y²Sigma u^95. Sein P_191 verschwindet durch die tatsächliche gerade Modenpolynomidentität. M_R kann erst ab u^46 in Q beziehungsweise u^94 im ganzen Paar auftreten. Das ist eine berechnete ganze Familienantwort auf die Frage nach P_m und P_(m−2), kein geratenes Skalarpotential.
000165 | 
000166 | Die zusätzliche Majoranaordnung folgt aus dem tatsächlichen ganzen6er Block, nicht aus einer Einzelneutrinoprojektion. Sein exaktes Blockinverses ist
000167 | 
000168 | F_nu^−1=[[Ynu^−1/r,0],
000169 |          [−Ynu^(−T)MR^daggerYnu^−1/r²,Ynu^(−T)/r]].
000170 | 
000171 | Damit ist
000172 | 
000173 | Tr[(F_nu^daggerF_nu)^−1]
000174 | =2 Tr[(Ynu^daggerYnu)^−1]/u
000175 |  +||Ynu^(−T)MR^daggerYnu^−1||_F²/u².
000176 | 
000177 | Die erste det(p²+F_nu^daggerF_nu) Korrektur ist daher genau der angegebene Ynu Beitrag; M_R beginnt eine weitere Ordnung später. Die ganzen farblichen und geladenen Blöcke liefern die Faktoren6,6,2 ohne zusätzliche Multiplikation auf den bereits ganzen96 Trace.
000178 | 
000179 | Durch singuläre Y bleiben Q und der Gegenmoduspfaffian wohldefinierte Polynomdeterminanten. Die inverse Sigma Schreibweise wird dort nur mittels der tatsächlichen Adjugat beziehungsweise komplementären Minorenfortsetzung benutzt. Ein nominal verschwindender Topkoeffizient wird nicht durch eine Division ersetzt.
000180 | 
000181 | Für den ganzen ursprünglichen markierten Kernel müssen sämtliche ursprünglichen Moden und variable H Matrixelemente erhalten werden. Ein nichtkonstantes H koppelt Impulse; die gerade berechnete konstante Hintergrundmodusformel wird dann nicht als Produkt unabhängiger lokaler H Moden verwendet. Ebenso ist die absolute ursprüngliche See, Referenz und Etalinie zusätzlich nach der originalen Vorschrift zu behalten. Dieses Modenresultat ist kein bereits integriertes physisches UY Zeitwort und keine gesamte primitive OS Quelle.
000182 | 
000183 | ## 6. Vollständig ausgewerteter verbundener globaler Eulerwert
000184 | 
000185 | Die gerade berechneten ganzen Gegenmoduskoeffizienten bestimmen einen konkreten verbundenen Wert in der tatsächlichen hier untersuchten IR Klasse. Die ursprünglichen vier reellen H Koordinaten behalten den isotropen IR Faktor exp(−r u/2), r↓0. Der gesamte übrige gegebene Faktor w(H) bleibt beim Compositequellenparameter g fest und besitze den tatsächlich dominierten Grad0 Strahlengrenzwert w_infinity(H/|H|). Der führende zugehörige Winkelwert sei nichtzero. Dies erlaubt auch richtungsabhängige und komplexe w_infinity; es wird keine neue radiale Wahrscheinlichkeit gewählt.
000186 | 
000187 | Für die ganze384er Gegenmodusquelle sind
000188 | 
000189 | P_m=C_Y²u^96, m=192,
000190 | P_(m−2)=4p²C_Y²Sigma u^95.
000191 | 
000192 | Nach der ursprünglichen IR Skalierung H=y/sqrt(r) sei gamma_4 das Standardgaußgewicht exp(−|y|²/2) mit seinem tatsächlichen konstanten Volumenfaktor. Bezeichne A=∫P_m w_infinity gamma_4 und B=∫P_(m−2)w_infinity gamma_4. Beide enthalten denselben ursprünglichen Winkel und Referenzfaktor. Er fällt in B/A aus, weil die tatsächlich ausgerechneten beiden ganzen Polynome nur in u verschieden sind. Die vollständige radiale Integration gibt exakt
000193 | 
000194 | ∫u^95 gamma_4 / ∫u^96 gamma_4=1/194,
000195 | 
000196 | B/A=4p²Sigma/194=2p²Sigma/97.
000197 | 
000198 | Das ist keine eingesetzte neue Vierkomponentengeometrie: d=4 zählt die vier bereits vorhandenen reellen Koordinaten der ursprünglichen komplexen Higgsdublette.
000199 | 
000200 | Der globale euklidische Eulerparameter g multipliziert ausschließlich den tatsächlichen H linearen fermionischen Vertex, mit ursprünglicher Halbgewichtpaarung. Der Rest, die physikalischen Y Parameter, daraus bereits berechnete bosonische Koeffizienten, Referenz und Eta bleiben bei dieser Compositequellenableitung fest. ∂gP=−I_fermion[S_Y^E] ist die ganze ursprüngliche Einfügung, keine Variation aller Y abhängigen Wirkungsanteile.
000201 | 
000202 | Der führende konstante Euleranteil −192 fällt im verbundenen Ausdruck bereits ALGEBRAISCH vor dem Grenzübergang aus. Deshalb ist keine zusätzliche Konvergenzrate von w(H/sqrt r) nötig. Die tatsächlich führenden markierten Integrale erfüllen A_u=196A und B_u=194B. Damit ist der ganze Grenzwert
000203 | 
000204 | \[
000205 | \lim_{r\downarrow0}
000206 | \langle U\,S_Y^E\rangle_{r,c}
000207 | =2\left(\frac{B_u}{A}-\frac{A_uB}{A^2}\right)
000208 | =-\frac{4B}{A}
000209 | =\boxed{-\frac{8p^2}{97}\,\Sigma}.
000210 | \]
000211 | 
000212 | U ist hier die ganze ursprüngliche Norm der konstanten H Familie. Für p=0 verschwindet der Wert entsprechend der zuvor exakt berechneten reinen Massenhomogenität. Bei p²>0 und invertierbaren gegebenen Y ist Sigma>0 und der angegebene verbundene Eulerwert negativ. Keine numerischen Impuls oder Yukawawerte wurden gewählt. Das Ergebnis verwendet den echten ganzen Gegenmoduspfaffian mit Grad192; die Verwendung eines einzelnen Q Faktors oder einer 192er Zahlenmatrix als Quelle würde den Faktor194 und das Resultat ändern.
000213 | 
000214 | Die Hypothese zum Strahlengrenzwert ist entscheidend. Die ungekürzte positive R048 Quartik exp(−lambda u²) besitzt in dieser Skalierung einen verschwindenden Strahlengrenzwert und A=0. Sie liegt daher in einer anderen Originalcallerklasse; der gerade ausgewertete Wert wird nicht automatisch auf sie übertragen. Ebenso ist S_Y^E die globale euklidisch integrierte Fermionmarke und nicht das lokale R113/HYPF Y_ham(s) Wort. Der ganze ursprüngliche Modenturm mit nichtkonstantem H, Zeit und Historien, gekoppelter Geometrie und allen übrigen ursprünglichen Quellbeinen ist hier nicht integriert.
000215 | 
000216 | check_paired_mode_connected_euler.py prüft sieben exakte symbolische Identitäten dieser ausgewerteten Konsequenz, einschließlich der ursprünglichen vierreellen Gaußmomente, beider markierten Quotienten und der verbundenen Auslöschung. Das ist zusätzlich zu den64 ganzen ursprünglichen Matrix/Modenkontrollen und keine neue physische Fixture.
000217 | 
000218 | ## 7. Ausführung und Quellen
000219 | 
000220 | check_whole_original_mass_pfaffian.py konstruiert die ganzen ursprünglichen Indexlisten und quaternionischen LR Blöcke mit allen komplexen3×3 Y und komplex symmetrischem M_R als Symbolen. Es prüft beide ganzen192er Massenfasern, die tatsächlichen Spinvorzeichen, die tatsächlichen48er Blocktriangularitäten, alle Farben, die Majoranaslotidentitäten und die vier originalen kinetischen Spinkoeffizienten. Der weitere tatsächliche Gegenmodustest umfasst den192er symmetrischen Fourierkoeffizienten, den schiefen384er Paarkern, die ganzen96er Kreuzblockidentitäten in beiden Epsilonfasern, die original orientierte6er Neutrinomatrix und deren exaktes Blockinverses sowie die vollständige Koeffizientenkombinatorik. Ergebnis und genaue Zahl der Kontrollen stehen in check_whole_original_mass_pfaffian.json. Es wird keine kleine physische Projektionsfixture und keine Zufalls Yukawawahl benutzt. Die Pfaffianfaktorisierung folgt analytisch aus den exakt geprüften ganzen Blöcken; eine numerisch geratene192er Determinante ist kein Bestandteil des Beweises.
000221 | 
000222 | Originale: verification/v252_full_finite_triple.py:80–128, SHA256820254440e178430422e50605067775656236602996307f67c9e69124ba5d163; ACTUAL-PRODUCT-PAIRING.txt:48–105, SHA256e7200e2d30179214f0a63c856c3598cbffab7013d8747cc5b7f00f4beca96817; original actual_product_pairing.py, SHA2566acaa9bc2c7a157a30730d7d6de75e944266afbf69b18a31c6fba654b8bd1c04; DYNAMICAL-HIGGS-SOURCE-PROOF.txt:34–78,121–144, SHA256eda5bb664b1fb20370e59b39dbd5e3cb04d79864a8d1d0a0eb6c791cdaf98f49. Die originalen Native Y Zahlen wurden nicht durch alte diagnostische rng252 Werte ersetzt.