TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/REFERENCE-CALLER.txt Original file SHA-256: 561b2f105f57661725fe76e428182e13f824225ee483e7fad093850945941740 Inclusive original lines: 201-251 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. 000201 | X_uv=K_uv/chi-(K_u chi_v+K_v chi_u+K chi_uv)/chi^2 000202 | +2K chi_u chi_v/chi^3, 000203 | and the same expressions with R give Y_u,Y_uv. A moving profile adds its 000204 | actual first/second profile derivatives. Pullback from a moving bundle or 000205 | domain carries its actual connection derivatives. Eta crossings are not 000206 | removed by replacing eta with a finite constant sign count. 000207 | 000208 | For the original affine H consumer the supplied inner K coefficient has 000209 | K_uv=0 in its fixed linear field chart. This does not imply X_uv=0 when 000210 | chi or the source chart moves, and supplies no R_u or R_uv. A current 000211 | compression C_F=Q* C_Sigma Q also retains Q_u,Q_uv before logodds. The 000212 | existing old S/T deck-reference jets are valid for their respective old 000213 | operators and cannot be inserted into Y here without the comparison map. 000214 | 000215 | If the actual full weights on the same chart are written exp(-S_eff), 000216 | including the original measure/domain Jacobian, their exact log-integral 000217 | jets are 000218 | (log I)_u=-, 000219 | (log I)_uv=Cov(S_eff,u,S_eff,v)-. 000220 | Consequently the full original log Z_rel jet subtracts the REFERENCE 000221 | version of this expression from the ADMISSIBLE one. The second term is 000222 | the source contact term. It is not a Gaussian approximation and cannot 000223 | be replaced by just the connected force covariance computed in D/E. 000224 | 000225 | To evaluate this jet numerically or as a definite original functional, 000226 | the missing original input in the checked modular pipeline is therefore 000227 | the same-basis reference weight R_b with its H/geometry two-jet, together 000228 | with its actual cutoff/domain/eta transport. This is one concrete caller 000229 | interface. Supplying arbitrary R0,R_u,R_uv would change the theory. 000230 | If only fixed external J varies, its reference contribution is exactly 000231 | zero already by A3; that different case does not determine this background 000232 | jet. No new divergent-vacuum or q-loses-scalar argument is asserted. 000233 | 000234 | D. COVERAGE AND DECISION 000235 | 000236 | Code discovery used the indexed main repository through codebase-memory 000237 | first. Exact D_ref/Z_ref symbol queries were insufficient; literal code 000238 | searches then covered verification, tfpt_explorer and theory-contracts. 000239 | The returned Python hits were inspected: calibration/dimension reference 000240 | variables, projected sector denominators, or explicitly diagnostic circle 000241 | references, not the D_ref/Z_ref constructor of A1/A3. This search scope 000242 | supports navigation only. The source-backed conclusion rests on the 000243 | complete reachable implementation files A2 and exact later originals A5. 000244 | No whole-repository absence, all-P1 impossibility, or mathematical 000245 | underdetermination of an already fully specified common weight is claimed. 000246 | 000247 | Practical correction: do not pursue a separate global Z0 repair as though 000248 | the full original omega had discarded integrated bosonic amplitudes. 000249 | Retain D/E as conditional exact source theorems. Continue at the original 000250 | actual weight/common-basis bridge when it is identified. The checked 000251 | implementation pipeline currently stops before that original producer.