For a finite bounded valuation law, write Ip,r=1pr∣m, Ip=Ip,1, Vp=vp(m), and Jp=Vp−Ip. Write tp=logp/logy(n) and let all prime sums range over the moving band Pn,W. The five prime-power transfer estimates with constants (C,R) mean: the sums of absolute covariances of (Ip,r,Iq), (Ip,Iq,s), and (Ip,r,Iq,s) over higher exponents have bounds (Ctptq+R)/(p2q), (Ctptq+R)/(pq2), and (Ctptq+R)/(p2q2), respectively; also EJp2≤(C+R)/p2 and p∑q∣Cov(Vp,Vq)−Cov(Ip,Iq)∣≤C/W+R. Higher exponents run from 2 to the valuation cutoff determined by the value bound M. Let a finite family of bounded valuation laws have arbitrary probability mixture weights. Suppose n,W>1; all constants CK,ϵ,G0,k,Gf,Tℓ,Tq,Td,Tr are nonnegative; and the four-mark profile F satisfies ∣F(x+z)−F(x)F(z)∣≤CKxz for x,z≥0, x+z≤4. In every component assume one- and two-prime divisibility expectations differ from the common paper main term by at most EP(r+1)/pr and EP(r+1)(s+1)/(prqs) whenever the divisor is at most yN(n)4, where EP is the source's restored probability scale pairProbabilityScale(ϵ,G0,k). Assume also P(D∣m)≤Gf/D for every positive D. The resulting outside-chamber residuals must satisfy the linear, quadratic, diagonal, and row budgets Tℓ,Tq,Td,Tr of the finite aggregation theorem, and ∑ptp/p≤2log4. Then
TransferBounds(μmix;n,W,Cpaper(CK),genericAggregationRemainder(EA,Tℓ,Tq,Td,Tr;n,W)),
where EA=primePowerChamberRemainder(ϵ,G0,k) and Cpaper is the fixed paper prime-power constant. Thus the five estimates include the full between-component covariance. Explicitly, Cpaper(CK)=Aagg(2CK+1/ρ(U))(2log4+5); the generic remainder is AaggEA+Tℓ+Tq+Td+AaggEA(∑p1/p+5)/W+Tr.