TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/shorttime_20261105I/INDEPENDENT-ROOT-REVIEW.txt
Original file SHA-256: 8eb6bb00442da3aedb3ba9d8c74e4233c193cfeddb5f299add95a3f7d10a8100
Inclusive original lines: 1-18
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 | Independent root analytic review, 5 November 2026.
000002 | 
000003 | 1. Existing R048 whole neutral source.
000004 | At the same finite regulator, let K=K_R>0, G=K^-1, l=J-gR and u=v²+sqrt(2)v eta+eta²/2. Adding the actual volume-paired scalar source q changes K to K-M_q and l to l+sqrt(2)v q. Exact Gaussian integration gives the stated determinant quotient and complete source, with original Z_quad[R,J] retained. No commutation of K and M_q used. A selfadjoint determinant form is I-K^-1/2 M_q K^-1/2. Its branch is fixed at q=0; infinite unregulated determinants are not asserted. First/two-point formulas follow by Gaussian Wick contractions, yielding a²+Gxx/2 and2a_xa_yGxy+Gxy²/2. The original diagonal regulator/contact must remain.
000005 | 
000006 | 2. Same-source nonlinear auxiliary map.
000007 | F=F0+c_u u gives the already exact shift q->q+c_u theta and multiplier exp[(theta,F0+2alphaR)-alpha(theta,theta)]. On fixed geometry the auxiliary connected contact is -2alpha delta_g; at dynamic geometry it stays inside original integration. Raw unnormalized c_u=1/(96pi²) is not silently equated to canonical c_u=xi=1/6. Same original reference prescription retained.
000008 | 
000009 | 3. First decisive original interaction test.
000010 | Original local potential lambda[((v+eta/sqrt2)²-v²)]² equals2lambda v²eta²+sqrt2lambda v eta³+lambda eta⁴/4. The original quadratic centered field gives <eta²>=Gxx and<eta³>=0. Its substitution in the first interacting SD equation therefore leaves3sqrt2lambda v Gxx; with insertion eta_y the extra residual is3lambda GxxGxy. These are direct consequences of actual original vertices, excluding only their Gaussian replacement in the stated nondegenerate broken branch. No cancellation with unintegrated additional fields is ruled out. Formal exp[-V(delta_J)] must not be interpreted as a convergent evaluated integral. Actual next operation is untruncated original exponential reweighting inside its original integral, with all other fields.
000011 | 
000012 | 4. Neutral physical time jet.
000013 | For H=-a Delta-b.partial+c on the actual local four-real-coordinate branch, [u,[H,u]]=2a|grad u|²=8a u. With a=4pi² N/V the vacuum energy-weighted u response is16pi² omega(Nu/V). Equation is conditional on actual whole local second-order source/domain; dynamic geometry requires whole inverse kinetic matrix. General exact statement is -K'_U(0)=<U H U>=0.5<[U,[H,U]]>. No numerical omega moment is supplied by this identity.
000014 | 
000015 | 5. Source/representation dependency.
000016 | Original Boundary002:103-143 supplies omega and time. OS theorem starts from complete q and reconstructs Omega=[1]. Same-caller transports are closed; there is no new global state or measure condition. Original full regulator flow depends on complete initial functional; scalar K_UV=phi0 is a different type. Differentiating same-source mass regulator gives d_r< U >=-0.5 Cov(U,U), with actual smearing and other source legs retained. No low-moment closure or complete-source nonuniqueness theorem follows.
000017 | 
000018 | Root read actual12/12 symbolic checker through code graph and inspected owning original R048 and operative seed passages. Source SHA256 checks performed against current originals. Other agents reviewed their owning sources independently. These are scoped source and algebra checks, not physical completion. Primitive mixed source value, whole joint OS strip and common interacting spectrum remain unevaluated.