rescaleEnergy
plain-language theorem explainer
The rescaleEnergy definition multiplies an input energy E by phi raised to beta times P. Chemists modeling environment-dependent observables in Recognition Science would cite it for display adjustments that leave integer scaffolding untouched. It is realized as a direct one-line multiplication that delegates the exponentiation to the scaleFactor helper.
Claim. $E' = E · ϕ^{β P}$ where ϕ is the golden-ratio constant, E is the input energy, and β, P are real parameters.
background
The module supplies a scaffold for display-only rescaling of environment-dependent observables in chemistry. It implements the map E → E · ϕ^{β P} while preserving integer structures; β is fixed by neutrality tests. The local setting is given by the module doc: 'Display-only rescale for environment-dependent observables: E → E · φ^{β P}, leaving integer scaffolding intact.'
proof idea
One-line wrapper that applies the scaleFactor definition (which computes ϕ raised to beta times P via Real.rpow) and multiplies the result by the input energy E.
why it matters
This definition supplies the basic rescaling operation inside the Chemistry.EnvPressure scaffold, aligning with the phi-ladder and self-similar fixed point of the Recognition framework. It draws on the constant phi from Constants and the beta parameter conventions from both PPN relativity and thermodynamic partition functions. No downstream uses are recorded, but the operation supports neutrality diagnostics referenced in the module header.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.