TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/craig-original-source-bridge-20261103/RESIDUE-REFERENCE-AND-FULL-INTEGRATION.txt
Original file SHA-256: 353f446053335bc35b539b3dfa660b5fa68514be43a5668fcebd2298d79bb7f1
Inclusive original lines: 20-60
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.

000020 | 
000021 | Source45 Metrology001:15-17,30-128 definiert
000022 |  D_geo=D_ref+D_rel=D,
000023 |  K_sigma=exp(-sigma/2)D_geo exp(-sigma/2)+B_rel,
000024 |  Zrel(s;sigma)=Tr_rel(|K_sigma|^(-2s)-|D_ref|^(-2s))
000025 |               +i*pi*DeltaEta/2,
000026 |  E_D=Res_(s=1)Zrel, Gamma_D4=FP_(s=0)Zrel.
000027 | 
000028 | D_ref ist der tatsächlich gebundene ursprüngliche Referenzoperator mit
000029 | seiner Domain, Spur, Normalisierung und gegebenen Eta. Er ist weder eine
000030 | frei gewählte Gibbsquelle noch ein zusätzlicher abzuziehender Faktor.
000031 | REFERENCE-SOURCE-COMPLETION.txt hat seinen vollständigen Transport bereits
000032 | bewiesen. Diese Frage wird nicht wieder geöffnet.
000033 | 
000034 | Im dort ausdrücklich gedruckten homogenen Zweig sigma=sigma0 gilt
000035 |  Gamma_grav=-6chi0^2 E_D+Gamma_D4,
000036 |  R_geo=exp(6chi0^2 E_D-Gamma_D4).                         (1)
000037 | 
000038 | Das ist der bereits gegebene gemeinsame geometrische Faktor, einschließlich
000039 | des relativen Referenzabzugs. Der Etaanteil in Gamma_D4 geht einmal ein.
000040 | Eine zusätzliche spektrale Referenzsubtraktion wäre eine Doppelzählung.
000041 | Bei lokalem sigma bleibt der tatsächliche ursprüngliche lokale Caller
000042 | maßgeblich; chi0^2 wird nicht ungeprüft durch einen ortsabhängigen Vorfaktor
000043 | vor einer integrierten Zahl ersetzt.
000044 | 
000045 | 2. Konkretes Einsetzen der gedruckten Residuen
000046 | 
000047 | Metrology002:139-170 gibt, mit u=Phi*Phi und den dortigen Konventionen,
000048 |  E_D=-int sqrt(g)[R/(24pi^2)+u/(48pi^2)]+E_Sigma,
000049 |  Gamma_D4=int sqrt(g)[|D Phi|^2/(16pi^2)+u^2/(16pi^2)
000050 |           +R*u/(96pi^2)+tr F^2/(192pi^2)+R^2/(6M^2)+...]+A_Sigma.
000051 | 
000052 | Direktes Einsetzen in den homogenen Originalfunktional ergibt daher
000053 |  Gamma_grav=int sqrt(g)[chi0^2*R/(4pi^2)+chi0^2*u/(8pi^2)
000054 |              +|D Phi|^2/(16pi^2)+u^2/(16pi^2)+R*u/(96pi^2)
000055 |              +tr F^2/(192pi^2)+R^2/(6M^2)+...]
000056 |              -6chi0^2 E_Sigma+A_Sigma.                   (2)
000057 | 
000058 | Diese Rechnung erhält die gedruckten euklidischen Koeffizienten und Vorzeichen.
000059 | Sie identifiziert weder eine andere Lorentzkonvention noch die Auslassung
000060 | "..." mit null. Sie ist eine lokale Niedrigkrümmungslesart des gegebenen