Established in scope
Complete mixed kinetic tensor has a uniform common-metric residual bound
In the question: Complete physical Hamiltonian source with Gauss sector and thermal word limit
Analytic whole-class result for stated positive Hermitian quadratic principal blocks. Necessary/sufficient concerns named coefficient-tensor factorization, not arbitrary dressed quantum pole kernels. No actual IR residual estimate without its source calculation, full higher-vertex/RG theorem, or identification with group/UV-front velocity. Static X/Y equality determines neither K_t nor K_ts.
Read the exact result, assumptions and evidence
Result
Retain all mixed terms of actual Hermitian block K_t omega²+2K_ts^a omega k_a-K_s^(ab)k_a k_b. Common coefficient-tensor factorization K^(mu nu)=g^(mu nu)Z requires B(n)=0,C(n)=c²I in common orthogonal coordinates. Actual residual budgets imply for each positive characteristic sqrt(eta²+1-epsilon)-eta <= v/c <= sqrt(eta²+1+epsilon)+eta. Hermitian companion [[-2B,sqrtC],[sqrtC,0]] covers all real nonzero roots; scalar Rayleigh root proves the bound without [B,C]=0. No new model or parameter fit. epsilon/eta are not invented from static native data.
Required assumptions
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Whole kinetic tensors of the same source and actual residual bounds
Use actual retained Hermitian two-derivative physical block with K_t>0 and all K_ts^a,K_s^(ab) from the same source,state and coordinates. Separate masses and other derivative orders for the principal-symbol test. Whitened B(n),C(n) are Hermitian. Quantitative bound assumes actual uniform ||B||<=eta c,||C-c²I||<=epsilon c²,c>0,eta>=0,0<=epsilon<1. c is the same original metric/unit conversion, not species calibration. Native static data do not automatically supply these residual bounds.
Original evidence
- SHARED-METRIC-SOURCE.txt lines 1–187
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/SHARED-METRIC-SOURCE.txt
329344c7ed896a68ae1960ad5e2c86afecbdeef065242e279209a201a1632281
- TENSOR-BOUND-REVIEW.txt lines 1–123
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/TENSOR-BOUND-REVIEW.txt
8e8455cb57da79227a7fa3fbbba4dd88ca4a2606591eb32603b716b05d8bf3cf
- I-FINAL-REVIEW.txt lines 1–67
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/I-FINAL-REVIEW.txt
7ee5e27cfe8076ab8a126aa2ca96629ee39ae7f560e8cbcd08f1986c83dccae7
finding:complete_mixed_kinetic_tensor_has_uniform_common_metric_error_bound