TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C6-GRAM-PRODUCER-AND-ORIGINAL-SOURCE-RESPONSE.txt Original file SHA-256: fd2d986c0622e7d4249fcfde2ae0f100b7fabb4edcb9f48a4ebb67b0c247f56b Inclusive original lines: 1-130 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 | C6 Gramproducer, tatsächlicher Quellenconsumer und der neue Hardybeitrag 000002 | 2026-10-30. Enger Originalaudit, analytische Ableitung. Keine Atlasänderung. 000003 | 000004 | 1. Ergebnis und erster tatsächlicher Anschluss 000005 | 000006 | Der ursprüngliche positive Transportkernel besitzt einen vollständigen 000007 | endlichen Producer. Die Operation ist Gramnormalisierung, keine nachträglich 000008 | gewählte Normalintegration. Für A=D_f P_str und H=A* A auf Ran P_str gilt 000009 | 000010 | K_str=H^(-1/2), V=A K_str, V*V=I. (1) 000011 | 000012 | K_str ist eindeutig durch den gegebenen D_f und P_str bestimmt. V ist der 000013 | kanonische polare isometrische Faktor. Diese beiden Operatoren erfüllen 000014 | verschiedene Aufgaben: Die ORIGINALFORMEL für Y lautet Hol K_str, nicht 000015 | Hol V. Eine polare Feldisometrie darf daher den originalen Kopplungsconsumer 000016 | nicht stillschweigend ersetzen. 000017 | 000018 | Der aktuelle Hardybeitrag hat bereits einen originalen primitiven 000019 | Wedgeconsumer. Dessen Ausführung ist nicht erneut offen. Noch nicht 000020 | identifiziert ist seine konkrete Rolle als Variation des ursprünglichen 000021 | D_f/der Holonomie oder als ausgewerteter Summand ihrer ursprünglichen 000022 | Transportoperation. Eine einzelne ausgewertete Komponente muss dabei 000023 | keineswegs die ganze Yukawamatrix sein. 000024 | 000025 | 2. Originalquellen und tatsächliche Rechenfolge 000026 | 000027 | Alle folgenden Pfade liegen unter documents/ im TFPT Repository. 000028 | 000029 | EM3 = archive--tfpt-45--source_extracts--03_em_flavor_source/sections/ 000030 | 003-subsection-discrete-phase-operator-and-transport-grammar.tex 000031 | paper-source:8c374b792c3f7ed5c3c4211f 000032 | SHA256 00a2cf1b249b77280dbbf6dfb41c91c77e08aa63e0f30b682d1a8a621f3dd7ec 000033 | Zeilen3-12: U6, D_y=yI-delta U6, Fourierform des Sechserzyklus. 000034 | Zeilen91-108: P_str und K_str als inverse Quadratwurzel. 000035 | Zeilen109-125: F_tr=-sum_y log det(D_y*D_y+eps²), Stationarität in delta. 000036 | 000037 | EM4 = gleiche Quelle, 004-source.tex 000038 | paper-source:7268c6c6db6ca8a62299c024 000039 | SHA256 107d525221eb816043dbf4fb1a3c7e8244d3e24a5a5bcbfe1c2c34d8ee192f4a 000040 | Zeilen164-239: Y_ij=. 000041 | Zeilen353-389: exakter endlicher C6 Resolvent und Fourier/Pfadlesart. 000042 | 000043 | EM5 = gleiche Quelle, 005-source.tex 000044 | paper-source:e82e66eae30ffc1f14630794 000045 | SHA256 786d2619e775775d70adf177794138485b261968042a880b2f0f617bb0111814 000046 | Zeilen2-25: sechs Singularwerte und positive kleinste Lücke. 000047 | Zeilen42-94: D_f=D_(2/3)+V_adm, [P_str,V_adm]=0, 000048 | ||V_adm||=epsilon_f²/4. 000049 | Zeilen118-198: endliche positive C6 Greenalgebra. 000050 | Zeilen233-242: der Originaltext selbst trennt die exakte 000051 | Kompressionsidentität von einer Herleitung des Transports aus dem Carrier. 000052 | 000053 | Damit folgt (1) unmittelbar für die ursprüngliche gapstabile Klasse. 000054 | Es ist keine zusätzliche freie Polarregel für einen neuen Orbitkernel. 000055 | 000056 | 3. Die endlichen Pfadsummanden und die Quadratwurzel sind auswertbar 000057 | 000058 | Die Originalidentität lautet 000059 | 000060 | D_y^(-1)=[sum_(m=0)^5 y^(5-m)delta^m U6^m]/(y^6-delta^6). (2) 000061 | 000062 | Sie liefert genau sechs bereits vorhandene Transportworte. Der regulierte 000063 | positive Kernel ist H_y^(-1), H_y=aI-2b C mit C=(U6+U6*)/2, 000064 | a=y²+delta²+eps², b=y delta. Original EM5 reduziert ihn exakt modulo 000065 | 4C^4-5C²+I=0. Auch die Quadratwurzel braucht keinen neuen Suchansatz: 000066 | 000067 | r(c)=(a-2bc)^(-1/2), c in {1,1/2,-1/2,-1}; 000068 | E1=(r(1)+r(-1))/2, Eh=(r(1/2)+r(-1/2))/2, 000069 | O1=(r(1)-r(-1))/2, Oh=(r(1/2)-r(-1/2))/2. 000070 | 000071 | H_y^(-1/2)=[(4Eh-E1)/3]I+[(8Oh-O1)/3]C 000072 | +[4(E1-Eh)/3]C²+[4(O1-2Oh)/3]C³. (3) 000073 | 000074 | Einsetzen der vier tatsächlichen Cosinuswerte beweist (3). Diese Formel 000075 | ist eine konkrete Spektralrechnung im ORIGINALEN endlichen Transport, 000076 | keine neue Zeitentwicklung. Für allgemeines V_adm ist (1) die passende 000077 | Operation; (3) gilt für den nackten C6 Operator, nicht für jede nicht- 000078 | kommutierende Störung oder beliebige nichtreduzierende Kompression. 000079 | 000080 | 4. Die tatsächliche Quellenvariation ist ebenfalls konkret 000081 | 000082 | Bei festem P_str und zulässiger D_f(s)=D_f+s W gilt 000083 | 000084 | delta H=P_str(W*D_f+D_f*W)P_str, 000085 | delta[-log det(H+eps²)]=-Tr((H+eps²)^(-1) delta H). (4) 000086 | 000087 | Für die inverse Quadratwurzel selbst gilt exakt 000088 | 000089 | delta K=-(1/pi) integral_0^infty t^(-1/2) 000090 | (H+t)^(-1) delta H (H+t)^(-1) dt. (5) 000091 | 000092 | (5) ist eine Funktionalkalkülidentität, KEIN aus P1 neu hergeleitetes 000093 | Properzeitmaß. Insbesondere liefert (4) nicht ohne weitere Operation K. 000094 | Die ursprüngliche Kopplungsvariation ist vielmehr 000095 | 000096 | delta Y=(delta Hol)K+Hol(delta K), (6) 000097 | 000098 | in den vorhandenen transportierten Familienrahmen. Die Basisvariation ist 000099 | mitzuführen, wenn die Quelle selbst den Rahmen variiert. Diese Formeln 000100 | geben den kleinsten ausführbaren Test einer vorgeschlagenen originalen 000101 | Einfügung. Der Hardyterm darf ein Matrixelement von (6), ein tatsächliches 000102 | Transportwort oder eine andere originale Einfügung sein; die Behauptung 000103 | W=Hardyterm ist durch seine bloße Zulässigkeit als endliche Matrix nicht 000104 | bewiesen. D_f hier ist der Transportdenominator, nicht automatisch v252 D_F. 000105 | 000106 | 5. Ganze Quelle: was K_str bereits trägt und was seine Norm nicht trägt 000107 | 000108 | Schon auf dem nackten ursprünglichen C6 Zweig y=2/3 hat der U6=1 Vektor 000109 | H_y-Eigenwert epsilon_f² bei eps=0. Mit 09. Daher wäre eine behauptete CAR-Feldkarte 000111 | a(e) -> a(K_str e) 000112 | keine Sternhomomorphie: der Antikommutator wäre epsilon_f^(-2) statt1. 000113 | Dies ist ein Test im nackten C6 Raum; er setzt den Vektor nicht ungeprüft 000114 | in jede anschließende P_str Restriktion ein. Allgemein braucht eine 000115 | solche Feldkarte K* K=I, während hier K* K=H^(-1) gilt. 000116 | 000117 | Der polare V aus (1) erhält dagegen die CAR auf seinem tatsächlichen 000118 | Eingangsraum. Ein selbstdualer Feldtransport muss zusätzlich die bereits 000119 | gegebenen konjugierten Slots mittragen. Zustand, beide Ränder, Reflexion 000120 | und Zeit folgen aus einer passenden gemeinsamen Quellenabbildung, etwa 000121 | G' V=V G, C' V=V C und h' V=V h; sie folgen nicht aus K>0 allein. 000122 | Dies fordert keinen neuen Zustand für den schon vollständig gegebenen Seed. 000123 | Unsere fertige G/W/T_faces Karte trägt genau dessen ganze Feldprodukte, 000124 | Zustand, Reflexion und Zeit. (1) oder die Formel Hol K identifiziert diese 000125 | Karte noch nicht mit dem strukturellen C6 Consumer. 000126 | 000127 | Die stärkste weitere Originalroute bleibt ausdrücklich erhalten: QFT4 000128 | 004-source.tex:111-155 baut T_V aus lokalen Greenkernen, diagonalen 000129 | Zulässigkeitsgewichten und Selektor und benutzt dessen Perronvektor. 000130 | QFT8 008-section-relative-reflection-positivity-with-fermions.tex:143-168,