TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/HISTORICAL-GEOMETRIC-MATTER-BACKREACTION.txt
Original file SHA-256: 1f668067d0f492615e92759595512e84d7229fe6be7713ee29ef3a2f4e382e4f
Inclusive original lines: 1-157
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 | HIST20261103F. Geometric spin lift and shared torsion/matter backreaction.
000002 | Anonymized original-source calculation, 3 November 2026.
000003 | 
000004 | 1. ACTUAL PREMISE AND SIGNATURE BOUNDARY
000005 | The bosonic coefficients, axial K and epsilon convention are those of P25-L
000006 | in HISTORICAL-AXIAL-ACTION.txt. Its Lorentz signature is (+---).
000007 | The local spin-lift calculation below is for the ordinary minimally coupled
000008 | Spin(1,3) Dirac field of that metric-compatible connection, with
000009 |  gamma5=i*gamma^0*gamma^1*gamma^2*gamma^3,
000010 |  D=i*gamma^m*(partial_m+omega_mab*gamma^[a*gamma^b]/4)+original mass terms.
000011 | This is a geometric operator calculation, not a new chosen bosonic action.
000012 | However P25-L:196's isolated Fujikawa rotation does NOT by itself supply the
000013 | entire fermionic action or establish this lift as the primitive TFPT source.
000014 | The present ordinary Spin4 product chart is EUCLIDEAN. Its original real
000015 | pairing beta_new is not automatically the Lorentz Dirac-adjoint bilinear.
000016 | A full Wick/OS field, pairing, state, time, boundary and reference transport
000017 | must identify the two sources before the Lorentz calculation is imported.
000018 | The full96 indices are internal; do not call them four-dimensional spacetime
000019 | spinor components or identify spacetime gamma5 with internal gamma_F.
000020 | 
000021 | 2. EXACT GEOMETRIC COEFFICIENT
000022 | With K_mab=epsilon_mabn*S^n/2, epsilon_lower0123=+1, one obtains
000023 |  epsilon_mabn*gamma^m*gamma^[a*gamma^b]=6i*gamma_n*gamma5,
000024 |  delta D=(i/4)*gamma^m*K_mab*gamma^[a*gamma^b]
000025 |          =-3*S_m*gamma^m*gamma5/4.
000026 | All four components were independently checked with explicit Dirac matrices.
000027 | There is no free coefficient at this fixed minimal geometric spin lift.
000028 | For an ordinary Dirac bilinear its source is J5^m=bar(psi)*gamma^m*gamma5*psi.
000029 | For an actual multi-field or Majorana source its corresponding J5 is defined
000030 | by delta L_F=-(3/4)*J5^m*delta S_m, with the ORIGINAL pairing and prefactors.
000031 | Never insert a naive factor96 or halve a Pfaffian by counting labels.
000032 | The actual Euclidean beta_new current must first be varied as its own form;
000033 | its identification with this Lorentz current is part of source transport.
000034 | 
000035 | 3. THE SAME AUXILIARY FIELD NOW RESPONDS TO THE FERMION CURRENT
000036 | The geometric matter term adds its actual source to the same S equation:
000037 |  L_S=-3*mu^2*S^2/(4*kappa^2)
000038 |       +[(lambda*mu^2/2)*da-(3/4)*J5].S.
000039 | Completing this same square gives
000040 |  S=(lambda*kappa^2/3)*da-(kappa^2/(2*mu^2))*J5,
000041 |  L_S,elim=(f^2/2)*(da)^2-c*da.J5+d*J5^2,
000042 |  f^2=lambda^2*kappa^2*mu^2/6,
000043 |  c=lambda*kappa^2/4,
000044 |  d=3*kappa^2/(16*mu^2)=3*kappa_phys^2/16=c^2/(2*f^2).
000045 | The earlier bosonic S equation is its zero-current restriction. Using it
000046 | unchanged in the matter source would omit the actual reverse reaction.
000047 | The quartic contact is generated by eliminating S; it is not selected as
000048 | an additional independent interaction. This recovers the familiar local
000049 | Einstein-Cartan mechanism in the precisely specified P25 normalization;
000050 | no novelty claim is made for that general mechanism.
000051 | The fermion equation sees -c*da+2d*J5=-(3/4)*S, an independent consistency
000052 | check on the source signs. Formal Gaussian integration also retains the
000053 | original metric-dependent prefactor, measure, contour and reference.
000054 | A classical square completion alone does not identify a quantum measure.
000055 | 
000056 | 4. COMMON CURRENT AND CANONICAL HAMILTONIAN OF THIS LORENTZ SOURCE
000057 | The actual scalar equation becomes
000058 |  div(f^2*da-c*J5)+(g0/4)*F*Ftilde=0.
000059 | Consequently the same local mixed Noether current is
000060 |  J_shift=f^2*da-c*J5+(g0/4)*C,
000061 |  C^m=epsilon^{mnrs}A_n F_rs, div C=F*Ftilde.
000062 | On curved backgrounds div is the LC divergence, with its boundary density.
000063 | For the explicit flat chart of the preceding note, C0=-2*A.B_can,
000064 |  Pi_A=-E+g0*a*B_can, B_can=curl A,
000065 |  p_a=f^2*dot a-c*j0, J5=(j0,j_vec).
000066 | The local shift charge is STILL
000067 |  Q_shift=int d3x [p_a-g0*A.B_can/2].
000068 | The fermionic current contribution is already present in p_a. Adding Q5/2
000069 | by hand double counts a different transformation. Canonically Q shifts a
000070 | and Pi_A while leaving the original fermion coordinate unchanged.
000071 | Its action preserves Pi_A-g0*a*B_can and every constant-shift-invariant
000072 | term in this matter Hamiltonian.
000073 | 
000074 | The canonical divisions below require lambda*kappa*mu nonzero.
000075 | Let H_F0 be the SAME supplied torsionless fermion Hamiltonian with its
000076 | original mass matrices, pairings and ordering; do not replace it by a
000077 | numerical expectation value. The local canonical density is
000078 |  H=H_F0+H_EM+(p_a+c*j0)^2/(2*f^2)+(f^2/2)*|grad a|^2
000079 |            +c*grad a.j_vec-d*(j0^2-|j_vec|^2),
000080 |  H_EM=(|Pi_A-g0*a*B_can|^2+|B_can|^2)/2.
000081 | H_EM here contains ONLY the electromagnetic part, not a second copy of
000082 | the scalar energy. Since d=c^2/(2*f^2), the j0^2 terms exactly cancel
000083 | when the first square is expanded. Equivalently
000084 |  H=H_F0+H_EM+p_a^2/(2*f^2)+(c/f^2)*p_a*j0
000085 |               +(f^2/2)*|grad a+(c/f^2)*j_vec|^2.
000086 | This is an exact local classical identity, independently checked
000087 | symbolically. It does not prove lower boundedness or the positive
000088 | physical quantum generator of the complete source. Actual contact
000089 | regularization, ordering and the full coupled constraints must be kept.
000090 | A bound on H_F0-d*j0^2 would be one sufficient estimate, not an automatic
000091 | necessary-and-sufficient criterion for the constrained quantum source.
000092 | 
000093 | For the explicit source convention L_charge=-rho*A0, varying A0 gives
000094 |  div Pi_A=-rho, equivalently div E-g0*grad a.B_can=rho.
000095 | Do NOT write div(Pi_A-g0*a*B_can)=-rho: that drops the axion contribution.
000096 | The direct axial current has no extra A0 dependence in this minimal
000097 | bilinear. Any further original charged sectors contribute their actual
000098 | canonical density to rho and cannot be silently discarded.
000099 | Gravity and nonabelian constraints are not solved by this flat-patch
000100 | Maxwell calculation. No new physical time is selected here.
000101 | 
000102 | 5. SOURCE TRANSPORT, NOT A NORMALIZATION CHOSEN FROM NOTATION
000103 | For an ordinary Lorentz bilinear U=exp(i*q*a*gamma5) acts as U*D*U.
000104 | It adds -q*da.gamma.gamma5 to the kinetic operator and transforms all
000105 | actual mass and pairing terms. Equating the q=1/2 rotation in P25-L:196
000106 | with generation of the geometric torsion term requires lambda*kappa^2=2
000107 | in that direction. Eliminating it by the inverse field map reverses the
000108 | sign. The consequent f^2=2/(3*kappa_phys^2) follows algebraically but
000109 | is NOT a selected physical normalization: the original quoted clause
000110 | only introduces a Fujikawa variable rotation. It does not state that
000111 | the resulting variables are torsion-free or fix lambda by that identity.
000112 | No arbitrary identification of two phases repairs P25-L:218's factor2.
000113 | 
000114 | For fixed S, a genuinely corresponding fermionic source remains quadratic.
000115 | After the actual S integration its J5^2 term makes that source quartic.
000116 | This does not automatically embed either source into the current R113
000117 | operator family; that requires the original field, pairing and time map.
000118 | Where the existing conditional Gaussian dictionary actually applies,
000119 | retaining S is compatible with its conditional quadratic structure.
000120 | An ordinary96 one-particle spectrum cannot replace the coupled spectrum.
000121 | 
000122 | 6. MEASURE, DOMAIN AND STATE REQUIREMENTS OF THE SAME SOURCE
000123 | A bounded zero-order perturbation preserves a previously FIXED Sobolev
000124 | extension domain under its usual hypotheses. It does not preserve the
000125 | canonical APS projector automatically: that projector depends on the
000126 | actual perturbed tangential operator. Every original domain must be
000127 | transported; do not replace it by a convenient fixed boundary problem.
000128 | A Lorentz auxiliary Gaussian does not prove that all four Euclidean S
000129 | components can simply be rotated onto iR. Their actual Wick map, contour,
000130 | reflection and reference normalization have to come from the source.
000131 | 
000132 | Normal ordering J5 against the actual sea includes its weighted reference
000133 | contraction. Tr(gamma5*P_sea) is NOT the ordinary eta invariant. An ordinary
000134 | eta cancellation between quarter components does not establish axial
000135 | cancellation without the exact transformed insertion and pairing. Moreover
000136 | the Wick expansion of J5^2 contains one-body and constant/contact terms,
000137 | not just one reference number. Retain the whole original R032 sea/reference
000138 | problem; do not reduce it to a newly chosen average current.
000139 | 
000140 | If the ENTIRE fixed-domain fermion factor, its measure, regulator and
000141 | reference depend on a only through da, a constant shift leaves them
000142 | identical. Those fermion loops alone cannot create a potential V(a).
000143 | This is a precise source identity under the stated invariant-boundary
000144 | premise, not a global claim that the actual TFPT boundary data are shift
000145 | invariant. A chiral parametrization must transport all mass phases, all
000146 | actual gauge anomalies and the full Jacobian together. Isolating a newly
000147 | written a*GtildeG term cannot by itself establish an axion mass.
000148 | 
000149 | 7. WHOLE TFPT SCOPE
000150 | The calculation recovers the concrete Lorentz geometric matter reaction
000151 | missing from the zero-current bosonic reduction. It does not derive the
000152 | primitive source S_adm, identify the Euclidean real pairing with this
000153 | Lorentz bilinear, establish H_tr,pos, or solve the common physical spectrum.
000154 | The existing compiler, E8, standard-model/flavor, alpha, intertwined clocks,
000155 | full96 source and supplied P1 state/time results remain in their own scopes.
000156 | The actual original field/pairing/domain/reference transport remains the
000157 | same whole-source question. No new comparison model is substituted for it.