8 November 2026, before the added exact checks.
Conjectured refinement of the already checked source transport.
Each nonzero profile has exact translation valuation B_i-z_0, including
every terminal binary lift. Thus all shifts preserve a common residue
modulo 2^max(0,B_i-k). The same conditional moment reduction should hold
on every such residue fiber, with the conditional means and constants.
Check this on the same three fixtures. Check conditional second moments
on the original 38-word fixture, windows of lengths 3 and 17 only.
This is an identity/conditional-transfer check, not evidence of a uniform
entry-family concentration bound.
