TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/shorttime_20261105H/shorttime-followup-review.txt
Original file SHA-256: 6a2152c60196b6499fa104e496ccd664d6739c0b73525e2405453f1bb514d3a6
Inclusive original lines: 1-8
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 | SHORTTIME20261105H independent analytic review, 5 November 2026.
000002 | 
000003 | Root Gaussian check at fixed original fields g,H and regulated cell v>0, alpha>0:
000004 | I(k)=sqrt(v/(4pi alpha)) exp(-vFR+vkF) int_R dxi exp[-vxi²/(4alpha)-ivxi(R-k)]
000005 | =exp[-v(FR+alpha R²)] exp[vk(F+2alpha R)-valpha k²].
000006 | Thus normalized conditional first rho moment is F+2alpha R, second is (F+2alpha R)²-2alpha/v. The negative local contact is consistent with rho=F+i xi and is not a positive real-rho covariance. The Gaussian normalization depends on g through v and must stay inside the actual joint source before the xi integral. Fixed-field identity preserves any existing source factor independent of xi; it eliminates only the introduced auxiliary, not H or g. Nonlinear xi couplings require their own integral and are not covered. Reference source uses its own original v,F,alpha,R and inserted source, no automatic relative contact cancellation. No new global Wick or BRST requirement.
000007 | 
000008 | Original source SHA checks: all five cited originals current. Root read residue coefficients and source type boundary plus whole source/reference transport. Exact Gaussian identity can be a normalized unity; replacement of local FR+alphaR² factor only in caller where actually present. No promotion of Gamma_res to S_adm. Root read actual new original96 Toeplitz coefficient extractor through code graph. A=DM²,L={DM,DY},B=DY² lifted to upper block Toeplitz gives exact ordered analytic coefficient through degree4; numerical matrix exponential is diagnostic, no interval proof. Complex Cauchy evaluation uses analytic (DM+rDY)² without erroneous conjugation of complex r. Actual weak central conjugation fixes DM and negates DY, so odd heat coefficients vanish, retaining Majorana/Ynu noncommutation. Relative scalar weight coefficient is c2²/2-c4 only for this even pure-heat diagnostic. Original profile requires integrating actual heat coefficients and prefactors first; no integral of per-s weight coefficient. Relative-only heat traces require retained compatible regulator or paired form; no separate infinite loop intensities. Eta/rest full Bell contributions not discarded. Entire joint field integration and original nu value remain unevaluated.