TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/WEIGHT.txt
Original file SHA-256: 7857f9185fc245b3de23789bcf1020b0b88e64dfd814d6ba71004e7d185fd345
Inclusive original lines: 1-200
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 | REFERENCE TRANSPORT G: FORCED WEIGHTS FROM THE ACTUAL ACTION CONSTRUCTORS
000002 | 2 November2026. relational_logic. Canonical sources unchanged.
000003 | Live entry plan84, Atlasa30058cba8bd21f1e5fd77b9; R101/R102 and L20261102C–F retained.
000004 | 
000005 | RESULT
000006 | 
000007 | There IS an exact positive reference-constructor connection in the Original.
000008 | Both the primitive spectral seed and the older geometric residue branch
000009 | are already differences of the SAME explicitly given operator functional.
000010 | Their relative spectral/geometric exponential weights are therefore fixed;
000011 | one must not introduce a new profile or subtract their reference a second
000012 | time. The older geometric branch jointly transports Einstein, Higgs, gauge
000013 | and curvature terms with the same coefficients and the bound reference.
000014 | 
000015 | This solves the reference-action reconstruction at those actual displayed
000016 | spectral constructors. It does not identify their entire completed S_adm
000017 | with that spectral part alone. The Original explicitly introduces gauge
000018 | fixing, ghosts and compatible fluctuations later. The exact missing equality
000019 | for the proposed reference-state representation is not 'choose a new mu',
000020 | but the actual GIVEN reference caller omega_ref versus the Gibbs/source
000021 | functional of this same full reference action on the same fields.
000022 | The operative Seed supplies omega; it does not by its printed definition
000023 | rename that omega as omega_ref=Gibbs(F(D_ref)). A reference operator is not
000024 | itself that state identity.
000025 | 
000026 | 1. THE PRIMITIVE SPECTRAL PART CAN BE RECONSTRUCTED EXACTLY
000027 | 
000028 | Boundary001:302–315 gives, literally,
000029 |  S_prim=Tr f(D_rel/chi)-Tr f(D_ref/chi)+i pi Deltaeta/2.
000030 | At a compatible finite regulator, with the original eta branch, define the
000031 | operator functional already displayed there
000032 |  A_f,chi(T)=Tr f(T/chi)+i pi eta_Sigma(T)/2.
000033 | Where Deltaeta is the declared difference of the same eta functionals,
000034 |  S_prim=A_f,chi(D_rel)-A_f,chi(D_ref).                   (1)
000035 | No new action or profile is selected: this is direct reconstruction from
000036 | the two printed terms. It is unique up to a common additive functional
000037 | that cancels identically between these same arguments.
000038 | 
000039 | The first argument in(1) is the ORIGINAL D_rel. It must not be silently
000040 | changed to an uncompressed whole D or D_geo. The other agents are checking
000041 | the original pair/odd-operator dictionary. Equation(1) does not settle
000042 | that dictionary by renaming the operator.
000043 | 
000044 | Consequently the relative primitive spectral weight is already forced:
000045 |  R_spec=exp[-A_f,chi(D_rel)+A_f,chi(D_ref)]=exp(-S_prim). (2)
000046 | If the actual reference source is the Gibbs/source basis of the second
000047 | functional, (2) is inserted into THAT normalized reference functional.
000048 | There is then no additional division by the same reference partition
000049 | function. In that representation its normalization has already entered
000050 | omega_ref. Conversely, under the unweighted original integration basis,
000051 | one uses the actual absolute numerator weight and the original Z_ref
000052 | quotient. These are two correct representations once their basis is matched.
000053 | 
000054 | This mathematical identity is valid before any assertion about infinite
000055 | trace convergence. On a source that only supplies a relative trace, one
000056 | must retain that relative functional rather than assign arbitrary separate
000057 | absolute infinities to its two terms. The actual regulator/APS/reference
000058 | contract remains attached.
000059 | 
000060 | 2. THE OLDER GEOMETRIC GAMMA SOURCE GIVES A STRONGER COMMON CONSTRUCTOR
000061 | 
000062 | Metrology001:30–67 puts D_geo and the DECLARED D_ref on the given graded
000063 | relative bundle with APS boundary conditions. D_geo is the Dirac-type
000064 | metric/spin/connection anchor; inner fluctuations of the same anchored
000065 | spectral datum generate the gauge sector. D_rel is comparison bookkeeping,
000066 | not a replacement local principal symbol.
000067 | 
000068 | Metrology001:103–130 defines
000069 |  Zeta_rel(s;sigma)
000070 |  =Tr_rel[|D_sigma,geo+B_rel|^(-2s)-|D_ref|^(-2s)]
000071 |    +i pi Deltaeta/2,
000072 |  E_D=Res_(s=1)Zeta_rel,
000073 |  Gamma_D4=FP_(s=0)Zeta_rel.
000074 | This is an actual SAME-FUNCTIONAL relative constructor, not a generic
000075 | proposal to build one. Its first operator is the printed anchored/fluctuated
000076 | D_sigma,geo+B_rel, and its second is the printed bound D_ref.
000077 | 
000078 | In the explicitly stated constant-scale reduction sigma=sigma0,
000079 | chi=chi0, Metrology001:132–149 gives
000080 |  Gamma_grav=-6chi0² E_D+Gamma_D4.
000081 | On the corresponding compact compatible APS/regulator branch, introduce
000082 | only the already displayed absolute spectral-residue functional
000083 |  A_geo,chi0(T)
000084 |   =-6chi0² Res_(s=1)Tr_rel|T|^(-2s)
000085 |     +FP_(s=0)Tr_rel|T|^(-2s)+i pi eta_Sigma(T)/2.
000086 | Linearity of Res and FP gives EXACTLY
000087 |  Gamma_grav
000088 |  =A_geo,chi0(D_sigma0,geo+B_rel)-A_geo,chi0(D_ref).       (3)
000089 | The constant eta term has no pole at1 and enters FP0 once, with its original
000090 | coefficient. It is not duplicated by this separation.
000091 | 
000092 | Thus the geometric reference weight is forced:
000093 |  R_geo=exp(-Gamma_grav)=exp(6chi0² E_D-Gamma_D4).        (4)
000094 | There is no fitted counterphase, independent Higgs normalization or second
000095 | spectral reference subtraction in(3)–(4). This is the concrete constructive
000096 | answer in the older ORIGINAL geometric action branch.
000097 | 
000098 | The local-sigma zeta DIFFERENCE is also explicitly given and its residues
000099 | remain linear. However the simple factor -6chi0² is printed in the
000100 | constant-scale corollary. No new unprinted position-dependent weighted
000101 | residue prescription is inserted here to extend that corollary by notation.
000102 | For a relative-only/noncompact operator class keep its supplied relative
000103 | functional; separate absolute traces require the actual stated realization.
000104 | 
000105 | 3. WHICH TERMS ARE REALLY SHARED
000106 | 
000107 | Metrology002:39–170 supplies the common relative endomorphism
000108 |  E_rel=-R I48/4-(Phi*Phi)P2+(gamma^{mu nu} F_mu nu)/2,
000109 | and the actual common residue expansion:
000110 |  E_D=-int sqrt(g)[R/(24pi²)+(Phi*Phi)/(48pi²)]+E_Sigma,
000111 |  Gamma_D4=int sqrt(g)[|D Phi|²/(16pi²)+(Phi*Phi)²/(16pi²)
000112 |      +R Phi*Phi/(96pi²)+tr F²/(192pi²)+R²/(6M²)+...]+A_Sigma.
000113 | These are terms of the ONE relative constructor, not separate optional
000114 | weights. The reference follows that same constructor and trace. The source
000115 | explicitly calls a0 vacuum-energy bookkeeping, a2 the Einstein/Higgs scale
000116 | part, a4 the movement/quartic/gauge/curvature part, with boundary/eta data
000117 | kept separately in the same table.
000118 | 
000119 | The printed homogeneous Gamma_grav therefore has exactly the resulting
000120 | signs and coefficients, including the -6chi0² multiplication of E_D.
000121 | This review does not change the Higgs sign to force symmetry breaking or
000122 | revive an old convention. The earlier action/argument/sign audits remain.
000123 | Nor does the residue pair include an independently chosen a0 profile or
000124 | turn FP0 into logdet. This is the OLD RESIDUE branch, not automatically
000125 | the current heat-profile/v259 branch.
000126 | 
000127 | The two branches' differences are not a new global failure: they must be
000128 | transported with their own actual operator/argument/trace conventions.
000129 | Neither 'same Gamma' nor 'same KMS' identifies them automatically.
000130 | 
000131 | 4. LATER FIELD TERMS: WHAT IS AND IS NOT TRANSPORTED BY THESE FORMULAS
000132 | 
000133 | GAUGE/HIGGS/METRIC SPECTRAL TERMS:
000134 | They are already jointly fixed inside the anchored operator and the above
000135 | relative traces/residues. Their common reference is included in(1)or(3).
000136 | Their operator, bundle, domain and scale variations must all be transported.
000137 | A background-dependent bound D_ref must be differentiated with the same
000138 | rule; it cannot be frozen solely because a normalizer is source independent.
000139 | 
000140 | FERMION KINETIC / YUKAWA / MAJORANA:
000141 | The original actual oneform and selfdual kinetic bridge already give the
000142 | full finite coefficient and same-collar L=-ND pairing. Those are retained.
000143 | A fermionic action subsequently integrated gives its actual determinant /
000144 | Pfaffian with the fixed orientation. The spectral trace by itself is not
000145 | that integrated determinant. The first required link is the actual full
000146 | bare S_adm field constructor that states which fermion variables are still
000147 | integrated and which determinant has already been absorbed in its weight.
000148 | One must not add the same determinant twice or discard its scalar.
000149 | 
000150 | GAUGE FIXING AND GHOSTS:
000151 | Boundary001:313 expressly introduces them later. QFT005:208–214 invokes
000152 | covariant gauge fixing and BRST for the hyperbolic reconstruction. The
000153 | reviewed source passages do not display a specific gauge functional and
000154 | its Faddeev-Popov operator inside the full relative bare constructor.
000155 | Consequently they do not justify either cancelling all ghost determinants
000156 | or adding a freely selected one. For an actual shared gauge-fixing rule,
000157 | its same functional must be evaluated on both original arguments; if a
000158 | term is identical as a functional on the same integration basis it cancels
000159 | from the relative exponent. Otherwise its actual difference remains.
000160 | This is an exact transport rule, not a new arbitrary field sector.
000161 | 
000162 | FAMILY / SELECTOR / REFLECTION:
000163 | The existing carrier/admissibility results determine the retained sector;
000164 | normal-dependent graph transport already retains full mixed words under
000165 | the original common density. None is demanded again. They do not themselves
000166 | supply a new classical configuration density for the additional fields.
000167 | The actual full P1 omega already includes their source responses when
000168 | those observables belong to its declared algebra.
000169 | 
000170 | 5. THE REFERENCE-STATE BASIS AND THE FORCED FULL WEIGHT
000171 | 
000172 | On the SAME actual original finite integration functional I, let the
000173 | absolute full constructors be S_A and S_R, including all still-integrated
000174 | fields and the correct graded order. If w_A=e^(-S_A), w_R=e^(-S_R), then
000175 |  R_full=w_R^-1 w_A
000176 | and
000177 |  Z_A[F]/Z_R=omega_R(R_full F),
000178 |  omega_R(X)=I(w_R X)/I(w_R).                             (5)
000179 | In the Euclidean even/supercommutative class, if the actual full difference
000180 | is DeltaS_full, this becomes R_full=exp(-DeltaS_full). No new measure is
000181 | required when the reference caller in(5) is already the ORIGINAL supplied
000182 | one. At noncommuting operator level keep w_R^-1w_A or the actual Gibbs
000183 | expansional; do not replace it by a naive exponential of an operator difference.
000184 | 
000185 | If the completed absolute constructor has the actual decomposition
000186 |  S_A=A_spec(D_A)+S_later,A,
000187 |  S_R=A_spec(D_R)+S_later,R,
000188 | then the full even Euclidean ratio is FORCED to be
000189 |  R_full=R_spec exp[-S_later,A+S_later,R].                 (6)
000190 | The corresponding formula holds with A_geo and R_geo in its homogeneous
000191 | geometric branch. There is no second independent weighting to choose.
000192 | A genuinely common identical later term cancels in(6). A term evaluated on
000193 | different fields/operators must be transported and retained. Fermions can
000194 | instead be integrated first, but their actual Pfaffian/determinant ratio
000195 | then replaces that same piece once, with all external source minors.
000196 | 
000197 | Equations(1)–(4) were reconstructed from ACTUAL explicit original constructors.
000198 | Equation(6) states exactly how their full continuation is forced once the
000199 | actual later action terms are identified. It does not claim the missing
000200 | later constructor has been computed by naming it S_later.