OAI/MeasureTheory/Falconer/Estimates/PolicyScalarConversion.lean

Uniform conversion of the actual positive high shell

The scale hypotheses are those supplied by the high-prefix geometry. The original pair mass, finite inverse cost, and squared remainder are paid before the converted energy enters the policy graph recurrence.