TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/craig-original-source-bridge-20261103/STATE-SOURCE-AND-FIELD-INTEGRATION.txt
Original file SHA-256: ecdbccc9b761b56a05923fb9b86e854c056ae2498fa1a88e1bc4d1294fc1f3da
Inclusive original lines: 73-138
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.

000073 | Maßwahl nahe. Das Maß ist in der ganzen tatsächlich gegebenen Quelle
000074 | bereits enthalten; seine konkreten Werte müssen daraus berechnet werden.
000075 | 
000076 | 3. Kleinster Test der ursprünglichen Wardroute am vorhandenen Higgsfeld
000077 | 
000078 | Die Originale enthalten das Higgsfeld Phi und u=Phi*Phi bereits.
000079 | Für eine interne infinitesimale Eichrichtung gilt
000080 |  v_T Phi=T Phi, v_T Phi*=-Phi*T, also v_T u=0.
000081 | Auch reguläre Kombinationen und Lieklammern solcher Richtungen annihilieren u.
000082 | Die radiale Feldänderung D_Phi mit
000083 |  D_Phi Phi=Phi, D_Phi Phi*=Phi*
000084 | erfüllt hingegen D_Phi u=2u.
000085 | 
000086 | Für die volle geometrische BRST Regel kann auf einem gegebenen kompakten
000087 | oder passend abfallenden Quellenzweig statt des punktweisen u die skalare
000088 | integrierte Einfügung U=int sqrt(g)u benutzt werden. Sie ist unter interner
000089 | Eichung und Diffeomorphismen invariant, während D_Phi U=2U gilt.
000090 | Ihre tatsächliche Zulässigkeit im ursprünglichen physischen Netz bleibt
000091 | Teil desselben Feldbildes; Eichinvarianz allein beweist sie nicht.
000092 | 
000093 | Damit erzeugt die ursprüngliche Gauge/BRST Wardregel keine radiale
000094 | Feldverschiebungsidentität. Dies ist dieselbe Trennung von Eich und vollen
000095 | Feldkontaktgleichungen, die R113 für Fermionen bereits bewiesen hat, hier
000096 | direkt am vorhandenen Bosonfeld geprüft. Kein neuer Wardgenerator wird
000097 | als TFPT Axiom hinzugefügt.
000098 | 
000099 | Die potentielle Originalantwort ist ausdrücklich nicht leer:
000100 |  V(Phi)=-mu_Phi^2 u+lambda_Phi u^2,
000101 |  D_Phi V=-2mu_Phi^2 u+4lambda_Phi u^2.                 (5)
000102 | 
000103 | Ihre Erwartung mit dem tatsächlichen gemeinsamen Gewicht ist eine
000104 | zusätzliche Quellenantwort. Die bekannte Lage eines klassischen Minimums
000105 | bestimmt weder omega(u),omega(u^2) noch die ganze Verteilung von u.
000106 | 
000107 | 4. Wie eine tatsächliche Integralprüfung auf einer vorhandenen Feldkarte aussieht
000108 | 
000109 | Nur auf einer wirklich gegebenen endlichen reduzierten Bosonfeldkarte
000110 | mit x in einem offenen Gebiet, ursprünglicher glatter Basisdichte m(x)>0
000111 | und tatsächlicher integrierter Dichte m exp(-S_B,eff) gilt für kompakte
000112 | Tests F ohne Randterm
000113 | 
000114 |  L(partial_i F)=L((partial_i S_B,eff-partial_i log m)F).  (6)
000115 | 
000116 | Die Formel folgt durch partielle Integration. Wenn alle Richtungen und
000117 | alle kompakten Tests auf einer zusammenhängenden solchen Karte vorliegen,
000118 | ist sie auch ausreichend: Für die Verteilungsdichte rho von L ergibt sich
000119 |  partial_i rho=-(partial_i S_B,eff-partial_i log m)rho,
000120 |  also partial_i[exp(S_B,eff)rho/m]=0 für alle i.
000121 | Damit rho=C m exp(-S_B,eff). Die Normierung fixiert C, sofern das Integral
000122 | existiert und nichtnull ist. Getrennte Komponenten, Rand und Singularitäten
000123 | behalten ihre ursprünglichen Gewichte und Randbedingungen.
000124 | 
000125 | S_B,eff in(6) bezeichnet den tatsächlich nach übriger Feldintegration
000126 | gewonnenen Exponenten. Er wird nicht mit Gamma_grav, dem Legendre Gamma
000127 | oder dem noch unberechneten ganzen S_adm gleichgesetzt. Nichtmultiplikative
000128 | Selektorkerne oder singuläre Pfaffianfasern dürfen nicht in diese glatte
000129 | Kartenformel gezwungen werden. Es ist ein konkreter Einsatztest dieser
000130 | Darstellung, keine universelle neue Voraussetzung jeder TFPT Quelle.
000131 | 
000132 | Die ursprüngliche Gauge Wardregel liefert gerade nicht sämtliche
000133 | Richtungen von(6). Insbesondere bleibt die Higgsnormrichtung von Abschnitt3
000134 | dadurch unbestimmt. Ihre bloße Aufnahme als weitere Annahme wäre keine
000135 | Herleitung aus der ursprünglichen Quelle.
000136 | 
000137 | 5. Tatsächlicher Prüfstand
000138 |