TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/craig-original-source-bridge-20261103/ACTUAL-PRODUCT-PAIRING.txt
Original file SHA-256: e7200e2d30179214f0a63c856c3598cbffab7013d8747cc5b7f00f4beca96817
Inclusive original lines: 1-169
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 | TFPT UND CRAIG: AUSGEWERTETER KERN UND CHIRALE PAARUNG
000002 | 3. November 2026. Result ID CRAIG20261103B.
000003 | Verdict: CONDITIONAL_PRODUCT_KERNEL_EVALUATED_DIRECT_EQUALITY_FAILS.
000004 | 
000005 | Der vorhandene gewöhnliche 4D Produktzweig ist mit seiner vollständigen
000006 | ursprünglichen 96 dimensionalen internen Matrix ausgewertet. Seine
000007 | Grassmannpaarung ist antisymmetrisch und bei nichtverschwindender
000008 | Massenmatrix nicht null. Sein gewöhnlicher kinetischer Kern ist bei
000009 | endlichem Gitterabstand nicht direkt mit Craigs Operator identisch.
000010 | Die Hessian des vollständigen ursprünglichen S_adm ist damit noch nicht
000011 | ausgewertet. Diese Unterscheidung bestimmt den gesamten Geltungsbereich.
000012 | 
000013 | 1. Originale und erste noch nicht gebundene Identifikation
000014 | 
000015 | [OMITTED: non-scientific conversation or execution metadata]
000016 | 
000017 | Die primitive Originalwirkung, Boundary001:302-316, lautet
000018 |  S_prim = Tr f(D_rel/chi) - Tr f(D_ref/chi) + i pi Delta eta/2.
000019 | Bei festem bosonischem Operatorargument enthält dieser Ausdruck keine
000020 | unabhängigen Grassmannkoordinaten xi. Seine Ableitung nach zusätzlich
000021 | eingeführten xi ist null. Das ist keine Berechnung des Fermionkerns der
000022 | ganzen S_adm und keine Aussage, TFPT besitze keine Fermionen.
000023 | 
000024 | QFT007:5-29 und119-145 führt S_adm als Eingabe des vollständigen Integrals
000025 | und seiner Hessian. Die ursprüngliche RG Operatorbasis enthält bereits
000026 | barpsi i slashD psi und barpsi Phi psi. Sie bindet dort aber keine komplette
000027 | Weyl/Selbstdual Feldkoordinatenkarte und keine ganze ursprüngliche
000028 | Berezinpaarung an S_prim. Die vorhandene S/Z/OS/Gamma Kette bleibt bestehen.
000029 | R111 SOURCE-GENERATOR-RESIDUAL-20261103.txt:1-44 bestätigt genau diesen
000030 | Unterschied zwischen der ganzen ursprünglichen Quelle und einem gewählten
000031 | Produkt oder Clifford Verbraucher.
000032 | 
000033 | Die erste zusätzliche Identifikation im hier ausführbar vorliegenden
000034 | Produktzweig ist
000035 |  S_F = 1/2 <J xi, D_product xi>, xi in H_epsilon.
000036 | Das ist die bekannte fermionische Produktvorschrift. Sie muss als derselbe
000037 | Fermionanteil von S_adm nachgewiesen werden. Sie folgt nicht durch
000038 | Differenzieren des bosonischen Spektraltraces. Auch die bekannte externe
000039 | Spektralwirkung führt den Fermionterm separat hinzu:
000040 | Alain Connes, hep-th/0608226, Abschnitt5,
000041 | https://arxiv.org/html/hep-th/0608226 .
000042 | Sein dortiger chiraler Übergang zur traditionellen euklidischen Konvention
000043 | ist ebenfalls mit seinem Maß zu transportieren. Eine Operatorphase allein
000044 | beweist keine Quantenmaßidentität.
000045 | 
000046 | 2. Vollständige ursprüngliche interne Matrix
000047 | 
000048 | Verwendet wurden die wirklichen Indexlisten, grading und Kswap aus
000049 | verification/v252_full_finite_triple.py. Alle vier komplexen3x3 Yukawa
000050 | Matrizen und die komplex symmetrische3x3 Majoranamatrix bleiben symbolisch.
000051 | Keine Massenwerte und keine neuen Kopplungen wurden angepasst.
000052 | 
000053 |  H_F = C^48_particle directsum C^48_antiparticle,
000054 |  K_F = [[0,I48],[I48,0]], J_F=K_F conjugation,
000055 |  Phi = [[S,T],[T^dagger,bar S]].
000056 | S trägt die ursprünglichen LR Yukawablöcke; T den nu_R Majoranablock.
000057 | Die exakten ganzen Relationen sind
000058 |  Phi^dagger=Phi, {gamma_F,Phi}=0,
000059 |  K_F bar Phi=Phi K_F, J_F^2=+1, J_F gamma_F=-gamma_F J_F.
000060 | Daraus folgt (K_F Phi)^T=K_F Phi.
000061 | Die isolierte endliche Paarung ist symmetrisch. Dieser alte Befund wird
000062 | nicht auf die vollständige Raumzeitpaarung übertragen.
000063 | 
000064 | 3. Ausgerechnete vollständige Produktpaarung
000065 | 
000066 | Mit hermiteschen euklidischen gamma Matrizen wähle
000067 |  gamma_(1,2,3)=sigma1 tensor sigma_(1,2,3),
000068 |  gamma4=sigma2 tensor I2, gamma5=gamma1 gamma2 gamma3 gamma4,
000069 |  C4=gamma1 gamma3, J4=C4 conjugation.
000070 | Dann J4^2=-1, J4 gamma5=gamma5 J4 und
000071 |  C4 bar gamma_mu=-gamma_mu C4.
000072 | 
000073 | Der vorhandene gewöhnliche Produktoperator ist
000074 |  D_product=-i gamma^mu nabla_mu tensor I96 + gamma5 tensor Phi.
000075 | Seine Verbindungs und Realitätskonventionen müssen gemeinsam verwendet
000076 | werden. Die ausgeführte Transpositionskontrolle betrifft den freien
000077 | Ableitungskoeffizienten und den ganzen Massenblock; sie ist kein neuer
000078 | Beweis für eine beliebige noch nicht identifizierte Eichverbindung.
000079 | 
000080 |  J=(C4 tensor K_F) conjugation,
000081 |  Gamma=gamma5 tensor gamma_F,
000082 |  E_epsilon: H_epsilon -> H4 tensor H_F,
000083 |  M_epsilon=E_epsilon^T (C4 tensor K_F)^dagger D_product E_epsilon.
000084 | 
000085 | Beide totalen Chiralitätsfasern haben komplexen Rang192. Diese Zahl ist
000086 | keine Zahl von Teilchensorten. C4^dagger gamma_mu ist symmetrisch; zusammen
000087 | mit partial_mu^T=-partial_mu ergibt das einen schiefen kinetischen Kern.
000088 | C4^dagger gamma5 ist schief, K_F Phi symmetrisch. Deshalb ist auch der
000089 | vollständige Massenkern schief. Exakt symbolisch gilt für epsilon=+1,-1
000090 |  M_mass,epsilon^T=-M_mass,epsilon,
000091 |  ||M_mass,epsilon||_F^2=2 Tr96(Phi^2).
000092 | Für jede nichtnull hermitesche Phi ist dieser Block nicht null. Die
000093 | Raumzeitstruktur beseitigt also den falschen Schluss, die ganze
000094 | Grassmannwirkung müsse wegen des isolierten KO6 Befunds verschwinden.
000095 | 
000096 | 4. Kleinster entscheidender Vergleich mit Craigs tatsächlichem Operator
000097 | 
000098 | Craig, https://arxiv.org/html/2610.09093v1 , Gleichung16.
000099 | Gitterabstand a=1, freier Hintergrund, masseloser geladener Weylblock,
000100 | p=(pi/2,0,0,0). Der Vergleich liest den gewöhnlichen Produktzweig in
000101 | traditioneller euklidischer Konvention am selben Impuls aus. Ein hier noch
000102 | nicht hergeleitetes Blocking wird nicht stillschweigend vorausgesetzt.
000103 | 
000104 |  K_product=i gamma1 pi/2,
000105 |  D_C=I+i gamma1,
000106 |  A=I-D_C/2=(I-i gamma1)/2,
000107 |  K_req=D_C A^-1=2 i gamma1.
000108 | Die Karte A trägt Craigs erlaubte hatP_minus Faser auf die gewöhnliche
000109 | P_minus Faser. Aber K_product A != D_C.
000110 | 
000111 | Auch ein bloßer unitärer Basiswechsel rettet diese feste Identifikation
000112 | nicht. Auf den jeweiligen erlaubten zweidimensionalen Weylfasern sind
000113 | die singulären Werte des Produktkerns pi/2 und von D_C sqrt2. Der exakte
000114 | Defekt ihrer Quadrate ist pi^2/4-2 !=0. Ein zweiseitiger unitärer Transport
000115 | erhält singuläre Werte. Dieses Ergebnis schließt weder ein tatsächlich
000116 | hergeleitetes nichtunitäres Blocking noch einen anderen Regulator oder
000117 | eine passende Kontinuumsäquivalenz aus. Der Gegenfall ist kein Ausschluss
000118 | aller TFPT Anschlüsse und kein Vergleich einer bereits erzeugten
000119 | ursprünglichen TFPT Gitterwirkung.
000120 | 
000121 | 5. Tatsächlicher Maßfaktor und fehlender ganzer Vergleich
000122 | 
000123 | Auf derselben freien Weylfaser gilt
000124 |  A_-^dagger A_- = I2/2,
000125 |  |det A_-|=1/2.
000126 | Bei psi_T=A_- psi_C und unverändertem Antifermionbein ist der Betrag des
000127 | Berezin Jacobians daher2 pro zweidimensionaler komplexer Weylfaser.
000128 | Pro unabhängiger komplexer Koordinate ist er sqrt2. Die Phase erfordert
000129 | die ursprünglichen geordneten Basen. Multiplizitäten sind erst nach der
000130 | tatsächlichen Feldidentifikation einzusetzen.
000131 | 
000132 | Für ganze unabhängige Grassmannkoordinaten mit xi_T=B xi_C lautet die
000133 | entsprechende Identität
000134 |  M_C=B^T M_T B, dxi_T=(det B)^-1 dxi_C,
000135 |  Pf(M_C)=det B Pf(M_T).
000136 | Sie erhält die Quelle nur dann vollständig, wenn auch alle höheren
000137 | Fermionterme, Quellbeine, ursprünglichen Referenzen und Bosongewichte
000138 | gemeinsam transportiert werden. Ein zusätzlich eingesetzter voller96
000139 | Determinant wäre ein anderer Quellenaufruf.
000140 | 
000141 | Der bereits hergeleitete Gaussian Blocking Vergleich bleibt
000142 |  D_a=alpha-alpha B(K_T+barB alpha B)^-1 barB alpha.
000143 | Die Rechnung hier liefert keinen aus der ursprünglichen Quelle
000144 | hergeleiteten B,barB,alpha mit D_a=D_C. Da die direkte feste Operatorabbildung
000145 | scheitert, ist auch eine direkte Maßgleichheit über sie nicht bewiesen.
000146 | Craigs Eichinvarianzsatz allein bindet seine Maßsektion nicht an die
000147 | ursprüngliche Pfaffianlinie, deren Phase und Komponentenfaktoren.
000148 | 
000149 | 6. Erfülltes Ergebnis und präziser verbleibender Nachweis
000150 | 
000151 | Ausgeführt:26 exakte symbolische Kontrollen des vorhandenen Produktzweigs,
000152 | einschließlich der ganzen ursprünglichen Yukawa/Majoranafamilie, beider
000153 | totalen chiralen Fasern und des echten freien Craig Operators.
000154 | Belege: actual_product_pairing.py und actual-product-results.json.
000155 | Keine Leanprüfung und keine physische Claim Promotion.
000156 | 
000157 | Nicht ausgeführt: M_adm[b]=delta_xi delta_xi S_adm[b,xi]|xi=0 auf der
000158 | tatsächlich ursprünglichen physisch zugelassenen Feldkarte. Die konkrete
000159 | fehlende Bindung ist die Gleichheit dieses Kerns mit M_epsilon samt allen
000160 | höheren ursprünglichen Fermiontermen und Integration über die dynamischen
000161 | Bosonen. Ohne diese Gleichung wäre die Bezeichnung der Produktrechnung als
000162 | tatsächliche ganze ursprüngliche TFPT Hessian falsch.
000163 | 
000164 | Originalstellen zusätzlich:
000165 | documents/archive--paper-latex--tfpt-32/sections/013-subsection-rg-map-for-compiler-outputs.tex:184-201
000166 | documents/archive--paper-latex--tfpt-31/sections/007-subsection-occupancy-and-boundary-to-bulk-bridge.tex:44-141
000167 | experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/DERIVED-PAIRING.txt
000168 | experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/NORMAL-KINETIC-PAIRING.txt
000169 | experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CURRENT-ACTION-ARGUMENT-PROOF.txt