OAI/Analysis/RieszRectifiability/Rigidity/DyadicCommonFractionalEquation.lean

A common dyadic height satisfying the fractional equation

The subsequential height obtained from dyadic growth bounds retains its local second moments, test moments, energy, and tail control. Applying the common-height fractional equation adds vanishing against mean-zero fractional Schwartz tests without changing the subsequence or the associated tempered distribution and directional equations.